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:2207.11059 · Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences

Majorization requires infinitely many second laws

Pedro Hack, Daniel A. Braun, Sebastian Gottwald

Published Aug 1, 2024• 1 citation
arXivHTMLPDF

Abstract

Majorization is a fundamental model of uncertainty with several applications in areas ranging from thermodynamics to entanglement theory, and constitutes one of the pillars of the resource-theoretic approach to physics. Here, we improve on its relation to measurement apparatuses. In particular, after discussing what the proper notion of second law in this scenario is, we show that, for a sufficiently large state space, any family of entropy-like functions constituting a second law must be countably infinite. Moreover, we provide an analogous result for a variation of majorization known as thermo-majorization which, in fact, does not require any constraint on the state space provided the equilibrium distribution is not uniform. Finally, we discuss the applicability of our results to molecular diffusion and catalytic majorization. In this regard, we consider a variation of majorization used in plasma physics as a model of molecular diffusion and show that no finite family of entropy-like functions constituting a second law of molecular diffusion exists. Moreover, we show how our results are useful when dealing with a conjecture regarding catalytic majorization (i.e. trumping). In particular, we show that the sort of characterizations of trumping that have been considered before require an infinite family of real-valued functions.

DOI
10.1098/rspa.2023.0464

Related papers

Majorization theory for quasiprobabilities

Twesh Upadhyaya, Zacharie Van Herstraeten, J. Davis +3 more

The question of how to characterize disorder arises in a wide variety of settings, including information theory, economics, and quantum thermodynamics. The theory of majorization provides an elegant answer, playing a central role in these fields. However, the existing majorization framework is inapplicable to functions that both take negative values and are defined on infinite spaces. Yet such functions, in the form of quasiprobability distributions, are ubiquitous in fields such as quantum optics, signal analysis, and bosonic quantum computation. Here we develop a notion of majorization that is applicable to such functions, proving that it admits four equivalent characterizations that naturally reduce to the finite case, thereby generalizing a seminal theorem by Hardy, Littlewood, and Pólya. Moreover, we extend this equivalence to the setting where majorization is considered relative to an arbitrary positive distribution. We give several applications of our results in the context of quantum resource theories. These include deriving families of resource monotones and constraining quantum state conversions. We analytically and numerically study examples using the Wigner and Husimi functions, which feature prominently in quantum optics. Our results provide a comprehensive majorization framework for assessing the disorder of integrable functions over infinite measure spaces. Quasiprobability distributions, crucial in quantum optics and computation, challenge existing majorization frameworks due to their negative values and infinite domains. Here, the authors establish a novel majorization concept for such functions, offering four equivalent characterizations and extending applications to quantum resource theories, enhancing our understanding of quantum state transformations.

arXiv:2507.22986•Communications Physics•Aug 4, 2026•0 citations

Catalytic quantum thermodynamics beyond additivity and reduced-state monotones

Ali Can Günhan, Onur Pusuluk, Thomas Oikonomou +1 more

The generalized second laws of quantum thermodynamics are usually formulated in terms of Rényi divergences and the associated family of generalized free energies. In catalytic thermal transformations, this framework typically certifies the existence of a suitable catalyst but does not make the catalytic contribution explicit in the resulting system-level inequalities. Here we develop a complementary formulation based on non-additive divergences, whose pseudo-additive structure yields a family of generalized free energies with an explicit catalyst-dependent correction term. For uncorrelated catalytic thermal transformations, we show that this leads to non-additive second-law relations providing nontrivial constraints on admissible catalysts when the catalyst is returned only approximately. We also analyze correlated catalytic thermal transformations and show, through explicit finite-dimensional examples, that reduced-state data are generally insufficient to characterize thermodynamic accessibility: the thermo-majorization behavior of the joint transformation can change while the system and catalyst marginals remain fixed, and even states with identical marginals and the same mutual information can exhibit different thermo-majorization accessibility.

quant-pharXiv:2604.21509•Physical Review A•Apr 24, 2026•0 citations

The infinite information gap between mathematical and physical representations

Pedro Hack, Braun, Daniel A., Sebastian Gottwald

Partial orders have been used to model several experimental setups, going from classical thermodynamics and general relativity to the quantum realm with its resource theories. In order to study such experimental setups, one typically characterizes them via a (numerical) representation, that is, a set of real-valued functions. In the context of resource theory, it is customary to use \textbf{mathematical} representations, i.e. a set of \textbf{measurement outcomes} which characterize the achievable transitions within the experimental setup. However, in line with the minimum energy and maximum entropy principles in classical mechanics and thermodynamics, respectively, one would expect an optimization interpretation for a representation to be called \textbf{physical}. More specifically, a physical representation could consist of a set of competing \textbf{optimization principles} such that a transition happens provided they are all optimized by it. Somewhat surprisingly, we show that this distinction can result in an \textbf{infinite information gap}, with some partial orders having mathematical representations that involve a finite amount of information and requiring infinite information to build a physical representation. We connect this phenomenon with well-known resource-theoretic scenarios like majorization, and develop notions of partial order dimension that run in parallel to the representations that we consider. Our results improve on the classification of preordered spaces in terms of real-valued functions.

arXiv:2203.16272•Mar 30, 2022•2 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

Correlating Thermal Machines and the Second Law at the Nanoscale

Markus P. Müller

Thermodynamics at the nanoscale is known to differ significantly from its familiar macroscopic counterpart: The possibility of state transitions is not determined by free energy alone but by an infinite family of free-energy-like quantities; strong fluctuations (possibly of quantum origin) allow one to extract less work reliably than what is expected from computing the free-energy difference.However, these known results rely crucially on the assumption that the thermal machine is not only exactly preserved in every cycle but also kept uncorrelated from the quantum systems on which it acts.Here, we lift this restriction: We allow the machine to become correlated with the microscopic systems on which it acts while still exactly preserving its own state.Surprisingly, we show that this possibility restores the second law in its original form: Free energy alone determines the possible state transitions, and the corresponding amount of work can be invested or extracted from single systems exactly and without any fluctuations.At the same time, the work reservoir remains uncorrelated from all other systems and parts of the machine.Thus, microscopic machines can increase their efficiency via clever "correlation engineering" in a perfectly cyclic manner, which is achieved by a catalytic system that can sometimes be as small as a single qubit (though some setups require very large catalysts).Our results also solve some open mathematical problems on majorization which may lead to further applications in entanglement theory.

arXiv:1707.03451•Physical Review X•Dec 19, 2018•108 citations

Continuous majorization in quantum phase space

Zacharie Van Herstraeten, Michael G. Jabbour, Nicolas J. Cerf

We explore the role of majorization theory in quantum phase space. To this purpose, we restrict ourselves to quantum states with positive Wigner functions and show that the continuous version of majorization theory provides an elegant and very natural approach to exploring the information-theoretic properties of Wigner functions in phase space. After identifying all Gaussian pure states as equivalent in the precise sense of continuous majorization, which can be understood in light of Hudson's theorem, we conjecture a fundamental majorization relation: any positive Wigner function is majorized by the Wigner function of a Gaussian pure state (especially, the bosonic vacuum state or ground state of the harmonic oscillator). As a consequence, any Schur-concave function of the Wigner function is lower bounded by the value it takes for the vacuum state. This implies in turn that the Wigner entropy is lower bounded by its value for the vacuum state, while the converse is notably not true. Our main result is then to prove this fundamental majorization relation for a relevant subset of Wigner-positive quantum states which are mixtures of the three lowest eigenstates of the harmonic oscillator. Beyond that, the conjecture is also supported by numerical evidence. We conclude by discussing some implications of this conjecture in the context of entropic uncertainty relations in phase space.

arXiv:2108.09167•Quantum•May 24, 2023•14 citations
Majorization is a fundamental model of uncertainty with several applications in areas ranging from thermodynamics to entanglement theory, and constitutes one of the pillars of the resource-theoretic approach to physics. Here, we improve on its relation to measurement apparatuses. In particular, after discussing what the proper notion of second law in this scenario is, we show that, for a sufficiently large state space, any family of entropy-like functions constituting a second law must be countably infinite. Moreover, we provide an analogous result for a variation of majorization known as thermo-majorization which, in fact, does not require any constraint on the state space provided the equilibrium distribution is not uniform. Finally, we discuss the applicability of our results to molecular diffusion and catalytic majorization. In this regard, we consider a variation of majorization used in plasma physics as a model of molecular diffusion and show that no finite family of entropy-like functions constituting a second law of molecular diffusion exists. Moreover, we show how our results are useful when dealing with a conjecture regarding catalytic majorization (i.e. trumping). In particular, we show that the sort of characterizations of trumping that have been considered before require an infinite family of real-valued functions.
The question of how to characterize disorder arises in a wide variety of settings, including information theory, economics, and quantum thermodynamics. The theory of majorization provides an elegant answer, playing a central role in these fields. However, the existing majorization framework is inapplicable to functions that both take negative values and are defined on infinite spaces. Yet such functions, in the form of quasiprobability distributions, are ubiquitous in fields such as quantum optics, signal analysis, and bosonic quantum computation. Here we develop a notion of majorization that is applicable to such functions, proving that it admits four equivalent characterizations that naturally reduce to the finite case, thereby generalizing a seminal theorem by Hardy, Littlewood, and Pólya. Moreover, we extend this equivalence to the setting where majorization is considered relative to an arbitrary positive distribution. We give several applications of our results in the context of quantum resource theories. These include deriving families of resource monotones and constraining quantum state conversions. We analytically and numerically study examples using the Wigner and Husimi functions, which feature prominently in quantum optics. Our results provide a comprehensive majorization framework for assessing the disorder of integrable functions over infinite measure spaces. Quasiprobability distributions, crucial in quantum optics and computation, challenge existing majorization frameworks due to their negative values and infinite domains. Here, the authors establish a novel majorization concept for such functions, offering four equivalent characterizations and extending applications to quantum resource theories, enhancing our understanding of quantum state transformations.
The generalized second laws of quantum thermodynamics are usually formulated in terms of Rényi divergences and the associated family of generalized free energies. In catalytic thermal transformations, this framework typically certifies the existence of a suitable catalyst but does not make the catalytic contribution explicit in the resulting system-level inequalities. Here we develop a complementary formulation based on non-additive divergences, whose pseudo-additive structure yields a family of generalized free energies with an explicit catalyst-dependent correction term. For uncorrelated catalytic thermal transformations, we show that this leads to non-additive second-law relations providing nontrivial constraints on admissible catalysts when the catalyst is returned only approximately. We also analyze correlated catalytic thermal transformations and show, through explicit finite-dimensional examples, that reduced-state data are generally insufficient to characterize thermodynamic accessibility: the thermo-majorization behavior of the joint transformation can change while the system and catalyst marginals remain fixed, and even states with identical marginals and the same mutual information can exhibit different thermo-majorization accessibility.
Partial orders have been used to model several experimental setups, going from classical thermodynamics and general relativity to the quantum realm with its resource theories. In order to study such experimental setups, one typically characterizes them via a (numerical) representation, that is, a set of real-valued functions. In the context of resource theory, it is customary to use \textbf{mathematical} representations, i.e. a set of \textbf{measurement outcomes} which characterize the achievable transitions within the experimental setup. However, in line with the minimum energy and maximum entropy principles in classical mechanics and thermodynamics, respectively, one would expect an optimization interpretation for a representation to be called \textbf{physical}. More specifically, a physical representation could consist of a set of competing \textbf{optimization principles} such that a transition happens provided they are all optimized by it. Somewhat surprisingly, we show that this distinction can result in an \textbf{infinite information gap}, with some partial orders having mathematical representations that involve a finite amount of information and requiring infinite information to build a physical representation. We connect this phenomenon with well-known resource-theoretic scenarios like majorization, and develop notions of partial order dimension that run in parallel to the representations that we consider. Our results improve on the classification of preordered spaces in terms of real-valued functions.
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.
Thermodynamics at the nanoscale is known to differ significantly from its familiar macroscopic counterpart: The possibility of state transitions is not determined by free energy alone but by an infinite family of free-energy-like quantities; strong fluctuations (possibly of quantum origin) allow one to extract less work reliably than what is expected from computing the free-energy difference.However, these known results rely crucially on the assumption that the thermal machine is not only exactly preserved in every cycle but also kept uncorrelated from the quantum systems on which it acts.Here, we lift this restriction: We allow the machine to become correlated with the microscopic systems on which it acts while still exactly preserving its own state.Surprisingly, we show that this possibility restores the second law in its original form: Free energy alone determines the possible state transitions, and the corresponding amount of work can be invested or extracted from single systems exactly and without any fluctuations.At the same time, the work reservoir remains uncorrelated from all other systems and parts of the machine.Thus, microscopic machines can increase their efficiency via clever "correlation engineering" in a perfectly cyclic manner, which is achieved by a catalytic system that can sometimes be as small as a single qubit (though some setups require very large catalysts).Our results also solve some open mathematical problems on majorization which may lead to further applications in entanglement theory.
We explore the role of majorization theory in quantum phase space. To this purpose, we restrict ourselves to quantum states with positive Wigner functions and show that the continuous version of majorization theory provides an elegant and very natural approach to exploring the information-theoretic properties of Wigner functions in phase space. After identifying all Gaussian pure states as equivalent in the precise sense of continuous majorization, which can be understood in light of Hudson's theorem, we conjecture a fundamental majorization relation: any positive Wigner function is majorized by the Wigner function of a Gaussian pure state (especially, the bosonic vacuum state or ground state of the harmonic oscillator). As a consequence, any Schur-concave function of the Wigner function is lower bounded by the value it takes for the vacuum state. This implies in turn that the Wigner entropy is lower bounded by its value for the vacuum state, while the converse is notably not true. Our main result is then to prove this fundamental majorization relation for a relevant subset of Wigner-positive quantum states which are mixtures of the three lowest eigenstates of the harmonic oscillator. Beyond that, the conjecture is also supported by numerical evidence. We conclude by discussing some implications of this conjecture in the context of entropic uncertainty relations in phase space.