Chapter 14

Positive Definite Matrices

00 · Symbol Glossary

$A \succ 0$A succ zero — positive definite

Shorthand for "AA is positive definite." The \succ symbol is the matrix analogue of the scalar inequality >0>0 — but it means xTAx>0\mathbf{x}^TA\mathbf{x}>0 for all nonzero x\mathbf{x}, not that every entry of AA is positive. Only defined for symmetric matrices.

$A \succeq 0$A succeq zero — positive semi-definite

"AA is positive semi-definite." Requires xTAx0\mathbf{x}^TA\mathbf{x}\geq0 for all x\mathbf{x} — equality is permitted. A PSD matrix may have zero eigenvalues, meaning it is singular. Valid covariance matrices are PSD (not necessarily PD) because a portfolio with zero variance is possible (perfectly correlated assets).

$L$L — Cholesky factor

The lower-triangular matrix in the Cholesky decomposition A=LLTA=LL^T. Exists (and is unique with positive diagonal entries) whenever AA is symmetric positive definite. The Cholesky factor is the matrix analogue of the square root: LL "is the square root" of AA in the sense that A=LLTA = LL^T.

$\lambda_{\min}(A)$lambda min A — smallest eigenvalue

The smallest eigenvalue of a symmetric matrix AA. A0A\succ0     \iff λmin(A)>0\lambda_{\min}(A)>0. Provides a quantitative measure of "how positive definite" AA is — the further λmin\lambda_{\min} is from zero, the better conditioned AA is.


01 · What Is Positive Definiteness?

A matrix is called positive definite when multiplying it by any nonzero vector and then dotting with that same vector always gives a positive number. The condition xTAx>0\mathbf{x}^TA\mathbf{x}>0 captures a geometric idea: AA never "collapses" a direction — it stretches every nonzero vector to have some component in its own direction.

This matters in finance because a covariance matrix Σ\Sigma must satisfy wTΣw0\mathbf{w}^T\Sigma\mathbf{w}\geq0 — portfolio variance cannot be negative. If Σ\Sigma is estimated from data and fails this condition (e.g. due to numerical errors), the "covariance matrix" is mathematically invalid.

Definition — Positive Definite Matrix

A symmetric matrix ARn×nA \in \mathbb{R}^{n\times n} is positive definite (A0A \succ 0) if:

xTAx>0for all xRn, x0\mathbf{x}^T A \mathbf{x} > 0 \quad \text{for all } \mathbf{x} \in \mathbb{R}^n,\ \mathbf{x} \neq \mathbf{0}

AA is positive semi-definite (A0A \succeq 0) if the inequality is 0\geq 0 (zero is allowed).

AA is negative definite if A0-A\succ0, and indefinite if neither AA nor A-A is PSD.

✓ Example — Testing Positive Definiteness by Definition

A=(2113)A=\begin{pmatrix}2&1\\1&3\end{pmatrix}. For x=(x1x2)\mathbf{x}=\begin{pmatrix}x_1\\x_2\end{pmatrix}:

xTAx=(x1x2)(2113)(x1x2)=2x12+2x1x2+3x22\mathbf{x}^TA\mathbf{x} = \begin{pmatrix}x_1&x_2\end{pmatrix}\begin{pmatrix}2&1\\1&3\end{pmatrix}\begin{pmatrix}x_1\\x_2\end{pmatrix} = 2x_1^2+2x_1x_2+3x_2^2.

Complete the square: 2x12+2x1x2+3x22=2(x1+12x2)2+52x222x_1^2+2x_1x_2+3x_2^2 = 2(x_1+\tfrac{1}{2}x_2)^2+\tfrac{5}{2}x_2^2.

Both terms are non-negative; both are zero only when x2=0x_2=0 and then x1=0x_1=0. Therefore xTAx>0\mathbf{x}^TA\mathbf{x}>0 for all x0\mathbf{x}\neq\mathbf{0}, so A0A\succ0.

❌ What Breaks — Positive Entries Do Not Imply Positive Definite

A=(1221)A=\begin{pmatrix}1&2\\2&1\end{pmatrix} has all positive entries, but xTAx=x12+4x1x2+x22\mathbf{x}^TA\mathbf{x}=x_1^2+4x_1x_2+x_2^2. Try x=(11)\mathbf{x}=\begin{pmatrix}1\\-1\end{pmatrix}: 14+1=2<01-4+1=-2<0. AA is indefinite — not even PSD. Positive entries are completely unrelated to positive definiteness.


02 · Four Equivalent Characterisations

Positive definiteness can be detected four ways. Each characterisation is useful in a different situation.

Definition — Four Equivalent Conditions for PD

For a symmetric ARn×nA \in \mathbb{R}^{n\times n}, the following are equivalent:

PD1 (Quadratic form): xTAx>0\mathbf{x}^TA\mathbf{x}>0 for all x0\mathbf{x}\neq\mathbf{0}.

PD2 (Eigenvalues): All eigenvalues of AA are strictly positive: λ1,,λn>0\lambda_1,\ldots,\lambda_n>0.

PD3 (Leading minors): All kk leading principal minors are positive: det(Ak)>0\det(A_k)>0 for k=1,,nk=1,\ldots,n, where AkA_k is the top-left k×kk\times k submatrix.

PD4 (Cholesky): AA has a Cholesky decomposition A=LLTA=LL^T with LL lower-triangular and positive diagonal entries.

Which Condition to Use When

PD2 (eigenvalues) is the most intuitive but requires computing eigenvalues. PD3 (leading minors) gives a fast check for small matrices — just compute up to nn determinants. PD4 (Cholesky) is the numerical standard: if the Cholesky algorithm completes without a zero or negative diagonal, the matrix is PD.

Step-by-step — Verifying all four PD conditions for $A=\begin{pmatrix}4&2\\2&3\end{pmatrix}$
1

PD1 — Quadratic form: xTAx=4x12+4x1x2+3x22=4(x1+12x2)2+2x22\mathbf{x}^TA\mathbf{x}=4x_1^2+4x_1x_2+3x_2^2 = 4(x_1+\frac{1}{2}x_2)^2+2x_2^2.

Both squared terms non-negative; zero only at x=0\mathbf{x}=\mathbf{0}. A0A\succ0 ✓.

2

PD2 — Eigenvalues: p(λ)=(4λ)(3λ)4=λ27λ+8p(\lambda)=(4-\lambda)(3-\lambda)-4=\lambda^2-7\lambda+8.

λ=7±49322=7±172\lambda = \frac{7\pm\sqrt{49-32}}{2} = \frac{7\pm\sqrt{17}}{2}.

λ1=7+1725.56>0\lambda_1=\frac{7+\sqrt{17}}{2}\approx5.56>0 ✓. λ2=71721.44>0\lambda_2=\frac{7-\sqrt{17}}{2}\approx1.44>0 ✓. Both positive.

3

PD3 — Leading minors:

det(A1)=det(4)=4>0\det(A_1) = \det(4) = 4 > 0 ✓ — the top-left 1×11\times1 minor.

det(A2)=det(4223)=124=8>0\det(A_2) = \det\begin{pmatrix}4&2\\2&3\end{pmatrix} = 12-4 = 8 > 0 ✓ — the full 2×22\times2 determinant.

Both leading minors positive confirms A0A\succ0.

4

PD4 — Cholesky: find lower-triangular L=(1102122)L=\begin{pmatrix}\ell_{11}&0\\\ell_{21}&\ell_{22}\end{pmatrix} with LLT=ALL^T=A.

112=411=2\ell_{11}^2=4 \Rightarrow \ell_{11}=2. 2111=221=1\ell_{21}\ell_{11}=2 \Rightarrow \ell_{21}=1. 212+222=3222=31=222=2\ell_{21}^2+\ell_{22}^2=3 \Rightarrow \ell_{22}^2=3-1=2 \Rightarrow \ell_{22}=\sqrt{2}.

L=(2012),LLT=(2012)(2102)=(4223)=AL = \begin{pmatrix}2&0\\1&\sqrt{2}\end{pmatrix}, \quad LL^T = \begin{pmatrix}2&0\\1&\sqrt{2}\end{pmatrix}\begin{pmatrix}2&1\\0&\sqrt{2}\end{pmatrix} = \begin{pmatrix}4&2\\2&3\end{pmatrix} = A \checkmark

Positive diagonal entries 11=2>0\ell_{11}=2>0, 22=2>0\ell_{22}=\sqrt{2}>0 confirm A0A\succ0.


03 · The Cholesky Decomposition

The Cholesky decomposition A=LLTA=LL^T is the matrix analogue of taking a square root. It exists for every PD matrix and is unique when diagonal entries of LL are required positive.

Step-by-step — Cholesky decomposition of $A=\begin{pmatrix}9&3&3\\3&5&1\\3&1&6\end{pmatrix}$
1

Column 1 of LL: 11=a11=9=3\ell_{11}=\sqrt{a_{11}}=\sqrt{9}=3. 21=a21/11=3/3=1\ell_{21}=a_{21}/\ell_{11}=3/3=1. 31=a31/11=3/3=1\ell_{31}=a_{31}/\ell_{11}=3/3=1.

2

Column 2 of LL: 22=a22212=51=2\ell_{22}=\sqrt{a_{22}-\ell_{21}^2}=\sqrt{5-1}=2. 32=(a323121)/22=(111)/2=0\ell_{32}=(a_{32}-\ell_{31}\ell_{21})/\ell_{22}=(1-1\cdot1)/2=0.

3

Column 3 of LL: 33=a33312322=610=5\ell_{33}=\sqrt{a_{33}-\ell_{31}^2-\ell_{32}^2}=\sqrt{6-1-0}=\sqrt{5}.

4

Assemble and verify:

L=(300120105)L = \begin{pmatrix}3&0&0\\1&2&0\\1&0&\sqrt{5}\end{pmatrix}

LLT=(300120105)(311020005)=(933351316)=ALL^T = \begin{pmatrix}3&0&0\\1&2&0\\1&0&\sqrt{5}\end{pmatrix}\begin{pmatrix}3&1&1\\0&2&0\\0&0&\sqrt{5}\end{pmatrix} = \begin{pmatrix}9&3&3\\3&5&1\\3&1&6\end{pmatrix} = A ✓.


04 · Connection Between the Four Conditions

The equivalences follow from the spectral theorem.

PD1     \iff PD2 via spectral theorem: Every symmetric AA has real eigenvalues and orthogonal eigenvectors: A=QΛQTA=Q\Lambda Q^T. Then xTAx=xTQΛQTx=yTΛy=iλiyi2\mathbf{x}^TA\mathbf{x}=\mathbf{x}^TQ\Lambda Q^T\mathbf{x}=\mathbf{y}^T\Lambda\mathbf{y}=\sum_i\lambda_i y_i^2 where y=QTx\mathbf{y}=Q^T\mathbf{x}. Since QQ is invertible, y0\mathbf{y}\neq\mathbf{0} iff x0\mathbf{x}\neq\mathbf{0}. Therefore xTAx>0\mathbf{x}^TA\mathbf{x}>0 for all x0\mathbf{x}\neq\mathbf{0} iff λi>0\lambda_i>0 for all ii.

PD1     \iff PD3 (Sylvester's criterion): The leading minors capture the "partial" positive definiteness condition — if any k×kk\times k leading submatrix is indefinite, the full matrix is not PD.

PD1     \iff PD4: If A=LLTA=LL^T, then xTAx=xTLLTx=LTx20\mathbf{x}^TA\mathbf{x}=\mathbf{x}^TLL^T\mathbf{x}=\|L^T\mathbf{x}\|^2\geq0, with equality iff LTx=0L^T\mathbf{x}=\mathbf{0} iff x=0\mathbf{x}=\mathbf{0} (since LL has positive diagonal, hence LL is invertible). Conversely, the Cholesky algorithm succeeds without encountering a square root of a non-positive number iff A0A\succ0.

❌ What Breaks — PSD Is Not PD

A covariance matrix estimated from nn observations on pp assets with n<pn < p has rank at most nn, so it has at least pnp-n zero eigenvalues — it is PSD but not PD. Cholesky fails (encounters 0\sqrt{0}), and the matrix is singular: no unique mean-variance-optimal portfolio exists. The fix is regularisation: add λI\lambda I (ridge shrinkage) to make Σ^+λI\hat{\Sigma}+\lambda I positive definite.


05 · Quant Application — Valid Covariance Matrices

Portfolio variance is σp2=wTΣw\sigma_p^2=\mathbf{w}^T\Sigma\mathbf{w}. For this to be a valid variance:

  1. It must be non-negative for all weight vectors w\mathbf{w} — so Σ0\Sigma\succeq0 (PSD).
  2. If every non-trivial portfolio has positive variance, Σ0\Sigma\succ0 (PD).

When does Σ\Sigma fail to be PD?

  • Two perfectly correlated assets: ρ=1\rho=1, so Σ=(σ12σ1σ2σ1σ2σ22)\Sigma=\begin{pmatrix}\sigma_1^2&\sigma_1\sigma_2\\\sigma_1\sigma_2&\sigma_2^2\end{pmatrix} has det=0\det=0. The hedge portfolio w=(w,w)T\mathbf{w}=(w,-w)^T with wσ1=wσ2w\sigma_1=w\sigma_2 achieves zero variance.
  • Sample estimate with too few observations: n<pn<p means rank deficiency.
  • Numerical errors in estimation: slightly negative eigenvalues from floating-point arithmetic.

Nearest PD matrix: Given a symmetric indefinite matrix Σ~\tilde{\Sigma} (from numerical errors), the nearest PD matrix (in Frobenius norm) is obtained by replacing negative eigenvalues with a small ϵ>0\epsilon>0: Σ^=QΛ+QT\hat{\Sigma}=Q\Lambda_+Q^T where Λ+=diag(max(λi,ϵ))\Lambda_+ = \text{diag}(\max(\lambda_i,\epsilon)).


06 · Practice Exercises

EXERCISE 14.1

Compute xTAx\mathbf{x}^TA\mathbf{x} symbolically. Then try to complete the square — if you can write it as a sum of squared terms with positive coefficients, it is PD. Alternatively, check eigenvalues.

A=(3112)A=\begin{pmatrix}3&1\\1&2\end{pmatrix}.

xTAx=3x12+2x1x2+2x22\mathbf{x}^TA\mathbf{x}=3x_1^2+2x_1x_2+2x_2^2.

Complete the square: 3(x1+13x2)2+(213)x22=3(x1+13x2)2+53x223(x_1+\frac{1}{3}x_2)^2+(2-\frac{1}{3})x_2^2=3(x_1+\frac{1}{3}x_2)^2+\frac{5}{3}x_2^2.

Both terms 0\geq0; equal to zero only when x2=0x_2=0 and x1+13(0)=0x_1+\frac{1}{3}(0)=0, i.e. x1=x2=0x_1=x_2=0. Therefore A0A\succ0 ✓.

Eigenvalue check: p(λ)=(3λ)(2λ)1=λ25λ+5p(\lambda)=(3-\lambda)(2-\lambda)-1=\lambda^2-5\lambda+5. λ=5±52\lambda=\frac{5\pm\sqrt{5}}{2}. Both 3.618\approx3.618 and 1.382\approx1.382 — both positive ✓.

Determine whether A=(3112)A=\begin{pmatrix}3&1\\1&2\end{pmatrix} is positive definite. Use the quadratic form (complete the square) and verify using eigenvalues.

EXERCISE 14.2

Check the three leading minors: det(a11)>0\det(a_{11})>0, det(a11a12a21a22)>0\det\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}>0, det(A)>0\det(A)>0. All three must be positive.

A=(420231012)A=\begin{pmatrix}4&2&0\\2&3&1\\0&1&2\end{pmatrix}.

Minor 1: det(4)=4>0\det(4)=4>0 ✓.

Minor 2: det(4223)=124=8>0\det\begin{pmatrix}4&2\\2&3\end{pmatrix}=12-4=8>0 ✓.

Minor 3 (det(A)\det(A)): expanding along row 3: 0()1det(4021)+2det(4223)=01(4)+2(8)=4+16=12>00\cdot(\ldots)-1\cdot\det\begin{pmatrix}4&0\\2&1\end{pmatrix}+2\cdot\det\begin{pmatrix}4&2\\2&3\end{pmatrix}=0-1(4)+2(8)=-4+16=12>0 ✓.

All three leading minors are positive by Sylvester's criterion \Rightarrow A0A\succ0.

Apply Sylvester's criterion (PD3 — check all leading principal minors) to determine if A=(420231012)A=\begin{pmatrix}4&2&0\\2&3&1\\0&1&2\end{pmatrix} is positive definite.

EXERCISE 14.3

Follow the Cholesky algorithm: 11=a11\ell_{11}=\sqrt{a_{11}}, j1=aj1/11\ell_{j1}=a_{j1}/\ell_{11}, then 22=a22212\ell_{22}=\sqrt{a_{22}-\ell_{21}^2}, and so on.

A=(4222)A=\begin{pmatrix}4&2\\2&2\end{pmatrix}.

11=4=2\ell_{11}=\sqrt{4}=2.

21=a21/11=2/2=1\ell_{21}=a_{21}/\ell_{11}=2/2=1.

22=a22212=21=1\ell_{22}=\sqrt{a_{22}-\ell_{21}^2}=\sqrt{2-1}=1.

L=(2011)L=\begin{pmatrix}2&0\\1&1\end{pmatrix}.

Verify: LLT=(2011)(2101)=(4222)=ALL^T=\begin{pmatrix}2&0\\1&1\end{pmatrix}\begin{pmatrix}2&1\\0&1\end{pmatrix}=\begin{pmatrix}4&2\\2&2\end{pmatrix}=A ✓.

Both diagonal entries 11=2>0\ell_{11}=2>0, 22=1>0\ell_{22}=1>0 confirm A0A\succ0.

Find the Cholesky decomposition A=LLTA=LL^T for A=(4222)A=\begin{pmatrix}4&2\\2&2\end{pmatrix}. Verify LLT=ALL^T=A and confirm the diagonal entries of LL are positive.

EXERCISE 14.4

A=QΛQTA=Q\Lambda Q^T (spectral theorem). Use y=QTx\mathbf{y}=Q^T\mathbf{x} to change variables. Then xTAx=yTΛy=iλiyi2\mathbf{x}^TA\mathbf{x}=\mathbf{y}^T\Lambda\mathbf{y}=\sum_i\lambda_iy_i^2. What sign does this have when all λi>0\lambda_i>0?

Step 1: By the spectral theorem (A symmetric), A=QΛQTA=Q\Lambda Q^T where QQ is orthogonal (eigenvector matrix) and Λ=diag(λ1,,λn)\Lambda=\text{diag}(\lambda_1,\ldots,\lambda_n).

Step 2: Substitute into the quadratic form. Let y=QTx\mathbf{y}=Q^T\mathbf{x}. Since QQ is invertible, y=0    x=0\mathbf{y}=\mathbf{0}\iff\mathbf{x}=\mathbf{0}.

xTAx=xTQΛQTx=(QTx)TΛ(QTx)=yTΛy=i=1nλiyi2\mathbf{x}^TA\mathbf{x}=\mathbf{x}^TQ\Lambda Q^T\mathbf{x}=(Q^T\mathbf{x})^T\Lambda(Q^T\mathbf{x})=\mathbf{y}^T\Lambda\mathbf{y}=\sum_{i=1}^n\lambda_i y_i^2.

Step 3 (\Rightarrow): If all λi>0\lambda_i>0, then for x0\mathbf{x}\neq\mathbf{0} (so y0\mathbf{y}\neq\mathbf{0}): λiyi2>0\sum\lambda_iy_i^2>0 since all terms λiyi20\lambda_iy_i^2\geq0 and at least one yj2>0y_j^2>0 multiplied by λj>0\lambda_j>0.

Step 4 (\Leftarrow): If some λk0\lambda_k\leq0, pick y=ek\mathbf{y}=\mathbf{e}_k (standard basis), so x=Qek\mathbf{x}=Q\mathbf{e}_k (the kk-th eigenvector). Then xTAx=λk0\mathbf{x}^TA\mathbf{x}=\lambda_k\leq0 — not positive definite.

Prove that a symmetric matrix A0A\succ0 (PD1) if and only if all eigenvalues of AA are strictly positive (PD2). Use the spectral decomposition A=QΛQTA=Q\Lambda Q^T and the substitution y=QTx\mathbf{y}=Q^T\mathbf{x}.

EXERCISE 14.5

Show that for any BB, the matrix BTBB^TB is always PSD. It is PD iff BB has full column rank (no null vector). Write the quadratic form xTBTBx=Bx2\mathbf{x}^TB^TB\mathbf{x}=\|B\mathbf{x}\|^2.

BTBB^TB is always PSD: For any x\mathbf{x}: xTBTBx=(Bx)T(Bx)=Bx20\mathbf{x}^TB^TB\mathbf{x}=(B\mathbf{x})^T(B\mathbf{x})=\|B\mathbf{x}\|^2\geq0. Equality when Bx=0B\mathbf{x}=\mathbf{0}, i.e. xker(B)\mathbf{x}\in\ker(B).

BTBB^TB is PD iff BB has full column rank: BTB0    Bx2>0B^TB\succ0\iff\|B\mathbf{x}\|^2>0 for all x0    Bx0\mathbf{x}\neq\mathbf{0}\iff B\mathbf{x}\neq\mathbf{0} for all x0    ker(B)={0}    B\mathbf{x}\neq\mathbf{0}\iff\ker(B)=\{\mathbf{0}\}\iff B has full column rank.

Application: the sample covariance matrix Σ^=1n1XTX\hat{\Sigma}=\frac{1}{n-1}X^TX (where XX is the mean-centered data matrix) is PD iff the nn observations are not confined to a proper subspace — equivalently, iff there are no perfectly collinear assets and np+1n\geq p+1.

Prove that BTBB^TB is always positive semi-definite for any real matrix BB. State the condition under which BTBB^TB is strictly positive definite. Apply this to explain when the sample covariance matrix Σ^=1n1XTX\hat{\Sigma}=\frac{1}{n-1}X^TX is PD.

EXERCISE 14.6

Compute the eigenvalues of Σ~\tilde{\Sigma}. Replace any negative eigenvalues with a small ϵ>0\epsilon>0 to get Λ+\Lambda_+. Reconstruct Σ^=QΛ+QT\hat{\Sigma}=Q\Lambda_+Q^T.

Σ~=(10.90.90.8)\tilde{\Sigma}=\begin{pmatrix}1&0.9\\0.9&0.8\end{pmatrix} (estimated, possibly from numerical error).

det(Σ~)=0.80.81=0.01<0\det(\tilde{\Sigma})=0.8-0.81=-0.01<0Σ~\tilde{\Sigma} is indefinite (negative determinant \Rightarrow negative eigenvalue).

Eigenvalues: p(λ)=λ21.8λ+(0.80.81)=λ21.8λ0.01p(\lambda)=\lambda^2-1.8\lambda+(0.8-0.81)=\lambda^2-1.8\lambda-0.01.

λ=1.8±3.24+0.042=1.8±3.2821.8±1.8112\lambda=\frac{1.8\pm\sqrt{3.24+0.04}}{2}=\frac{1.8\pm\sqrt{3.28}}{2}\approx\frac{1.8\pm1.811}{2}.

λ11.806>0\lambda_1\approx1.806>0, λ20.006<0\lambda_2\approx-0.006<0 — one negative eigenvalue confirms the matrix is not PSD.

Fix with ϵ=0.01\epsilon=0.01: Replace λ2=0.006\lambda_2=-0.006 with ϵ=0.01\epsilon=0.01.

Λ+=(1.806000.01)\Lambda_+=\begin{pmatrix}1.806&0\\0&0.01\end{pmatrix}.

The eigenvector for λ11.806\lambda_1\approx1.806: (Σ1.806I)v=0(Σ-1.806I)\mathbf{v}=0 gives approximate direction (0.830.56)\begin{pmatrix}0.83\\0.56\end{pmatrix}; for λ2\lambda_2: (0.560.83)\begin{pmatrix}-0.56\\0.83\end{pmatrix}.

Σ^=QΛ+QT\hat{\Sigma}=Q\Lambda_+Q^T — the nearest PD matrix (in Frobenius norm) to Σ~\tilde{\Sigma}. In practice, the repaired matrix has slightly higher variance in the near-zero direction, ensuring all portfolios have positive variance.

A numerical estimation procedure yields Σ~=(10.90.90.8)\tilde{\Sigma}=\begin{pmatrix}1&0.9\\0.9&0.8\end{pmatrix}. Verify that Σ~\tilde{\Sigma} is not positive semi-definite by computing its determinant and eigenvalues. Describe the procedure for finding the nearest valid (PSD) covariance matrix by thresholding eigenvalues.


07 · Chapter Summary

ConceptKey Fact
Positive definite (PD1)xTAx>0\mathbf{x}^TA\mathbf{x}>0 for all x0\mathbf{x}\neq\mathbf{0}; only for symmetric AA
PD via eigenvalues (PD2)All eigenvalues strictly positive
PD via minors (PD3)All leading principal minors positive (Sylvester)
PD via Cholesky (PD4)A=LLTA=LL^T; LL lower-triangular, positive diagonal
Positive semi-definitexTAx0\mathbf{x}^TA\mathbf{x}\geq0; zero eigenvalues allowed
BTBB^TB always PSDxTBTBx=Bx20\mathbf{x}^TB^TB\mathbf{x}=\|B\mathbf{x}\|^2\geq0; PD iff BB has full col rank
Positive entries ⇏\not\Rightarrow PDNeed all eigenvalues positive, not all entries positive
Covariance matrixAlways PSD; PD iff full rank and np+1n\geq p+1
Repair indefinite matrixReplace negative eigenvalues: Σ^=QΛ+QT\hat{\Sigma}=Q\Lambda_+Q^T
Cholesky fails whenMatrix is not PD — square root of negative number encountered

Next: Chapter 15 — Covariance Matrices & Quadratic Forms builds on positive definiteness to derive sample covariance matrices from data, compute portfolio variance wTΣw\mathbf{w}^T\Sigma\mathbf{w} as a quadratic form, and connect the spectral decomposition to principal component analysis.