Fault-Tolerance in Two-Dimensional Topological Systems Jonas Anderson

Total Page:16

File Type:pdf, Size:1020Kb

Fault-Tolerance in Two-Dimensional Topological Systems Jonas Anderson University of New Mexico UNM Digital Repository Physics & Astronomy ETDs Electronic Theses and Dissertations 8-27-2012 Fault-tolerance in two-dimensional topological systems Jonas Anderson Follow this and additional works at: https://digitalrepository.unm.edu/phyc_etds Recommended Citation Anderson, Jonas. "Fault-tolerance in two-dimensional topological systems." (2012). https://digitalrepository.unm.edu/phyc_etds/4 This Dissertation is brought to you for free and open access by the Electronic Theses and Dissertations at UNM Digital Repository. It has been accepted for inclusion in Physics & Astronomy ETDs by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected]. Jonas Tyler Anderson Candidate Physics and Astronomy Department This dissertation is approved, and it is acceptable in quality and form for publication: Approved by the Dissertation Committee: Carlton Caves , Chairperson Andrew Landahl Ivan Deutsch Terry Loring Fault-tolerance in Two-dimensional Topological Systems by Jonas T. Anderson B.S., Physics, West Virginia University, 2006 B.E., Computer Engineering, West Virginia University, 2006 DISSERTATION Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Physics The University of New Mexico Albuquerque, New Mexico July, 2012 c 2012, Jonas T. Anderson iii Acknowledgments First, I would like to thank my parents Dusty and Renée, my grandparents, and my sister Halley for their love and support. Iwouldliketothankmyadvisor,AndrewLandahl,forposingsuchfunandinteresting research problems. I could not have imagined I would be working in such a fascinating area of science. To everyone at CQuIC, thanks for all the great discussions. I hope we stay in touch. Thanks to Alex Tacla, Carl Caves, and Vicky Bird for respectively proposing, buying, and maintaining the Jura espresso machine. Thanks to Ivan Deutsch and Carl Caves for being second advisors to me. Thanks to Chris Cesare and Andrew Landahl for all your help in developing the ideas presented here. Most of my ideas would remain scrawls in notebooks without you guys. Also, thanks to Rolando Somma and Robin Blume-Kohout for many great conversa- tions over coffee. These conversations were always thought-provoking even on the rare occasions when we talked about physics. Last, but certainly not least, thanks to Roya for her love and encouragement, and for too many other things to list here. And to our cats: Makhmal & Mnemosyne for being, well, cats. To the crags, canyons, and mountains of the Southwest and beyond thanks for the humility and wonderment—I will be back. IwassupportedinpartbytheNationalScienceFoundationthroughGrant0829944. IwassupportedinpartbytheLaboratoryDirectedResearchandDevelopmentprogram at Sandia National Laboratories. Sandia National Laboratories is a multi-program lab- oratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-AC04-94AL85000. iv Fault-tolerance in Two-dimensional Topological Systems by Jonas T. Anderson B.S., Physics, West Virginia University, 2006 B.E., Computer Engineering, West Virginia University, 2006 Ph.D., Physics, University of New Mexico, 2012 Abstract This thesis is a collection of ideas with the general goal of building, at least in the abstract, alocalfault-tolerantquantumcomputer. The connection between quantum information and topology has proven to be an active area of research in several fields. The introduction of the toric code by Alexei Kitaev demonstrated the usefulness of topology for quantum memory and quantum computation. Many quantum codes used for quantum memory are modeled by spin systems on a lattice, with operators that extract syndrome information placed on vertices or faces of the lattice. It is natural to wonder whether the useful codes in such systems can be classified. This thesis presents work that leverages ideas from topology and graph theory to explore the space of such codes. Homological stabilizer codes are introduced and it is shown that, under a set of reasonable assumptions, any qubit homological stabilizer code is equivalent to either a toric code or a color code. Additionally, the toric code and the color code correspond to distinct classes of graphs. v Many systems have been proposed as candidate quantum computers. It is very desir- able to design quantum computing architectures with two-dimensional layouts and low complexity in parity-checking circuitry. Kitaev’s surface codes provided the first example of codes satisfying this property. They provided a new route to fault tolerance with more modest overheads and thresholds approaching 1%. The recently discovered color codes share many properties with the surface codes, such as the ability to perform syndrome extraction locally in two dimensions. Some families of color codes admit a transversal implementation of the entire Clifford group. This work investigates color codes on the 4.8.8 lattice known as triangular codes. I develop a fault-tolerant error-correction strategy for these codes in which repeated syndrome measurements on this lattice generate a three-dimensional space-time combi- natorial structure. I then develop an integer program that analyzes this structure and determines the most likely set of errors consistent with the observed syndrome values. Iimplementthisintegerprogramtofindthethresholdfordepolarizingnoiseonsmall versions of these triangular codes. Because the threshold for magic-state distillation is likely to be higher than this value and because logical CNOT gates can be performed by code deformation in a single block instead of between pairs of blocks, the threshold for fault-tolerant quantum memory for these codes is also the threshold for fault-tolerant quantum computation with them. Since the advent of a threshold theorem for quantum computers much has been im- proved upon. Thresholds have increased, architectures have become more local, and gate sets have been simplified. The overhead for magic-state distillation has been studied, but not nearly to the extent of the aforementioned topics. A method for greatly reducing this overhead, known as reusable magic states, is studied here. While examples of reusable magic states exist for Clifford gates, I give strong reasons to believe they do not exist for non-Clifford gates. vi Contents List of Figures xiv 1Introduction 1 1.1 A brief history of error correction ...................... 1 1.2 Overview ................................... 5 2IntroductiontoQuantumErrorCorrection 7 2.1 Quantum Channels .............................. 8 2.2 Quantum Channels and Error Correction .................. 11 2.3 Commonly Studied Error Channels ..................... 13 2.4 The Pauli Group ............................... 15 2.5 The Clifford Group .............................. 16 2.6 Stabilizer Formalism ............................. 20 2.6.1 Stabilizer Update Rules ....................... 23 2.7 Stabilizer Codes ................................ 26 vii Contents 2.7.1 Pauli Group Alchemy ......................... 28 2.7.2 More on Logical Operators ...................... 30 2.7.3 CSS codes ............................... 31 2.7.4 Stabilizer Subsystem Codes ..................... 34 2.8 Fault-tolerance ................................ 35 2.8.1 The quest for an easy-to-implement fault-tolerant gate set. .... 38 2.8.2 Transversal gates and CSS codes .................. 40 2.8.3 The Magic Protocol .......................... 44 2.9 Universality .................................. 49 3IntroductiontoTopologicalCodes 53 3.1 Creating and Moving Defects ........................ 55 3.2 Braiding Defects ............................... 59 4HomologicalStabilizerCodes 65 4.1 Introduction .................................. 66 4.2 Graph Theory ................................. 68 4.3 Non-planar surfaces .............................. 74 4.4 Kitaev’s toric code .............................. 78 4.5 Color Codes .................................. 81 4.6 Homological Stabilizer Codes ........................ 82 viii Contents 4.7 Label Set Equivalence ............................ 88 4.8 4-colorable graphs ............................... 91 4.9 Optimal HSCs ................................. 94 4.10 Punctures ................................... 96 4.11 Boundaries .................................. 98 4.12 Conclusion ................................... 100 5 FTQC with the Topological Color Codes 102 5.1 Introduction .................................. 104 5.2 Noise and control model ........................... 108 5.3 Fault-tolerant error correction of color codes ................ 112 5.3.1 Code family .............................. 112 5.3.2 Syndrome extraction ......................... 115 5.3.3 Decoding algorithm .......................... 120 5.4 Numerical estimate of the accuracy threshold for fault-tolerant quantum error correction ................................ 128 5.4.1 Code capacity noise model ...................... 128 5.4.2 Phenomenological noise model .................... 133 5.4.3 Circuit-level noise model ....................... 138 5.5 Analytic bound on the accuracy threshold for fault-tolerant quantum error correction ................... 142 ix Contents 5.5.1 Code capacity noise model ...................... 143 5.5.2 Phenomenological noise model .................... 144 5.6 Fault-tolerant computation with color codes ................ 146 5.6.1 Fault-tolerance by transversal gates ................
Recommended publications
  • The Minimal Modal Interpretation of Quantum Theory
    The Minimal Modal Interpretation of Quantum Theory Jacob A. Barandes1, ∗ and David Kagan2, y 1Jefferson Physical Laboratory, Harvard University, Cambridge, MA 02138 2Department of Physics, University of Massachusetts Dartmouth, North Dartmouth, MA 02747 (Dated: May 5, 2017) We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure|which we call subsystem space|that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text.
    [Show full text]
  • Quantum Computation Beyond the Unitary Circuit Model
    Quantum Computation Beyond the Unitary Circuit Model Na¨ıri Usher A thesis submitted to University College London for the degree of Doctor of Philosophy Department of Physics and Astronomy University College London September 2016 I, Na¨ıri Usher, confirm that the work presented in this thesis is my own. Where information has been derived from other sources, I confirm that this has been indicated in the thesis. Signed: Date: 1 Publications The majority of the work presented in this thesis contains materials from the following publications: N. Usher, and D.E. Browne, Noise in Measurement-Based Quantum Computing, arXiv:1704.07298. N. Usher, M.J. Hoban, and D.E. Browne, Constructing Local Hamiltonians from Non-unitary Quan- tum Computation, arXiv:1703:08118. M.J. Hoban, J.J. Wallman, H. Anwar, N. Usher, R. Raussendorf, and D.E. Browne, Measurement- Based Classical Computation, Phys. Rev. Lett. 112, 140505 (2014). 2 Acknowledgements I am thankful for my time at UCL which has brought to me more than words can convey. First and foremost, I am thankful to Dan for having supported and guided me throughout my PhD with endless patience and kindness. I am truly grateful for his encouragement to explore and investigate questions I found interesting as well as for everything I had the chance to learn from him. I wish to thank my examiners Shashank and Sougato for having taken the time to read this thesis as well as for offering valuable feedback for its improvement. I was fortunate to collaborate with Matty, with whom I shared many both interesting and entertaining discussions, and I am thankful for his invaluable insights and encouragement.
    [Show full text]
  • Alice and Bob Meet Banach the Interface of Asymptotic Geometric Analysis and Quantum Information Theory
    Mathematical Surveys and Monographs Volume 223 Alice and Bob Meet Banach The Interface of Asymptotic Geometric Analysis and Quantum Information Theory Guillaume Aubrun Stanisđaw J. Szarek American Mathematical Society 10.1090/surv/223 Alice and Bob Meet Banach The Interface of Asymptotic Geometric Analysis and Quantum Information Theory Mathematical Surveys and Monographs Volume 223 Alice and Bob Meet Banach The Interface of Asymptotic Geometric Analysis and Quantum Information Theory Guillaume Aubrun Stanisđaw J. Szarek American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Robert Guralnick Benjamin Sudakov Michael A. Singer, Chair Constantin Teleman MichaelI.Weinstein 2010 Mathematics Subject Classification. Primary 46Bxx, 52Axx, 81Pxx, 46B07, 46B09, 52C17, 60B20, 81P40. For additional information and updates on this book, visit www.ams.org/bookpages/surv-223 Library of Congress Cataloging-in-Publication Data Names: Aubrun, Guillaume, 1981- author. | Szarek, Stanislaw J., author. Title: Alice and Bob Meet Banach: The interface of asymptotic geometric analysis and quantum information theory / Guillaume Aubrun, Stanislaw J. Szarek. Description: Providence, Rhode Island : American Mathematical Society, [2017] | Series: Mathe- matical surveys and monographs ; volume 223 | Includes bibliographical references and index. Identifiers: LCCN 2017010894 | ISBN 9781470434687 (alk. paper) Subjects: LCSH: Geometric analysis. | Quantum theory. | AMS: Functional analysis – Normed linear spaces and Banach spaces; Banach lattices – Normed linear spaces and Banach spaces; Banach lattices. msc | Convex and discrete geometry – General convexity – General convex- ity. msc | Quantum theory – Axiomatics, foundations, philosophy – Axiomatics, foundations, philosophy. msc | Functional analysis – Normed linear spaces and Banach spaces; Banach lattices – Local theory of Banach spaces. msc | Functional analysis – Normed linear spaces and Banach spaces; Banach lattices – Probabilistic methods in Banach space theory.
    [Show full text]
  • An Introduction to Operational Quantum Dynamics
    Open Systems & Information Dynamics Vol. 24, No. 4 (2017) 1740016 (35 pages) DOI:10.1142/S1230161217400169 c World Scientific Publishing Company An Introduction to Operational Quantum Dynamics Simon Milz1, Felix A. Pollock2, and Kavan Modi3 School of Physics and Astronomy, Monash University, Clayton, Victoria 3800, Australia 1 e-mail: [email protected] 2 e-mail: [email protected] 3 e-mail: [email protected] (Received: August 2, 2017; Accepted: August 10, 2017; Published: November 30, 2017) Abstract. This special volume celebrates the 40th anniversary of the discovery of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, which is widely used in quantum physics and quantum chemistry. The present contribution aims to celebrate a related dis- covery — also by Sudarshan — that of Quantum Maps (which had their 55th anniversary in the same year). Nowadays, much like the master equation, quantum maps are ubiquitous in physics and chemistry. Their importance in quantum information and related fields can- not be overstated. Here, we motivate quantum maps from a tomographic perspective, and derive their well-known representations. We then dive into the murky world beyond these maps, where recent research has yielded their generalisation to non-Markovian quantum processes. Keywords: Open quantum systems; quantum maps; non-Markovianity; operational quan- tum mechanics; quantum tomography. 1. Introduction Describing changes in a system state is the principal goal of any mathemat- ical theory of dynamics. In order to be physically relevant, this description Open Syst. Inf. Dyn. 2017.24. Downloaded from www.worldscientific.com must be faithful to what is observed in experiments. For quantum systems, a dynamical theory must quantify how measurement statistics of different observables can change from one moment to the next, even when the system in question may be interacting with its wider environment, which is typically large, uncontrollable and experimentally inaccessible.
    [Show full text]
  • The Formalism of Quantum Mechanics
    The Formalism of Quantum Mechanics In this Appendix we present only those concepts of quantum mechanics which are of great importance for the book and are not commonly well known: density matrices, the mathematical background of the Heisenberg uncertainty relations, and Feynman path integrals. AI. The density matrix The density matrix is used for the representation of a wider class of states of a quantum system than pure states represented by state vectors l'l,b). Yet all essentially quantum phenomena may be described in the language of pure states (state vectors) because, as we shall see below, a density matrix contains both quantum and classical elements (respectively state vectors and probabilities). Al.l. SUBSYSTEM STATE To arrive at the concept of a density matrix we shall consider the system of interest as a subsystem of a larger system; but first we introduce the trace of an operator. Trace of an operator An arbitrary operator B may be represented by its matrix elements: The trace of the operator is defined as the sum of its diagonal elements: (A.l) Making use of the property of any complete orthonormal basis l'l,bi) , L 1'l,b2) ('l,bi I = 1, i one may show that the value (A.l) does not depend on the choice of the basis. It is easy to derive the following very simple rule for the evaluation of an operator of the special form, B = I'P) (X I: tr(I'P)(xi) = (xl'P), 201 202 APPENDIX A and then, applying the linearity of the operation of taking the trace, Analogously, using the definition of the trace, we can show that cycling of the product of operators may be made under the sign of trace: tr(ABC ..
    [Show full text]
  • Arxiv:1907.09689V2 [Quant-Ph] 9 May 2021 Non-Commutative
    Non-commutative disintegrations: existence and uniqueness in finite dimensions Arthur J. Parzygnat and Benjamin P. Russo May 11, 2021 Abstract Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C∗-algebras. We show that C∗-algebras (resp. W ∗-algebras) and a.e. equivalence classes of 2-positive (resp. positive) unital maps form a category. We prove non-commutative disintegrations are a.e. unique whenever they exist. We provide an explicit characterization for when disintegrations exist in the setting of finite-dimensional C∗-algebras, and we give formulas for the associated disintegrations. Contents 1 Introduction and outline 1 2 Non-commutative a.e. equivalence 3 3 Categories of C*-algebras, states, and morphisms 13 4 Non-commutative disintegrations on matrix algebras 17 5 Disintegrations on finite-dimensional C∗-algebras 24 6 Example: measurement in quantum mechanics 40 A Equivalent definitions of disintegration 42 arXiv:1907.09689v2 [quant-ph] 9 May 2021 Bibliography 49 1 Introduction and outline Regular conditional probabilities, optimal hypotheses, disintegrations of one measure over another consistent with a measure-preserving map, conditional expectations, perfect error-correcting codes, and sufficient statistics are all examples of a single mathematical notion. We call this notion a disintegration. Although we only make the connection between our definition of disintegration 2020 Mathematics Subject Classification. 46L53 (Primary); 47B65, 81R15, 46M15 (Secondary). Key words and phrases. Bayesian inverse; categorical quantum mechanics; conditional expectation; optimal hypothesis; pre-Hilbert module; quantum measurement; quantum probability; regular conditional probability. 1 and the first three examples listed, relationships to the other notions are described in [34], and further connections will be made in subsequent work.
    [Show full text]
  • Algorithmic Quantum Channel Simulation
    University of Calgary PRISM: University of Calgary's Digital Repository Graduate Studies The Vault: Electronic Theses and Dissertations 2015-09-18 Algorithmic Quantum Channel Simulation Wang, Dongsheng Wang, D. (2015). Algorithmic Quantum Channel Simulation (Unpublished doctoral thesis). University of Calgary, Calgary, AB. doi:10.11575/PRISM/24767 http://hdl.handle.net/11023/2466 doctoral thesis University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. Downloaded from PRISM: https://prism.ucalgary.ca UNIVERSITY OF CALGARY Algorithmic Quantum Channel Simulation by Dongsheng Wang A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF PHYSICS AND ASTRONOMY CALGARY, ALBERTA SEPTEMBER, 2015 c Dongsheng Wang 2015 Abstract Quantum simulation, which is generically the task to employ quantum computers to simu- late quantum physical models, has been one of the most significant motivations of quantum computing. Quantum dynamics, unitary or nonunitary Markovian dynamics driven by local interactions, has been proved to be efficiently simulatable on quantum computers. Extend- ing the underlying models from unitary to nonunitary evolution, and from continuous-time to discrete-time evolution is essential not only for quantum simulation of more general pro- cesses, e.g., dissipative processes with evident non-Markovian effects, but also for developing alternative quantum computing models and algorithms.
    [Show full text]
  • An Introduction to Operational Quantum Dynamics
    An introduction to operational quantum dynamics Simon Milz,∗ Felix A. Pollock,y and Kavan Modiz School of Physics and Astronomy, Monash University, Clayton, Victoria 3800, Australia (Dated: August 3, 2017) In the summer of 2016, physicists gathered in Toru´n,Poland for the 48th annual Sym- posium on Mathematical Physics. This Symposium was special; it celebrated the 40th an- niversary of the discovery of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, which is widely used in quantum physics and quantum chemistry. This article forms part of a Special Volume of the journal Open Systems & Information Dynamics arising from that conference; and it aims to celebrate a related discovery { also by Sudarshan { that of Quan- tum Maps (which had their 55th anniversary in the same year). Nowadays, much like the master equation, quantum maps are ubiquitous in physics and chemistry. Their importance in quantum information and related fields cannot be overstated. In this manuscript, we motivate quantum maps from a tomographic perspective, and derive their well-known rep- resentations. We then dive into the murky world beyond these maps, where recent research has yielded their generalisation to non-Markovian quantum processes. arXiv:1708.00769v1 [quant-ph] 2 Aug 2017 ∗ [email protected] y [email protected] z [email protected] 2 CONTENTS I. Quantum maps and their representations4 A. Structure of linear maps5 1. Tomographic representation6 2. Operator-sum representation8 B. Matrix representations9 1. Sudarshan's A form9 2. Sudarshan's B form 10 C. Choi-Jamio lkowski isomorphism 11 D. Operator sum representation revisited 12 E. Properties of quantum maps 13 1.
    [Show full text]
  • Genesis of Karl Popper's EPR-Like Experiment and Its Resonance Amongst the Physics Community in the 1980S Abstract Keywords
    © <2017>. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ Genesis of Karl Popper’s EPR-Like Experiment and its Resonance amongst the Physics Community in the 1980s Flavio Del Santo –Faculty of Physics, University of Vienna. [email protected] Abstract I present the reconstruction of the involvement of Karl Popper in the community of physicists concerned with foundations of quantum mechanics, in the 1980s. At that time Popper gave active contribution to the research in physics, of which the most significant is a new version of the EPR thought experiment, alleged to test different interpretations of quantum mechanics. The genesis of such an experiment is reconstructed in detail, and an unpublished letter by Popper is reproduced in the present paper to show that he formulated his thought experiment already two years before its first publication in 1982. The debate stimulated by the proposed experiment as well as Popper’s role in the physics community throughout 1980s is here analysed in detail by means of personal correspondence and publications. Keywords: Karl Popper’s contribution to physics, foundations of quantum mechanics, variant of the EPR experiment, experimental falsification of Copenhagen interpretation, role of Popper in the physics community, Popper’s unpublished materials. 1. Introduction: a fruitful collaboration between physics and philosophy Quantum Mechanics (QM) has been referred to as “the most successful theory that humanity has ever developed; the brightest jewel in our intellectual crown” (Styer, 2000). Sir Karl R. Popper (1902-1994) is regarded as “by any measure one of the preeminent philosophers of the twentieth century” (Shield, 2012) and no doubt "one of the greatest philosophers of science” of his time (Thornton 2016).
    [Show full text]
  • Quantum Information Theory
    Quantum Information Theory Joseph M. Renes With elements from the script of Renato Renner & Matthias Christandl and contributions by Christopher Portmann February 4, 2015 Lecture Notes ETH Zürich HS2014 Revision: f4e02a9be866 Branch: full Date: Wed, 04 Feb 2015 14:51:33 +0100 Contents Contents i 1 Introduction 1 1.1 Bits versus qubits............................................. 1 1.2 No cloning................................................. 2 1.3 Measurement and disturbance .................................... 3 1.4 Quantum key distribution....................................... 3 1.5 Quantum computation is not like classical computation ................... 4 1.6 Notes & Further reading........................................ 6 2 Probability Theory7 2.1 What is probability?........................................... 7 2.2 Probability spaces and random variables.............................. 8 2.3 Discrete random variables....................................... 11 2.4 Channels.................................................. 14 2.5 Vector representation of finite discrete spaces........................... 16 2.6 Notes & Further reading........................................ 19 2.7 Exercises .................................................. 20 3 Quantum Mechanics 23 3.1 The postulates of quantum mechanics ............................... 23 3.2 Qubits.................................................... 24 3.3 Comparison with classical probability theory .......................... 26 3.4 Bipartite states and entanglement .................................
    [Show full text]
  • Developments in Quantum Probability and the Copenhagen Approach
    entropy Review Developments in Quantum Probability and the Copenhagen Approach Gregg Jaeger 1,2 ID 1 Quantum Communication and Measurement Laboratory, Department of Electrical and Computer Engineering, Boston University, Boston, MA 02215, USA; [email protected] 2 Division of Natural Science and Mathematics, Boston University, Boston, MA 02215, USA Received: 2 May 2018; Accepted: 28 May 2018; Published: 31 May 2018 Abstract: In the Copenhagen approach to quantum mechanics as characterized by Heisenberg, probabilities relate to the statistics of measurement outcomes on ensembles of systems and to individual measurement events via the actualization of quantum potentiality. Here, brief summaries are given of a series of key results of different sorts that have been obtained since the final elements of the Copenhagen interpretation were offered and it was explicitly named so by Heisenberg—in particular, results from the investigation of the behavior of quantum probability since that time, the mid-1950s. This review shows that these developments have increased the value to physics of notions characterizing the approach which were previously either less precise or mainly symbolic in character, including complementarity, indeterminism, and unsharpness. Keywords: quantum probability; potentiality; complementarity; uncertainty relations; Copenhagen interpretation; indefiniteness; indeterminism; causation; randomness 1. Introduction The orthodox approach to quantum theory emerged primarily from interactions in Copenhagen and elsewhere from the work of Niels Bohr, Werner Heisenberg, and Wolfgang Pauli, depending also on contributions of Max Born, and was largely set out by 1927, cf. [1–4]. After various criticisms of the initial form, Bohr focused more strongly on complementarity in the 1930s, and Heisenberg—in a strong response of 1955 in which the basis of the approach can be considered to have been essentially finalized—added the new element of actualization of potentiality to its approach to quantum probability [5].
    [Show full text]
  • Wavefunctions and Minkowski Space-Time on the Reconciliation of Quantum Theory with Special Relativity
    Wavefunctions and Minkowski Space-Time On the Reconciliation of Quantum Theory with Special Relativity Christian Beck Diplomarbeit an der Fakult¨atf¨urPhysik der Ludwig{Maximilians{Universit¨at M¨unchen vorgelegt von Christian Beck M¨unchen,den 29. Juli 2010 Erstgutachter: Prof. Dr. D. D¨urr Zweitgutachter: Prof. Dr. D. L¨ust Wavefunctions and Minkowski Space-Time On the Reconciliation of Quantum Theory with Special Relativity Christian Beck∗ July 29, 2010 Abstract The implications of the relativistic space-time structure for a physical description by quan- tum mechanical wave-functions are investigated. On the basis of a detailed analysis of Bell's concept of local causality, which is violated in quantum theory, we argue that this is a sub- tle, as well as an important effort. A central requirement appearing in relativistic quantum mechanics, namely local commutativity, is analyzed in detail and possible justifications are given and discussed. The complexity of the implications of wave function reduction in connection with Minkowski space-time are illustrated by a quantum mechanical mea- surement procedure which was proposed by Aharonov and Albert. This procedure and its relativistic implications are explicitly analyzed and discussed in terms of state evolution. This analysis shows that the usual notion of state evolution fails in relativistic quantum theory. Two possible solutions of this problem are given. In particular, it is shown that also a theory with a distinguished foliation of space-time into space-like leafs { accounting for nonlocality { makes the right predictions for the Aharonov-Albert experiment. We will repeatedly encounter that an analysis of the wave-function alone does not suffice to answer the question of relativistic compatibility of the theory, but that the actual events in space time, which are predicted and described by the theory, are crucial.
    [Show full text]