In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations.
In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations.
This is an extended abstract based on the preprint arXiv:1608.04459. We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms 'Causality, Purity Preservation, Pure Sharpness, and Purification' identify purity as a fundamental ingredient for every sensible theory of thermodynamics. Indeed, in physical theories satisfying these axioms, called sharp theories with purification, every mixed state can be modelled as the marginal of a pure entangled state, and every unsharp measurement can be modelled as a sharp measurement on a composite system. We show that these theories support a well-behaved notion of entropy and of Gibbs states, by which one can derive Landauer's principle. We show that in sharp theories with purification some bipartite states can have negative conditional entropy, and we construct an operational protocol exploiting this feature to overcome Landauer's principle
We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite system. This class of theories, called sharp theories with purification, includes quantum theory both with complex and real amplitudes, as well as a suitable extension of classical probability theory where classical systems can be entangled with other, non-classical systems. Theories satisfying our axioms support well-behaved notions of majorization, entropy, and Gibbs states, allowing for an information-theoretic derivation of Landauer's principle. We conjecture that every theory admitting a sensible thermodynamics must be extendable to a sharp theory with purification.
Resource theories provide a framework for thermodynamics beyond the thermodynamic limit. For systems with definite energy,the key resource is purity. In this paper we formulate three alternative resource theories of purity in the framework of general probabilistic theories (GPTs). Each resource theory corresponds to a different choice of free operations, including i)random reversible operations, ii)noisy operations, generated by reversible interactions with ancillas in the microcanonical state, and iii)unital operations, which preserve the microcanonical state.We determine the requirements the underlying GPT must satisfy in order to support well-behaved resource theories with the above sets as free operations. Then, we focus on a special class of physical theories, called sharp theories with purification, which are appealing for an information-theoretic foundation of thermodynamics. For every sharp theory with purification we show that the convertibility of states implies the validity of a majorisation condition. Moreover, we characterise exactly when majorisation is sufficient for convertibility via random reversible operations. Under this condition, we prove that i) random reversible, noisy, and unital operations obey inclusion relations like in quantum theory, ii) despite being different, the three sets of operations are equivalent in terms of convertibility, iii) there exists a one-to-one correspondence between measures of purity and Schur-convex functions, and iv) purity resources are dual to entanglement resources.
We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of physical operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Sharpness. Associated with any given pure state is a unique maximal effect giving probability equal to one. This maximal effect does not give probability equal to one for any other pure state. [P2] Information locality. A maximal measurement on a composite system is effected if we perform maximal measurements on each of the components. [P3] Tomographic locality. The state of a composite system can be determined from the statistics collected by making measurements on the components. [P4] Compound permutability. There exists a compound reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. [P5] Sturdiness. Filters are non-flattening. Hence, from these postulates we can reconstruct all the usual features of quantum theory: States are represented by positive operators, transformations by completely positive trace non-increasing maps, and effects by positive operators. The Born rule (i.e. the trace rule) for calculating probabilitieso follows. A more detailed abstract is provided in the paper.
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by both classical and quantum theory. We then discuss the axiom of purification, which expresses a strong version of the Conservation of Information and captures the core of a vast number of protocols in quantum information. Purification is a highly non-classical feature and leads directly to the emergence of entanglement at the purely conceptual level, without any reference to the superposition principle. Supplemented by a few additional requirements, satisfied by classical and quantum theory, it provides a complete axiomatic characterization of quantum theory for finite dimensional systems.
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory [1, 2]. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by both classical and quantum theory. We then discuss the axiom of purification, which expresses a strong version of the Conservation of Information and captures the core of a vast number of protocols in quantum information. Purification is a highly non-classical feature and leads directly to the emergence of entanglement at the purely conceptual level, without any reference to the superposition principle. Supplemented by a few additional requirements, satisfied by classical and quantum theory, it provides a complete axiomatic characterization of quantum theory for finite dimensional systems.