Use of Mathematical Logical Concepts in Quantum Mechanics: An Example
Paul Benioff
备注：
18 pages, 1 figure, extensively revised and expanded; includes work on the basis dependence of validity and on the relation between meaning and algorithmic complexity
发表信息：
J. Phys. A: Math. Gen. Vol 35, pp. 5843-5857, 2002.
The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has meaning. A simple example of such a system, based on an example described by Smullyan, is studied here. Based on a path interpretation for some word states, definitions of truth, validity, consistency and completeness are given and their properties studied. It is also shown that the relation between the meaning, if any, of word states and the algorithmic complexity of the process generating the states must be quite complex or nonexistent.
Logical inference leads to one of the major interpretations of probability theory called logical interpretation, in which the probability is seen as a measure of the plausibility of a logical statement under incomplete information. In this paper, assuming that our usual inference procedure makes sense for every set of logical propositions represented in terms of commuting projectors on a given Hilbert space, we extend the logical interpretation to quantum mechanics and derive the Born rule. Our result implies that, from the epistemological viewpoints, we can regard quantum mechanics as a natur…
The logical inference approach to quantum theory, proposed earlier [Ann. Phys. 347 (2014) 45-73], is considered in a relativistic setting. It is shown that the Klein-Gordon equation for a massive, charged, and spinless particle derives from the combination of the requirements that the space-time data collected by probing the particle is obtained from the most robust experiment and that on average, the classical relativistic equation of motion of a particle holds.
I show that the application of the quantum-mechanical (QM) which-way weak measurement scheme of Vaidman may lead to logical inconsistencies. To this end, I study weak values of projection operators. Weak values are (normalized) amplitudes, operationally defined by a weak measurement followed by postselection. Projector weak values have a direct physical significance. This allows formulating an inconsistency in classical terms, viz., the contradiction in the readings of several measuring devices. To arrive at the contradiction, I also invoke the property of weak measurements not to collapse the…
The most peculiar, specifically quantum, features of quantum mechanics --- quantum nonlocality, indeterminism, interference of probabilities, quantization, wave function collapse during measurement --- are explained on a logical-geometrical basis. It is shown that truths of logical statements about numerical values of quantum observables are quantum observables themselves and are represented in quantum mechanics by density matrices of pure states. Structurally, quantum mechanics is a result of applying non-Abelian symmetries to truth operators and their eigenvectors --- wave functions. Wave fu…
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it…
In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on a reasonable interpretation of quantum basic entities. I close the paper with a suggestio…
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…
According to an argument proposed by Stapp, Quantum Mechanics violates the Locality Principle if the two hypotheses of {\sl Free Choices} and {\sl No backward-in-time influence} are assumed to hold, without the need of introducing hidden variables or criteria of reality. We develop an approach that endows the new hypotheses with a logico-mathematical formulation which allow us to perform an analysis of Stapp's argument, based on ordinary, not counterfactual, logic. According to our results, the analyzed argument is not able to conclude that Quantum Mechanics violates the Locality Principle.
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties of such operators are justified on epistemological grounds. Commutation of measurements is a central topic of interest. Classical logical systems may be viewed as measurement algebras in which all measurements commute. Keywords: Quantum measurements, Measurement algebras, Quantum Logic. PACS: 02.10.-v.
Continuous-variable (CV) systems are attracting increasing attention in the realization of universal quantum computation. Several recent experiments have shown the feasibility of using CV systems to, e.g., encode a qubit into a trapped-ion mechanical oscillator and perform logic gates [Nature 566, 513-517 (2019)]. The essential next step is to protect the encoded qubit from quantum decoherence, e.g., the motional decoherence due to the interaction between a mechanical oscillator and its environment. Here we propose a scheme to suppress quantum decoherence of a single-mode harmonic oscillator u…
In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first present, based on the work of Abramsky and Brandenburger, how sheaves, defined over certain posets of physically meaningful contexts, give a natural setting for capturing and analysing important quantum mechanical phenomena, such as quantum non-locality and contextuality. We also describe how this setting naturally leads to a three level hierarchy of quantum c…
The conformability of angular observales (angular momentum and azimuthal angle) with the mathematical rules of quantum mechanics is a question which still rouses debates. It is valued negatively within the existing approaches which are restricted by two amendable presumptions. If the respective presumptions are removed one can obtain a general approach in which the mentioned question is valued positively.
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures of classical and quantum mechanics? In this essay we answer this q…
The concept of Logical Entropy, $S_L = 1- \sum_{i=1}^n p_i^2$, where the $p_i$ are normalized probabilities, was introduced by David Ellerman in a series of recent papers. Although the mathematical formula itself is not new, Ellerman provided a sound probabilistic interpretation of $S_L$ as a measure of the distinctions of a partition on a given set. The same formula comes across as a useful definition of entropy in quantum mechanics, where it is linked to the notion of purity of a quantum state. The quadratic form of the logical entropy lends itself to a generalization of the probabilities th…
Various reconstructions of finite-dimensional quantum mechanics result in a formally real Jordan algebra A and a last step remains to conclude that A is the self-adjoint part of a C*-algebra. Using a quantum logical setting, it is shown that this can be achieved by postulating that there is a locally tomographic model for a composite system consisting of two copies of the same system. Local tomography is a feature of classical probability theory and quantum mechanics; it means that state tomography for a multipartite system can be performed by simultaneous measurements in all subsystems. The q…
Several concrete examples in quantum information are discussed to demonstrate the importance of proper modeling that relates the mathematical description to real-world applications. In particular, it is shown that some commonly accepted conclusions are not adequately supported by their purported justifications in the logical manner required.
The mathematical formulation of Quantum Mechanics is derived from purely operational axioms based on a general definition of "experiment" as a set of transformations. The main ingredient of the mathematical construction is the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus. Such notion is at the basis of the operational definitions of the scalar product and of the "adjoint" of a transformation.
Probabilistic description of results of measurements and its consequences for understanding quantum mechanics are discussed. It is shown that the basic mathematical structure of quantum mechanics like the probability amplitudes, Born rule, commutation and uncertainty relations, probability density current, momentum operator, rules for including the scalar and vector potentials and antiparticles can be obtained from the probabilistic description of results of measurement of the space coordinates and time. Equations of motion of quantum mechanics, the Klein-Gordon equation, Schrodinger equation …
The Schroedinger equation with the nonlinear term is derived by the natural generalization of the hydrodynamical model of quantum mechanics. The nonlinear term appears to be logically necessary because it enables explanation of the classical limit of the wave function, the collaps of the wave function and solves the Schroedinger cat paradox.
In this work a generalization of the consistent histories approach to quantum mechanics is presented. We first critically review the consistent histories approach to nonrelativistic quantum mechanics in a mathematically rigorous way and give some general comments about it. We investigate to what extent the consistent histories scheme is compatible with the results of the operational formulation of quantum mechanics. According to the operational approach nonrelativistic quantum mechanics is most generally formulated in terms of effects, states and operations. We formulate a generalized consiste…
Logical entropy gives a measure, in the sense of measure theory, of the distinctions of a given partition of a set, an idea that can be naturally generalized to classical probability distributions. Here, we analyze how fundamental concepts of this entropy and other related definitions can be applied to the study of quantum systems, leading to the introduction of the quantum logical entropy. Moreover, we prove several properties of this entropy for generic density matrices that may be relevant to various areas of quantum mechanics and quantum information. Furthermore, we extend the notion of qu…
Many-Worlds quantum mechanics differs from standard quantum mechanics in that in Many-Worlds, the wave function is a relative density of universes in the multiverse amplitude rather than a probability amplitude. This means that in Many-Worlds, the Born frequencies are approached rather than given a priori. Thus in Many-Worlds the rate of approach to the final frequencies can be calculated and compared with observation. I use Many-Worlds to derive the rate of approach in the double slit experiment, and show that it agrees with observation. Standard quantum theory has never been used to derive a…
The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers from misunderstandings and imprecise statements. In an attempt to clarify those debates, the present paper proposes a radical reformulation of the mathematical framework of quantum mechanics which is r…
A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum…
In the work it is shown that the principles "the objective local theory" and corollaries of the standard quantum mechanics are not in such antagonistic inconsistency as it is usually supposed. In the framework of algebraic approach, the postulates are formulated which allow constructing the updated mathematical scheme of quantum mechanics. This scheme incorporates the standard mathematical apparatus of quantum mechanics. Simultaneously, in it there is a mathematical object, which adequately describes individual experiment.
Many seemingly paradoxical effects are known in the predictions for outcomes of measurements made on pre- and post-selected quantum systems. A class of such effects, which we call ``logical pre- and post-selection paradoxes'', bear a striking resemblance to proofs of the Bell-Kochen-Specker theorem, which suggests that they demonstrate the contextuality of quantum mechanics. Despite the apparent similarity, we show that such effects can occur in noncontextual hidden variable theories, provided measurements are allowed to disturb the values of the hidden variables.
It is argued on the basis of certain mathematical characteristics that classical mechanics is not constitutionally suited to accomodate consciousness, whereas quantum mechanics is. These mathematical characteristics pertain to the nature of the information represented in the state of the brain, and the way this information enters into the dynamics.
It is given a preliminary discussion on the ontic nature of quantum states to be intended as potentialities and on the central role of spin to be considered as the basic essence of quantum mechanical reality. The possible fundamental role of potentialities and of spin is evidenced in the framework of physical as well as of biological reality. After such preliminary deepening, using a quantum like scheme delineated on the basis of an algebraic structure, it is given for the first time mathematical demonstration of the transition from potentiality of states to their actualization as basic mechan…
In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver of ideas in model theory, both mathematically (stability theory may be regarded as a way of approximating categoricity) and philosophically. In the past two decades, categoricity notions have started to overlap with more classical notions of robustness and smoothness. These have been crucial in various parts of mathematics since the nineteenth century. We p…
The Weltanschauung emerging from quantum theory clashes profoundly with our classical concepts. Quantum characteristics like superposition, entanglement, wave-particle duality, nonlocality, contextuality are difficult to reconcile with our everyday intuition. In this article I survey some aspects of quantum foundations and discuss intriguing connections with the foundations of mathematics.
Amplitudes are the major logical object in Quantum Theory. Despite this fact they presents no physical reality and in consequence only observables can be experimetally checked. We discuss the possibility of a theory of Quantum Probabilities capable of give full account to quantum phenomena. Advanteges of this formulation are the evidence of physical processes not described by the orotodox formulation using amplitudes and the possibility of a full algoritimization of Quantum Mechanics.
Electromagnetic phenomena can be described by Maxwell equations written for the vectors of electric and magnetic field. Equivalently, electrodynamics can be reformulated in terms of an electromagnetic vector potential. We demonstrate that the Schrödinger equation admits an analogous treatment. We present a Lagrangian theory of a real scalar field $ϕ$ whose equation of motion turns out to be equivalent to the Schrödinger equation with time independent potential. After introduction the field into the formalism, its mathematical structure becomes analogous to those of electrodynamics. The field $…
We consider a model of an artificial neural network that uses quantum-mechanical particles in a two-humped potential as a neuron. To simulate such a quantum-mechanical system the Monte-Carlo integration method is used. A form of the self-potential of a particle and two potentials (exciting and inhibiting) interaction are proposed. The possibility of implementing the simplest logical elements, (such as AND, OR and NOT) based on introduced quantum particles is shown. Further we show implementation of a simplest convolutional network. Finally we construct a network that recognizes handwritten sym…
In contribution published in AIP Conference Proceedings, No. 1018 (p. 40-5) some discrepancies in Copenhagen quantum mechanics have been summarized and the arguments have been gathered why in the description of microscopic reality the hidden-variable theory should be preferred. It has been shown, too, that the earlier gap in physical descriptions of the microscopic and macroscopic worlds may be practically removed. All corresponding statements have been based on proofs that have been published earlier and reproduced in the given contribution only partially. In the present paper the whole appro…
We discuss a new realistic interpretation of quantum mechanics based on discontinuous motion of particles. The historical and logical basis of discontinuous motion of particles is given. It proves that if there exists only one kind of physical reality--particles, then the realistic motion of particles described by quantum mechanics should be discontinuous motion. We further denote that protective measurement may provide a direct method to confirm the existence of discontinuous motion of particles.
We combine the ideas of Dirac's orthonormal representation, Everett's relative state, and 't Hooft's ontological basis to define the notion of a world for quantum mechanics. Mathematically, for a quantum system $\mathcal{Q}$ with an associated Hilbert space $\mathbb{H},$ a world of $\mathcal{Q}$ is defined to be an orthonormal basis of $\mathbb{H}.$ The evolution of the system is governed by Schrödinger's equation for the worlds of it. An observable in a certain world is a self-adjoint operator diagonal under the corresponding basis. Moreover, a state is defined in an associated world but can …
In this paper, we investigate the connection between Classical and Quantum Mechanics by dividing Quantum Theory in two parts: - General Quantum Axiomatics (a system is described by a state in a Hilbert space, observables are self-adjoint operators and so on) - Quantum Mechanics properly that specifies the Hilbert space, the Heisenberg rule, the free Hamiltonian... We show that General Quantum Axiomatics (up to a supplementary "axiom of classicity") can be used as a non-standard mathematical ground to formulate all the ideas and equations of ordinary Classical Statistical Mechanics. So the ques…
The standard presentation of the principles of quantum mechanics is critically reviewed both from the experimental/operational point and with respect to the request of mathematical consistency and logical economy. A simpler and more physically motivated formulation is discussed. The existence of non commuting observables, which characterizes quantum mechanics with respect to classical mechanics, is related to operationally testable complementarity relations, rather than to uncertainty relations. The drawbacks of Dirac argument for canonical quantization are avoided by a more geometrical approa…
The difference between faults and errors is that, unlike faults, errors can be corrected using control codes. In classical test and verification one develops a test set separating a correct circuit from a circuit containing any considered fault. Classical faults are modelled at the logical level by fault models that act on classical states. The stuck fault model, thought of as a lead connected to a power rail or to a ground, is most typically considered. A classical test set complete for the stuck fault model propagates both binary basis states, 0 and 1, through all nodes in a network and is k…
Quantum mechanics under the Copenhagen interpretation is one of the most experimentally well verified formalisms. However, it is known that the interpretation makes explicit reference to external observation or "measurement." One says that the Copenhagen interpretation suffers from the measurement problem. This deficiency of the interpretation excludes it as a viable fundamental formalism and prevents the use of standard quantum mechanics in discussions of quantum cosmology. Numerous alternative interpretations have been developed with the goals of reproducing its predictive success while obvi…
We provide a systematic approach to quantum mechanics from an information-theoretic perspective using the language of tensor networks. Our formulation needs only a single kind of object, so-called positive *-tensors. Physical models translate experimental setups into networks of these *-tensors, and the evaluation of the resulting networks yields the probability distributions describing measurement outcomes. The idea behind our approach is similar to categorical formulations of quantum mechanics. However, our formulation is mathematically simpler and less abstract. Our presentation of the core…
In a previous paper (arXiv:1008.3661v1[quant-ph] 21 Aug 2010), we have given a purely logical proof of the Conway and Kochen Free Will theorem in QM: the freedom of the observer implies the freedom of the observed particle. Here we show that the hypothesis of the observer's freedom is not necessary: the assumption of the (informal) consistency (non contradiction) of QM implies its non-determinism relative to physical events (the freedom of observed particles).
In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mechanics. Taking into account the logical structure of quantum theory we continue our discussion regarding the Aristotelian Square of Opposition in orthomodular structures enriched with a monadic quantifier. Finally, we provide an interpretation of the Orthomodular Square of Opposition exposing the fact that classical possibility and quantum possibility behave formally in radically different manners.
Inspired by a quantum mechanical formalism to model concepts and their disjunctions and conjunctions, we put forward in this paper a specific hypothesis. Namely that within human thought two superposed layers can be distinguished: (i) a layer given form by an underlying classical deterministic process, incorporating essentially logical thought and its indeterministic version modeled by classical probability theory; (ii) a layer given form under influence of the totality of the surrounding conceptual landscape, where the different concepts figure as individual entities rather than (logical) com…
The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have presented the possibility of studying the classical limit in terms of the decoherence of relevant observables of the system. On the basis of this approach, in this paper we introduce the classical limit from a logical perspective, by studying the way in which the logical structure of quantum properties corresponding to relevant observables acquires Boolean character…
We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on the one hand, the formalism of QM constructed as a mathematical theory is self-consistent, but, on the other hand, quantum phenomena as results of experimenter's performances are not self-consistent. This self-inconsistency is an effect of that the language of QM differs much from the language of human performances. The first is the language of a mathematical…
We discuss quantum non-locality and contextuality, emphasising logical and structural aspects. We also show how the same mathematical structures arise in various areas of classical computation.
The common-sense view of reality is expressed logically in Boolean subset logic (each element is either definitely in or not in a subset, i.e., either definitely has or does not have a property). But quantum mechanics does not agree with this "properties all the way down" picture of micro-reality. Are there other coherent alternative views of reality? A logic of partitions, dual to the Boolean logic of subsets (partitions are dual to subsets), was recently developed along with a logical version of information theory. In view of the subset-partition duality, partition logic is the alternative t…
A modification and generalisation of von Plato's fix of the frequency theory of probability is presented. It is thermodynamic in nature. Von Plato already fixed the logical circle in the frequency theory, we generalise his results to not necessarily ergodic systems of classical and quantum mechanics. This turns out to be precisely what is needed for the problem of Quantum Measurement and the problem of induction.
Multiparametric statistical model providing stable reconstruction of parameters by observations is considered. The only general method of this kind is the root model based on the representation of the probability density as a squared absolute value of a certain function, which is referred to as a psi function in analogy with quantum mechanics. The psi function is represented by an expansion in terms of an orthonormal set of functions. It is shown that the introduction of the psi function allows one to represent the Fisher information matrix as well as statistical properties of the estimator of…
The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub's thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level, at the level of its framework, that the quantum logical tradition has retained its centrality to Bub's thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set of ideas that mark a genuinel…
In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations of quantum mechanics had been established in around 1930, by von Neumann. The formulation uses functional analysis, linear algebra and probability theory. The knowledge of the mathematical formulation of QM is enough quantum mechanical knowledge for approaching to quantum algorithm and it might be efficient way for mathematicians that starting with mathematic…
