fernando g.s.l. brand ão eth zürich based on joint work with michał horodecki arxiv:1206.2947
DESCRIPTION
Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947 Q+ Hangout, February 2012. Exponential Decay of Correlations Implies Area Law. Condensed (matter) version of the talk. Finite correlation length implies correlations are short ranged. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/1.jpg)
Exponential Decay of Correlations Implies Area Law
Fernando G.S.L. BrandãoETH Zürich
Based on joint work with Michał Horodecki
Arxiv:1206.2947
Q+ Hangout, February 2012
![Page 2: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/2.jpg)
Condensed (matter) version of the talk
- Finite correlation length implies correlations are short ranged
![Page 3: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/3.jpg)
Condensed (matter) version of the talk
- Finite correlation length implies correlations are short ranged
AB
![Page 4: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/4.jpg)
Condensed (matter) version of the talk
- Finite correlation length implies correlations are short ranged
AB
![Page 5: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/5.jpg)
Condensed (matter) version of the talk
- Finite correlation length implies correlations are short ranged- A is only entangled with B at the boundary: area law
AB
![Page 6: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/6.jpg)
Condensed (matter) version of the talk
- Finite correlation length implies correlations are short ranged- A is only entangled with B at the boundary: area law
AB
- Is the intuition correct?- Can we make it precise?
![Page 7: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/7.jpg)
Outline• The Problem Exponential Decay of Correlations x Area Law
• Result Exponential Decay of Correlations -> Area Law
• The Proof Exploring decoupling
![Page 8: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/8.jpg)
Exponential Decay of CorrelationsLet be a n-qubit quantum state
Correlation Function:
X ZY
l
![Page 9: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/9.jpg)
Exponential Decay of CorrelationsLet be a n-qubit quantum state
Correlation Function:
X ZY
l
![Page 10: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/10.jpg)
Exponential Decay of CorrelationsLet be a n-qubit quantum state
Correlation Function:
Exponential Decay of Correlations: There is ξ > 0 s.t. for all cuts X, Y, Z with |Y| = l
X ZY
l
![Page 11: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/11.jpg)
Exponential Decay of CorrelationsExponential Decay of Correlations: There is ξ > 0 s.t. for all cuts X, Y, Z with |Y| = l
ξ: correlation length
![Page 12: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/12.jpg)
Exponential Decay of CorrelationsExponential Decay of Correlations: There is ξ > 0 s.t. for all cuts X, Y, Z with |Y| = l
ξ: correlation length
Which states exhibit exponential decay of correlations?
Example: |0, 0, …, 0> has 0-exponential decay of cor.
![Page 13: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/13.jpg)
Local HamiltoniansH1,2
Local Hamiltonian:
Hk,k+1
Groundstate:
Thermal state:
Spectral Gap:
![Page 14: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/14.jpg)
States with Exponential Decay of Correlations
(Araki, Hepp, Ruelle ’62, Fredenhagen ’85)Groundstates in relativistic systems
(Araki ‘69) Thermal states of 1D local Hamiltonians
(Hastings ’04, Nachtergaele, Sims ‘06, Koma ‘06) Groudstates of gapped of local Hamiltonians Analytic proof (Lieb-Robinson bounds)
(Araronov, Arad, Landau, Vazirani ‘10) Groudstates of gapped of frustration-free local Hamiltonians Combinatorial Proof (Detectability Lemma)
![Page 15: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/15.jpg)
States with Exponential Decay of Correlations
(Araki, Hepp, Ruelle ’62, Fredenhagen ’85)Groundstates in relativistic systems
(Araki ‘69) Thermal states of 1D local Hamiltonians
(Hastings ’04, Nachtergaele, Sims ‘06, Koma ‘06) Groudstates of gapped of local Hamiltonians Analytic proof (Lieb-Robinson bounds)
(Araronov, Arad, Landau, Vazirani ‘10) Groudstates of gapped of frustration-free local Hamiltonians Combinatorial Proof (Detectability Lemma)
![Page 16: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/16.jpg)
States with Exponential Decay of Correlations
(Araki, Hepp, Ruelle ’62, Fredenhagen ’85)Groundstates in relativistic systems
(Araki ‘69) Thermal states of 1D local Hamiltonians
(Hastings ’04, Nachtergaele, Sims ‘06, Koma ‘06) Groudstates of gapped of local Hamiltonians Analytic proof (Lieb-Robinson bounds)
(Araronov, Arad, Landau, Vazirani ‘10) Groudstates of gapped of frustration-free local Hamiltonians Combinatorial Proof (Detectability Lemma)
![Page 17: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/17.jpg)
States with Exponential Decay of Correlations
(Araki, Hepp, Ruelle ’62, Fredenhagen ’85)Groundstates in relativistic systems
(Araki ‘69) Thermal states of 1D local Hamiltonians
(Hastings ’04, Nachtergaele, Sims ‘06, Koma ‘06) Groundstates of gapped local Hamiltonians Analytic proof: Lieb-Robinson bounds, etc…
(Araronov, Arad, Landau, Vazirani ‘10) Groudstates of gapped of frustration-free local Hamiltonians Combinatorial Proof (Detectability Lemma)
![Page 18: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/18.jpg)
States with Exponential Decay of Correlations
(Araki, Hepp, Ruelle ’62, Fredenhagen ’85)Groundstates in relativistic systems
(Araki ‘69) Thermal states of 1D local Hamiltonians
(Hastings ’04, Nachtergaele, Sims ‘06, Koma ‘06) Groundstates of gapped local Hamiltonians Analytic proof: Lieb-Robinson bounds, etc…
(Araronov, Arad, Landau, Vazirani ‘10) Groundstates of gapped frustration-free local Hamiltonians Combinatorial Proof: Detectability Lemma
![Page 19: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/19.jpg)
Exponential Decay of Correlations…
… intuitively suggests the state is simple, in a sense similar to a product state.
Can we make this rigorous?
But first, are there other ways to impose simplicity in quantum states?
![Page 20: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/20.jpg)
Area Law in 1DLet be a n-qubit quantum state
Entanglement Entropy:
Area Law: For all partitions of the chain (X, Y)
X Y
![Page 21: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/21.jpg)
Area Law in 1DArea Law: For all partitions of the chain (X, Y)
For the majority of quantum states:
Area Law puts severe constraints on the amount of entanglement of the state
![Page 22: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/22.jpg)
Quantifying Entanglement
Sometimes von Neumann entropy is not the most convenient measure:
Max-entropy:
Smooth max-entropy:
Smooth max-entropy gives the minimum number of qubits needed to store an ε-approx. of ρ
![Page 23: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/23.jpg)
States that satisfy Area LawIntuition - based on concrete examples (XY model, harmomic systems, etc.) and general non-rigorous arguments:
Non-critical Gapped S(X) ≤ O(Area(X))
Critical Non-gapped S(X) ≤ O(Area(X)log(n))
Model Spectral Gap Area Law
![Page 24: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/24.jpg)
States that satisfy Area Law(Aharonov et al ’07; Irani ’09, Irani, Gottesman ‘09)Groundstates 1D Ham. with volume law S(X) ≥ Ω(vol(X)) Connection to QMA-hardness
(Hastings ‘07) Groundstates 1D gapped local Ham.: S(X) ≤ 2O(1/Δ) Analytical Proof: Lieb-Robinson bounds, etc…
(Wolf, Verstraete, Hastings, Cirac ‘07) Thermal states of local Ham.: I(X:Y) ≤ O(Area(X)/β)Simple (and beautiful!) proof from Jaynes’ principle
(Arad, Kitaev, Landau, Vazirani ‘12) S(X) ≤ (1/Δ)O(1) Groundstates 1D Local Ham. Combinatorial Proof (Chebyshev polynomials, etc…)
![Page 25: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/25.jpg)
States that satisfy Area Law(Aharonov et al ’07; Irani ’09, Irani, Gottesman ‘09)Groundstates 1D Ham. with volume law S(X) ≥ Ω(vol(X)) Connection to QMA-hardness
(Hastings ‘07) Groundstates 1D gapped local Ham. S(X) ≤ 2O(1/Δ) Analytical Proof: Lieb-Robinson bounds, etc…
(Wolf, Verstraete, Hastings, Cirac ‘07) Thermal states of local Ham.: I(X:Y) ≤ O(Area(X)/β)Simple (and beautiful!) proof from Jaynes’ principle
(Arad, Kitaev, Landau, Vazirani ‘12) S(X) ≤ (1/Δ)O(1) Groundstates 1D Local Ham. Combinatorial Proof (Chebyshev polynomials, etc…)
![Page 26: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/26.jpg)
States that satisfy Area Law(Aharonov et al ’07; Irani ’09, Irani, Gottesman ‘09)Groundstates 1D Ham. with volume law S(X) ≥ Ω(vol(X)) Connection to QMA-hardness
(Hastings ‘07) Groundstates 1D gapped local Ham. S(X) ≤ 2O(1/Δ) Analytical Proof: Lieb-Robinson bounds, etc…
(Wolf, Verstraete, Hastings, Cirac ‘07) Thermal states of local Ham. I(X:Y) ≤ O(Area(X)/β)Proof from Jaynes’ principle
(Arad, Kitaev, Landau, Vazirani ‘12) S(X) ≤ (1/Δ)O(1) Groundstates 1D Local Ham. Combinatorial Proof (Chebyshev polynomials, etc…)
![Page 27: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/27.jpg)
States that satisfy Area Law(Aharonov et al ’07; Irani ’09, Irani, Gottesman ‘09)Groundstates 1D Ham. with volume law S(X) ≥ Ω(vol(X)) Connection to QMA-hardness
(Hastings ‘07) Groundstates 1D gapped local Ham. S(X) ≤ 2O(1/Δ) Analytical Proof: Lieb-Robinson bounds, etc…
(Wolf, Verstraete, Hastings, Cirac ‘07) Thermal states of local Ham. I(X:Y) ≤ O(Area(X)/β)Proof from Jaynes’ principle
(Arad, Kitaev, Landau, Vazirani ‘12) S(X) ≤ O(1/Δ) Groundstates 1D gapped local Ham. Combinatorial Proof: Chebyshev polynomials, etc…
![Page 28: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/28.jpg)
Area Law and MPS
Matrix Product State (MPS):
D : bond dimension
• Only nD2 parameters. • Local expectation values computed in poly(D, n) time• Variational class of states for powerful DMRG
![Page 29: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/29.jpg)
Area Law and MPS
In 1D: Area Law State has an efficient classical description MPS with D = poly(n)
Matrix Product State (MPS):
D : bond dimension
(Vidal ‘03, Verstraete, Cirac ‘05, Schuch, Wolf, Verstraete, Cirac ’07, Hastings ‘07)
• Only nD2 parameters. • Local expectation values computed in poly(D, n) time• Variational class of states for powerful DMRG
![Page 30: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/30.jpg)
Area Law vs. Decay of CorrelationsExponential Decay of Correlations suggests Area Law
![Page 31: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/31.jpg)
Area Law vs. Decay of CorrelationsExponential Decay of Correlations suggests Area Law:
X ZY
l = O(ξ)
ξ-EDC implies
![Page 32: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/32.jpg)
Area Law vs. Decay of CorrelationsExponential Decay of Correlations suggests Area Law:
X ZY
ξ-EDC implies which implies
(by Uhlmann’s theorem)
X is only entangled with Y!
l = O(ξ)
![Page 33: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/33.jpg)
Area Law vs. Decay of CorrelationsExponential Decay of Correlations suggests Area Law:
X ZY
ξ-EDC implies which implies
(by Uhlmann’s theorem)
X is only entangled with Y! Alas, the argument is wrong…
Uhlmann’s thm require 1-norm:
l = O(ξ)
![Page 34: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/34.jpg)
Area Law vs. Decay of CorrelationsExponential Decay of Correlations suggests Area Law:
X ZY
ξ-EDC implies which implies
(by Uhlmann’s theorem)
X is only entangled with Y! Alas, the argument is wrong…
Uhlmann’s thm require 1-norm:
l = O(ξ)
![Page 35: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/35.jpg)
Data Hiding StatesWell distinguishable globally, but poorly distinguishable locally
Ex. 1 Antisymmetric Werner state ωAB = (I – F)/(d2-d)
Ex. 2 Random state with |X|=|Z| and |Y|=l
(DiVincenzo, Hayden, Leung, Terhal ’02)
X ZY
![Page 36: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/36.jpg)
What data hiding implies?
1. Intuitive explanation is flawed
![Page 37: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/37.jpg)
What data hiding implies?
1. Intuitive explanation is flawed
2. No-Go for area law from exponential decaying correlations? So far believed to be so (by QI people)
![Page 38: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/38.jpg)
What data hiding implies?
1. Intuitive explanation is flawed
2. No-Go for area law from exponential decaying correlations? So far believed to be so (by QI people)
3. Cop out: data hiding states are unnatural; “physical” states are well behaved.
![Page 39: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/39.jpg)
What data hiding implies?
1. Intuitive explanation is flawed
2. No-Go for area law from exponential decaying correlations? So far believed to be so (by QI people)
3. Cop out: data hiding states are unnatural; “physical” states are well behaved.
4. We fixed a partition; EDC gives us more…
![Page 40: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/40.jpg)
What data hiding implies?
1. Intuitive explanation is flawed
2. No-Go for area law from exponential decaying correlations? So far believed to be so (by QI people)
3. Cop out: data hiding states are unnatural; “physical” states are well behaved.
4. We fixed a partition; EDC gives us more…
5. It’s an interesting quantum information problem: How strong is data hiding in quantum states?
![Page 41: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/41.jpg)
Exponential Decaying Correlations Imply Area Law
Thm 1 (B., Horodecki ‘12) If has ξ-EDC then for every X and m,
X Xc
![Page 42: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/42.jpg)
Exponential Decaying Correlations Imply Area Law
Thm 1 (B., Horodecki ‘12) If has ξ-EDC then for every X and m,
Obs1: Implies
Obs2: Only valid in 1D…
Obs3: Reproduces bound of Hastings for GS 1D gapped Ham., using EDC in such states
X Xc
![Page 43: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/43.jpg)
Exponential Decaying Correlations Imply Area Law
Thm 1 (B., Horodecki ‘12) If has ξ-EDC then for every X and m,
Obs4: Let {λx} eigenvalues ρX:
X Xc
![Page 44: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/44.jpg)
Exponential Decaying Correlations Imply Area Law
Thm 1 (B., Horodecki ‘12) If has ξ-EDC then for every X and m,
Obs5: Implies stronger form of EDC: For l > exp(O(ξlogξ)) and split ABC with |B|=l
X Xc
![Page 45: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/45.jpg)
Efficient Classical Description
(Cor. Thm 1) If has ξ-EDC then for every ε>0 there is MPS with poly(n, 1/ε) bound dim. s.t.
States with exponential decaying correlations are simple in aprecise sense
X Xc
![Page 46: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/46.jpg)
Correlations in Q. ComputationWhat kind of correlations are necessary for exponential speed-ups?
…
1. (Vidal ‘03) Must exist t and X = [1,r] s.t.
X
![Page 47: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/47.jpg)
Correlations in Q. ComputationWhat kind of correlations are necessary for exponential speed-ups?
…
1. (Vidal ‘03) Must exist t and X = [1,r] s.t.
2. (Cor. Thm 1) At some time step state must have long range correlations (at least algebraically decaying) - Quantum Computing happens in “critical phase” - Cannot hide information everywhere
X
![Page 48: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/48.jpg)
Random States Have EDC?
: Drawn from Haar measure
X ZY
l
w.h.p, if size(X) ≈ size(Z):
and
Small correlations in a fixed partition do not imply area law.
![Page 49: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/49.jpg)
Random States Have EDC?
: Drawn from Haar measure
X ZY
l
w.h.p, if size(X) ≈ size(Z):
and
Small correlations in a fixed partition do not imply area law.
But we can move the partition freely...
![Page 50: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/50.jpg)
Random States Have Big Correl.: Drawn from Haar measure
X ZY
l
Let size(XY) < size(Z). W.h.p. ,
X is decoupled from Y.
![Page 51: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/51.jpg)
Random States Have Big Correl.: Drawn from Haar measure
X ZY
l
Let size(XY) < size(Z). W.h.p. ,
X is decoupled from Y.
Extensive entropy, but also large correlations:
![Page 52: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/52.jpg)
Random States Have Big Correl.: Drawn from Haar measure
X ZY
l
Let size(XY) < size(Z). W.h.p. ,
X is decoupled from Y.
Extensive entropy, but also large correlations:
Maximally entangled state between XZ1.
(Uhlmann’s theorem)
![Page 53: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/53.jpg)
Random States Have Big Correl.: Drawn from Haar measure
X ZY
l
Let size(XY) < size(Z). W.h.p. ,
X is decoupled from Y.
Extensive entropy, but also large correlations:
Maximally entangled state between XZ1. Cor(X:Z) ≥ Cor(X:Z1) = Ω(1) >> 2-Ω(n) : long-range correlations!
(Uhlmann’s theorem)
![Page 54: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/54.jpg)
Random States Have Big Correl.: Drawn from Haar measure
X ZY
l
Let size(XY) < size(Z). W.h.p. ,
X is decoupled from Y.
Extensive entropy, but also large correlations:
Maximally entangled state between XZ1. Cor(X:Z) ≥ Cor(X:Z1) = Ω(1) >> 2-Ω(n) : long-range correlations!
(Uhlmann’s theorem)
It was thought random states were counterexamples to area law from EDC.
Not true; reason hints at the idea of the general proof:
We’ll show large entropy leads to large correlations by choosing a random measurement that decouples A and B
![Page 55: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/55.jpg)
Entanglement Distillation by Decoupling
We apply the state merging protocol to show large entropy implies large correlations
State merging protocol: Given Alice can distill -S(A|B) = S(B) – S(AB) EPR pairs with Bob by making a random measurement with N≈ 2I(A:E) elements, with I(A:E) := S(A) + S(E) – S(AE), and communicating the outcome to Bob. (Horodecki, Oppenheim, Winter ‘05)
A B E
![Page 56: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/56.jpg)
We apply the state merging protocol to show large entropy implies large correlations
State merging protocol: Given Alice can distill -S(A|B) = S(B) – S(AB) EPR pairs with Bob by making a random measurement with N≈ 2I(A:E) elements, with I(A:E) := S(A) + S(E) – S(AE), and communicating the outcome to Bob. (Horodecki, Oppenheim, Winter ‘05)
A B EDisclaimer: only works for
Let’s cheat for a while and pretend it works for a single copy, and later deal with this issue
Entanglement Distillation by Decoupling
![Page 57: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/57.jpg)
State merging protocol works by applying a random measurement {Pk} to A in order to decouple it from E:
log( # of Pk’s )
# EPR pairs:
A B E
Optimal Decoupling
![Page 58: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/58.jpg)
l
X Y Z
A E B
Distillation Bound
![Page 59: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/59.jpg)
Distillation Boundl
X Y Z
S(Z) – S(XZ) > 0 (EPR pair distillation by random measurement)
Prob. of getting one of the 2I(X:Y) outcomes in random
measurement
A E B
![Page 60: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/60.jpg)
Proof Strategy
We apply previous result to prove EDC -> Area Law in 3 steps:
1. Get area law from EDC under assumption there is a region with “subvolume” law
2. Get region with “subvolume” law from assumption there is a region of “small mutual information”
3. Show there is always a region of “small mutual info”
![Page 61: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/61.jpg)
1. Area Law from Subvolume Lawl
X Y Z
![Page 62: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/62.jpg)
1. Area Law from Subvolume Lawl
X Y Z
![Page 63: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/63.jpg)
1. Area Law from Subvolume Lawl
X Y Z
Suppose S(Y) < l/(4ξ) (“subvolume law” assumption)
![Page 64: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/64.jpg)
1. Area Law from Subvolume Lawl
X Y Z
Suppose S(Y) < l/(4ξ) (“subvolume law” assumption) Since I(X:Y) < 2S(Y) < l/(2ξ), ξ-EDC implies Cor(X:Z) < 2-l/ξ < 2-I(X:Y)
![Page 65: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/65.jpg)
1. Area Law from Subvolume Lawl
X Y Z
Suppose S(Y) < l/(4ξ) (“subvolume law” assumption) Since I(X:Y) < 2S(Y) < l/(2ξ), ξ-EDC implies Cor(X:Z) < 2-l/ξ < 2-I(X:Y)
Thus: S(Z) < S(Y) : Area Law for Z!
![Page 66: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/66.jpg)
2. Subvolume Law from Small Mutual Info
YL YC YR
l l/2l/2
![Page 67: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/67.jpg)
YL YC YR
R := all except YLYCYR :
RR
2. Subvolume Law from Small Mutual Info
l l/2l/2
Suppose I(YC: YLYR) < l/4ξ (small mutual information assump.)
![Page 68: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/68.jpg)
YL YC YR
R := all except YLYCYR :
RR
2. Subvolume Law from Small Mutual Info
l l/2l/2
Suppose I(YC: YLYR) < l/4ξ (small mutual information assump.)
ξ-EDC implies Cor(YC : R) < exp(-l/2ξ) < exp(-I(YC:YLYR))
![Page 69: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/69.jpg)
YL YC YR
R := all except YLYCYR :
RR
2. Subvolume Law from Small Mutual Info
Suppose I(YC: YLYR) < l/4ξ (small mutual information assump.)
ξ-EDC implies Cor(YC : R) < exp(-l/2ξ) < exp(-I(YC:YLYR))
From distillation bound H(YLYCYR) = H(R) < H(YLYR)
l l/2l/2
![Page 70: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/70.jpg)
YL YC YR
R := all except YLYCYR :
RR
2. Subvolume Law from Small Mutual Info
Suppose I(YC: YLYR) < l/4ξ (small mutual information assump.)
ξ-EDC implies Cor(YC : R) < exp(-l/2ξ) < exp(-I(YC:YLYR))
From distillation bound H(YLYCYR) = H(R) < H(YLYR)
Finally H(YC) ≤ H(YC) + H(YLYR) – H(YLYCYR) = I(YC:YLYR) ≤ l/4ξ
l l/2l/2
![Page 71: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/71.jpg)
2. Subvolume Law from Small Mutual Info
X
To prove area law for X it suffices to find a not-so-far and not-so-large region YLYCYR with small mutual information
We show it with not-so-far = not-so-large = exp(O(ξ))
![Page 72: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/72.jpg)
Getting Area Law
X
YL YC YR
exp(O(ξ)) l = exp(O(ξ))
Since I(YC: YLYR) < l/4ξ with l = exp(O(ξ))
by part 2, H(YC) < l/2ξ
by part 1, H(X’) < l/2ξ
And so H(X) < exp(O(ξ))
X’
![Page 73: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/73.jpg)
< 2O(1/ε) < 2O(1/ε)
Getting Area Law
X
Lemma (Saturation Mutual Info.) Given a site s, for all ε > 0 there is a region Y2l := YL,l/2YC,lYR,l/2 of size 2l with 1 < l < 2O(1/ε) at a distance < 2O(1/ε) from s s.t.
I(YC,l:YL,l/2YR,l/2) < εl
Proof: Easy adaptation of result used by Hastings in his area law proof for gapped Hamiltonians (based on successive applications of subadditivity)
sYL YC YR
![Page 74: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/74.jpg)
Making it WorkSo far we have cheated, since merging only works for many copies of the state. To make the argument rigorous, we use single-shot information theory (Renner et al ‘03, …)
Single-Shot State Merging (Dupuis, Berta, Wullschleger, Renner ‘10) + New bound on correlations by random measurements
Saturation max- Mutual Info. Proof much more involved; based on - Quantum substate theorem, - Quantum equipartition property, - Min- and Max-Entropies Calculus - EDC Assumption
State Merging
Saturation Mutual Info.
![Page 75: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/75.jpg)
Overview• Condensed Matter (CM) community always knew EDC implies
area law
![Page 76: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/76.jpg)
Overview• Condensed Matter (CM) community always knew EDC implies
area law
• Quantum information (QI) community gave a counterexample (hiding states)
![Page 77: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/77.jpg)
Overview• Condensed Matter (CM) community always knew EDC implies
area law
• Quantum information (QI) community gave a counterexample (hiding states)
• QI community sorted out the trouble they gave themselves (this talk)
![Page 78: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/78.jpg)
Overview• Condensed Matter (CM) community always knew EDC implies
area law
• Quantum information (QI) community gave a counterexample (hiding states)
• QI community sorted out the trouble they gave themselves (this talk)
• CM community didn’t notice either of these minor perturbations
”EDC implies Area Law” stays true!
![Page 79: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/79.jpg)
Conclusions and Open problems
1. Can we improve the dependency of entropy with correlation length?
2. Can we prove area law for 2D systems? HARD!3. Can we decide if EDC alone is enough for 2D area law?4. See arxiv:1206.2947 for more open questions
• EDC implies Area Law and MPS parametrization in 1D.• States with EDC are simple – MPS efficient parametrization.• Proof uses state merging protocol and single-shot
information theory: Tools from QIT useful to address problem in quantum many-body physics.
![Page 80: Fernando G.S.L. Brand ão ETH Zürich Based on joint work with Michał Horodecki Arxiv:1206.2947](https://reader036.vdocument.in/reader036/viewer/2022062520/56816498550346895dd66e88/html5/thumbnails/80.jpg)
Thanks!