This paper reconstructs quantum theory from operational principles starting from something we dub an effect theory, a generalisation of operational probabilistic theories that does not have any monoidal structure and does not a priori refer to the real numbers, allowing a study of more exotic theories. Our first postulates require the existence of initial filters and final compressions for effects, a variation of the ideal compression axiom of Chiribella et al. (2011). Restricting to the standard operational setting (real probabilities, finite-dimensional) we show that this leads to the existence of spectral decompositions of effects in terms of sharp effects. In the presence of two additional postulates that are relatively standard (composition of pure maps being pure again, and the existence of a transitive symmetry group) we show that the systems must be Euclidean Jordan algebras. Finally we add an observability of energy condition (Barnum et al. 2014) to complete the reconstruction of quantum theory.
This paper reconstructs quantum theory from operational principles starting from something we dub an effect theory, a generalisation of operational probabilistic theories that does not have any monoidal structure and does not a priori refer to the real numbers, allowing a study of more exotic theories. Our first postulates require the existence of initial filters and final compressions for effects, a variation of the ideal compression axiom of Chiribella et al. (2011). Restricting to the standard operational setting (real probabilities, finite-dimensional) we show that this leads to the existence of spectral decompositions of effects in terms of sharp effects. In the presence of two additional postulates that are relatively standard (composition of pure maps being pure again, and the existence of a transitive symmetry group) we show that the systems must be Euclidean Jordan algebras. Finally we add an observability of energy condition (Barnum et al. 2014) to complete the reconstruction of quantum theory.
An often used model for quantum theory is to associate to every physical system a C ∗ -algebra. From a physical point of view it is unclear why operator algebras would form a good description of nature. In this paper, we find a set of physically meaningful assumptions such that any physical theory satisfying these assumptions must embed into the category of finite-dimensional C ∗ -algebras. These assumptions were originally introduced in the setting of effectus theory, a categorical logical framework generalizing classical and quantum logic. As these assumptions have a physical interpretation, this motivates the usage of operator algebras as a model for quantum theory.In contrast to other reconstructions of quantum theory, we do not start with the framework of generalized probabilistic theories and instead use effect theories where no convex structure and no tensor product needs to be present. The lack of this structure in effectus theory has led to a different notion of pure maps. A map in an effectus is pure when it is a composition of a compression and a filter. These maps satisfy particular universal properties and respectively correspond to `forgetting' and `measuring' the validity of an effect.We define a pure effect theory (PET) to be an effect theory where the pure maps form a dagger-category and filters and compressions are adjoint. We show that any convex finite-dimensional PET must embed into the category of Euclidean Jordan algebras. Moreover, if the PET also has monoidal structure, then we show that it must embed into either the category of real or complex C ∗ -algebras, which completes our reconstruction.
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.
A reconstruction of quantum theory refers to both a mathematical and a conceptual paradigm that allows one to derive the usual formulation of quantum theory from a set of primitive assumptions. The motivation for doing so is a discomfort with the usual formulation of quantum theory, a discomfort that started with its originator John von Neumann. We present a reconstruction of finite-dimensional quantum theory where all of the postulates are stated in diagrammatic terms, making them intuitive. Equivalently, they are stated in category-theoretic terms, making them mathematically appealing. Again equivalently, they are stated in process-theoretic terms, establishing that the conceptual backbone of quantum theory concerns the manner in which systems and processes compose. Aside from the diagrammatic form, the key novel aspect of this reconstruction is the introduction of a new postulate, symmetric purification. Unlike the ordinary purification postulate, symmetric purification applies equally well to classical theory as well as quantum theory. Therefore we first reconstruct the full process theoretic description of quantum theory, consisting of composite classical-quantum systems and their interactions, before restricting ourselves to just the ‘fully quantum’ systems as the final step. We propose two novel alternative manners of doing so, ‘no-leaking’ (roughly that information gain causes disturbance) and ‘purity of cups’ (roughly the existence of entangled states). Interestingly, these turn out to be equivalent in any process theory with cups & caps. Additionally, we show how the standard purification postulate can be seen as an immediate consequence of the symmetric purification postulate and purity of cups. Other tangential results concern the specific frameworks of generalised probabilistic theories (GPTs) and process theories (a.k.a. CQM). Firstly, we provide a diagrammatic presentation of GPTs, which, henceforth, can be subsumed under process theories. Secondly, we argue that the ‘sharp dagger’ is indeed the right choice of a dagger structure as this sharpness is vital to the reconstruction.
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a generalised finite-dimensional quantum theory over a suitable ring S. The principles used resemble those due to Chiribella, D'Ariano and Perinotti. Unlike previous reconstructions, our axioms and proof are fully categorical in nature, in particular not requiring tomography assumptions. Specialising the result to probabilistic theories we obtain either traditional quantum theory with S being the complex numbers, or that over real Hilbert spaces with S being the reals.
The Jordan structure of finite-dimensional quantum theory is derived, in a conspicuously easy way, from a few simple postulates concerning abstract probabilistic models (each defined by a set of basic measurements and a convex set of states). The key assumption is that each system A can be paired with an isomorphic conjugate system, A¯ , by means of a non-signaling bipartite state ηA perfectly and uniformly correlating each basic measurement on A with its counterpart on A¯ . In the case of a quantum-mechanical system associated with a complex Hilbert space H , the conjugate system is that associated with the conjugate Hilbert space H , and ηA corresponds to the standard maximally entangled EPR state on H⊗H¯ . A second ingredient is the notion of a reversible filter , that is, a probabilistically reversible process that independently attenuates the sensitivity of detectors associated with a measurement. In addition to offering more flexibility than most existing reconstructions of finite-dimensional quantum theory, the approach taken here has the advantage of not relying on any form of the ``no restriction" hypothesis. That is, it is not assumed that arbitrary effects are physically measurable, nor that arbitrary families of physically measurable effects summing to the unit effect, represent physically accessible observables. (An appendix shows how a version of Hardy's ``subpace axiom" can replace several assumptions native to this paper, although at the cost of disallowing superselection rules.)
What are the minimal requirements for a physically reasonable mathematical model for quantum theory or a potential extension? In addressing this question, rather than relying on the generalized probabilistic theories or other usual approaches, we propose a reset based on the following fundamental features: transition probabilities, which are typical of quantum theory, and continuous reversible dynamical processes (e.g., represented by a Lie group), which play the same crucial role in classical as well as in quantum physics. In doing so, we get back to the very elementary transition probability space framework originally introduced by Bogdan Mielnik in 1968 and combine it with the continuous reversibility condition. The primary class of valid spaces arises from the irreducible atomic JBW algebras, which encompass the irreducible atomic von Neumann algebras and the Jordan matrix algebras. The von Neumann algebras represent the model of common quantum theory. Beyond these, there is a non-standard valid space, where the exceptional Lie group E6 acts transitively. While E6 has been proposed as a candidate for internal symmetries in particle physics, we highlight that this model deviates from standard quantum theory in critical ways. Specifically, it fails to guarantee the existence of post-measurement states in all situations. Though the above postulates are powerful, they still allow for some physically meaningless models. A further feature of quantum theory (the correspondence between the pure states and the minimal projections) leads us to an additional requirement that rules out these models. However, a complete classification of the valid models remains one of the open issues, pointed out in the paper, which is intended for the mathematical and physical experts, inspiring them to tackle these problems.