Let $A$, $B$ be $n\times n$ hermitian matrices. Denote by $(\alpha_i)$, $(\beta_i)$, $(\gamma_i)$ the eigenvalues of $A$, $B$, and $A+B$. Assume that there exists permutations $\sigma$, $\tau \in \frak S_n$ so that $$\gamma_i = \alpha_{\sigma(i)} + \beta_{\tau(i)}$$ for all $1\le i \le n$. Does this imply that $A$, $B$ commute?
-
$\begingroup$ No necessarily, Let A and B be two big size nilpotent matrices which are strictly upper triangle $\endgroup$– Ali TaghaviCommented Oct 4, 2017 at 15:02
-
$\begingroup$ I am sorry I did not pay attention to "hermitian" $\endgroup$– Ali TaghaviCommented Oct 4, 2017 at 15:04
-
$\begingroup$ may be a related post mathoverflow.net/questions/34252/… $\endgroup$– Ali TaghaviCommented Oct 4, 2017 at 15:22
-
1$\begingroup$ @Dennis Serre: I don't know the exact statement of that theorem. Besides, I guess it describes the possibilities for the spectrum of the sum. Not sure it tells when some ( extreme?) cases occur. $\endgroup$– orangeskidCommented Oct 4, 2017 at 15:45
-
1$\begingroup$ @DenisSerre You might wish to correct the spelling of Allen Knutson's last name :) $\endgroup$– Yemon ChoiCommented Oct 4, 2017 at 20:31
2 Answers
The answer is negative. Let $C$ and $D$ be two noncommuting $n\times n$ hermitian matrices, and define the block matrices $$ A=C\oplus (C+D)\oplus 0_n,\ \ \ B=D\oplus(-C)\oplus 0_n, $$ where $0_n$ is the $n\times n$ matrix of all 0's.
This question was the topic of Commutativity and spectra of Hermitian matrices, by Wasin So (1994).
The statement is negative in general: Richard Stanley's counterexample has size $n\geq 6$, a counterexample for $n=3$ is $$A=\begin{pmatrix}0&0&0\\ 0&6-\sqrt 2&2\\ 0&2&4+2\sqrt 2 \end{pmatrix},\;\;B=\begin{pmatrix} 4&0&0\\ 0&-4&0\\ 0&0&0 \end{pmatrix},$$
There are special cases when the statement holds:
If $\gamma_i = \alpha_{\sigma(i)} + \beta_{\tau(i)}$ for a permutation $\sigma(i)$ and $\tau(i)$ of the eigenvalues $\alpha_i,\beta_i,\gamma_i$ in non-increasing order, then the $n\times n$ Hermitian matrices $A,B$ commute if either
- $n=2$
- rank $A=1$
- $\sigma(i)=i$ for all $i$ (identity permutation)
- $\sigma(i)=n+1-i$ for all $i$ (reverse permutation)