Ge–Li–Lu–Zhou even-eigenvalue-sum conjecture

About 2 years old · traced to

Let TX:M(n,C)→M(n,C)T_X:M(n,\mathbb{C})\to M(n,\mathbb{C}) be defined by TX(Y)=[X∗,[X,Y]]T_X(Y)=[X^*,[X,Y]], and let λ1(TX)≥⋯≥λN(TX)\lambda_1(T_X)\geq\cdots\geq\lambda_N(T_X) be its eigenvalues. Ge–Li–Lu–Zhou conjecture. For K=R\mathbb{K}=\mathbb{R} or K=C\mathbb{K}=\mathbb{C}, if X∈M(n,K)X\in M(n,\mathbb{K}) and ∥X∥=1\|X\|=1, then

∑i=12kλi(TX)≤2k+2,k=1,…,⌊n22⌋.\sum_{i=1}^{2k}\lambda_i(T_X)\leq 2k+2,\qquad k=1,\ldots,\left\lfloor\frac{n^2}{2}\right\rfloor.

This is presented as an equivalent form of the fundamental Lu–Wenzel conjecture, and the supplied text gives no independent resolution status.

References

Primary source

Jianquan Ge, Fagui Li, Zizhou Tang and Yi Zhou, “A survey on the DDVV-type inequalities”, arXiv:2402.01085 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.