Maths WorkshopMaths problems with full solutions
Exercise 2022Topology › Topology of Mn(ℝ) › Rank, spectrum and normsM1Added 6 Nov 2026

A traceless matrix has a zero diagonal in some orthonormal basis

#trace#numerical range#orthonormal basis#induction

Statement

Let A∈Mn(R)A\in M_n(\mathbb{R}) with tr⁡A=0\operatorname{tr}A=0. Prove that there is an orthonormal basis (f1,…,fn)(f_1,\dots,f_n) of Rn\mathbb{R}^n with fiTAfi=0f_i^TAf_i=0 for all ii; that is, QTAQQ^TAQ has zero diagonal for some orthogonal QQ.

Hint

Show first that there is a unit vector xx with xTAx=0x^TAx=0 (the numerical range contains the mean of the diagonal). Then induct on the compression of AA to x⊥x^\perp.

Show solutionHide solution

Solution

Step 1: a unit vector with xTAx=0x^TAx=0. Let S=A+AT2S=\frac{A+A^T}2; tr⁡S=tr⁡A=0\operatorname{tr}S=\operatorname{tr}A=0. Its eigenvalues λ1≤⋯≤λn\lambda_1\le\dots\le\lambda_n have sum 00, so λ1≤0≤λn\lambda_1\le0\le\lambda_n. By the numerical range theorem (previous problem, n≥2n\ge2) {xTAx:∣x∣=1}=[λ1,λn]∋0\{x^TAx:|x|=1\}=[\lambda_1,\lambda_n]\ni0. So there is a unit x1x_1 with x1TAx1=0x_1^TAx_1=0. (For n=1n=1, A=(0)A=(0) and any unit vector works.)

Step 2: induction. Extend x1x_1 to an orthonormal basis and let W=x1⊥W=x_1^\perp (dimension n−1n-1), with an orthonormal basis forming the columns of an n×(n−1)n\times(n-1) matrix BB. The compression A′=BTAB∈Mn−1(R)A'=B^TAB\in M_{n-1}(\mathbb{R}) has
tr⁡A′=tr⁡A−x1TAx1=0−0=0,\operatorname{tr}A'=\operatorname{tr}A-x_1^TAx_1=0-0=0,
since the trace in the orthonormal basis (x1,columns of B)(x_1,\text{columns of }B) is the sum of the diagonal entries x1TAx1+tr⁡A′x_1^TAx_1+\operatorname{tr}A'.

By the induction hypothesis there is an orthonormal basis (g2,…,gn)(g_2,\dots,g_n) of WW in which A′A' has zero diagonal, i.e. giTAgi=0g_i^TAg_i=0 (for gi∈Wg_i\in W, giTAgig_i^TA g_i is exactly the corresponding diagonal entry of the compression).

Conclusion. (x1,g2,…,gn)(x_1,g_2,\dots,g_n) is an orthonormal basis of Rn\mathbb{R}^n with all fiTAfi=0f_i^TAf_i=0.

Example. A=diag⁡(1,−1)A=\operatorname{diag}(1,-1): x=12(1,1)x=\frac1{\sqrt2}(1,1) gives xTAx=0x^TAx=0, and 12(1,−1)\frac1{\sqrt2}(1,-1) also; in this basis A=(0110)A=\begin{pmatrix}0&1\\1&0\end{pmatrix}.

Remark. Conversely a matrix with zero diagonal in an orthonormal basis has trace zero, so tr⁡A=0\operatorname{tr}A=0 iff AA 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).