entanglement area law (from heat capacity) fernando g.s.l. brandão university college london based...
TRANSCRIPT
![Page 1: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/1.jpg)
Entanglement Area Law (from Heat Capacity)
Fernando G.S.L. BrandãoUniversity College London
Based on joint work arXiv:1410.XXXX with
Marcus CramerUniversity of Ulm
Isfahan, September 2014
![Page 2: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/2.jpg)
Plan
• What is an area law?
• Relevance
• Previous Work
• Area Law from Heat Capacity
![Page 3: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/3.jpg)
Area Law
![Page 4: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/4.jpg)
Area Law
Quantum states on a lattice
![Page 5: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/5.jpg)
Area Law
Quantum states on a lattice
R
![Page 6: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/6.jpg)
Area Law
Quantum states on a lattice
Def: Area Law holds forif for all R,
R
![Page 7: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/7.jpg)
When does area law hold?
1st guess: it holds for every low-energy state of local models
![Page 8: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/8.jpg)
When does area law hold?
1st guess: it holds for every low-energy state of local models
(Irani ‘07, Gotesman&Hastings ‘07) There are 1D models with volume scaling of entanglement in groundstate
![Page 9: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/9.jpg)
When does area law hold?
1st guess: it holds for every low-energy state of local models
(Irani ‘07, Gotesman&Hastings ‘07) There are 1D models with volume scaling of entanglement in groundstate
Must put more restrictions on Hamiltonian/State!
Correlation length
spectral gap
specific heat
![Page 10: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/10.jpg)
Relevance
1D: Area LawSα, α < 1
Good ClassicalDescription
(MPS)
Renyi Entropies:
Matrix-Product-State:
(FNW ’91Vid ’04)
![Page 11: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/11.jpg)
Relevance
1D: Area LawSα, α < 1
Good ClassicalDescription
(MPS)
Renyi Entropies:
Matrix-Product-State:
> 1D: ???? (appears to be connected with good tensor network description; e.g. PEPS, MERA)
(FNW ’91Vid ’04)
![Page 12: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/12.jpg)
Previous Work(Bekenstein ‘73, Bombelli et al ‘86, ….) Black hole entropy
(Vidal et al ‘03, Plenio et al ’05, …) Integrable quasi-free bosonic systems and spin systems
see Rev. Mod. Phys. (Eisert, Cramer, Plenio ‘10)
…
![Page 13: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/13.jpg)
Previous Work(Bekenstein ‘73, Bombelli et al ‘86, ….) Black hole entropy
(Vidal et al ‘03, Plenio et al ’05, …) Integrable quasi-free bosonic systems and spin systems
see Rev. Mod. Phys. (Eisert, Cramer, Plenio ‘10)
2nd guess: Area Law holds for
1. Groundstates of gapped Hamiltonians
2. Any state with finite correlation length
…
![Page 14: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/14.jpg)
Gapped ModelsDef: (gap)
(gapped model) {Hn} gapped if
![Page 15: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/15.jpg)
Gapped ModelsDef: (gap)
(gapped model) {Hn} gapped if
gap
finitecorrelation length
(Has ‘04)
AB
![Page 16: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/16.jpg)
Gapped ModelsDef: (gap)
(gapped model) {Hn} gapped if
gap
finitecorrelation length
Exponential smallheat capacity
(Has ‘04)
(expectation no proof)
![Page 17: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/17.jpg)
Area Law?
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04) ξ < O(1/Δ)
Intuition: Finite correlation length should imply area law
X ZY
l = O(ξ)
(Uhlmann)
1D
![Page 18: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/18.jpg)
Area Law?
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04) ξ < O(1/Δ)
Intuition: Finite correlation length should imply area law
Obstruction: Data HidingX ZY
l = O(ξ)
1D
![Page 19: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/19.jpg)
Area Law?
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
???1D
![Page 20: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/20.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
ξ < O(1/Δ)
???
![Page 21: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/21.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
(B, Hor ‘13)S < eO(ξ) ξ < O(1/Δ)
![Page 22: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/22.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
(B, Hor ‘13)S < eO(ξ) ξ < O(1/Δ)
(Has ’07) Analytical (Lieb-Robinson bound, filtering function, Fourier analysis)(Arad et al ’13) Combinatorial (Chebyshev polynomial)(B., Hor ‘13) Information-theoretical (entanglement distillation, single-shot info theory)
![Page 23: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/23.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
(B, Hor ‘13)S < eO(ξ) ξ < O(1/Δ)
Efficient algorithm (Landau et al ‘14)
(Has ’07) Analytical (Lieb-Robinson bound, filtering function, Fourier analysis)(Arad et al ’13) Combinatorial (Chebyshev polynomial)(B., Hor ‘13) Information-theoretical (entanglement distillation, single-shot info theory)
![Page 24: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/24.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
(B, Hor ‘13)S < eO(ξ) ξ < O(1/Δ)
Efficient algorithm (Landau et al ‘14)
2nd guess: Area Law holds for
1. Groundstates of gapped Hamiltonians2. Any state with finite correlation length
![Page 25: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/25.jpg)
Area Law in 1D: A Success Story
gapfinite
correlation length
area law MPS(Has ‘04) (FNW ’91
Vid ’04)
(Hastings ’07) S < eO(1/Δ)
(Arad et al ’13) S < O(1/Δ)
(B, Hor ‘13)S < eO(ξ) ξ < O(1/Δ)
Efficient algorithm (Landau et al ‘14)
2nd guess: Area Law holds for
1. Groundstates of gapped Hamiltonians 1D, YES! >1D, OPEN 2. Any state with finite correlation length 1D, YES! >1D, OPEN
![Page 26: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/26.jpg)
Area Law from Specific HeatStatistical Mechanics 1.01
Gibbs state: ,
![Page 27: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/27.jpg)
Area Law from Specific HeatStatistical Mechanics 1.01
Gibbs state: ,
energy density:
![Page 28: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/28.jpg)
Area Law from Specific HeatStatistical Mechanics 1.01
Gibbs state: ,
energy density:
entropy density:
![Page 29: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/29.jpg)
Area Law from Specific HeatStatistical Mechanics 1.01
Gibbs state: ,
energy density:
entropy density:
Specific heat capacity:
![Page 30: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/30.jpg)
Area Law from Specific Heat
Specific heat at T close to zero:
Gapped systems: (superconductor, Haldane phase, FQHE, …)
Gapless systems:(conductor, …)
![Page 31: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/31.jpg)
Area Law from Specific Heat
Thm Let H be a local Hamiltonian on a d-dimensional lattice Λ := [n]d. Let (R1, …, RN), with N = nd/ld, be a partition of Λ into cubic sub-lattices of size l (and volume ld).
1. Suppose c(T) ≤ T-ν e-Δ/T for every T ≤ Tc. Then for every ψ with
![Page 32: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/32.jpg)
Area Law from Specific Heat
Thm Let H be a local Hamiltonian on a d-dimensional lattice Λ := [n]d. Let (R1, …, RN), with N = nd/ld, be a partition of Λ into cubic sub-lattices of size l (and volume ld).
2. Suppose c(T) ≤ Tν for every T ≤ Tc. Then for every ψ with
![Page 33: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/33.jpg)
Why?Free energy:
Variational Principle:
![Page 34: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/34.jpg)
Why?Free energy:
Variational Principle:
Let
![Page 35: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/35.jpg)
Why?Free energy:
Variational Principle:
Let
![Page 36: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/36.jpg)
Why?Free energy:
Variational Principle:
Let
By the variational principle, for T s.t. u(T) ≤ c/l :
![Page 37: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/37.jpg)
Why?Free energy:
Variational Principle:
Let
By the variational principle, for T s.t. u(T) ≤ c/l :
Result follows from:
![Page 38: Entanglement Area Law (from Heat Capacity) Fernando G.S.L. Brandão University College London Based on joint work arXiv:1410.XXXX with Marcus Cramer University](https://reader031.vdocuments.mx/reader031/viewer/2022032803/56649e305503460f94b20bc2/html5/thumbnails/38.jpg)
Summary and Open Questions
Summary:
Assuming the specific heat is “natural”, area law holds for every low-energy state of gapped systems and “subvolume law” for every low-energy state of general systems
Open questions:
- Can we prove a strict area law from the assumption on c(T) ≤ T-ν e-Δ/T ?
- Can we improve the subvolume law assuming c(T) ≤ Tν ?
- Are there natural systems violating one of the two conditions?
- Prove area law in >1D under assumption of (i) gap (ii) finite correlation length
- What else does an area law imply?