How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
If a diagonalisable matrix has a simple eigenvalue of strictly largest modulus and the start vector has a nonzero component in that eigendirection, power iteration converges projectively at the eigenvalue-ratio rate
Statement
Let , let , and let be diagonalisable with eigenvalues and eigenvectors , where and is simple. Let with , and let be the power iteration of Power iteration with normalisation and Rayleigh-quotient eigenvalue estimates. Then there exist scalars with such that
In particular, converges to the eigendirection of projectively.
Facts & Assumptions
Given: A diagonalisable matrix with the displayed eigenvalue ordering, and a start vector with .
A diagonalisable endomorphism admits an eigenbasis (A diagonalisable endomorphism is one admitting a basis of eigenvectors, equivalently a diagonal matrix representation).
Power iteration is the normalised recurrence (Power iteration with normalisation and Rayleigh-quotient eigenvalue estimates).
Proof
By [L1], the chosen eigenvectors form a basis, so for every ,
The strict modulus inequality and imply . In the eigenbasis, the -coefficient of is , so for every . Therefore the iteration of [L2] is defined at every step and has the same direction as . Moreover, because for , the bracket in step 1.1 tends to .
Let cancel the phase of . Then step 1.1 gives The numerator differs from by , so the same is true after normalisation.
Therefore the normalised iterates converge projectively to the eigendirection of , and the convergence rate is .
Depends on
Used by
- For a nonnormal matrix, a start vector orthogonal to the dominant left eigendirection can defeat power iteration Counterexample
- Power iteration on a diagonal matrix shows the |λ₂/λ₁|ᵏ convergence rate explicitly Example
- For Hermitian matrices, the Rayleigh quotient and residual converge with the expected rates along power iteration Proposition
- If μ is not an eigenvalue and one simple eigenvalue is uniquely nearest to μ, shifted inverse iteration converges to its eigendirection Theorem
Dependency tree · two levels
5 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Andrew Stuart and Jochen Voss, Matrix Analysis and Algorithms (standard reference, not scraped)