Quantum State Entanglement Creation, Characterization, and Application
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. -
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. -
The Concept of Quantum State : New Views on Old Phenomena Michel Paty
The concept of quantum state : new views on old phenomena Michel Paty To cite this version: Michel Paty. The concept of quantum state : new views on old phenomena. Ashtekar, Abhay, Cohen, Robert S., Howard, Don, Renn, Jürgen, Sarkar, Sahotra & Shimony, Abner. Revisiting the Founda- tions of Relativistic Physics : Festschrift in Honor of John Stachel, Boston Studies in the Philosophy and History of Science, Dordrecht: Kluwer Academic Publishers, p. 451-478, 2003. halshs-00189410 HAL Id: halshs-00189410 https://halshs.archives-ouvertes.fr/halshs-00189410 Submitted on 20 Nov 2007 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. « The concept of quantum state: new views on old phenomena », in Ashtekar, Abhay, Cohen, Robert S., Howard, Don, Renn, Jürgen, Sarkar, Sahotra & Shimony, Abner (eds.), Revisiting the Foundations of Relativistic Physics : Festschrift in Honor of John Stachel, Boston Studies in the Philosophy and History of Science, Dordrecht: Kluwer Academic Publishers, 451-478. , 2003 The concept of quantum state : new views on old phenomena par Michel PATY* ABSTRACT. Recent developments in the area of the knowledge of quantum systems have led to consider as physical facts statements that appeared formerly to be more related to interpretation, with free options. -
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. -
Quantum Computing a New Paradigm in Science and Technology
Quantum computing a new paradigm in science and technology Part Ib: Quantum computing. General documentary. A stroll in an incompletely explored and known world.1 Dumitru Dragoş Cioclov 3. Quantum Computer and its Architecture It is fair to assert that the exact mechanism of quantum entanglement is, nowadays explained on the base of elusive A quantum computer is a machine conceived to use quantum conjectures, already evoked in the previous sections, but mechanics effects to perform computation and simulation this state-of- art it has not impeded to illuminate ideas and of behavior of matter, in the context of natural or man-made imaginative experiments in quantum information theory. On this interactions. The drive of the quantum computers are the line, is worth to mention the teleportation concept/effect, deeply implemented quantum algorithms. Although large scale general- purpose quantum computers do not exist in a sense of classical involved in modern cryptography, prone to transmit quantum digital electronic computers, the theory of quantum computers information, accurately, in principle, over very large distances. and associated algorithms has been studied intensely in the last Summarizing, quantum effects, like interference and three decades. entanglement, obviously involve three states, assessable by The basic logic unit in contemporary computers is a bit. It is zero, one and both indices, similarly like a numerical base the fundamental unit of information, quantified, digitally, by the two (see, e.g. West Jacob (2003). These features, at quantum, numbers 0 or 1. In this format bits are implemented in computers level prompted the basic idea underlying the hole quantum (hardware), by a physic effect generated by a macroscopic computation paradigm. -
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. -
Entanglement of the Uncertainty Principle
Open Journal of Mathematics and Physics | Volume 2, Article 127, 2020 | ISSN: 2674-5747 https://doi.org/10.31219/osf.io/9jhwx | published: 26 Jul 2020 | https://ojmp.org EX [original insight] Diamond Open Access Entanglement of the Uncertainty Principle Open Quantum Collaboration∗† August 15, 2020 Abstract We propose that position and momentum in the uncertainty principle are quantum entangled states. keywords: entanglement, uncertainty principle, quantum gravity The most updated version of this paper is available at https://osf.io/9jhwx/download Introduction 1. [1] 2. Logic leads us to conclude that quantum gravity–the theory of quan- tum spacetime–is the description of entanglement of the quantum states of spacetime and of the extra dimensions (if they really ex- ist) [2–7]. ∗All authors with their affiliations appear at the end of this paper. †Corresponding author: [email protected] | Join the Open Quantum Collaboration 1 Quantum Gravity 3. quantum gravity quantum spacetime entanglement of spacetime 4. Quantum spaceti=me might be in a sup=erposition of the extra dimen- sions [8]. Notation 5. UP Uncertainty Principle 6. UP= the quantum state of the uncertainty principle ∣ ⟩ = Discussion on the notation 7. The universe is mathematical. 8. The uncertainty principle is part of our universe, thus, it is described by mathematics. 9. A physical theory must itself be described within its own notation. 10. Thereupon, we introduce UP . ∣ ⟩ Entanglement 11. UP α1 x1p1 α2 x2p2 α3 x3p3 ... 12. ∣xi ⟩u=ncer∣tainty⟩ +in po∣ sitio⟩n+ ∣ ⟩ + 13. pi = uncertainty in momentum 14. xi=pi xi pi xi pi ∣ ⟩ = ∣ ⟩ ∣ ⟩ = ∣ ⟩ ⊗ ∣ ⟩ 2 Final Remarks 15. -
Path Integral for the Hydrogen Atom
Path Integral for the Hydrogen Atom Solutions in two and three dimensions Vägintegral för Väteatomen Lösningar i två och tre dimensioner Anders Svensson Faculty of Health, Science and Technology Physics, Bachelor Degree Project 15 ECTS Credits Supervisor: Jürgen Fuchs Examiner: Marcus Berg June 2016 Abstract The path integral formulation of quantum mechanics generalizes the action principle of classical mechanics. The Feynman path integral is, roughly speaking, a sum over all possible paths that a particle can take between fixed endpoints, where each path contributes to the sum by a phase factor involving the action for the path. The resulting sum gives the probability amplitude of propagation between the two endpoints, a quantity called the propagator. Solutions of the Feynman path integral formula exist, however, only for a small number of simple systems, and modifications need to be made when dealing with more complicated systems involving singular potentials, including the Coulomb potential. We derive a generalized path integral formula, that can be used in these cases, for a quantity called the pseudo-propagator from which we obtain the fixed-energy amplitude, related to the propagator by a Fourier transform. The new path integral formula is then successfully solved for the Hydrogen atom in two and three dimensions, and we obtain integral representations for the fixed-energy amplitude. Sammanfattning V¨agintegral-formuleringen av kvantmekanik generaliserar minsta-verkanprincipen fr˚anklassisk meka- nik. Feynmans v¨agintegral kan ses som en summa ¨over alla m¨ojligav¨agaren partikel kan ta mellan tv˚a givna ¨andpunkterA och B, d¨arvarje v¨agbidrar till summan med en fasfaktor inneh˚allandeden klas- siska verkan f¨orv¨agen.Den resulterande summan ger propagatorn, sannolikhetsamplituden att partikeln g˚arfr˚anA till B. -
Two-State Systems
1 TWO-STATE SYSTEMS Introduction. Relative to some/any discretely indexed orthonormal basis |n) | ∂ | the abstract Schr¨odinger equation H ψ)=i ∂t ψ) can be represented | | | ∂ | (m H n)(n ψ)=i ∂t(m ψ) n ∂ which can be notated Hmnψn = i ∂tψm n H | ∂ | or again ψ = i ∂t ψ We found it to be the fundamental commutation relation [x, p]=i I which forced the matrices/vectors thus encountered to be ∞-dimensional. If we are willing • to live without continuous spectra (therefore without x) • to live without analogs/implications of the fundamental commutator then it becomes possible to contemplate “toy quantum theories” in which all matrices/vectors are finite-dimensional. One loses some physics, it need hardly be said, but surprisingly much of genuine physical interest does survive. And one gains the advantage of sharpened analytical power: “finite-dimensional quantum mechanics” provides a methodological laboratory in which, not infrequently, the essentials of complicated computational procedures can be exposed with closed-form transparency. Finally, the toy theory serves to identify some unanticipated formal links—permitting ideas to flow back and forth— between quantum mechanics and other branches of physics. Here we will carry the technique to the limit: we will look to “2-dimensional quantum mechanics.” The theory preserves the linearity that dominates the full-blown theory, and is of the least-possible size in which it is possible for the effects of non-commutivity to become manifest. 2 Quantum theory of 2-state systems We have seen that quantum mechanics can be portrayed as a theory in which • states are represented by self-adjoint linear operators ρ ; • motion is generated by self-adjoint linear operators H; • measurement devices are represented by self-adjoint linear operators A. -
A Light-Matter Quantum Interface: Ion-Photon Entanglement and State Mapping
A light-matter quantum interface: ion-photon entanglement and state mapping Dissertation zur Erlangung des Doktorgrades an der Fakult¨atf¨urMathematik, Informatik und Physik der Leopold-Franzens-Universit¨atInnsbruck vorgelegt von Andreas Stute durchgef¨uhrtam Institut f¨urExperimentalphysik unter der Leitung von Univ.-Prof. Dr. Rainer Blatt Innsbruck, Dezember 2012 Abstract Quantum mechanics promises to have a great impact on computation. Motivated by the long-term vision of a universal quantum computer that speeds up certain calcula- tions, the field of quantum information processing has been growing steadily over the last decades. Although a variety of quantum systems consisting of a few qubits have been used to implement initial algorithms successfully, decoherence makes it difficult to scale up these systems. A powerful technique, however, could surpass any size limitation: the connection of individual quantum processors in a network. In a quantum network, “flying” qubits coherently transfer information between the stationary nodes of the network that store and process quantum information. Ideal candidates for the physical implementation of nodes are single atoms that exhibit long storage times; optical photons, which travel at the speed of light, are ideal information carriers. For coherent information transfer between atom and photon, a quantum interface has to couple the atom to a particular optical mode. This thesis reports on the implementation of a quantum interface by coupling a single trapped 40Ca+ ion to the mode of a high-finesse optical resonator. Single intra- cavity photons are generated in a vacuum-stimulated Raman process between two atomic states driven by a laser and the cavity vacuum field. -
GPS and the Search for Axions
GPS and the Search for Axions A. Nicolaidis1 Theoretical Physics Department Aristotle University of Thessaloniki, Greece Abstract: GPS, an excellent tool for geodesy, may serve also particle physics. In the presence of Earth’s magnetic field, a GPS photon may be transformed into an axion. The proposed experimental setup involves the transmission of a GPS signal from a satellite to another satellite, both in low orbit around the Earth. To increase the accuracy of the experiment, we evaluate the influence of Earth’s gravitational field on the whole quantum phenomenon. There is a significant advantage in our proposal. While the geomagnetic field B is low, the magnetized length L is very large, resulting into a scale (BL)2 orders of magnitude higher than existing or proposed reaches. The transformation of the GPS photons into axion particles will result in a dimming of the photons and even to a “light shining through the Earth” phenomenon. 1 Email: [email protected] 1 Introduction Quantum Chromodynamics (QCD) describes the strong interactions among quarks and gluons and offers definite predictions at the high energy-perturbative domain. At low energies the non-linear nature of the theory introduces a non-trivial vacuum which violates the CP symmetry. The CP violating term is parameterized by θ and experimental bounds indicate that θ ≤ 10–10. The smallness of θ is known as the strong CP problem. An elegant solution has been offered by Peccei – Quinn [1]. A global U(1)PQ symmetry is introduced, the spontaneous breaking of which provides the cancellation of the θ – term. As a byproduct, we obtain the axion field, the Nambu-Goldstone boson of the broken U(1)PQ symmetry.