Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0709.3680

Inequalities that Collectively Completely Characterize the Catalytic Majorization Relation

M. Klimesh

Published Sep 24, 2007• 40 citations
arXivHTMLPDF

Abstract

For probability vectors x and y, the catalytic majorization relation x prec_T y is defined to hold when there exists a probability vector z such that x otimes z is majorized by y otimes z. In this paper, an infinite family of functions is given such that, subject to some trivial restrictions, x prec_T y if and only if f_r(x) < f_r(y) for all functions f_r in the family. An outline of a proof of this result is provided. The catalytic majorization relation is known to provide a determination of which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed.

DOI
10.48550/arxiv.0709.3680

Related papers

Entropy measures and catalysis of bipartite quantum state transformations

M. Klimesh

Given probability vectors x and y, necessary and sufficient conditions are given for the existence of a probability vector z such that xominusz is majorized by yominusz. This is of interest because the "catalytic majorization" relation is known to be useful in classifying which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed

IEEE International Symposium on Information Theory (ISIT)•Dec 23, 2004•14 citations

Mathematical structure of entanglement catalysis

Sumit Daftuar, M. Klimesh

The majorization relation has been shown to be useful in classifying which transformations of jointly held quantum states are possible using local operations and classical communication. In some cases, a direct transformation between two states is not possible, but it becomes possible in the presence of another state (known as a catalyst); this situation is described mathematically by the trumping relation, an extension of majorization. The structure of the trumping relation is not nearly as well understood as that of majorization. We give an introduction to this subject and derive some results. Most notably, we show that the dimension of the required catalyst is, in general, unbounded; there is no integer k such that it suffices to consider catalysts of dimension k or less in determining which states can be catalyzed into a given state. We also show that almost all bipartite entangled states are potentially useful as catalysts.

arXiv:quant-ph/0104058•Physical Review A•Sep 18, 2001•61 citations

Classical and Quantum Information Measures Characterizing Convertibility: An Axiomatic Approach

Frits Verhagen

In this PhD thesis, we take an axiomatic approach to studying multivariate divergences, which are measures of the information content of a tuple of classical or quantum states. These divergences are studied in the context of large-sample and catalytic convertibility of tuples of states. This type of convertibility is characterized by the ordering of an axiomatically defined family of divergences. In this thesis, we identify this family of divergences explicitly for two scenarios, one classical and one quantum. In the classical setting, we show that the relevant divergences are certain generalizations of the bivariate Rényi divergences. Unlike previous studies, we do not require the distributions to have the same support, yielding interesting new divergences. In the quantum setting, we consider pairs of classical-quantum states with pure component states, and find that majorization is characterized by all $α$-$z$ relative entropies for $α<1$. This demonstrates the first operational interpretation of these relative entropies.

quant-pharXiv:2610.16267•Oct 13, 2026•0 citations

Matrix Majorization in Large Samples

Muhammad Usman Farooq, Tobias Fritz, Erkka Haapasalo +1 more

One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Muet al, we show that if certain monotones—namely multivariate extensions of Rényi divergences—are strictly ordered between the two tuples, then for sufficiently largen, there exists a stochastic matrix taking then-fold Kronecker power of each input distribution to then-fold Kronecker power of the corresponding output distribution. The same conditions, with non-strict ordering for the monotones, are also necessary for such matrix majorization in large samples. Our result also gives conditions for the existence of a sequence of statistical maps that asymptotically (with vanishing error) convert a single copy of each input distribution to the corresponding output distribution with the help of a catalyst that is returned unchanged. Allowing for transformation with arbitrarily small error, we find conditions that are both necessary and sufficient for such catalytic matrix majorization. We derive our results by building on a general algebraic theory of preordered semirings recently developed by one of the authors. This also allows us to recover various existing results on majorization in large samples and in the catalytic regime as well as relative majorization in a unified manner.

arXiv:2301.07353•IEEE Transactions on Information Theory•Jan 10, 2024•6 citations

Majorization, across the (Quantum) Universe

Guido Bellomo, G. M. Bosyk

In how many ways can one represent a given quantum mixed state as a mixture of pure states? Why (and in which sense) are separable states more disordered globally than locally? Is it possible to transform a given pure state into another by means of local operations and classical communication? How should an adequate formulation of the uncertainty principle be? All these questions, as dissimilar as they may seem, share one element in common: They can be answered by appealing to the notion of majorization partial order. Majorization is nowadays a well-established and powerful mathematical tool with many and different applications in several disciplines, such as economics, biology, and physics, among others. Indeed, the seminal idea of this concept had already been glimpsed by Lorenz (1905) while studying the inequality of wealth distribution and developing the representation of the (nowadays called) Lorenz curves. Moreover, the famous Gini coefficient (Gini 1912), widely accepted as a legitimate quantifier of income distribution inequality, is merely a ratio between graphical areas defined by a Lorenz curve. Other key contributions to the subject were those by Muirhead (1903), Dalton (1920), Schur (1923), and Hardy, Littlewood, and Pólya (1929). The name “majorization,” though, appears first in the prominent book by Hardy, Littlewood, and Pólya (1934).

Cambridge University Press eBooks•Apr 11, 2019•6 citations

Conditions for a Class of Entanglement Transformations

Michael A. Nielsen

Suppose Alice and Bob jointly possess a pure state, $|\ensuremath{\psi}〉$. Using local operations on their respective systems and classical communication it may be possible for Alice and Bob to transform $|\ensuremath{\psi}〉$ into another joint state $|\ensuremath{\varphi}〉$. This Letter gives necessary and sufficient conditions for this process of entanglement transformation to be possible. These conditions reveal a partial ordering on the entangled states and connect quantum entanglement to the algebraic theory of majorization. As a consequence, we find that there exist essentially different types of entanglement for bipartite quantum systems.

arXiv:quant-ph/9811053•Physical Review Letters•Jul 12, 1999•1,036 citations
For probability vectors x and y, the catalytic majorization relation x prec_T y is defined to hold when there exists a probability vector z such that x otimes z is majorized by y otimes z. In this paper, an infinite family of functions is given such that, subject to some trivial restrictions, x prec_T y if and only if f_r(x) < f_r(y) for all functions f_r in the family. An outline of a proof of this result is provided. The catalytic majorization relation is known to provide a determination of which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed.
Given probability vectors x and y, necessary and sufficient conditions are given for the existence of a probability vector z such that xominusz is majorized by yominusz. This is of interest because the "catalytic majorization" relation is known to be useful in classifying which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed
The majorization relation has been shown to be useful in classifying which transformations of jointly held quantum states are possible using local operations and classical communication. In some cases, a direct transformation between two states is not possible, but it becomes possible in the presence of another state (known as a catalyst); this situation is described mathematically by the trumping relation, an extension of majorization. The structure of the trumping relation is not nearly as well understood as that of majorization. We give an introduction to this subject and derive some results. Most notably, we show that the dimension of the required catalyst is, in general, unbounded; there is no integer k such that it suffices to consider catalysts of dimension k or less in determining which states can be catalyzed into a given state. We also show that almost all bipartite entangled states are potentially useful as catalysts.
In this PhD thesis, we take an axiomatic approach to studying multivariate divergences, which are measures of the information content of a tuple of classical or quantum states. These divergences are studied in the context of large-sample and catalytic convertibility of tuples of states. This type of convertibility is characterized by the ordering of an axiomatically defined family of divergences. In this thesis, we identify this family of divergences explicitly for two scenarios, one classical and one quantum. In the classical setting, we show that the relevant divergences are certain generalizations of the bivariate Rényi divergences. Unlike previous studies, we do not require the distributions to have the same support, yielding interesting new divergences. In the quantum setting, we consider pairs of classical-quantum states with pure component states, and find that majorization is characterized by all ααα-zzz relative entropies for α<1α<1α<1. This demonstrates the first operational interpretation of these relative entropies.
One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Muet al, we show that if certain monotones—namely multivariate extensions of Rényi divergences—are strictly ordered between the two tuples, then for sufficiently largen, there exists a stochastic matrix taking then-fold Kronecker power of each input distribution to then-fold Kronecker power of the corresponding output distribution. The same conditions, with non-strict ordering for the monotones, are also necessary for such matrix majorization in large samples. Our result also gives conditions for the existence of a sequence of statistical maps that asymptotically (with vanishing error) convert a single copy of each input distribution to the corresponding output distribution with the help of a catalyst that is returned unchanged. Allowing for transformation with arbitrarily small error, we find conditions that are both necessary and sufficient for such catalytic matrix majorization. We derive our results by building on a general algebraic theory of preordered semirings recently developed by one of the authors. This also allows us to recover various existing results on majorization in large samples and in the catalytic regime as well as relative majorization in a unified manner.
In how many ways can one represent a given quantum mixed state as a mixture of pure states? Why (and in which sense) are separable states more disordered globally than locally? Is it possible to transform a given pure state into another by means of local operations and classical communication? How should an adequate formulation of the uncertainty principle be? All these questions, as dissimilar as they may seem, share one element in common: They can be answered by appealing to the notion of majorization partial order. Majorization is nowadays a well-established and powerful mathematical tool with many and different applications in several disciplines, such as economics, biology, and physics, among others. Indeed, the seminal idea of this concept had already been glimpsed by Lorenz (1905) while studying the inequality of wealth distribution and developing the representation of the (nowadays called) Lorenz curves. Moreover, the famous Gini coefficient (Gini 1912), widely accepted as a legitimate quantifier of income distribution inequality, is merely a ratio between graphical areas defined by a Lorenz curve. Other key contributions to the subject were those by Muirhead (1903), Dalton (1920), Schur (1923), and Hardy, Littlewood, and Pólya (1929). The name “majorization,” though, appears first in the prominent book by Hardy, Littlewood, and Pólya (1934).
Suppose Alice and Bob jointly possess a pure state, $|\ensuremath{\psi}〉$. Using local operations on their respective systems and classical communication it may be possible for Alice and Bob to transform $|\ensuremath{\psi}〉$ into another joint state $|\ensuremath{\varphi}〉$. This Letter gives necessary and sufficient conditions for this process of entanglement transformation to be possible. These conditions reveal a partial ordering on the entangled states and connect quantum entanglement to the algebraic theory of majorization. As a consequence, we find that there exist essentially different types of entanglement for bipartite quantum systems.