The math optional, made finite. Daily Practice

← 2013 Paper 1

UPSC Maths 2013 Paper 1 Q1b — Solution

10 marks · Section A

Question

Let AA be a square matrix and AA^* be its adjoint, show that the eigenvalues of matrices AAAA^* and AAA^*A are real. Further show that trace (AA)=(AA^*) = trace (AA)(A^*A).

Technique

Self-adjointness of AAAA^* and AAA^*A via (MN)=NM(MN)^*=N^*M^* and A=AA^{**}=A; standard Hermitian-implies-real-eigenvalue inner-product argument.

Solution

(Here AA^* denotes the conjugate transpose — the standard “adjoint” in linear algebra over C\mathbb{C}.)

Part 1 — Eigenvalues of AAAA^* and AAA^*A are real

Strategy. Both matrices are Hermitian; Hermitian matrices have real eigenvalues.

Step 1 — Hermitian-ness.

For any square matrix AA,

(AA)=(A)A=AA=AA,(AA^*)^*=(A^*)^*A^*=A\,A^*=AA^*,

so AAAA^* is Hermitian. Similarly (AA)=AA(A^*A)^*=A^*A, so AAA^*A is also Hermitian.

Step 2 — Hermitian \Rightarrow real eigenvalues.

Let HH be a Hermitian matrix (H=HH^*=H) and λ\lambda an eigenvalue with eigenvector v0v\ne 0. Then Hv=λvHv=\lambda v, and the inner product

Hv,v=λv,v=λv2.\langle Hv,v\rangle=\langle\lambda v,v\rangle=\lambda\,\|v\|^{2}.

But also Hv,v=v,Hv=v,Hv=Hv,v\langle Hv,v\rangle=\langle v,H^*v\rangle=\langle v,Hv\rangle=\overline{\langle Hv,v\rangle}, so Hv,v\langle Hv,v\rangle is real. Since v2>0\|v\|^{2}>0 is real, λ\lambda must be real.

Applying this to H=AAH=AA^* and H=AAH=A^*A gives the desired conclusion.

Part 2 — tr(AA)=tr(AA)\operatorname{tr}(AA^*)=\operatorname{tr}(A^*A)

Strategy. Compute both traces directly as sums of squared moduli of AA‘s entries.

Step 3 — Trace of AAAA^*.

(AA)ii=jAij(A)ji=jAijAij=jAij2(AA^*)_{ii}=\sum_{j}A_{ij}(A^*)_{ji}=\sum_{j}A_{ij}\overline{A_{ij}}=\sum_{j}|A_{ij}|^{2}. Summing:

tr(AA)=ijAij2.\operatorname{tr}(AA^*)=\sum_{i}\sum_{j}|A_{ij}|^{2}.

Step 4 — Trace of AAA^*A.

(AA)jj=i(A)jiAij=iAijAij=iAij2(A^*A)_{jj}=\sum_{i}(A^*)_{ji}A_{ij}=\sum_{i}\overline{A_{ij}}A_{ij}=\sum_{i}|A_{ij}|^{2}. Summing:

tr(AA)=jiAij2.\operatorname{tr}(A^*A)=\sum_{j}\sum_{i}|A_{ij}|^{2}.

The two double sums differ only in the order of summation, so they are equal:

Answer

  tr(AA)=tr(AA)=i,jAij2=AF2.  \boxed{\;\operatorname{tr}(AA^*)=\operatorname{tr}(A^*A)=\sum_{i,j}|A_{ij}|^{2}=\|A\|_{F}^{2}.\;}

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.