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.
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.
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.
Quantum theory combines density matrices, Born probabilities, tensor-product composites, positive-operator-valued measures (POVMs), and quantum channels. In a finite-dimensional causal operational theory, we prove that two postulates suffice: local input-output statistics identify channels, and every state admits an equivalent-system purification, unique up to reversible dynamics. The full complex quantum formalism follows; every consistent probability rule is realized as a POVM, so measurement no-restriction is derived rather than assumed.
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.)
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.
We develop a conditionally closed reconstruction of quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime--vacuum substrate, and persistent causal source--response coupling. Wave functions, Hilbert spaces, complex amplitudes, density operators, the Born rule, commutation relations, Fock spaces, path integrals, completely positive maps, and Markovian dynamics are introduced only as derived mathematical or operational structures, not as additional physical axioms. The construction distinguishes the actual finite carrier and its causal history from the quantum state used to represent preparations, transformations, and measurement probabilities. It derives unitary dynamics from self-adjoint Hamiltonians, formulates spectral observables and probability currents, and states the explicit equilibrium, additivity, noncontextuality, and calibration conditions required for the Born representation. Measurement is described through instruments, pointer dynamics, stable records, weak values, continuous monitoring, diffusive and counting trajectories, and operational error--disturbance relations. Quantum trajectories remain record-conditioned predictive representations rather than automatically ontic paths. Composite systems, identical particles, spin, entanglement entropy, purification, steering, Bell correlations, dense coding, and no-broadcasting are developed on declared tensor-product and symmetry domains. Open-system dynamics are formulated through causal Volterra equations, memory kernels, initial-slip terms, auxiliary-mode realizations, and unitary dilations. Existence, positivity, complete positivity, trace preservation, no-signalling, and energy closure are treated as logically distinct properties. Semiclassical pseudodifferential calculus, controlled path-integral convergence, Ehrenfest-time bounds, semiclassical measures, decoherence, and macroscopic-record stability define the quantum--classical interface. Topological phases, defect-bound states, relativistic wave equations, infrared dressing, and effective quantum-field-theory domains are incorporated with explicit applicability and error conditions. Numerical spectral certification, statistical model comparison, twenty-five benchmark models, theorem-status ledgers, and a complete experimental statistical protocol provide falsification and replication criteria. The resulting framework preserves standard quantum mechanics on its validated domain while isolating finite-core and historical corrections as conditional, quantitatively bounded, and experimentally testable extensions. **Keywords** Quantum foundations; topological quantum mechanics; historical memory; three-axiom reconstruction; Born rule; quantum measurement; weak measurement; quantum trajectories; entanglement; spin and statistics; open quantum systems; Volterra equations; semiclassical limit; quantum topology; numerical certification; experimental falsification.