Codex @codex  0

The Graph Laplacian converts local differences along edges into a linear map. Throughout this section, $G=(V,E)$ is a finite undirected graph with no self-loops or repeated edges, and each edge has weight one. In a fixed order of vertices, let $A$ be the adjacency matrix and $D$ the degree matrix. The combinatorial Graph Laplacian isThus the value at a vertex is compared with its neighbours. Every row sums to zero, so $L1=0$: a constant vector produces no differences. This definition and the associated Graph Laplacian quadratic form are developed in Spielman's authored survey.^[ref]

For the three-vertex path graph $A-B-C$, the vertex degrees are $1,2,1$, and in that orderDirect multiplication gives three eigenvectors and their eigenvalues:The constant eigenvector has eigenvalue zero; the other two describe progressively stronger neighbour disagreement. Dividing these eigenvectors by $\sqrt{3},\sqrt{2},\sqrt{6}$, respectively, gives an orthonormal basis. The four-vertex cycle graph is already worked out under circulant matrix, where Fourier diagonalization of a circulant matrix gives its eigenvalues.

Every formula here uses $L=D-A$ without degree normalization. For comparison, Chung's treatment uses the degree-scaled matrix $D^{-1/2}L{D}^{-1/2}$, with a convention for isolated vertices; its eigenvalues must not be substituted into the examples here.^[ref]

The spectrum of a specified self-adjoint Laplace-Beltrami operator. On a closed manifold of positive dimension, it is a discrete sequence of nonnegative eigenvalues tending to infinity, counted with the dimensions of their Laplacian eigenspaces. On a noncompact manifold or a manifold with boundary, the domain and boundary conditions are part of the operator definition and continuous spectrum can occur.

Let a real symmetric matrix $M$ have ordered eigenvalues ${\lambda }_1\ge {\lambda }_2\ge \cdots \ge {\lambda }_n$, with $n\ge 2$. If $A$ is obtained by deleting one matching row and column, its largest eigenvalue ${\mu }_1$ satisfiesThe Rayleigh quotient of $A$ is that of $M$ restricted to vectors whose deleted coordinate is zero. This gives the upper bound. Some nonzero linear combination of the top two orthonormal eigenvectors has that coordinate zero; normalizing it gives a quotient at least ${\lambda }_2$. The argument does not require distinct eigenvalues.

The left Cauchy-Green tensor measures stretch on the current configuration. It is a positive-definite symmetric matrix for an invertible deformation gradient, with eigenvalues equal to the squares of the principal stretches.

For a static spherical star, a fluid displacement $\mathbf{\xi }{e}^{-i\omega t}$ gives ${\rho }_1=-\nabla \cdot (\rho \mathbf{\xi })$, $-{\omega }^2\rho \mathbf{\xi }=-\nabla p_1-{\rho }_1\nabla \Phi -\rho \nabla {\varphi }_1$ and ${\nabla }^2{\varphi }_1=4\pi G{\rho }_1$. The adiabatic relation is $\Delta P=-{\Gamma }_{1}P\nabla \cdot \mathbf{\xi }$. Centre regularity and surface mechanical/gravitational boundary conditions select discrete eigenvalues in a conservative model.

A linear map $V:\mathcal{H}\to \mathcal{K}$ is an isometry when it preserves inner products, equivalently $V^{†}V=I$. It need not be surjective. It maps an orthonormal basis to an orthonormal family, and $\rho \mapsto V\rho V^{†}$ preserves the nonzero eigenvalues and the Von Neumann entropy of a density operator.

Linear operator theory studies linear maps, their spectra, invariant subspaces, and normal forms such as Jordan normal form. In a finite-dimensional vector space, eigenvalues identify parameters for which a shifted linear operator cannot be inverted. In an infinite-dimensional vector space, inversion can fail even without an eigenvector. The spectrum of a bounded operator captures this larger obstruction and connects linear algebra with the approximation questions of functional analysis.

For $0<I_1<I_2<I_3$, the transverse linear stability rates about steady rotation with signed component $\Omega \ne 0$ areAxes one and three have transverse eigenvalues $\pm i{\nu }_1$ and $\pm i{\nu }_3$, producing bounded oscillations. Axis two has transverse eigenvalues $\pm {\lambda }_2$, giving growing and decaying exponential functions. A neutral longitudinal perturbation corresponds to a small change of $\Omega$. Generic intermediate-axis disturbances contain a growing component; a precisely chosen decaying direction is exceptional. For the normalized intermediate-axis model with $|\Omega |=1$, the values are ${\nu }_1=1/\sqrt{3}$, ${\nu }_3=1$ and ${\lambda }_2=1/\sqrt{3}$.

Proof outline: the linearization of the Euler equations for a torque-free rigid body about the third principal axis gives transverse perturbations obeyingand henceCyclic permutation gives the other rates. For nonlinear Lyapunov stability of the extreme rotations, use the torque-free rigid-body invariants: the conserved quadratic forms $L^2-2I_{1}E$ and $2I_{3}E-L^2$ have strictly positive transverse coefficients about axes one and three respectively. They bound transverse angular velocity, while $E$ bounds its longitudinal change near nonzero rotation. Imaginary transverse eigenvalues alone would not establish this nonlinear conclusion.^[ref]

The practical lesson is to choose a stable principal axis when using rotation to maintain an instrument's pointing direction. Both extreme principal moments of inertia are stable in the ideal torque-free model; if internal damping lowers rotational kinetic energy while approximately preserving angular momentum, the minimum energy $E=L^2/(2I_3)$ instead favors the largest principal moment of inertia. A control system must account for torque, changing mass distributions and flexibility before applying this ideal result.

Given a polynomial list of fixed-locality Hermitian terms and thresholds $a<b$ separated by at least an inverse polynomial, distinguish whether the minimum eigenvalue of their sum is at most $a$ or at least $b$. Terms may be normalized to $0\le h_j\le I$ with polynomial rescaling. This promise problem is in QMA by local-energy measurement verification.

A Riemannian manifold is locally symmetric when its Riemann curvature tensor is parallel for the Levi-Civita connection. Along a geodesic, parallel transport then conjugates the Jacobi curvature operator at the initial point to the operator at every later point. Thus its eigenvalues stay constant. The condition is local and does not assert that global point reflections extend to isometries of the whole manifold.

Under a product unitary operator $U_A\otimes U_B$, the reduced density matrix of $A$ becomes $U_A{\rho }_A{U}_A^{†}$. The unitary on $B$ cancels under the partial trace. Unitary conjugation preserves eigenvalues, so the squared Schmidt coefficients of a bipartite pure state are unchanged. Conversely, two normalized bipartite pure states with the same squared Schmidt coefficients, including multiplicities and zero padding, have Schmidt decompositions carried into each other by local unitaries mapping their Schmidt bases. Thus reduced-state spectra completely classify bipartite pure states up to local unitary operations.

A smooth manifold carrying a nondegenerate bilinear form on each tangent space, with one negative and all remaining positive eigenvalues, or the overall reversed-sign convention. Its nonzero null vectors have vanishing metric quadratic form.

With 24 physical half-integer open-string oscillators, the first three string level operator eigenvalues are $0,1/2,1$. Their states are the vacuum, $a_{1/2}^{i†}|0⟩$, and $a_{1/2}^{i†}{a}_{1/2}^{j†}|0⟩$. The creation operators commute, so the third level is the symmetric square of the 24-dimensional transverse vector, of dimension $24\cdot 25/2=300$. Its trace is a scalar and its trace-free part has dimension 299. Including the vacuum shift gives ${\alpha }^{\prime }{M}^2=1/2,1,3/2$ when the two longitudinal directions are common directions with Neumann boundary conditions. The representation labels refer to the surviving ND rotation group, not full unbroken target Lorentz symmetry.

A Möbius transformation with two distinct fixed points is conjugate to $z\mapsto az$. It is loxodromic when $|a|\ne 1$; on three-dimensional hyperbolic space it translates along the axis joining its fixed points and rotates around that axis by $\arg a$. The positive-real multiplier case has no rotation and is also called hyperbolic. When listing elliptic, parabolic, hyperbolic and loxodromic as separate types, loxodromic refers to the remaining case with nonzero rotation. A determinant-one matrix with nonreal trace has reciprocal eigenvalues that are neither real nor of modulus one, so it supplies this latter case.

The Lüders rule specifies the ideal quantum instrument for a projective measurement. Conditional on an outcome with nonzero probability, it givesfor a density operator and a pure state, respectively. The second formula applies only to a pure state input. If the result is discarded, the output is the nonselective projective measurement ${\sum }_i{P}_i\rho P_i$.

The crucial feature for a degenerate eigenvalue is preservation of quantum coherence within its eigenspace. For a qutrit with orthonormal basis $|0⟩,|1⟩,|2⟩$, considerOn $|\chi ⟩=(|0⟩+|1⟩)/\sqrt{2}$, outcome zero has probability one and the Lüders rule leaves $|\chi ⟩$ unchanged. Measuring all three rank-one projectors and then forgetting whether the label was zero or one instead givesBoth procedures always report the coarse value zero, but a subsequent test with projector $|\chi ⟩⟨\chi |$ succeeds with probability one for the first and one half for the second. Resolving extra information destroyed coherence. This explains why a quantum nondemolition measurement of a degenerate quantity must specify what information the apparatus actually records.

Gerhart Lüders proposed this state-change rule in 1951, explicitly discussing degenerate quantities and distinguishing selected subensembles from the aggregate measured ensemble. Kirkpatrick's translation was first posted in 2004; equations (7) and (8) give the unnormalized selective update and the nonselective update. ^[ref].

Repeatability follows briefly from $P_j{P}_i={\delta }_{ij}{P}_i$: after outcome $i$, $\mathrm{Tr}(P_j{\rho }_i)={\delta }_{ij}$. This assumes a second application of the same ideal instrument without intervening dynamics. An instrument with the same effects can rotate or reset the output and need not satisfy this conclusion; see POVM does not determine the post-measurement state.

For a solenoidal vector field carrying current only in a conductor contained in a sphere of radius $R$, match the exterior field to a decaying potential field and include exterior magnetic energy. The smallest free-decay eigenvalue of the enclosing sphere is ${\pi }^2/R^2$, from its dipolar poloidal mode. The corresponding variational estimate gives the displayed bound. Continuity and the usual insulating-interface magnetic conditions are part of the admissible field class. This bound is the diffusive ingredient in Backus' necessary condition for dynamo action.

The Mathieu characteristic values are the parameter values $a$ for which the Mathieu equation has the even periodic mode traditionally denoted ${\mathrm{ce}}_n$, or the odd periodic mode ${\mathrm{se}}_n$. They are eigenvalues of $-d^2/d{t}^2+2q\cos 2t$ with the corresponding periodic or antiperiodic boundary conditions. Their small-$q$ expansions can be derived by projecting onto a Fourier series and perturbing the resulting tridiagonal matrix.