No history yet

Numerical Stability Nuances

Stability in Decomposition

Eigendecomposition and Singular Value Decomposition (SVD) are foundational, yet their numerical behaviour diverges dramatically under stress. In applications like muon tomography or gravitational wave analysis, where data matrices can be nearly singular or non-normal, the choice is not academic, it dictates the reliability of the result. While eigendecomposition provides a profound look into a system's dynamics through its eigenvalues, its numerical fragility often makes it unsuitable for direct application on raw, high-dimensional data.

The core issue lies in the basis. For any real matrix AA, SVD provides two sets of orthogonal bases, the left and right singular vectors. Eigendecomposition, however, only guarantees an orthogonal basis of eigenvectors if the matrix is normal (AAT=ATAAA^T = A^T A). For a general —a common occurrence in real-world systems—the eigenvectors can be nearly linearly dependent. This lack of orthogonality is a primary source of numerical instability.

Condition Number Explosion

The stability of an eigendecomposition A=PDP1A = PDP^{-1} depends critically on the condition number of the eigenvector matrix PP, denoted κ(P)\kappa(P). If the eigenvectors are not orthogonal, PP can be ill-conditioned, meaning κ(P)=PP1\kappa(P) = \|P\|\|P^{-1}\| is large. A perturbation δA\delta A to the matrix AA can cause a change in an eigenvalue λi\lambda_i that is magnified by this condition number. The system's sensitivity explodes not because of the conditioning of AA itself, but because of the non-orthogonality of its eigenvectors.

SVD, defined as A=UΣVTA = U\Sigma V^T, sidesteps this problem entirely. The left and right singular vectors, columns of UU and VV, are guaranteed to be orthogonal bases regardless of whether AA is normal. Consequently, the SVD computation is always backward stable; the computed decomposition is the exact decomposition of a nearby matrix A+δAA + \delta A. This is not guaranteed for the eigendecomposition of a non-normal matrix.

The stability of SVD is decoupled from the conditioning of the matrix. It depends only on the machine precision, not the properties of the matrix itself.

Another failure mode for eigendecomposition is sensitivity to the spectral gap. If eigenvalues are clustered closely together, their corresponding eigenvectors become extremely sensitive to perturbations. Even for a normal matrix, a small change in AA can cause the eigenvectors for a cluster of eigenvalues to rotate wildly within the subspace they span. SVD is less susceptible to this, as the singular values are generally more stable.

The Peril of the Gram Matrix

The formal connection between the two decompositions is well-known. The singular values of AA are the square roots of the eigenvalues of the ATAA^T A (or AATA A^T). The right singular vectors (VV) are the eigenvectors of ATAA^T A, and the left singular vectors (UU) are the eigenvectors of AATA A^T.

A=UΣVT    ATA=(VΣTUT)(UΣVT)=V(ΣTΣ)VTA = U\Sigma V^T \implies A^T A = (V\Sigma^T U^T)(U\Sigma V^T) = V (\Sigma^T \Sigma) V^T

This relationship might suggest a simple algorithm for finding the SVD: form ATAA^T A and compute its eigendecomposition. This is a catastrophic mistake from a numerical standpoint. The process of forming ATAA^T A squares the condition number of the original matrix AA.

κ(ATA)=(κ(A))2\kappa(A^T A) = (\kappa(A))^2

Modern SVD algorithms, like variants of the Golub-Kahan-Reinsch algorithm, work directly on the matrix AA. They avoid the explicit formation of ATAA^T A, thereby preventing this catastrophic loss of precision. They operate through a series of orthogonal transformations (like Householder reflections) that preserve the singular values and maintain numerical stability.

For any application demanding high fidelity, the message is clear. While eigendecomposition offers irreplaceable insights for normal matrices and theoretical dynamics, for practical, numerical work on general matrices, SVD provides a foundation of stability that eigendecomposition cannot promise.

Let's test your understanding of these critical distinctions.

Quiz Questions 1/6

Under what condition is the basis of eigenvectors for a matrix guaranteed to be orthogonal?

Quiz Questions 2/6

A common method for finding the SVD of a matrix AA involves first computing the Gram matrix ATAA^T A and then finding its eigendecomposition. From a numerical stability perspective, why is this a bad idea?

Choosing the right decomposition method is a fundamental aspect of robust numerical analysis, ensuring that the computed results accurately reflect the underlying system, not the artifacts of calculation.