The logic of quantum mechanics derived from classical general relativity

For the first time it is shown that the logic of quantum mechanics can be derived from classical physics. An orthomodular lattice of propositions characteristic of quantum logic, is constructed for manifolds in Einstein’s theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves—a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparationand measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.     

Pragmatic versus semantic contextuality in quantum physics

An approach to quantum physics (QP) is proposed that is characterized by the attempt to give up the verificationist theory of truth underlying the standard interpretation of QP. As a first step, anobservatively minimal language L is constructed that is endowed with a Tarskian truth theory. Then, a set of axioms is stated by means of L that hold both in classical physics and in QP, and the further language L_e of all properties is constructed. The concepts ofmeaning andtestability do not collapse in L and L_e, hence quantum logic is interpreted as a theory of testability in QP, and QP turns out to be semantically incomplete. Furthermore, semantic and pragmatic compatibility of physical properties are distinguished in L_e, and the concepts of testability and conjoint testability of statements are introduced. In this context some known quantum paradoxes can be avoided, and a new general principle (MGP) characterizes the truth mode of empirical physical laws. MGP invalidates the Bell theorem and, presumably, the Bell-Kochen-Specker theorem, and introduces apragmatic contextuality in QP in place of thesemantic contextuality that should occur because of these theorems.     

Theory of filters

We consider the following statistical problem: suppose we have a light beam and a collection of semi-transparent windows which can be placed in the way of the beam. Assume that we are colour blind and we do not possess any colour sensitive detector. The question is, whether by only measurements of the decrease in the beam intensity in various sequences of windows we can recognize which among our windows are light beam filters absorbing photons according to certain definite rules? To answer this question a definition of physical systems is formulated independent of “quantum logic” and lattice theory, and a new idea of quantization is proposed. An operational definition of filters is given: in the framework of this definition certain nonorthodox classes of filters are admissible with a geometry incompatible to that assumed in orthodox quantum mechanics. This leads to an extension of the existing quantum mechanical structure generalizing the schemes proposed by Ludwig [10] and the present author [13]. In the resulting theory, the quantum world of orthodox quantum mechanics is not the only possible but is a special member of a vast family of “quantum worlds” mathematically admissible. An approximate classification of these worlds is given, and their possible relation to the quantization of non-linear fields is discussed. It turns out to be obvious that the convex set theory has a similar significance for quantum physics as the Riemannian geometry for space-time physics.     

Grammar Theory Based on Quantum Logic

Motivated by Ying' work on automata theory based on quantum logic (Ying, M. S. (2000). International Journal of Therotical Physics, 39(4): 985–996; 39(11): 2545–2557) and inspired by the close relationship between the automata theory and the theory of formal grammars, we have established a basic framework of grammar theory on quantum logic and shown that the set of l-valued quantum regular languages generated by l-valued quantum regular grammars coincides with the set of l-valued quantum languages recognized by l-valued quantum automata.     

Quantum Physics and Classical Physics—In the Light of Quantum Logic

In contrast to the Copenhagen interpretation we consider quantum mechanics as universally valid and query whether classical physics is really intuitive and plausible. We discuss these problems within the quantum logic approach to quantum mechanics where the classical ontology is relaxed by reducing metaphysical hypotheses. On the basis of this weak ontology a formal logic of quantum physics can be established which is given by an orthomodular lattice. By means of the Solèr condition and Piron's result one obtains the classical Hilbert spaces. However, this approach is not fully convincing. There is no plausible justification of Solèr's law and the quantum ontology is partly too weak and partly too strong. We propose to replace this ontology by an ontology of unsharp properties and conclude that quantum mechanics is more intuitive than classical mechanics and that classical mechanics is not the macroscopic limit of quantum mechanics.     

Nonstandard extension of quantum logic and Dirac's bra-ket formalism of quantum mechanics

An extension of the quantum logical approach to the axiomatization of quantum mechanics usingnonstandard analysis methods is proposed. The physical meaning of a quantum logic as a lattice of propositions is conserved by its nonstandard extension. But not only the usual Hubert space formalism of quantum mechanics can be derived from the nonstandard extended quantum logic. Also the Dirac bra-ket quantum mechanics can be derived as a consequence of such an extended quantum logic.     

Logical foundation of quantum mechanics

The subject of this article is the reconstruction of quantum mechanics on the basis of a formal language of quantum mechanical propositions. During recent years, research in the foundations of the language of science has given rise to adialogic semantics that is adequate in the case of a formal language for quantum physics. The system ofsequential logic which is comprised by the language is more general than classical logic; it includes the classical system as a special case. Although the system of sequential logic can be founded without reference to the empirical content of quantum physical propositions, it establishes an essential part of the structure of the mathematical formalism used in quantum mechanics. It is the purpose of this paper to demonstrate the connection between the formal language of quantum physics and its representation by mathematical structures in a self-contained way.     

Quantum theory as a theory in a classical propositional calculus

Classical logic and Boolean algebras are, of course, very intimately related. It is, however, possible to show that lattices of propositions isomorphic to the lattice of all the closed subspaces of a separable Hilbert space arise quite naturally within the classical propositional logic. This was first shown by the author in 1987 in connection with a certain type of theories calledtheories with orthocomplementation. These theories are not easy to interpret physically and it is shown that simpler theories, which are more amenable to physical interpretation, can also be used. It is then possible to assume that quantum theory is such a theory and, as a result, to formulate a new approach that provides a way of looking at the wave-particle duality and touches upon the foundations of quantum field theory.     

Higher-order quantum logics

Until now quantum logics has been first-order, but physics requires higher-order logics. We construct a natural higher-order languageQ for quantum physics.Q is a finitistic logic based on Peano set theory and Grassmann algebra. Higher-order predicates are identified with their extensions, higher-rank sets. QAND and QOR (the AND and OR ofQ) are naturally noncommutative but reduce to the commutative lattice operations for the first-order part of the language. We form higher-order predicates and sets by a setting operator similar to Peano'st that forms a simple extensort = }} from any extensor. In a note added in proof, we correctQ so that a bond like {{, }} between two fermions and is a quasiboson, as the application to lattice chromodynamics strongly suggests.     

Quantum sets and clifford algebras

The mathematical language presently used for quantum physics is a high-level language. As a lowest-level or basic language I construct a quantum set theory in three stages: (1) Classical set theory, formulated as a Clifford algebra of “S numbers” generated by a single monadic operation, “bracing,” Br = {…}. (2) Indefinite set theory, a modification of set theory dealing with the modal logical concept of possibility. (3) Quantum set theory. The quantum set is constructed from the null set by the familiar quantum techniques of tensor product and antisymmetrization. There are both a Clifford and a Grassmann algebra with sets as basis elements. Rank and cardinality operators are analogous to Schroedinger coordinates of the theory, in that they are multiplication or “Q-type” operators. “P-type” operators analogous to Schroedinger momenta, in that they transform theQ-type quantities, are bracing (Br), Clifford multiplication by a setX, and the creator ofX, represented by Grassmann multiplicationc(X) by the setX. Br and its adjoint Br* form a Bose-Einstein canonical pair, andc(X) and its adjointc(X)* form a Fermi-Dirac or anticanonical pair. Many coefficient number systems can be employed in this quantization. I use the integers for a discrete quantum theory, with the usual complex quantum theory as limit. Quantum set theory may be applied to a quantum time space and a quantum automaton. This material is based upon work supported in part by NSF Grant No. PHY8007921.     

Nonordered quantum logic and its YES-NO representation

It is shown that an orthomodular lattice is an ortholattice in which aunique operation of bi-implication corresponds to the equality relation and that the ordering relation in the binary formulation of quantum logic as well as the operation of implication (conditional) in quantum logic are completely irrelevant for their axiomatization. The soundness and completeness theorems for the corresponding algebraic unified quantum logic are proved. A proper semantics, i.e., a representation of quantum logic, is given by means of a new YES-NO relation which might enable a proof of the finite model property and the decidability of quantum logic. A statistical YES-NO physical interpretation of the quantum logical propositions is provided.     

Probabilistic forcing in quantum logics

It is shown that an orthomodular lattice can be axiomatized as an ortholattice with aunique operation of identity (bi-implication) instead of the operation of implication, and a corresponding algebraic unified quantum logic is formulated. A statisticalyes-no physical interpretation of the quantum logical propositions is then provided to establish a support for a novelyes-no representation of quantum logic which prompts a conjecture about a possible completion of quantum logic by means of probabilistic forcing.     

Logicoalgebraic structures II. Supports in test spaces

Test spaces are mathematical structures that underlie quantum logics in much the same way that Hilbert space underlies standard quantum logic. In this paper, we give a coherent account of the basic theory of test spaces and show how they provide an infrastructure for the study of quantum logics. IfL is the quantum logic for a physical systemL, then a support inL may be interpreted as the set of all propositions that are possible whenL is in a certain state. We present an analog for test spaces of the notion of a quantum-logical support and launch a study of the classification of supports.     

Ultracold atomic gases in optical lattices: mimicking condensed matter physics and beyond

We review recent developments in the physics of ultracold atomic and molecular gases in optical lattices. Such systems are nearly perfect realisations of various kinds of Hubbard models, and as such may very well serve to mimic condensed matter phenomena. We show how these systems may be employed as quantum simulators to answer some challenging open questions of condensed matter, and even high energy physics. After a short presentation of the models and the methods of treatment of such systems, we discuss in detail, which challenges of condensed matter physics can be addressed with (i) disordered ultracold lattice gases, (ii) frustrated ultracold gases, (iii) spinor lattice gases, (iv) lattice gases in “artificial” magnetic fields, and, last but not least, (v) quantum information processing in lattice gases. For completeness, also some recent progress related to the above topics with trapped cold gases will be discussed.

Motto:     

Vortex-antivortex pair in a Bose-Einstein condensate

Presented is a type-II quantum algorithm for superfluid dynamics, used to numerically predict solutions of the GP equation for a complex scalar field (spinless bosons) in φ⁴ theory. The GP equation is a long wavelength effective field theory of a microscopic quantum lattice gas with nonlinear state reduction. The quantum lattice gas algorithm for modeling the dynamics of the one-body BEC state in 3+1 dimensions is presented. To demonstrate the method's strength as a computational physics tool, a difficult situation of filamentary singularities is simulated, the dynamics of solitary vortex-antivortex pairs, which are a basic building block of morphologies of quantum turbulence.     

Analysis of the Einstein-Podolsky-Rosen experiment by relativistic quantum logic

The EPR experiment is investigated within the abstract language of relativistic quantum physics (relativistic quantum logic). First we show that the principles of reality (R) and locality (L) contradict the validity principle (Q) of quantum physics. A reformulation of this argument is then given in terms of relativistic quantum logic which is based on the principlesR andQ. It is shown that the principleL must be replaced by a convenient relaxation ¯L, by which the contradiction can be eliminated. On the other hand this weak locality principle ¯L does not contradict Einstein causality and is thus in accordance with special relativity.     

Planck’s Constant in the Light of Quantum Logic

The goal of quantum logic is the “bottom-top” reconstruction of quantum mechanics. Starting from a weak quantum ontology, a long sequence of arguments leads to quantum logic, to an orthomodular lattice, and to the classical Hilbert spaces. However, this abstract theory does not yet contain Planck’s constant ℏ. We argue, that ℏ can be obtained, if the empty theory is applied to real entities and extended by concepts that are usually considered as classical notions. Introducing the concepts of localizability and homogeneity we define objects by symmetry groups and systems of imprimitivity. For elementary systems, the irreducible representations of the Galileo group are projective and determined only up to a parameter z, which is given by z=m/ℏ, where m is the mass of the particle and ℏ Planck’s constant. We show that ℏ has a meaning within quantum mechanics, irrespective of use the of classical concepts in our derivation.     

Selected topics of quantum computing for nuclear physics

Nuclear physics,whose underling theory is described by quantum gauge field coupled with matter,is fundamentally important and yet is formidably challenge for simulation with classical computers.Quantum computing provides a perhaps transformative approach for studying and understanding nuclear physics.With rapid scaling-up of quantum processors as well as advances on quantum algorithms,the digital quantum simulation approach for simulating quantum gauge fields and nuclear physics has gained lots of attention.In this review,we aim to summarize recent efforts on solving nuclear physics with quantum computers.We first discuss a formulation of nuclear physics in the language of quantum computing.In particular,we review how quantum gauge fields(both Abelian and non-Abelian)and their coupling to matter field can be mapped and studied on a quantum computer.We then introduce related quantum algorithms for solving static properties and real-time evolution for quantum systems,and show their applications for a broad range of problems in nuclear physics,including simulation of lattice gauge field,solving nucleon and nuclear structures,quantum advantage for simulating scattering in quantum field theory,non-equilibrium dynamics,and so on.Finally,a short outlook on future work is given.     

On quantum logic

The status and justification of quantum logic are reviewed. On the basis of several independent arguments it is concluded that it cannot be a logic in the philosophical sense of a general theory concerning the structure of valid inferences. Taken as a calculus for combining quantum mechanical propositions, it leaves a number of significant aspects of quantum physics unaccounted for. It is shown, moreover, that quantum logic, far from being more general than Boolean logic, forms a subset of a slight and natural extension of Boolean logic, a subset which corresponds to incomplete statements. The philosophical background of this unsatisfactory state of affairs is briefly explored.     

Universality of the continuum limit of lattice quantum theories

The lattice approximation of the naïve continuum action in quantum mechanics or in field theory is not uniquely determined. We investigate to what extent corrections to the lattice action, which vanish in the naïve continuum limit, affect the continuum limit when taking quantum fluctuations into account. In the quantum mechanical case, modifications of the lattice action may induce non-trivial corrections to the potential of the system and thereby change the structure of the theory completely. We verify this statement analytically as well as numerically by performing a Monte Carlo simulation. In the field theoretical case we argue that the lattice corrections considered do not affect the physics of the continuum limit, at least not for asymptotically free gauge field theories. In four dimensions, one might encounter finite renormalization of CP violating terms.