Quasi-local Araki conjecture

Let QΣ=ZΣqZQ_\Sigma = \sum_{Z\subset \Sigma} q_Z be a quasi-local Hamiltonian on Σ\Sigma with strength JJ, and let ff be a quasi-local observable with center at the origin. Let Q=Z[,]qZQ_{\ell} = \sum_{Z\subset [-\ell, \ell]} q_Z. For τ=2Jt\tau=2Jt, there should exist analytic functions GG and HH, independent of the length of Σ\Sigma, such that

ΓΣt(f)Γt(f)μ(τ)G(τ)f\left\|\Gamma^t_\Sigma(f)-\Gamma^t_\ell(f)\right\| \leq \mu_{\ell}(\tau)G(\tau)\left\|f\right\|

and

ΓΣt(f)H(τ)f.\left\|\Gamma^t_\Sigma(f)\right\| \leq H(\tau)\left\|f\right\|.

Quasi-local Araki conjecture. The displayed approximation and norm bounds hold for quasi-local Hamiltonian interactions.

This would extend Araki's theorem from local to quasi-local interactions and provide the estimates needed to extend the paper's locality arguments. The source presents it as an expected extension rather than an established result, and does not provide a proof.

Sources & referencesView supporting material

Primary source

Michael J. Kastoryano, Angelo Lucia and David Perez-Garcia, “Locality at the boundary implies gap in the bulk for 2D PEPS”, arXiv:1709.07691 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.