Instantaneous energy-growth criterion for a linear system Created 2026-10-05 Updated 2026-10-14
For and , the Hermitian matrix gives . Thus some initial condition grows immediately iff the largest eigenvalue of is positive. All trajectories have nonincreasing energy iff is a negative semidefinite matrix. This differs from requiring negative real parts for the eigenvalues of : a non-normal matrix can satisfy modal decay while allowing transient growth.
For a one-dimensional quantum tunnelling instanton, the prefactor combines nonzero Gaussian fluctuation eigenvalues with the translation zero-mode Jacobian. Here , , and the prime excludes the zero mode. Common endpoint regularization and reference normalization define the determinant ratio. The resulting has frequency units, while is the dilute crossing rate. This determinant/collective-coordinate structure is also discussed in Dunne, Sulejmanpasic and Ünsal's treatment; unequal neighbouring well frequencies require care and need not share the symmetric-double-well result.
A square nonnegative matrix is irreducible if for each pair there is an integer with . This says that every index can reach every other through positive entries. The Perron–Frobenius theorem then gives a positive leading eigenvector and an algebraically simple eigenvalue. Irreducibility alone permits other eigenvalues of the same modulus: the cyclic permutation matrix has eigenvalues .
Ising-chain Nambu spinor 2026-10-07
With Fourier convention , the Transverse-field Ising model has . Expanding the spinor retains the constant and pairs with . The physical quasiparticle energy is twice the positive matrix eigenvalue times , because both momentum partners occur in the Nambu sum.
Isospectral manifolds Created 2026-10-06 Updated 2026-10-14
Two Riemannian manifolds are isospectral for a specified differential operator if their eigenvalues, counted with multiplicities and with the same boundary conditions, agree. Riemannian isometries preserve the Laplace-Beltrami operator spectrum, but the converse can fail. The transplantation theorem and the Sunada theorem give systematic constructions.
Two isospectral manifolds remain isospectral after taking a Riemannian product with the same closed factor: eigenvalues add, with multiplicities given by the product Laplacian eigenspace decomposition. For nonisometric closed connected factors , choose . Every closed product geodesic of length less than has constant projection to , since a nonconstant closed geodesic shorter than the injectivity radius is impossible. The short coordinate geodesics of the small flat torus span exactly its tangent factor at every point. Any product Riemannian isometry must preserve that intrinsically defined smooth distribution and its orthogonal complement, hence restrict to an isometry of the original factors. Thus these products are still nonisometric. Taking to be four-dimensional tori proves the higher-dimensional stabilization statement without assuming a cancellation theorem for arbitrary products.
Jordan chain 2026-10-05
A Jordan chain of a linear operator for an eigenvalue is a list of nonzero vectors satisfying and for . These vectors are linearly independent: in a vanishing linear combination, applying the largest relevant power of isolates the last coefficient times , then descending induction removes all coefficients. On their span the operator has one Jordan block. This is different from a generalized eigenfunction that solves outside the original function space.
In a Hermitian neutral-kaon mass matrix, independently choosing square-root signs of and can interchange the eigenvalue labels. Choose , and , so , continuously from the desired CP-conserving limit. Then is the lower-mass eigenvector. At a degenerate off-diagonal zero the mass eigenbasis is not fixed by diagonalization alone.
The kernel of the Graph Laplacian consists exactly of vectors constant on each connected component of a graph. Indeed, implies , so the Graph Laplacian quadratic form forces equality at the endpoints of every edge; equality then propagates along graph paths. Conversely, these equalities make every entry of zero. Thus the dimension of the kernel, equivalently the multiplicity of the zero eigenvalue, counts the connected components of a graph.
For the disconnected graph with just two edges, and , in order ,
The two displayed vectors form a basis of the kernel. The other two eigenvectors and each have eigenvalue two, so the full list of eigenvalues, including multiplicities, is . Separate connected components of a graph allow independent constant levels; a single global constant is only one of these possibilities.
Figure 1.
Two disconnected edges give two independent zero eigenvectors
. Details.
Kitaev geometrical lemma 2026-10-06
Suppose positive operators have positive eigenvalues at least and their nullspaces meet only at zero. If is their smallest angle between two subspaces, then . Indeed , while gives . With a common nullspace, apply the same proof on its orthogonal complement to bound the positive spectral gap.
Klein's inequality Created 2026-10-05 Updated 2026-10-06
For positive-definite Hermitian matrices , Klein's inequality gives
with equality exactly when . To prove it, let be their eigenvalues and their orthonormal eigenvectors. The weights have row and column sums one. The difference between the two sides is
by the scalar logarithm inequality . Equality requires whenever , implying . Limits extend the result to positive semidefinite matrices with the appropriate support condition. Applying it to trace-one matrices proves nonnegativity of quantum relative entropy.
Kronecker sum 2026-10-05
The Kronecker sum of square matrices combines their Kronecker products with identity matrices. If and , then is an eigenvector with eigenvalue . Tensor-product spatial grids therefore turn separated coordinate Laplacians into a Kronecker sum. Two Hermitian matrices give a Hermitian Kronecker sum, allowing an energy method without computing every eigenvector.
Ky Fan maximum principle 2026-10-05
For a real symmetric matrix and ,
Indeed is a rank- orthogonal projection matrix in the fantope, and projecting onto the eigenvectors of the largest eigenvalues attains the support function maximum. Equivalently, the largest matrix trace of a compression to a -dimensional vector subspace is the sum of the largest eigenvalues.
Laplace-Lagrange inclination matrix Created 2026-10-05 Updated 2026-10-06
For circular planetary orbits with angular momenta , the inclination matrix has positive off-diagonal entries, zero row sums, and . Positive diagonal symmetrization of a matrix with makes a symmetric matrix. Moreover,
All eigenvalues are real and nonpositive. The zero eigenvalue is a common tilt of every orbital plane; nonzero modes describe relative nodal precession.
Laplacian matrix 2026-10-14
The Graph Laplacian converts local differences along edges into a linear map. Throughout this section, 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 be the adjacency matrix and the degree matrix. The combinatorial Graph Laplacian is
Thus the value at a vertex is compared with its neighbours. Every row sums to zero, so : 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 , the vertex degrees are , and in that order
Direct 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 , 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 without degree normalization. For comparison, Chung's treatment uses the degree-scaled matrix , with a convention for isolated vertices; its eigenvalues must not be substituted into the examples here.[ref]