From Majorization to Horn and Unitary-Orbit Inequalities
Abstract
Majorization inequalities encode spectral comparisons through leading partial sums, whereas complete Horn inequalities capture all admissible selected-eigenvalue constraints associated with sums of Hermitian matrices [Fulton, 2000]. We develop a general framework for lifting majorization inequalities to this complete Horn level, which is equivalent to unitary-orbit inequalities. The main ingredients are a generalized Hersch--Zwahlen variational formula for coordinatewise monotone functions of selected eigenvalues and a Schubert-geometric lifting principle that reduces the desired Horn inequalities to the concavity or convexity of suitable scalarizer functions on matrix compressions. As examples we apply the framework to three families of operator inequalities. First, we obtain a complete Horn extension of the weak-majorization inequality for convex functions established by Aujla and Silva [Aujla and Silva, 2003]. Second, we lift the concavity and convexity results for two-variable positive-power functions due to Carlen, Frank, and Lieb and Zhang [Carlen, Frank, and Lieb, 2016; Zhang, 2020]. Third, we establish multiplicative Horn inequalities for multivariable geodesic means, including the weighted Karcher mean and the two-variable geometric mean, extending determinant-level inequalities of Bourin and Hiai [Bourin and Hiai, 2014]. The resulting statements yield unitary-orbit inequalities that generalize familiar weak-majorization, trace, and determinant inequalities.
Related
- A Multiplicative Horn Obstruction to the Unitary Categorification of a Rank-Twelve Modular Datum
- Majorization, Entropy and Concentration Inequalities for Discrete α-Concave Random Variables
- Majorization Inequalities from Logarithmic Convexity
- Bargmann Invariants Are Insufficient for Complete Local-Unitary Orbit Discrimination
- Clarkson--McCarthy type inequalities, part II: refinements, unitary orbits, unitarily invariant norms and ℓs--ℓs estimates
BibTeX
@misc{zhou2026from,
title = {{From Majorization to Horn and Unitary-Orbit Inequalities}},
author = {Juntai Zhou},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.05854},
eprint = {2609.05854},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.05854},
}
RIS
TY - UNPB
TI - From Majorization to Horn and Unitary-Orbit Inequalities
AU - Juntai Zhou
PY - 2026
DA - 2026/09/05
PB - arXiv
DO - 10.48550/arxiv.2609.05854
UR - https://arxiv.org/abs/2609.05854
AB - Majorization inequalities encode spectral comparisons through leading partial sums, whereas complete Horn inequalities capture all admissible selected-eigenvalue constraints associated with sums of Hermitian matrices [Fulton, 2000]. We develop a general framework for lifting majorization inequalities to this complete Horn level, which is equivalent to unitary-orbit inequalities. The main ingredients are a generalized Hersch--Zwahlen variational formula for coordinatewise monotone functions of selected eigenvalues and a Schubert-geometric lifting principle that reduces the desired Horn inequalities to the concavity or convexity of suitable scalarizer functions on matrix compressions. As examples we apply the framework to three families of operator inequalities. First, we obtain a complete Horn extension of the weak-majorization inequality for convex functions established by Aujla and Silva [Aujla and Silva, 2003]. Second, we lift the concavity and convexity results for two-variable positive-power functions due to Carlen, Frank, and Lieb and Zhang [Carlen, Frank, and Lieb, 2016; Zhang, 2020]. Third, we establish multiplicative Horn inequalities for multivariable geodesic means, including the weighted Karcher mean and the two-variable geometric mean, extending determinant-level inequalities of Bourin and Hiai [Bourin and Hiai, 2014]. The resulting statements yield unitary-orbit inequalities that generalize familiar weak-majorization, trace, and determinant inequalities.
ER -