Abstract
A rigorous proof is presented of the boundedness of the entanglement entropy of a block of spins for the ground state of the one-dimensional quantum Ising model with sufficiently strong transverse field. This is proved by a refinement of the stochastic geometric arguments in the earlier work by Grimmett et al. (J Stat Phys 131:305–339, 2008). The proof utilises a transformation to a model of classical probability called the continuum random-cluster model. Our method of proof is fairly robust, and applies also to certain disordered systems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 The Quantum Ising Model and Entanglement
The purpose of this note is to give a rigorous proof of the area law for entanglement entropy in the quantum Ising model in one dimension. This is achieved by an elaboration of the stochastic geometrical approach of [21]. We prove the boundedness of entanglement entropy of a block of spins of size \(L+1\) in the ground state of the model with sufficiently strong transverse field, uniformly in L. The current paper is presented as a development of the earlier work [21] by the same authors, to which the reader is referred for details of the background and basic theory.
The quantum Ising model in question is defined as follows. We consider a block of \(L+1\) spins in a line of length \(2m+L+1\). Let \(L \ge 0\). For \(m \ge 0\), let
be a subset of the one-dimensional lattice \({{\mathbb {Z}}}\), and attach to each vertex \(x\in \Delta _m\) a quantum spin-\(\frac{1}{2}\) with local Hilbert space \({{\mathbb {C}}}^2\). The Hilbert space \({\mathcal {H}}\) for the system is \({\mathcal {H}} = \bigotimes _{x=-m}^{m+L} {{\mathbb {C}}}^2\). A convenient basis for each spin is provided by the two eigenstates \(|+\rangle =\Big (\begin{matrix} 1\\ 0\end{matrix}\Big )\), \(|-\rangle =\Big (\begin{matrix}0\\ 1\end{matrix}\Big )\), of the Pauli operator
at the site x, corresponding to the eigenvalues \(\pm 1\). The other two Pauli operators with respect to this basis are represented by the matrices
A complete basis for \({\mathcal {H}}\) is given by the tensor products (over x) of the eigenstates of \(\sigma ^{(3)}_x\). In the following, \(|\phi \rangle \) denotes a vector and \(\langle \phi |\) its adjoint. As a notational convenience, we shall represent sub-intervals of \({{\mathbb {Z}}}\) as real intervals, writing for example \(\Delta _m=[-m, m+L]\).
The spins in \(\Delta _m\) interact via the quantum Ising Hamiltonian
generating the operator \(e^{-\beta H_m}\) where \(\beta \) denotes inverse temperature. Here, \(\lambda \ge 0\) and \(\delta \ge 0\) are the spin-coupling and external-field intensities, respectively, and \(\sum _{\langle x, y\rangle }\) denotes the sum over all (distinct) unordered pairs of neighbouring spins. While we phrase our results for the translation-invariant case, our approach can be extended to disordered systems with couplings and field intensities that vary across \({{\mathbb {Z}}}\), much as in [21, Sect. 8]. See Theorem 1.5.
The Hamiltonian \(H_m\) has a unique pure ground state \(|\psi _m\rangle \) defined at zero temperature (as \(\beta \rightarrow \infty \)) as the eigenvector corresponding to the lowest eigenvalue of \(H_m\). This ground state \(|\psi _m\rangle \) depends only on the ratio \(\theta =\lambda /\delta \). We work here with a free boundary condition on \(\Delta _m\), but we note that the same methods are valid with a periodic (or wired) boundary condition, in which \(\Delta _m\) is embedded on a circle.
Write \(\rho _m(\beta )=e^{-\beta H_m}/{\text {tr}}(e^{-\beta H_m})\), and
for the density operator corresponding to the ground state of the system. The ground-state entanglement of \(|\psi _m\rangle \) is quantified by partitioning the spin chain \(\Delta _m\) into two disjoint sets [0, L] and \(\Delta _m\setminus [0, L]\) and by considering the entropy of the reduced density operator
One may similarly define, for finite \(\beta \), the reduced operator \(\rho _m^L(\beta )\). In both cases, the trace is performed over the Hilbert space of spins belonging to \(\Delta _m\setminus [0,L]\). Note that \(\rho _m^L\) is a positive semi-definite operator on the Hilbert space \({\mathcal {H}}_L\) of dimension \(d= 2^{L+1}\) of spins indexed by the interval [0, L]. By the spectral theorem for normal matrices [10], this operator may be diagonalised and has real, non-negative eigenvalues, which we denote in decreasing order by \(\lambda _j^{\downarrow }(\rho _m^L)\).
Definition 1.1
The entanglement (entropy) of the interval [0, L] relative to its complement \(\Delta _m \setminus [0, L]\) is given by
where \(0 \log _2 0\) is interpreted as 0.
Here are our two main theorems.
Theorem 1.2
Let \(\lambda ,\delta \in (0,\infty )\) and \(\theta = \lambda /\delta \). There exists \(C=C(\theta ) \in (0,\infty )\), and a constant \(\gamma =\gamma (\theta )\) satisfying \(0<\gamma <\infty \) if \(\theta <2\), such that, for all \(L\ge 1\),
Furthermore, we may choose such \(\gamma \) satisfying \(\gamma (\theta )\rightarrow \infty \) as \(\theta \downarrow 0\).
Equation (1.5) is in terms of the operator norm:
where the supremum is taken over all vectors \(|\psi \rangle \in {\mathcal {H}}_L\) with unit \(L^2\)-norm.
Remark 1.3
The value \(\theta =2\) is critical for the quantum Ising model in one dimension, and therefore the condition \(\theta <2\) is sharp for \(\gamma >0\) in (1.5). See the discussion following [13, Thm 7.1].
Theorem 1.4
Consider the quantum Ising model (1.2) on \(n = 2m+L+1\) spins, with parameters \(\lambda \), \(\delta \), and let \(\gamma \) be as in Theorem 1.2. If \(\gamma > 2\ln 2 \), there exists \(c_1=c_1(\theta )<\infty \) such that
Weaker versions of Theorems 1.2 and 1.4 were proved in [21, Thms 2.2, 2.8], namely that (1.5) holds subject to a power factor of the form \(L^\alpha \), and (1.7) holds with \(c_1\) replaced by \(C_1+C_2\log L\) (and subject to a slightly stronger assumption on \(\gamma \)). As noted in Remark 1.3, Theorem 1.2 is a further strengthening of [21, Thm 2.2] in that (1.5) holds for \(\theta <2\), rather then just \(\theta <1\). Stronger versions of these two theorems may be proved similarly, with the interactions \(\lambda \) and field intensities \(\delta \) varying with position while satisfying a suitable condition. A formal statement for the disordered case appears at Theorem 1.5.
There is a considerable and growing literature in the physics journals concerning entanglement entropy in one and more dimensions. For example, paper [17] is an extensive review of area laws. The relationship between entanglement entropy and the spectral gap has been explored in [4, 5], and polynomial-time algorithms for simulating the ground state are studied in [6]. Related works include studies of the XY spin chain [1], oscillator systems [7], the XXZ spin chain [8], and free fermions [25]. The connection between correlations and the area-law is explored in [14].
We make next some remarks about the proofs of the above two theorems. The basic approach of these mathematically rigorous proofs is via the stochastic geometric representation of Aizenman, Klein, Nachtergaele, and Newman [2, 3, 23]. Geometric techniques have proved of enormous value in studying both classical systems (including Ising and Potts models, see for example [19]), and quantum systems (see [11,12,13, 15, 18, 26]).
The proofs of Theorems 1.2, 1.4 and the forthcoming Theorem 1.5 have much in common with those of [21, Thms 2.2, 2.8] subject to certain improvements in the probabilistic estimates. The general approach and many details are the same as in the earlier paper, and indeed there is some limited overlap of text. We make frequent reference here to [21], and will highlight where the current proofs differ, while omitting arguments that may be taken directly from [21]. In particular, the reader is referred to [21, Sects. 4, 5] for details of the percolation representation of the ground state, and of the associated continuum random-cluster model. In Sect. 2, we review the relationship between the reduced density operator and the random-cluster model, and we state the fundamental inequalities of Theorem 2.5 and Lemma 2.6. Once the last two results have been proved, Theorems 1.2 and 1.4 follow as in [21]: the first as in the proof of [21, Thm 2.2], and the second as in that of [21, Thm 2.8] (see the notes for the latter included in Sect. 5).
We reflect in Sect. 4 on the extension of our methods and conclusions when the edge-couplings \(\lambda \) and field strengths \(\delta \) are permitted to vary, either deterministically or randomly, about the line. In this disordered case, the Hamiltonian (1.2) is replaced by
where the sum is over neighbouring pairs \(\langle x,y\rangle \) of \(\Delta _m\). We write \(\varvec{\lambda }=(\lambda _{x,x+1}: x \in {{\mathbb {Z}}})\) and \(\varvec{\delta }=(\delta _x: x \in {{\mathbb {Z}}})\).
Theorem 1.5
Consider the quantum Ising model on \({{\mathbb {Z}}}\) with Hamiltonian (1.8), such that, for some \(\lambda ,\delta >0\), \(\varvec{\lambda }\) and \(\varvec{\delta }\) satisfy
- (a)
If \(\lambda /\delta <2\), then (1.5) holds with C and \(\gamma \) as given there.
- (b)
If, further, \(\gamma > 2\ln 2\), then (1.7) holds with \(c_1\) as given there.
If \(\varvec{\lambda }\) and \(\varvec{\delta }\) are random sequences satisfying (1.9) with probability one, then parts (a) and (b) are valid a.s.
The situation is more complicated when \(\varvec{\lambda }\), \(\varvec{\delta }\) are random but do not a.s. satisfy (1.9) with \(\lambda /\delta <2\).
Remark 1.6
The authors acknowledge Massimo Campanino’s announcement in a lecture on 12 June 2019 of his perturbative proof with Michele Gianfelice of a version of Theorem 1.2 for sufficiently small \(\theta \), using cluster expansions. That announcement stimulated the authors of the current work.
2 Estimates via the Continuum Random-Cluster Model
We write \({{\mathbb {R}}}\) for the reals and \({{\mathbb {Z}}}\) for the integers. The continuum percolation model on \({{\mathbb {Z}}}\times {{\mathbb {R}}}\) is constructed as in [20, 21]. For \(x\in {{\mathbb {Z}}}\), let \(D_x\) be a Poisson process of points in \(\{x\}\times {{\mathbb {R}}}\) with intensity \(\delta \); the processes \(\{D_x: x\in {{\mathbb {Z}}}\}\) are independent, and the points in the \(D_x\) are termed ‘deaths’. The lines \(\{x\}\times {{\mathbb {R}}}\) are called ‘time lines’.
For \(x\in {{\mathbb {Z}}}\), let \(B_x\) be a Poisson process of points in \(\{x+\frac{1}{2}\}\times {{\mathbb {R}}}\) with intensity \(\lambda \); the processes \(\{B_x: x\in {{\mathbb {Z}}}\}\) are independent of each other and of the \(D_y\). For \(x\in {{\mathbb {Z}}}\) and each \((x+\frac{1}{2},t)\in B_x\), we draw a unit line-segment in \({{\mathbb {R}}}^2\) with endpoints (x, t) and \((x+1,t)\), and we refer to this as a ‘bridge’ joining its two endpoints. For \((x,s), (y,t) \in {{\mathbb {Z}}}\times {{\mathbb {R}}}\), we write \((x,s)\leftrightarrow (y,t)\) if there exists a path \(\pi \) in \({{\mathbb {R}}}^2\) with endpoints (x, s), (y, t) such that: \(\pi \) comprises sub-intervals of \({{\mathbb {Z}}}\times {{\mathbb {R}}}\) containing no deaths, together possibly with bridges. For \(\Lambda ,\Delta \subseteq {{\mathbb {Z}}}\times {{\mathbb {R}}}\), we write \(\Lambda \leftrightarrow \Delta \) if there exist \(a\in \Lambda \) and \(b\in \Delta \) such that \(a\leftrightarrow b\). Let \({{\mathbb {P}}}_{\Lambda ,\lambda ,\delta }\) denote the associated probability measure when restricted to the set \(\Lambda \), and write \(\theta =\lambda /\delta \).
Let \({{\mathbb {P}}}_{\lambda ,\delta }\) be the corresponding measure on the whole space \({{\mathbb {Z}}}\times {{\mathbb {R}}}\), and recall from [9, Thm 1.12] that the value \(\theta =1\) is the critical point of the continuum percolation model.
The continuum random-cluster model on \({{\mathbb {Z}}}\times {{\mathbb {R}}}\) is defined as follows. Let \(a,b\in {{\mathbb {Z}}}\), \(s,t\in {{\mathbb {R}}}\) satisfy \(a \le b\) and \(s \le t\), and write \(\Lambda =[a,b]\times [s,t]\) for the box \(\{a,a+1,\ldots ,b\} \times [s,t]\). Its boundary \(\partial \Lambda \) is the set of all points \((x,y)\in \Lambda \) such that: either \(x\in \{a,b\}\), or \(y\in \{s,t\}\), or both.
As sample space we take the set \(\Omega _\Lambda \) comprising all finite subsets (of \(\Lambda \)) of deaths and bridges, and we assume that no death is the endpoint of any bridge. For \(\omega \in \Omega _\Lambda \), we write \(B(\omega )\) and \(D(\omega )\) for the sets of bridges and deaths, respectively, of \(\omega \).
The top/bottom periodic boundary condition is imposed on \(\Lambda \): for \(x\in [a,b]\), we identify the two points (x, s) and (x, t). The remaining boundary of \(\Lambda \), denoted \(\partial ^{\mathrm h}\Lambda \), is the set of points of the form \((x,u)\in \Lambda \) with \(x\in \{a,b\}\) and \(u\in [s,t]\).
For \(\omega \in \Omega _\Lambda \), let \(k(\omega )\) be the number of its clusters, counted according to the connectivity relation \(\leftrightarrow \) (and subject to the above boundary condition). Let \(q\in (0,\infty )\), and define the ‘continuum random-cluster’ probability measure \({{\mathbb {P}}}_{\Lambda ,\lambda ,\delta ,q}\) by
where Z is the appropriate partition function. As at [21, eqn (5.3)],
in the sense of stochastic ordering.
We introduce next a variant in which the box \(\Lambda \) possesses a ‘slit’ at its centre. Let \(L\in \{0,1,2,\ldots \}\) and \(S_L=[0,L]\times \{0\}\). We think of \(S_L\) as a collection of \(L+1\) vertices labelled in the obvious way as \(x=0,1,2,\ldots ,L\). For \(m\ge 2\), \(\beta >0\), let \(\Lambda _{m,\beta }\) be the box
subject to a ‘slit’ along \(S_L\). That is, \(\Lambda _{m,\beta }\) is the usual box except that each vertex \(x\in S_L\) is replaced by two distinct vertices \(x^+\) and \(x^-\). The vertex \(x^+\) (respectively, \(x^-\)) is attached to the half-line \(\{x\}\times (0,\infty )\) (respectively, the half-line \(\{x\}\times (-\infty ,0)\)); there is no direct connection between \(x^+\) and \(x^-\). Write \(S_L^\pm =\{x^\pm : x\in S_L\}\) for the upper and lower sections of the slit \(S_L\). Henceforth we take \(q=2\). Let \(\overline{\phi }_{m,\beta }\) be the continuum random-cluster measure on the slit box \(\Lambda _{m,\beta }\) with parameters \(\lambda \), \(\delta \), \(q=2\) and free boundary condition on \(\partial \Lambda _{m,\beta }\), and let \(\phi _{m,\beta }\) be the corresponding probability measure with top/bottom periodic boundary condition.
We make a note concerning exponential decay which will be important later. The critical point of the infinite-volume (\(q=2\)) continuum random-cluster model on \({{\mathbb {Z}}}\times {{\mathbb {R}}}\) with parameters \(\lambda \), \(\delta \) is given by \(\theta _{\mathrm {c}}=2\) where \(\theta =\lambda /\delta \) (see [13, Thm 7.1]). Furthermore, as in [19, Thm 5.33(b)], there is a unique infinite-volume weak limit, denoted \(\phi _{\lambda ,\delta }\), when \(\theta <2\). In particular (as in the discussion of [13]) there is exponential decay of connectivity when \(\theta <2\). Let \(\Lambda _m=[-m,m]^2 \subseteq {{\mathbb {Z}}}\times {{\mathbb {R}}}\), with boundary \(\partial \Lambda _m\).
Theorem 2.1
( [13, Thms 6.2, 7.1]) Let \(\lambda , \delta \in (0,\infty )\), and \(I=\{0\}\times [-\frac{1}{2},\frac{1}{2}]\subseteq {{\mathbb {Z}}}\times {{\mathbb {R}}}\). There exist \(C=C(\lambda ,\delta )\in (0,\infty )\) and \(\gamma =\gamma (\lambda ,\delta )\) satisfying \(\gamma >0\) when \(\theta =\lambda /\delta <2\), such that
The function \(\gamma (\lambda ,\delta )\) may be chosen to satisfy \(\gamma \rightarrow \infty \) as \(\delta \rightarrow \infty \) for fixed \(\lambda \).
Henceforth the function \(\gamma \) denotes that of Theorem 2.1. (The function \(\gamma \) in Theorems 1.2, 1.4 is derived from that of Theorem 2.1.) By stochastic domination, (2.3) holds with \(\phi _{\lambda ,\delta }\) replaced by \({{\mathbb {P}}}_{\Lambda ,\lambda ,\delta ,2}\) for general boxes \(\Lambda \).
It is explained in [21] that a random-cluster configuration \(\omega \) gives rise, by a cluster-labelling process, to an Ising configuration on \(\Lambda \), which serves (see [2]) as a two-dimensional representation of the quantum Ising model of (1.2). We shall use \(\overline{\phi }_{m,\beta }\) and \(\phi _{m,\beta }\) to denote the respective couplings of the continuum random-cluster measures and the corresponding (Ising) spin-configurations, and \(\overline{\phi }_{m,\beta }^\eta \), \(\phi _{m,\beta }^\eta \) for the measures with spin-configuration \(\eta \) on \(\partial ^{\mathrm h}\Lambda _{m,\beta }\).
Remark 2.2
Theorem 2.1 is an important component of the estimates that follow. At the time of the writing of [21], the result was known only when \(\theta <1\), and the corresponding exponential-decay theorem [21, Thm 6.7] was proved by stochastic comparison with continuum percolation (see (2.2)). More recent progress of [13] has allowed its extension to the \(q=2\) continuum random-cluster model directly. In order to apply it in the current work, a minor extension of the ratio weak-mixing theorem [21, Thm 7.1] is needed, namely that the mixing theorem holds with \(\overline{\phi }\) taken to be the random-cluster measure on \(\Lambda \) with free boundary conditions. The proof is unchanged.
Remark 2.3
In the proofs that follow, it would be convenient to have a stronger version of (2.3) with \(\phi _{\lambda ,\delta }\) replaced by the finite-volume random-cluster measure on \(\Lambda _{m,\beta }\) with wired boundary condition on \(\partial ^{\mathrm h}\Lambda _{m,\beta }\) and periodic top/bottom boundary condition. It may be possible to derive such an inequality as in [16], but we do not pursue that option here.
Remark 2.4
We shall work only in the subcritical phase \(\theta =\lambda /\delta <2\). As remarked prior to Theorem 2.1, there exists a unique infinite-volume measure. Similarly, the limits
exist and are identical measures on the strip \(\Lambda _m= [-m,m]\times (-\infty ,\infty )\).
Let \(\Omega _{m,\beta }\) be the sample space of the continuum random-cluster model on \(\Lambda _{m,\beta }\), and \(\Sigma _{m,\beta }\) the set of admissible allocations of spins to the clusters of configurations, as in [21, Sect. 5]. For \(\sigma \in \Sigma _{m,\beta }\) and \(x\in S_L\), write \(\sigma _x^\pm \) for the spin-state of \(x^\pm \). Let \(\Sigma _L=\{-1,+1\}^{L+1}\) be the set of spin-configurations of the vectors \(\{x^+: x\in S_L\}\) and \(\{x^-: x\in S_L\}\), and write \(\sigma ^+_L= (\sigma _x^+: x\in S_L)\) and \(\sigma ^-_L= (\sigma _x^-: x\in S_L)\).
Let
Then,
where \(\phi _m=\lim _{\beta \rightarrow \infty }\phi _{m,\beta }\) as in Remark 2.4.
Here is the main estimate of this section, of which Theorem 1.2 is an immediate corollary with adapted values of the constants. It differs from [22, Thm 6.5] in the removal of a factor of order \(L^\alpha \), and the replacement of the condition \(\theta <1\) by the weaker assumption \(\theta <2\).
Theorem 2.5
Let \(\lambda , \delta \in (0,\infty )\) and write \(\theta =\lambda /\delta \). If \(\theta < 2\), there exist \(C,M \in (0,\infty )\), depending on \(\theta \) only, such that the following holds. For \(L\ge 1\) and \(M\le m\le n<\infty \),
where \(\gamma \) is as in Theorem 2.1, and the supremum is over all functions \(c:\Sigma _L\rightarrow {{\mathbb {R}}}\) with \(L^2\)-norm satisfying \(\Vert c\Vert =1\).
In the proof of Theorem 2.5, we make use of the following two lemmas (corresponding, respectively, to [21, Lemmas 6.8, 6.9]), which are proved in Sect. 3 using the method of ratio weak-mixing.
Lemma 2.6
Let \(\lambda ,\delta \in (0,\infty )\) satisfy \(\theta =\lambda /\delta <2\), and let \(\gamma \) be as in Theorem 2.1. There exist constants \(A(\lambda ,\delta ),C_1(\lambda ,\delta )\in (0,\infty )\) such that the following holds. Let
For all \(L\ge 3\), \(1\le K<\frac{1}{2} L\), \(m\ge 1\), \(\beta \ge 1\), and all \(\epsilon ^+,\epsilon ^-\in \Sigma _L\), we have that
whenever K is such that \(R_K \le \tfrac{1}{2}\).
In the second lemma we allow a general spin boundary condition on \(\partial ^{\mathrm h}\Lambda _{m,\beta }\).
Lemma 2.7
Let \(\lambda ,\delta \in (0,\infty )\) satisfy \(\theta =\lambda /\delta <2\), and let \(\gamma \) be as in Theorem 2.1. There exists a constant \(C_1\in (0,\infty )\) such that: for all \(L\ge 3\), \(m\ge 1\), \(\beta \ge 1\), all events \(A\subseteq \Sigma _L\times \Sigma _L\), and all admissible spin boundary conditions \(\eta \) of \(\partial ^{\mathrm h}\Lambda _{m,\beta }\),
whenever the right side of the inequality is less than 1.
Proof of Theorem 2.5
Let \(\theta <2\), and let \(\gamma \) be as in Theorem 2.1. It suffices to prove (2.7) with \(\phi _m\) (respectively, \(\phi _n\)) replaced by \(\overline{\phi }_{m,\beta }\) (respectively, \(\overline{\phi }_{n,\beta }\)), and \(a_m\) (respectively, \(a_n\)) replaced by \(a_{m,\beta }\) (respectively, \(a_{n,\beta }\)). Having done so, we let \(\beta \rightarrow \infty \) to obtain (2.7) by Remark 2.4.
Let A, \(C_1\), \(R_K\) be as in Lemma 2.6, and let \(L\ge 3\) and \(1\le K<\frac{1}{2} L\) be such that
Remaining small values of L are covered in (2.7) by adjusting C.
Since \(\overline{\phi }_{m,\beta }\le _{\mathrm {st}}\overline{\phi }_{n,\beta }\), we may couple \(\overline{\phi }_{m,\beta }\) and \(\overline{\phi }_{n,\beta }\) via a probability measure \(\nu \) on pairs \((\omega _1,\omega _2)\) of configurations on \(\Lambda _{n,\beta }\) in such a way that \(\nu (\omega _1\le \omega _2) = 1\). It is standard (as in [19, 24]) that we may find \(\nu \) such that \(\omega _1\) and \(\omega _2\) are identical configurations within the region of \(\Lambda _{m,\beta }\) that is not connected to \(\partial ^{\mathrm h}\Lambda _{m,\beta }\) in the upper configuration \(\omega _2\). Let D be the set of all pairs \((\omega _1,\omega _2)\in \Omega _{n,\beta }\times \Omega _{n,\beta }\) such that: \(\omega _2\) contains no path joining \(\partial B\) to \(\partial ^{\mathrm h}\Lambda _{m,\beta }\), where
The relevant regions are illustrated in Fig. 1.
Having constructed the measure \(\nu \) accordingly, we may now allocate spins to the clusters of \(\omega _1\) and \(\omega _2\) in the manner described in [21, Sect. 5]. This may be done in such a way that, on the event D, the spin-configurations associated with \(\omega _1\) and \(\omega _2\) within B are identical. We write \(\sigma _1\) (respectively, \(\sigma _2\)) for the spin-configuration on the clusters of \(\omega _1\) (respectively, \(\omega _2)\), and \(\sigma _{i,L}^\pm \) for the spins of \(\sigma _i\) on the slit \(S_L\).
By the remark following [21, Eq. (6.4)], it suffices to consider non-negative functions \(c:\Sigma _L\rightarrow {{\mathbb {R}}}\), and thus we let \(c:\Sigma _L\rightarrow [0,\infty )\) with \(\Vert c\Vert =1\). Let
so that
where \(\overline{D}\) is the complement of D, and \(1_E\) is the indicator function of E.
Consider first the term \(\nu (S_c 1_D)\) in (2.12). On the event D, we have that \(\sigma _{1,L}^\pm = \sigma _{2,L}^\pm \), so that
By Lemma 2.6 and [21, Lemma 6.10],
where we have used reflection-symmetry in the horizontal axis at the intermediate step. By Lemma 2.6 and reflection-symmetry again,
Therefore,
We set \(A=\{\sigma _L^+=\sigma _L^-\}\) in Lemma 2.7 to find that, for sufficiently large \(m\ge M_1(\lambda ,\delta )\),
Each of the two probabilities on the left side may be interpreted as probabilities in the continuum Potts model of [21, Eq. (5.4)] on \(\Lambda _m\). By averaging over \(\eta \), sampled according to \(\overline{\phi }_{n,\beta }\) when viewed as a Potts measure, we deduce by the spatial Markov property that
which is to say that
We make a note for later use. In the same way as above, a version of inequality (2.15) holds with \(\overline{\phi }_{m,\beta }\) replaced by the continuum random-cluster measure \(\overline{\phi }_B\) on the box B with free boundary conditions, namely,
where \(a_B = \overline{\phi }_B(\sigma _L^+ = \sigma _L^-)\). By (2.10) and (2.16), we may take C and \(M_1\) above such that
Inequalities (2.15) and (2.16) may be combined as in (2.13) to obtain
for an appropriate constant \(C_1= C_1(\lambda ,\delta )\) and all \(m\ge M_1\).
We turn to the term \(\nu (S_c 1_{\overline{D}})\) in (2.12). Evidently,
where
There exist constants \(C_2\), \(M_2\) depending on \(\lambda \), \(\delta \), such that, for \(m>r \ge M_2\),
by Lemma 2.7 with \(\overline{\phi }_{m,\beta }\) replaced by \(\overline{\phi }_B\), and (2.18). At the middle step, we have used conditional expectation given the spin configuration \(\eta \) on \(\Lambda _{m,\beta }\setminus B\). By (2.17),
A similar upper bound is valid for \(A_m\), on noting that the conditioning on \(\overline{D}\) imparts certain information about the configuration \(\omega _1\) outside B but nothing further about \(\omega _1\) within B. Combining this with (2.20)–(2.22), we find that, for \(r \ge M_3(\lambda ,\delta )\) and some \(C_3=C_3(\lambda ,\delta )\),
By (2.2), (2.10), and Theorem 2.1,
for some \(C_4\), \(C_5\), \(M_4\ge 2M_3\). We combine (2.19), (2.23), (2.24) as in (2.12). Letting \(\beta \rightarrow \infty \) and recalling (2.9), we obtain (2.7) from (2.6), for \(m\ge M:= \max \{M_1,M_2,M_4\}\).
Finally, we remark that C and M depend on both \(\lambda \) and \(\delta \). The left side of (2.7) is invariant under re-scalings of the time-axes, that is, under the transformations \((\lambda ,\delta ) \mapsto (\lambda \eta , \delta \eta )\) for \(\eta \in (0,\infty )\). We may therefore work with the new values \(\lambda '=\theta \), \(\delta '=1\), with appropriate constants \(\alpha (\theta ,1)\), \(C(\theta ,1)\), \(M(\theta ,1)\). \(\square \)
3 Proofs of Lemmas 2.6 and 2.7
Let \(\Lambda \) be a box in \({{\mathbb {Z}}}\times {{\mathbb {R}}}\) (we shall later consider a box \(\Lambda \) with a slit \(S_L\), for which the same definitions and results are valid). A path\(\pi \) of \(\Lambda \) is an alternating sequence of disjoint intervals (contained in \(\Lambda \)) and unit line-segments of the form \([z_0,z_1]\), \(b_{12}\), \([z_2,z_3]\), \(b_{34}\), \(\ldots \), \(b_{2k-1,2k}\), \([z_{2k},z_{2k+1}]\), where: each pair \(z_{2i}\), \(z_{2i+1}\) is on the same time line of \(\Lambda \), and \(b_{2i-1,2i}\) is a unit line-segment with endpoints \(z_{2i-1}\) and \(z_{2i}\), perpendicular to the time-lines. The path \(\pi \) is said to join \(z_0\) and \(z_{2k+1}\). The length of \(\pi \) is its one-dimensional Lebesgue measure. A circuitD of \(\Lambda \) is a path except inasmuch as \(z_0=z_{2k+1}\). A set D is called linear if it is a disjoint union of paths and/or circuits. Let \(\Delta \), \(\Gamma \) be disjoint subsets of \(\Lambda \). The linear set D is said to separate\(\Delta \) and \(\Gamma \) if every path of \(\Lambda \) from \(\Delta \) to \(\Gamma \) passes through D, and D is minimal with this property in that no strict subset of D has the property.
Let \(\omega \in \Omega _\Lambda \). An open path\(\pi \) of \(\omega \) is a path of \(\Lambda \) such that, in the notation above, the intervals \([z_{2i},z_{2i+1}]\) contain no death of \(\omega \), and the line-segments \(b_{2i-1,2i}\) are bridges of \(\omega \).
Let \(\Gamma \) be a measurable subset and \(\Delta \) a finite subset of \(\Lambda \) such that \(\Delta \cap \Gamma =\varnothing \). We shall make use of the ‘ratio weak-mixing property’ of the spin-configurations in \(\Delta \) and \(\Gamma \) that is stated and proved in [21, Thm 7.1]; note Remark 2.2.
Consider the box \(\Lambda _{m,\beta }\) with slit \(S_L\). Let K be an integer satisfying \(1\le K < \frac{1}{2} L\), and let
The following replaces [21, Lemma 7.24].
Lemma 3.1
Let \(\lambda ,\delta \in (0,\infty )\) satisfy \(\theta =\lambda /\delta <2\), and let \(\gamma >0\) be as in Theorem 2.1. There exists \(C_1=C_1(\lambda ,\delta )\in (0,\infty )\) such that the following holds. For \(\epsilon _K^+\in \Sigma _\Delta \), \(\epsilon _K^-\in \Sigma _\Gamma \), we have that
whenever the right side is less than \(\frac{1}{2}\).
Proof
Take
the union of the two horizontal line-segments that, when taken with the slit \(S_L\), complete the ‘equator’ of \(\Lambda _{m,\beta }\). Thus D is a linear subset of \(\Lambda _{m,\beta }\) that separates \(\Delta \) and \(\Gamma \). Let \(t_1\), \(t_2\), t be as in [21, Thm 7.1], namely,
By Theorem 2.1, there exist constants \(C_2\), \(C_3\), depending on \(\lambda \) and \(\delta \) only, such that
and furthermore \(t_2^2=t_1\). The claim now follows by [21, Thm 7.1] and Remark 2.2. \(\square \)
We now prove Lemmas 2.6 and 2.7 .
Proof of Lemma 2.6
Let \(\theta <2\) and let \(\gamma \) be as in Theorem 2.1. With \(1 \le K < \frac{1}{2} L\), write \(\sigma _{L,K}^\pm =(\sigma _x^\pm : K \le x \le L-K)\). First, let \(x=(L,0)\), and let \(\epsilon ^+, \epsilon ^-\in \{-1,+1\}^{L+1}\) be possible spin-vectors of the sets \(S_L^+\) and \(S_L^-\), respectively. By [21, Lemma 7.25] with \(S = S_L^+ \cup S_L^- \setminus \{x^+\}\),
Now, \({{\mathbb {P}}}_{\Lambda _{m,\beta },\lambda ,\delta }(x\nleftrightarrow S)\) is at least as large as the probability that the first event (death or bridge) encountered on moving northwards from x is a death, so that
On iterating the above, we obtain that
where \(\epsilon ^\pm _K\) is the vector obtained from \(\epsilon ^\pm \) by removing the entries labelled by vertices x satisfying \(0\le x <K\) and \(L-K < x \le L\), and
In summary, for \(\epsilon ^\pm \in \Sigma _L\),
With \(\Delta \), \(\Gamma \) as in (3.1), we apply Lemma 3.1 to obtain that there exists \(C_1=C_1(\lambda ,\delta )<\infty \) such that
whenever the right side is less than or equal to \(\frac{1}{2}\).
By a similar argument to (3.5),
The claim follows on combining (3.5)–(3.7). \(\square \)
Proof of Lemma 2.7
Let \(\Delta =S_L^+ \cup S_L^-\) and \(\Gamma =\partial ^{\mathrm h}\Lambda _{m,\beta }\), and suppose \(\theta <2\). Let \(k=\frac{3}{7} m\) and assume for simplicity that k is an integer. (If either m is small or k is non-integral, the constant C may be adjusted accordingly.) Let \(D_0\) be the circuit illustrated in Fig. 2, comprising a path in the upper half-plane from \((-k,0)\) to \((L+k,0)\) together with its reflection in the x-axis. Let \(D=D_0 \cap \Lambda _{m,\beta }\). Thus, \(D=D_0\) in the case \(\beta =\beta _2\) of the figure. In the case \(\beta =\beta _1\), D comprises two disjoint paths of \(\Lambda _{m,\beta }\). In each case, D separates \(\Delta \) and \(\Sigma \).
Let \(t_1\), \(t_2\), t be as in (3.2). By the ratio weak-mixing theorem [21, Thm 7.1] and Remark 2.2,
whenever \(t\le \frac{1}{2}\). We multiply up, and sum over \((\epsilon ^+,\epsilon ^-)\in A\) to obtain
whenever \(t \le \frac{1}{2}\).
By Theorem 2.1, there exist \(C_2,C_3,c_4>0\), depending on \(\lambda \), \(\delta \), such that
and similarly,
The claim follows. \(\square \)
4 Quenched Disorder
The parameters \(\lambda \) and \(\delta \) have so far been assumed constant. The situation is more complicated in the disordered case, when either they vary deterministically, or they are random. The arguments of this paper may be applied in both cases, and the outcomes are summarised in this section. Let the Hamiltonian (1.2) be replaced by (1.8), and write \(\varvec{\lambda }=(\lambda _{x,x+1}: x \in {{\mathbb {Z}}})\) and \(\varvec{\delta }=(\delta _x: x \in {{\mathbb {Z}}})\).
The fundamental bound of Theorem 2.5 depends only on the ratio \(\theta =\lambda /\delta \). In the disordered setting, the connection probabilities of the continuum random-cluster model are increasing in \(\varvec{\lambda }\) and decreasing in \(\varvec{\delta }\), and powers of the function \(A(\lambda ,\delta )\) of (3.4) are replaced by products of the form
which are decreasing in \(\varvec{\lambda }\) and increasing in \(\varvec{\delta }\). By examination of the earlier lemmas and proofs, the conclusions of the paper are found to be valid with \(\gamma =\gamma (\lambda ,\delta )\) whenever (1.9) holds with some \(\lambda ,\delta >0\). Hence, in the disordered case where (1.9) holds with probability one, the corresponding conclusions are valid a.s. (subject to appropriate bounds on the ratio \(\lambda /\delta \)). This proves Theorem 1.5.
Consider now the situation in which (1.9) does not hold with probability one. Suppose that the \(\lambda _{x,x+1}\), \(x\in {{\mathbb {Z}}}\), are independent, identically distributed random variables, and similarly the \(\delta _x\), \(x\in {{\mathbb {Z}}}\), and assume that the vectors \(\varvec{\lambda }\) and \(\varvec{\delta }\) are independent. We write P for the corresponding probability measure, viewed as the measure governing the ‘random environment’.
A quenched area law might assert something along the following lines: subject to suitable conditions, there exists a random variable Z which is P-a.s. finite such that \(S(\rho _m^L)<Z\) for all appropriate m, L. Such a uniform upper bound will not generally exist, owing to the fluctuations in the system as \(L \rightarrow \infty \). In the absence of an assumption of the type of (1.9), there may exist sub-domains of \({{\mathbb {Z}}}\) where the environment is not propitious for such a bound.
Partial progress may be made using the methods of [21, Sect. 8], but this is too incomplete for inclusion here.
5 Proof of Theorem 1.4
Since this proof is very close to that of [21, Thm 2.12], we include only details that are directly relevant to the strengthened claims of the current theorem, namely the removal of the logarithmic term of [21] and the weakened assumption on \(\gamma \).
Let C and \(\gamma >2\ln 2\) be as in Theorem 1.2, and choose an integer \(K =K(\theta )\ge 2\) such that
As in [21],
and we assume henceforth that \(m>K\).
Let \(\epsilon (r)= C e^{-\gamma (K+r)}\), so that, by (5.1),
On following the proof of [21, Thm 2.8] up to equation (2.22) there, we find that
where \(\xi = {\gamma }/(2\ln 2) > 1\) and \(c=e^{\gamma (K+1)}/(1-e^{-\gamma })\).
Now,
where
and \(\nu = 2^{2(K+2)}\). Since the \(\lambda _j^{\downarrow }(\rho _m^L)\), \(1\le j\le \nu \), are non-negative with sum Q satisfying \(Q\le 1\), we have
We use (5.4) to bound \(S_2\) as in [21], to obtain
for some \(c_1=c_1(\theta )<\infty \). By (5.5)–(5.6),
which completes the proof.
References
Abdul-Rahman, H., Nachtergaele, B., Sims, R., Stolz, G.: Entanglement dynamics of disordered quantum XY chains. Lett. Math. Phys. 106, 649–674 (2016)
Aizenman, M., Klein, A., Newman, C.M.: Percolation methods for disordered quantum Ising models. In: Kotecký, R. (ed.) Phase Transitions: Mathematics, Physics, Biology, \(\dots \), pp. 129–137. World Scientific, Singapore (1992)
Aizenman, M., Nachergaele, B.: Geometric aspects of quantum spin states. Commun. Math. Phys. 164, 17–63 (1994)
Arad, I., Kitaev, A., Landau, Z., Vazirani, U.: An area law and sub-exponential algorithm for 1D systems. In: Proceedings of the 4th Innovations in Theoretical Computer Science (ITCS) arXiv.1301.1162 (2013)
Arad, I., Landau, Z., Vazirani, U.: Improved one-dimensional area law for frustration-free systems. Phys. Rev. B 85, 195145 (2012)
Arad, I., Landau, Z., Vazirani, U., Vidick, T.: Rigorous RG algorithms and area laws for low energy eigenstates in 1D. Commun. Math. Phys. 356, 65–105 (2017)
Beaud, V., Sieber, J., Warzel, S.: Bounds on the bipartite entanglement entropy for oscillator systems with or without disorder. J. Phys. A. Math. Theor. 52, 235202 (2019)
Beaud, V., Warzel, S.: Bounds on the entanglement entropy of droplet states in the XXZ spin chain. J. Math. Phys. 59, 012109 (2018)
Bezuidenhout, C.E., Grimmett, G.R.: Exponential decay for subcritical contact and percolation processes. Ann. Probab. 19, 984–1009 (1991)
Bhatia, R.: Matrix Analysis, 2nd edn. Springer, Berlin (1997)
Björnberg, J.E.: Vanishing critical magnetization in the quantum Ising model. Commun. Math. Phys. 337, 879–907 (2015)
Björnberg, J.E.: The free energy in a class of quantum spin systems and interchange processes. J. Math. Phys. 57, 073303 (2016)
Björnberg, J.E., Grimmett, G.R.: The phase transition of the quantum Ising model is sharp. J. Stat. Phys. 136, 231–273 (2009)
Brandão, F.G.S.L., Horodecki, M.: An area law for entanglement from exponential decay of correlations. Nat. Phys. 9, 721–726 (2013)
Crawford, N., Ioffe, D.: Random current representation for transverse field Ising model. Commun. Math. Phys. 296, 447–474 (2010)
Duminil-Copin, H., Raoufi, A., Tassion, V.: Sharp phase transition for the random-cluster and Potts models via decision trees. Ann. Math. 189, 75–99 (2019)
Eisert, J., Cramer, M., Plenio, M.B.: Area laws for the entanglement entropy—a review. Rev. Mod. Phys. 82, 277–306 (2010)
Goldschmidt, C., Ueltschi, D., Windridge, P.: Quantum Heisenberg Models and Their Probabilistic Representations. Entropy and the Quantum II, Contemporary Mathematics, vol. 552, pp. 177–224. American Mathematical Society, Providence, RI (2011)
Grimmett, G.R.: The Random-Cluster Model. Springer, Berlin (2006). http://www.statslab.cam.ac.uk/~grg/books/rcm.html
Grimmett, G.R.: Space-time percolation. In: Sidoravicius, V., Vares, M.E. (eds.) In and Out of Equilibrium 2. Progress in Probability, vol. 60, pp. 305–320. Birkhäuser, Boston (2008)
Grimmett, G.R., Osborne, T.J., Scudo, P.F.: Entanglement in the quantum Ising model. J. Stat. Phys. 131, 305–339 (2008)
Grimmett, G.R., Stirzaker, D.R.: Probability and Random Processes, 3rd edn. Oxford University Press, Oxford (2001)
Nachtergaele, B.: A stochastic geometric approach to quantum spin systems. In: Grimmett, G.R. (ed.) Probability and Phase Transition, pp. 237–246. Kluwer Academic Publishers, Dordrecht (1994)
Newman, C.M.: Disordered Ising systems and random cluster representations. In: Grimmett, G.R. (ed.) Probability and Phase Transition, pp. 247–260. Kluwer Academic Publishers, Dordrecht (1994)
Pastur, L., Slavin, V.: Area law scaling for the entropy of disordered quasifree fermions. Phys. Rev. Lett. 113, 15404 (2014)
Tóth, B.: Improved lower bound on the thermodynamic pressure of the spin \(1/2\) Heisenberg ferromagnet. Lett. Math. Phys. 28, 75–84 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Irene Giardina.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Grimmett, G.R., Osborne, T.J. & Scudo, P.F. Bounded Entanglement Entropy in the Quantum Ising Model. J Stat Phys 178, 281–296 (2020). https://doi.org/10.1007/s10955-019-02432-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-019-02432-y