Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Spectral Analysis & Collinearity

The singular value decomposition separates the design into orthogonal directions. It reveals which combinations of coefficients are well informed by the data and which amplify noise.

Singular Value Decomposition

For a rank-rr design, the compact SVD is

X=UrDrVr⊤,Dr=diag⁡(s1,…,sr),sj>0,X=U_rD_rV_r^\top,\qquad D_r=\operatorname{diag}(s_1,\ldots,s_r),\qquad s_j>0,

where Ur⊤Ur=Vr⊤Vr=IrU_r^\top U_r=V_r^\top V_r=I_r. Use s1≥⋯≥sr>0s_1\geq\cdots\geq s_r>0.

ObjectShapeInterpretation
UrU_rn×rn\times rOrthonormal directions in the space of fitted response vectors.
DrD_rr×rr\times rStrength of the design in each direction.
VrV_rp×rp\times rOrthonormal combinations of coefficient coordinates.
X⊤X=VrDr2Vr⊤.X^\top X=V_rD_r^2V_r^\top.

The nonzero eigenvalues of X⊤XX^\top X are sj2s_j^2. For full column rank, r=pr=p and

β^=VD−1U⊤y=∑j=1pvjuj⊤ysj,y^=UU⊤y=∑j=1pujuj⊤y.\widehat\beta=VD^{-1}U^\top y =\sum_{j=1}^p v_j\frac{u_j^\top y}{s_j},\qquad \widehat y=UU^\top y=\sum_{j=1}^p u_j u_j^\top y.

With deficient rank, use only the rr positive singular values; VrDr−1Ur⊤yV_rD_r^{-1}U_r^\top y is the minimum-norm solution.

Small Singular Values Amplify Coefficient Noise

Under the linear mean model with covariance σ2I\sigma^2I, and full column rank,

Cov⁡(β^∣X)=σ2VD−2V⊤,\operatorname{Cov}(\widehat\beta\mid X) =\sigma^2VD^{-2}V^\top,

so

Var⁡(vj⊤β^∣X)=σ2sj2.\boxed{\operatorname{Var}(v_j^\top\widehat\beta\mid X)=\frac{\sigma^2}{s_j^2}.}

A small sjs_j means the data change little when coefficients move in direction vjv_j. Many different coefficient vectors then make nearly the same fitted predictions, so noise can move the estimated coefficients a long distance in that direction.

For full column rank, the spectral condition number is

κ2(X)=s1/sp,κ2(X⊤X)=κ2(X)2.\kappa_2(X)=s_1/s_p,\qquad \kappa_2(X^\top X)=\kappa_2(X)^2.

A large ratio signals sensitivity to perturbations. At exact rank deficiency, the full-column condition number is infinite; the problem is nonidentification, rather than a uniquely defined coefficient estimator with literal infinite variance.

Coefficients, Fitted Values & New Predictions

At observed inputs

Fitted-value covariance is σ2H\sigma^2H. Small singular values do not by themselves make these variances diverge.

At a new input

Prediction can be unstable when the new input points along a weakly observed design direction. Extrapolation makes this distinction especially important.

Although coefficients contain 1/sj1/s_j, the fitted vector has covariance

Cov⁡(Y^∣X)=σ2UrUr⊤.\operatorname{Cov}(\widehat Y\mid X)=\sigma^2U_rU_r^\top.

Each training fitted value has variance σ2hii≤σ2\sigma^2h_{ii}\leq\sigma^2. Its variance does not diverge merely because a nonzero singular value becomes small.

At a new input x0x_0, however, full-rank OLS gives

Var⁡(x0⊤β^∣X)=σ2∑j=1p(x0⊤vj)2sj2.\boxed{\operatorname{Var}(x_0^\top\widehat\beta\mid X) =\sigma^2\sum_{j=1}^p\frac{(x_0^\top v_j)^2}{s_j^2}.}

A new input with a substantial component in a weakly observed direction can have high prediction variance. This is especially relevant when extrapolating beyond the predictor relationships present in training data.

Exact Dependence & Estimability

If v∈null⁡(X)v\in\operatorname{null}(X), then X(β+cv)=XβX(\beta+cv)=X\beta for any cc. The training data cannot distinguish these parameter vectors. A new mean x0⊤βx_0^\top\beta is identifiable from the linear mean model only if x0x_0 is orthogonal to the null space, equivalently x0∈row⁡(X)x_0\in\operatorname{row}(X).

A pseudoinverse chooses a coefficient convention; it does not create information about unidentifiable directions.

Spectral Motivation for Ridge

OLS keeps every observed response-space direction with weight one:

y^OLS=∑j=1rujuj⊤y.\widehat y_{\mathrm{OLS}}=\sum_{j=1}^r u_j u_j^\top y.

Ridge instead uses

y^λ=∑j=1rsj2sj2+λ⏟wj(λ)ujuj⊤y.\widehat y_\lambda=\sum_{j=1}^r \underbrace{\frac{s_j^2}{s_j^2+\lambda}}_{w_j(\lambda)}u_j u_j^\top y.

Directions with small sj2s_j^2 relative to λ\lambda are strongly suppressed. These are rotated design directions, not necessarily individual original predictors.