Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1....
-
Upload
willis-chapman -
Category
Documents
-
view
216 -
download
0
Transcript of Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1....
![Page 1: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/1.jpg)
Faithful Squashed Entanglement
Fernando G.S.L. Brandão1 Matthias Christandl2
Jon Yard3
1. Universidade Federal de Minas Gerais, Brazil2. ETH Zürich, Switzerland
3. Los Alamos Laboratory, USA
with applications to separability testing and quantum Merlin-Arthur games
![Page 2: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/2.jpg)
Mutual Information vs Conditional Mutual Information
Mutual Information: Measures the correlations of A and B in ρAB
I(A:B)ρ := S(A)ρ + S(B)ρ – S(AB)ρ
![Page 3: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/3.jpg)
Mutual Information vs Conditional Mutual Information
Mutual Information: Measures the correlations of A and B in ρAB
I(A:B)ρ := S(A)ρ + S(B)ρ – S(AB)ρ
Always positive: I(A:B)ρ ≥ 0 (subadditivity of entropy)
![Page 4: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/4.jpg)
Mutual Information vs Conditional Mutual Information
Mutual Information: Measures the correlations of A and B in ρAB
I(A:B)ρ := S(A)ρ + S(B)ρ – S(AB)ρ
Always positive: I(A:B)ρ ≥ 0 (subadditivity of entropy)
When does it vanish? I(A:B)ρ = 0 iff ρAB = ρA ρB
![Page 5: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/5.jpg)
Mutual Information vs Conditional Mutual Information
Mutual Information: Measures the correlations of A and B in ρAB
I(A:B)ρ := S(A)ρ + S(B)ρ – S(AB)ρ
Always positive: I(A:B)ρ ≥ 0 (subadditivity of entropy)
When does it vanish? I(A:B)ρ = 0 iff ρAB = ρA ρB
Approximate version? Pinsker’s inequality:
Remark: dimension-independent! Useful in many application in QIT (e.g. decoupling, QKD, …)
![Page 6: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/6.jpg)
Mutual Information vs Conditional Mutual Information
Conditional Mutual Information: Measures the correlations of A and B relative to E in ρABE
I(A:B|E)ρ := S(AE)ρ + S(BE)ρ – S(ABE)ρ – S(E)ρ
![Page 7: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/7.jpg)
Mutual Information vs Conditional Mutual Information
Conditional Mutual Information: Measures the correlations of A and B relative to E in ρABE
I(A:B|E)ρ := S(AE)ρ + S(BE)ρ – S(ABE)ρ – S(E)ρ
Always positive: I(A:B|E)ρ ≥ 0 (strong-subadditivity of entropy)(Lieb, Ruskai ‘73)
![Page 8: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/8.jpg)
Mutual Information vs Conditional Mutual Information
Conditional Mutual Information: Measures the correlations of A and B relative to E in ρABE
I(A:B|E)ρ := S(AE)ρ + S(BE)ρ – S(ABE)ρ – S(E)ρ
Always positive: I(A:B|E)ρ ≥ 0 (strong-subadditivity of entropy)
When does it vanish?
I(A:B|E)ρ = 0 iff ρABE is a “Quantum Markov Chain State”
E.g.
(Hayden, Jozsa, Petz, Winter ‘04)
(Lieb, Ruskai ‘73)
![Page 9: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/9.jpg)
Mutual Information vs Conditional Mutual Information
Conditional Mutual Information: Measures the correlations of A and B relative to E in ρABE
I(A:B|E)ρ := S(AE)ρ + S(BE)ρ – S(ABE)ρ – S(E)ρ
Always positive: I(A:B|E)ρ ≥ 0 (strong-subadditivity of entropy)
When does it vanish?
I(A:B|E)ρ = 0 iff ρABE is a “Quantum Markov Chain State”
E.g.
Approximate version??? …
(Hayden, Jozsa, Petz, Winter ‘04)
(Lieb, Ruskai ‘73)
![Page 10: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/10.jpg)
Outline• I(A:B|E)≈0 characterization
• Applications: Squashed Entanglement
de Finetti-type bounds
Algorithm for Separability
A new characterization of QMA
• Proof
![Page 11: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/11.jpg)
No-Go For Approximate Version
A naïve guess for approximate version (à la Pinsker):
![Page 12: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/12.jpg)
No-Go For Approximate Version
A naïve guess for approximate version (à la Pinsker):
It fails badly!
(Christandl, Schuch, Winter ’08)
=
O(|A|-1)
=
Ω(1)
E.g. Antisymmetric Werner state
![Page 13: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/13.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
![Page 14: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/14.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
(Euclidean norm or (one-way) LOCC norm)
![Page 15: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/15.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
(Euclidean norm or (one-way) LOCC norm)
Pointed out yesterday by David Reeb
![Page 16: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/16.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
The Euclidean (Frobenius) norm:
||X||2 = tr(XTX)1/2
(Euclidean norm or (one-way) LOCC norm)
![Page 17: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/17.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
The trace norm:
||X||1 = ½ + ½ max0≤A≤I|tr(AX)|
||ρ-σ||1 : optimal bias
(Euclidean norm or (one-way) LOCC norm)
![Page 18: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/18.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
The LOCC norm:
||X||LOCC = ½ + ½ max0≤A≤I|tr(AX)| : {A, I-A} in LOCC
||ρ-σ||LOCC : optimal bias by LOCC
(Euclidean norm or (one-way) LOCC norm)
![Page 19: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/19.jpg)
Main ResultThm: (B., Christandl, Yard ’10)
The one-way LOCC norm:
||X||LOCC(1) = ½ + ½ max0≤A≤I|tr(AX)| : {A, I-A} in one-way LOCC
||ρ-σ||LOCC : optimal bias by one-way LOCC
(Euclidean norm or (one-way) LOCC norm)
![Page 20: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/20.jpg)
The Power of LOCCThm: (B., Christandl, Yard ’10)
(Euclidean norm or (one-way) LOCC norm)
(Matthews, Wehner, Winter ‘09) For X in A B
Interesting one, uses a covariant random local measurement
![Page 21: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/21.jpg)
Squashed Entanglement
(Christandl, Winter ‘04) Squashed entanglement:
Esq(ρAB) = infπ { ½ I(A:B|E)π : trE(πABE) = ρAB }
Open question: Is it faithful? i.e. Is Esq(ρAB) > 0 for every entangled ρAB?
![Page 22: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/22.jpg)
Squashed Entanglement
(Christandl, Winter ‘04) Squashed entanglement:
Esq(ρAB) = infπ { ½ I(A:B|E)π : trE(πABE) = ρAB }
Open question: Is it faithful? i.e. Is Esq(ρAB) > 0 for every entangled ρAB?
Corollary:
![Page 23: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/23.jpg)
Squashed Entanglement
(Christandl, Winter ‘04) Squashed entanglement:
Esq(ρAB) = infπ { ½ I(A:B|E)π : trE(πABE) = ρAB }
Corollary
Proof: From
Follows:
General two-way LOCC: monotonicity of squashed entanglement under LOCC
![Page 24: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/24.jpg)
Entanglement Zoo
![Page 25: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/25.jpg)
Entanglement Zoo
![Page 26: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/26.jpg)
Entanglement MonogamyClassical correlations are shareable:
Def. ρAB is k-extendible if there is ρAB1…Bk s.t for all j in [k] tr\ Bj (ρAB1…Bk) = ρAB
Separable states are k-extendible for every k.
A
B1
B2B3B4
Bk
…
![Page 27: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/27.jpg)
Entanglement MonogamyQuantum correlations are non-shareable:
ρAB entangled iff ρAB not k-extendible for some k
- Follows from: Quantum de Finetti Theorem (Stormer ’69, Hudson & Moody ’76, Raggio & Werner ’89)
E.g. - Any pure entangled state is not 2-extendible - The d x d antisymmetric state is not d-extendible
![Page 28: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/28.jpg)
Entanglement MonogamyQuantitative version: For any k-extendible ρAB,
- Follows from: finite quantum de Finetti Theorem (Christandl, König, Mitchson, Renner ‘05)
![Page 29: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/29.jpg)
Entanglement MonogamyQuantitative version: For any k-extendible ρAB,
- Follows from: finite quantum de Finetti Theorem (Christandl, König, Mitchson, Renner ‘05)
Close to optimal: there is a state ρAB s.t.(guess which? )
For other norms (||*||2, ||*||LOCC, …) no better bound known.
![Page 30: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/30.jpg)
Exponentially Improved de Finetti type bound
Corollary For any k-extendible ρAB, with||*|| equals ||*||2 or ||*||LOCC
Bound proportional to the (square root) of the number of qubits: exponential improvement over previous bound
![Page 31: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/31.jpg)
Exponentially Improved de Finetti type bound
Proof: Esq satisfies monogamy relation (Koashi, Winter ’05)
For ρAB k-extendible:
Corollary For any k-extendible ρAB, with||*|| equals ||*||2 or ||*||LOCC
![Page 32: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/32.jpg)
Exponentially Improved de Finetti type bound
(Close-to-Optimal) There is k-extendible state ρAB s.t.
Corollary For any k-extendible ρAB, with||*|| equals ||*||2 or ||*||LOCC
![Page 33: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/33.jpg)
Exponentially Improved de Finetti type bound
![Page 34: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/34.jpg)
The separability problem
When is ρAB entangled? - Decide if ρAB is separable or ε-away from separable
Beautiful theory behind it (PPT, entanglement witnesses, symmetric extensions, etc)
Horribly expensive algorithms
State-of-the-art: 2O(|A|log (1/ε)) time complexity (Doherty, Parrilo, Spedalieri ‘04)
![Page 35: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/35.jpg)
The separability problem
When is ρAB entangled? - Decide if ρAB is separable or ε-away from separable
(Gurvits ‘02) NP-hard with ε=1/exp(d) (d:= (|A||B|)1/2)(Gharibian ‘08, Beigi ‘08) NP-hard with ε=1/poly(d) (Beigi&Shor ‘08) Favorite separability tests fail (Harrow&Montanaro ‘10) No exp(O(d2-δ)) time algorithm for membership in any convex set within ε=Ω(1) trace distance to SEP, unless ETH fails
ETH (Exponential Time Hypothesis): SAT cannot be solved in 2o(n) time
Hardness results:
(Impagliazzo&Paruti ’99)
![Page 36: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/36.jpg)
Quasi-polynomial Algorithm
Corollary There is a exp(O(ε-2log|A|log|B|)) time algorithm for deciding separability (in ||*||2 or ||*||LOCC)
![Page 37: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/37.jpg)
Quasi-polynomial Algorithm
Corollary There is a exp(O(ε-2log|A|log|B|)) time algorithm for deciding separability (in ||*||2 or ||*||LOCC)
The idea (Doherty, Parrilo, Spedalieri ‘04)
Search for a k=O(log|A|/ε2) extension of ρAB by SDP
Complexity SDP of size |A|2|B|2k = exp(O(ε-2log|A|log|B|))
![Page 38: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/38.jpg)
Quasi-polynomial Algorithm
Corollary There is a exp(O(ε-2log|A|log|B|)) time algorithm for deciding separability (in ||*||2 or ||*||LOCC)
NP-hardness for ε = 1/poly(d) is shown using ||*||2
From corollary: the problem in ||*||2 cannot be NP-hard for ε = 1/polylog(d), unless ETH fails
![Page 39: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/39.jpg)
Best Separable State ProblemBSS(ε) Problem: Given X, approximate to additive error ε
Corollary There is a exp(O(ε-2 log|A| log|B| (||X||2)2)) time algorithm for BSS(ε)
![Page 40: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/40.jpg)
Best Separable State ProblemBSS(ε) Problem: Given X, approximate to additive error ε
Corollary There is a exp(O(ε-2 log|A| log|B| (||X||2)2)) time algorithm for BSS(ε)
The idea Optimize over k=O(log|A|ε-2 (||X||2)2) extension of ρAB by SDP
![Page 41: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/41.jpg)
Best Separable State ProblemBSS(ε) Problem: Given X, approximate to additive error ε
Corollary There is a exp(O(ε-2 log|A| log|B| (||X||2)2)) time algorithm for BSS(ε)
(Harrow and Montanaro ‘10): BSS(ε) for ε=Ω(1) and ||X||∞ ≤ 1cannot be solved in exp(O(log1-ν|A| log1-μ|B|)) time for anyν + μ > 0 unless ETH fails
![Page 42: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/42.jpg)
QMA
![Page 43: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/43.jpg)
QMA
![Page 44: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/44.jpg)
QMA- Quantum analogue of NP (or MA)- Local Hamiltonian Problem, …
Is QMA a robust complexity class?
(Aharonov, Regev ‘03) superverifiers doesn’t help(Marriott, Watrous ‘05) Exponential amplification with fixed proof size(Beigi, Shor, Watrous ‘09) logarithmic size interaction doesn’t help
![Page 45: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/45.jpg)
New Characterization QMACorollary QMA doesn’t change allowing k = O(1) different proofs if the verifier can only apply LOCC measurementsin the k proofs
![Page 46: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/46.jpg)
New Characterization QMACorollary QMA doesn’t change allowing k = O(1) different proofs if the verifier can only apply LOCC measurementsin the k proofs
Def QMAm,s,c(k): analogue of QMA with k proofs, proof size m, soundness s and completeness c.
![Page 47: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/47.jpg)
New Characterization QMACorollary QMA doesn’t change allowing k = O(1) different proofs if the verifier can only apply LOCC measurementsin the k proofs
Def QMAm,s,c(k): analogue of QMA with k proofs, proof size m, soundness s and completeness c.
Def LOCCQMAm,s,c(k): analogue of QMA with k proofs, proof size m, soundness s, completeness c and LOCC verification procedure along the k proofs.
![Page 48: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/48.jpg)
New Characterization QMACorollary QMA = LOCCQMA(k), k = O(1)
LOCCQMAm,s,c(2) = QMAO(m2ε-2),s+ε,c
Contrast: QMAm,s,c(2) not in QMAO(m2-δε-2),s+ε,c
for ε = O(1) and δ>0 unless Quantum ETH* fails
* Quantum ETH: SAT cannot be solved in 2o(n) quantum time
Follows from Harrow and Montanaro ‘10 (based on Aaroson et al ‘08)
![Page 49: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/49.jpg)
New Characterization QMACorollary QMA = LOCCQMA(k), k = O(1)
LOCCQMAm,s,c(2) = QMAO(m2ε-2),s+ε,c
Idea to simulate LOCCQMAm,s,c(2) in QMA:
• Arthur asks for proof ρ on AB1B2…Bk with k = mε-2 • He symmetrizes the B systems and apply the original
verification prodedure to AB1
Correcteness
de Finetti bound implies:
![Page 50: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/50.jpg)
Proof
![Page 51: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/51.jpg)
Relative Entropy of Entanglement
The proof is largely based on the properties of a different entanglement measure:
Def Relative Entropy of Entanglement (Vedral, Plenio ‘99)
![Page 52: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/52.jpg)
Entanglement Hypothesis TestingGiven (many copies) of ρAB, what’s the optimal probability of distinguishing it from a separable state?
![Page 53: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/53.jpg)
Entanglement Hypothesis TestingGiven (many copies) of ρAB, what’s the optimal probability of distinguishing it from a separable state?
Def Rate Function: D(ρAB) is maximum number s.t. there exists {Mn, I-Mn} , 0 < Mn < I,
DLOCC(ρAB) : defined analogously, but now {M, I-M} must be LOCC
![Page 54: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/54.jpg)
Entanglement Hypothesis TestingGiven (many copies) of ρAB, what’s the optimal probability of distinguishing it from a separable state?
Def Rate Function: D(ρAB) is maximum number s.t there exists {Mn, I-Mn} , 0 < Mn < I,
DLOCC(ρAB) : defined analogously, but now {M, I-M} must be LOCC
(B., Plenio ‘08) D(ρAB) = ER∞(ρAB)
Obs: Equivalent to reversibility of entanglement under non-entangling operations
![Page 55: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/55.jpg)
Proof in 1 Line
![Page 56: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/56.jpg)
Proof in 1 Line
(i) Quantum Shannon Theory: State redistribution Protocol
(ii) Large Deviation Theory: Entanglement Hypothesis Testing
(iii) Entanglement Theory: Faithfulness bounds
Relative entropy of Entanglement plays a double role:
(Devetak and Yard ‘07)
(B. and Plenio ‘08)
![Page 57: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/57.jpg)
First Inequality
Non-lockability:(Horodecki3 and Oppenheim ‘04)
State Redistribution: How much does it cost to redistribute a quantum system?
A B E F A E BF
½ I(A:B|E)
(i) Apply non-lockability to and use state redistribution to trace out B at a rate of ½ I(A:B|E) qubits per copy
![Page 58: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/58.jpg)
Second Inequality
Equivalent to:
Monogamy relation for entanglement hypothesis testing
Idea Use optimal measurements for ρAE and ρAB achieving D(ρAE) and DLOCC(1)(ρAB), resp., to construct a measurement for ρA:BE achieving D(ρA:BE)
![Page 59: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/59.jpg)
Third Inequality
Pinsker type inequality for entanglement hypothesis testing
Idea minimax theorem + martingale like property of the set of separable states
![Page 60: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/60.jpg)
Open Question
• Can we prove a lower bound on I(A:B|E) in terms of distance to “markov quantum chain states”?
• Can we close the LOCC norm vs. trace norm gap in the results (hardness vs. algorithm,
LOCCQMA(k) vs QMA(k))?
• Are there more applications of the bound on the convergence of the SDP relaxation?
• Are there more application of the main inequality?
![Page 61: Faithful Squashed Entanglement Fernando G.S.L. Brandão 1 Matthias Christandl 2 Jon Yard 3 1. Universidade Federal de Minas Gerais, Brazil 2. ETH Zürich,](https://reader036.fdocuments.in/reader036/viewer/2022062518/56649e865503460f94b893b9/html5/thumbnails/61.jpg)
Thanks!