The usual formulation of quantum theory is rather abstract. In recent work I have shown that we can, nevertheless, obtain quantum theory from five reasonable axioms. Four of these axioms are obviously consistent with both classical probability theory and quantum theory. The remaining axiom requires that there exists a continuous reversible transformation between any two pure states. The requirement of continuity rules out classical probability theory. In this paper I will summarize the main points of this new approach. I will leave out the details of the proof that these axioms are equivalent to the usual formulation of quantum theory (for these see quant-ph/0101012).
We explain why and how the Hilbert space comes about in quantum theory. The axiomatic structures of vector space, of scalar product, of orthogonality, and of the linear functional are derivable from the statistical description of quantum micro-events and from Hilbertian sum of squares $|\mathfrak{a}_1|^2+|\mathfrak{a}_2|^2+\cdots$. The latter leads (non-axiomatically) to the standard writing of the Born formula $\mathtt{f} = |\langleψ|φ\rangle|^2$. As a corollary, the status of Pythagorean theorem, the concept of a length, and the 6-th Hilbert problem undergo a quantum `revision'. An issue of …
This paper contains a criticism of the article: Ch. Simon, V. Buzek and N. Gisin: ``No-Signaling Condition and Quantum Dynamics'', Phys. Rev. Lett. 87 (2001) 170405, containing a proposal of adoption into quantum mechanics (QM) a new basic axiom. This axiom was declared to imply linearity of time evolution in QM on the basis of kinematic assumptions only. It is shown why, under the considered conditions, the axiom called ``no-signaling condition'' is not effective.
The classical Hilbert space formulation of the axioms of Quantum Mechanics appears to leave open the question whether the Hermitian operators which are associated with the observables of a finite non-relativistic quantum system are uniquely determined.
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…
The axioms of nonrelativistic quantum mechanics lack clear physical meaning. In particular, they say nothing about nonlocality. Yet quantum mechanics is not only nonlocal, it is twice nonlocal: there are nonlocal quantum correlations, and there is the Aharonov-Bohm effect, which implies that an electric or magnetic field h e r e may act on an electron t h e r e. Can we invert the logical hierarchy? That is, can we adopt nonlocality as an axiom for quantum mechanics and derive quantum mechanics from this axiom and an additional axiom of causality? Three versions of these two axioms lead to thre…
Three of the traditional quantum axioms (orthocomplementation, orthomodularity and the covering law) show incompatibilities with two products introduced by Aerts for the description of joint entities. Inspired by Soler's theorem and Holland's AUG axiom, we propose a property of 'plane transitivity', which also characterizes classical Hilbert spaces among infinite dimensional orthomodular spaces, as a possible partial substitute for the 'defective' axioms.
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 conventio…
In a recent paper [e-print quant-ph/0101012], Hardy has given a derivation of "quantum theory from five reasonable axioms." Here we show that Hardy's first axiom, which identifies probability with limiting frequency in an ensemble, is not necessary for his derivation. By reformulating Hardy's assumptions, and modifying a part of his proof, in terms of Bayesian probabilities, we show that his work can be easily reconciled with a Bayesian interpretation of quantum probability.
Having analyzed the formal aspects of Wallace's proof of the Born rule, we now discuss the concepts and axioms upon which it is built. Justification for most axioms is shown to be problematic, and at times contradictory. Some of the problems are caused by ambiguities in the concepts used. We conclude the axioms are not reasonable enough to be taken as mandates of rationality in Everettian Quantum Mechanics. This invalidates the interpretation of Wallace's result as meaning it would be rational for Everettian agents to decide using the Born rule.
The origin of nonclassicality in quantum mechanics (QM) has been investigated recently by a number of authors with a view to identifying axioms that would single out quantum mechanics as a special theory within a broader framework such as convex operational theories. In these studies, the axioms tend to be logically independent in the sense that no specific ordering of the axioms is implied. Here, we identify a hierarchy of five nonclassical features that separate QM from a classical theory: (Q1) Incompatibility and indeterminism; (Q2) Contextuality; (Q3) Entanglement; (Q4) Nonlocality and (Q5…
The space P of pure states of any physical system, classical or quantum, is identified as a Poisson space with a transition probability. The latter is a function p: PxP -> [0,1]; in addition, a Poisson bracket is defined for functions on P. These two structures are connected through unitarity. Classical and quantum mechanics are each characterized by a simple axiom on the transition probability p. Unitarity then determines the Poisson bracket of quantum mechanics up to a multiplicative constant (identified with Planck's constant). Superselection rules are naturally incorporated.
A C*-algebra formulation of Quantum Mechanics is derived from purely operational axioms in which the primary role is played by the "transformations" that the system undergoes in the course of an "experiment". The notion of the {\em adjoint} of a transformation is based on the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus.
A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use of certain mathematical theories, such as group theory and the theory of rigged Hilbert spaces. Our approach regards the fields as real things with symmetry properties. The general structure is analyzed and contrasted with relativistic theories.
Quantum mechanics postulates the existence of states determined by a particle position at a single time. This very concept, in conjunction with superposition, induces much of the quantum-mechanical structure. In particular, it implies the time evolution to obey the Schroedinger equation, and it can be used to complete a truely basic derivation of the statistical axiom as recently proposed by Deutsch.
From the standpoint of Hilbert's Sixth Problem, which is the axiomatisation of Physics, the famous paper of Lucien Hardy's, Quantum Theory from Five Reasonable Axioms, is not relevant. The present paper argues that Hardy does not give a physical definition of `limit', and if we assume the usual mathematical definition of limit of a sequence, he fails to define a sequence in physical terms to which the usual definition is applicable. We argue that one should not, in fact, try to define probability in terms of the usual notion of limit of a sequence of results of a measurement because of seeming…
The statistical model of quantum mechanics is based on the mapping between operators on the Hilbert space and functions on the phase space. This map can be implemented by an operator that satisfies physically motivated Stratonovich-Weyl axioms. Arguments are given in favour of a certain extension of the axioms, provided that there is a priori knowledge about the composite nature of the quantum system.
Quantum mechanics and relativistic causality together imply nonlocality: nonlocal correlations (that violate the CHSH inequality) and nonlocal equations of motion (the Aharonov-Bohm effect). Can we invert the logical order? We consider a conjecture that nonlocality and relativistic causality together imply quantum mechanics. We show that correlations preserving relativistic causality can violate the CHSH inequality more strongly than quantum correlations. Also, we describe nonlocal equations of motion, preserving relativistic causality, that do not arise in quantum mechanics. In these nonlocal…
A realistic axiomatic formulation of nonrelativistic quantum mechanics for a single microsystem with spin is presented, from which the most important theorems of the theory can be deduced. In comparison with previous formulations, the formal aspect has been improved by the use of certain mathematical theories, such as the theory of equipped spaces, and group theory. The standard formalism is naturally obtained from the latter, starting from a central primitive concept: the Galilei group.
The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from …
We present an analysis of quantum mechanics and its problems and paradoxes taking into account the results that have been obtained during the last two decades by investigations in the field of `quantum structures research'. We concentrate mostly on the results of our group FUND at Brussels Free University. By means of a spin 1/2 model where the quantum probability is generated by the presence of fluctuations on the interactions between measuring apparatus and physical system, we show that the quantum structure can find its origin in the presence of these fluctuations. This appraoch, that we ha…
Quantum mechanics permits nonlocality - both nonlocal correlations and nonlocal equations of motion - while respecting relativistic causality. Is quantum mechanics the unique theory that reconciles nonlocality and causality? We consider two models, going beyond quantum mechanics, of nonlocality: "superquantum" correlations, and nonlocal "jamming" of correlations. These models are consistent with some definitions of nonlocality and causality.
The debate on the nature of quantum probabilities in relation to Quantum Non Locality has elevated Quantum Mechanics to the level of an "Operational Epistemic Theory". In such context the quantum superposition principle has an extraneous non epistemic nature. This leads us to seek purely operational foundations for Quantum Mechanics, from which to derive the current mathematical axiomatization based on Hilbert spaces. In the present work I present a set of axioms of purely operational nature, based on a general definition of "the experiment", the operational/epistemic archetype of information …
A realistic physical axiomatic approach of the relativistic quantum field theory is presented. Following the action principle of Schwinger, a covariant and general formulation is obtained. The correspondence principle is not invoked and the commutation relations are not postulated but deduced. The most important theorems such as spin-statistics, and CPT are proved. The theory is constructed form the notion of basic field and system of basic fields. In comparison with others formulations, in our realistic approach fields are regarded as real things with symmetry properties. Finally, the general…
We discuss the axiomatic basis of quantum mechanics and show that it is neither general nor consistent, since its axioms are incompatible with each other and moreover it does not incorporate the magnetic quantization as in the cyclotron motion. A general and consistent system of axioms is conjectured which incorporates also the magnetic quantization.
We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism, within a new realistic conceptual framework that is discussed in details. Physically, the structure of Quantum Mechanics appears as a result of the interplay between the quantized number of "modalities" accessible to a quantum system, and the continuum of "contexts" that are required to define these modalities. Mathematically, the Hilbert space structure appear…
The standard axiomatization of quantum mechanics (QM) is not fully explicit about the role of the time-parameter. Especially, the time reference within the probability algorithm (the Born Rule, BR) is unclear. Using a plausible principle P1, about the role of probability in a physical theory, and a second principle P2 affording a most natural way to make BR precise, a logical conflict with the standard expression for the completeness of QM can be derived. Rejecting P1 is implausible. Rejecting P2 leads to unphysical results and to a conflict with a generalization of P2, a principle P3. It is t…
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 a…
In 1964, John Bell proved that quantum mechanics is "unreasonable" (to use Einstein's term): there are nonlocal bipartite quantum correlations. But they are not the most nonlocal bipartite correlations consistent with relativistic causality ("no superluminal signalling"): also maximally nonlocal "superquantum" (or "PR-box") correlations are consistent with relativistic causality. I show that---unlike quantum correlations---these correlations do not have a classical limit consistent with relativistic causality. The generalization of this result to all stronger-than-quantum nonlocal correlations…
The probabilistic predictions of quantum theory are conventionally obtained from a special probabilistic axiom. But that is unnecessary because all the practical consequences of such predictions follow from the remaining, non-probabilistic, axioms of quantum theory, together with the non-probabilistic part of classical decision theory.
The Born rule is part of the collapse axiom in the standard version of quantum theory, as presented by standard textbooks on the subject. We show here that its signature quadratic dependence follows from a single additional physical assumption beyond the other axioms - namely, that the probability of a particular measurement outcome (the state $ϕ_k$, say) is independent of the choice of observable to be measured, so long as one of its eigenstates corresponds to that outcome. We call this assumption ``observable independence.'' As a consequence, the Born rule cannot be completely eliminated fro…
Hardy (quant-ph/0101012) conjectures in his Axiom 2 that K=K(N), and that in classical probability K=N, while in quantum mechanics K=N^2. We offer an example in classical probability for which K=NV, V the number of independent complete variables; with N=V this classical example satisfies the purported quantal relation K=N^2.
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 the…
Analysing Quantum Measurement requires analysing the physics of amplification since amplification of phenomena from one scale to another scale is essential to measurement. There still remains the task of working this into an axiomatic logical structure, what should be the foundational status of the concepts of measurement and probability. We argue that the concept of physical probability is a multi-scale phenomenon and as such, can be explicitly defined in terms of more fundamental physical concepts. Thus Quantum Mechanics can be given a logically unexceptionable axiomatisation. We introduce a…
We expand on a recent development by Hardy, in which quantum mechanics is derived from classical probability theory supplemented by a single new axiom, Hardy's Axiom 5. Our scenario involves a `pretend world' with a `pretend' Heisenberg who seeks to construct a dynamical theory of probabilities and is lead -- seemingly inevitably -- to the Principles of Quantum Mechanics.
We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theory of probability. The theory, like its classical counterpart, consists of an algebra of events, and the probability measures defined on it. The construction proceeds in the following steps: (a) Axioms for the algebra of events are introduced following Birkhoff and von Neumann. All axioms, except the one that expresses the uncertainty principle, are shared with the classical event space. The only models for the set of axioms are lattices of subspaces of inner product spaces over a field K. (b) A…
Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system. I will show that certain mathematical propositions on a d-valent function of a binary argument can be encoded in d-dimensional quantum states of mutually unbiased basis (MUB) sets, and truth values of the propositions can be tested in MUB measurements. I will then show that a proposition is undecidable within the system of axioms encoded in the state, if an…
We address the question: Why are dynamical laws governing in quantum mechanics and in neuroscience of probabilistic nature instead of being deterministic? We discuss some ideas showing that the probabilistic option offers advantages over the deterministic one.
A slight modification of one axiom of quantum theory changes a reversible theory into a time asymmetric theory. Whereas the standard Hilbert space axiom does not distinguish mathematically between the space of states (in-states of scattering theory) and the space of observables (out-``states'' of scattering theory) the new axiom associates states and observables to two different Hardy subspaces which are dense in the same Hilbert space and analytic in the lower and upper complex energy plane, respectively. As a consequence of this new axiom the dynamical equations (Schrödinger or Heisenberg) i…
The same set of physically motivated axioms can be used to construct both the classical ensemble Hamilton-Jacobi equation and Schrodingers equation. Crucial roles are played by the assumptions of universality and simplicity (Occam's Razor) which restrict the number and type of of arbitrary constants that appear in the equations of motion. In this approach, non-relativistic quantum theory is seen as the unique single parameter extension of the classical ensemble dynamics. The method is contrasted with other related constructions in the literature and some consequences of relaxing the axioms are…
There is a compelling intellectual case for exploring whether purely unitary quantum theory defines a sensible and scientifically adequate theory, as Everett originally proposed. Many different and incompatible attempts to define a coherent Everettian quantum theory have been made over the past fifty years. However, no known version of the theory (unadorned by extra ad hoc postulates) can account for the appearance of probabilities and explain why the theory it was meant to replace, Copenhagen quantum theory, appears to be confirmed, or more generally why our evolutionary history appears to be…
A Newtonian mechanics model is essentially the model of a point body in an inertial reference frame. How to describe extended bodies in non-inertial (vibrational) reference frames with the random initial conditions? One of the most general description (known as the higher derivatives formalism) consists in taking into account the infinite number of the higher order temporal derivatives of the coordinates in the Lagrange function. Such formalism describes physical objects in the infinite dimensional space does not contradict quantum mechanics and infinite dimensional Hilbert space.
Axiomatic quantum field theory (QFT) provides a rigorous mathematical foundation for QFT, and it is the basis for proving some important general results, such as the well-known spin-statistics theorem. Free-field QFT meets the axioms of axiomatic QFT, showing they are consistent. Nevertheless, even after more than 50 years, there is still no known non-trivial theory of quantum fields with interactions in four-dimensional Minkowski spacetime that meets the same axioms. This paper provides a similar axiomatic basis for parameterized QFT, in which an invariant, fifth path parameter is added to th…
We make a first attempt to axiomatically formulate the Montevideo interpretation of quantum mechanics. In this interpretation environmental decoherence is supplemented with loss of coherence due to the use of realistic clocks to measure time to solve the measurement problem. The resulting formulation is framed entirely in terms of quantum objects without having to invoke the existence of measurable classical quantities like the time in ordinary quantum mechanics. The formulation eliminates any privileged role to the measurement process giving an objective definition of when an event occurs in …
In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that every state can be diagonalized.…
We investigate the dynamics of pairs of Fermions and Bosons released from a box and find that their populations have unique generic properties ensuing from the axioms of quantum statistics and symmetries. These depend neither on the specific equations of wave function propagation, such as Schrödinger, Klein-Gordon, Dirac, nor on the specific potential involved. One surprising finding is that after releasing the pairs, there are always more Boson than Fermion pairs outside the box. Moreover, if the initial wave functions have the same symmetry (odd or even), then there is a higher chance for a …
The Schrodinger equation for non-relativistic quantum systems is derived from some classical physics axioms within an ensemble hamiltonian framework. Such an approach enables one to understand the structure of the equation, in particular its linearity, in intuitive terms. Furthermore it allows for a physically motivated and systematic investigation of potential generalisations which are briefly discussed.
The Jordan algebra structure of the bounded real quantum observables was recognized already in the early days of quantum mechanics. While there are plausible reasons for most parts of this structure, the existence of the distributive nonassociative multiplication operation is hard to justify from a physical or statistical point of view. Considering the non-Boolean extension of classical probabilities, presented in a recent paper, it is shown in this paper that such a multiplication operation can be derived from certain properties of the conditional probabilities and the observables, i.e., from…
The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property lattice of a physical system. In this paper we argue on the basis of the epsilon-model on the Poincare sphere that a notion of 'topologicity' for states can be seen as an alternative (operationally foundable) classicality notion in the absence of an orthocomplementation, and compare it to the known and operationally founded concept of classicality.
The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true equation -- is a crucial question. In the quest of a complete ZX-calculus, supplementarity has been recently proved to be necessary for quantum diagram reasoning (MFCS 2016). Roughly speaking, supplementarity consists in merging two subdiagrams when they are parameterized by antipodal angles. We introduce a generalised supplementarity -- called cyclotomic supplementarity -- which consists in merging n subdiagrams at o…
We introduce an axiomatic approach for characterizing quantum conditional entropy. Our approach relies on two physically motivated axioms: monotonicity under conditional majorization and additivity. We show that these two axioms provide sufficient structure that enable us to derive several key properties applicable to all quantum conditional entropies studied in the literature. Specifically, we prove that any quantum conditional entropy must be negative on certain entangled states and must equal -log(d) on dxd maximally entangled states. We also prove the non-negativity of conditional entropy …
A new axiomatic characterization with a minimum of conditions for entropy as a function on the set of states in quantum mechanics is presented. Traditionally unspoken assumptions are unveiled and replaced by proven consequences of the axioms. First the Boltzmann-Planck formula is derived. Building on this formula, using the Law of Large Numbers - a basic theorem of probability theory - the von Neumann formula is deduced. Axioms used in older theories on the foundations are now derived facts.
Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no further major axiom in quantum physics than those formulated for example in Dirac's `Quantum Mechanics', then a quantum physicist would not be able to tell a torus from a hole in the ground. We argue that there are indeed such axioms involving observables with smooth time evolution: they contain commutative subalgebras from which the spatial slice of spacetim…
