Lidskii theorem for directional derivatives of symplectic eigenvalues
In the authors' words
In this paper, we present a refinement of the symplectic Lidskii theorem for directional derivatives of symplectic eigenvalues, which is inspired by the work of Sendov [Electron. J. Linear Algebra 41(2025), 338-341]. We show that for a real positive definite matrix and symmetric matrices \begin{align*} d'(A;H+K)-d'(A;H) \prec_{\pi_A} d'(A;K). \end{align*} Here represents block-majorization corresponding to the partition of given by the equality blocks of symplectic eigenvalues of . We know that Hermitianization of a symmetric matrix occurs in the directional derivative expression of symplectic eigenvalues. We establish a componentwise inequality comparing the symplectic eigenvalues of a positive definite matrix with the ordinary eigenvalues of its associated Hermitianization, and also characterize the equality case. By using the aforementioned inequality, we then show that the symplectic Lidskii theorem follows from the directional derivative Lidskii theorem.
Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 8 pages