DOCSLIB.ORG

3Cmentanglement Theory and Its Applications in Gaussian Quantum

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
3Cmentanglement Theory and Its Applications in Gaussian Quantum Entanglement Theory and its Applications in Gaussian Quantum Information Spyros Tserkis B.Sc., M.Sc. A thesis submitted for the degree of Doctor of Philosophy at The University of Queensland in 2019 School of Mathematics and Physics ii Abstract Entanglement is a physical property, emerging from the superposition of composite quantum systems, and manifested through non-classical correlations of quantum observables. In the field of Quantum Information, entanglement is considered the “resource” for various quantum protocols, so the ability to quantify it would allow us to associate it with the success of those protocols. Entanglement of formation is a proper way to quantify entanglement, but an analytical expression for this measure exists only for special cases. In this thesis, we focus on two-mode Gaussian states, and we derive narrow upper and lower bounds for this measure that get tight for several special cases. We further study how quantum teleportation and entanglement distillation can be employed in order to error-correct information encoded on a Gaussian state that suffers from Gaussian noise. In particular, we derive every physical state able to simulate a given phase-insensitive Gaussian channel through teleportation with finite-energy resources, and show how error-correction of a state is related to the simulation ofa less decohering channel that the state has to pass through. We also discuss how the premise that the whole environment is under control of the adversary in quantum key distribution can be eliminated if we consider a teleportation-based eavesdropping attack. More specifically, we propose an all-optical teleportation attack that under collective measurements can reach optimality in the limit of infinite amount of entanglement, while for finite entanglement resources it outperforms the corresponding optimal individual attack. Finally, we show how using a class of finite-energy resource states we can increasingly approximate the infinite-energy bounds for decreasing purity, so that they provide tight upper bounds to the secret-key capacity of single-mode phase-insensitive Gaussian channels. Declaration by author This thesis is composed of my original work, and contains no material previously published or written by another person except where due reference has been made in the text. I have clearly stated the contribution by others to jointly-authored works that I have included in my thesis. I have clearly stated the contribution of others to my thesis as a whole, including statistical assistance, survey design, data analysis, significant technical procedures, professional editorial advice, financial support and any other original research work used or reported in my thesis. Thecontentof my thesis is the result of work I have carried out since the commencement of my higher degree by research candidature and does not include a substantial part of work that has been submitted to qualify for the award of any other degree or diploma in any university or other tertiary institution. I have clearly stated which parts of my thesis, if any, have been submitted to qualify for another award. I acknowledge that an electronic copy of my thesis must be lodged with the University Library and, subject to the policy and procedures of The University of Queensland, the thesis be made available for research and study in accordance with the Copyright Act 1968 unless a period of embargo has been approved by the Dean of the Graduate School. I acknowledge that copyright of all material contained in my thesis resides with the copyright holder(s) of that material. Where appropriate I have obtained copyright permission from the copyright holder to reproduce material in this thesis and have sought permission from co-authors for any jointly authored works included in the thesis. Spyros Tserkis Publications included in this thesis 1. Spyros Tserkis and Timothy C. Ralph, Quantifying entanglement in two-mode Gaussian states, Physical Review A 96, 062338 (2017). 2. Spyros Tserkis, Josephine Dias, and Timothy C. Ralph, Simulation of Gaussian channels via teleportation and error correction of Gaussian states, Physical Review A 98, 052335 (2018). 3. Spyros Tserkis, Sho Onoe, and Timothy C. Ralph, Quantifying entanglement of formation for two-mode Gaussian states: Analytical expressions for upper and lower bounds and numerical estimation of its exact value, Physical Review A 99, 052337 (2019). 4. Riccardo Laurenza, Spyros Tserkis, Leonardo Banchi, Samuel L. Braunstein, Timothy C. Ralph, and Stefano Pirandola, Tight bounds for private communication over bosonic Gaussian channels based on teleportation simulation with optimal finite resources, Physical Review A 100, 042301 (2019). 5. Spyros Tserkis, Neda Hosseinidehaj, Nathan Walk, and Timothy C. Ralph, Teleportation-based collective attacks in Gaussian quantum key distribution, Physical Review Research 2, 013208 (2020). Other publications and preprints during candidature 1. Hao Jeng, Spyros Tserkis, Jing Yan Haw, Helen M. Chrzanowski, Jiri Janousek, Timothy C. Ralph, Ping Koy Lam, and Syed M. Assad, Entanglement properties of a measurement-based entanglement distillation experiment, Physical Review A 99, 042304 (2019). 2. Cheng Jiang, Spyros Tserkis, Kevin Collins, Sho Onoe, Yong Li, Lin Tian, Switchable bipartite and genuine tripartite entanglement via an optoelectromechanical interface, arXiv:1910.13173. Contributions by others to the thesis Prof. Timothy C. Ralph has supervised all the projects/papers discussed in this thesis (presented in Chapters 6-9), and, along with Dr. Austin P. Lund, provided critical feedback for improvements and revisions of the whole thesis. I also acknowledge the contributions by Josephine Dias in Ref. [1], Sho Onoe in Ref. [2], Neda Hosseinidehaj and Nathan Walk in Ref. [3], who helped in the preparation of those manuscripts by giving feedback and editing parts of the manuscripts. Contributions by Stefano Pirandola, Leonardo Banchi, Riccardo Laurenza, and Samuel L. Braunstein regarding Ref. [4], are discussed in the beginning of Chapter 9. Statement of parts of the thesis submitted to qualify for the award of another degree No works submitted towards another degree have been included in this thesis. Research involving human or animal subjects No animal or human subjects were involved in this research. Acknowledgements I would like to acknowledge, and express my gratitude to my principal advisor, Tim Ralph, for the patient guidance, encouragement, and advice he has provided me throughout my PhD candidature. I would also like to thank my associate advisor, Austin Lund, for his support and the fruitful discussions during my studies. My sincere acknowledgement goes to my colleagues and co-authors, Josephine Dias, Nedasadat Hosseibnidehaj and Sho Onoe. I am also grateful for meeting and collaborating with Stefano Pirandola, Riccardo Laurenza, Samuel Braunstein, Syed Assad, Hao Jeng, Ping Koy Lam, Nathan Walk, and Leonardo Banchi. I would like to thank our group administrator, Kaerin Gardner, and the postgrad administrator, Murray Kane, for being so helpful to me during my studies. Special thanks to Farid Shahandeh and Anatoly Kulikov for our interesting discussions. I am also thankful for meeting all the members of the Quantum Optics and Quantum Information group. Financial support This research was supported by: • the University of Queensland International Scholarship (tuition fee award and living allowance stipend), awarded by The University of Queensland. • the Research Higher Degree Scholarship (living allowance top-up), awarded by the Australian Research Council Centre of Excellence for Quantum Computation and Communication Technol- ogy (CE110001027 and CE170100012) and the Australian Department of Defence, Innovation Hub. Keywords Keywords: quantum information, quantum communication, quantum entanglement, quantum correla- tions, quantum teleportation, quantum error correction, quantum key distribution, quantum channel capacities Australian and New Zealand Standard Research Classifications (ANZSRC) • ANZSRC code: 020603 Quantum Information, Computation and Communication 80% • ANZSRC code: 020604 Quantum Optics, 20% Fields of Research (FoR) Classification • FoR code: 0206 Quantum Physics, 90% • FoR code: 0105 Mathematical Physics, 10% Table of contents List of figures xxxi I Introduction1 1 Introductory Remarks3 1.1 Historical Note . .3 1.2 Goal of the Thesis . .4 1.3 Structure of the Thesis . .5 II Literature Review9 2 Mathematical Preliminaries 11 2.1 Vector Spaces . 12 2.1.1 Hilbert Space . 13 2.1.2 Fock Space . 15 2.2 Linear Operators . 15 2.2.1 Normal Operators . 18 2.2.2 Convexity and Concavity . 20 2.2.3 Composite operators . 21 2.2.4 Superoperators . 22 3 Quantum Mechanics and Quantum Information 23 3.1 Quantum State . 24 3.1.1 Pure and Mixed States . 24 3.1.2 Interpreting the Quantum State . 26 3.1.3 Quantum Entropy of a State . 26 3.2 Quantum Operation . 28 3.2.1 Evolution of a Closed Quantum System . 29 3.2.2 Evolution of an Open Quantum System . 29 3.2.3 Measurement of a Quantum State . 32 3.3 Distinguishing Quantum States . 34 3.3.1 Trace Distance . 34 xxviii Table of contents 3.3.2 Fidelity . 35 3.3.3 Relative Entropy . 36 3.4 Examples of Quantum Systems . 36 3.4.1 Finite-dimensional System . 36 3.4.2 Infinite-dimensional System . 38 3.5 Quantum Mechanics in Phase Space . 40 4 Gaussian Systems 43 4.1 Gaussian States and Operations . 43 4.1.1 Vacuum States . 45 4.1.2 Coherent States and the Displacement Operator . 46 4.1.3 Squeezed States and the Squeezing Operator . 49 4.1.4 Thermal States . 51 4.1.5 Phase Rotation Operator . 52 4.1.6 Beam Splitter Operator . 52 4.1.7 Two-mode Squeezing . 53 4.2 Symplectic Analysis of Gaussian States . 54 4.2.1 Decomposition of a Gaussian State . 54 4.2.2 Purification of a Gaussian State . 55 4.2.3 Two-mode Gaussian States . 56 4.3 Gaussian Measurements . 58 4.3.1 Homodyne Detection . 59 4.3.2 Heterodyne Detection . 60 4.3.3 Partial Measurements . 60 4.4 Distinguishing Gaussian States . 61 4.4.1 Fidelity . 61 4.4.2 Relative Entropy .
Load more

Recommended publications
  • Pilot Quantum Error Correction for Global
    Pilot Quantum Error Correction for Global- Scale Quantum Communications Laszlo Gyongyosi*1,2, Member, IEEE, Sandor Imre1, Member, IEEE 1Quantum Technologies Laboratory, Department of Telecommunications Budapest University of Technology and Economics 2 Magyar tudosok krt, H-1111, Budapest, Hungary 2Information Systems Research Group, Mathematics and Natural Sciences Hungarian Academy of Sciences H-1518, Budapest, Hungary *[email protected] Real global-scale quantum communications and quantum key distribution systems cannot be implemented by the current fiber and free-space links. These links have high attenuation, low polarization-preserving capability or extreme sensitivity to the environment. A potential solution to the problem is the space-earth quantum channels. These channels have no absorption since the signal states are propagated in empty space, however a small fraction of these channels is in the atmosphere, which causes slight depolarizing effect. Furthermore, the relative motion of the ground station and the satellite causes a rotation in the polarization of the quantum states. In the current approaches to compensate for these types of polarization errors, high computational costs and extra physical apparatuses are required. Here we introduce a novel approach which breaks with the traditional views of currently developed quantum-error correction schemes. The proposed solution can be applied to fix the polarization errors which are critical in space-earth quantum communication systems. The channel coding scheme provides capacity-achieving communication over slightly depolarizing space-earth channels. I. Introduction Quantum error-correction schemes use different techniques to correct the various possible errors which occur in a quantum channel. In the first decade of the 21st century, many revolutionary properties of quantum channels were discovered [12-16], [19-22] however the efficient error- correction in quantum systems is still a challenge.
    [Show full text]
  • Analysis of Quantum Error-Correcting Codes: Symplectic Lattice Codes and Toric Codes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Caltech Theses and Dissertations Analysis of quantum error-correcting codes: symplectic lattice codes and toric codes Thesis by James William Harrington Advisor John Preskill In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy California Institute of Technology Pasadena, California 2004 (Defended May 17, 2004) ii c 2004 James William Harrington All rights Reserved iii Acknowledgements I can do all things through Christ, who strengthens me. Phillipians 4:13 (NKJV) I wish to acknowledge first of all my parents, brothers, and grandmother for all of their love, prayers, and support. Thanks to my advisor, John Preskill, for his generous support of my graduate studies, for introducing me to the studies of quantum error correction, and for encouraging me to pursue challenging questions in this fascinating field. Over the years I have benefited greatly from stimulating discussions on the subject of quantum information with Anura Abeyesinge, Charlene Ahn, Dave Ba- con, Dave Beckman, Charlie Bennett, Sergey Bravyi, Carl Caves, Isaac Chenchiah, Keng-Hwee Chiam, Richard Cleve, John Cortese, Sumit Daftuar, Ivan Deutsch, Andrew Doherty, Jon Dowling, Bryan Eastin, Steven van Enk, Chris Fuchs, Sho- hini Ghose, Daniel Gottesman, Ted Harder, Patrick Hayden, Richard Hughes, Deborah Jackson, Alexei Kitaev, Greg Kuperberg, Andrew Landahl, Chris Lee, Debbie Leung, Carlos Mochon, Michael Nielsen, Smith Nielsen, Harold Ollivier, Tobias Osborne, Michael Postol, Philippe Pouliot, Marco Pravia, John Preskill, Eric Rains, Robert Raussendorf, Joe Renes, Deborah Santamore, Yaoyun Shi, Pe- ter Shor, Marcus Silva, Graeme Smith, Jennifer Sokol, Federico Spedalieri, Rene Stock, Francis Su, Jacob Taylor, Ben Toner, Guifre Vidal, and Mas Yamada.
    [Show full text]
  • Quantum Errors and Disturbances: Response to Busch, Lahti and Werner
    entropy Article Quantum Errors and Disturbances: Response to Busch, Lahti and Werner David Marcus Appleby Centre for Engineered Quantum Systems, School of Physics, The University of Sydney, Sydney, NSW 2006, Australia; [email protected]; Tel.: +44-734-210-5857 Academic Editors: Gregg Jaeger and Andrei Khrennikov Received: 27 February 2016; Accepted: 28 April 2016; Published: 6 May 2016 Abstract: Busch, Lahti and Werner (BLW) have recently criticized the operator approach to the description of quantum errors and disturbances. Their criticisms are justified to the extent that the physical meaning of the operator definitions has not hitherto been adequately explained. We rectify that omission. We then examine BLW’s criticisms in the light of our analysis. We argue that, although the BLW approach favour (based on the Wasserstein two-deviation) has its uses, there are important physical situations where an operator approach is preferable. We also discuss the reason why the error-disturbance relation is still giving rise to controversies almost a century after Heisenberg first stated his microscope argument. We argue that the source of the difficulties is the problem of interpretation, which is not so wholly disconnected from experimental practicalities as is sometimes supposed. Keywords: error disturbance principle; uncertainty principle; quantum measurement; Heisenberg PACS: 03.65.Ta 1. Introduction The error-disturbance principle remains highly controversial almost a century after Heisenberg wrote the paper [1], which originally suggested it. It is remarkable that this should be so, since the disagreements concern what is arguably the most fundamental concept of all, not only in physics, but in empirical science generally: namely, the concept of measurement accuracy.
    [Show full text]
  • QIP 2010 Tutorial and Scientific Programmes
    QIP 2010 15th – 22nd January, Zürich, Switzerland Tutorial and Scientific Programmes asymptotically large number of channel uses. Such “regularized” formulas tell us Friday, 15th January very little. The purpose of this talk is to give an overview of what we know about 10:00 – 17:10 Jiannis Pachos (Univ. Leeds) this need for regularization, when and why it happens, and what it means. I will Why should anyone care about computing with anyons? focus on the quantum capacity of a quantum channel, which is the case we understand best. This is a short course in topological quantum computation. The topics to be covered include: 1. Introduction to anyons and topological models. 15:00 – 16:55 Daniel Nagaj (Slovak Academy of Sciences) 2. Quantum Double Models. These are stabilizer codes, that can be described Local Hamiltonians in quantum computation very much like quantum error correcting codes. They include the toric code This talk is about two Hamiltonian Complexity questions. First, how hard is it to and various extensions. compute the ground state properties of quantum systems with local Hamiltonians? 3. The Jones polynomials, their relation to anyons and their approximation by Second, which spin systems with time-independent (and perhaps, translationally- quantum algorithms. invariant) local interactions could be used for universal computation? 4. Overview of current state of topological quantum computation and open Aiming at a participant without previous understanding of complexity theory, we will discuss two locally-constrained quantum problems: k-local Hamiltonian and questions. quantum k-SAT. Learning the techniques of Kitaev and others along the way, our first goal is the understanding of QMA-completeness of these problems.
    [Show full text]
  • A Stepwise Planned Approach to the Solution of Hilbert's Sixth Problem. II: Supmech and Quantum Systems
    A Stepwise Planned Approach to the Solution of Hilbert’s Sixth Problem. II : Supmech and Quantum Systems Tulsi Dass Indian Statistical Institute, Delhi Centre, 7, SJS Sansanwal Marg, New Delhi, 110016, India. E-mail: [email protected]; [email protected] Abstract: Supmech, which is noncommutative Hamiltonian mechanics (NHM) (developed in paper I) with two extra ingredients : positive ob- servable valued measures (PObVMs) [which serve to connect state-induced expectation values and classical probabilities] and the ‘CC condition’ [which stipulates that the sets of observables and pure states be mutually separating] is proposed as a universal mechanics potentially covering all physical phe- nomena. It facilitates development of an autonomous formalism for quantum mechanics. Quantum systems, defined algebraically as supmech Hamiltonian systems with non-supercommutative system algebras, are shown to inevitably have Hilbert space based realizations (so as to accommodate rigged Hilbert space based Dirac bra-ket formalism), generally admitting commutative su- perselection rules. Traditional features of quantum mechanics of finite parti- cle systems appear naturally. A treatment of localizability much simpler and more general than the traditional one is given. Treating massive particles as localizable elementary quantum systems, the Schr¨odinger wave functions with traditional Born interpretation appear as natural objects for the descrip- tion of their pure states and the Schr¨odinger equation for them is obtained without ever using a classical Hamiltonian or Lagrangian. A provisional set of axioms for the supmech program is given. arXiv:1002.2061v4 [math-ph] 18 Dec 2010 1 I. Introduction This is the second of a series of papers aimed at obtaining a solution of Hilbert’s sixth problem in the framework of a noncommutative geome- try (NCG) based ‘all-embracing’ scheme of mechanics.
    [Show full text]
  • Reliably Distinguishing States in Qutrit Channels Using One-Way LOCC
    Reliably distinguishing states in qutrit channels using one-way LOCC Christopher King Department of Mathematics, Northeastern University, Boston MA 02115 Daniel Matysiak College of Computer and Information Science, Northeastern University, Boston MA 02115 July 15, 2018 Abstract We present numerical evidence showing that any three-dimensional subspace of C3 ⊗ Cn has an orthonormal basis which can be reliably dis- tinguished using one-way LOCC, where a measurement is made first on the 3-dimensional part and the result used to select an optimal measure- ment on the n-dimensional part. This conjecture has implications for the LOCC-assisted capacity of certain quantum channels, where coordinated measurements are made on the system and environment. By measuring first in the environment, the conjecture would imply that the environment- arXiv:quant-ph/0510004v1 1 Oct 2005 assisted classical capacity of any rank three channel is at least log 3. Sim- ilarly by measuring first on the system side, the conjecture would imply that the environment-assisting classical capacity of any qutrit channel is log 3. We also show that one-way LOCC is not symmetric, by providing an example of a qutrit channel whose environment-assisted classical capacity is less than log 3. 1 1 Introduction and statement of results The noise in a quantum channel arises from its interaction with the environment. This viewpoint is expressed concisely in the Lindblad-Stinespring representation [6, 8]: Φ(|ψihψ|)= Tr U(|ψihψ|⊗|ǫihǫ|)U ∗ (1) E Here E is the state space of the environment, which is assumed to be initially prepared in a pure state |ǫi.
    [Show full text]
  • Potential Capacities of Quantum Channels 2
    WINTER AND YANG: POTENTIAL CAPACITIES OF QUANTUM CHANNELS 1 Potential Capacities of Quantum Channels Andreas Winter and Dong Yang Abstract—We introduce potential capacities of quantum chan- Entangled inputs between different quantum channels open the nels in an operational way and provide upper bounds for these door to all kinds of effects that are impossible in classical quantities, which quantify the ultimate limit of usefulness of a information theory. An extreme phenomenon is superactivation channel for a given task in the best possible context. Unfortunately, except for a few isolated cases, potential capac- [13]; there exist two quantum channels that cannot transmit ities seem to be as hard to compute as their “plain” analogues. quantum information when they are used individually, but can We thus study upper bounds on some potential capacities: For transmit at positive rate when they are used together. the classical capacity, we give an upper bound in terms of the The phenomenon of superactivation, and more broadly of entanglement of formation. To establish a bound for the quantum super-additivity, implies that the capacity of a quantum channel and private capacity, we first “lift” the channel to a Hadamard channel and then prove that the quantum and private capacity does not adequately characterize the channel, since the utility of a Hadamard channel is strongly additive, implying that for of the channel depends on what other contextual channels are these channels, potential and plain capacity are equal. Employing available. So it is natural to ask the following question: What these upper bounds we show that if a channel is noisy, however is the maximum possible capability of a channel to transmit close it is to the noiseless channel, then it cannot be activated information when it is used in combination with any other into the noiseless channel by any other contextual channel; this conclusion holds for all the three capacities.
    [Show full text]
  • Limitations on Protecting Information Against Quantum Adversaries
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School April 2020 Limitations on Protecting Information Against Quantum Adversaries Eneet Kaur Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Quantum Physics Commons Recommended Citation Kaur, Eneet, "Limitations on Protecting Information Against Quantum Adversaries" (2020). LSU Doctoral Dissertations. 5208. https://digitalcommons.lsu.edu/gradschool_dissertations/5208 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. LIMITATIONS ON PROTECTING INFORMATION AGAINST QUANTUM ADVERSARIES A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Physics and Astronomy by Eneet Kaur B.Sc., University of Delhi, 2012 M.Sc., Indian Institute of Technology, Roorkee, 2014 May 2020 Acknowledgments First and foremost, I would like to thank my advisor, Mark M. Wilde, for offering me the opportunity to work with him. My discussions with him have been instru- mental in shaping my approach towards research and in writing research papers. I am also thankful to Mark for providing me with the much-needed confidence boost, and for being an incredible mentor. I would also like to thank Jonathan P. Dowling for his encouragement, the fun pizza parties, and for all his stories. I would also like to thank Andreas Winter for hosting me in Barcelona and for his collaborations.
    [Show full text]
  • Riesz-Like Bases in Rigged Hilbert Spaces, in Preparation [14] Bonet, J., Fern´Andez, C., Galbis, A
    RIESZ-LIKE BASES IN RIGGED HILBERT SPACES GIORGIA BELLOMONTE AND CAMILLO TRAPANI Abstract. The notions of Bessel sequence, Riesz-Fischer sequence and Riesz basis are generalized to a rigged Hilbert space D[t] ⊂H⊂D×[t×]. A Riesz- like basis, in particular, is obtained by considering a sequence {ξn}⊂D which is mapped by a one-to-one continuous operator T : D[t] → H[k · k] into an orthonormal basis of the central Hilbert space H of the triplet. The operator T is, in general, an unbounded operator in H. If T has a bounded inverse then the rigged Hilbert space is shown to be equivalent to a triplet of Hilbert spaces. 1. Introduction Riesz bases (i.e., sequences of elements ξn of a Hilbert space which are trans- formed into orthonormal bases by some bounded{ } operator withH bounded inverse) often appear as eigenvectors of nonself-adjoint operators. The simplest situation is the following one. Let H be a self-adjoint operator with discrete spectrum defined on a subset D(H) of the Hilbert space . Assume, to be more definite, that each H eigenvalue λn is simple. Then the corresponding eigenvectors en constitute an orthonormal basis of . If X is another operator similar to H,{ i.e.,} there exists a bounded operator T withH bounded inverse T −1 which intertwines X and H, in the sense that T : D(H) D(X) and XT ξ = T Hξ, for every ξ D(H), then, as it is → ∈ easily seen, the vectors ϕn with ϕn = Ten are eigenvectors of X and constitute a Riesz basis for .
    [Show full text]
  • Spectral Theory
    SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for compact operators comes from [Zim90, Chapter 3]. 1. The Spectral Theorem for Compact Operators The idea of the proof of the spectral theorem for compact self-adjoint operators on a Hilbert space is very similar to the finite-dimensional case. Namely, we first show that an eigenvector exists, and then we show that there is an orthonormal basis of eigenvectors by an inductive argument (in the form of an application of Zorn's lemma). We first recall a few facts about self-adjoint operators. Proposition 1.1. Let V be a Hilbert space, and T : V ! V a bounded, self-adjoint operator. (1) If W ⊂ V is a T -invariant subspace, then W ? is T -invariant. (2) For all v 2 V , hT v; vi 2 R. (3) Let Vλ = fv 2 V j T v = λvg. Then Vλ ? Vµ whenever λ 6= µ. We will need one further technical fact that characterizes the norm of a self-adjoint operator. Lemma 1.2. Let V be a Hilbert space, and T : V ! V a bounded, self-adjoint operator. Then kT k = supfjhT v; vij j kvk = 1g. Proof. Let α = supfjhT v; vij j kvk = 1g. Evidently, α ≤ kT k. We need to show the other direction. Given v 2 V with T v 6= 0, setting w0 = T v=kT vk gives jhT v; w0ij = kT vk.
    [Show full text]
  • Quantum Mechanical Observables Under a Symplectic Transformation
    Quantum Mechanical Observables under a Symplectic Transformation of Coordinates Jakub K´aninsk´y1 1Charles University, Faculty of Mathematics and Physics, Institute of Theoretical Physics. E-mail address: [email protected] March 17, 2021 We consider a general symplectic transformation (also known as linear canonical transformation) of quantum-mechanical observables in a quan- tized version of a finite-dimensional system with configuration space iso- morphic to Rq. Using the formalism of rigged Hilbert spaces, we define eigenstates for all the observables. Then we work out the explicit form of the corresponding transformation of these eigenstates. A few examples are included at the end of the paper. 1 Introduction From a mathematical perspective we can view quantum mechanics as a science of finite- dimensional quantum systems, i.e. systems whose classical pre-image has configuration space of finite dimension. The single most important representative from this family is a quantized version of the classical system whose configuration space is isomorphic to Rq with some q N, which corresponds e.g. to the system of finitely many coupled ∈ harmonic oscillators. Classically, the state of such system is given by a point in the arXiv:2007.10858v2 [quant-ph] 16 Mar 2021 phase space, which is a vector space of dimension 2q equipped with the symplectic form. One would typically prefer to work in the abstract setting, without the need to choose any particular set of coordinates: in principle this is possible. In practice though, one will often end up choosing a symplectic basis in the phase space aligned with the given symplectic form and resort to the coordinate description.
    [Show full text]
  • Operators in Rigged Hilbert Spaces: Some Spectral Properties
    OPERATORS IN RIGGED HILBERT SPACES: SOME SPECTRAL PROPERTIES GIORGIA BELLOMONTE, SALVATORE DI BELLA, AND CAMILLO TRAPANI Abstract. A notion of resolvent set for an operator acting in a rigged Hilbert space D⊂H⊂D× is proposed. This set depends on a family of intermediate locally convex spaces living between D and D×, called interspaces. Some properties of the resolvent set and of the correspond- ing multivalued resolvent function are derived and some examples are discussed. 1. Introduction Spaces of linear maps acting on a rigged Hilbert space (RHS, for short) × D⊂H⊂D have often been considered in the literature both from a pure mathematical point of view [22, 23, 28, 31] and for their applications to quantum theo- ries (generalized eigenvalues, resonances of Schr¨odinger operators, quantum fields...) [8, 13, 12, 15, 14, 16, 25]. The spaces of test functions and the dis- tributions over them constitute relevant examples of rigged Hilbert spaces and operators acting on them are a fundamental tool in several problems in Analysis (differential operators with singular coefficients, Fourier trans- arXiv:1309.4038v1 [math.FA] 16 Sep 2013 forms) and also provide the basic background for the study of the problem of the multiplication of distributions by the duality method [24, 27, 34]. Before going forth, we fix some notations and basic definitions. Let be a dense linear subspace of Hilbert space and t a locally convex D H topology on , finer than the topology induced by the Hilbert norm. Then D the space of all continuous conjugate linear functionals on [t], i.e., D× D the conjugate dual of [t], is a linear vector space and contains , in the D H sense that can be identified with a subspace of .
    [Show full text]