From Majorization to Horn and Unitary-Orbit Inequalities

• URL: http://arxiv.org/abs/2609.05854v1
• Date: Sat, 05 Sep 2026 03:29:25 GMT
• Title: From Majorization to Horn and Unitary-Orbit Inequalities
• Abstract summary: We develop a general framework for lifting majorization inequalities to a complete Horn level, which is equivalent to unitary-orbit inequalities.<n>We apply the framework to three families of operator inequalities.<n>The resulting statements yield unitary-orbit inequalities that generalize familiar weak-majorization, trace, and inequalities.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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 papers

• Generalised Bellman recurrence and three dualities in sequential decision-making [40.8583449341828]
  We show that the Bellman equation arises from three conditions.<n>The same conditions give rise to three dualities: one between probability and return, one between return and aggregation, and one between aggregation and probability.<n>Our framework reveals these dualities as arising from a single construction, unifying methods developed separately across reinforcement learning, control, and decision theory.
  arXiv  Detail & Related papers  (2026-07-20T15:46:19Z)
• Tighter Information-Theoretic Generalization Bounds via a Novel Class of Change of Measure Inequalities [42.8036344206885]
  We provide change of measure inequalities in terms of a broad family of information measures, including $f$-divergences and $2$-divergence as special cases.<n>We then embed these inequalities into the analysis of generalization error for learning algorithms, novel and tighter high-probability information-theoretic bounds, while also recovering several best-known results via simplified analyses.
  arXiv  Detail & Related papers  (2026-02-08T14:53:14Z)
• Sharp Matrix Empirical Bernstein Inequalities [37.36588909068279]
  We present two sharp, closed-form empirical Bernstein inequalities for symmetric random matrices with bounded eigenvalues.<n>By sharp, we mean that both inequalities adapt to the unknown variance in a tight manner.<n>Our first inequality holds for the sample mean of independent matrices, and our second inequality holds for a mean estimator under martingale dependence at stopping times.
  arXiv  Detail & Related papers  (2024-11-14T15:27:18Z)
• On the Hypomonotone Class of Variational Inequalities [4.204990010424083]
  We study the behavior of the extragradient algorithm [Korpelevich, 1976] when applied to hypomonotone operators.<n>We construct a counterexample where the extragradient method diverges regardless of the step size.
  arXiv  Detail & Related papers  (2024-10-11T18:35:48Z)
• Pure state entanglement and von Neumann algebras [41.94295877935867]
  We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras.<n>Our central result is the extension of Nielsen's Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions.<n>In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $sigma$-finite measure spaces.
  arXiv  Detail & Related papers  (2024-09-26T11:13:47Z)
• Qudit Clauser-Horne-Shimony-Holt Inequality and Nonlocality from Wigner Negativity [0.9799637101641149]
  The Wigner negativity of stabilizer states is necessary for nonlocality in qudit systems.<n>We show how a bipartite entangled qudit state can serve as a witness for contextuality when it exhibits Wigner negativity.
  arXiv  Detail & Related papers  (2024-05-23T09:44:36Z)
• Log-majorization and matrix norm inequalities with application to quantum information [2.7195102129095003]
  We show an extension of Araki's log-majorization and apply it to the $alpha$-$z$-R'enyi divergence in quantum information. The paper includes an appendix to correct the proof of the author's old result on the equality case in the norm inequality for the weighted geometric mean.
  arXiv  Detail & Related papers  (2024-02-25T11:33:46Z)
• Positive Semidefinite Matrix Supermartingales [37.36588909068279]
  We explore the convergence and nonasymptotic maximal inequalities of supermartingales and backward submartingales.<n>These inequalities are the theoretical foundations for a wide and ever-growing body of results in statistics, econometrics, and theoretical computer science.
  arXiv  Detail & Related papers  (2024-01-28T04:22:43Z)
• Generalized Iterative Formula for Bell Inequalities [12.55611325152539]
  This work is inspired via a decomposition of $(n+1)$-partite Bell inequalities into $n$-partite ones. We present a generalized iterative formula to construct nontrivial $(n+1)$-partite ones from the $n$-partite ones.
  arXiv  Detail & Related papers  (2021-09-12T14:02:13Z)
• Some Hoeffding- and Bernstein-type Concentration Inequalities [47.24550702683417]
  We prove concentration inequalities for functions of independent random variables under sub-gaussian and sub-exponential conditions. The utility of the inequalities is demonstrated by an extension of the now classical method of Rademacher complexities to Lipschitz function classes and unbounded sub-exponential distribution.
  arXiv  Detail & Related papers  (2021-02-11T23:09:13Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.