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 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.
What does it mean for one quantum process to be more disordered than another? Interestingly, this apparently abstract question arises naturally in a wide range of areas such as information theory, thermodynamics, quantum reference frames, and the resource theory of asymmetry. Here we use a quantum-mechanical generalization of majorization to develop a framework for answering this question, in terms of single-shot entropies, or equivalently, in terms of semi-definite programs. We also investigate some of the applications of this framework, and remarkably find that, in the context of quantum thermodynamics it provides the first complete set of necessary and sufficient conditions for arbitrary quantum state transformations under thermodynamic processes, which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically.
Characterization and Preservation of Majorization on L1(X) with Some Applications in Quantum Information Theory
This work devoted to extension of majorization based on semi doubly stochastic operators(denoted by SD(L1)) as a subclass of Markov operators but a larger class of doubly stochastic operator to L1(X) when X is a σ-finite measure space. We fully describe why such as these operators are more suitable for generalizing majorization relation. By using semi doubly stochastic operators we refuse Hiai's conjecture\cite{Hiai} and answer affirmatively to Mirsky's question\cite{Mirsky} about extension of doubly stochastic matrix to infinite dimension as an infinite continuous counterpart of Hardy, Littlewood and P{\'o}lya's characterization of majorization. We collect a number of results of semi doubly stochastic operators such as equi-integrability of {Sf:S∈SD(L1)} when f is a fix element in L1(X) and consequently relatively weakly compact, and also strong relation of semi doubly stochastic operators and integral stochastic operators. Motivation of our work is application in quantum information theory like Nielson's Theorem, Uhlmann's Theorem and convertibility via incoherent operation. We explain extension of Uhlmann's Theorem to infinite dimension by means of semi doubly stochastic operators which leads to a quantum interpretation of majorization preserver. We introduce three types of maps which preserve majorization.
Quasiprobability representations are well-established tools in quantum information science, with applications ranging from the classical simulability of quantum computation to quantum process tomography, quantum error correction, and quantum sensing. While traditional quasiprobability representations typically employ real-valued distributions, recent developments highlight the usefulness of complex-valued ones -- most notably, via the family of Kirkwood--Dirac quasiprobability distributions. Building on the framework of Schmid et al. [Quantum 8, 1283 (2024)], we extend the analysis to encompass complex-valued quasiprobability representations that need not preserve the identity channel. Additionally, we also extend previous results to consider mappings towards infinite-dimensional spaces. We show that, for each system, every such representation can be expressed as the composition of two maps that are completely characterized by their action on states and on the identity (equivalently, on effects) for that system. Our results apply to all complex-valued quasiprobability representations of any finite-dimensional, tomographically-local generalized probabilistic theory, with finite-dimensional quantum theory serving as a paradigmatic example. In the quantum case, the maps' action on states and effects corresponds to choices of frames and dual frames for the representation. This work offers a unified mathematical framework for analyzing complex-valued quasiprobability representations in generalized probabilistic theories.
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.
In quantum resource theory, one is often interested in identifying which states serve as the best resources for particular quantum tasks. If a relative comparison between quantum states can be made, this gives rise to a partial order, where states are ordered according to their suitability to act as a resource. In the literature, various different partial orders for a variety of quantum resources have been proposed. In discrete variable systems, vector majorization of Wigner functions in discrete phase space provides a natural partial order between quantum states. In the continuous variable case, a natural counterpart would be continuous majorization of Wigner functions in quantum phase space. Indeed, this concept was recently proposed and explored (mostly restricting to the single-mode case) by Van Herstraeten []. In this work, we develop the theory of continuous majorization in the general N -mode case. In addition, we propose extensions to include states with finite Wigner negativity. For the special case of the convex hull of N -mode Gaussian states, we prove a conjecture made by Van Herstraeten, Jabbour, and Cerf. We also prove a phase space counterpart of Uhlmann's theorem of majorization.
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.