A traceless matrix has a zero diagonal in some orthonormal basis
Statement
Let with . Prove that there is an orthonormal basis of with for all ; that is, has zero diagonal for some orthogonal .
Hint
Show first that there is a unit vector with (the numerical range contains the mean of the diagonal). Then induct on the compression of to .
Show solutionHide solution
Solution
Step 1: a unit vector with . Let ; . Its eigenvalues have sum , so . By the numerical range theorem (previous problem, ) . So there is a unit with . (For , and any unit vector works.)
Step 2: induction. Extend to an orthonormal basis and let (dimension ), with an orthonormal basis forming the columns of an matrix . The compression has
since the trace in the orthonormal basis is the sum of the diagonal entries .
By the induction hypothesis there is an orthonormal basis of in which has zero diagonal, i.e. (for , is exactly the corresponding diagonal entry of the compression).
Conclusion. is an orthonormal basis of with all .
Example. : gives , and also; in this basis .
Remark. Conversely a matrix with zero diagonal in an orthonormal basis has trace zero, so iff is orthogonally similar to a zero-diagonal matrix. The same statement holds with "similar" in place of "orthogonally similar" (trivially, with a basis that is not orthonormal) and it is the matrix version of: a trace-zero matrix is a sum of commutators (Albert-Muckenhoupt).