This paper identifies and fixes two gaps in the axiomatics of modern quantum mechanics. The first arises from the unjustified application of the superposition principle in modern quantum scattering theory. The second arises from the incompleteness of the Born interpretation of the wave function.
In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics. The key results in this derivation are the co-ordinatization of generalized geometries and a theorem of Solér which characterizes Hilbert spaces among the orthomodular spaces. A generalized Wigner theorem is applied to reduce some of the assumptions of the theorem of Solér to the theory of symmetry in quantum mechanics. Since this reduction is only partial we also point out the r…
A non-relativistic quantum mechanical theory is proposed that combines elements of Bohmian mechanics and of Everett's "many-worlds" interpretation. The resulting theory has the advantage of resolving known issues of both theories, as well as those of standard quantum mechanics. It has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Most importantly, the Born rule can be derived by straightforward application of the Laplacian rule, without reliance on a "quantum equilibrium hypothesis" that is crucial for Bohmia…
In a recent paper, Nagata [1] claims to derive inconsistencies from quantum mechanics. In this paper, we show that the inconsistencies do not come from quantum mechanics, but from extra assumptions about the reality of observables.
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 …
Authoritative appraisals qualified this book as an axiomatic theory. However, being its essential content no more than an analogy, its theoretical organization cannot be an axiomatic one. In fact, in the first edition Dirac declares to avoid an axiomatic presentation. Moreover, I show that the text is aimed at solving a basic problem: How quantum mechanics is similar to classical mechanics. A previous paper analyzed all past theories of physics, chemistry and mathematics, presented by the respective authors in a non-axiomatic way. Four characteristic features of a new model of organizing a the…
We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite system. This class of theories, called sharp theories with purification, includes quantum theory both with complex and real amplitudes, as well as a suitable extension of classical probability theory…
Quantum information theorists have created axiomatic reconstructions of quantum mechanics (QM) that are very successful at identifying precisely what distinguishes quantum probability theory from classical and more general probability theories in terms of information-theoretic principles. Herein, we show how one such principle, Information Invariance & Continuity, at the foundation of those axiomatic reconstructions maps to "no preferred reference frame" (NPRF, aka "the relativity principle") as it pertains to the invariant measurement of Planck's constant h for Stern-Gerlach (SG) spin measure…
Since its inception, many physicists have seen in quantum mechanics the possibility, if not the necessity, of bringing cognitive aspects into the play, which were instead absent, or unnoticed, in the previous classical theories. In this article, we outline the path that led us to support the hypothesis that our physical reality is fundamentally conceptual-like and cognitivistic-like. However, contrary to the 'abstract ego hypothesis' introduced by John von Neumann and further explored, in more recent times, by Henry Stapp, our approach does not rely on the measurement problem as expressing a p…
Where does quantum mechanics part ways with classical mechanics? How does quantum randomness differ fundamentally from classical randomness? We cannot fully explain how the theories differ until we can derive them within a single axiomatic framework, allowing an unambiguous account of how one theory is the limit of the other. Here we derive nonrelativistic quantum mechanics and classical statistical mechanics within a common framework. The common axioms include conservation of average energy and conservation of probability current. But two axioms distinguish quantum mechanics from classical st…
Time of arrival in quantum mechanics is discussed in two versions: the classical axiomatic "time of arrival operator" introduced by J. Kijowski and the EEQT method. It is suggested that for free particles the two methods may lead to the same result. On the other hand the EEQT method can be easily geometrized within the framework of Galilei-Newton general relativistic quantum mechanics developed by M. Modugno and collaborators, and it can be applied to non-free evolutions. The way of geometrization of irreversible quantum dynamics based on dissipative Liouville equation is suggested.
We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.
This paper reviews the structure of standard quantum mechanics, introducing the basics of the von Neumann-Dirac axiomatic formulation as well as the well-known Copenhagen interpretation. We review also the major conceptual difficulties arising from this theory, first and foremost, the well-known measurement problem. The main aim of this essay is to show the possibility to solve the conundrums affecting quantum mechanics via the methodology provided by the primitive ontology approach. Using Bohmian mechanics as an example, the paper argues for a realist attitude towards quantum theory. In the s…
Proofs of the security of quantum key distribution are propositions about models written in the mathematical language of quantum mechanics, and the issue is the linking of such models to actual devices in an experiment on security. To explore this issue, we adapt Wittgenstein's method of language games to view quantum language in its application to experimental activity involving transmitting and receiving devices. We sketch concepts with which to think about models in relation to experiments, without assuming the experiments accord with any model included is a concept of one quantum-mechanica…
The ability to calculate precise likelihood ratios is fundamental to many STEM areas, such as decision-making theory, biomedical science, and engineering. However, there is no assumption-free statistical methodology to achieve this. For instance, in the absence of data relating to covariate overlap, the widely used Bayes' theorem either defaults to the marginal probability driven "naive Bayes' classifier", or requires the use of compensatory expectation-maximization techniques. Equally, the use of alternative statistical approaches, such as multivariate logistic regression, may be confounded b…
The present thesis shows that Quantum Information concepts can be used to better understand the quantum-to-classical boundary in mesoscopic and macroscopic systems. Our findings suggest a way to push this boundary towards the macroscopic domain by coupling a moveable mirror to a confined quasi-classical electromagnetic field (Chapters 2 and 3), and opens new possibilities towards quantum computation and information processing with strongly-correlated systems at realistic temperatures by demonstrating the opening of robust gaps in 2D antiferromagnetic lattices due to the presence of additional …
The aim of this paper is to explore the ways in which Axiomatic Reconstructions of Quantum Theory in terms of Information-Theoretic principles (ARQITs) can contribute to explaining and understanding quantum phenomena, as well as to study their explanatory limitations. This is achieved in part by offering an account of the kind of explanation that axiomatic reconstructions of quantum theory provide, and re-evaluating the epistemic status of the program in light of this explanation. As illustrative cases studies, I take Clifton's, Bub's and Halvorson's characterization theorem and Popescu's and …
Probabilities enter quantum mechanics via Born's rule, the uniqueness of which was proven by Gleason. Busch subsequently relaxed the assumptions of this proof, expanding its domain of applicability in the process. Extending this work to sequential measurement processes is the aim of this paper. Given only a simple set of postulates, a probability measure is derived utilising the concept of Liouville space and the most general permissible quantum channel arises in the same manner. Super-Liouville space is constructed and a Bayesian interpretation of this object is provided. An important applica…
The brief works of Peierls on the role of the observer in quantum mechanics are examined, interpreted and expanded to widen accessibility and understanding of these works. The approach followed here is very much in the spirit adopted by Peierls who eschewed a `rigorous axiomatic' and aimed at using `logic at the level of the working physicist'. The fundamental tenet of his work is that the wavefunction or density matrix represents the knowledge of an observer and that two observers of the same system may well have different knowledge and will use different density matrices to describe it. Esse…
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols. We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum infor…
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by both classical and quantum theory. We then discuss the axiom of purification, which expresses a strong version of the Conservation of Information and captures the core of a vast number of protocols i…
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.
Recent results obtained in quantum measurements indicate that the fundamental relations between three physical properties of a system can be represented by complex conditional probabilities. Here, it is shown that these relations provide a fully deterministic and universally valid framework on which all of quantum mechanics can be based. Specifically, quantum mechanics can be derived by combining the rules of Bayesian probability theory with only a single additional law that explains the phases of complex probabilities. This law, which I introduce here as the law of quantum ergodicity, is base…
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 paper develop the alternative formulation of quantum mechanics known as the phase space quantum mechanics or deformation quantization. It is shown that the quantization naturally arises as an appropriate deformation of the classical Hamiltonian mechanics. More precisely, the deformation of the point-wise product of observables to an appropriate noncommutative $\star$-product and the deformation of the Poisson bracket to an appropriate Lie bracket is the key element in introducing the quantization of classical Hamiltonian systems. The considered class of deformations and the corresponding $…
