Eigenvalues & Eigenvectors

Volume I, Chapter 1 — Part III. Eigendecomposition, the characteristic polynomial, the spectral theorem for symmetric matrices, PCA as spectral optimization, and convergence of gradient descent in the eigenbasis.

Intermediate

Table of Contents

  1. Learning Objectives
  2. Prerequisites
  3. Notation
  4. Core Intuition
  5. Definition and the Characteristic Polynomial
  6. Properties of Eigenvalues and Eigenvectors
  7. Diagonalization
  8. The Spectral Theorem
  9. Rayleigh Quotient and Variational Characterization
  10. Application: Principal Component Analysis
  11. Application: Gradient Descent Convergence
  12. Spectral Properties of Matrices in ML
  13. Appendix: Completing the Spectral Theorem Proof
  14. Common Pitfalls and Misconceptions
  15. Research Perspective
  16. Summary of Takeaways
  17. Exercises

Learning Objectives

After reading this chapter, you should be able to:

  1. Define eigenvalues and eigenvectors and derive the characteristic equation det(AλI)=0\det(\mathbf{A} - \lambda\mathbf{I}) = 0.
  2. Prove that eigenvectors for distinct eigenvalues are linearly independent.
  3. State and apply the spectral theorem for real symmetric matrices.
  4. Derive PCA as maximization of the Rayleigh quotient.
  5. Analyze gradient descent convergence on quadratic objectives via eigenvalue decomposition.
  6. Interpret covariance, Hessian, and graph Laplacian spectra in machine learning contexts.

Prerequisites


Notation

  • λ\lambda — Eigenvalue
  • v\mathbf{v} — Eigenvector with Av=λv\mathbf{A}\mathbf{v} = \lambda \mathbf{v}
  • p(λ)=det(AλI)p(\lambda) = \det(\mathbf{A} - \lambda \mathbf{I}) — Characteristic polynomial
  • Q,Λ\mathbf{Q}, \boldsymbol{\Lambda} — Eigenvector matrix and diagonal eigenvalue matrix
  • tr(A),det(A)\text{tr}(\mathbf{A}), \det(\mathbf{A}) — Trace and determinant

Core Intuition

Every linear transformation A\mathbf{A} mixes directions in general — rotating, shearing, and scaling simultaneously. Eigenvectors are the privileged directions that A\mathbf{A} acts on by pure scaling: Av=λv\mathbf{A}\mathbf{v} = \lambda\mathbf{v}. The scalar λ\lambda is the eigenvalue. When we express a vector in the eigenbasis, the action of A\mathbf{A} becomes diagonal — each coordinate is multiplied by its eigenvalue.

For symmetric matrices — covariance matrices, Hessians, kernel Gram matrices — eigenvectors are orthogonal and eigenvalues are real. This is the spectral theorem, the mathematical engine behind PCA, spectral clustering, and quadratic optimization theory. The ratio λmax/λmin\lambda_{\max}/\lambda_{\min}, the condition number, governs how fast gradient descent converges on quadratic losses.

Series context. This is Part III of Chapter 1. The SVD generalizes eigendecomposition to rectangular matrices.

Interactive: Eigenvalues & Eigenvectors

v₁ (λ₁=3.62)v₂ (λ₂=1.38)

Matrix A:

λ₁ = 3.618

λ₂ = 1.382

det = 5.00, trace = 5.00

Observe: Gray dots show random vectors before/after transformation. Eigenvectors (colored arrows) only stretch or flip — they keep their direction. The dashed line shows the eigenspace. Try setting b=c=0 to make A diagonal — then eigenvectors align with axes.

Definition and the Characteristic Polynomial

Definition 1 (Eigenvalue, Eigenvector). Let ARn×n\mathbf{A} \in \mathbb{R}^{n \times n}. A nonzero vector vRn\mathbf{v} \in \mathbb{R}^n is an eigenvector with eigenvalue λC\lambda \in \mathbb{C} if

Av=λv.(1)\mathbf{A}\mathbf{v} = \lambda \mathbf{v}. \tag{1}

Derivation of the characteristic equation. Rearranging (1):

(AλI)v=0.(2)(\mathbf{A} - \lambda \mathbf{I})\mathbf{v} = \mathbf{0}. \tag{2}

For nonzero v\mathbf{v}, the matrix (AλI)(\mathbf{A} - \lambda\mathbf{I}) must be singular:

det(AλI)=0.(3)\det(\mathbf{A} - \lambda \mathbf{I}) = 0. \tag{3}

Definition 2 (Characteristic Polynomial).

p(λ)=det(AλI)(4)p(\lambda) = \det(\mathbf{A} - \lambda \mathbf{I}) \tag{4}

is a polynomial of degree nn. Its roots (in C\mathbb{C}) are the eigenvalues.

Example 1. For A=[4123]\mathbf{A} = \begin{bmatrix} 4 & 1 \\ 2 & 3 \end{bmatrix}:

p(λ)=(4λ)(3λ)2=λ27λ+10=(λ5)(λ2).(5)p(\lambda) = (4-\lambda)(3-\lambda) - 2 = \lambda^2 - 7\lambda + 10 = (\lambda - 5)(\lambda - 2). \tag{5}

Eigenvalues: λ1=5\lambda_1 = 5, λ2=2\lambda_2 = 2.

For λ1=5\lambda_1 = 5: (A5I)v=0(\mathbf{A} - 5\mathbf{I})\mathbf{v} = \mathbf{0} gives v1(1,1)T\mathbf{v}_1 \propto (1, 1)^T.

For λ2=2\lambda_2 = 2: v2(1,2)T\mathbf{v}_2 \propto (1, -2)^T.

Geometric interpretation. Along v1\mathbf{v}_1, A\mathbf{A} stretches by factor 5. Along v2\mathbf{v}_2, by factor 2. In general directions, the transformation combines rotation and scaling.

Visual description. Imagine a unit circle in R2\mathbb{R}^2. A linear map sends it to an ellipse. The eigenvectors point along the major and minor axes of that ellipse; eigenvalues give the axis lengths (up to sign).


Properties of Eigenvalues and Eigenvectors

Theorem 1 (Trace and Determinant). If ARn×n\mathbf{A} \in \mathbb{R}^{n \times n} has eigenvalues λ1,,λn\lambda_1, \ldots, \lambda_n (with algebraic multiplicity):

tr(A)=i=1nλi,det(A)=i=1nλi.(6)\text{tr}(\mathbf{A}) = \sum_{i=1}^n \lambda_i, \qquad \det(\mathbf{A}) = \prod_{i=1}^n \lambda_i. \tag{6}

Proof. The characteristic polynomial factors as p(λ)=(1)ni=1n(λλi)p(\lambda) = (-1)^n \prod_{i=1}^n (\lambda - \lambda_i). Comparing coefficients: the λn1\lambda^{n-1} term gives tr(A)=λi\text{tr}(\mathbf{A}) = \sum \lambda_i; setting λ=0\lambda = 0 gives det(A)=λi\det(\mathbf{A}) = \prod \lambda_i. \blacksquare

Corollary 1. A\mathbf{A} is singular iff λ=0\lambda = 0 is an eigenvalue.

Theorem 2 (Independence of Eigenvectors). Eigenvectors corresponding to distinct eigenvalues are linearly independent.

Proof (induction on number of distinct eigenvalues). For one eigenvector, independence is trivial. Suppose v1,,vk\mathbf{v}_1, \ldots, \mathbf{v}_k are eigenvectors with distinct eigenvalues λ1,,λk\lambda_1, \ldots, \lambda_k. Assume i=1kαivi=0\sum_{i=1}^k \alpha_i \mathbf{v}_i = \mathbf{0} with not all αi=0\alpha_i = 0. Apply A\mathbf{A}:

i=1kαiλivi=0.(7)\sum_{i=1}^k \alpha_i \lambda_i \mathbf{v}_i = \mathbf{0}. \tag{7}

Multiply the original equation by λk\lambda_k and subtract:

i=1k1αi(λiλk)vi=0.(8)\sum_{i=1}^{k-1} \alpha_i (\lambda_i - \lambda_k)\, \mathbf{v}_i = \mathbf{0}. \tag{8}

By induction, αi(λiλk)=0\alpha_i(\lambda_i - \lambda_k) = 0 for i<ki < k. Since λiλk\lambda_i \neq \lambda_k, αi=0\alpha_i = 0 for i<ki < k. Then αkvk=0\alpha_k \mathbf{v}_k = \mathbf{0} gives αk=0\alpha_k = 0. \blacksquare

Proposition 1 (Similarity invariance of spectrum). If B=P1AP\mathbf{B} = \mathbf{P}^{-1}\mathbf{A}\mathbf{P}, then A\mathbf{A} and B\mathbf{B} have the same eigenvalues.

Proof. det(BλI)=det(P1(AλI)P)=det(AλI)\det(\mathbf{B} - \lambda\mathbf{I}) = \det(\mathbf{P}^{-1}(\mathbf{A}-\lambda\mathbf{I})\mathbf{P}) = \det(\mathbf{A}-\lambda\mathbf{I}). \blacksquare


Diagonalization

Definition 3 (Diagonalizable). A\mathbf{A} is diagonalizable if A=PΛP1\mathbf{A} = \mathbf{P}\boldsymbol{\Lambda}\mathbf{P}^{-1} where Λ=diag(λ1,,λn)\boldsymbol{\Lambda} = \text{diag}(\lambda_1, \ldots, \lambda_n) and columns of P\mathbf{P} are eigenvectors.

Theorem 3. ARn×n\mathbf{A} \in \mathbb{R}^{n \times n} is diagonalizable iff Rn\mathbb{R}^n has a basis of eigenvectors — equivalently, iff there are nn linearly independent eigenvectors.

Proof. If A=PΛP1\mathbf{A} = \mathbf{P}\boldsymbol{\Lambda}\mathbf{P}^{-1}, then AP=PΛ\mathbf{A}\mathbf{P} = \mathbf{P}\boldsymbol{\Lambda}, so column jj of P\mathbf{P} satisfies Apj=λjpj\mathbf{A}\mathbf{p}_j = \lambda_j \mathbf{p}_j. Conversely, if p1,,pn\mathbf{p}_1, \ldots, \mathbf{p}_n are independent eigenvectors with eigenvalues λi\lambda_i, then P=[p1pn]\mathbf{P} = [\mathbf{p}_1 | \cdots | \mathbf{p}_n] is invertible and AP=PΛ\mathbf{A}\mathbf{P} = \mathbf{P}\boldsymbol{\Lambda}, giving A=PΛP1\mathbf{A} = \mathbf{P}\boldsymbol{\Lambda}\mathbf{P}^{-1}. \blacksquare

Corollary 2 (Powers of matrices).

Ak=PΛkP1=Pdiag(λ1k,,λnk)P1.(9)\mathbf{A}^k = \mathbf{P}\boldsymbol{\Lambda}^k\mathbf{P}^{-1} = \mathbf{P}\,\text{diag}(\lambda_1^k, \ldots, \lambda_n^k)\,\mathbf{P}^{-1}. \tag{9}

For recurrent networks, if λi>1|\lambda_i| > 1 for some ii, repeated application causes exploding activations; if λi<1|\lambda_i| < 1, vanishing activations.

Example 2 (Non-diagonalizable). A=[1101]\mathbf{A} = \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} has eigenvalue 1 with algebraic multiplicity 2 but geometric multiplicity 1 (only one independent eigenvector). Such defective matrices require Jordan form beyond this chapter.


The Spectral Theorem

Theorem 4 (Spectral Theorem for Real Symmetric Matrices). If ARn×n\mathbf{A} \in \mathbb{R}^{n \times n} satisfies A=AT\mathbf{A} = \mathbf{A}^T, then:

  1. All eigenvalues are real.
  2. Eigenvectors for distinct eigenvalues are orthogonal.
  3. A\mathbf{A} is orthogonally diagonalizable:
A=QΛQT,QTQ=I,Λ diagonal with real entries.(10)\mathbf{A} = \mathbf{Q}\boldsymbol{\Lambda}\mathbf{Q}^T, \qquad \mathbf{Q}^T\mathbf{Q} = \mathbf{I}, \quad \boldsymbol{\Lambda} \text{ diagonal with real entries}. \tag{10}

Proof of (1): Real eigenvalues.

Let Av=λv\mathbf{A}\mathbf{v} = \lambda\mathbf{v} with v0\mathbf{v} \neq \mathbf{0}, λC\lambda \in \mathbb{C}. Take complex conjugate: Avˉ=λˉvˉ\mathbf{A}\bar{\mathbf{v}} = \bar{\lambda}\bar{\mathbf{v}} (since A\mathbf{A} is real). Then:

λvTvˉ=vTATvˉ=vTAvˉ=λˉvTvˉ.(11)\lambda \mathbf{v}^T \bar{\mathbf{v}} = \mathbf{v}^T \mathbf{A}^T \bar{\mathbf{v}} = \mathbf{v}^T \mathbf{A} \bar{\mathbf{v}} = \bar{\lambda}\, \mathbf{v}^T \bar{\mathbf{v}}. \tag{11}

Since vTvˉ=v2>0\mathbf{v}^T\bar{\mathbf{v}} = \|\mathbf{v}\|^2 > 0, we have λ=λˉR\lambda = \bar{\lambda} \in \mathbb{R}. \blacksquare

Proof of (2): Orthogonality.

Let Av1=λ1v1\mathbf{A}\mathbf{v}_1 = \lambda_1 \mathbf{v}_1, Av2=λ2v2\mathbf{A}\mathbf{v}_2 = \lambda_2 \mathbf{v}_2, λ1λ2\lambda_1 \neq \lambda_2. Then:

λ1v1Tv2=(Av1)Tv2=v1TATv2=v1TAv2=λ2v1Tv2.(12)\lambda_1 \mathbf{v}_1^T \mathbf{v}_2 = (\mathbf{A}\mathbf{v}_1)^T \mathbf{v}_2 = \mathbf{v}_1^T \mathbf{A}^T \mathbf{v}_2 = \mathbf{v}_1^T \mathbf{A} \mathbf{v}_2 = \lambda_2 \mathbf{v}_1^T \mathbf{v}_2. \tag{12}

So (λ1λ2)v1Tv2=0(\lambda_1 - \lambda_2)\mathbf{v}_1^T\mathbf{v}_2 = 0, hence v1Tv2=0\mathbf{v}_1^T\mathbf{v}_2 = 0. \blacksquare

Important equation. Equation (10) is the central decomposition for symmetric matrices. For covariance Σ\boldsymbol{\Sigma}, columns of Q\mathbf{Q} are principal directions and Λ\boldsymbol{\Lambda} contains variances along those directions.


Rayleigh Quotient and Variational Characterization

Definition 4 (Rayleigh Quotient). For symmetric A\mathbf{A} and nonzero x\mathbf{x}:

R(x)=xTAxxTx.(13)R(\mathbf{x}) = \frac{\mathbf{x}^T \mathbf{A}\mathbf{x}}{\mathbf{x}^T \mathbf{x}}. \tag{13}

Theorem 5 (Rayleigh's Principle). Let A\mathbf{A} be symmetric with eigenvalues λ1λn\lambda_1 \leq \cdots \leq \lambda_n. Then:

λmin=minx0R(x),λmax=maxx0R(x).(14)\lambda_{\min} = \min_{\mathbf{x} \neq \mathbf{0}} R(\mathbf{x}), \qquad \lambda_{\max} = \max_{\mathbf{x} \neq \mathbf{0}} R(\mathbf{x}). \tag{14}

The minimum is achieved at an eigenvector of λmin\lambda_{\min}; the maximum at an eigenvector of λmax\lambda_{\max}.

Proof sketch. Write x=i=1nciqi\mathbf{x} = \sum_{i=1}^n c_i \mathbf{q}_i in the orthonormal eigenbasis. Then R(x)=iλici2/ici2R(\mathbf{x}) = \sum_i \lambda_i c_i^2 / \sum_i c_i^2, a weighted average of eigenvalues. Extremal values occur when all weight is on one eigenvalue. \blacksquare

Corollary 3 (Courant-Fischer). The kk-th largest eigenvalue satisfies:

λk=maxdim(S)=kmin0xSR(x).(15)\lambda_k = \max_{\dim(S)=k} \min_{\mathbf{0} \neq \mathbf{x} \in S} R(\mathbf{x}). \tag{15}

This variational characterization underpins PCA and spectral methods.


Application: Principal Component Analysis

Given centered data matrix XRN×d\mathbf{X} \in \mathbb{R}^{N \times d} (each row a sample), the sample covariance is:

C=1N1XTXRd×d.(16)\mathbf{C} = \frac{1}{N-1}\mathbf{X}^T\mathbf{X} \in \mathbb{R}^{d \times d}. \tag{16}

C\mathbf{C} is symmetric positive semidefinite (Section on Positive Definite Matrices).

Goal. Find unit vector u\mathbf{u} maximizing projection variance:

maxu=1Var(Xu)=maxu=1uTCu.(17)\max_{\|\mathbf{u}\|=1} \text{Var}(\mathbf{X}\mathbf{u}) = \max_{\|\mathbf{u}\|=1} \mathbf{u}^T \mathbf{C}\mathbf{u}. \tag{17}

Derivation via Lagrange multipliers. Define L(u,μ)=uTCuμ(uTu1)\mathcal{L}(\mathbf{u}, \mu) = \mathbf{u}^T\mathbf{C}\mathbf{u} - \mu(\mathbf{u}^T\mathbf{u} - 1). Setting uL=0\nabla_{\mathbf{u}} \mathcal{L} = \mathbf{0}:

2Cu2μu=0    Cu=μu.(18)2\mathbf{C}\mathbf{u} - 2\mu\mathbf{u} = \mathbf{0} \implies \mathbf{C}\mathbf{u} = \mu\mathbf{u}. \tag{18}

This is the eigenvalue equation. The maximum variance is μ=λmax\mu = \lambda_{\max}, achieved by the corresponding eigenvector — the first principal component.

Proportion of variance explained by the kk-th component:

PVEk=λki=1dλi=λktr(C).(19)\text{PVE}_k = \frac{\lambda_k}{\sum_{i=1}^d \lambda_i} = \frac{\lambda_k}{\text{tr}(\mathbf{C})}. \tag{19}

Connection to SVD. When X=UΣVT\mathbf{X} = \mathbf{U}\boldsymbol{\Sigma}\mathbf{V}^T, columns of V\mathbf{V} are principal directions and σi2/(N1)=λi\sigma_i^2/(N-1) = \lambda_i. See SVD.


Application: Gradient Descent Convergence

Consider minimizing the quadratic

f(x)=12xTAxbTx,(20)f(\mathbf{x}) = \frac{1}{2}\mathbf{x}^T \mathbf{A}\mathbf{x} - \mathbf{b}^T\mathbf{x}, \tag{20}

where A\mathbf{A} is symmetric positive definite with eigenvalues 0<λ1λn0 < \lambda_1 \leq \cdots \leq \lambda_n.

The gradient is f(x)=Axb\nabla f(\mathbf{x}) = \mathbf{A}\mathbf{x} - \mathbf{b}. Gradient descent with step size η\eta:

xt+1=xtη(Axtb)=(IηA)xt+ηb.(21)\mathbf{x}_{t+1} = \mathbf{x}_t - \eta(\mathbf{A}\mathbf{x}_t - \mathbf{b}) = (\mathbf{I} - \eta\mathbf{A})\mathbf{x}_t + \eta\mathbf{b}. \tag{21}

Analysis in the eigenbasis. Let A=QΛQT\mathbf{A} = \mathbf{Q}\boldsymbol{\Lambda}\mathbf{Q}^T and define yt=QT(xtx)\mathbf{y}_t = \mathbf{Q}^T(\mathbf{x}_t - \mathbf{x}^*) where Ax=b\mathbf{A}\mathbf{x}^* = \mathbf{b}. Then:

yt+1=(IηΛ)yt.(22)\mathbf{y}_{t+1} = (\mathbf{I} - \eta\boldsymbol{\Lambda})\mathbf{y}_t. \tag{22}

Each coordinate decouples: yt+1,i=(1ηλi)yt,iy_{t+1,i} = (1 - \eta\lambda_i) y_{t,i}.

Convergence condition. 1ηλi<1|1 - \eta\lambda_i| < 1 for all ii, requiring:

0<η<2λn.(23)0 < \eta < \frac{2}{\lambda_n}. \tag{23}

Optimal step size (minimizing worst-case contraction factor):

η=2λ1+λn.(24)\eta^* = \frac{2}{\lambda_1 + \lambda_n}. \tag{24}

Convergence rate:

ρ=maxi1ηλi=λnλ1λn+λ1=κ1κ+1,(25)\rho = \max_i |1 - \eta^*\lambda_i| = \frac{\lambda_n - \lambda_1}{\lambda_n + \lambda_1} = \frac{\kappa - 1}{\kappa + 1}, \tag{25}

where κ=λn/λ1\kappa = \lambda_n / \lambda_1 is the condition number.

Important equation. Equation (25) shows that large κ\kappa (elongated level sets) causes slow convergence — the motivation for preconditioning and adaptive optimizers in Gradient Descent.


Spectral Properties of Matrices in ML

  • Covariance C\mathbf{C}λi0\lambda_i \geq 0, real — Variance along PC ii
  • Hessian H\mathbf{H} — Real (symmetric) — Curvature; negative λ\lambda at saddles
  • Graph Laplacian L\mathbf{L}λi0\lambda_i \geq 0, λ1=0\lambda_1 = 0 — Smoothness on graphs
  • Attention (pre-softmax) — Not symmetric in general — Affinity structure
  • Normalized adjacencyλ1 — \lambda — \leq 1 — Random walk mixing

Power iteration. To find the dominant eigenvector, iterate vt+1=Avt/Avt\mathbf{v}_{t+1} = \mathbf{A}\mathbf{v}_t / \|\mathbf{A}\mathbf{v}_t\|. Convergence rate depends on λ2/λ1|\lambda_2|/|\lambda_1| — the foundation of PageRank and spectral methods.


Appendix: Completing the Spectral Theorem Proof

Proof of (3) in Theorem 4 (existence of orthonormal eigenbasis).

Proceed by induction on nn. For n=1n = 1, trivial. Assume true for (n1)×(n1)(n-1) \times (n-1) symmetric matrices.

Let λ1\lambda_1 be an eigenvalue of A\mathbf{A} with unit eigenvector q1\mathbf{q}_1. Extend to orthonormal basis {q1,w2,,wn}\{\mathbf{q}_1, \mathbf{w}_2, \ldots, \mathbf{w}_n\} and form orthogonal Q1=[q1w2wn]\mathbf{Q}_1 = [\mathbf{q}_1 | \mathbf{w}_2 | \cdots | \mathbf{w}_n].

Then:

Q1TAQ1=[λ10T0B],(26)\mathbf{Q}_1^T \mathbf{A}\mathbf{Q}_1 = \begin{bmatrix} \lambda_1 & \mathbf{0}^T \\ \mathbf{0} & \mathbf{B} \end{bmatrix}, \tag{26}

where BR(n1)×(n1)\mathbf{B} \in \mathbb{R}^{(n-1)\times(n-1)} is symmetric (since Q1TAQ1\mathbf{Q}_1^T\mathbf{A}\mathbf{Q}_1 is symmetric). By induction, B=Q2Λ2Q2T\mathbf{B} = \mathbf{Q}_2\boldsymbol{\Lambda}_2\mathbf{Q}_2^T. Assembling gives A=QΛQT\mathbf{A} = \mathbf{Q}\boldsymbol{\Lambda}\mathbf{Q}^T with Q\mathbf{Q} orthogonal. \blacksquare


Common Pitfalls and Misconceptions

Pitfall 1: Assuming all matrices are diagonalizable. Defective matrices exist. Symmetric matrices are always diagonalizable; general matrices may require Jordan form.

Pitfall 2: Confusing algebraic and geometric multiplicity. A repeated eigenvalue may have fewer independent eigenvectors than its multiplicity.

Pitfall 3: Using eigenvalues of nonsymmetric weight matrices for stability. RNN weight matrices are generally nonsymmetric; spectral radius (max λi|\lambda_i|) determines stability, but eigenvectors need not be orthogonal.

Pitfall 4: PCA on uncentered data. Covariance (16) assumes centered data. Without centering, the first PC may capture the mean offset rather than variance structure.

Pitfall 5: Equating small eigenvalues with "unimportant" directions. Small covariance eigenvalues may correspond to noise — or to rare but semantically critical features. Truncation requires domain judgment.


Research Perspective

Eigendecomposition dates to Cauchy and Jacobi. The spectral theorem for symmetric operators was extended to infinite dimensions by Hilbert, enabling quantum mechanics and functional analysis.

In machine learning, PCA (Pearson, 1901; Hotelling, 1933) was among the first spectral learning methods. Spectral clustering (Ng, Jordan, Weiss, 2002) uses eigenvectors of graph Laplacians for nonlinear cluster structure. The Neural Tangent Kernel literature analyzes training dynamics via the spectrum of infinite-width kernel matrices.

Modern research on sharpness-aware minimization and Hessian spectrum analysis uses eigenvalues of the loss Hessian to characterize generalization. The condition number (25) remains the standard language for optimization difficulty in convex settings.


Summary of Takeaways

  • Eigenvalue equationAv=λv\mathbf{A}\mathbf{v} = \lambda\mathbf{v} — Characteristic modes
  • Characteristic polynomialdet(AλI)=0\det(\mathbf{A}-\lambda\mathbf{I})=0 — Computing spectra
  • Spectral theoremA=QΛQT\mathbf{A} = \mathbf{Q}\boldsymbol{\Lambda}\mathbf{Q}^T for symmetric A\mathbf{A} — PCA, Hessian analysis
  • Rayleigh quotient — Extrema = eigenvalues — Variational PCA
  • Condition numberκ=λmax/λmin\kappa = \lambda_{\max}/\lambda_{\min} — GD convergence rate
  • Power iteration — Finds dominant eigenvector — PageRank, spectral methods

Next article: Singular Value Decomposition → — extending spectral analysis to arbitrary rectangular matrices.


Exercises

Exercise 1. Compute eigenvalues and eigenvectors of A=[2112]\mathbf{A} = \begin{bmatrix} 2 & -1 \\ -1 & 2 \end{bmatrix}. Verify orthogonality of eigenvectors and diagonalize A\mathbf{A}.

Exercise 2. Prove that if A\mathbf{A} is symmetric and idempotent (A2=A\mathbf{A}^2 = \mathbf{A}), then eigenvalues are 0 or 1. Interpret projection matrices in regression.

Exercise 3. Derive equation (25) explicitly by substituting η=2/(λ1+λn)\eta^* = 2/(\lambda_1 + \lambda_n) into 1ηλi|1 - \eta\lambda_i| and maximizing over ii.

Exercise 4 (PCA). For data with covariance C=diag(3,1,0.5)\mathbf{C} = \text{diag}(3, 1, 0.5), compute PVE for each principal component. How many components capture 90% of variance?

Exercise 5 (Rayleigh quotient). Prove Theorem 5 for the maximum eigenvalue using the eigenbasis expansion of x\mathbf{x}.

Exercise 6 (Conceptual). Explain why the graph Laplacian L=DA\mathbf{L} = \mathbf{D} - \mathbf{A} (degree minus adjacency) is positive semidefinite by showing xTLx=(i,j)E(xixj)2/2\mathbf{x}^T\mathbf{L}\mathbf{x} = \sum_{(i,j) \in E} (x_i - x_j)^2 / 2 for an undirected graph.

Exercise 7 (Power iteration). For A\mathbf{A} with eigenvalues λ1>λ2|\lambda_1| > |\lambda_2| \geq \cdots, show that power iteration converges to v1\mathbf{v}_1 with error decreasing as O(λ2/λ1t)O(|\lambda_2/\lambda_1|^t).