We look into the relationship between eigenvalues and eigenvectors of AAᵀ and AᵀA for a real-valued matrix A of shape (r x c). Without losing generality, we can assume that the matrix is wide i.e. r < c.
0. Singular value decompositions of matrices
We begin with writing down the SVD of A:
A=r×rUr×cΣc×cVT
Here Σ is a concatenation of a diagonal matrix of r singular values and a block of zeros:
Σ=[r×r (diagonal)σ;r×(c−r) (zeros)0]
Now we can write down the SVDs of the two matrix products in terms of the SVD of A:
AAT=Ur×rΣΣTUT
Similarly we have:
ATA=Vc×cΣTΣVT
It is important to understand what the matrices ΣΣT and ΣTΣ look like:
ΣΣT=r×rσ2ΣTΣ=c×c[σ20T00T0]
Now we are ready to draw some insights.
1. Relationship between eigenvalues
From the singular value decompositions above, the following insight becomes clear:
The sets of non-zero eigenvalues of AAT and ATA are the same.
All these non-zero eigenvalues come from the diagonal matrix σ2. Remember that Σ=[r×rσ;r×c−r0].
2. Relationship between eigenvectors
This part is not immediately obvious. We start by asking: what does the matrix A map the vector vi to? Here vi is the i-th column of V i.e. it is the i-th eigenvector of V.
Avi=UΣeiVTvi=Ui-th column of ΣΣei=σiuiif i<relse0
The matrix A maps the first r columns of V to the first r columns of U scaled by the singular values and the remaining columns to the zero vector.
vi→A→{σiui,0,1≤i≤rr<i≤c
Now we can ask the same question for AT: what does AT map the columns of U to?
ATui=VΣTeiUTui=Vi-th column of ΣTΣTei=σivi
The matrix AT maps the columns of U to the columns of V scaled by the singular values.
ui→AT→σivi,1≤i≤r
3. Applications
A matrix A∈Rd×n can be seen as a table of d-dimensional features of n items. If n gets really large, the matrix ATA∈Rn×n gets too large to perform operations like eigendecomposition, which are quite common in machine learning. In this case, the eigenvalues and eigenvectors of the large matrix can be calculated using AAT∈Rd×d and using the relationships we just derived. For instance this is used in creating a dual form of sampling for determinantal point processes.