Weak majorization inequalities for the cubic and quartic coefficients of e(A+B)te^{(A+B)t} versus eAteBte^{At}e^{Bt}

preprint2026arXivOpen access

Abstract

Let A,B∈HnA,B\in\mathbb{H}_n and set H=A+BH=A+B. For each integer k≥1k\ge 1 define Qk:=∑p=0k(kp)ApBk−p,Rk:=ℜ Qk=Qk+Qk∗2. Q_k:=\sum_{p=0}^k \binom{k}{p} A^pB^{k-p}, R_k:=\Re\,Q_k=\frac{Q_k+Q_k^*}{2}. Then Hk=dkdtkeHt∣t=0H^k=\left.\frac{d^k}{dt^k}e^{Ht}\right|_{t=0} and Qk=dkdtk(eAteBt)∣t=0Q_k=\left.\frac{d^k}{dt^k}(e^{At}e^{Bt})\right|_{t=0}. We prove that, for k=3,4,k=3,4, λ(Hk)≺wσ(Qk). λ(H^k)\prec_w σ(Q_k). Equivalently, the eigenvalues of the cubic and quartic Taylor coefficients of e(A+B)te^{(A+B)t} are weakly majorized by the singular values of the corresponding coefficients of the Golden--Thompson product eAteBte^{At}e^{Bt}. Our argument combines Ky Fan variational principles with explicit commutator identitiesfor Rk−HkR_k-H^k at orders k=3,4k=3,4, reducing the problem to the positivity of certain double-commutator trace forms tested against Ky Fan maximizing projections. We also record a general sufficient condition for higher orders based on commutator decompositions.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.