Locality at the boundary implies gap in the bulk for 2D PEPS

Michael J. Kastoryano; Angelo Lucia; David Perez-Garcia

doi:10.1007/s00220-019-03404-9

Locality at the boundary implies gap in the bulk for 2D PEPS

Michael J. Kastoryano, Angelo Lucia, David Perez-Garcia

4 Citations (Scopus)

Abstract

Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki (Commun Math Phys 14(2):120–157, 1969) on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.

Original language	English
Journal	Communications in Mathematical Physics
Volume	366
Issue number	3
Pages (from-to)	895–926
ISSN	0010-3616
DOIs	https://doi.org/10.1007/s00220-019-03404-9
Publication status	Published - 1 Mar 2019

Keywords

quant-ph
math-ph
math.MP

Access to Document

10.1007/s00220-019-03404-9

https://arxiv.org/abs/1709.07691

Cite this

@article{bbe7ec98b62247b983137b05e296648a,

title = "Locality at the boundary implies gap in the bulk for 2D PEPS",

abstract = "Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki (Commun Math Phys 14(2):120–157, 1969) on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.",

keywords = "quant-ph, math-ph, math.MP",

author = "Kastoryano, {Michael J.} and Angelo Lucia and David Perez-Garcia",

year = "2019",

month = mar,

day = "1",

doi = "10.1007/s00220-019-03404-9",

language = "English",

volume = "366",

pages = "895–926",

journal = "Communications in Mathematical Physics",

issn = "0010-3616",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - Locality at the boundary implies gap in the bulk for 2D PEPS

AU - Kastoryano, Michael J.

AU - Lucia, Angelo

AU - Perez-Garcia, David

PY - 2019/3/1

Y1 - 2019/3/1

N2 - Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki (Commun Math Phys 14(2):120–157, 1969) on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.

AB - Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki (Commun Math Phys 14(2):120–157, 1969) on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.

KW - quant-ph

KW - math-ph

KW - math.MP

U2 - 10.1007/s00220-019-03404-9

DO - 10.1007/s00220-019-03404-9

M3 - Journal article

SN - 0010-3616

VL - 366

SP - 895

EP - 926

JO - Communications in Mathematical Physics

JF - Communications in Mathematical Physics

IS - 3

ER -

Locality at the boundary implies gap in the bulk for 2D PEPS

Abstract

Keywords

Access to Document

Fingerprint

Cite this