Poset-refined majorization relations
- URL: http://arxiv.org/abs/2607.28061v1
- Date: Thu, 30 Jul 2026 11:40:14 GMT
- Title: Poset-refined majorization relations
- Abstract summary: Several classical majorization relations for sums or products of matrices involve a majorizing vector of perfectly aligned eigenvalues or singular values.<n>We show that the majorization can be strengthened, provided the change-of-basis matrices admit an LU-approximation with respect to this partial order.<n>In this way, we obtain refined versions of Ky Fan's majorization relations, Horn's log-majorization relation, and von Neumann's trace inequality.
- Score: 45.88028371034407
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Several classical majorization relations for sums or products of matrices involve a majorizing vector of perfectly aligned eigenvalues or singular values. By relaxing the order of alignment to a partial order, we show that the majorization can be strengthened, provided the change-of-basis matrices admit an LU-approximation with respect to this partial order. In this way, we obtain refined versions of Ky Fan's majorization relations, Horn's log-majorization relation, and von Neumann's trace inequality. As an application, we give a short proof of the separable Ky Fan majorization relation for an arbitrary number of tensor factors and extend it to a sum of tensor products of arbitrary matrices. Further applications concern majorization relations for sums of (anti-)symmetric powers and for products of Kronecker sums.
Related papers
- Ky Fan majorization for binary tensor products [0.0]
This generalizes Alhejji's result (arXiv:2410.18254) from two summands to arbitrary sums.<n>We show a majorization relation between the singular values of a completely positive map and those of its Kraus operators.
arXiv Detail & Related papers (2026-07-29T16:45:26Z) - Sheffer Polynomials and the s-ordering of Exponential Boson Operators [0.0]
S-ordering concept originated in quantum optics, and subsumes normal, symmetric, and anti-normal ordering.<n>S-ordered expressions are derived with the aid of a parametric family of Sheffer sequences.
arXiv Detail & Related papers (2025-08-18T17:05:40Z) - Partial trace relations beyond normal matrices [0.0]
We find that every pair of matrices of equal size and trace admits dilations of any rank larger than one.<n>We extend the interval of Werner states in which they are provably 2-undistillable in any dimension.
arXiv Detail & Related papers (2025-07-24T10:27:20Z) - Refining Ky Fan's majorization relation with linear programming [1.6317061277457001]
A separable version of Ky Fan's majorization relation is proven for a sum of two operators that are each a tensor product of two positive semi-definite operators.<n>The spin alignment conjecture in quantum information theory is affirmatively resolved to the 2-letter level.
arXiv Detail & Related papers (2024-10-23T20:02:46Z) - Understanding Matrix Function Normalizations in Covariance Pooling through the Lens of Riemannian Geometry [63.694184882697435]
Global Covariance Pooling (GCP) has been demonstrated to improve the performance of Deep Neural Networks (DNNs) by exploiting second-order statistics of high-level representations.<n>This paper provides a comprehensive and unified understanding of the matrix logarithm and power from a Riemannian geometry perspective.
arXiv Detail & Related papers (2024-07-15T07:11:44Z) - On the Continuity of Schur-Horn Mapping [0.0]
We introduce a concept called strong Schur-Horn continuity, characterized by minimal constraints on the perturbation.
We prove the Schur-Horn continuity for general symmetric (Hermitian) matrices.
The continuity finds applications in oblique manifold optimization related to quantum computing.
arXiv Detail & Related papers (2024-06-30T13:48:02Z) - Entrywise error bounds for low-rank approximations of kernel matrices [55.524284152242096]
We derive entrywise error bounds for low-rank approximations of kernel matrices obtained using the truncated eigen-decomposition.
A key technical innovation is a delocalisation result for the eigenvectors of the kernel matrix corresponding to small eigenvalues.
We validate our theory with an empirical study of a collection of synthetic and real-world datasets.
arXiv Detail & Related papers (2024-05-23T12:26:25Z) - Tensor cumulants for statistical inference on invariant distributions [49.80012009682584]
We show that PCA becomes computationally hard at a critical value of the signal's magnitude.
We define a new set of objects, which provide an explicit, near-orthogonal basis for invariants of a given degree.
It also lets us analyze a new problem of distinguishing between different ensembles.
arXiv Detail & Related papers (2024-04-29T14:33:24Z) - Ito Diffusion Approximation of Universal Ito Chains for Sampling, Optimization and Boosting [64.0722630873758]
We consider rather general and broad class of Markov chains, Ito chains, that look like Euler-Maryama discretization of some Differential Equation.
We prove the bound in $W_2$-distance between the laws of our Ito chain and differential equation.
arXiv Detail & Related papers (2023-10-09T18:38:56Z) - When Random Tensors meet Random Matrices [50.568841545067144]
This paper studies asymmetric order-$d$ spiked tensor models with Gaussian noise.
We show that the analysis of the considered model boils down to the analysis of an equivalent spiked symmetric textitblock-wise random matrix.
arXiv Detail & Related papers (2021-12-23T04:05:01Z) - Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's.
We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
arXiv Detail & Related papers (2018-09-19T18:57:45Z)
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.