Approximate reversal of quantum Gaussian dynamics
|
|
- Myles Tate
- 5 years ago
- Views:
Transcription
1 Approximate reversal of quantum Gaussian dynamics L. Lami, S. Das, and M.M. Wilde arxiv: or how to compute Petz maps associated with Gaussian states and channels. Motivation: data processing inequality, recoverability, and Petz map Gaussian states in a nutshell Why computing the action of the Gaussian Petz is possible Explicit form of the Gaussian Petz map
2 Motivation. Quantum data processing inequality Von Neumann entropy: Umegaki relative entropy: S( ).= Tr [ log ] D( k ).= Tr[ (log log )] Data processing inequality (DPI): D( k ) D(N ( )kn ( )) quantum channel = CPTP map Conditional mutual information: Strong subadditivity (SSA): I(A; B C).= S(AC) + S(BC) S(ABC) S(C) I(A; B C) 0 SSA can be deduced from (in fact, is equivalent to) DPI: 7! ABC, 7! AC 1 B, N 7! Tr A I(A : B C) = D( ABC k AC 1 B ) D( BC k C 1 B ) 0
3 Equality case in DPI was solved in the 1980s by Petz: D( k )= D(N ( )kn ( )) () 9 channel P :(P N)( ) =, (P N)( )=. P = P,N :! 7! 1/2 N N ( ) 1/2!N ( ) 1/2 1/2 Petz map The definition looks a bit complicated let s start from the classical version: X q N y x! Y q 0 The Petz map P goes Y X and reconstructs q from q, so its matrix elements satisfy P x y q 0 (y) =N y x q(x) =) P x y = q(x) q 0 (y) N y x Sanity check: also the quantum Petz map reconstructs σ from N(σ). How to find the correct quantum expression?
4 Underlying intuition (wrong to some extent): a purification of a quantum state ω consists of two copies of ω, one per party.! Alice has Bob has =) (I N)( )! Alice has Bob has N ( ) N ( )! Alice has N ( ) Bob has N ( ) =) (P I)( N ( ) )! Alice has Bob has N ( ) Idea (Andreas). The Petz map attempts to reverse the action of N on σ. We can derive its action by equating the expressions on the right (up to some transpositions): (I N)( T ) T =(P I)( N ( ) ) Some calculations show that the expression one finds from here coincides with our original definition of Petz map.
5 Equality case in DPI: D( k )= D(N ( )kn ( )) () 9 channel P :(P N)( ) =, (P N)( )=. P = P,N :! 7! 1/2 N N ( ) 1/2!N ( ) 1/2 1/2 What about approximate equality in DPI? For classical probability distributions (and classical channels) one can show that [Li & Winter, ] D(pkq) D(N(p)kN(q)) D (pk(p q,n N)(p)). Unfortunately, the same is false for quantum The following possible generalization was put forward by Winter & Li in 2012: D( k ) D(N ( )kn ( ))? D( k(r,n N)( )), where the recovery map R has to depend only on σ and N. This holds for some interesting special cases, but not in general [Fawzi & Fawzi, ].
6 Motivation. Improvements of DPI Some important progress was made in 2014 by Fawzi & Renner, who showed that I(A; B C) log F ( ABC, R C!BC ( AC )) F (!, ).= k p! p k 2 1 R C!BC ( ) =V BC P U C ( )U C V BC Quantum fidelity Rotated Petz recovery map P( ) =P AC 1 B,Tr A ( ) = 1/2 BC 1/2 C ( ) 1/2 C 1/2 BC Petz map for this problem
7 Several related improvements: [Wilde, ]: D( k ) D(N ( )kn ( )) inf t2r log F, (R t,n N)( ) [Sutter et al., ]: D( k ) D(N ( )kn ( )) D M ( k(r N)( )) [Junge et al., ]: D( k ) D(N ( )kn ( )) Z +1 1 dt 0(t) log F, (R t,n N)( ) [Sutter et al., ]: D( k ) D(N ( )kn ( )) D M Z +1 1 dt 0(t)(R t,n N)( )
8 Our contribution A relevant case is when both the state σ and the channel N are (bosonic) Gaussian. How does the resulting Petz map act? We showed that if σ and N are a Gaussian state and channel then the associated Petz map is another Gaussian channel, and we computed its action explicitly. The techniques we use in the proof are very general, and can be applied to related problems. In another paper [Seshadreesan et al., ], we use them to compute the Rényi relative entropies between Gaussian states (fidelity had already been computed previously). As an immediate application, we found examples of Gaussian states and channels for which the following inequality is violated: D( k ) D(N ( )kn ( )) D( k(p,n N)( )),
9 Gaussian states in a nutshell Quantum optics is quantum mechanics applied to a number of harmonic oscillators: ˆr (ˆx 1,...,ˆx n, ˆp 1,...,ˆp n ) T! [ˆx i, ˆp j ]=i ij n [ˆr, ˆr T 0 1 ]=i =i 1 0 n This is an -dim Hilbert space with a lot of room for weird things to happen. However, physics tends to be more restrictive Nature has a special preference for quadratic Hamiltonians, like the free field one: Ĥ free = 1 2 P n i=1 (ˆx2 i +ˆp2 i )= 1 2 ˆrT ˆr Not surprisingly, thermal states of quadratic Hamiltonians play a major role. In fact, they are so ubiquitous that they deserve a name: Gaussian states. Ok, Gaussian states pop up all the time in the lab. How to study them? Can we find an efficient parametrisation?
10 In a sense, we already have a good candidate for a parametrisation: Quadratic Hamiltonian: Ĥ = 1 2 ˆrT H ˆr s T H ˆr Thermal state: ˆ G / exp h i Ĥ However, there is a more convenient one. Exactly like a Gaussian (multivariate) random variable, a Gaussian state is uniquely identified by its mean, or displacement vector, and by its covariance matrix. displacement vector: s =Trˆ ˆr 2 R 2n covariance matrix: i H V =Tr[{ˆr s, (ˆr s) T } ˆ ] = coth i 2M 2n (R) 2 ˆ G (V,s) = Z d 2n u (2 ) n e 1 4 u T Vu is T u ˆD u unitary displacement operators classical Gaussian weight Unlike that of a classical random variable, the covariance matrix of a Gaussian state must be bounded from below, by virtue of Heisenberg s uncertainty principle: a symmetric V that satisfies this is called Quantum Covariance Matrix (QCM) V i = QCMs are in particular strictly positive definite
11 Quantum Gaussian channels A classical Gaussian channel acts on a random variable z as Z 0 = XZ + Y on mean and covariance matrix: How to define quantum Gaussian channels? s 0 = Xs + V 0 = XV X T + Y Definition. A quantum Gaussian channel transforms input density matrices by: (1) adding an ancillary system in a fixed Gaussian state; (2) performing a joint Gaussian unitary; (3) discarding the ancillary system. time evolution driven by a quadratic Hamiltonian A quantum Gaussian channel acts on the canonical operators as ˆr 0 = Xˆr + Y id on displacement vector and QCM: Complete positivity: Y + i ix X T 0. s 0 = Xs + V 0 = XV X T + Y Gaussian channels send Gaussian states to Gaussian states. Under certain conditions, the converse is also true: a completely positive and trace-preserving map that preserves Gaussianity is a Gaussian channel [De Palma et al., ].
12 Computations with Gaussian states and channels Remember the form of the Petz map? P,N ( ) = 1/2 N N ( ) 1/2 ( )N ( ) 1/2 1/2 If we want to compute its action for σ Gaussian state and N Gaussian channel we have to be able to: (a) take square roots of Gaussian states; (b) multiply Gaussian states and square roots thereof; (c) determine the action of the adjoint of a Gaussian channel. (a)-(b): note that quadratic Hamiltonians form a Lie algebra [Balian & Brezin, 1969]: Ĥ Q [K, s, a] = i 2 ˆrT Kˆr + is T ˆr + i 2 a hĥq [K 1,s 1,a 1 ], Ĥ Q [K 2,s 2,a 2 ]i [K1,K 2 ],K 1 s 2 K 2 s 1, s T 1 s 2 = ĤQ
13 Campbell-Baker-Hausdorff formula tells us that any product of exponentials of quadratic Hamiltonians can itself be written as an exponential of another quadratic Hamiltonian [Balian & Brezin, 1969]. But there is more: the product depends only on the algebraic structure of the commutation relations! Moral of the story: if we find it more convenient, we can choose a matrix representation of our Lie algebra, compute everything there, and bring back the result via the isomorphism. The following isomorphic matrix representation of the above Lie algebra is useful: Ĥ Q [K, s, a]! 0 1 st T a 0 K sa 0 0 0
14 As for (c), it is easy to show that the adjoint of a channel, generally defined by Tr [N (A) B].= Tr[A N (B)], in the Gaussian case acts on displacement operators as [Genoni et al., ] N ˆD u = e 1 4 ut Yu+iu T ˆD XT u. For invertible X, it sends Gaussian states to (unnormalised) Gaussian states: N : 7 7 V! XV X T + Y s! Xs + =) N : V 7! X 1 (V + Y ) X T s 7! X 1 (s ) This is already enough to establish that the Petz map is a Gaussian channel, since: (i) it s completely positive and trace-preserving; and (ii) preserves exponentials of quadratic operators, in particular maps Gaussian states to Gaussian states.
15 Gaussian Petz map: sketch of the computation Quadratic Hamiltonians form a Lie algebra Campbell-Baker- Hausdorff formula Action of the adjoint of a Gaussian channel The Petz map P σ, N is Gaussian if so are and σ and N. P,N (!) = 1/2 N N ( ) 1/2! N ( ) 1/2 1/2,! V,s,!! V!,s!, N!X, Y,. Step 1. We can assume that s σ = 0 = δ. We will carry out the computation for s ω = 0 and invertible X.
16 Step 2. Using the matrix Lie algebra isomorphism, one shows that [Banchi et al., ] q V 1/2! = V 1/2 q1 +(V ) 2 V (V! + V ) 1 V 1 +( V ) 2 ( ) First, we have to apply ( ) with τ = N (σ) -1 : P,N (!) = 1/2 N N ( ) 1/2! N ( ) 1/2 1/2 How to interpret Vτ? Remember that for zero-mean Gaussian states apple 1 i H / exp 2 ˆrT H ˆr, V = coth i. 2 This seems to suggest the ansatz apple 1 i ( 1 H ) / exp 2 ˆrT ( H )ˆr! V 1 = coth 2 i = V. Plugging this into ( ) yields V N ( ) 1/2! N ( ) 1/2 = V N ( ) q 1 + V N ( ) 2 V N ( ) V! V N ( ) 1 VN ( ) q1 + V N ( ) 2.
17 Step 3. Apply the adjoint of the channel N : P,N (!) = 1/2 N N ( ) 1/2! N ( ) 1/2 1/2 V N (N ( ) 1/2! N ( ) 1/2 ) = X 1 V N ( ) 1/2!N ( ) + Y X T apple q 1/2 q = X V N ( ) V N ( ) V! V N ( ) VN ( ) 1 + V N ( ) + Y X T V N ( ) = V X 1 q 1 + V N ( ) 2 V N ( ) V! V N ( ) 1 VN ( ) q 1 + V N ( ) 2 X T V N ( ) = XV X T + Y
18 Step 4. Use once more the sandwiching formula ( ) with τ = σ : V P,N (!) = V 1/2 N (N ( ) 1/2!N ( ) 1/2 ) q 1/2 = V 1 +(V ) 2 V q V X V N ( ) V N ( ) V! V N ( ) VN ( ) q1 + V N ( ) X T + V q V 1 +( V ) 2 q = V + qi +(V ) 2 V X T 2 1 I + V N ( ) V 1 N ( ) V! V N ( ) q V 1 N ( ) 1 + V N ( ) 2 1 q XV 1 +(V ) 2 = X P V! X T P + Y P, 1 X P.= q1 +(V ) 2 V X T q 1 + V N ( ) 2 1 V 1 N ( ), Y P.= V X P V N ( ) X T P. Gaussian Petz map:
19 Step 5. The above derivation was largely based on ansatzes and cavalier manipulation of unbounded operators. A crucial part of the proof is the verification that the formula we found reproduces the true Petz map. Following Petz, we know that P σ, N is the unique channel satisfying the Petz equation h Tr A 1/2 N (B) 1/2i h =Tr P,N (A)N ( )1/2 BN ( ) 1/2i, 8 bounded A, B. It suffices to show the above equation when A,B are Hilbert-Schmidt operators. In fact, Hilbert-Schmidt operators are weakly dense in the set of bounded operators, and the bilinear function (A, B) 7! Tr ha 1/2 N (B) 1/2i is continuous in the product weak topology for trace-class τ and channels N. For Hilbert-Schmidt operators, the whole machinery of characteristic functions is available, thus checking the Petz equation boils down to a lengthy but fully rigorous computation. This establishes the proposed Gaussian Petz map to be the correct one.
20 Summary and conclusions The Petz map is a central object in modern quantum information theory. Recent progress has shown that it plays a major role in establishing operational lower bounds on the quantum conditional mutual information (recoverability theory). We have computed explicitly the action of the Petz map constructed out of a Gaussian state and a Gaussian channel, and shown this is again a Gaussian channel. The proof leverages the (previously known) fact that the exponentials of quadratic Hamiltonians form a group given that quadratic Hamiltonians form a Lie algebra. We developed a matrix isomorphism that enabled us to carry out multiplications in a systematic way. Take home message: computations can be cumbersome, but the formalism is elegant and versatile. Recently, we also showed how to use it to compute all sort of Rényi relative entropies between Gaussian states.
21 Summary and conclusions The Petz map is a central object in modern quantum information theory. Recent progress has shown that it plays a major role in establishing operational lower bounds on the quantum conditional mutual information (recoverability theory). We have computed explicitly the action of the Petz map constructed out of a Gaussian state and a Gaussian channel, and shown this is again a Gaussian channel. The proof leverages the (previously known) fact that the exponentials of quadratic Hamiltonians form a group given that quadratic Hamiltonians form a Lie algebra. We developed a matrix isomorphism that enabled us to carry out multiplications in a systematic way. Take home message: computations can be cumbersome, but the formalism is elegant and versatile. Recently, we also showed how to use it to compute all sort of Rényi relative entropies between Gaussian states. Thank you!
Multivariate Trace Inequalities
Multivariate Trace Inequalities Mario Berta arxiv:1604.03023 with Sutter and Tomamichel (to appear in CMP) arxiv:1512.02615 with Fawzi and Tomamichel QMath13 - October 8, 2016 Mario Berta (Caltech) Multivariate
More informationEnsembles and incomplete information
p. 1/32 Ensembles and incomplete information So far in this course, we have described quantum systems by states that are normalized vectors in a complex Hilbert space. This works so long as (a) the system
More informationUniversal recoverability in quantum information theory
Universal recoverability in quantum information theory Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State
More informationRecoverability in quantum information theory
Recoverability in quantum information theory Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State University,
More informationMultivariate trace inequalities. David Sutter, Mario Berta, Marco Tomamichel
Multivariate trace inequalities David Sutter, Mario Berta, Marco Tomamichel What are trace inequalities and why we should care. Main difference between classical and quantum world are complementarity and
More informationFermionic coherent states in infinite dimensions
Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,
More informationLOCAL RECOVERY MAPS AS DUCT TAPE FOR MANY BODY SYSTEMS
LOCAL RECOVERY MAPS AS DUCT TAPE FOR MANY BODY SYSTEMS Michael J. Kastoryano November 14 2016, QuSoft Amsterdam CONTENTS Local recovery maps Exact recovery and approximate recovery Local recovery for many
More informationQuantum Theory and Group Representations
Quantum Theory and Group Representations Peter Woit Columbia University LaGuardia Community College, November 1, 2017 Queensborough Community College, November 15, 2017 Peter Woit (Columbia University)
More informationFree probability and quantum information
Free probability and quantum information Benoît Collins WPI-AIMR, Tohoku University & University of Ottawa Tokyo, Nov 8, 2013 Overview Overview Plan: 1. Quantum Information theory: the additivity problem
More informationLecture: Quantum Information
Lecture: Quantum Information Transcribed by: Crystal Noel and Da An (Chi Chi) November 10, 016 1 Final Proect Information Find an issue related to class you are interested in and either: read some papers
More informationA Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets George A. Hagedorn Happy 60 th birthday, Mr. Fritz! Abstract. Although real, normalized Gaussian wave packets minimize the product
More informationQuantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation
Quantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 30, 2012 In our discussion
More informationQuantification of Gaussian quantum steering. Gerardo Adesso
Quantification of Gaussian quantum steering Gerardo Adesso Outline Quantum steering Continuous variable systems Gaussian entanglement Gaussian steering Applications Steering timeline EPR paradox (1935)
More informationAttempting to reverse the irreversible in quantum physics
Attempting to reverse the irreversible in quantum physics Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State
More informationLecture 19 October 28, 2015
PHYS 7895: Quantum Information Theory Fall 2015 Prof. Mark M. Wilde Lecture 19 October 28, 2015 Scribe: Mark M. Wilde This document is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike
More information1. Basic rules of quantum mechanics
1. Basic rules of quantum mechanics How to describe the states of an ideally controlled system? How to describe changes in an ideally controlled system? How to describe measurements on an ideally controlled
More informationCompression and entanglement, entanglement transformations
PHYSICS 491: Symmetry and Quantum Information April 27, 2017 Compression and entanglement, entanglement transformations Lecture 8 Michael Walter, Stanford University These lecture notes are not proof-read
More information6.1 Main properties of Shannon entropy. Let X be a random variable taking values x in some alphabet with probabilities.
Chapter 6 Quantum entropy There is a notion of entropy which quantifies the amount of uncertainty contained in an ensemble of Qbits. This is the von Neumann entropy that we introduce in this chapter. In
More informationStrong converse theorems using Rényi entropies
Strong converse theorems using Rényi entropies Felix Leditzky joint work with Mark M. Wilde and Nilanjana Datta arxiv:1506.02635 5 January 2016 Table of Contents 1 Weak vs. strong converse 2 Rényi entropies
More informationLecture 4: Postulates of quantum mechanics
Lecture 4: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying
More informationDifferent quantum f-divergences and the reversibility of quantum operations
Different quantum f-divergences and the reversibility of quantum operations Fumio Hiai Tohoku University 2016, September (at Budapest) Joint work with Milán Mosonyi 1 1 F.H. and M. Mosonyi, Different quantum
More informationLinear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University
Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009 Preface The title of the book sounds a bit mysterious. Why should anyone read this
More informationRiemannian geometry of positive definite matrices: Matrix means and quantum Fisher information
Riemannian geometry of positive definite matrices: Matrix means and quantum Fisher information Dénes Petz Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences POB 127, H-1364 Budapest, Hungary
More informationStorage of Quantum Information in Topological Systems with Majorana Fermions
Storage of Quantum Information in Topological Systems with Majorana Fermions Leonardo Mazza Scuola Normale Superiore, Pisa Mainz September 26th, 2013 Leonardo Mazza (SNS) Storage of Information & Majorana
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationA Holevo-type bound for a Hilbert Schmidt distance measure
Journal of Quantum Information Science, 205, *,** Published Online **** 204 in SciRes. http://www.scirp.org/journal/**** http://dx.doi.org/0.4236/****.204.***** A Holevo-type bound for a Hilbert Schmidt
More informationQuantum Mechanics II
Quantum Mechanics II Prof. Boris Altshuler March 8, 011 1 Lecture 19 1.1 Second Quantization Recall our results from simple harmonic oscillator. We know the Hamiltonian very well so no need to repeat here.
More informationClassical and Quantum Channel Simulations
Classical and Quantum Channel Simulations Mario Berta (based on joint work with Fernando Brandão, Matthias Christandl, Renato Renner, Joseph Renes, Stephanie Wehner, Mark Wilde) Outline Classical Shannon
More informationMathematical Physics II
Mathematical Physics II PHYS 50 Solution to Problem Set # In the first two problems you will learn (hopefully) how to use numerical computations to suggest analytic results to you. 1. Fixed BC: Tridiagonal
More informationOn Composite Quantum Hypothesis Testing
University of York 7 November 207 On Composite Quantum Hypothesis Testing Mario Berta Department of Computing with Fernando Brandão and Christoph Hirche arxiv:709.07268 Overview Introduction 2 Composite
More informationLecture 18: Quantum Information Theory and Holevo s Bound
Quantum Computation (CMU 1-59BB, Fall 2015) Lecture 1: Quantum Information Theory and Holevo s Bound November 10, 2015 Lecturer: John Wright Scribe: Nicolas Resch 1 Question In today s lecture, we will
More informationQuantum Gates, Circuits & Teleportation
Chapter 3 Quantum Gates, Circuits & Teleportation Unitary Operators The third postulate of quantum physics states that the evolution of a quantum system is necessarily unitary. Geometrically, a unitary
More information9. Distance measures. 9.1 Classical information measures. Head Tail. How similar/close are two probability distributions? Trace distance.
9. Distance measures 9.1 Classical information measures How similar/close are two probability distributions? Trace distance Fidelity Example: Flipping two coins, one fair one biased Head Tail Trace distance
More informationQuantum Optics and Quantum Informatics FKA173
Quantum Optics and Quantum Informatics FKA173 Date and time: Tuesday, 7 October 015, 08:30-1:30. Examiners: Jonas Bylander (070-53 44 39) and Thilo Bauch (0733-66 13 79). Visits around 09:30 and 11:30.
More informationChapter 5. Density matrix formalism
Chapter 5 Density matrix formalism In chap we formulated quantum mechanics for isolated systems. In practice systems interect with their environnement and we need a description that takes this feature
More informationQuantum Information Types
qitd181 Quantum Information Types Robert B. Griffiths Version of 6 February 2012 References: R. B. Griffiths, Types of Quantum Information, Phys. Rev. A 76 (2007) 062320; arxiv:0707.3752 Contents 1 Introduction
More informationPhysics 581, Quantum Optics II Problem Set #4 Due: Tuesday November 1, 2016
Physics 581, Quantum Optics II Problem Set #4 Due: Tuesday November 1, 2016 Problem 3: The EPR state (30 points) The Einstein-Podolsky-Rosen (EPR) paradox is based around a thought experiment of measurements
More informationSpin chain model for correlated quantum channels
Spin chain model for correlated quantum channels Davide Rossini Scuola Internazionale Superiore di Studi Avanzati SISSA Trieste, Italy in collaboration with: Vittorio Giovannetti (Pisa) Simone Montangero
More informationCapacity Estimates of TRO Channels
Capacity Estimates of TRO Channels arxiv: 1509.07294 and arxiv: 1609.08594 Li Gao University of Illinois at Urbana-Champaign QIP 2017, Microsoft Research, Seattle Joint work with Marius Junge and Nicholas
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationMath 396. An application of Gram-Schmidt to prove connectedness
Math 396. An application of Gram-Schmidt to prove connectedness 1. Motivation and background Let V be an n-dimensional vector space over R, and define GL(V ) to be the set of invertible linear maps V V
More informationQuantum Error Correcting Codes and Quantum Cryptography. Peter Shor M.I.T. Cambridge, MA 02139
Quantum Error Correcting Codes and Quantum Cryptography Peter Shor M.I.T. Cambridge, MA 02139 1 We start out with two processes which are fundamentally quantum: superdense coding and teleportation. Superdense
More informationChapter 2. Linear Algebra. rather simple and learning them will eventually allow us to explain the strange results of
Chapter 2 Linear Algebra In this chapter, we study the formal structure that provides the background for quantum mechanics. The basic ideas of the mathematical machinery, linear algebra, are rather simple
More informationCHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca
CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca this talk is based on joint work and discussions with Alejandro Uribe, Alastair Hamilton, Charles
More informationQuantum correlations with indefinite causal order
Faculty of Physics, University of Vienna & Institute for Quantum Optics and Quantum Information, Vienna Quantum correlations with indefinite causal order Ognyan Oreshkov, Fabio Costa, Časlav Brukner Nature
More informationLecture 11: Quantum Information III - Source Coding
CSCI5370 Quantum Computing November 25, 203 Lecture : Quantum Information III - Source Coding Lecturer: Shengyu Zhang Scribe: Hing Yin Tsang. Holevo s bound Suppose Alice has an information source X that
More informationDifferential of the Exponential Map
Differential of the Exponential Map Ethan Eade May 20, 207 Introduction This document computes ɛ0 log x + ɛ x ɛ where and log are the onential mapping and its inverse in a Lie group, and x and ɛ are elements
More informationMarkovian Marginals. Isaac H. Kim. Oct. 9, arxiv: IBM T.J. Watson Research Center
Markovian Marginals Isaac H. Kim IBM T.J. Watson Research Center Oct. 9, 2016 arxiv:1609.08579 Marginal Problem Consider a physical system I. Given { I 0}, istherea 0 such that I = I 8I? If yes, the marginals
More informationHarmonic Oscillator. Robert B. Griffiths Version of 5 December Notation 1. 3 Position and Momentum Representations of Number Eigenstates 2
qmd5 Harmonic Oscillator Robert B. Griffiths Version of 5 December 0 Contents Notation Eigenstates of the Number Operator N 3 Position and Momentum Representations of Number Eigenstates 4 Coherent States
More informationThe Multivariate Gaussian Distribution [DRAFT]
The Multivariate Gaussian Distribution DRAFT David S. Rosenberg Abstract This is a collection of a few key and standard results about multivariate Gaussian distributions. I have not included many proofs,
More informationIntroduction To Information Theory
Introduction To Information Theory Edward Witten PiTP 2018 We will start with a very short introduction to classical information theory (Shannon theory). Suppose that you receive a message that consists
More informationIntroduction to Quantum Information Hermann Kampermann
Introduction to Quantum Information Hermann Kampermann Heinrich-Heine-Universität Düsseldorf Theoretische Physik III Summer school Bleubeuren July 014 Contents 1 Quantum Mechanics...........................
More information2 Canonical quantization
Phys540.nb 7 Canonical quantization.1. Lagrangian mechanics and canonical quantization Q: How do we quantize a general system?.1.1.lagrangian Lagrangian mechanics is a reformulation of classical mechanics.
More informationLimits on classical communication from quantum entropy power inequalities
Limits on classical communication from quantum entropy power inequalities Graeme Smith, IBM Research (joint work with Robert Koenig) QIP 2013 Beijing Channel Capacity X N Y p(y x) Capacity: bits per channel
More informationAlgebraic Theory of Entanglement
Algebraic Theory of (arxiv: 1205.2882) 1 (in collaboration with T.R. Govindarajan, A. Queiroz and A.F. Reyes-Lega) 1 Physics Department, Syracuse University, Syracuse, N.Y. and The Institute of Mathematical
More informationQuantum control of dissipative systems. 1 Density operators and mixed quantum states
Quantum control of dissipative systems S. G. Schirmer and A. I. Solomon Quantum Processes Group, The Open University Milton Keynes, MK7 6AA, United Kingdom S.G.Schirmer@open.ac.uk, A.I.Solomon@open.ac.uk
More informationUnitary rotations. October 28, 2014
Unitary rotations October 8, 04 The special unitary group in dimensions It turns out that all orthogonal groups SO n), rotations in n real dimensions) may be written as special cases of rotations in a
More informationA non-commutative notion of separate continuity
A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)
More informationSquashed entanglement
Squashed Entanglement based on Squashed Entanglement - An Additive Entanglement Measure (M. Christandl, A. Winter, quant-ph/0308088), and A paradigm for entanglement theory based on quantum communication
More informationLecture 6: Quantum error correction and quantum capacity
Lecture 6: Quantum error correction and quantum capacity Mark M. Wilde The quantum capacity theorem is one of the most important theorems in quantum hannon theory. It is a fundamentally quantum theorem
More informationPhysics 550. Problem Set 6: Kinematics and Dynamics
Physics 550 Problem Set 6: Kinematics and Dynamics Name: Instructions / Notes / Suggestions: Each problem is worth five points. In order to receive credit, you must show your work. Circle your final answer.
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationAn Introduction to Quantum Computation and Quantum Information
An to and Graduate Group in Applied Math University of California, Davis March 13, 009 A bit of history Benioff 198 : First paper published mentioning quantum computing Feynman 198 : Use a quantum computer
More informationSecond quantization: where quantization and particles come from?
110 Phys460.nb 7 Second quantization: where quantization and particles come from? 7.1. Lagrangian mechanics and canonical quantization Q: How do we quantize a general system? 7.1.1.Lagrangian Lagrangian
More informationOptimal state reconstructions
Quantum observations talk 3 Vladimír Bužek Research Center for Quantum Information, Bratislava, Slovakia 4 September 0 Sharif University of Technology, Tehran Optimal state reconstructions Reconstructions
More informationThe Postulates of Quantum Mechanics
p. 1/23 The Postulates of Quantum Mechanics We have reviewed the mathematics (complex linear algebra) necessary to understand quantum mechanics. We will now see how the physics of quantum mechanics fits
More information1 Equal-time and Time-ordered Green Functions
1 Equal-time and Time-ordered Green Functions Predictions for observables in quantum field theories are made by computing expectation values of products of field operators, which are called Green functions
More informationQubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,
Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable, A qubit: a sphere of values, which is spanned in projective sense by two quantum
More information2.4.8 Heisenberg Algebra, Fock Space and Harmonic Oscillator
.4. SPECTRAL DECOMPOSITION 63 Let P +, P, P 1,..., P p be the corresponding orthogonal complimentary system of projections, that is, P + + P + p P i = I. i=1 Then there exists a corresponding system of
More informationOperator norm convergence for sequence of matrices and application to QIT
Operator norm convergence for sequence of matrices and application to QIT Benoît Collins University of Ottawa & AIMR, Tohoku University Cambridge, INI, October 15, 2013 Overview Overview Plan: 1. Norm
More informationPath integral in quantum mechanics based on S-6 Consider nonrelativistic quantum mechanics of one particle in one dimension with the hamiltonian:
Path integral in quantum mechanics based on S-6 Consider nonrelativistic quantum mechanics of one particle in one dimension with the hamiltonian: let s look at one piece first: P and Q obey: Probability
More informationLie Groups for 2D and 3D Transformations
Lie Groups for 2D and 3D Transformations Ethan Eade Updated May 20, 2017 * 1 Introduction This document derives useful formulae for working with the Lie groups that represent transformations in 2D and
More informationExam. Matrikelnummer: Points. Question Bonus. Total. Grade. Information Theory and Signal Reconstruction Summer term 2013
Exam Name: Matrikelnummer: Question 1 2 3 4 5 Bonus Points Total Grade 1/6 Question 1 You are traveling to the beautiful country of Markovia. Your travel guide tells you that the weather w i in Markovia
More informationIntroduction to Quantum Mechanics
Introduction to Quantum Mechanics R. J. Renka Department of Computer Science & Engineering University of North Texas 03/19/2018 Postulates of Quantum Mechanics The postulates (axioms) of quantum mechanics
More informationThe Adaptive Classical Capacity of a Quantum Channel,
The Adaptive Classical Capacity of a Quantum Channel, or Information Capacities of Three Symmetric Pure States in Three Dimensions Peter W. Shor 1 AT&T Labs Research Florham Park, NJ 07932 02139 1 Current
More information31st Jerusalem Winter School in Theoretical Physics: Problem Set 2
31st Jerusalem Winter School in Theoretical Physics: Problem Set Contents Frank Verstraete: Quantum Information and Quantum Matter : 3 : Solution to Problem 9 7 Daniel Harlow: Black Holes and Quantum Information
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationHarmonic Oscillator with raising and lowering operators. We write the Schrödinger equation for the harmonic oscillator in one dimension as follows:
We write the Schrödinger equation for the harmonic oscillator in one dimension as follows: H ˆ! = "!2 d 2! + 1 2µ dx 2 2 kx 2! = E! T ˆ = "! 2 2µ d 2 dx 2 V ˆ = 1 2 kx 2 H ˆ = ˆ T + ˆ V (1) where µ is
More informationSemidefinite programming strong converse bounds for quantum channel capacities
Semidefinite programming strong converse bounds for quantum channel capacities Xin Wang UTS: Centre for Quantum Software and Information Joint work with Runyao Duan and Wei Xie arxiv:1610.06381 & 1601.06888
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationMaximal vectors in Hilbert space and quantum entanglement
Maximal vectors in Hilbert space and quantum entanglement William Arveson arveson@math.berkeley.edu UC Berkeley Summer 2008 arxiv:0712.4163 arxiv:0801.2531 arxiv:0804.1140 Overview Quantum Information
More informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More informationarxiv: v1 [quant-ph] 3 Jan 2008
A paradigm for entanglement theory based on quantum communication Jonathan Oppenheim 1 1 Department of Applied Mathematics and Theoretical Physics, University of Cambridge U.K. arxiv:0801.0458v1 [quant-ph]
More information8.05, Quantum Physics II, Fall 2013 TEST Wednesday October 23, 12:30-2:00pm You have 90 minutes.
8.05, Quantum Physics II, Fall 03 TEST Wednesday October 3, :30-:00pm You have 90 minutes. Answer all problems in the white books provided. Write YOUR NAME and YOUR SECTION on your white books). There
More informationPrivate quantum subsystems and error correction
Private quantum subsystems and error correction Sarah Plosker Department of Mathematics and Computer Science Brandon University September 26, 2014 Outline 1 Classical Versus Quantum Setting Classical Setting
More informationInflation in Flatland
Inflation in Flatland Austin Joyce Center for Theoretical Physics Columbia University Kurt Hinterbichler, AJ, Justin Khoury, 1609.09497 Theoretical advances in particle cosmology, University of Chicago,
More informationM. Matrices and Linear Algebra
M. Matrices and Linear Algebra. Matrix algebra. In section D we calculated the determinants of square arrays of numbers. Such arrays are important in mathematics and its applications; they are called matrices.
More informationLecture #5: Begin Quantum Mechanics: Free Particle and Particle in a 1D Box
561 Fall 017 Lecture #5 page 1 Last time: Lecture #5: Begin Quantum Mechanics: Free Particle and Particle in a 1D Box 1-D Wave equation u x = 1 u v t * u(x,t): displacements as function of x,t * nd -order:
More informationPhysics 202 Laboratory 5. Linear Algebra 1. Laboratory 5. Physics 202 Laboratory
Physics 202 Laboratory 5 Linear Algebra Laboratory 5 Physics 202 Laboratory We close our whirlwind tour of numerical methods by advertising some elements of (numerical) linear algebra. There are three
More information3. Quantum Mechanics in 3D
3. Quantum Mechanics in 3D 3.1 Introduction Last time, we derived the time dependent Schrödinger equation, starting from three basic postulates: 1) The time evolution of a state can be expressed as a unitary
More informationAssignment 10. Arfken Show that Stirling s formula is an asymptotic expansion. The remainder term is. B 2n 2n(2n 1) x1 2n.
Assignment Arfken 5.. Show that Stirling s formula is an asymptotic expansion. The remainder term is R N (x nn+ for some N. The condition for an asymptotic series, lim x xn R N lim x nn+ B n n(n x n B
More informationResolvent Algebras. An alternative approach to canonical quantum systems. Detlev Buchholz
Resolvent Algebras An alternative approach to canonical quantum systems Detlev Buchholz Analytical Aspects of Mathematical Physics ETH Zürich May 29, 2013 1 / 19 2 / 19 Motivation Kinematics of quantum
More informationCanonical Quantization
Canonical Quantization March 6, 06 Canonical quantization of a particle. The Heisenberg picture One of the most direct ways to quantize a classical system is the method of canonical quantization introduced
More informationPh 219/CS 219. Exercises Due: Friday 3 November 2006
Ph 9/CS 9 Exercises Due: Friday 3 November 006. Fidelity We saw in Exercise. that the trace norm ρ ρ tr provides a useful measure of the distinguishability of the states ρ and ρ. Another useful measure
More informationQuantum Linear Systems Theory
RMIT 2011 1 Quantum Linear Systems Theory Ian R. Petersen School of Engineering and Information Technology, University of New South Wales @ the Australian Defence Force Academy RMIT 2011 2 Acknowledgments
More informationControl and Robustness for Quantum Linear Systems
CCC 2013 1 Control and Robustness for Quantum Linear Systems Ian R. Petersen School of Engineering and Information Technology, UNSW Canberra CCC 2013 2 Introduction Developments in quantum technology and
More informationII. The Machinery of Quantum Mechanics
II. The Machinery of Quantum Mechanics Based on the results of the experiments described in the previous section, we recognize that real experiments do not behave quite as we expect. This section presents
More informationSemidefinite programming strong converse bounds for quantum channel capacities
Semidefinite programming strong converse bounds for quantum channel capacities Xin Wang UTS: Centre for Quantum Software and Information Joint work with Wei Xie, Runyao Duan (UTS:QSI) QIP 2017, Microsoft
More informationOn positive maps in quantum information.
On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University
More informationQuantum entanglement and symmetry
Journal of Physics: Conference Series Quantum entanglement and symmetry To cite this article: D Chrucisi and A Kossaowsi 2007 J. Phys.: Conf. Ser. 87 012008 View the article online for updates and enhancements.
More information