Abstract
Based on a result by Yarotsky (J Stat Phys 118, 2005), we prove that localized but otherwise arbitrary perturbations of weakly interacting quantum spin systems with uniformly gapped on-site terms change the ground state of such a system only locally, even if they close the spectral gap. We call this a strong version of the local perturbations perturb locally (LPPL) principle which is known to hold for much more general gapped systems, but only for perturbations that do not close the spectral gap of the Hamiltonian. We also extend this strong LPPL-principle to Hamiltonians that have the appropriate structure of gapped on-site terms and weak interactions only locally in some region of space. While our results are technically corollaries to a theorem of Yarotsky, we expect that the paradigm of systems with a locally gapped ground state that is completely insensitive to the form of the Hamiltonian elsewhere extends to other situations and has important physical consequences.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider weakly interacting quantum spin systems on finite subsets \(\varLambda \) of the lattice \({\mathbb {Z}} ^\nu \), \(\nu \in {\mathbb {N}} \), described by a self-adjoint Hamiltonian
which is composed of a non-interacting part \(H_0\) and an interacting part \(H_{\mathrm{int}}\). The non-interacting Hamiltonian \(H_0\) is a sum of non-negative on-site Hamiltonians \(h_x\), \(x\in \varLambda \). Each \(h_x\) is assumed to have a non-degenerate ground state with ground state energy \(0\) and spectral gap of size at least \(g\) above the ground state. The interaction Hamiltonian \(H_{\mathrm{int}}\) is a sum of interaction terms \(\varPhi _x\) of finite range \(R\) and of small uniformly bounded norm \(\left\Vert {\varPhi _x} \right\Vert \). We show that for such Hamiltonians a strong version of the local perturbations perturb locally (LPPL) principle holds: For any self-adjoint perturbation \(P\) supported in a region \(X \subset \varLambda \), any ground state \(\rho _P\) of the perturbed Hamiltonian \(H + P\) agrees with the ground state \(\rho \) of the unperturbed Hamiltonian \(H\) when tested against observables \(A\) supported in a region \(Y\subset \varLambda \) up to an error that is exponentially small in the distance \({{\,\mathrm{dist}\,}}(Y,X)\). More precisely, Theorem 3 states that there are positive constants \(c, c_1, c_2>0 \) depending only on \(R\) and \(g\), but not on \(\varLambda \), \(A\), \(H\) or \(P\), such that whenever \(\left\Vert {\varPhi _x} \right\Vert \le c\) for all \(x\in \varLambda \), it holds that
Note that the uniformity of the error estimate with respect to the system size \(\left|{\varLambda } \right|\) is one key aspect which makes this estimate non-trivial. Note also, that the bound on \(\left\Vert {\varPhi _x} \right\Vert \) implies that \(H\) has a gap above its unique ground state \(\rho \) as we discuss below. However, for our result we neither require nor actually have any uniform lower bound on the gap above the possibly non-unique ground state \(\rho _P\) of the perturbed Hamiltonian \(H + P\).
As a corollary of our main theorem, we show that a bound of the form (2) also holds for systems that have the appropriate structure of gapped on-site terms and weak interactions only locally in some region of space. In particular, this shows that the notion of a locally gapped ground state, which is completely insensitive to the form of the Hamiltonian elsewhere, is perfectly valid in this setup.
The LPPL-principle was coined by Bachmann, Michalakis, Nachtergaele, and Sims in [1], where a similar estimate with subexponential decay was proven. While their result covers much more general interacting quantum spin systems, it requires the gap above the ground state to remain open also for the perturbed Hamiltonian \(H + P\). More precisely, it relies on connecting \(H(0) := H\) with \(H(1) := H + P\) by a continuous path \([0,1] \ni t \mapsto H (t)\) in the space of Hamiltonians, such that the gap above the ground state of \(H (t)\) remains open uniformly along the whole path. Then the locality of the quasi-adiabatic evolution introduced by Hastings and Wen in [11] can be used to prove the result. Their subexponential bound was improved to exponential precision for finite-range interactions by De Roeck and Schütz in [8]. See also [14, 15] for recent developments.
While we prove the strong version of the LPPL-principle only for weakly interacting spin systems, we expect it to hold somewhat more generally. For example, we expect it to hold for fermions on the lattice with weak finite range interactions, a physical setup where the strong LPPL-principle would have important consequences. It would imply that a gapped ground state for such a system with periodic boundary conditions remains unchanged in the bulk when introducing open boundary conditions that may close the global gap due to the emergence of edge states. And as a consequence, it would also explain why the adiabatic response to external fields in the bulk of such systems is not affected by edge states that close the gap, see [2, 12, 13, 18, 20] for related results. However, it is known that the strong LPPL-principle cannot hold in general, but requires further conditions on the unperturbed ground state sector such as local topological quantum order (LTQO) [16, 17].
Shortly before resubmitting the final version of this article, Bachmann et al. published a preprint containing a closely related result. In [3] they prove an LPPL-bound as in (2), but with subexponential decay, assuming LTQO for a unique frustration-free gapped ground state of the unperturbed Hamiltonian which has no long-range entanglement.
Our result is a corollary of a result by Yarotsky [22] (see Theorem 7 below), which provides a bound on the difference of so-called finite volume ground states in quantum spin systems described by Hamiltonians of the form (1). His aim and main result in that work was to show the uniqueness of the ground state of such systems in the thermodynamic limit. In a different work Yarotsky [21] has shown that Hamiltonians of the form (1) with \(\left\Vert {\varPhi } \right\Vert <c\) indeed have a unique ground state separated by a gap \({\tilde{g}} > 0\) from the rest of the spectrum, with \({\tilde{g}}\) independent of \(\varLambda \) (see [7, 9, 10] for similar results). Closely related to the stability of the gap is the stability of phase diagrams at low temperatures, see [4,5,6].
2 Main results
Consider the lattice \({\mathbb {Z}}^\nu \) for fixed \(\nu \in {\mathbb {N}}\) equipped with the \(\ell ^1\)-metric \(d \, \mathpunct {:} {\mathbb {Z}} ^\nu \times {\mathbb {Z}} ^\nu \rightarrow {\mathbb {N}}_0\) and define \({\mathcal {P}}_0({\mathbb {Z}} ^\nu ) \mathrel = \{\varLambda \,{\subset }\, {\mathbb {Z}} ^\nu : \left|{\varLambda } \right| \,{<}\, \infty \)}, where \(\left|{\varLambda } \right|\) denotes the cardinality of \(\varLambda \). With each site \(x \in {\mathbb {Z}} ^\nu \) one associates a (possibly infinite dimensional) Hilbert space \({\mathcal {H}}_x\). For \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) set \({\mathcal {H}}_{\varLambda }=\bigotimes _{x \in \varLambda } {\mathcal {H}}_x\) and denote the algebra of bounded linear operators on \({\mathcal {H}}_{\varLambda }\) by \({\mathcal {A}}_{\varLambda }={\mathcal {B}}({\mathcal {H}}_{\varLambda })\). Due to the tensor product structure, we have \({\mathcal {A}}_{\varLambda }=\bigotimes _{x \in \varLambda } {\mathcal {B}}({\mathcal {H}}_x)\). Hence, for \(\varLambda '\subset \varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\), any \(A \in {\mathcal {A}}_{\varLambda '}\) can be viewed as an element of \({\mathcal {A}}_{\varLambda }\) by identifying \(A\) with \(A\otimes {\mathbf {1}}_{\varLambda \setminus \varLambda '} \in {\mathcal {A}}_{\varLambda }\), where \({\mathbf {1}}_{\varLambda \setminus \varLambda '}\) denotes the identity in \({\mathcal {A}}_{\varLambda \setminus \varLambda '}\). Note that
Similarly, we will also denote by \(K\) the closure of \({\mathbf {1}}_{\varLambda \setminus \varLambda '} \otimes K\) on \({\mathcal {H}}_{\varLambda \setminus \varLambda '} \otimes D(K)\) for any self-adjoint operator \(K\) on \({\mathcal {H}}_{\varLambda '}\). Here and in the following, \(D(K)\) denotes the domain of the operator \(K\).
Our main result will be formulated for a Hamiltonian
that is composed of a non-interacting part \(H_0\) and an interacting part \(H_{\mathrm{int}}\). The non-interacting part \(H_0\) is assumed to be of the form
where each \(h_x\) is a non-negative self-adjoint (possibly unbounded) operator on \({\mathcal {H}}_x\) with a unique gapped ground state \(\psi _x \in D(h_x)\) satisfying
for some fixed \(g>0\). The latter means that \(\langle {\varphi _x,(h_x-g{\mathbf {1}}_x)\varphi _x}\rangle \ge 0\) for all \(\varphi _x \in D(h_x)\) with \(\langle {\psi _x,\varphi _x}\rangle =0\). In other words, all Hamiltonians \(h_x\) have a spectral gap of size at least \(g\) above the bottom of their spectrum. The interacting part is of the form
with \(\varPhi _x\in {\mathcal {A}}_{b_x(R)}\) self-adjoint for each \(x \in \varLambda \) and some fixed \(R\in {\mathbb {N}} \). Here \(b_x(R) \,{:=}\, \{{y \in \varLambda : d(x,y) \le R}\}\) denotes the \(\ell ^1\)-ball with radius \(R\) centered at \(x \in \varLambda \). We set
Definition 1
Weakly interacting spin system
For any \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu ) \) we call a Hamiltonian \(H = H_0 + H_{\mathrm{int}}\) on \({\mathcal {H}}_\varLambda \) with \(H_0\) and \(H_{\mathrm{int}}\) satisfying the above conditions a weakly interacting spin system on \(\varLambda \) with on-site gap \(g\), interaction range \(R\) and interaction strength \(\left\Vert {\varPhi } \right\Vert \).
We use the following definition for ground states and briefly explain how it is connected to the standard definition in the Appendix.
Definition 2
Let \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and \(K\) be a self-adjoint and bounded below operator on \({\mathcal {H}}_\varLambda \). We say that \([{K,A}]\) is a bounded operator \(B\in {\mathcal {A}}_\varLambda \), whenever \(A\) leaves \(D(K)\) invariant and \([{K,A}]=B\) on \(D(K)\).
A state \(\rho \in {\mathcal {A}}_{\varLambda }\), i.e. a positive semi-definite bounded operator with trace equal to one, is called a ground state of \(K\), if
Our first main result is the following.
Theorem 3
The strong LPPL-principle
Let \(R\in {\mathbb {N}} \) and \(g>0\). There exist constants \(c, c_1, c_2>0\), such that for any \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and any weakly interacting spin system \(H = H_0 + H_{\mathrm{int}}\) on \(\varLambda \) with on-site gap at least \(g\), interaction range \(R\), and interaction strength \(\left\Vert {\varPhi } \right\Vert \le c\) the following holds:
Let \(X\subset \varLambda \) be non-empty and \(P\) be a symmetric operator on \({\mathcal {H}}_X\) such that \(P\) is relatively bounded with respect to \(H\) with \(H\)-bound less than one. Set \(H_P = H + P\). Then for any ground state \(\rho \) of \(H\), any ground state \(\rho _P\) of \(H_P\), and all \(A \in {\mathcal {A}}_Y\) with \(Y \subset \varLambda \) it holds that
Under the assumptions of the theorem, Yarotsky has proven in [21] that \(H\) has a unique ground state \(\rho \), whenever \(c>0\) is small enough.Footnote 1 In the following we will assume that this is the case.
For \(X\) at the edge of \(\varLambda \), the perturbation \(P\) can be employed to realize all kinds of boundary conditions, e.g. if \(\varLambda = \{ -M,\dotsc ,M \}^\nu \) is a box, periodic boundary conditions can be modeled by some \(P\) connecting opposite sites in \(\varLambda \). Therefore, if \(X\) is at the edge, one can take the thermodynamic limit \({\varLambda \nearrow {\mathbb {Z}} ^\nu }\) in (4) and conclude that there exists a unique ground state \(\rho \), i.e. a normalized positive functional, on the \(C^*\)-algebra of quasi-local observables \({\mathcal {A}} = {\overline{{{\mathcal {A}}_{\mathrm{loc}}}}}^{\Vert {\cdot }\Vert }\), independent of the imposed boundary conditions for the finite systems. This uniqueness of ground states for the infinite system was the main result of [22] and has been shown by Yarotsky based on Theorem 7, which we quote below.
As mentioned in the introduction, we expect a similar strong LPPL-principle to hold also for fermionic lattice systems with weak finite range interactions. As discussed in [12, 13], this would have important consequences for linear response and adiabatic theorems for systems with a gap only in the bulk.
Our second main result is a local version of Theorem 3, where we assume the on-site gap and the weak interaction only locally.
Definition 4
Locally weakly interacting spin system
For any \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and \(\varLambda '\subset \varLambda \) we say that a self-adjoint operator \(H\) on \({\mathcal {H}}_\varLambda \) is weakly interacting in the region \(\varLambda '\) with on-site gap \(g\), range \(R\) and strength \(s\), if and only if there exists a weakly interacting spin system \({\tilde{H}} = {\tilde{H}}_0 + {\tilde{H}}_{\mathrm{int}}\) on \(\varLambda \) with on-site gap \(g\), range \(R\) and strength \(\left\Vert {\varPhi } \right\Vert =s\) such that \( H - {\tilde{H}} = {\mathbf {1}}_{{\mathcal {H}}_{\varLambda '}} \otimes \, Q\) with \(Q\) a possibly unbounded symmetric operator on \({\mathcal {H}}_{\varLambda \setminus \varLambda '}\) such that \(Q\) is infinitesimally \({\tilde{H}}\)-bounded.
Corollary 5
The strong LPPL-principle for local gaps
Let \(R \in {\mathbb {N}} \), \(g>0\), and \(c, c_1, c_2>0\) be the constants from Theorem 3. Then for any \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\), \(\varLambda '\subset \varLambda \), and any self-adjoint operator \(H\) on \({\mathcal {H}}_\varLambda \) which is weakly interacting in the region \(\varLambda '\) with on-site gap at least \(g\), range \(R\) and strength \(s \le c\) the following holds:
Let \(X\subset \varLambda \) be non-empty and \(P\) be a symmetric operator on \({\mathcal {H}}_X\) such that \(P\) is relatively bounded with respect to \(H\) with \(H\)-bound less than one. Set \(H_P = H + P\) (see Fig. 1). Then for any ground state \(\rho \) of \(H \), any ground state \(\rho _{P}\) of \(H_{P}\), and all \(A \in {\mathcal {A}}_Y\) with \(Y \subset \varLambda '\) it holds that
Proof
Let \(\tilde{H}\) and \(Q\) be as in Definition 4. Then \({\tilde{H}}\), \({\tilde{H}} + Q\) and \({\tilde{H}} + Q + P\) are self-adjoint. For the latter this follows, because also \(Q+P\) is relatively bounded with respect to \({\tilde{H}}\) with \({\tilde{H}}\)-bound less than one. This is not obvious, but the proof is a straightforward calculation that we skip.
Let \({\tilde{\rho }}\) be a ground state of \(\tilde{H}\), see the comment after Theorem 3 for existence. Then the triangle inequality and two applications of Theorem 3 yield
\(\square \)
3 Proof
The proof of Theorem 3 is essentially a reinterpretation of a result by Yarotsky [22]. Since we only deal with finite volumes, we modify Yarotsky’s notion of finite volume ground states to ground states in the bulk. To make the arguments as transparent as possible, we will add superscripts to Hamiltonians and states indicating on which subset of \({\mathbb {Z}} ^\nu \) they are defined. These superscripts are also used to distinguish different operators and states. From now on let
and note, that also \(\{\,A\in {\mathcal {A}}_\varLambda : [{H_0^\varLambda +K,A}] \text { is bounded}\,\} = {\mathcal {D}}_\varLambda \) for all bounded operators \(K\in {\mathcal {A}}_\varLambda \).
Definition 6
Ground states in the bulk
Let \(R \in {\mathbb {N}}\), \(\varLambda _* \subset \varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and \(H^{\varLambda _*} = H_0^{\varLambda _*} + H_{\mathrm{int}}^{\varLambda _*} \in {\mathcal {A}}_{\varLambda _*}\) be a weakly interacting spin system on \(\varLambda _*\) with range \(R\). Then we call
the bulk of the Hamiltonian \(H^{\varLambda _*}\) and any state \(\rho ^\varLambda \in {\mathcal {A}}_{\varLambda }\) satisfying
a ground state in the bulk of \(H^{\varLambda _*}\).
Our proof is based on the following theorem due to Yarotsky [22].
Theorem 7
([22, Theorem 2]) Let \(R\in {\mathbb {N}} \) and \(g>0\). There exist constants \(c, c_1, c_2>0\) such that for any \(\varLambda _* \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\), and any weakly interacting spin system \(H^{\varLambda _*} = H_0^{\varLambda _*} + H_{\mathrm{int}}^{\varLambda _*}\) on \(\varLambda _*\) with on-site gap at least \(g\), range \(R\) and interaction strength \(\left\Vert {\varPhi } \right\Vert \le c\) the following holds:
Let \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) be such that \(\varLambda _* \subset \varLambda \). Then for any two ground states \(\rho ^\varLambda _1\) and \(\rho ^\varLambda _2 \in {\mathcal {A}}_\varLambda \) in the bulk of \(H^{\varLambda _*}\) in the sense of Definition 6, \(Y \subset \varLambda _*\), and \(A \in {\mathcal {A}}_Y\) it holds that
Note that the set denoted by \(\varLambda \) in [22, Theorem 2] corresponds to our set \(\varLambda _*\). Note, moreover, that any ground state \(\rho ^\varLambda \) in the bulk of \(H^{\varLambda _*}\) trivially defines a finite-volume ground state \(A \mapsto {\mathrm{tr}}{\rho ^\varLambda \, (A\otimes {\mathbf {1}}_{\varLambda \setminus \varLambda _*})}\) of \(H^{\varLambda _*}\) in the sense of [22, Definition 2]. Allowing an arbitrary on-site gap \(g>0\) instead of \(g=1\), as in [22], is achieved by simple scaling.
Lemma 8
Let \(R \in {\mathbb {N}}\), \(\varLambda _*\subset \varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and \(H^{\varLambda } = H_0^{\varLambda } + H_{\mathrm{int}}^{\varLambda } \in {\mathcal {A}}_{\varLambda }\) be a weakly interacting spin system. Then the canonical restriction of \(H^\varLambda \) to \(\varLambda _*\) defined by
is a weakly interacting spin system on \(\varLambda _*\) with the same on-site gap, range and strength and has the following property: For any symmetric operator \(Q\) on \({\mathcal {H}}_{\varLambda \setminus \varLambda ^\circ _*}\) such that \(Q\) is relatively bounded with respect to \(H^\varLambda \) with \(H^\varLambda \)-bound less than one, any ground state of \(H^\varLambda + Q\) is also a ground state in the bulk of \(H^{\varLambda }|_{\varLambda _*}\).
Proof
It is clear that \(H^{\varLambda }|_{\varLambda _*}\) is a weakly interacting spin system on \(\varLambda _*\). A simple calculation shows, that \(Q\) is also relatively bounded with respect to \(H_0^{\varLambda \setminus \varLambda ^\circ _*}=\sum _{x \in \varLambda \setminus \varLambda ^\circ _*} h_x\) with \(H_0^{\varLambda \setminus \varLambda ^\circ _*}\)-bound less than one. Hence, \(K\,{:=}\, (H^\varLambda - H^{\varLambda }|_{\varLambda _*} + Q)\) is a self-adjoint operator on \({\mathcal {H}}_{\varLambda \setminus \varLambda ^\circ _*}\). Moreover, any \(A\in {\mathcal {A}}_{\varLambda _*^\circ }\) leaves invariant the domain of \({\mathbf {1}}_{\varLambda _*^\circ } \otimes K\) and satisfies
Similarly, for all \(A\in {\mathcal {D}}_{\varLambda _*^\circ }\), \([{H^\varLambda + Q, A}]\) is bounded and satisfies
Therefore, any ground state of \(H^\varLambda +Q\) is also a ground state in the bulk of \(H^{\varLambda }|_{\varLambda _*}\). \(\square \)
Before we prove Theorem 3, let us give an intermediate result, which follows rather directly from Theorem 7 and Lemma 8.
Proposition 9
Let \(R\in {\mathbb {N}} \) and \(g>0\). There exist constants \(c, c_1, c_2>0\) such that for any \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and any weakly interacting spin system \(H^\varLambda = H^\varLambda _0 + H^\varLambda _{\mathrm{int}}\) on \(\varLambda \) with on-site gap at least \(g\), interaction range \(R\), and interaction strength \(\left\Vert {\varPhi } \right\Vert \le c\) the following holds:
Let \(X\subset \varLambda \) be non-empty and \(P\) be a symmetric operator on \({\mathcal {H}}_X\) such that \(P\) is relatively bounded with respect to \(H^\varLambda \) with \(H^\varLambda \)-bound less than one. Set \(H^\varLambda _P = H^\varLambda + P\). Then for any ground state \(\rho ^\varLambda \) of \(H^\varLambda \), any ground state \(\rho ^\varLambda _P\) of \(H^\varLambda _P\), and all \(A \in {\mathcal {A}}_Y\) with \(Y \subset \varLambda \) it holds that
Proof
Assume w.l.o.g. that \(Y \subset \varLambda ^\circ \). Otherwise, the statement in Proposition 9 is trivially satisfied after a possible adjustment of \(c_1\).
Let \(\varLambda _* = \varLambda \setminus X\), and let \(H^{\varLambda }|_{\varLambda _*} \) be the canonical restriction of \(H^\varLambda \) to \(\varLambda _*\) as defined in Lemma 8. Then \(\varLambda _*^\circ \cap X = \emptyset \). We can assume w.l.o.g. that \({{\,\mathrm{dist}\,}}(X,Y) > 2R\) since otherwise the statement in Proposition 9 is trivially satisfied after a possible adjustment of \(c_1\). Then also \(Y \subset \varLambda _*^\circ \) (compare Fig. 2). By application of Lemma 8 with \(Q = P\) and \(Q = 0\) we find that both, \(\rho _P^\varLambda \) and \(\rho ^\varLambda \), are ground states in the bulk of \(H^{\varLambda }|_{\varLambda _*}\). Hence, Theorem 7 implies that
From
we immediately conclude that
which yields the claim. \(\square \)
We now extend this result to obtain Theorem 3.
Proof of Theorem 3
In the following, we add superscripts \(\varLambda \) to the Hamiltonians and states from the statement of Theorem 3.
Let \(\varOmega \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) be such that \(\varLambda \subset \varOmega \). For each \(x \in \varOmega \setminus \varLambda \) let \(h_x \in {\mathcal {A}}_{\{x\}}\) be a self-adjoint operator with gap at least \(g\) and non-degenerate ground state \(\psi _x\) satisfying (3). Then \(\rho ^{\varOmega \setminus \varLambda } = \bigotimes _{x\in \varOmega \setminus \varLambda } |{\psi _x}\rangle \langle {\psi _x}|\) is the ground state of
Moreover, \(\rho ^{\varOmega }\,{:=}\,\rho ^{\varLambda } \otimes \rho ^{\varOmega \setminus \varLambda }\) is a ground state of \(H^\varOmega \,{:=}\, H^\varLambda + H_0^{\varOmega \setminus \varLambda }\) which is a weakly interacting spin system on \(\varOmega \) with on-site gap at least \(g\), range \(R\), and interaction strength \(\left\Vert {\varPhi } \right\Vert \). And also \(\rho _P^{\varOmega }\,{:=}\,\rho _P^{\varLambda } \otimes \rho ^{\varOmega \setminus \varLambda }\) is a ground state of \(H_P^\varOmega \,{:=}\, H_P^\varLambda + H_0^{\varOmega \setminus \varLambda } = H^\varOmega + P\).
According to Proposition 9 we have
for all \(A\in {\mathcal {A}}_Y\) and \(Y\subset \varOmega \). By requiring \(Y\subset \varLambda \) we obtain
Since this bound is independent of \(\varOmega \), we can choose \(\varOmega \) sufficiently large such that \( {{\,\mathrm{dist}\,}}(\varLambda , {\mathbb {Z}} ^\nu \setminus \varOmega ^\circ ) > {{\,\mathrm{dist}\,}}(Y,X) - 2R\). Absorbing \({\mathrm {e}}^{2c_2R}\) in \(c_1\) yields the claim. \(\square \)
Notes
Note that the systems for which Yarotsky proves existence and uniqueness of the ground state in [21] differ slightly from our definition of weakly interacting spin systems in the treatment of interaction terms near the boundary of the domain. To obtain the same result with our definition, one extends the Hamiltonian \(H\) to \(\varOmega \supset \varLambda \) as in the proof of Theorem 3, applies the result from [21] and restricts the resulting ground state to \(\varLambda \) by taking the partial trace.
References
Bachmann, S., Michalakis, S., Nachtergaele, B., Sims, R.: Automorphic equivalence within gapped phases of quantum lattice systems. Commun. Math. Phys. 309, 835–871 (2012)
Bachmann, S., De Roeck, W., Fraas, M.: The adiabatic theorem and linear response theory for extended quantum systems. Commun. Math. Phys. 361, 997–1027 (2018)
Bachmann, S., De Roeck, W., Donvil, B., and Fraas, M.: Stability against large perturbations of invertible, frustration-free ground states. Preprint available at arXiv:2110.11194 (2021)
Borgs, C., Kotecky, R., Ueltschi, D.: Low temperature phase diagrams for quantum perturbations of classical spin systems. Commun. Math. Phys. 181, 409–446 (1996)
Datta, N., Fernandez, R., Fröhlich, J.: Low-temperature phase diagrams of quantum lattice systems. I. Stability for quantum perturbations of classical systems with finitely-many ground states. J. Stat. Phys. 84, 455–534 (1996)
Datta, N., Fernandez, R., Fröhlich, J., Rey-Bellet, L.: Low-temperature phase diagrams of quantum lattice systems. II. Convergent perturbation expansions and stability in systems with infinite degeneracy. Helv. Phys. Acta 69, 752–820 (1996)
De Roeck, W., Salmhofer, M.: Persistence of exponential decay and spectral gaps for interacting fermions. Commun. Math. Phys. 365, 773–796 (2019)
De Roeck, W., Schütz, M.: Local perturbations perturb–exponentially–locally. J. Math. Phys. 56, 061901 (2015)
Fröhlich, J., Pizzo, A.: Lie-Schwinger block-diagonalization and gapped quantum chains. Commun. Math. Phys. 375, 2039–2069 (2020)
Hastings, M.B.: The stability of free Fermi Hamiltonians. J. Math. Phys. 60, 042201 (2019)
Hastings, M.B., Wen, X.-G.: Quasiadiabatic continuation of quantum states: the stability of topological ground-state degeneracy and emergent gauge invariance. Phys. Rev. B 72, 045141 (2005)
Henheik, J., and Teufel, S.: Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Accepted to publication in J. Math. Phys. Preprint available at arXiv:2012.15238 (2020)
Henheik, J., Teufel, S.: Adiabatic theorem in the thermodynamic limit: systems with a gap in the bulk. Accepted for publication in Forum Math., Sigma. Preprint available at arXiv:2012.15239 (2020)
Nachtergaele, B., Sims, R., Young, A.: Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms. J. Math. Phys. 60, 061101 (2019)
Nachtergaele, B., Sims, R., Young, A.: Quasi-locality bounds for quantum lattice systems. Part II. Perturbations of frustration-free spin models with gapped ground states. Annales Henri Poincaré, Online First (2021)
Nachtergaele, B., Sims, R., and Young, A.: Stability of the bulk gap for frustration-free topologically ordered quantum lattice systems. Preprint available at arXiv:2102.07209 (2021)
Michalakis, S., Zwolak, J.: Stability of frustration-free Hamiltonians. Commun. Math. Phys. 322, 277–302 (2013)
Monaco, D., Teufel, S.: Adiabatic currents for interacting fermions on a lattice. Rev. Math. Phys. 31, 1950009 (2019)
Tasaki, H.: Physics and Mathematics of Quantum Many-body Systems. Springer, Singapore (2020)
Teufel, S.: Non-equilibrium almost-stationary states and linear response for gapped quantum systems. Commun. Math. Phys. 373, 621–653 (2020)
Yarotsky, D.: Perturbations of ground states in weakly interacting quantum spin systems. J. Math. Phys. 45(6), 2134–2152 (2004)
Yarotsky, D.: Uniqueness of the ground state in weak perturbations of non-interacting gapped quantum lattice systems. J. Stat. Phys. 118, 119–144 (2005)
Acknowledgements
J. H. acknowledges partial financial support by the ERC Advanced Grant “RMTBeyond” No. 101020331. S. T. thanks Marius Lemm and Simone Warzel for very helpful comments and discussions and Jürg Fröhlich for references to the literature.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Characterization of ground states
Appendix: Characterization of ground states
In the following lemma we show that every ground state in the usual sense, i.e. every minimizer of the energy functional, is also a ground state according to Definition 2. While Definition 2 is often used as a characterization of ground states in the context of extended quantum lattice systems, we could not find any reference in the literature, which covers the statement of the following lemma also for unbounded operators.
Lemma 10
Let \(\varLambda \in {\mathcal {P}}_0({\mathbb {Z}} ^\nu )\) and \(K\) be a self-adjoint and bounded below operator on \({\mathcal {H}}_\varLambda \). A state \(\rho \in {\mathcal {A}}_{\varLambda }\) is a ground state in the usual sense, i.e.
if and only if \({{\,\mathrm{ran}\,}}(\rho ) \subset D(K)\) and
Here we adopt the convention that the trace of an operator that is not trace class is \(+\infty \).
For bounded \(K\) this implies that for any state \(\rho \in {\mathcal {A}}_\varLambda \) the conditions (6) and (7) are equivalent. And for unbounded \(K\), any ground state in the usual sense is a ground state according to our Definition 2. It could be that equivalence extends to unbounded operators, i.e. that (7) implies \({{\,\mathrm{ran}\,}}(\rho ) \subset D(K)\). However, we could not find a proof for this.
Proof of Lemma 10
Let \(E_0\,{:=}\, \inf \sigma (K)\) and let \((\phi _n)\) be a Weyl sequence for \(E_0\), i.e. \(\phi _n \in D(K)\), \(\left\Vert {\phi _n} \right\Vert =1\) and \(\left\Vert {(K-E_0)\,\phi _n } \right\Vert \le 1/n\) for all \(n\in {\mathbb {N}} \).
Assume that \(\rho \) satisfies (6). Since \({\mathrm{tr}}({K |{\phi _n}\rangle \langle {\phi _n}|}) \le E_0 + 1/n\), it follows that \({\mathrm{tr}}({K\rho } )= E_0\). Hence, \(E_0\) is an eigenvalue of \(K\) and the range of \(\rho \) is contained in the ground state eigenspace. Let \(A\in {\mathcal {A}}_\varLambda \) such that \([{K,A}]\) is bounded. Then the operator \(A^*(K-E_0)A\) is non-negative and
follows.
Now assume that \(\rho \) is a ground state in the sense of Definition 2, denote by \(\rho = \sum _{i} \lambda _i\,|{\psi _i}\rangle \langle {\psi _i}|\) a spectral decomposition of \(\rho \) with \(\psi _i\) normalized. Since \({{\,\mathrm{ran}\,}}(\rho ) \subset D(K)\), also \(\psi _i\in D(K)\). The operator \(A_{n,j} := |{\phi _n}\rangle \langle {\psi _j}|\) then has a bounded commutator with \(K\) and inequality (7) yields
Thus, \(\langle {\psi _j,K\psi _j}{}\rangle \le E_0\) for all \(j\). Hence, \({\mathrm{tr}}({K\rho }) = E_0\) and \(\rho \) is indeed a ground state of \(K\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Henheik, J., Teufel, S. & Wessel, T. Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Lett Math Phys 112, 9 (2022). https://doi.org/10.1007/s11005-021-01494-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-021-01494-y