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.
Tied PCA eigenvalues and sign ambiguity
Example
The covariance matrix has a repeated leading eigenvalue. Every unit direction in (and its line) maximizes projected variance, but the leading PCA subspace defined by the full leading eigenspace is . In contrast, has the unique leading line , but both and are unit leading eigenvectors. Thus a tie makes the defined leading subspace multidimensional, while the sign ambiguity remains even when that subspace is a line.
Facts & Assumptions
Given: The two real symmetric covariance matrices and .
Covariance and correlation principal component analysis: PCA uses ordered eigenspaces of the covariance matrix, and a unit eigenvector represents a direction only up to its sign.
A repeated leading PCA eigenvalue identifies a subspace, not a vector: when the top two eigenvalues are equal, the leading eigenspace has dimension at least two and is not a distinguished unit vector.
Real spectral theorem: a self-adjoint endomorphism of a finite-dimensional real inner product space has an orthonormal eigenbasis: each real symmetric matrix has an orthonormal eigenbasis.
The leading PCA eigenspace maximizes projected variance: for a finite-second-moment random vector with covariance and a unit vector , the projected variance is .
Verification
The eigenvalues of are , and is the zero matrix, so the defined leading eigenspace is . For any finite-second-moment random vector with covariance and every unit vector , [F4] gives . Thus every unit vector in attains the same projected variance and maximizes it; each of its lines is a variance-maximizing direction, while the defined leading PCA subspace remains all of .
The eigenvalues of are , with leading eigenspace . Both and have unit norm and satisfy and . They determine the same line, so even a simple leading eigenvalue does not orient its eigenvector.
Depends on
- Covariance and correlation principal component analysis
- A repeated leading PCA eigenvalue identifies a subspace, not a vector
- The leading PCA eigenspace maximizes projected variance
- Real spectral theorem: a self-adjoint endomorphism of a finite-dimensional real inner product space has an orthonormal eigenbasis
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
18 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
- Online Bayesian Data Analysis, Lecture Notes 8: Learning Signal Representations (11 April 2016) (standard reference, not scraped)
- Soumendu Sundar Mukherjee, Multivariate Analysis, Lecture 8: Principal Component Analysis (standard reference, not scraped)