DOCSLIB.ORG

Quantum Information Theory with Gaussian Systems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quantum Information Theory with Gaussian Systems Quantum Information Theory with Gaussian Systems Von der Fakult¨at f¨ur Physik und Geowissenschaften der Technischen Universit¨at Carolo-Wilhelmina zu Braunschweig zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissertation von Ole Kr¨uger aus Braunschweig 1. Referent Prof. Dr. Reinhard F. Werner 2. Referent Prof. Dr. Martin B. Plenio eingereicht am 5.Januar 2006 m¨undliche Pr¨ufung (Disputation) am 6. April 2006 Druck 2006 Vorver¨offentlichungen der Dissertation Teilergebnisse aus dieser Arbeit wurden mit Genehmigung der Fakult¨at f¨ur Physik und Geowissenschaften, vertreten durch den Mentor der Arbeit, in folgenden Bei- tr¨agen vorab ver¨offentlicht: Publikationen N. Cerf, O. Kr¨uger, P. Navez, R. F. Werner und M. M. Wolf, Non-Gaussian Cloning of Quantum Coherent States is Optimal, Phys. Rev. Lett. 95, 070501 (2005). O. Kr¨uger und R. F. Werner, Gaussian Quantum Cellular Automata , in Quantum Information with continuous variables of atoms and light, herausgegeben von N. Cerf, G. Leuchs und E. S. Polzik (Imperial College Press, London/UK, im Druck). Tagungsbeitr¨age J. I. Cirac, G. Giedke, O. Kr¨uger, R. F. Werner und M. M. Wolf, Entanglement of Formation for Gaussian States with 1 1 modes, Third Conference of × esf-qit Advances in quantum information processing: from theory to experiment (Poster, Erice/Italien, 15.–22.3.2003). O. Kr¨uger, R. F. Werner und M. M. Wolf, Cloning Gaussian States , dpg-Fr¨uhjahrstagung 2004 (Vortrag, M¨unchen, 22. – 26. 3. 2004). O. Kr¨uger und R. F. Werner, Gaussian Quantum Cellular Automata , cvqip’ Workshop (Poster, Veilbronn, 2. – 5. 4. 2004). O. Kr¨uger und R. F. Werner, Gaussian Quantum Cellular Automata , ein International Symposium on Entanglement, Information & Noise (Poster, Krzy˙zowa/Polen, 14.– 20.6.2004). O. Kr¨uger und R. F. Werner, Gaussian Quantum Cellular Automata , dpg-Fr¨uhjahrstagung 2005 (Vortrag, Berlin, 4. – 9. 3. 2005). O. Kr¨uger und R. F. Werner, Gaussian Quantum Cellular Automata , iqing (Vortrag, Paris/Frankreich, 23.– 25.7. 2005). Contents Summary 1 1 Introduction 5 2 Basics of Gaussian systems 9 2.1 Phasespace................................ 9 2.1.1 Noncommutative Fourier transf. and characteristic functions 13 2.1.2 Symplectictransformations . 16 2.2 Gaussianstates.............................. 18 2.2.1 Coherent,thermal andsqueezedstates . 19 2.2.2 Spectral decomposition and exponential form . .. 21 2.2.3 Entangledstates ......................... 23 2.2.4 Singularstates .......................... 24 2.3 Gaussianchannels ............................ 25 Cloning 3 Optimal cloners for coherent states 31 3.1 Setup ................................... 33 3.2 Fidelities ................................. 33 3.3 Covariance ................................ 36 3.3.1 Technicalities ........................... 38 3.3.2 Characterization . .. .. .. .. .. .. .. .. .. .. 42 TransformationΩ ........................ 44 3.4 Optimization ............................... 44 3.4.1 Jointfidelity ........................... 45 3.4.2 Single-copyfidelity . 47 Numericaloptimization . 50 BestGaussian1-to-2cloners . 53 Best symmetric Gaussian 1-to-n cloners ............ 54 3.4.3 Classicalcloning ......................... 55 3.4.4 Bosonicoutput .......................... 58 3.5 Opticalimplementation . 61 3.6 Teleportationcriteria. 63 v Contents Quantum Cellular Automata 4 Gaussian quantum cellular automata 69 4.1 Quantumcellularautomata . 71 4.2 Reversible Gaussian qca ......................... 76 4.2.1 Phasespaceandbasics. 76 4.2.2 Transitionrule .......................... 78 4.2.3 Fouriertransform. .. .. .. .. .. .. .. .. .. .. 81 4.2.4 Examplesystem ......................... 82 Convergence ........................... 85 4.3 Irreversible Gaussian qca ........................ 91 Private Quantum Channels 5 Gaussian private quantum channels 101 5.1 Setup ................................... 104 5.2 Securityestimation.. .. .. .. .. .. .. .. .. .. .. .. 106 Singlemode............................ 112 5.3 Resultandoutlook ............................ 113 Bibliography 117 vi List of Figures 2.1 Depicting Gaussianstatesin phasespace. ... 21 3.1 Schematic diagram of achievable worst-case single-copy fidelities . 35 3.2 Numericalsingle-copyfidelities . .. 49 3.3 Optical scheme of a displacement-covariant cloner . ....... 62 3.4 Teleportationscheme.. .. .. .. .. .. .. .. .. .. .. 64 4.1 Depicting the time step of a qca .................... 75 4.2 Depicting the eigenvalues of Γ(ˆ k).................... 83 4.3 Plot of α(k)................................ 84 5.1 Illustrating the continuous encryption of single-mode coherent states 103 5.2 Depicting the discretization TΣ of the cutoff integral in T[] ...... 109 vii List of Figures viii List of Theorems 2.1 Theorem. 12 4.1 Definition . 73 2.2 Lemma ....... 13 4.2 Lemma ....... 74 2.3 Theorem. 13 4.3 Corollary . 75 2.4 Theorem. 17 4.4 Proposition . 80 2.5 Theorem. 17 4.5 Lemma ....... 82 2.6 Theorem. 25 4.6 Lemma ....... 84 4.7 Proposition . 87 3.1 Lemma ....... 37 4.8 Theorem. 87 3.2 Lemma ....... 39 4.9 Theorem. 89 3.3 Corollary . 42 4.10Lemma ....... 94 3.4 Proposition . 43 4.11Lemma ....... 95 3.5 Proposition . 47 4.12Lemma ....... 97 3.6 Proposition . 48 3.7 Lemma ....... 56 5.1 Proposition . 113 3.8 Lemma ....... 57 5.2 Corollary . 113 3.9 Proposition . 58 3.10Lemma ....... 59 3.11 Proposition . 61 3.12 Corollary . 64 3.13 Corollary . 65 ix List of Theorems x Summary This thesis applies ideas and concepts from quantum information theory to systems of continuous-variables such as the quantum harmonic oscillator. In particular, it is concerned with Gaussian states and Gaussian systems, which transform Gaussian states into Gaussian states. While continuous-variable systems in general require an infinite-dimensional Hilbert space, Gaussian states can be described by a finite set of parameters. This reduces the complexity of many problems, which would otherwise be hardly tractable. Moreover, Gaussian states and systems play an important role in today’s experiments with continuous-variable systems, e.g. in quantum optics. Examples of Gaussian states are coherent, thermal and squeezed states of a light field mode. The methods utilized in this thesis are based on an abstract characterization of Gaussian states, the results thus do not depend on the particular physical carriers of information. The focus of this thesis is on three topics: the cloning of coherent states, Gaussian quantum cellular automata and Gaussian private channels. Correspondingly, the main part of the thesis is divided into three chapters each of which presents the results for one topic: 3 Cloning An unknown quantum state can in general not be duplicated perfectly. This impossibility is a direct consequence of the linear structure of quantum mechan- ics and enables quantum key distribution. The approximate copying or cloning of quantum states is possible, though, and raises questions about optimal cloning. Bounds on the fidelity of cloned states provide restrictions and benchmarks for other tasks of quantum information: In quantum key distribution, bounds on cloning fi- delities allow to estimate the maximum information an eavesdropper can get from intercepting quantum states in relation to noise detected by the receiver. Beyond that, any communication task which aims at the complete transmission of quantum states has to beat the respective cloning limits, because otherwise large amounts of information either remain at the sender or are dissipated into the environment. Cloning was investigated both for finite-dimensional and for continuous-variable systems. However, results for the latter were restricted to covariant Gaussian opera- tions. This chapter presents a general optimization of cloning operations for coherent input states with respect to fidelity. The optimal cloners are shown to be covariant with respect to translations of the input states in phase space. In contrast to the finite-dimensional case, optimization of the joint output state and of weighted combi- nations of individual clones yields different cloners: while the former is Gaussian, the latter is not. The optimal fidelities are calculated analytically for the joint case and numerically for the individual judging of two clones. For classical cloning, the opti- 1 Summary mum is reached by a measurement and preparation of coherent states. The bound on classical cloning is turned into a criterion for the successful transmission of a coherent state by quantum teleportation. 4 Quantum Cellular Automata Quantum cellular automata (qcas) are a model for universal quantum computation in translationally invariant lattice systems with localized dynamics. They provide an alternative concept for experimental realiza- tion of quantum computing as they do not require individual addressing of their constituent systems but rather rely on global parameters for the dynamics. Quan- tum cellular automata seem to be particularly fitted for implementation in optical lattices as well as for the simulation of lattice systems from statistical mechanics. For this purpose the qca should be able to reproduce the ground state of a different dynamics, preferably by driving an initial state into a suitable stationary state in the limit of large time. This chapter investigates abstract Gaussian qcas with respect to irreversibility. As a basis, it provides methods to deal with translationally invariant systems on infinite lattices with localization conditions. A simple example of a reversible Gaus- sian qca (a nonsqueezing dynamics
Load more

Recommended publications
  • Arxiv:1707.06910V2 [Physics.Hist-Ph] 22 Feb 2018 Xlntoscnenn H Eei Ftebte-Nw Pa Better-Known the of Genesis D the Park’S Concerning Analyze Explanations I States
    Twelve years before the quantum no-cloning theorem Juan Ortigoso∗ Instituto de Estructura de la Materia, CSIC, Serrano 121, 28006 Madrid, Spain (Dated: January 22, 2018) Abstract The celebrated quantum no-cloning theorem establishes the impossibility of making a perfect copy of an unknown quantum state. The discovery of this important theorem for the field of quantum information is currently dated 1982. I show here that an article published in 1970 [J. L. Park, Foundations of Physics, 1, 23-33 (1970)] contained an explicit mathematical proof of the impossibility of cloning quantum states. I analyze Park’s demonstration in the light of published explanations concerning the genesis of the better-known papers on no-cloning. arXiv:1707.06910v2 [physics.hist-ph] 22 Feb 2018 1 I. INTRODUCTION The no-cloning theorem of quantum mechanics establishes that an arbitrary unknown quantum state cannot be copied.1 A modern proof,2 based on the linearity of quantum mechanics, takes two lines. Suppose that a device can implement a transformation T for copying two orthogonal states ψ and φ of a qubit: T ψ 0 = ψ ψ and T φ 0 = φ φ , | i | i | i| i | i| i | i| i | i| i where 0 is the ready state of the target system. It follows, from linearity, that | i T (a ψ + b φ ) 0 = aT ψ 0 + bT φ 0 = a ψ ψ + b φ φ . (1) | i | i | i | i| i | i| i | i| i | i| i But if the transformation T can clone arbitrary states, it should give, for any a, b values T (a ψ +b φ ) 0 =(a ψ +b φ )(a ψ +b φ )= a2 ψ ψ +b2 φ φ +ab ψ φ +ab φ ψ , (2) | i | i | i | i | i | i | i | i| i | i| i | i| i | i| i which is different from Eq.
    [Show full text]
  • Criss-Cross Type Algorithms for Computing the Real Pseudospectral Abscissa
    CRISS-CROSS TYPE ALGORITHMS FOR COMPUTING THE REAL PSEUDOSPECTRAL ABSCISSA DING LU∗ AND BART VANDEREYCKEN∗ Abstract. The real "-pseudospectrum of a real matrix A consists of the eigenvalues of all real matrices that are "-close to A. The closeness is commonly measured in spectral or Frobenius norm. The real "-pseudospectral abscissa, which is the largest real part of these eigenvalues for a prescribed value ", measures the structured robust stability of A. In this paper, we introduce a criss-cross type algorithm to compute the real "-pseudospectral abscissa for the spectral norm. Our algorithm is based on a superset characterization of the real pseudospectrum where each criss and cross search involves solving linear eigenvalue problems and singular value optimization problems. The new algorithm is proved to be globally convergent, and observed to be locally linearly convergent. Moreover, we propose a subspace projection framework in which we combine the criss-cross algorithm with subspace projection techniques to solve large-scale problems. The subspace acceleration is proved to be locally superlinearly convergent. The robustness and efficiency of the proposed algorithms are demonstrated on numerical examples. Key words. eigenvalue problem, real pseudospectra, spectral abscissa, subspace methods, criss- cross methods, robust stability AMS subject classifications. 15A18, 93B35, 30E10, 65F15 1. Introduction. The real "-pseudospectrum of a matrix A 2 Rn×n is defined as R n×n (1) Λ" (A) = fλ 2 C : λ 2 Λ(A + E) with E 2 R ; kEk ≤ "g; where Λ(A) denotes the eigenvalues of a matrix A and k · k is the spectral norm. It is also known as the real unstructured spectral value set (see, e.g., [9, 13, 11]) and it can be regarded as a generalization of the more standard complex pseudospectrum (see, e.g., [23, 24]).
    [Show full text]
  • On the Linear Stability of Plane Couette Flow for an Oldroyd-B Fluid and Its
    J. Non-Newtonian Fluid Mech. 127 (2005) 169–190 On the linear stability of plane Couette flow for an Oldroyd-B fluid and its numerical approximation Raz Kupferman Institute of Mathematics, The Hebrew University, Jerusalem, 91904, Israel Received 14 December 2004; received in revised form 10 February 2005; accepted 7 March 2005 Abstract It is well known that plane Couette flow for an Oldroyd-B fluid is linearly stable, yet, most numerical methods predict spurious instabilities at sufficiently high Weissenberg number. In this paper we examine the reasons which cause this qualitative discrepancy. We identify a family of distribution-valued eigenfunctions, which have been overlooked by previous analyses. These singular eigenfunctions span a family of non- modal stress perturbations which are divergence-free, and therefore do not couple back into the velocity field. Although these perturbations decay eventually, they exhibit transient amplification during which their “passive" transport by shearing streamlines generates large cross- stream gradients. This filamentation process produces numerical under-resolution, accompanied with a growth of truncation errors. We believe that the unphysical behavior has to be addressed by fine-scale modelling, such as artificial stress diffusivity, or other non-local couplings. © 2005 Elsevier B.V. All rights reserved. Keywords: Couette flow; Oldroyd-B model; Linear stability; Generalized functions; Non-normal operators; Stress diffusion 1. Introduction divided into two main groups: (i) numerical solutions of the boundary value problem defined by the linearized system The linear stability of Couette flow for viscoelastic fluids (e.g. [2,3]) and (ii) stability analysis of numerical methods is a classical problem whose study originated with the pi- for time-dependent flows, with the objective of understand- oneering work of Gorodtsov and Leonov (GL) back in the ing how spurious solutions emerge in computations.
    [Show full text]
  • Unbounded Jacobi Matrices with a Few Gaps in the Essential Spectrum: Constructive Examples
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Springer - Publisher Connector Integr. Equ. Oper. Theory 69 (2011), 151–170 DOI 10.1007/s00020-010-1856-x Published online January 11, 2011 c The Author(s) This article is published Integral Equations with open access at Springerlink.com 2010 and Operator Theory Unbounded Jacobi Matrices with a Few Gaps in the Essential Spectrum: Constructive Examples Anne Boutet de Monvel, Jan Janas and Serguei Naboko Abstract. We give explicit examples of unbounded Jacobi operators with a few gaps in their essential spectrum. More precisely a class of Jacobi matrices whose absolutely continuous spectrum fills any finite number of bounded intervals is considered. Their point spectrum accumulates to +∞ and −∞. The asymptotics of large eigenvalues is also found. Mathematics Subject Classification (2010). Primary 47B36; Secondary 47A10, 47B25. Keywords. Jacobi matrix, essential spectrum, gaps, asymptotics. 1. Introduction In this paper we look for examples of unbounded Jacobi matrices with sev- 2 2 eral gaps in the essential spectrum. Let 0 = 0(N) be the space of sequences ∞ {fk}1 with a finite number of nonzero coordinates. For given real sequences ∞ ∞ 2 {ak}1 and {bk}1 the Jacobi operator J 0 acts in 0 by the formula (J 0 f)k = ak−1fk−1 + bkfk + akfk+1 (1.1) where k =1, 2, ... and a0 = f0 =0.Theak’s and bk’s are called the weights and diagonal terms, respectively. ∞ In what follows we deal with positive sequences {ak}1 . By Carleman’s 2 2 criterion [1] one can extend J 0 to a self-adjoint operator J in = (N) provided that 1 =+∞.
    [Show full text]
  • Proquest Dissertations
    RICE UNIVERSITY Magnetic Damping of an Elastic Conductor by Jeffrey M. Hokanson A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE Master of Arts APPROVED, THESIS COMMITTEE: IJU&_ Mark Embread Co-chair Associate Professor of Computational and Applied M/jmematics Steven J. Cox, (Co-chair Professor of Computational and Applied Mathematics David Damanik Associate Professor of Mathematics Houston, Texas April, 2009 UMI Number: 1466785 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. UMI® UMI Microform 1466785 Copyright 2009 by ProQuest LLC All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code. ProQuest LLC 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106-1346 ii ABSTRACT Magnetic Damping of an Elastic Conductor by Jeffrey M. Hokanson Many applications call for a design that maximizes the rate of energy decay. Typical problems of this class include one dimensional damped wave operators, where energy dissipation is caused by a damping operator acting on the velocity. Two damping operators are well understood: a multiplication operator (known as viscous damping) and a scaled Laplacian (known as Kelvin-Voigt damping). Paralleling the analysis of viscous damping, this thesis investigates energy decay for a novel third operator known as magnetic damping, where the damping is expressed via a rank-one self-adjoint operator, dependent on a function a.
    [Show full text]
  • The Essential Spectrum of Schr¨Odinger, Jacobi, And
    THE ESSENTIAL SPECTRUM OF SCHRODINGER,¨ JACOBI, AND CMV OPERATORS YORAM LAST1;3 AND BARRY SIMON2;3 Abstract. We provide a very general result that identifies the essential spectrum of broad classes of operators as exactly equal to the closure of the union of the spectra of suitable limits at infinity. Included is a new result on the essential spectra when potentials are asymptotic to isospectral tori. We also recover with a unified framework the HVZ theorem and Krein’s results on orthogonal polynomials with finite essential spectra. 1. Introduction One of the most simple but also most powerful ideas in spectral the- ory is Weyl’s theorem, of which a typical application is (in this intro- duction, in order to avoid technicalities, we take potentials bounded): Theorem 1.1. If V; W are bounded functions on Rº and limjxj!1[V (x) ¡ W (x)] = 0, then σess(¡∆ + V ) = σess(¡∆ + W ) (1.1) Our goal in this paper is to find a generalization of this result that allows “slippage” near infinity. Typical of our results are the following: Theorem 1.2. Let V be a bounded periodic function on (¡1; 1) d2 2 and HV the operator ¡ dx2 + V (x) on L (R). For x > 0, define p d2 2 W (x) = V (x + x) and let HW be ¡ dx2 + W (x) on L (0; 1) with some selfadjoint boundary conditions at zero. Then σess(HW ) = σ(HV ) (1.2) Date: March 7, 2005. 1 Institute of Mathematics, The Hebrew University, 91904 Jerusalem, Israel. E- mail: [email protected].
    [Show full text]
  • Ultra-Weak Time Operators of Schrodinger Operators
    Title Ultra-Weak Time Operators of Schrodinger Operators Author(s) Arai, Asao; Hiroshima, Fumio Annales Henri Poincaré, 18(9), 2995-3033 Citation https://doi.org/10.1007/s00023-017-0586-x Issue Date 2017-09 Doc URL http://hdl.handle.net/2115/71420 Rights The final publication is available at link.springer.com Type article (author version) File Information arai-hiroshima-rev.pdf Instructions for use Hokkaido University Collection of Scholarly and Academic Papers : HUSCAP Ultra-Weak Time Operators of SchrÄodinger Operators Asao Arai and Fumio Hiroshima Abstract. In an abstract framework, a new concept on time operator, ultra-weak time operator, is introduced, which is a concept weaker than that of weak time operator. Theorems on the existence of an ultra- weak time operator are established. As an application of the theorems, it is shown that SchrÄodingeroperators HV with potentials V obeying suitable conditions, including the Hamiltonian of the hydrogen atom, have ultra-weak time operators. Moreover, a class of Borel measurable functions f : R ! R such that f(HV ) has an ultra-weak time operator is found. Keywords. Time operators, Weyl relations, CCR, SchrÄodingeroperators. 1. Introduction The present paper concerns a time operator in quantum theory which is de- ¯ned, in a ¯rst stage of cognition, as a symmetric operator canonically con- jugate to a Hamiltonian if it exists. The uncertainty relation which is derived from the canonical commutation relation of a time operator and a Hamil- tonian may be interpreted as a mathematically rigorous form of time-energy uncertainty relation. Moreover time operators may play important roles in quantum phenomena [Miy01, Ara05, Ara08b, AM08b , MME08, MME09].
    [Show full text]
  • Computation of Pseudospectral Abscissa for Large-Scale Nonlinear
    IMA Journal of Numerical Analysis (2017) 37, 1831–1863 doi: 10.1093/imanum/drw065 Advance Access publication on January 11, 2017 Computation of pseudospectral abscissa for large-scale nonlinear eigenvalue problems Downloaded from https://academic.oup.com/imajna/article-abstract/37/4/1831/2894467 by Koc University user on 20 August 2019 Karl Meerbergen Department of Computer Science, KU Leuven, University of Leuven, Heverlee 3001, Belgium Emre Mengi∗ Department of Mathematics, Ko¸c University, Rumelifeneri Yolu, Sarıyer-Istanbul˙ 34450, Turkey ∗Corresponding author: [email protected] and Wim Michiels and Roel Van Beeumen Department of Computer Science, KU Leuven, University of Leuven, Heverlee 3001, Belgium [Received on 26 June 2015; revised on 21 October 2016] We present an algorithm to compute the pseudospectral abscissa for a nonlinear eigenvalue problem. The algorithm relies on global under-estimator and over-estimator functions for the eigenvalue and singular value functions involved. These global models follow from eigenvalue perturbation theory. The algorithm has three particular features. First, it converges to the globally rightmost point of the pseudospectrum, and it is immune to nonsmoothness. The global convergence assertion is under the assumption that a global lower bound is available for the second derivative of a singular value function depending on one parameter. It may not be easy to deduce such a lower bound analytically, but assigning large negative values works robustly in practice. Second, it is applicable to large-scale problems since the dominant cost per iteration stems from computing the smallest singular value and associated singular vectors, for which efficient iterative solvers can be used.
    [Show full text]
  • Lecture Notes on Spectra and Pseudospectra of Matrices and Operators
    Lecture Notes on Spectra and Pseudospectra of Matrices and Operators Arne Jensen Department of Mathematical Sciences Aalborg University c 2009 Abstract We give a short introduction to the pseudospectra of matrices and operators. We also review a number of results concerning matrices and bounded linear operators on a Hilbert space, and in particular results related to spectra. A few applications of the results are discussed. Contents 1 Introduction 2 2 Results from linear algebra 2 3 Some matrix results. Similarity transforms 7 4 Results from operator theory 10 5 Pseudospectra 16 6 Examples I 20 7 Perturbation Theory 27 8 Applications of pseudospectra I 34 9 Applications of pseudospectra II 41 10 Examples II 43 1 11 Some infinite dimensional examples 54 1 Introduction We give an introduction to the pseudospectra of matrices and operators, and give a few applications. Since these notes are intended for a wide audience, some elementary concepts are reviewed. We also note that one can understand the main points concerning pseudospectra already in the finite dimensional case. So the reader not familiar with operators on a separable Hilbert space can assume that the space is finite dimensional. Let us briefly outline the contents of these lecture notes. In Section 2 we recall some results from linear algebra, mainly to fix notation, and to recall some results that may not be included in standard courses on linear algebra. In Section 4 we state some results from the theory of bounded operators on a Hilbert space. We have decided to limit the exposition to the case of bounded operators.
    [Show full text]
  • Photonic Quantum Simulator for Unbiased Phase Covariant Cloning
    Applied Physics B manuscript No. (will be inserted by the editor) Photonic quantum simulator for unbiased phase covariant cloning Laura T. Knoll12, Ignacio H. L´opez Grande12, Miguel A. Larotonda123 1 DEILAP, CITEDEF-CONICET, J.B. de La Salle 4397, 1603 Villa Martelli, Buenos Aires, Argentina 2 Departamento de F´ısica, FCEyN, UBA. Ciudad Universitaria, 1428 Buenos Aires, Argentina 3 CONICET, Argentina e-mail: [email protected] The date of receipt and acceptance will be inserted by the editor Abstract We present the results of a linear optics pho- applying a trace-preserving, completely-positive map to tonic implementation of a quantum circuit that simu- the composite system [6,7,8,9,10]. lates a phase covariant cloner, by using two different de- Among the family of Quantum Cloning Machines grees of freedom of a single photon. We experimentally (QCM), one can make a distinction between universal simulate the action of two mirrored 1 ! 2 cloners, each cloning machines (UQCM), which copy all the states of them biasing the cloned states into opposite regions with the same fidelity F , regardless of the state j i of the Bloch sphere. We show that by applying a ran- to be cloned, and state-dependent QCM. For qubits, dom sequence of these two cloners, an eavesdropper can the optimum UQCM can achieve a cloning fidelity F of mitigate the amount of noise added to the original in- 5=6 = 0:833 [6,7,8,11]. UQCMs have been experimen- put state and therefore prepare clones with no bias but tally realized in photon stimulated emission setups [12, with the same individual fidelity, masking its presence in 13,14], linear optics [15] and NMR systems [16].
    [Show full text]
  • Resolvent Conditions for the Control of Parabolic Equations Thomas Duyckaerts, Luc Miller
    Resolvent conditions for the control of parabolic equations Thomas Duyckaerts, Luc Miller To cite this version: Thomas Duyckaerts, Luc Miller. Resolvent conditions for the control of parabolic equations. Jour- nal of Functional Analysis, Elsevier, 2012, 263 (11), pp.3641-3673. 10.1016/j.jfa.2012.09.003. hal- 00620870v2 HAL Id: hal-00620870 https://hal.archives-ouvertes.fr/hal-00620870v2 Submitted on 5 Sep 2012 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. RESOLVENT CONDITIONS FOR THE CONTROL OF PARABOLIC EQUATIONS THOMAS DUYCKAERTS1 AND LUC MILLER2 Abstract. Since the seminal work of Russell and Weiss in 1994, resolvent conditions for various notions of admissibility, observability and controllability, and for various notions of linear evolution equations have been investigated in- tensively, sometimes under the name of infinite-dimensional Hautus test. This paper sets out resolvent conditions for null-controllability in arbitrary time: necessary for general semigroups, sufficient for analytic normal semigroups. For a positive self-adjoint operator A, it gives a sufficient condition for the null-controllability of the semigroup generated by −A which is only logarithmi- cally stronger than the usual condition for the unitary group generated by iA.
    [Show full text]
  • Spectrum (Functional Analysis) - Wikipedia, the Free Encyclopedia
    Spectrum (functional analysis) - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Spectrum_(functional_analysis) Spectrum (functional analysis) From Wikipedia, the free encyclopedia In functional analysis, the concept of the spectrum of a bounded operator is a generalisation of the concept of eigenvalues for matrices. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if λI − T is not invertible, where I is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics. The spectrum of an operator on a finite-dimensional vector space is precisely the set of eigenvalues. However an operator on an infinite-dimensional space may have additional elements in its spectrum, and may have no eigenvalues. For example, consider the right shift operator R on the Hilbert space ℓ2, This has no eigenvalues, since if Rx=λx then by expanding this expression we see that x1=0, x2=0, etc. On the other hand 0 is in the spectrum because the operator R − 0 (i.e. R itself) is not invertible: it is not surjective since any vector with non-zero first component is not in its range. In fact every bounded linear operator on a complex Banach space must have a non-empty spectrum. The notion of spectrum extends to densely-defined unbounded operators. In this case a complex number λ is said to be in the spectrum of such an operator T:D→X (where D is dense in X) if there is no bounded inverse (λI − T)−1:X→D.
    [Show full text]