Excluding the concept of probability in quantum mechanics, we derive Born's law from the remaining postulates in quantum mechanics using type method. We also give a way of determining the unknown parameter in a state vector based on an indirect measurement model. While Deutsch adopt a concept of rational decision-maker who introduces probability, we adopt a concept of statistician in our measurement model and clarifies the distinguished feature of quantum measurement. Like many worlds interpretation, our scenario gives a simple solution for problem of measurement.
Recently, W. H. Zurek presented a novel derivation of the Born rule based on a mechanism termed environment-assisted invariance, or "envariance" [W. H. Zurek, Phys. Rev. Lett. 90(2), 120404 (2003)]. We review this approach and identify fundamental assumptions that have implicitly entered into it, emphasizing issues that any such derivation is likely to face.
The Born rule is derived from operational assumptions, independent of the normalization of the state. Unlike Gleason's theorem, the argument applies even if probabilities are defined for only a single resolution of the identity, so it applies to all the major foundational approaches to quantum mechanics. There are important points of contact with Deutsch's program for deducing the probabilistic interpretation of quantum mechanics from decision thoery, as recently completed by Wallace. Decision theory can be used to supplement the present derivation, in application to the Everett interpretation…
We present a derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. Combined to Gleason's theorem, this approach naturally leads to the usual quantum formalism, within a new conceptual framework that is discussed heuristically in details. The structure of Quantum Mechanics, from its probabilistic nature to its mathematical expression, 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…
Zurek's derivation of Born's rule using envariance (invariance due to entanglement) is considered to capture the probability in full generality, but only as applied to measurement of a quantum observable. Contrariwise, textbook formulations of Born's rule begin with a pure state of a closed, undivided system. The task of this study is to show that a rearrangement of the Zurek approach is possible in which the latter is viewed as giving the probabilities for Schmidt states of an arbitrary composite state vector, and afterwards it is extended to probabilities in a closed, undivided system. This …
The derivation of the Born rule by Zurek uses a "splitting procedure" where a physical state is subdivided into a number of states. It is argued that in quantum field theory, which encompasses quantum mechanics, such a procedure would in general modify the physics.
We clarify the role of the Born rule in the Copenhagen Interpretation of quantum mechanics by deriving it from Bohr's doctrine of classical concepts, translated into the following mathematical statement: a quantum system described by a noncommutative C*-algebra of observables is empirically accessible only through associated commutative C*-algebras. The Born probabilities emerge as the relative frequencies of outcomes in long runs of measurements on a quantum system; it is not necessary to adopt the frequency interpretation of single-case probabilities (which will be the subject of a sequel pa…
Zurek's derivation of the Born rule from envariance (environment-assisted invariance) is tightened up, somewhat generalized, and extended to encompass all possibilities. By this, besides Zurek's most important work, also the works of 5 other commentators of the derivation are taken into account, and selected excerpts commented upon. All this is done after a detailed theory of twin unitaries, which are the other face of envariance.
It was repeatedly underlined in literature that quantum mechanics cannot be considered a closed theory if the Born Rule is postulated rather than derived from the first principles. In this work the Born Rule is derived from the time-reversal symmetry of quantum equations of motion. The derivation is based on a simple functional equation that takes into account properties of probability, as well as the linearity and time-reversal symmetry of quantum equations of motion. The derivation presented in this work also allows to determine certain limits to applicability of the Born Rule.
The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the "measurement problem" of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a s…
The Born rule for probabilities of measurement results is deduced from the set of five assumptions. The assumptions state that: (a) the state vector fully determines the probabilities of all measurement results; (b) between measurements, any quantum system is governed by that part of standard quantum mechanics, which does not refer to measurements; (c) probabilities of measurement results obey the rules of the classical theory of probability; (d) no information transfer is possible without interaction; (e) if two spin-1/2 particles are in the entangled state (sqrt(1-λ)|up>|up> + sqrt(λ)|down>|…
In the present paper we propose a new axiomatic system of algebraic and statistical axioms as working hypotheses, from which Born rule can be seen to emerge. In this process the concept of sectors defined as quasi-equivalence classes of factor states plays a crucial role.
In this article we discuss few new derivations of the so called Born's rule for quantum probability in the context of the pilot wave theory proposed by de Broglie in 1927.
The Born rule, a foundational axiom used to deduce probabilities of events from wavefunctions, is indispensable in the everyday practice of quantum physics. It is also key in the quest to reconcile the ostensibly inconsistent laws of the quantum and classical realms, as it confers physical significance to reduced density matrices, the essential tools of decoherence theory. Following Bohr's Copenhagen interpretation, textbooks postulate the Born rule outright. However, recent attempts to derive it from other quantum principles have been successful, holding promise for simplifying and clarifying…
Recently a new formulation of quantum mechanics has been suggested which is based on the concept of signed particles, that is, classical objects provided with a position, a momentum and a sign simultaneously. In this paper, we comment on the plausibility of simulating atomic systems beyond the Born-Oppenheimer approximation by means of the signed particle formulation of quantum mechanics. First, in order to show the new perspective offered by this new formalism, we provide an example studying quantum tunnelling through a simple Gaussian barrier in terms of the signed particle formulation. Then…
I argue that various derivations of the Born probability rule within strictly unitary quantum mechanics implicitly use anthropic constraints on the properties of the probabilities, but without proposing an ensemble from which those constraints limit a selection. An argument by Mallah obtains the Born probabilities explicitly for standard unitary dynamics but via postulating a hypothetical extra noise-like component of the quantum state. I argue that the implicit anthropic constraints required for well-behaved probability rules would select for a state of the sort Mallah proposes.
A concise review of the derivation of the Born rule and Schrödinger equation from first principles is provided. The starting point is a formalization of fundamental notions of measurement and composition, leading to a general framework for physical theories known as the positive formalism. Consecutively adding notions of spacetime, locality, absolute time and causality recovers the well established convex operational framework for classical and quantum theory. Requiring the partially ordered vector space of states to be an anti-lattice one obtains quantum theory in its standard formulation. Th…
During the last ten years or so, derivations of the Born rule based on decision theory have been proposed and developed, and it is claimed that these are valid in the context of the Everett interpretation. This claim is critically assessed and it is shown that one of its key assumptions, although natural in the context of the Copenhagen interpretation, is not consistent with that of Everett. It is further argued that any interpretation that relates outcome likelihood to the expansion coefficients connecting the wavefunction with the eigenfunctions of the measurement operator must be inconsiste…
Emergence of the classical world from the quantum substrate of our Universe is a long-standing conundrum. I describe three insights into the transition from quantum to classical that are based on the recognition of the role of the environment. I begin with derivation of preferred sets of states that help define what exists - our everyday classical reality. They emerge as a result of breaking of the unitary symmetry of the Hilbert space which happens when the unitarity of quantum evolutions encounters nonlinearities inherent in the process of amplification - of replicating information. This der…
We present a path-integral formulation of 't Hooft's derivation of quantum from classical physics. The crucial ingredient of this formulation is Gozzi et al.'s supersymmetric path integral of classical mechanics. We quantize explicitly two simple classical systems: the planar mathematical pendulum and the Roessler dynamical system.
Considerable effort has been devoted to deriving the Born rule (e.g. that $|ψ(x)|^2 dx$ is the probability of finding a system, described by $ψ$, between $x$ and $x + dx$) in quantum mechanics. Here we show that the Born rule is not solely quantum mechanical; rather, it arises naturally in the Hilbert space formulation of {\it classical} mechanics as well. These results provide new insights into the nature of the Born rule, and impact on its understanding in the framework of quantum mechanics.
The notion of state vector is, in quantum mechanics, as central as it is problematic, as illustrates the wealth of publications about the sub- jects, including in particular the many attempts to obtain an acceptable interpretation of quantum mechanics. In this article, we propose a different approach, and initiate the study of a formulation of quantum mechanics, where the notion of state is entirely replaced by assertions about measurement outcomes. We define a notion of "verification" which represents the knowledge that one may have about the possible outcomes of the measurements performed on…
The possibility to recover the which-way information, for example in the two slit experiment, is based on a natural but implicit assumption about the position of a particle {\it before} a position measurement is performed on it. This assumption cannot be deduced from the standard postulates of quantum mechanics. In the present paper this assumption is made explicit and formally postulated as a new rule, the {\it quantum typicality rule}. This rule correlates the positions of the particles at two different times, thus defining their trajectories. Unexpectedly, this rule is also equivalent to th…
We propose a quadratic unconstrained binary optimization (QUBO) formulation of the l1-norm, which enables us to perform sparse estimation of Ising-type annealing methods such as quantum annealing. The QUBO formulation is derived using the Legendre transformation and the Wolfe theorem, which have recently been employed to derive the QUBO formulations of ReLU-type functions. It is shown that a simple application of the derivation method to the l1-norm case results in a redundant variable. Finally a simplified QUBO formulation is obtained by removing the redundant variable.
The probabilistic rule that links the formalism of Quantum Mechanics (QM) to the real world was stated by Born in 1926. Since then, there were many attempts to derive the Born postulate as a theorem, Gleason's being the most prominent. The Gleason derivation, however, is generally considered rather intricate and its physical meaning, in particular in relation with the noncontextuality of probability (NP), is not quite evident. More recently, we are witnessing a revival of interest in possible demonstrations of the Born rule, like Zurek's and Deutsch's based on the decoherence and on the theory…
Emphasizing the physical constraints on the formulation of a quantum theory based on the standard measurement axiom and the Schroedinger equation, we comment on some conceptual issues arising in the formulation of PT-symmetric quantum mechanics. In particular, we elaborate on the requirements of the boundedness of the metric operator and the diagonalizability of the Hamiltonian. We also provide an accessible account of a Krein-space derivation of the CPT-inner product that was widely known to mathematicians since 1950's. We show how this derivation is linked with the pseudo-Hermitian formulati…
We systematically derive a linear quantum collision operator for the spinorial Wigner transport equation from the dynamics of a composite quantum system. For suitable two particle interaction potentials, the particular matrix form of the collision operator describes spin decoherence or even spin depolarization as well as relaxation towards a certain momentum distribution in the long time limit. It is demonstrated that in the semiclassical limit the spinorial Wigner equation gives rise to several semiclassical spin-transport models. As an example, we derive the Bloch equations as well as the sp…
In previous articles we presented a simple set of axioms named Contexts, Systems and Modalities (CSM), where 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. In the present article we discuss further how to obtain (or rather infer) Born's rule within this framework. Our approach is compared with other former and recent derivations, and its strong links with Gleason's theorem are particularly emphasized.
We present a unified derivation of Bohmian methods that serves as a common starting point for the derivative propagation method (DPM), Bohmian mechanics with complex action (BOMCA) and the zero-velocity complex action method (ZEVCA). The unified derivation begins with the ansatz $ψ=e^{\frac{iS}{\hbar}}$ where the action, $S$, is taken to be complex and the quantum force is obtained by writing a hierarchy of equations of motion for the phase partial derivatives. We demonstrate how different choices of the trajectory velocity field yield different formulations such as DPM, BOMCA and ZEVCA. The n…
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…
We study Barut's covariant equations describing the electromagnetic interactions between N spin-1/2 particles. In the covariant formulation each particle is described by a Dirac spinor. It is assumed that the interactions between the particles are not mediated by a bosonic field (direct interactions). Within this formulation, using the Lagrangian formalism, we derive the approximate (semirelativistic) Breit equation for two interacting spin-1/2 particles.
We present a derivation of the Lindblad equation - an important tool for the treatment of non-unitary evolutions - that is accessible to undergraduate students in physics or mathematics with a basic background on quantum mechanics. We consider a specific case, corresponding to a very simple situation, where a primary system interacts with a bath of harmonic oscillators at zero temperature, with an interaction Hamiltonian that resembles the Jaynes-Cummings format. We start with the Born-Markov equation and, tracing out the bath degrees of freedom, we obtain an equation in the Lindblad form. The…
It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.
In a previous article [H. Bergeron, J. Math. Phys. 42, 3983 (2001)], we presented a method to obtain a continuous transition from classical to quantum mechanics starting from the usual phase space formulation of classical mechanics. This procedure was based on a Koopman-von Neumann approach where classical equations are reformulated into a quantumlike form. In this article, we develop a different derivation of quantum equations, based on purely classical stochastic arguments, taking some elements from the Bohm-Fenyes-Nelson approach. This study starts from a remark noticed by different authors…
I show how probabilities arise in quantum physics by exploring implications of {\it environment - assisted invariance} or {\it envariance}, a recently discovered symmetry exhibited by entangled quantum systems. Envariance of perfectly entangled ``Bell-like'' states can be used to rigorously justify complete ignorance of the observer about the outcome of any measurement on either of the members of the entangled pair. For more general states, envariance leads to Born's rule, $p_k \propto |ψ_k|^2$ for the outcomes associated with Schmidt states. Probabilities derived in this manner are an objecti…
We provide a derivation of the Born Rule in the context of the Everett (Many-Worlds) approach to quantum mechanics. Our argument is based on the idea of self-locating uncertainty: in the period between the wave function branching via decoherence and an observer registering the outcome of the measurement, that observer can know the state of the universe precisely without knowing which branch they are on. We show that there is a uniquely rational way to apportion credence in such cases, which leads directly to the Born Rule. Our analysis generalizes straightforwardly to cases of combined classic…
In a previous article [1] we presented an argument to obtain (or rather infer) Born's rule, based on a simple set of axioms named "Contexts, Systems and Modalities" (CSM). In this approach there is no "emergence", but the structure of quantum mechanics can be attributed to an interplay between the quantized number of modalities that are accessible to a quantum system, and the continuum of contexts that are required to define these modalities. The strong link of this derivation with Gleason's theorem was emphasized, with the argument that CSM provides a physical justification for Gleason's hypo…
It is shown that the geometry of quantum theory can be derived from geometrical structure that may be considered more fundamental. The basic elements of this reconstruction of quantum theory are the natural metric on the space of probabilities (information geometry), the description of dynamics using a Hamiltonian formalism (symplectic geometry), and requirements of consistency (Kähler geometry). The theory that results is standard quantum mechanics, but in a geometrical formulation that includes also a particular case of a family of nonlinear gauge transformations introduced by Doebner and Go…
A Quantum Computing Implementation of Nuclear-Electronic Orbital (NEO) Theory: Towards an Exact pre-Born-Oppenheimer Formulation of Molecular Quantum Systems
This work identifies geometric effects on dynamics due to nonadiabatic couplings in Born Oppenheimer systems and provides a systematic method for deriving corrections to mixed quantum-classical methods. Specifically, an exact path integral formulation of the quantum nonadiabatic dynamics of Born Oppenheimer systems is described. Stationary phase approximations to the propagator for full quantum dynamics are derived. It is shown that quantum corrections to mixed quantum classical methods can be obtained through stationary phase approximations to the full quantum dynamics. A rigorous description…
We give a pedagogical introduction to time-independent scattering theory in one dimension focusing on the basic properties and recent applications of transfer matrices. In particular, we begin surveying some basic notions of potential scattering such as transfer matrix and its analyticity, multi-delta-function and locally periodic potentials, Jost solutions, spectral singularities and their time-reversal, and unidirectional reflectionlessness and invisibility. We then offer a simple derivation of the Lippmann-Schwinger equation and Born series, and discuss the Born approximation. Next, we outl…
There are several formulations of the second law, and they may, in principle, have different domains of validity. Here a simple mathematical theorem is proven which serves as the most general basis for the second law, namely the Thomson formulation (`cyclic changes cost energy'), applied to equilibrium. This formulation of the second law is a property akin to particle conservation (normalization of the wavefunction). It has been stricktly proven for a canonical ensemble, and made plausible for a micro-canonical ensemble. As the derivation does not assume time-inversion-invariance, it is applic…
