12
$\begingroup$

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?

$\endgroup$
7
  • $\begingroup$ No necessarily, Let A and B be two big size nilpotent matrices which are strictly upper triangle $\endgroup$ Commented Oct 4, 2017 at 15:02
  • $\begingroup$ I am sorry I did not pay attention to "hermitian" $\endgroup$ Commented Oct 4, 2017 at 15:04
  • $\begingroup$ may be a related post mathoverflow.net/questions/34252/… $\endgroup$ Commented 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$
    – orangeskid
    Commented Oct 4, 2017 at 15:45
  • 1
    $\begingroup$ @DenisSerre You might wish to correct the spelling of Allen Knutson's last name :) $\endgroup$
    – Yemon Choi
    Commented Oct 4, 2017 at 20:31

2 Answers 2

11
$\begingroup$

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.

$\endgroup$
0
8
$\begingroup$

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)
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .