Recoverability in quantum information theory

8/21/2019 Recoverability in quantum information theory

1/23

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,

Baton Rouge, Louisiana, USA

[email protected]

Beyond i.i.d., July 5-10, 2015, Banff, Alberta, Canada

Mark M. Wilde (LSU) 1 / 23


2/23

Main message

Entropy inequalities established in the 1970s are a mathematicalconsequence of the postulates of quantum physics

They are helpful in determining the ultimate limits on many physicalprocesses (communication, thermodynamics, uncertainty relations)

Many of these entropy inequalities are equivalent to each other, so wecan say that together they constitute a fundamental law of quantuminformation theory

There has been recent interest in refining these inequalities, trying to

understand how well one can attempt to reverse an irreversiblephysical process

This poster presentation discusses progress in this direction



3/23

Background — entropies

Umegaki relative entropy [Ume62]The quantum relative entropy is a measure of dissimilarity between twoquantum states. Defined for state ρ and positive semi-definite σ as

D (ρ

σ)

≡Tr

{ρ[log ρ

−log σ]

}whenever supp(ρ) ⊆ supp(σ) and +∞ otherwise

Physical interpretation with quantum Stein’s lemma [HP91, NO00]

Given are n quantum systems, all of which are prepared in either the stateρ or σ. With a constraint of ε ∈ (0, 1) on the Type I error of misidentifying ρ, then the optimal error exponent for the Type II error of misidentifying σ is D (ρσ).



4/23

Background — entropies

Relative entropy as “mother” entropy

Many important entropies can be written in terms of relative entropy:H (A)ρ ≡ −D (ρAI A) (entropy)H (A|B )ρ ≡ −D (ρAB I A ⊗ ρB ) (conditional entropy)I (A;B )ρ ≡ D (ρAB ρA ⊗ ρB ) (mutual information)I (A;B |C )ρ ≡ D (ρABC exp{log ρAC + log ρBC − log ρC }) (cond. MI)

Equivalences

H (A|B )ρ = H (AB )ρ − H (B )ρI (A;B )ρ = H (A)ρ + H (B )ρ − H (AB )ρI (A;B )ρ = H (B )ρ − H (B |A)ρI (A;B |C )ρ = H (AC )ρ + H (BC )ρ − H (ABC )ρ − H (C )ρI (A;B

|C )ρ = H (B

|C )ρ

−H (B

|AC )ρ



5/23

Fundamental law of quantum information theory

Monotonicity of quantum relative entropy [Lin75, Uhl77]Let ρ be a state, let σ be positive semi-definite, and let N be a quantumchannel. Then

D (ρσ) ≥ D ( N (ρ)N (σ))

“Distinguishability does not increase under a physical process”Characterizes a fundamental irreversibility in any physical process

Proof approaches

Lieb concavity theorem [L73]relative modular operator method (see, e.g., [NP04])

quantum Stein’s lemma [BS03]



6/23

Strong subadditivity

Strong subadditivity [LR73]

Let ρABC be a tripartite quantum state. Then

I (A;B |C )ρ ≥ 0

Equivalent statements (by definition)

Entropy sum of two individual systems is larger than entropy sum of their union and intersection:

H (AC )ρ + H (BC )ρ ≥ H (ABC )ρ + H (C )ρConditional entropy does not decrease under the loss of system A:

H (B |C )ρ ≥ H (B |AC )ρ



7/23

Equality conditions [Pet86, Pet88]

When does equality in monotonicity of relative entropy hold?

D (ρσ) = D ( N (ρ)N (σ)) iff ∃ a recovery map RP σ, N such that

ρ = (RP σ, N ◦ N )(ρ), σ = (RP σ, N ◦ N )(σ)

This “Petz” recovery map has the following explicit form [HJPW04]:

RP σ, N (ω) ≡ σ1/2 N †

( N (σ))−1/2ω( N (σ))−1/2

σ1/2

Classical case: Distributions p X and q X and a channel N (y |x ). Thenthe Petz recovery map R

P

(x |y ) is given by the Bayes theorem:RP (x |y )q Y (y ) = N (y |x )q X (x )

where q Y (y ) ≡

x N (y |x )q X (x )



8/23

More on Petz recovery map

Linear, completely positive by inspection and trace non-increasing

becauseTr{RP σ, N (ω)} = Tr{σ1/2 N †

( N (σ))−1/2ω( N (σ))−1/2

σ1/2}

= Tr{σ N †

( N (σ))−1/2ω( N (σ))−1/2}

= Tr{N (σ)( N (σ))−1/2

ω( N (σ))−1/2

}≤ Tr{ω}For N (σ) positive definite, the map perfectly recovers σ from N (σ):

RP σ, N ( N (σ)) = σ

1/2

N † ( N (σ))−1/2 N (σ)( N (σ))−1/2σ1/2

= σ1/2 N † (I ) σ1/2= σ



9/23

Functoriality

Normalization [LW14]

For identity channel, the Petz recovery map is the identity map:RP σ,id = id. “If there’s no noise, then no need to recover”

Tensorial [LW14]

Given a tensor-product state and channel, then the Petz recovery map is atensor product: RP σ1⊗σ2, N 1⊗N 2 = RP σ1, N 1 ⊗RP σ2, N 2 . “Individual actionsuffices for ‘pretty good’ recovery of individual states”

Composition [LW14]Given N 2 ◦ N 1, then RP σ, N 2◦N 1 = RP σ, N 1 ◦ RP N 1(σ), N 2 . “To recover ‘prettywell’ overall, recover ‘pretty well’ from the last noise first and the firstnoise last”



10/23

Petz recovery map for strong subadditivity

Strong subadditivity is a special case of monotonicity of relativeentropy with ρ = ωABC , σ = ωAC ⊗ I B , and N = TrAThen N †(·) = (·)⊗ I A and Petz recovery map is

RP C →AC (τ C ) = ω

1/2

AC ω−1/2

C

τ C ω−1/2

C ⊗I Aω

1/2

AC

Interpretation: If system A is lost but H (B |C )ω = H (B |AC )ω, thenone can recover the full state on ABC by performing the Petzrecovery map on system C of ωBC , i.e.,

ωABC = RP C →AC (ωBC )



11/23

Approximate case

Approximate case would be useful for applications

Approximate case for monotonicity of relative entropy

What can we say when D (ρσ)− D ( N (ρ)N (σ)) = ε ?Does there exist a CPTP map

R that recovers σ perfectly from

N (σ)

while recovering ρ from N (ρ) approximately? [WL12]

Approximate case for strong subadditivity

What can we say when H (B

|C )ω

−H (B

|AC )ω = ε ?

Is ωABC approximately recoverable from ωBC by performing arecovery map on system C alone? [WL12]



12/23

Other measures of similarity for quantum states

Trace distance

Trace distance between ρ and σ is ρ − σ1 where A1 = Tr{√ A†A}.Has a one-shot operational interpretation as the bias in success probabilitywhen distinguishing ρ and σ with an optimal quantum measurement.

Fidelity [Uhl76]Fidelity between ρ and σ is F (ρ, σ) ≡ √ ρ√ σ21. Has a one-shotoperational interpretation as the probability with which a purification of ρcould pass a test for being a purification of σ.

Bures distance [Bur69]

Bures distance between ρ and σ is D B (ρ, σ) =

2

1− F (ρ, σ).Mark M. Wilde (LSU) 12 / 23


13/23

Breakthrough result of [FR14]

Remainder term for strong subadditivity [FR14]

∃ unitary channels U C and V AC such thatH (B |C )ω − H (B |AC )ω ≥ − log F

ωABC , (V AC ◦ RP C →AC ◦ U C )(ωBC )

Nothing known from [FR14] about these unitaries! However, can conclude

that I (A;B |C ) is small iff ωABC is approximately recoverable from systemC alone after the loss of system A.

Remainder term for monotonicity of relative entropy [BLW14]

∃ unitary channels U and V such thatD (ρσ)−D ( N (ρ)N (σ)) ≥ − log F

ρ, (V ◦ RP σ, N ◦ U )( N (ρ))

Again, nothing known from [BLW14] about U and V .



14/23

New result of [Wil15]

New Theorem: Let ρ and σ be such that supp(ρ) ⊆ supp(σ) and let N be a quantum channel. Then the following inequality holds

D (ρσ)− D ( N (ρ)N (σ)) ≥ − log

supt ∈R

F

ρ,RP ,t σ, N ( N (ρ))

,

where RP ,t

σ, N is the following rotated Petz recovery map:

RP ,t σ, N (·) ≡ U σ,t ◦ RP σ, N ◦ U N (σ),−t

(·) ,

RP

σ, N

is the Petz recovery map, and U

σ,t and U N (σ),−t are defined from

U ω,t (·) ≡ ωit (·) ω−it , with ω a positive semi-definite operator.

Two tools for proof : Rényi generalization of a relative entropy differenceand the Hadamard three-line theorem



15/23

Rényi generalizations of a relative entropy difference

Definition from [BSW14, SBW14]

∆α (ρ,σ, N ) ≡ 2α

log N (ρ)−α/2 N (σ)α/2 ⊗ I E U σ−α/2ρ1/2

2α,

where α ∈ (0, 1) ∪ (1,∞), α

≡ (α − 1)/α, and U

S →BE is an isometricextension of N .

Important properties

limα→1

∆α (ρ,σ, N ) = D (ρσ)− D ( N (ρ) N (σ)) .∆1/2 (ρ,σ, N ) = − log F ρ,RP σ, N ( N (ρ)) .



16/23

Hadamard three-line theorem

Let S

≡ {z

∈C : 0

≤Re

{z

} ≤1

}, and let L (

H) be the space of bounded

linear operators acting on a Hilbert space H. Let G : S → L (H) be abounded map that is holomorphic on the interior of S and continuous onthe boundary. Let θ ∈ (0, 1) and define p θ by

1

p θ =

1

−θ

p 0 +

θ

p 1 ,

where p 0, p 1 ∈ [1,∞]. For k = 0, 1 define

M k = sup

t ∈R

G (k + it )p k .

ThenG (θ)p θ ≤ M 1−θ0 M θ1 .


Th ( ) li f


17/23

Three (or so) line proof

Pick

G (z ) ≡ [ N (ρ)]z /2 [ N (σ)]−z /2 ⊗ I E U σz /2ρ1/2,p 0 = 2, p 1 = 1, θ ∈ (0, 1) ⇒ p θ = 2

1 + θ

Then

M 0 = supt ∈R

N (ρ)it /2 N (σ)−it /2 ⊗ I E U σit ρ1/22≤ ρ1/2

2= 1,

M 1 = supt ∈R

G (1 + it )1 =

supt ∈R

F

ρ,RP ,t σ, N ( N (ρ))1/2

.

Apply the three-line theorem to conclude that

G (θ)2/(1+θ) ≤

supt ∈R

F

ρ,RP ,t σ, N ( N (ρ))θ/2

.

Take a negative logarithm and the limit as θ 0 to conclude.Mark M. Wilde (LSU) 17 / 23

SSA fi i l


18/23

SSA refinement as a special case

Let ρABC be a density operator acting on a finite-dimensional Hilbert

space HA ⊗HB ⊗HC . Then the following inequality holdsI (A;B |C )ρ ≥ − log

supt ∈R

F

ρABC ,RP ,t C →AC (ρBC )

,

where RP ,t

C →AC is the following rotated Petz recovery map:

RP ,t C →AC (·) ≡ U ρAC ,t ◦ RP C →AC ◦ U ρC ,−t

(·) ,

the Petz recovery map

RP C →AC is defined as

RP C →AC (·) ≡ ρ1/2AC

ρ−1/2C (·) ρ−1/2C ⊗ I A

ρ

1/2AC ,

and the partial isometric maps U ρAC ,t and U ρC ,−t are defined as before.


C l i


19/23

Conclusions

The result of [FR14] already had a number of important implications

in quantum information theory.The new result in [Wil15] applies to relative entropy differences, has abrief proof, and improves our understanding of the input and outputunitaries (but see [SFR15] for the special case of SSA)

By building on [SFR15, Wil15], we can now generalize these results:there is a universal recovery map which depends only on σ and N andhas the form [SRWW15]:

X

→ µ(dt )

RP ,t σ, N (X )

for some probability measure µ.

It is still conjectured that the recovery map can be the Petz recoverymap alone (not a rotated Petz map).


R f I


20/23

References I

[BLW14] Mario Berta, Marius Lemm, and Mark M. Wilde. Monotonicity of quantumrelative entropy and recoverability. December 2014. arXiv:1412.4067.

[BS03] Igor Bjelakovic and Rainer Siegmund-Schultze. Quantum Stein’s lemmarevisited, inequalities for quantum entropies, and a concavity theorem of Lieb. July2003. arXiv:quant-ph/0307170.

[BSW14] Mario Berta, Kaushik Seshadreesan, and Mark M. Wilde. Rényi generalizations

of the conditional quantum mutual information. March 2014. arXiv:1403.6102.

[Bur69] Donald Bures. An extension of Kakutani’s theorem on infinite product measuresto the tensor product of semifinite w ∗-algebras. Transactions of the AmericanMathematical Society , 135:199–212, January 1969.

[FR14] Omar Fawzi and Renato Renner. Quantum conditional mutual information and

approximate Markov chains. October 2014. arXiv:1410.0664.

[HJPW04] Patrick Hayden, Richard Jozsa, Denes Petz, and Andreas Winter. Structureof states which satisfy strong subadditivity of quantum entropy with equality.Communications in Mathematical Physics , 246(2):359–374, April 2004.arXiv:quant-ph/0304007.


R f II


21/23

References II

[HP91] Fumio Hiai and Denes Petz. The proper formula for relative entropy and itsasymptotics in quantum probability. Communications in Mathematical Physics ,143(1):99–114, December 1991.

[Lin75] Göran Lindblad. Completely positive maps and entropy inequalities.Communications in Mathematical Physics , 40(2):147–151, June 1975.

[L73] Elliott H. Lieb. Convex Trace Functions and the Wigner-Yanase-Dyson

Conjecture. Advances in Mathematics , 11(3), 267–288, December 1973.

[LR73] Elliott H. Lieb and Mary Beth Ruskai. Proof of the strong subadditivity of quantum-mechanical entropy. Journal of Mathematical Physics , 14(12):1938–1941,December 1973.

[LW14] Ke Li and Andreas Winter. Squashed entanglement, k -extendibility, quantumMarkov chains, and recovery maps. October 2014. arXiv:1410.4184.

[NO00] Hirsohi Nagaoka and Tomohiro Ogawa. Strong converse and Stein’s lemma inquantum hypothesis testing. IEEE Transactions on Information Theory ,46(7):2428–2433, November 2000. arXiv:quant-ph/9906090.


References III


22/23

References III

[NP04] Michael A. Nielsen and Denes Petz. A simple proof of the strong subadditivity

inequality. arXiv:quant-ph/0408130.[Pet86] Denes Petz. Sufficient subalgebras and the relative entropy of states of a von

Neumann algebra. Communications in Mathematical Physics , 105(1):123–131,March 1986.

[Pet88] Denes Petz. Sufficiency of channels over von Neumann algebras. Quarterly

Journal of Mathematics , 39(1):97–108, 1988.

[SBW14] Kaushik P. Seshadreesan, Mario Berta, and Mark M. Wilde. Rényi squashedentanglement, discord, and relative entropy differences. October 2014.arXiv:1410.1443.

[SFR15] David Sutter, Omar Fawzi, and Renato Renner. Universal recovery map forapproximate Markov chains. April 2015. arXiv:1504.07251.

[SRWW15] David Sutter, Renato Renner, Mark M. Wilde, and Andreas Winter.Universal recovery from a decrease of quantum relative entropy. June 2015.arXiv:150?.?????.


References IV


23/23

References IV

[Uhl76] Armin Uhlmann. The “transition probability” in the state space of a *-algebra.Reports on Mathematical Physics , 9(2):273–279, 1976.

[Uhl77] Armin Uhlmann. Relative entropy and the Wigner-Yanase-Dyson-Lieb concavityin an interpolation theory. Communications in Mathematical Physics , 54(1):21–32,1977.

[Ume62] Hisaharu Umegaki. Conditional expectations in an operator algebra IV (entropyand information). Kodai Mathematical Seminar Reports , 14(2):59–85, 1962.

[Wil15] Mark M. Wilde. Recoverability in quantum information theory. May 2015.arXiv:1505.04661.

[WL12] Andreas Winter and Ke Li. A stronger subadditivity relation?http://www.maths.bris.ac.uk/∼csajw/stronger subadditivity.pdf, 2012.


Documents

Recoverability in quantum information theory