By diagonalizability, has an eigenbasis with . Arrange the basis so that and the remaining eigenvalues are nonzero. If there are no zero or no nonzero eigenvalues, the corresponding linear span below is simply the zero vector subspace.
For , the equation holds precisely when for every . ThusEvery output is in , and conversely for each . ThereforeThese two disjoint parts of a basis span and their linear spans intersect only at zero. This is exactly the direct sum of vector spaces assertion
Find a stationary distribution from and . The first two independent linear equations areThey give and . Normalization gives , hence
To justify the limit using the assumptions, distinct eigenvalues give an eigenbasis, over the complex numbers if necessary. Choose as the eigenvector for 1 and let correspond to the other eigenvalues . Expand the initial probability distribution asSince , each satisfiesMultiplying the expansion by therefore gives . It follows thatbecause . The components of the limiting probability distribution are approximately .
For the spectral error bound for a diagonalizable fixed-point iteration, the exact solution is a fixed point: . Subtracting it from the iteration gives the error recurrence , with . Multiplying by and using givesIterating proves , including because . This argument does not assume is orthogonal; it simply expresses the error in an eigenbasis.
Write and , where are the standard basis vectors. Since ,Thus the columns of form an eigenbasis, and the requested ordered basis is . Its basis matrix is , giving . More completely, for each distinct eigenvalue , its eigenspace isAll nonzero vectors in these eigenspaces are eigenvectors; when an eigenvalue repeats, they need not be individual columns of .
Let and . ThenBy matrix similarity, every eigenvalue of is for some . These are corresponding eigenvalues on the common eigenbasis, rather than every possible pairwise sum. This is eigenvalue addition in a common eigenbasis.
Work over the field containing the stated distinct eigenvalues of ; in a real formulation these must be real to obtain real eigenvectors. Choose one eigenvector for each distinct eigenvalue. By independence of eigenvectors for distinct eigenvalues, these vectors are a basis. Consequently each eigenspace has dimension one: in an expansion in this eigenbasis, forces every coefficient with a different eigenvalue to vanish.
Now let be any eigenvector of . By part (d), belongs to its one-dimensional eigenspace, so for some scalar . This proves that is an eigenvector of , including the case , where . This is the crucial one-dimensional step in simple spectrum gives simultaneous diagonalization.
For , takeThey are commuting operators because every matrix commutes with the identity matrix. However has only the eigenvalue zero, and has dimension one. It has no eigenbasis, so it cannot appear in any simultaneous diagonalization. Equivalently, a diagonal matrix similar to this nonzero nilpotent matrix would have to be zero, an impossibility. For any prescribed , use and ; its zero eigenspace has dimension . For no such example exists.
The initial vector decomposes especially simply in the eigenbasis:because . Applying multiplies the two eigenvectors by and . Part (b) then yieldsReading the second coordinate gives the Lucas closed formAt this is 2 and at it is 1. Each summand obeys the same recurrence relation, which independently verifies the formula and explains why the irrational parts cancel to give an integer.
The all-ones matrix is diagonalizable for every . The vector together with the vectors from part (ii) is an eigenbasis. Independence follows because a multiple of has coordinate sum times that multiple, whereas every other basis vector has coordinate sum zero. In this basis the diagonal matrix is . At the one-vector basis suffices. Alternatively, the spectral theorem for real symmetric matrices applies. If dimension zero is allowed by the convention for , the empty matrix has no eigenvalues, an empty basis and a vacuous diagonalization.
Suppose is a diagonalizable matrix, , with an eigenbasis and spectral decompositionAssume the dominant eigenvalue is a simple eigenvalue andThen 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 identityThe 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.
Power iteration direction error 2026-10-14
For a unit vector spanning the target eigenspace and a normalized iterate , defineThis is the norm of the component in the orthogonal complement of , equivalently the sine of the acute angle to its line. It ignores the arbitrary sign or complex unit factor of an eigenvector. Under power iteration convergence for a diagonalizable matrix, in Big O notation. The orthogonal projection defines how we measure direction; it does not assume that the eigenbasis of is orthogonal. In computation, the projection form avoids subtracting nearly equal numbers inside the square root.
Power iteration failure cases 2026-10-14
A tied largest modulus can prevent even direction convergence. With and ,The two directions form a cycle; neither is an eigenvector. There is no dominant-modulus spectral gap. A tied modulus is not a universal failure: an initial eigenvector remains on its line, and preserves every direction. Subspace iteration addresses a separated cluster by targeting a dominant invariant subspace instead of one eigenvector.
An orthogonal start can fail despite a strict spectral gap. For and , the dominant component is zero, so and every iterate equals . The Rayleigh quotient is exactly and the eigenpair residual is zero, although the dominant eigenvalue is . Exact arithmetic never creates a missing component.[ref]
The third panel contrasts these failures with , , for whichHere the horizontal eigenvector direction converges with a strict spectral gap, while the normalized vectors alternate signs. This is the successful direction convergence described under sign and phase in power iteration.
For a nonorthogonal eigenbasis, even the word “orthogonal” must be used carefully. The diagonalizable matrix has right eigenvectors , , and dominant left eigenvector . For , the dominant coefficient is . The starting vector is nonorthogonal to but stays at the smaller eigenvalue ; is orthogonal to but has and converges to the dominant direction. The left eigenvector test, not the right-eigenvector inner product, controls the outcome.
A random vector drawn from a continuous probability distribution with a probability density function on the full real or complex vector space has with probability one. This avoids the exact missing-component hyperplane, but does not guarantee a large component or fast convergence. Floating-point arithmetic may seed a missing component, yet a structurally preserved zero can remain zero, so accidental perturbations are not a convergence guarantee.
Power method Created 2026-09-24 Updated 2026-10-14
Iterate . For a self-adjoint operator with a unique dominant eigenvalue separated in modulus from the others, a starting vector that is nonorthogonal to its dominant eigenvector gives convergence of the eigendirection at the spectral-ratio rate. For a general diagonalizable matrix, the condition is a nonzero coefficient in the dominant component of its eigenbasis, detected by the corresponding left eigenvector; an ordinary dot product with the right eigenvector does not generally detect that coefficient.
The power method is power iteration; its convergence depends on the dominant spectral component of the starting vector.
For example, has dominant right eigenvector and a dominant left eigenvector . The starting vector has nonzero dot product with the right eigenvector, but : it stays forever in the eigenspace for the smaller eigenvalue . Its coefficient along the dominant direction is zero, as the left eigenvector detects. An orthonormal eigenbasis makes the two tests agree in the self-adjoint case.
Quantum state continuity at a finite Hamiltonian step Created 2026-10-14 Updated 2026-10-18
For a fixed Hilbert space, a bounded self-adjoint Hamiltonian operator with a finite step at does not deliver an instantaneous rotation of the quantum state. Integrating the Schrödinger equation across a short interval givesFor a normalized quantum state and in operator norm, the difference has norm at most , which tends to zero. The time derivative can jump even though the quantum state is continuous. Here is the reduced Planck constant. An instantaneous replacement of the eigenbasis changes coordinates, not the vector being represented.
For a real switch occupying , remove any real scalar contribution that produces only a global phase, and write . The same integral argument gives the sufficient bounded-model estimateThus controls the sudden approximation up to a global phase. For any normalized final energy eigenstate, its probability amplitude differs from the instantaneous-switch value by at most , and its Born rule probability differs by at most . These are sufficient error bounds, not necessary criteria. For the fixed-gap two-level sudden quench, any switching path with a unit vector has operator norm , giving .
This estimate is deliberately for bounded Hamiltonian operators. An unbounded energy spectrum does not supply a finite global ; relevant quantum states, operator domains and excited energy eigenvalues require separate control. The adiabatic theorem also requires hypotheses about the path and its spectral gaps; there is no universal switch-duration criterion covering all spectra. The cold-atom collapse and revival after a lattice quench illustrates how a single switch can be sudden for one degree of freedom and slow for another.
Choose the Pauli matrices with , and let be an angular frequency. The computational basis is an orthonormal basis of energy eigenstates for the qubit Hamiltonian operatorIn this convention is the lower energy eigenstate; the labels describe a basis choice, not a universal ground state/excited state ordering. Start in the Hadamard basis pure state . ThenThe first factor in the second expression is a global phase. The ratio of the two probability amplitudes has relative quantum phase , so its sign follows directly from .
Multiplying this density matrix by each Pauli matrix and taking its trace gives the Bloch vector:The Bloch vector travels counterclockwise around the equator of the Bloch sphere, from toward when viewed from . A computational-basis measurement always has , while the Hadamard basis and eigenbasis measurements giveAt , the quantum state is up to a global phase, giving . At , it is up to a global phase, giving . Both retain equal energy measurement probabilities.
At , the time-evolution operator is , so . The physical quantum state ray, its density operator, and every measurement's probabilities have returned. The representative vector returns exactly only at , when . The minus sign is a global phase for this isolated evolution; comparing an evolved branch with an unevolved branch through a controlled unitary gate can make it a relative quantum phase, as explained in global phase of an uncontrolled quantum gate is unobservable.
Suppose a unitary matrix is symmetric under ordinary transpose, and write its entrywise real and imaginary parts as and . They are real symmetric matrices. Expanding gives , proving the displayed identities. Commuting real symmetric matrices admit simultaneous diagonalization: diagonalize , then diagonalize the restriction of to each invariant eigenspace of . A common real orthonormal eigenbasis givesIf has simple eigenvalues, every eigenvector of is already an eigenvector of , because its one-dimensional eigenspace is invariant. The eigenvalues of and are paired as the real and imaginary parts of the same eigenvalue of .
If a real linear operator on an -dimensional vector space has distinct real eigenvalues, any real square root commutes with and preserves each one-dimensional eigenspace. There is multiplication by a real , hence . Conversely, if all the eigenvalues are nonnegative, choosing on an eigenbasis supplies a real square root. Without simple spectrum the necessity fails: a real quarter-turn squares to .
Simple spectrum gives simultaneous diagonalization Created 2026-10-06 Updated 2026-10-24
Suppose has distinct eigenvalues over a field and commutes with . Each eigenspace of is one-dimensional. Since commuting maps preserve eigenspaces, acts as a scalar on each of them. The eigenvectors of give a common eigenbasis and hence simultaneous diagonalization. For real matrices, the result gives a real eigenbasis only if the eigenvalues of are real; otherwise it applies over .
Spectral filtering of Hamiltonian terms 2026-10-06
A real nonnegative normalized filter defines . In an energy eigenbasis, it multiplies each matrix element by . A Fourier cutoff at the spectral gap removes couplings between a unique ground state and excitations. The filtered terms still sum to , because the total Hamiltonian is unchanged by its own unitary time evolution. Each term commutes with the ground projector, but need not be minimized there.
Spectrum of an all-ones matrix 2026-10-25
For , maps to . Therefore is an eigenvector with eigenvalue , while the zero-sum vector subspace is its kernel. For a basis of the kernel is . These vectors and form an eigenbasis, proving diagonalization and characteristic polynomial . Both algebraic multiplicity and geometric multiplicity are one at and at zero. At the sole eigenvalue is 1; the zero-sum space has dimension zero and contributes no additional root.

