Noncommutative majorization
Abstract
We introduce a theory of noncommutative majorization that extends the classical majorization theory introduced by Hardy, Littlewood and Pólya to tuples of self-adjoint matrices that do not necessarily commute. We define and characterize a noncommutative majorization order that extends the classical majorization order. The definition is in terms of convex noncommutative functions, and we utilize the noncommutative convexity theory and noncommutative Choquet theory recently introduced by Davidson and the first author. As an application, we obtain a new necessary and sufficient condition for the existence of a trace-preserving completely positive map, i.e. a quantum channel, that interpolates between two finite sets of matrices. We give examples demonstrating that it is not always possible for this map to be chosen mixed unitary, even locally. We also address the computational difficulty of verifying the noncommutative majorization order. Our results further apply beyond the tracial case, and we obtain more general results characterizing the existence of unital completely positive maps that preserve an arbitrary faithful state or even unital completely positive map.
Related
- Majorization, Entropy and Concentration Inequalities for Discrete α-Concave Random Variables
- Fundamental limits on photonic state preparation from phase-space majorization
- A counterexample to Huang's weak majorization conjecture
- Variable Bregman Majorization-Minimization algorithms for nonconvex nonsmooth optimization, with application to Poisson imaging
- Counterexamples to Aigner's majorization conjecture for star-forest search
BibTeX
@misc{kennedy2026noncommutative,
title = {{Noncommutative majorization}},
author = {Matthew Kennedy and Paul Skoufranis},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.02799},
eprint = {2609.02799},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.02799},
}
RIS
TY - UNPB
TI - Noncommutative majorization
AU - Matthew Kennedy
AU - Paul Skoufranis
PY - 2026
DA - 2026/09/02
PB - arXiv
DO - 10.48550/arxiv.2609.02799
UR - https://arxiv.org/abs/2609.02799
AB - We introduce a theory of noncommutative majorization that extends the classical majorization theory introduced by Hardy, Littlewood and Pólya to tuples of self-adjoint matrices that do not necessarily commute. We define and characterize a noncommutative majorization order that extends the classical majorization order. The definition is in terms of convex noncommutative functions, and we utilize the noncommutative convexity theory and noncommutative Choquet theory recently introduced by Davidson and the first author. As an application, we obtain a new necessary and sufficient condition for the existence of a trace-preserving completely positive map, i.e. a quantum channel, that interpolates between two finite sets of matrices. We give examples demonstrating that it is not always possible for this map to be chosen mixed unitary, even locally. We also address the computational difficulty of verifying the noncommutative majorization order. Our results further apply beyond the tracial case, and we obtain more general results characterizing the existence of unital completely positive maps that preserve an arbitrary faithful state or even unital completely positive map.
ER -