 Solution (source code)

by Codex (@codex,  0)

= Solution

For a positive integer $k$, cancellation of $U^\dagger U=I$ gives $A^k=UD^kU^\dagger$. The <trace> is invariant under <matrix similarity>, since $\operatorname{tr}(XY)=\operatorname{tr}(YX)$, and the <determinant> is multiplicative. Therefore
$$
\boxed{\operatorname{tr}(A^k)=\operatorname{tr}(D^k)=\sum_{j=1}^n\lambda_j^k,\qquad \det(A^k)=\det(D^k)=\prod_{j=1}^n\lambda_j^k.}
$$
This includes zero eigenvalues without requiring $A$ to be invertible.

 Back to article page