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:quant-ph/0101012

Quantum Theory From Five Reasonable Axioms

Lucién Hardy

Published Jan 3, 2001• 454 citations
arXivHTMLPDF

Abstract

The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace rule for calculating probabilities). In this paper it is shown that quantum theory can be derived from five very reasonable axioms. The first four of these are obviously consistent with both quantum theory and classical probability theory. Axiom 5 (which requires that there exists continuous reversible transformations between pure states) rules out classical probability theory. If Axiom 5 (or even just the word "continuous" from Axiom 5) is dropped then we obtain classical probability theory instead. This work provides some insight into the reasons quantum theory is the way it is. For example, it explains the need for complex numbers and where the trace formula comes from. We also gain insight into the relationship between quantum theory and classical probability theory.

DOI
10.48550/arxiv.quant-ph/0101012

Related papers

Derivation of the Rules of Quantum Mechanics from Information-Theoretic Axioms

Daniel I. Fivel

Conventional quantum mechanics with a complex Hilbert space and the Born Rule is derived from five axioms describing properties of probability distributions for the outcome of measurements. Axioms I,II,III are common to quantum mechanics and hidden variable theories. Axiom IV recognizes a phenomenon, first noted by Turing and von Neumann, in which the increase in entropy resulting from a measurement is reduced by a suitable intermediate measurement. This is shown to be impossible for local hidden variable theories. Axiom IV, together with the first three, almost suffice to deduce the conventional rules but allow some exotic, alternatives such as real or quaternionic quantum mechanics. Axiom V recognizes a property of the distribution of outcomes of random measurements on qubits which holds only in the complex Hilbert space model. It is then shown that the five axioms also imply the conventional rules for all dimensions. 1

•Jan 1, 2010•16 citations

Information Theoretic Axioms for Quantum Theory

Marco Zaopo

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.

arXiv:1205.2306•May 10, 2012•4 citations

Informational Axioms for Quantum Theory

Marco Zaopo

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.

•May 10, 2012•0 citations

A derivation of quantum theory from physical requirements

Lluís Masanes, Mueller, MP

Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements-the principles of relativity and light speed invariance-are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.

•Jan 1, 2011•323 citations

A derivation of quantum theory from physical requirements

Lluís Masanes, Markus P Müller

Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements—the principles of relativity and light speed invariance—are used to derive the mathematical structure of Minkowski space–time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.

arXiv:1004.1483•New Journal of Physics•Jun 1, 2011•312 citations

Superposition of states and the structure of quantum logics

Platon C. Deliyannis

A derivation of the classical Hilbert space model of quantum theory is given (including superselection rules) based (i) on various axioms on the behavior of events and (ii) an explicit formula for the superposition of two pure states in terms of transition probabilities.

Journal of Mathematical Physics•Feb 1, 1976•7 citations
The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace rule for calculating probabilities). In this paper it is shown that quantum theory can be derived from five very reasonable axioms. The first four of these are obviously consistent with both quantum theory and classical probability theory. Axiom 5 (which requires that there exists continuous reversible transformations between pure states) rules out classical probability theory. If Axiom 5 (or even just the word "continuous" from Axiom 5) is dropped then we obtain classical probability theory instead. This work provides some insight into the reasons quantum theory is the way it is. For example, it explains the need for complex numbers and where the trace formula comes from. We also gain insight into the relationship between quantum theory and classical probability theory.
Conventional quantum mechanics with a complex Hilbert space and the Born Rule is derived from five axioms describing properties of probability distributions for the outcome of measurements. Axioms I,II,III are common to quantum mechanics and hidden variable theories. Axiom IV recognizes a phenomenon, first noted by Turing and von Neumann, in which the increase in entropy resulting from a measurement is reduced by a suitable intermediate measurement. This is shown to be impossible for local hidden variable theories. Axiom IV, together with the first three, almost suffice to deduce the conventional rules but allow some exotic, alternatives such as real or quaternionic quantum mechanics. Axiom V recognizes a property of the distribution of outcomes of random measurements on qubits which holds only in the complex Hilbert space model. It is then shown that the five axioms also imply the conventional rules for all dimensions. 1
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.
Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements-the principles of relativity and light speed invariance-are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.
Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements—the principles of relativity and light speed invariance—are used to derive the mathematical structure of Minkowski space–time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.