In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism from a set of physically comprehensible assumptions. In this paper, we formulate a correspondence principle, the Average-Value Correspondence Principle, that allows relations between measurement outcomes which are known to hold in a classical model of a system to be systematically taken over into the quantum model of the system. Using this principle, we derive the explicit form of the temporal evolution operator (thereby completing the derivation of the abstract quantum formalism begun in Paper I), and derive many of the formal rules (such as operator rules, commutation relations, and Dirac's Poisson bracket rule) that are needed to apply the abstract quantum formalism to model particular physical systems.
I develop the decision-theoretic approach to quantum probability, originally proposed by David Deutsch, into a mathematically rigorous proof of the Born rule in (Everett-interpreted) quantum mechanics. I sketch the argument informally, then prove it formally, and lastly consider a number of proposed ``counter-examples'' to show exactly which premises of the argument they violate.
To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D.Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D.Deutsch. The idea is to get subjective probabilities from rational decisions related to quantum measurements, showing the non-probabilistic parts of the quantum formalism, plus some rational constraints, ensure the squared modulus of quantum amplitudes play the role of such probabilities. We provide a new presentation of Wallace's proof, reorganized to simplify some arguments, and analyze it from a formal perspect…
In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism within the framework of information geometry. In this paper, we formulate a correspondence principle, the Average-Value Correspondence Principle, that allows relations between measurement results which are known to hold in a classical model of a system to be systematically taken over into the quantum model of the system. Using this principle, we derive the explicit form of the temporal evolution operator (thereby completing the derivation of the abst…
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility…
Feynman's formulation of quantum theory is remarkable in its combination of formal simplicity and computational power. However, as a formulation of the abstract structure of quantum theory, it is incomplete as it does not account for most of the fundamental mathematical structure of the standard von Neumann-Dirac formalism such as the unitary evolution of quantum states. In this paper, we show how to reconstruct the entirety of the finite-dimensional quantum formalism starting from Feynman's rules with the aid of a single new physical postulate, the no-disturbance postulate. This postulate sta…
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…
Conditional probabilities in quantum systems which have both initial and final boundary conditions are commonly evaluated using the Aharonov-Bergmann-Lebowitz rule. In this short note we present a seemingly disturbing paradox that appears when applying the rule to systems with slightly broken degeneracies. In these cases we encounter a singular limit - the probability "jumps" when going from perfect degeneracy to negligibly broken one. We trace the origin of the paradox and solve it from both traditional and modern perspectives in order to highlight the physics behind it: the necessity to take…
A new class of stochastic variables, governed by a specifice set of rules, is introduced. These rules force them to loose some properties usually assumed for this kind of variables. We demonstrate that stochastic processes driven by these random sources must be described using an probability amplitude formalism in a close resemblance to Quantum Theory. This fact shows, for the first time, that probability amplitudes are a general concept and is not exclusive to the formalism of Quantum Theory. Application of these rules to a noisy, one-dimensional motion, leds to a probability structure homomo…
Complex numbers are an intrinsic part of the mathematical formalism of quantum theory, and are perhaps its most mysterious feature. In this paper, we show that the complex nature of the quantum formalism can be derived directly from the assumption that a pair of real numbers is associated with each sequence of measurement outcomes, with the probability of this sequence being a real-valued function of this number pair. By making use of elementary symmetry conditions, and without assuming that these real number pairs have any other algebraic structure, we show that these pairs must be manipulate…
Information-Theoretical restrictions on the information transfer are applied to Quantum Measurements. For the measurement of quantum object S by information system O this restrictions are calculated in Algebraic QM formalism as the inference map to the (sub)algebra of O observables.
Quantification starts with sum and product rules that express combination and partition. These rules rest on elementary symmetries that have wide applicability, which explains why arithmetical adding up and splitting into proportions are ubiquitous. Specifically, measure theory formalises addition, and probability theory formalises inference in terms of proportions. Quantum theory rests on the same simple symmetries, but is formalised in two dimensions, not just one, in order to track an object through its binary interactions with other objects. The symmetries still require sum and product rul…
Information-theoretic derivations of the formalism of quantum theory have recently attracted much attention. We analyze the axioms underlying a few such derivations and propose a conceptual framework in which, by combining several approaches, one can retrieve more of the conventional quantum formalism.
A formalism is developed to obtain the energy eigenvalues of spatially confined quantum mechanical systems in the framework of The usual WKB and MAF methods. The technique is applied to three different cases,viz one dimensional Harmonic Oscillators,Quartic Oscillators and a boxed-in charged particle in electric field.
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 this paper and a companion paper, we attempt to systematically investigate the possibility that the concept of information may enable a derivation of the quantum formalism from a set of physically comprehensible postulates. To do so, we formulate an abstract experimental set-up and a set of assumptions based on generalizations of experimental facts that can be reasonably taken to be representative of quantum phenomena, and on theoretical ideas and principles, and show that it is possible to deduce the quantum formalism. In particular, we show that it is possible to derive the abstract quant…
The quantization rules recently proposed by M. Navarro (and independently I.V. Kanatchikov) for a finite-dimensional formulation of quantum field theory are applied to the Klein-Gordon and the Dirac fields to obtain the quantum equations of motion of both fields. In doing so several problems arise. Solving these difficulties leads us to propose a new classical canonical formalism, which, in turn, leads us to new, improved rules of quantization. We show that the new classical equations of motion and rules of quantization overcome several known unsatisfactory features of the previous formalism. …
Algebra of quantum mechanics via classical phonons. II: Klein-Gordon dynamics, the Heisenberg formalism, the Dirac canonical commutation rule and the Poincare algebra through the continuous Poisson bracket formalism
Two complementary decoherence formalisms, Environment Induced Decoherence (EID) for open systems and Self Induced Decoherence (SID) for close systems are compared under a common General Theoretical Formalism for Decoherence (GTFD). The differences and similarities of EID and SID are studied, e. g. that the main difference is that EID only considers the relevant information of the proper system S and neglects the rest, while SID considers all possible information available from a certain class of measurement instruments and neglects the non available information.
