Understanding Singular Value Decomposition

We are going to compare and contrast the diagonalization of a matrix (eigenspace decomposition) with singular value decomposition. One could always stick with the strict definitions, and say that the latter is the same thing, only for a different matrix. This is true, but I would like to take the route of watching diagonalizability and eigencoordinates break down, piece by piece, and then seeing how SVD can help in each of these situations.


Setup: Any time we wish to talk about singular value decomposition, there is always an inner product involved. We will use the (real) dot product for these examples.



Example 1: Diagonal with Positive Eigenvalues

A=[1.1001.5] A = \left[ \begin{matrix} 1.1 & 0 \\ 0 & 1.5 \end{matrix} \right]

ATA=[1.21002.25]  A^T A = \left[ \begin{matrix} 1.21 & 0 \\ 0 & 2.25 \end{matrix} \right] \




Example 2: Diagonalizable with Orthogonal Eigenaxes

A=125[41121234] A = \frac{1}{25} \left[ \begin{matrix} 41 & 12 \\ 12 & 34 \end{matrix} \right]

ATA=125[73363652]      A^T A = \frac{1}{25} \left[ \begin{matrix} 73 & 36 \\ 36 & 52 \end{matrix} \right] \ \ \ \ \




Example 3: Diagonalizable with Orthogonal Eigenaxes, but Not Positive

Now we have the famous Fibonacci matrix that sends two adjacent Fibonacci numbers to the next pair in the sequence: (Fn−1,Fn)↦(Fn,Fn+1).(F_{n-1}, F_n) \mapsto (F_n, F_{n+1}).

A=[0111] A = \left[ \begin{matrix} 0 & 1 \\ 1 & 1 \end{matrix} \right]

ATA=[1112]      A^T A = \left[ \begin{matrix} 1 & 1 \\ 1 & 2 \end{matrix} \right] \ \ \ \ \

But despite ATA=A2,A^T A = A^2, we have our first difference. φ≈1.62\varphi \approx 1.62 and φ‾≈−0.62,\overline{\varphi} \approx -0.62, a negative eigenvalue. Singular values are always positive, but since the eigenaxes are perpendicular, this just means that the eigenaxis corresponding to φ‾\overline{\varphi} does not reflect, even though it scales down by the same amount.

Why should the direction switch to allow for a positive multiplier? Let's add a unit circle to the domain and look at its image to get an idea of why. What do you see when you look at the image of the unit circle?





Example 4: Diagonalizable without Orthogonal Eigenaxes

A=[5−220] A = \left[ \begin{matrix} 5 & -2 \\ 2 & 0 \end{matrix} \right]

ATA=[2910104]      A^T A = \left[ \begin{matrix} 29 & 10 \\ 10 & 4 \end{matrix} \right] \ \ \ \ \

The singular values of AA are approximately 5.75.7 and 0.7,0.7, quite the contrast from the eigenvalues of A.A.





Example 5: Only One Eigenaxis

A=[1101] A = \left[ \begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix} \right]

ATA=[2111]      A^T A = \left[ \begin{matrix} 2 & 1 \\ 1 & 1 \end{matrix} \right] \ \ \ \ \

So its SVD axes in the domain are the same, and so are its singular values. The outputs are not the same. The dimensions of the ellipse are the same, but it is in a different position. Can you find the square root of ATA?A^T A?