quantum stein’s lemma for correlated states and asymptotic entanglement transformations
DESCRIPTION
Fernando G.S.L. Brand ão and Martin B. Plenio. Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations. arXiv 0810.0026 (chapter 4) arXiv 0902.XXXX. QIP 2009, Santa Fe. Multipartite entangled states. Non-entangled states. Can be created by LOCC - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/1.jpg)
Quantum Stein’s lemma for correlated statesand asymptotic entanglement transformations
Fernando G.S.L. Brandão and Martin B. Plenio
QIP 2009, Santa Fe
arXiv 0810.0026 (chapter 4) arXiv 0902.XXXX
![Page 2: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/2.jpg)
Multipartite entangled states
kj
jjjp ...1
Non-entangled states
Can be created by LOCC(Local Operations and
Classical Communication)
![Page 3: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/3.jpg)
Multipartite entangled states
A B
))(( nornnLOCC
n
LOCC asymptotic entanglement conversion
0||)(||minlim 1
nnr
LOCCn
r is an achievable rate if
LOCC optimal conversion rate
achievablerR :inf)(
![Page 4: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/4.jpg)
Asymptotically non-entangled states
is asymptotically non-entangled if there is a state such that
0)( R
Is every entangled state asymptotically entangled?
• For distillable states: Hence, they must be asymptotically entangled
• For bound entangled states,
Are they asymptotically entangled?
0)( EPRR
0)( EPRR (Horodecki, Horodecki, Horodecki 98)
![Page 5: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/5.jpg)
Asymptotically non-entangled states
is asymptotically non-entangled if there is a state such that
0)( R
Is every entangled state asymptotically entangled?
• For distillable states: Hence, they must be asymptotically entangled
• For bound entangled states,
Are they asymptotically entangled?
0)( EPRR
0)( EPRR (Horodecki, Horodecki, Horodecki 98)
![Page 6: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/6.jpg)
Asymptotically non-entangled states
• We can use entanglement measures to analyse the problem:
• Let r be an achievable rate: 0||)(||minlim 1
nnr
LOCCn
)||)((||)(1
))((1
)(1
1nnrnnrnr E
nE
nE
n
LOCC monotonicity Asymptotic continuity
)(/)()(
)(1
lim:)(),()(
EER
En
EErE n
nR
• If , then is asymptotically entangled0)( E
![Page 7: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/7.jpg)
Asymptotically non-entangled states
• We can use entanglement measures to analyse the problem:
• Let r be an achievable rate: 0||)(||minlim 1
nnr
LOCCn
)||)((||)(1
))((1
)(1
1nnrnnrnr E
nE
nE
n
LOCC monotonicity Asymptotic continuity
)(/)()(
)(1
lim:)(),()(
EER
En
EErE n
nR
• If , then is asymptotically entangled0)( E
![Page 8: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/8.jpg)
Asymptotically non-entangled states
• Every bipartite entangled state is asymptotically entangled
(Yang, Horodecki, Horodecki, Synak-Radtke 05)
n
EER
nF
nCEPR
)(lim)()(
0)( CE• for every bipartite entangled states
• Entanglement cost:
Bennett, DiVincenzo, Smolin, Wootters 96, Hayden, Horodecki, Terhal 00
![Page 9: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/9.jpg)
Asymptotically non-entangled states
• This talk: Every multipartite entangled state is asymptotically entangled
• The multipartite case is not implied by the bipartite: there are entangled states which are separable across any bipartition
ex: State derived from the Shift Unextendible-Product-Basis (Bennett, DiVincenzo, Mor, Shor, Smolin, Terhal 98)
![Page 10: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/10.jpg)
Asymptotically non-entangled states
n
EE
trSE
nR
nR
SSR
)(lim)(
))log(log(min)||(min)(
• Regularized relative entropy of entanglement:
)(/)()( RR EER
• Rest of the talk: for every entangled state
• We show that by linking to a certain quantum hypothesis testing problem
0)( RE
Same result has been found by Marco Piani, with different techniques
(Vedral and Plenio 98, Vollbrecht and Werner 00)
RE
![Page 11: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/11.jpg)
Given n copies of a quantum state, with the promise that it is described either by or , determine the identity of the state.
Measure two outcome POVM .
Error probabilities
- Type I error:
- Type II error:
Quantum Hypothesis Testing
nn AIA ,
))((:)( nn
nn AItrA
)(:)( nn
nn AtrA
Null hypothesis
Alternative hypothesis
![Page 12: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/12.jpg)
Given n copies of a quantum state, with the promise that it is described either by or , determine the identity of the state.
Measure two outcome POVM
Error probabilities
- Type I error:
- Type II error:
Quantum Hypothesis Testing
nn AIA ,
))((:)( nn
nn AItrA
)(:)( nn
nn AtrA
The state is
The state is
![Page 13: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/13.jpg)
Given n copies of a quantum state, with the promise that it is described either by or , determine the identity of the state
Measure two outcome POVM
Error probabilities
- Type I error:
- Type II error:
Several different instances depending on the constraints imposed in the error probabilities: Chernoff distance, Hoeffding bound, Stein’s Lemma, etc...
Quantum Hypothesis Testing
nn AIA ,
))((:)( nn
nn AItrA
)(:)( nn
nn AtrA
![Page 14: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/14.jpg)
Asymmetric hypothesis testing
Quantum Stein’s Lemma
Quantum Stein’s Lemma
)(:)(min:)(0
nnnnIA
n AArn
)||()(log
lim,0 Sn
rnn
(Hiai and Petz 91; Ogawa and Nagaoka 00)
![Page 15: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/15.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n nntr )(1
n m mn
n nnS )(
![Page 16: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/16.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n 1,...,1)( njtr nj
n m mn
n nnS )(
![Page 17: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/17.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n 1,...,1)( njtr nj
n m mn
n nnS )(
![Page 18: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/18.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n 1,...,1)( njtr nj
n m mn
n nnS )(
![Page 19: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/19.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n 1,...,1)( njtr nj
n m mn
n nnS )(
![Page 20: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/20.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n 1,...,1)( njtr nj
n m mn
n nnS )(
![Page 21: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/21.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n
n m mn
n nnS )(
)(
*(*)nSYM
n PPS
1,...,1)( njtr nj
![Page 22: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/22.jpg)
Consider the following two hypothesis
- Null hypothesis: For every we have
- Alternative hypothesis: For every we have an unknown
state , where satisfies
1. Each is closed and convex
2. Each contains the maximally mixed state
3. If , then
4. If and , then
5. If , then
A generalization of Quantum Stein’s Lemma
n n
n)( n
nn HD nn
nnn HI )dim(/
1 n
n m mn
n nnS )(
1,...,1)( njtr nj
)...( 21n
knn
n HHHS
![Page 23: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/23.jpg)
theorem: Given satisfying properties 1-5 and
- (Direct Part) there is a s.t.
A generalization of Quantum Stein’s Lemma
nn )(HD
nnn AIA ,
1)(lim
nn
nAtr
))((2)(,
En
nnnnn Atr
0
n
SE
n
n n
)||(minlim)(
![Page 24: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/24.jpg)
theorem: Given satisfying properties 1-5 and
- (Strong Converse) , if
A generalization of Quantum Stein’s Lemma
nn )(HD
0)(lim
nn
nAtr
))((2)(..
En
nnnnn Atrts
nnn AIA ,,0
![Page 25: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/25.jpg)
theorem: Given satisfying properties 1-5 and
- (Strong Converse) , if
A generalization of Quantum Stein’s Lemma
nn )(HD
0)(lim
nn
nAtr
))((2)(..
En
nnnnn Atrts
nnn AIA ,,0
Proof: Exponential de Finetti theorem (Renner 05) + duality convex optimization + quantum Stein’s lemma; see arXiv 0810.0026
![Page 26: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/26.jpg)
Corollary: strict positiveness of E R∞
For an entangled state we construct a sequence of POVMs s.t.
1)(lim
nn
nAtr
0,2)(, n
nnnnn AtrS
![Page 27: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/27.jpg)
Corollary: strict positiveness of E R∞
How we construct the An’s : we measure each copy with a local informationally complete POVM M to obtain an empirical estimate of the state. If
we accept, otherwise we reject
n
2/||||min:|||| 11
Sn
M
![Page 28: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/28.jpg)
Corollary: strict positiveness of E R∞
• By Chernoff-Hoeffding’s bound, it’s clear that for some
for of the form
, with supported on separable states
0
,2)( nnnAtr
n
nn d )(
![Page 29: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/29.jpg)
Corollary: strict positiveness of E R∞
• In general, by the exponential de Finneti theorem,
• for
• We show that
which implies the result
•x
(Renner 05)
")"())(( )1(,...,1
nnnn dStr
almost power states
)(
||||
)1( 2)""()(1
nnnAtrd
,2"" )()1( nnnAtr 1||||
![Page 30: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/30.jpg)
Corollary: strict positiveness of E R∞
• Let’s show that
• We measure an info-complete POVM on all copies of
expect the first
• The estimated state is close from the post-selected state with probability
• As we only used LOCC, the post-selected state must be separable and hence far apart from
M
))((,...,1 nnn Str
)(21 n
2
)(
||||
)1( 2)""()(1
nnnAtrd
![Page 31: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/31.jpg)
Thank you!
•x
![Page 32: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/32.jpg)
![Page 33: Quantum Stein’s lemma for correlated states and asymptotic entanglement transformations](https://reader035.vdocuments.mx/reader035/viewer/2022062422/56812e48550346895d93ddfd/html5/thumbnails/33.jpg)