In this paper we derive the complex Hilbert space formalism of quantum theory from four simple information theoretic axioms. It is shown that quantum theory is the only non classical probabilistic theory satisfying the following axioms: distinguishability, conservation, reversibility, composition. The new results of this reconstruction compared to other reconstructions by other authors are: (i) we get rid of axiom subspace in favor of axiom conservation eliminating mathematical requirements contained in previous axiomatics; (ii) we are able to classify all the probabilistic theories that are consistent requiring (a) only the first two axioms (b) only the first three axioms; this could be useful in experimental tests of quantum theory since it gives the possibility to understand whether or not other mathematical models could be consistent with such tests; (iii) we provide a connection between two different approaches to quantum foundations, quantum logic and the one based on information theoretic primitives showing that any theory satisfying the first two axioms given above either is classical or is a theory in which physical systems are described by a projective geometry.
In this paper we derive the complex Hilbert space formalism of quantum theory from four simple information theoretic axioms. It is shown that quantum theory is the only non classical probabilistic theory satisfying the following axioms: distinguishability, conservation, reversibility, composition. The new results of this reconstruction compared to other reconstructions by other authors are: (i) we get rid of axiom subspace in favor of axiom conservation eliminating mathematical requirements contained in previous axiomatics; (ii) we are able to classify all the probabilistic theories that are consistent requiring (a) only the first two axioms (b) only the first three axioms; this could be useful in experimental tests of quantum theory since it gives the possibility to understand whether or not other mathematical models could be consistent with such tests; (iii) we provide a connection between two different approaches to quantum foundations, quantum logic and the one based on information theoretic primitives showing that any theory satisfying the first two axioms given above either is classical or is a theory in which physical systems are described by a projective geometry.
In this paper we derive the complex Hilbert space formalism of quantum theory from four simple information theoretic axioms. It is shown that quantum theory is the only non classical probabilistic theory satisfying the following axioms: distinguishability, conservation, reversibility, composition. The new results of this reconstruction compared to other reconstructions by other authors are: (i) we get rid of axiom "subspace" in favor of axiom conservation eliminating mathematical requirements contained in previous axiomatics; (ii) we are able to classify all the probabilistic theories that are consistent requiring (a) only the first two axioms (b) only the first three axioms; this could be useful in experimental tests of quantum theory since it gives the possibility to understand whether or not other mathematical models could be consistent with such tests; (iii) we provide a connection between two different approaches to quantum foundations, quantum logic and the one based on information theoretic primitives showing that any theory satisfying the first two axioms given above either is classical or is a theory in which physical systems are described by a projective geometry.
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.
Abstract The reconstruction of quantum physics has been connected with the interpretation of the quantum formalism, and has continued to be so with the recent deeper consideration of the relation of information to quantum states and processes. This recent form of reconstruction has mainly involved conceiving quantum theory on the basis of informational principles, providing new perspectives on physical correlations and entanglement that can be used to encode information. By contrast to the traditional, interpretational approach to the foundations of quantum mechanics, which attempts directly to establish the meaning of the elements of the theory and often touches on metaphysical issues, the newer, more purely reconstructive approach sometimes defers this task, focusing instead on the mathematical derivation of the theoretical apparatus from simple principles or axioms. In its most pure form, this sort of theory reconstruction is fundamentally the mathematical derivation of the elements of theory from explicitly presented, often operational principles involving a minimum of extra‐mathematical content. Here, a representative series of specifically information‐based treatments—from partial reconstructions that make connections with information to rigorous axiomatizations, including those involving the theories of generalized probability and abstract systems—is reviewed.
This chapter provides a probabilistic framework for formulating classical probability theory, quantum probability, thermodynamics, diffusion, and the Wiener integral using a set of four axioms or principles. It explains everything that conventional quantum information theory and classical probability theory achieve. We want to emphasize that this framework is not an interpretation of quantum mechanics such as “Many-Worlds,” “Bohm’s Theory,” or the “Copenhagen interpretation.” It is much more general and can be viewed as a probability algorithm that calculates probabilities of future events. As a result, previously perplexing paradoxes find resolution. In particular, the superposition principle takes on a new meaning. Our probabilistic framework stands apart from the Hilbert space formalism. It relies solely on elementary set theory, classical logic, and complex numbers. Consequently, this theory is accessible for instruction in educational settings. This framework can be regarded as an axiomatic approach to probability in the sense of Hilbert. In his sixth of the twenty-three open problems presented at the International Congress of Mathematicians in Paris in 1900, Hilbert called for an axiomatic probability theory.
The purpose of this dissertation is to construct a radically new type of mathematics whose underlying logic differs from the ordinary classical logic used in standard mathematics, and which we feel may be more natural for applications in quantum mechanics. Specifically, we begin by constructing a first order quantum logic, the development of which closely parallels that of ordinary (classical) first order logic --- the essential differences are in the nature of the logical axioms, which, in our construction, are motivated by quantum theory. After showing that the axiomatic first order logic we develop is sound and complete (with respect to a particular class of models), this logic is then used as a foundation on which to build (axiomatic) mathematical systems --- and we refer to the resulting new mathematics as "quantum mathematics." As noted above, the hope is that this form of mathematics is more natural than classical mathematics for the description of quantum systems, and will enable us to address some foundational aspects of quantum theory which are still troublesome --- e.g. the measurement problem --- as well as possibly even inform our thinking about quantum gravity.\n\nAfter constructing the underlying logic, we investigate properties of several mathematical systems --- e.g. axiom systems for abstract algebras, group theory, linear algebra, etc. --- in the presence of this quantum logic. In the process, we demonstrate that the resulting quantum mathematical systems have some strange, but very interesting features, which indicates a richness in the structure of mathematics that is classically inaccessible. Moreover, some of these features do indeed suggest possible applications to foundational questions in quantum theory. \n\nWe continue our investigation of quantum mathematics by constructing an axiomatic quantum set theory, which we show satisfies certain desirable criteria. Ultimately, we hope that such a set theory will lead to a foundation for quantum mathematics in a sense which parallels the foundational role of classical set theory in classical mathematics. One immediate application of the quantum set theory we develop is to provide a foundation on which to construct quantum natural numbers, which are the quantum analog of the classical counting numbers. It turns out that in a special class of models, there exists a 1-1 correspondence between the quantum natural numbers and bounded observables in quantum theory whose eigenvalues are (ordinary) natural numbers. This 1-1 correspondence is remarkably satisfying, and not only gives us great confidence in our quantum set theory, but indicates the naturalness of such models for quantum theory itself. We go on to develop a Peano-like arithmetic for these new "numbers," as well as consider some of its consequences. Finally, we conclude by summarizing our results, and discussing directions for future work.