We describe a system of axioms that, on one hand, is sufficient for constructing the standard mathematical formalism of quantum mechanics and, on the other hand, is necessary from the phenomenological standpoint. In the proposed scheme, the Hilbert space and linear operators are only secondary structures of the theory, while the primary structures are the elements of a noncommutative algebra (observables) and the functionals on this algebra, associated with the results of a single observation.
The tensor product postulate of quantum mechanics states that the Hilbert space of a composite system is the tensor product of the components' Hilbert spaces. All current formalizations of quantum mechanics that do not contain this postulate contain some equivalent postulate or assumption (sometimes hidden). Here we give a natural definition of composite system as a set containing the component systems and show how one can logically derive the tensor product rule from the state postulate and from the measurement postulate. In other words, our paper reduces by one the number of postulates neces…
We consider the two main theorems in the derivation of the Quantum Hamilton--Jacobi Equation from the Equivalence Postulate (EP) of quantum mechanics. The first one concerns a basic cocycle condition, which holds in any dimension with Euclidean or Minkowski metrics and implies a global conformal symmetry underlying the Quantum Hamilton--Jacobi Equation. In one dimension such a condition fixes the Schwarzian equation. The second theorem concerns energy quantization which follows rigorously from consistency of the equivalence postulate.
We argue that quantum mechanics makes sense without such controversial postulates as the wave function collapse, the quantum probability rule and the observable postulate. We only need the existence of a wave function as a representation of a state, its dynamical evolution rule and another rather trivial postulate proposed here (Read-Off Postulate). The wave function collapse and the probability rule are replaced with intrinsic properties of the theory, i.e. decoherence and relative frequency, respectively. Interpretation of the wave function as a faithful representation of the reality natural…
Everett's Relative State Interpretation (aka Many Worlds Interpretation) has gained increasing interest due to the progress understanding the role of decoherence. In order to fulfill its promise as an intellectually economic realistic description of the physical world, two postulates are formulated. In short they are 1) for a system with continuous coordinates $\mathbf x$, discrete variable $j$, and state $ψ_j(\mathbf x)$, the density $ρ_j(x)=|ψ_j(x)|^2$ gives the distribution of the location of the system with the respect to the variables $x$ and $j$; 2) an equation of motion for the state $i…
Simulations of the observed transition rate (decay rate) versus time for excited-state decay in Everett's relative-state formulation of quantum mechanics and DeWitt-like extension of Everett's formulation are described. It is shown that Everett's formalism is not general enough to describe excited-state decay, and that tritium lifetime measurements rule out all plausible DeWitt-like extensions. Furthermore, comparison of lifetime measurements and first-principles calculations of excited electronic states of simple atoms limit Everett-like extensions to a small effect for these atoms.
We analyse the wave function collapse as seem by two distinct observers (with identical detectors) in relative motion. Imposing that the measurement process demands information transfer from the system to the detectors, we note that although different observers will acquire different amount of information from their measurements due to correlations between spin and momentum variables, all of them will agree about the orthogonality of the outcomes, as defined by their own reference frame. So, in this sense, such a quantum mechanical postulate is observer invariant, however the effective efficie…
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to p…
To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to b…
Proposed derivations of the Born rule for Everettian theory are controversial. I argue that they are unnecessary but may provide justification for a simplified version of the Principal Principle. It's also unnecessary to replace Everett's idea that a subject splits in measurement contexts with the idea that subjects have linear histories which partition: Deutsch 1985, 2011; Saunders and Wallace 2008; Saunders 2010; Wallace 2012, Chapter 7; Wilson 2013, forthcoming. Linear histories were introduced to provide a concept of pre-measurement uncertainty and I explain why pre-measurement uncertainty…
In the mid-19th century, both the laws of mechanics and thermodynamics were known, and both appeared fundamental. This was changed by Boltzmann and Gibbs, who showed that thermodynamics can be *derived*, by applying mechanics to very large systems, and making simple statistical assumptions about their behavior. Similarly, when Quantum Mechanics (QM) was first discovered, it appeared to require two sets of postulates: one about the deterministic evolution of wavefunctions, and another about the probabilistic measurement process. Here again, the latter is derivable from the former: by applying u…
What is called "orthodox" quantum mechanics, as presented in standard foundational discussions, relies on two substantive assumptions --- the projection postulate and the eigenvalue-eigenvector link --- that do not in fact play any part in practical applications of quantum mechanics. I argue for this conclusion on a number of grounds, but primarily on the grounds that the projection postulate fails correctly to account for repeated, continuous and unsharp measurements (all of which are standard in contemporary physics) and that the eigenvalue-eigenvector link implies that virtually all interes…
In Ref. [1] one of the authors proposed postulates for axiomatizing Quantum Mechanics as a "fair operational framework", namely regarding the theory as a set of rules that allow the experimenter to predict future events on the basis of suitable tests, having local control and low experimental complexity. In addition to causality, the following postulates have been considered: PFAITH (existence of a pure preparationally faithful state), and FAITHE (existence of a faithful effect). These postulates have exhibited an unexpected theoretical power, excluding all known nonquantum probabilistic theor…
J. v. Neumann justified the collapse postulate by the empirical fact of the repeatability of a measurement at a single quantum system. However, in his quantum mechanical treatment of the measurement process repeatability emerges without collapse. The entangled state of the measurement device and the measured system after their interaction ensures it already. Furthermore, this state gives the same predictions for the measured system alone as the description demanded by the collapse postulate.
Relational quantum mechanics (RQM) is an interpretation of quantum mechanics based on the idea that quantum states describe not an absolute property of a system but rather a relationship between systems. In this article, we observe that there is a tension between RQM's naturalistic emphasis on the physicality of information and the inaccessibility of certain sorts of information in current formulations of RQM. Therefore we propose a new postulate for RQM which requires that all of the information possessed by a certain observer is stored in physical variables of that observer and thus accessib…
Symmetries are widely used in modeling quantum systems but they do not contribute in postulates of quantum mechanics. Here we argue that logical, mathematical, and observational evidence require that symmetry should be considered as a fundamental concept in the construction of physical systems. Based on this idea, we propose a series of postulates for describing quantum systems, and establish their relation and correspondence with axioms of standard quantum mechanics. Through some examples we show that this reformulation helps better understand some of ambiguities of standard description. None…
The Born postulate can be reduced to its deterministic content that only applies to eigenvectors of observables: the standard probabilistic interpretation of generic states then follows from algebraic properties of repeated measurements and states. Extending this reasoning suggests an interpretation of quantum mechanics generalized with indefinite quantum norm.
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 …
Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from two main postulates (i) the theory should be logically consistent; (ii) inferences in the theory should be computable in polynomial time. The first postulate is what we require to each well-founded mathematical theory. The computation postulate defines the physical component of the theory. We show that the computation postulate is the only true divide betwee…
We present a mathematical formalism of non-Hermitian quantum mechanics, following the Dirac-von Neumann formalism of quantum mechanics. In this formalism, the state postulate is the same as in the Dirac-von Neumann formalism, but the observable postulate should be changed to include para-Hermitian operators (spectral operators of scalar type with real spectrum) representing observable, as such both the measurement postulate and the evolution postulate must be modified accordingly. This is based on a Stone type theorem as proved here that the dynamics of non-Hermitian quantum systems is governe…
Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two main postulates: 1. the theory should be logically consistent; 2. inferences in the theory should be computable in polynomial time. The first postulate is what we require to each well-founded mathematical theory. The computation postulate defines the physical component of the theory. We show that the computation postulate is the only true divide between QT, see…
In a previous paper, we obtained the functional form of quantum potential by a quasi-Newtonian approach and without appealing to the wave function. We also described briefly the characteristics of this approach to the Bohmian mechanics. In this article, we consider the quantization problem and we show that the 'eigenvalue postulate' is a natural consequence of continuity condition and there is no need for postulating that the spectrum of energy and angular momentum are eigenvalues of their relevant operators. In other words, the Bohmian mechanics predicts the 'eigenvalue postulate'.
Quantum mechanics is an extremely successful theory of nature and yet it lacks an intuitive axiomatization. In contrast, the special theory of relativity is well understood and is rooted into natural or experimentally justified postulates. Here we introduce an axiomatization approach to quantum mechanics which is very similar to special theory of relativity derivation. The core idea is that a composed system obeys the same laws of nature as its components. This leads to a Jordan-Lie algebraic formulation of quantum mechanics. The starting assumptions are minimal: the laws of nature are invaria…
Starting with a consideration of the implication of Bell inequalities in quantum mechanics, a new quantum postulate is suggested in order to restore classical locality and causality to quantum physics: only the relative coordinates between detected quantum events are valid observables. This postulate supports the EPR view that quantum mechanics is incomplete, while also staying compatible to the Bohr view that nothing exists beyond the quantum. The new postulate follows from a more general principle of quantum relativity, which states that only correlations between experimental detections of q…
