Quantum Mechanical Vistas on the Road to Quantum Gravity
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper Peng Fu1, Kohei Kishida2, Neil J. Ross1, and Peter Selinger1 1 Dalhousie University, Halifax, NS, Canada ffrank-fu,neil.jr.ross,[email protected] 2 University of Illinois, Urbana-Champaign, IL, U.S.A. [email protected] Abstract. We introduce dependently typed Proto-Quipper, or Proto- Quipper-D for short, an experimental quantum circuit programming lan- guage with linear dependent types. We give several examples to illustrate how linear dependent types can help in the construction of correct quan- tum circuits. Specifically, we show how dependent types enable program- ming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other lan- guage features along the way. Keywords: Quantum programming languages · Linear dependent types · Proto-Quipper-D 1 Introduction Quantum computers can in principle outperform conventional computers at cer- tain crucial tasks that underlie modern computing infrastructures. Experimental quantum computing is in its early stages and existing devices are not yet suitable for practical computing. However, several groups of researchers, in both academia and industry, are now building quantum computers (see, e.g., [2,11,16]). Quan- tum computing also raises many challenging questions for the programming lan- guage community [17]: How should we design programming languages for quan- tum computation? How should we compile and optimize quantum programs? How should we test and verify quantum programs? How should we understand the semantics of quantum programming languages? In this paper, we focus on quantum circuit programming using the linear dependently typed functional language Proto-Quipper-D. -
Simulating Quantum Field Theory with a Quantum Computer
Simulating quantum field theory with a quantum computer John Preskill Lattice 2018 28 July 2018 This talk has two parts (1) Near-term prospects for quantum computing. (2) Opportunities in quantum simulation of quantum field theory. Exascale digital computers will advance our knowledge of QCD, but some challenges will remain, especially concerning real-time evolution and properties of nuclear matter and quark-gluon plasma at nonzero temperature and chemical potential. Digital computers may never be able to address these (and other) problems; quantum computers will solve them eventually, though I’m not sure when. The physics payoff may still be far away, but today’s research can hasten the arrival of a new era in which quantum simulation fuels progress in fundamental physics. Frontiers of Physics short distance long distance complexity Higgs boson Large scale structure “More is different” Neutrino masses Cosmic microwave Many-body entanglement background Supersymmetry Phases of quantum Dark matter matter Quantum gravity Dark energy Quantum computing String theory Gravitational waves Quantum spacetime particle collision molecular chemistry entangled electrons A quantum computer can simulate efficiently any physical process that occurs in Nature. (Maybe. We don’t actually know for sure.) superconductor black hole early universe Two fundamental ideas (1) Quantum complexity Why we think quantum computing is powerful. (2) Quantum error correction Why we think quantum computing is scalable. A complete description of a typical quantum state of just 300 qubits requires more bits than the number of atoms in the visible universe. Why we think quantum computing is powerful We know examples of problems that can be solved efficiently by a quantum computer, where we believe the problems are hard for classical computers. -
Introduction to Quantum Information and Computation
Introduction to Quantum Information and Computation Steven M. Girvin ⃝c 2019, 2020 [Compiled: May 2, 2020] Contents 1 Introduction 1 1.1 Two-Slit Experiment, Interference and Measurements . 2 1.2 Bits and Qubits . 3 1.3 Stern-Gerlach experiment: the first qubit . 8 2 Introduction to Hilbert Space 16 2.1 Linear Operators on Hilbert Space . 18 2.2 Dirac Notation for Operators . 24 2.3 Orthonormal bases for electron spin states . 25 2.4 Rotations in Hilbert Space . 29 2.5 Hilbert Space and Operators for Multiple Spins . 38 3 Two-Qubit Gates and Entanglement 43 3.1 Introduction . 43 3.2 The CNOT Gate . 44 3.3 Bell Inequalities . 51 3.4 Quantum Dense Coding . 55 3.5 No-Cloning Theorem Revisited . 59 3.6 Quantum Teleportation . 60 3.7 YET TO DO: . 61 4 Quantum Error Correction 63 4.1 An advanced topic for the experts . 68 5 Yet To Do 71 i Chapter 1 Introduction By 1895 there seemed to be nothing left to do in physics except fill out a few details. Maxwell had unified electriciy, magnetism and optics with his theory of electromagnetic waves. Thermodynamics was hugely successful well before there was any deep understanding about the properties of atoms (or even certainty about their existence!) could make accurate predictions about the efficiency of the steam engines powering the industrial revolution. By 1895, statistical mechanics was well on its way to providing a microscopic basis in terms of the random motions of atoms to explain the macroscopic predictions of thermodynamics. However over the next decade, a few careful observers (e.g. -
Quantum Theory Cannot Consistently Describe the Use of Itself
ARTICLE DOI: 10.1038/s41467-018-05739-8 OPEN Quantum theory cannot consistently describe the use of itself Daniela Frauchiger1 & Renato Renner1 Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here, we propose a Gedankenexperiment 1234567890():,; to investigate the question whether quantum theory can, in principle, have universal validity. The idea is that, if the answer was yes, it must be possible to employ quantum theory to model complex systems that include agents who are themselves using quantum theory. Analysing the experiment under this presumption, we find that one agent, upon observing a particular measurement outcome, must conclude that another agent has predicted the opposite outcome with certainty. The agents’ conclusions, although all derived within quantum theory, are thus inconsistent. This indicates that quantum theory cannot be extrapolated to complex systems, at least not in a straightforward manner. 1 Institute for Theoretical Physics, ETH Zurich, 8093 Zurich, Switzerland. Correspondence and requests for materials should be addressed to R.R. (email: [email protected]) NATURE COMMUNICATIONS | (2018) 9:3711 | DOI: 10.1038/s41467-018-05739-8 | www.nature.com/naturecommunications 1 ARTICLE NATURE COMMUNICATIONS | DOI: 10.1038/s41467-018-05739-8 “ 1”〉 “ 1”〉 irect experimental tests of quantum theory are mostly Here, | z ¼À2 D and | z ¼þ2 D denote states of D depending restricted to microscopic domains. Nevertheless, quantum on the measurement outcome z shown by the devices within the D “ψ ”〉 “ψ ”〉 theory is commonly regarded as being (almost) uni- lab. -
Arxiv:Quant-Ph/0504183V1 25 Apr 2005 † ∗ Elsae 1,1,1] Oee,I H Rcs Fmea- Is of Above the Process the Vandalized
Deterministic Bell State Discrimination Manu Gupta1∗ and Prasanta K. Panigrahi2† 1 Jaypee Institute of Information Technology, Noida, 201 307, India 2 Physical Research Laboratory, Navrangpura, Ahmedabad, 380 009, India We make use of local operations with two ancilla bits to deterministically distinguish all the four Bell states, without affecting the quantum channel containing these Bell states. Entangled states play a key role in the transmission and processing of quantum information [1, 2]. Using en- tangled channel, an unknown state can be teleported [3] with local unitary operations, appropriate measurement and classical communication; one can achieve entangle- ment swapping through joint measurement on two en- tangled pairs [4]. Entanglement leads to increase in the capacity of the quantum information channel, known as quantum dense coding [5]. The bipartite, maximally en- FIG. 1: Diagram depicting the circuit for Bell state discrimi- tangled Bell states provide the most transparent illustra- nator. tion of these aspects, although three particle entangled states like GHZ and W states are beginning to be em- ployed for various purposes [6, 7]. satisfactory, where the Bell state is not required further Making use of single qubit operations and the in the quantum network. Controlled-NOT gates, one can produce various entan- We present in this letter, a scheme which discriminates gled states in a quantum network [1]. It may be of inter- all the four Bell states deterministically and is able to pre- est to know the type of entangled state that is present in serve these states for further use. As LOCC alone is in- a quantum network, at various stages of quantum compu- sufficient for this purpose, we will make use of two ancilla tation and cryptographic operations, without disturbing bits, along with the entangled channels. -
Timelike Curves Can Increase Entanglement with LOCC Subhayan Roy Moulick & Prasanta K
www.nature.com/scientificreports OPEN Timelike curves can increase entanglement with LOCC Subhayan Roy Moulick & Prasanta K. Panigrahi We study the nature of entanglement in presence of Deutschian closed timelike curves (D-CTCs) and Received: 10 March 2016 open timelike curves (OTCs) and find that existence of such physical systems in nature would allow us to Accepted: 05 October 2016 increase entanglement using local operations and classical communication (LOCC). This is otherwise in Published: 29 November 2016 direct contradiction with the fundamental definition of entanglement. We study this problem from the perspective of Bell state discrimination, and show how D-CTCs and OTCs can unambiguously distinguish between four Bell states with LOCC, that is otherwise known to be impossible. Entanglement and Closed Timelike Curves (CTC) are perhaps the most exclusive features in quantum mechanics and general theory of relativity (GTR) respectively. Interestingly, both theories, advocate nonlocality through them. While the existence of CTCs1 is still debated upon, there is no reason for them, to not exist according to GTR2,3. CTCs come as a solution to Einstein’s field equations, which is a classical theory itself. Seminal works due to Deutsch4, Lloyd et al.5, and Allen6 have successfully ported these solutions into the framework of quantum mechanics. The formulation due to Lloyd et al., through post-selected teleportation (P-CTCs) have been also experimentally verified7. The existence of CTCs has been disturbing to some physicists, due to the paradoxes, like the grandfather par- adox or the unproven theorem paradox, that arise due to them. Deutsch resolved such paradoxes by presenting a method for finding self-consistent solutions of CTC interactions. -
A Principle Explanation of Bell State Entanglement: Conservation Per No Preferred Reference Frame
A Principle Explanation of Bell State Entanglement: Conservation per No Preferred Reference Frame W.M. Stuckey∗ and Michael Silbersteiny z 26 September 2020 Abstract Many in quantum foundations seek a principle explanation of Bell state entanglement. While reconstructions of quantum mechanics (QM) have been produced, the community does not find them compelling. Herein we offer a principle explanation for Bell state entanglement, i.e., conser- vation per no preferred reference frame (NPRF), such that NPRF unifies Bell state entanglement with length contraction and time dilation from special relativity (SR). What makes this a principle explanation is that it's grounded directly in phenomenology, it is an adynamical and acausal explanation that involves adynamical global constraints as opposed to dy- namical laws or causal mechanisms, and it's unifying with respect to QM and SR. 1 Introduction Many physicists in quantum information theory (QIT) are calling for \clear physical principles" [Fuchs and Stacey, 2016] to account for quantum mechanics (QM). As [Hardy, 2016] points out, \The standard axioms of [quantum theory] are rather ad hoc. Where does this structure come from?" Fuchs points to the postulates of special relativity (SR) as an example of what QIT seeks for QM [Fuchs and Stacey, 2016] and SR is a principle theory [Felline, 2011]. That is, the postulates of SR are constraints offered without a corresponding constructive explanation. In what follows, [Einstein, 1919] explains the difference between the two: We can distinguish various kinds of theories in physics. Most of them are constructive. They attempt to build up a picture of the more complex phenomena out of the materials of a relatively simple ∗Department of Physics, Elizabethtown College, Elizabethtown, PA 17022, USA yDepartment of Philosophy, Elizabethtown College, Elizabethtown, PA 17022, USA zDepartment of Philosophy, University of Maryland, College Park, MD 20742, USA 1 formal scheme from which they start out. -
Appendix: the Interaction Picture
Appendix: The Interaction Picture The technique of expressing operators and quantum states in the so-called interaction picture is of great importance in treating quantum-mechanical problems in a perturbative fashion. It plays an important role, for example, in the derivation of the Born–Markov master equation for decoherence detailed in Sect. 4.2.2. We shall review the basics of the interaction-picture approach in the following. We begin by considering a Hamiltonian of the form Hˆ = Hˆ0 + V.ˆ (A.1) Here Hˆ0 denotes the part of the Hamiltonian that describes the free (un- perturbed) evolution of a system S, whereas Vˆ is some added external per- turbation. In applications of the interaction-picture formalism, Vˆ is typically assumed to be weak in comparison with Hˆ0, and the idea is then to deter- mine the approximate dynamics of the system given this assumption. In the following, however, we shall proceed with exact calculations only and make no assumption about the relative strengths of the two components Hˆ0 and Vˆ . From standard quantum theory, we know that the expectation value of an operator observable Aˆ(t) is given by the trace rule [see (2.17)], & ' & ' ˆ ˆ Aˆ(t) =Tr Aˆ(t)ˆρ(t) =Tr Aˆ(t)e−iHtρˆ(0)eiHt . (A.2) For reasons that will immediately become obvious, let us rewrite this expres- sion as & ' ˆ ˆ ˆ ˆ ˆ ˆ Aˆ(t) =Tr eiH0tAˆ(t)e−iH0t eiH0te−iHtρˆ(0)eiHte−iH0t . (A.3) ˆ In inserting the time-evolution operators e±iH0t at the beginning and the end of the expression in square brackets, we have made use of the fact that the trace is cyclic under permutations of the arguments, i.e., that Tr AˆBˆCˆ ··· =Tr BˆCˆ ···Aˆ , etc. -
Synopsis of a Unified Theory for All Forces and Matter
Synopsis of a Unified Theory for All Forces and Matter Zeng-Bing Chen National Laboratory of Solid State Microstructures, School of Physics, Nanjing University, Nanjing 210093, China (Dated: December 20, 2018) Assuming the Kaluza-Klein gravity interacting with elementary matter fermions in a (9 + 1)- dimensional spacetime (M9+1), we propose an information-complete unified theory for all forces and matter. Due to entanglement-driven symmetry breaking, the SO(9, 1) symmetry of M9+1 is broken to SO(3, 1) × SO(6), where SO(3, 1) [SO(6)] is associated with gravity (gauge fields of matter fermions) in (3+1)-dimensional spacetime (M3+1). The informational completeness demands that matter fermions must appear in three families, each having 16 independent matter fermions. Meanwhile, the fermion family space is equipped with elementary SO(3) gauge fields in M9+1, giving rise to the Higgs mechanism in M3+1 through the gauge-Higgs unification. After quantum compactification of six extra dimensions, a trinity—the quantized gravity, the three-family fermions of total number 48, and their SO(6) and SO(3) gauge fields—naturally arises in an effective theory in M3+1. Possible routes of our theory to the Standard Model are briefly discussed. PACS numbers: 04.50.+h, 12.10.-g, 04.60.Pp The tendency of unifying originally distinct physical fields (together as matter), a fact called the information- subjects or phenomena has profoundly advanced modern completeness principle (ICP). The basic state-dynamics physics. Newton’s law of universal gravitation, Maxwell’s postulate [8] is that the Universe is self-created into a theory of electromagnetism, and Einstein’s relativity state |e,ω; A..., ψ...i of all physical contents (spacetime theory are among the most outstanding examples for and matter), from no spacetime and no matter, with the such a unification. -
Quantum Violation of Classical Physics in Macroscopic Systems
Quantum VIOLATION OF CLASSICAL PHYSICS IN MACROSCOPIC SYSTEMS Lucas Clemente Ludwig Maximilian University OF Munich Max Planck INSTITUTE OF Quantum Optics Quantum VIOLATION OF CLASSICAL PHYSICS IN MACROSCOPIC SYSTEMS Lucas Clemente Dissertation AN DER Fakultät für Physik DER Ludwig-Maximilians-Universität München VORGELEGT VON Lucas Clemente AUS München München, IM NoVEMBER 2015 TAG DER mündlichen Prüfung: 26. Januar 2016 Erstgutachter: Prof. J. IGNACIO Cirac, PhD Zweitgutachter: Prof. Dr. Jan VON Delft WEITERE Prüfungskommissionsmitglieder: Prof. Dr. HarALD Weinfurter, Prof. Dr. Armin Scrinzi Reality is that which, when you stop believing in it, doesn’t go away. “ — Philip K. Dick How To Build A Universe That Doesn’t Fall Apart Two Days Later, a speech published in the collection I Hope I Shall Arrive Soon Contents Abstract xi Zusammenfassung xiii List of publications xv Acknowledgments xvii 0 Introduction 1 0.1 History and motivation . 3 0.2 Local realism and Bell’s theorem . 5 0.3 Contents of this thesis . 10 1 Conditions for macrorealism 11 1.1 Macroscopic realism . 13 1.2 Macrorealism per se following from strong non-invasive measurability 15 1.3 The Leggett-Garg inequality . 17 1.4 No-signaling in time . 19 1.5 Necessary and sufficient conditions for macrorealism . 21 1.6 No-signaling in time for quantum measurements . 25 1.6.1 Without time evolution . 26 1.6.2 With time evolution . 27 1.7 Conclusion and outlook . 28 Appendix 31 1.A Proof that NSIT0(1)2 is sufficient for NIC0(1)2 . 31 2 Macroscopic classical dynamics from microscopic quantum behavior 33 2.1 Quantifying violations of classicality . -
Prediction in Quantum Cosmology
Prediction in Quantum Cosmology James B. Hartle Department of Physics University of California Santa Barbara, CA 93106, USA Lectures at the 1986 Carg`esesummer school publshed in Gravitation in As- trophysics ed. by J.B. Hartle and B. Carter, Plenum Press, New York (1987). In this version some references that were `to be published' in the original have been supplied, a few typos corrected, but the text is otherwise unchanged. The author's views on the quantum mechanics of cosmology have changed in important ways from those originally presented in Section 2. See, e.g. [107] J.B. Hartle, Spacetime Quantum Mechanics and the Quantum Mechan- ics of Spacetime in Gravitation and Quantizations, Proceedings of the 1992 Les Houches Summer School, ed. by B. Julia and J. Zinn-Justin, Les Houches Summer School Proceedings Vol. LVII, North Holland, Amsterdam (1995).) The general discussion and material in Sections 3 and 4 on the classical geom- etry limit and the approximation of quantum field theory in curved spacetime may still be of use. 1 Introduction As far as we know them, the fundamental laws of physics are quantum mechanical in nature. If these laws apply to the universe as a whole, then there must be a description of the universe in quantum mechancial terms. Even our present cosmological observations require such a description in principle, although in practice these observations are so limited and crude that the approximation of classical physics is entirely adequate. In the early universe, however, the classical approximation is unlikely to be valid. There, towards the big bang singularity, at curvatures characterized by the Planck length, 3 1 (¯hG=c ) 2 , quantum fluctuations become important and eventually dominant. -
Particle Or Wave: There Is No Evidence of Single Photon Delayed Choice
Particle or wave: there is no evidence of single photon delayed choice. Michael Devereux* Los Alamos National Laboratory (Retired) Abstract Wheeler supposed that the way in which a single photon is measured in the present could determine how it had behaved in the past. He named such retrocausation delayed choice. Over the last forty years many experimentalists have claimed to have observed single-photon delayed choice. Recently, however, researchers have proven that the quantum wavefunction of a single photon assumes the identical mathematical form of the solution to Maxwell’s equations for that photon. This efficacious understanding allows for a trenchant analysis of delayed-choice experiments and denies their retrocausation conclusions. It is now usual for physicists to employ Bohr’s wave-particle complementarity theory to distinguish wave from particle aspects in delayed- choice observations. Nevertheless, single-photon, delayed-choice experiments, provide no evidence that the photon actually acts like a particle, or, instead, like a wave, as a function of a future measurement. And, a recent, careful, Stern-Gerlach analysis has shown that the supposition of concurrent wave and particle characteristics in the Bohm-DeBroglie theory is not tenable. PACS 03.65.Ta, 03.65.Ud 03.67.-a, 42.50.Ar, 42.50.Xa 1. Introduction. Almost forty years ago Wheeler suggested that there exists a type of retrocausation, which he called delayed choice, in certain physical phenomena [1]. Specifically, he said that the past behavior of some quantum systems could be determined by how they are observed in the present. “The past”, he wrote, “has no existence except as it is recorded in the present” [2].