Taking the adjoint of gives . In particular, the Hermitian parts of a unitary matrix are uniquely determined:
Expanding both unitary identities gives
Subtracting shows , and adding gives . If , commutation implies . The assumed simple spectrum makes the eigenspace one-dimensional, so . Thus have a common orthonormal eigenbasis.
On such a vector, . If the corresponding unitary eigenvalue is , then
The formulas for also show the same eigenvalue correspondence directly from and . Degeneracies do not prevent existence of a common basis, although the simple-spectrum assumption makes the elementary proof immediate.
The absolutely convergent matrix exponential series gives
for Hermitian . The exponents and commute, so their exponentials multiply to the exponential of their sum:
Hence is unitary. Alternatively, an orthonormal eigenbasis of turns the exponential eigenvalues into , all on the unit circle.
The spectral theorem for real symmetric matrices supplies real eigenvalues and an orthonormal eigenbasis. Compute eigenvectors, normalize them, and within each repeated-eigenvalue eigenspace choose an orthonormal basis. Distinct eigenspaces are already orthogonal because symmetry gives for eigenvectors with eigenvalues .
Use the resulting basis vectors as columns of . Then
The order and signs of the columns can be chosen freely; rotations within a repeated-eigenvalue eigenspace are also allowed.
Let . Commutation gives , so preserves each eigenspace of . Since the eigenvalues of are nondegenerate, each eigenspace is one-dimensional and . The spectral theorem for a Hermitian matrix lets us choose these vectors as an orthonormal eigenbasis. With ,
This is simple spectrum gives simultaneous diagonalization. The common eigenvectors can be chosen up to their phases and ordering. In fact degeneracy does not prevent a common eigenbasis for commuting Hermitian matrices, but the one-dimensional argument already suffices here.
The convergent matrix exponential series respects similarity, so and likewise for . Scalar exponentials multiply on each diagonal entry, giving
The essential hypothesis is commutation; Hermiticity supplies this convenient diagonalization proof.
The spectral theorem for a real symmetric matrix gives real eigenvalues and an orthonormal eigenbasis. Compute the roots of , find a basis for each eigenspace, and orthonormalize within any repeated-eigenvalue eigenspace. Eigenvectors belonging to distinct eigenvalues are already orthogonal: if and , symmetry gives .
Putting the normalized basis vectors in the columns of an orthogonal matrix yields
For repeated eigenvalues, the choice of axes inside their eigenspace is not unique.
Assume a complete orthonormal eigenbasis and a self-adjoint operator bounded below, with the trial state in its operator domain or associated energy-form domain. The expansion and orthogonality give
Consequently
It is a weighted average of eigenvalues, all at least . This is the Rayleigh-Ritz variational principle; equality holds precisely when the trial state lies in the ground-state subspace. A continuous part of the spectrum would require the corresponding spectral integral in place of part of the sum.
An matrix is diagonalizable over a chosen field exactly when it has a basis of linearly independent eigenvectors. Equivalently, is diagonal for some invertible . Distinct eigenvalues suffice but are not necessary. For example,
is not diagonalizable: its only eigenvalue is and its eigenspace is the one-dimensional span of . It is a nontrivial Jordan block.
A Hermitian matrix satisfies , where the dagger denotes conjugate transpose. If with , then
The denominator is positive real, so
For and , Hermiticity also gives
Thus
This is the necessary qualification to the PDF's orthogonality wording: arbitrary eigenvectors belonging to a repeated eigenvalue need not be orthogonal. Within each repeated eigenspace, Gram-Schmidt orthogonalization produces an orthonormal basis; together the eigenspaces give an orthonormal eigenbasis by the finite-dimensional spectral theorem. For example, and are nonorthogonal eigenvectors of the identity matrix.
The block has characteristic polynomial . A convenient orthonormal eigenbasis for the full real symmetric matrix is
with eigenvalues , , and , respectively. Hence its orthogonal diagonalization is
For repeated eigenvalues, every nonzero combination within the corresponding eigenspace is also an eigenvector; the displayed basis remains valid. Introduce principal axes coordinates
The quadratic form becomes
The principal-axis reduction of a quadric therefore has three regimes.
For , all coefficients are positive: the surface is an ellipsoid centred at the origin, with
For , the term disappears. The surface is an elliptic cylinder, unbounded along , whose cross-section is :
For , there is one negative coefficient, so the surface is a one-sheet hyperboloid:
Its waist at is an ellipse with semiaxes and . At other , both waist radii are multiplied by . There is no intercept on its longitudinal axis. Its asymptotic cone is . If positive eigenvalues coincide, the corresponding choice of principal axes is not unique, reflecting a rotational symmetry of the surface.
Figure 1.
Ellipsoid, elliptic cylinder, and one-sheet hyperboloid in principal coordinates
. Original calculated examples with and . The horizontal longitudinal coordinate is directed along in the original coordinates. Cylinder and hyperboloid plots show finite portions of unbounded surfaces. Details.
Choose the common orthonormal eigenbasis established in part (ii), and let be the unitary matrix of its columns. Then
Consequently
Thus is unitarily diagonalizable, even though it need not be Hermitian. As a consistency check, commutation also gives , so is a normal matrix, as also follows from unitary diagonalization of a normal matrix.
Suppose first that , and take an eigenvector of , with . Commutation gives
Since the eigenvalue is simple, its eigenspace is one-dimensional, so for some scalar . Thus every vector in an eigenbasis of is also an eigenvector of . The simple spectrum of ensures these account for its eigenvector directions as well. Eigenvectors are understood up to nonzero scaling and permutation, rather than as literally identical numerical vectors.
Conversely, if are a common eigenbasis with and , then
for every basis vector. Hence . Therefore
This is simple spectrum gives simultaneous diagonalization. Without simple spectra, commuting Hermitian matrices still possess a common orthonormal eigenbasis, but not every arbitrary eigenvector of one matrix must be an eigenvector of the other.
By the spectral theorem for real symmetric matrices, choose an orthonormal eigenbasis corresponding to , with . Write and . This orthogonal change of coordinates gives
The plane constraint is therefore . On that plane the quadratic form vanishes exactly when
Consequently the entire set is
The two direction vectors are nonzero and not parallel, since are linearly independent. An invertible orthogonal transformation maps each full line to a full line. Thus the set consists of precisely two infinite lines through the origin.
We use the spectral theorem to construct a sufficiently accurate approximate eigenpair. Complete to an orthonormal eigenbasis of the symmetric matrix , with corresponding eigenvalues . Simplicity of means that every below is nonzero. Put
The orthogonal decomposition of shows that and
With and , direct expansion cancels every first-order term:
Also . Thus its eigenpair residual has Euclidean norm in Big O notation.
For completeness, a real symmetric matrix always has an eigenvalue within of any real and nonzero . Indeed, writing in an orthonormal eigenbasis with eigenvalues gives
Apply this symmetric eigenvalue residual bound to . There is an eigenvalue such that
which proves
This establishes the first-order perturbation of a simple symmetric eigenvalue without presupposing differentiability of the perturbed eigenvector. If , the sum defining is empty and the displayed eigenvalue formula is exact.
An observable is represented by a self-adjoint operator. For an ideal projective measurement, let be its spectral projector for outcome . The Born rule gives , or for a density matrix . Conditional on obtaining , the Lüders rule gives
For a degenerate outcome this projects onto the whole associated eigenspace, rather than arbitrarily selecting a vector within it. An immediate repeated ideal measurement returns the same outcome, provided there is no intervening evolution or disturbance.
Commuting finite-dimensional observables admit a common orthonormal eigenbasis; their projectors commute and ideal joint measurements are compatible. Noncommuting observables generally have no complete common eigenbasis, and measurement order can affect the subsequent statistics. Particular common eigenvectors can nevertheless exist, so a nonzero commutator does not mean that every state has a nonzero uncertainty in both quantities.
For a quantitative constraint, apply the Cauchy-Schwarz inequality to and . The imaginary part of their inner product is , giving the Robertson uncertainty principle
The canonical commutation relation gives . Retaining the real part of the same inner product gives the stronger Robertson-Schrödinger uncertainty relation, including a covariance term. These are constraints on the preparation of a quantum state, not simply statements about a poorly calibrated instrument.
A sequential spin one-half example makes the change in statistics explicit. Prepare . An immediate measurement is certainly positive. If an measurement is inserted first, its outcomes each have probability and leave states . Each then yields either result with probability , so the final positive fraction is . The change reflects projection onto incompatible spin eigenstates, even with ideal measuring apparatus. The theory of measurement in quantum mechanics allows more general state-update rules, but the operator description and the Born rule still constrain their probabilities.
Solving the time-independent Schrödinger equation with gives . The periodic boundary condition requires , hence . With the angular integration measure , wavefunction normalization gives
so a convenient orthonormal eigenbasis is
The ground state is nondegenerate. For each , and span a two-dimensional energy eigenspace; real sine and cosine combinations are an equally valid basis. These opposite-circulation eigenstates have angular momentum and .
If instead the wavefunction is normalized with respect to physical arc length , its expression is . The two conventions describe the same probability, since . The remaining parts use .
In the ordered product basis , the two-spin XY Hamiltonian is
The transverse term exchanges opposite spins and leaves parallel spins unchanged. Diagonalizing its two-dimensional block gives the complete orthonormal eigenbasis
The antisymmetric state is the singlet state; the other three are triplet states. Accidental equality of energies does not invalidate this eigenbasis.
Poincare inequality for a reversible Markov chain Created 2026-10-06 Updated 2026-10-14
For a finite irreducible Markov chain with at least two states satisfying detailed balance, its Dirichlet form of a Markov chain obeys
Expand in an orthonormal eigenbasis. The denominator is , and the numerator is . Their ratio is at least and equality holds for the second eigenfunction. Thus the optimal Poincare inequality for a reversible Markov chain constant is , for the ordinary rather than absolute spectral gap.
Vary the coupling in the opening example. The eigenvectors and form a fixed orthonormal eigenbasis, with eigenvalues and . Writing a vector as gives
For , both directions cost energy and is a positive-definite matrix. At , the quadratic form is : the entire line spanned by has zero energy, and is a singular positive semidefinite matrix. At , the flat line is instead spanned by . For , the quadratic form is an indefinite quadratic form; one direction lowers the energy without bound as its displacement grows. At , for instance, while .
Figure 1.
Eigenvalues and directional energies across the positivity threshold
. Details.
The geometric transition is precise. For , is an ellipse. At , it consists of the two parallel lines , extending freely in the zero-energy direction. For , it is a hyperbola. The boundary case retains nonnegative energy but loses both the bounded positive level sets and the unique zero-energy vector.
Positivity of a quadratic polynomial across a spectral gap Created 2026-10-18 Updated 2026-10-20
Let be a finite-dimensional Hermitian matrix and real. The spectral theorem gives in an orthonormal eigenbasis, so
If the spectrum avoids the closed interval, every factor product is positive. Consequently the quadratic form is positive for and zero for . More precisely it is bounded below by . This is a finite-dimensional instance of testing a spectral gap with a polynomial in the operator.
Suppose is a diagonalizable matrix, , with an eigenbasis and spectral decomposition
Assume the dominant eigenvalue is a simple eigenvalue and
Then the normalized power iteration approaches the one-dimensional eigenspace of . Its asymptotic direction-error bound has factor . This spectral gap is a gap in modulus: if , then . A small relative gap gives slow convergence.[ref]
The short proof is the exact eigenbasis identity
The remaining sum has norm bounded by a constant times . This proves convergence of direction, allowing a changing sign or complex factor. A tiny or a poorly conditioned, nonorthogonal eigenbasis can delay visible convergence: the condition number of affects constants, while controls the eventual rate. The bound need not be an equality; if the initial coefficient of the second-largest eigenvalue vanishes, the active spectrum of the power method gives a faster rate. When , all unwanted components disappear after one multiplication.[ref]
The hypothesis is , not an ordinary nonzero inner product with the right eigenvector. Let be the first row of , a left eigenvector normalized so is for and otherwise; denotes conjugate transpose. Then . For a Hermitian matrix, choose an orthonormal eigenbasis and the criterion becomes : the starting vector must be nonorthogonal to the dominant eigenvector. For a general diagonalizable matrix, the nonorthogonal eigenbasis makes these two tests different, as illustrated under power iteration failure cases.
For each unit vector iterate compute the Rayleigh quotient and the eigenpair residual . Use the same multiplication for both diagnostics and the next normalized iterate. For any complex matrix, this Rayleigh quotient minimizes over complex scalars , because . Under power iteration convergence for a diagonalizable matrix, and , even when the vectors alternate signs or phases.[ref]
A dimensionless stopping quantity is
when the denominator is positive; is the operator norm, and a known upper bound may replace it if computing it is costly. A small eigenpair residual certifies a small backward error of an approximate eigenpair, but does not establish that the eigenvalue found is dominant.
For a Hermitian matrix with orthonormal eigenbasis , write . Then the independently useful identity
shows that some eigenvalue lies within of . If a specific target eigenvalue is separated from all the others by , it also gives . This separation is measured from the computed Rayleigh quotient; it differs from the dominant-modulus spectral gap. For a nonnormal matrix, the same orthogonal expansion is unavailable and a small eigenpair residual alone need not imply a comparably small distance to the spectrum.