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.
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.