Symmetry shares an entwined history with the structure of physical theory. We propose a consequence of symmetry towards the axiomatic derivation of Hilbert space quantum theory. We introduce the notion of information symmetry (IS) and show that it constraints the state-space structure in any physical theory. To this end, we study the minimal error binary state discrimination problem in the framework of generalized probabilistic theories. A theory is said to satisfy IS if the probability of incorrectly identifying each of two randomly prepared states is the same for both the states. It is found that this simple principle rules out several classes of theories while being perfectly compatible with quantum theory.
Symmetry shares an entwined history with the structure of physical theory. We propose a consequence of symmetry towards the axiomatic derivation of Hilbert space quantum theory. We introduce the notion of information symmetry (IS) and show that it constraints the state-space structure in any physical theory. To this end, we study the minimal error binary state discrimination problem in the framework of generalized probabilistic theories. A theory is said to satisfy IS if the probability of incorrectly identifying each of two randomly prepared states is the same for both the states. It is found that this simple principle rules out several classes of theories while being perfectly compatible with quantum theory.
It is not surprising that our language should be incapable of describing processes occurring within atoms, for, as has been remarked, it was invented to describe the experiences of daily life, … Fortunately, mathematics is not subject to this limitation, and it has been possible to invent a mathematical scheme–the quantum theory–which seems entirely adequate for the treatment of atomic processes. Werner Heisenberg, The Physical Principles of the Quantum Theory (1930) In this chapter we introduce the mathematical structure of quantum theory, for a finite number of systems and finite dimension, starting from three simple Hilbert-space postulates, and based on the intuitive notions of state, transformation, and effect, within a causal context. Such notions will be formalized in a general non-causal context in Chapter 3, which is devoted to the informational framework. We will assume the reader has a basic knowledge of matrix analysis and of operators over Hilbert spaces. Comments about the extension to infinite dimensions, continuous outcome-spaces, and infinitely many systems can be found in the notes at the end of the chapter. From the three simple Hilbert-space postulates, the present chapter extracts six principles, which will become the postulates for quantum theory in the axiomatic derivation presented in Part III of the book. In addition, we will take the opportunity to present and explore many relevant features of the theory – including its convex and causal structure, the Choi–Jamiołkowski isomorphism, and relevant notions, such as those of POVM, complete positivity of maps, quantum operation and channels, entangled states, state discrimination, tomography of states, and transformations. The purification principle will open the stage to the dilation theorems of the theory of quantum open systems, along with other consequences, such as the existence of faithful and steering states, the theorem of no information without disturbance, quantum teleportation, and more. We will review the quantum no-cloning and no-programming theorems, and finally provide a thorough derivation of the theory of quantum channel inversion, which is the backbone of the general theory of quantum error correction in quantum information. Additional interesting topics will be classical information theory as a restriction of quantum information theory, and a critical reconsideration of the von Neumann postulate and the notion of observable.
In order to find a physical axiomatization of quantum theory, physical theories are often considered as a special case of a much more general framework of generalized probabilistic theories. We first present a detailed introduction to generalized probabilistic theories before we examine new approaches towards a physical axiomatization of quantum theory. The main result of the thesis is that one postulate concerning post-measurement states (which have gained almost no attention in this context so far) is sufficient to rule out all probabilistic theories with a polytopic state space, except for classical theory. The postulate states that a measurement with a definite outcome does not alter the state. This rules out almost all toy theories considered so far, for instance the PR-box, but is compatible with quantum theory. Thus, this result can be seen as an approach towards a classification of quantum theory in physical terms. It only deals with local state spaces, in contrast to other approaches that are mostly concerned with nonlocality in composite systems.
We present a group-theoretic reconstruction of quantum mechanics in which the standard formalism emerges from the representation theory of symmetry groups rather than being introduced axiomatically. Starting from physically motivated symmetry principles, we show how the conventional postulates of quantum mechanics, including the Hilbert space structure of states, observables as generators of symmetry transformations, the Born probability rule, unitary time evolution, the composition of multipartite systems, and the measurement framework, can be recovered within a unified representation-theoretic framework. We then examine the measurement problem by interpreting wave-function collapse as the scattering of quantum states, thereby accounting for the apparent loss of information. This framework offers a conceptually unified perspective on the foundations of quantum mechanics, connecting its postulates, measurement theory, and the emergence of quantum phenomena to a common symmetry-based origin.
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some regimes of physics? Here we address these questions by studying how compatibility with thermodynamics constrains the structure of quantum theory. We employ two postulates that any probabilistic theory with reasonable thermodynamic behaviour should arguably satisfy. In the framework of generalised probabilistic theories, we show that these postulates already imply important aspects of quantum theory, like self-duality and analogues of projective measurements, subspaces and eigenvalues. However, they may still admit a class of theories beyond quantum mechanics. Using a thought experiment by von Neumann, we show that these theories admit a consistent thermodynamic notion of entropy, and prove that the second law holds for projective measurements and mixing procedures. Furthermore, we study additional entropy-like quantities based on measurement probabilities and convex decomposition probabilities, and uncover a relation between one of these quantities and Sorkin’s notion of higher-order interference.
Quantum Mechanics (QM) is a very special probabilistic theory, yet we don't know which operational principles make it so. All axiomatization attempts suffer at least one postulate of a mathematical nature. Here I will analyze the possibility of deriving QM as the mathematical representation of a "fair operational framework", i.e. a set of rules which allows the experimenter to make predictions on future "events" on the basis of suitable "tests", e.g. without interference from uncontrollable sources. Two postulates need to be satisfied by any fair operational framework: NSF: "no-signaling from the future"--for the possibility of making predictions on the basis of past tests; PFAITH: "existence of a preparationally faithful state"--for the possibility of preparing any state and calibrating any test. I will show that all theories satisfying NSF admit a C*-algebra representation of events as linear transformations of effects. Based on a very general notion of dynamical independence, it is easy to see that all such probabilistic theories are "non-signaling without interaction" ("non-signaling" for short)--another requirement for a fair operational framework. Postulate PFAITH then implies the "local observability principle", the tensor-product structure for the linear spaces of states and effects, the impossibility of bit commitment and additional features, such an operational definition of transpose, a scalar product for effects, weak-selfduality of the theory, and more. Dual to Postulate PFAITH an analogous postulate for effects would give additional quantum features, such as teleportation. However, all possible consequences of these postulates still need to be investigated, and it is not clear yet if we can derive QM from the present postulates only. [CONTINUES on manuscript]
We present a group-theoretic reconstruction of quantum mechanics in which the standard formalism emerges from the representation theory of symmetry groups rather than being introduced axiomatically. Starting from physically motivated symmetry principles, we show how the conventional postulates of quantum mechanics including the Hilbert space structure of states, observables as generators of symmetry transformations, the Born probability rule, unitary time evolution, the composition of multipartite systems, and the measurement framework can be recovered within a unified representation-theoretic framework. We then examine the measurement problem by interpreting wave-function collapse as the scattering of quantum states, thereby providing an account of the apparent loss of information. Finally, we investigate the origin of Planck's constant, proposing that it arises as the conserved charge of the Lorentz symmetry group. In this formulation, ℏ is an invariant that relates Lie algebra generators to observable quantities and fixes the scale of quantum action. This framework offers a conceptually unified perspective on the foundations of quantum mechanics, connecting its postulates, measurement theory, and the emergence of the quantum of action to a common symmetry-based origin while identifying conditions under which the conventional quantum formalism is recovered.