Summary
A real symmetric matrix acts by independent signed scaling along an orthonormal eigenbasis. An eigenvector is a nonzero vector satisfying ; the scalar is its eigenvalue. The spectral theorem supplies a complete orthonormal basis, not merely one unchanged direction. Use this decomposition when a symmetric linear map must be applied, inverted, or understood through its principal directions.
Eigenvalues, eigenvectors, characteristic polynomial
For square , has a nonzero solution exactly when its determinant vanishes. The characteristic polynomial has complex roots counting multiplicity. Their sum is the trace; their product is the determinant. Symmetry guarantees real eigenvalues and an orthonormal eigenbasis, including when eigenvalues repeat.
The spectral theorem (symmetric case)
If :
where is orthogonal () and .
First express the input as ; then scale with and return with . Negative eigenvalues reverse their axis; zero eigenvalues erase its component.
Take and . The diagram uses , , and eigenvalues . Thus , , and .
Why does an entire basis exist? The continuous Rayleigh quotient reaches a maximum on the unit sphere. Its constrained stationary condition gives . Symmetry makes the orthogonal complement invariant: whenever . Repeat on that smaller symmetric subspace to construct the basis.
Learning objective
Change coordinates, scale eigenvector components, then change coordinates back
Derivation
Does scaling the first eigen-coordinate require mixing it with the second?
Original coordinate construction checked against MIT OpenCourseWare 18.06 and Sheldon Axler's open-access Linear Algebra Done Right.
Connection to SVD
For symmetric positive-semidefinite , one SVD uses and . For symmetric indefinite , singular values are , not the signed eigenvalues. General rectangular matrices have an SVD but no square-matrix eigendecomposition of the same form.
Change the Requirement
Apply the Map Repeatedly
New task: Compute without two dense applications after the eigenbasis is available.
Picture and change: Replace each by , preserving the coordinate basis.
Check: , matching .
Use when: Many powers or repeated queries reuse the same decomposition. Dense decomposition costs ; one dense basis transform costs .
Solve Instead of Apply
New task: Recover satisfying .
Picture and change: Divide each eigen-coordinate by its nonzero eigenvalue.
Check: .
Use when: Every eigenvalue is nonzero. A zero eigenvalue makes some right-hand sides impossible and others nonunique. Adding a ridge changes the system; it is not an exact inverse of the original map.
Where eigenvalues show up in ML
| Object | What its eigenvalues tell you |
|---|---|
| Covariance matrix | Variances along principal axes (PCA) |
| Positive-definite Hessian | Local curvature; spectral condition number |
| Graph Laplacian | Connectivity, spectral clustering, GNN smoothness |
| Reversible Markov chain | Mixing depends on nontrivial eigenvalue magnitudes and the chain’s assumptions |
| General attention score matrix | May be asymmetric; singular values describe rank and norm structure |
| Recurrent weight matrix | Long-run dynamics; finite-step gradient norms also depend on singular values and nonnormality |
Common pitfalls
- Dropping symmetry. The matrix has only one independent eigenvector. Its repeated eigenvalue does not provide a basis.
- Dropping positivity. has eigenvalues but singular values .
- Ignoring scale. Dense decompositions need cubic arithmetic and quadratic storage. Lanczos targets symmetric eigenproblems; Arnoldi handles more general operators. Approximate methods require residual and convergence checks.
Reconstruct
Why may repeated eigenvalues still have orthogonal eigenvectors for a symmetric matrix?
Reasoned answer
Inside a repeated-eigenvalue eigenspace, every linear combination remains an eigenvector with that eigenvalue. Choose an orthonormal basis inside that subspace. Symmetry, not distinctness of all eigenvalues, guarantees a complete orthonormal collection.
Related
- SVD and PCA. Generalization to all matrices.
- Positive definite matrices. The cone of PSD matrices.