# Towards an Explicit Construction of Local Observables in Integrable Quantum Field Theories

- 244 Downloads

## Abstract

We present a new viewpoint on the construction of pointlike local fields in integrable models of quantum field theory. As usual, we define these local observables by their form factors; but rather than exhibiting their *n*-point functions and verifying the Wightman axioms, we aim to establish them as closed operators affiliated with a net of local von Neumann algebras, which is defined indirectly via wedge-local quantities. We also investigate whether these fields have the Reeh–Schlieder property, and in which sense they generate the net of algebras. Our investigation focuses on scalar models without bound states. We establish sufficient criteria for the existence of averaged fields as closable operators, and complete the construction in the specific case of the massive Ising model.

## Mathematics Subject Classification

Primary 81T05 Secondary 81T40 47G10## 1 Introduction

Quantum field theory is based on the concept of local observables, i.e., operators associated with points or regions of spacetime which commute at spacelike distances. Yet these local objects are notoriously difficult to construct in the presence of interaction. Even in simplified situations that are amenable to a mathematically rigorous treatment, explicit control over the local observables is hard to obtain: one can either make a direct ansatz for quantum fields, but face difficulties in controlling their singular nature, particularly in the high-energy regime; or one can define local quantities via an abstract limiting process, allowing one to control their functional analytic properties, but losing track of their explicit form.

These difficulties are exemplified in the models we consider in this article, namely quantum integrable models on \(1+1\) dimensional Minkowski space; open questions remain about the structure of their local observables, despite substantial research focusing on this issue.

*form factor program*[1, 2], aims at constructing point-local quantum fields \(\Phi (x)\) directly. Their

*n*-point functions are expanded in a series by inserting a basis of intermediate asymptotic states, for example, for \(n=2\),

*form factors;*locality and covariance requirements for \(\Phi (x)\) then lead to restrictions on these, the

*form factor equations*. For specific forms of the interaction, such as the massive Ising model [3] or the sinh-Gordon model [4], one can find explicit solutions of the form factor equations. The remaining problem is now to control the convergence of the infinite series, in order to verify, e.g., the Wightman axioms [5]. However, only partial results in certain asymptotic regimes exist so far, even in the simplest interacting case, the massive Ising model [6].

*operator algebraic*one, proceeds in an indirect way: One first constructs observables with weaker localization properties, namely, quantum fields localized in spacelike wedges. While not the desired final result, these wedge-local fields can explicitly be described and mathematically controlled. Passing to algebras of bounded operators \(\mathcal {A}(\mathcal {W})\) associated with wedges \(\mathcal {W}\), one then obtains observable algebras in bounded regions by taking intersections: Where a bounded region is the intersection of two wedges, \(\mathcal {O}=\mathcal {W}_1 \cap \mathcal {W}_2\), one sets

Thus, known results allow one to either control the explicit form of observables or their functional analytic behavior. In the present paper, we propose a method to close this gap using a hybrid approach: We take our local observables to be defined by explicit expressions for pointlike fields, following ideas from the form factor program. Then, we aim to show that they are local operators in a mathematically strict sense: namely, that their closures are affiliated with the algebras \(\mathcal {A}(\mathcal {O})\) as defined in (1.2). Relying on affiliation with von Neumann algebras rather than on *n*-point functions of fields gives us the flexibility needed to tackle longstanding convergence issues.

We carry out this programme in the context of scalar integrable quantum field theories without bound states. In this context, we present sufficient criteria that make this approach work, and that do not refer to details of the interaction, i.e., to the two-particle scattering function. We verify the criteria in the massive Ising model.

*A*. (These will be recalled in Sect. 2.3.) The expansion (1.3) is not restricted to bounded operators, but should also hold for other local quantities, such as locally averaged quantum fields, or more general quadratic forms

*A*. However, most functional analytic properties (such as boundedness or closability) of the operator

*A*are not directly visible on the level of the expansion coefficients \(F_k\), and the series exists only in the sense of matrix elements between finite particle number states, where the sum is actually finite. Locality for these objects is only defined in a weak sense, namely, as relative locality to the wedge-local field mentioned above (\(\omega \)-locality, see Definition 2.1).

Hence our main line of argument is as follows. As our input, we take meromorphic functions \(F_k\) that fulfill a refined version of the form factor axioms (see Theorem 2.2 below); in concrete models, candidates are known in the literature. This gives us our observables (averaged quantum fields) as quadratic forms by (1.3). Additionally, we assume a certain summability condition for the series (1.3), resulting in our local fields as closed operators. Based on the locality conditions for the functions \(F_k\), the operators are then shown to be affiliated with the local algebras \(\mathcal {A}(\mathcal {O})\). We note that this construction does not depend on a priori information on the size of the algebras \(\mathcal {A}(\mathcal {O})\).

We verify our summability condition in an example, the massive Ising model. In our context, the massive Ising model is the \(1+1\)-dimensional massive integrable quantum field theory with constant two-particle S-matrix \(S=-1\). While the *massless* Ising model is generated by (the even powers of) a free Fermi field, the *massive* Ising model differs from this in important aspects: Its scattering states are bosonic, and its PCT operator is different from the related Fermi field on the same Hilbert space [14, Sec. II]. It is, in this sense, a theory of interacting Bosons, even if with a very simple type of interaction. While quadratic expressions in the Fermi field generate a subnet of \(\mathcal {A}\), this is a *proper* subnet, and \(\mathcal {A}(\mathcal {O})\) contains also operators with odd particle number transfer. Crucially, for these the series in (1.3) cannot terminate, thus providing us with a test case for our ideas. The Ising model has been constructed in the operator algebraic context [15] and as a Euclidean quantum field theory [16], but to the authors’ knowledge, direct convergence results for the series (1.3) in Minkowski space are new.

We stress that, while the observables we construct are formally averaged versions of the local field of the form factor program, given as \(A=\Phi (g) = \int \mathrm{d}^2x \,g(x) \Phi (x)\) with \(\Phi (x)\) as in (1.1), we do *not* claim that they fulfill the Wightman axioms. For one, we do not use Schwartz functions *g*, but rather functions of Jaffe class [17]; but this is a more minor point. More fundamentally, we do not want to, or need to, control the product of two such operators; we do not claim that their *n*-point functions exist, or that the fields have a common invariant domain. For our interpretation as local observables, it is sufficient to show that \(\Phi (g)\) is affiliated with \(\mathcal {A}(\mathcal {O})\) where \({{\,\mathrm{supp}\,}}g \subset \mathcal {O}\).

In a slight extension of scope, one can ask whether this method leads to *all* local observables of the model. Namely, for each bounded region \(\mathcal {O}\) of spacetime, we obtain a linear space \(\mathcal {Q}(\mathcal {O})\) of quadratic forms (which extend to closed operators, affiliated with \(\mathcal {A}(\mathcal {O})\)); this set would also include the “composite fields” or “descendant operators” of the model, although we do not explicitly deal with normal products or product expansions. Is this \(\mathcal {Q}(\mathcal {O})\) maximally large, in a well-defined sense? One criterion would be whether the space has the Reeh–Schlieder property, i.e., whether \(\mathcal {Q}(\mathcal {O})\Omega \) is dense in the Hilbert space of the model. A somewhat stricter notion is whether the elements of \(\mathcal {Q}(\mathcal {O})\), or their spectral data, generate the algebra \(\mathcal {A}(\mathcal {O})\). Both questions can be traced back to sufficient conditions on the functions \(F_k\), where for the last-mentioned point, we understand “generate” in the sense of the dual of a net of algebras. We also investigate which consequences this completeness has for the net \(\mathcal {A}\) itself.

The paper is organized as follows. In Sect. 2, we recall our mathematical setting, including the definition of wedge-local algebras and the characterization of local operators in terms of a series expansion. Then, in Sect. 3, we develop sufficient criteria for closability of operators, affiliation with local algebras, and completeness in the sense of the Reeh–Schlieder property or duality.

We explicitly treat the situation in the Ising model in Sects. 4 and 5. In the Ising model, for local observables with even particle number transfer, the series (1.3) can be finite, whereas for odd particle number transfer, it is necessarily infinite. We discuss the easier, even case in Sect. 4, hoping it will be instructive for the reader. The odd case is treated in Sect. 5; it involves quite delicate estimates of the singular integral operators with kernels \(F_{m+n}(\varvec{\theta }+i\varvec{0},\varvec{\eta }+i\varvec{\pi }-i\varvec{0})\), which are boundary values of meromorphic functions, with first-order poles located on the boundary.

We summarize our results, and give an outlook on future work, in Sect. 6. Two appendices provide technical results needed in Sect. 5: Appendix A deals with symmetric Laurent polynomials that are required for treating composite fields, and Appendix B investigates the singularity structure of a certain multivariable meromorphic function needed in the construction.

This paper is partly based on one of the authors’ Ph.D. thesis [18].

## 2 Background

The context of this paper are integrable models of quantum field theory on \(1+1\) dimensional Minkowski space, with a single species of massive scalar particle. We also exclude bound states, i.e., the two-particle scattering function will not have poles in the physical strip. (For possible generalizations, see Sect. 6.3.) We formulate them in the mathematical framework of [10, 12, 19], the relevant aspects of which we now recall.

### 2.1 Hilbert Space

*scattering function*

*S*, a meromorphic function on \(\mathbb {C}\) which is bounded on the strip \(0 \le {{\,\mathrm{Im}\,}}\zeta \le \pi \) and fulfills the symmetry relations

*S*-symmetric part” of \(L^2(\mathbb {R}^n,d\varvec{\theta })\), i.e., consists of wave functions \(\psi _n\) (depending on rapidity arguments) which behave under transposition of variables according to

*U*of the proper Poincaré group, under which translations and boosts \(U(x,\Lambda )\) and spacetime reflections

*U*(

*j*) act on \(\psi \in \mathcal {H}_n\) as

*U*is an (anti-) unitary, strongly continuous, positive-energy representation, and the translations have the Fock vacuum \(\Omega \) as their unique invariant vector (up to scalar factors). The generator of time translations will be denoted

*H*.

*S*-deformed version of the CCR [10, Sec. 3]. The “smearing functions” of these operator-valued distributions will often be Fourier transforms of functions \(f \in \mathcal {S}(\mathbb {R}^2)\), taken with the convention

### 2.2 Quadratic Forms

*analytic indicatrix*[12, Def. 2.1], that is, a function growing slightly less than linearly with certain additional conditions; here we just note that

*n*). Further, let \(\mathcal {Q}^\omega \) be the space of quadratic forms

*A*on \(\mathcal {H}^{\omega ,\mathrm {f}}\times \mathcal {H}^{\omega ,\mathrm {f}}\) such that the norms

*all*\(A \in \mathcal {Q}^\omega \) can be decomposed into monomials of the form (2.10): One can find distributions \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\) such that [19, Thm. 3.8]

*A*and \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\), see [19, Sec. 3.1]. The symmetry representation

*U*acts on \(\mathcal {Q}^\omega \) by adjoint action, and correspondingly on the expansion coefficients \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\); we refer to [19, Sec. 3.3] for details.

### 2.3 Locality

*x*; double cones \(\mathcal {O}_{x,y}=\mathcal {W}_x \cap \mathcal {W}_y'\); and the standard double cone \(\mathcal {O}_r\) of radius

*r*around the origin. We start by introducing the wedge-local field [10, Sec. 3]

*U*be consistently interpreted as localized in the wedge \(\mathcal {W}_x'\). We then define a von Neumann algebra of bounded operators associated with the right wedge as

*f*.) From here, algebras associated with other wedges \(\mathcal {W}_x\) and \(\mathcal {W}_y'\) can be defined by symmetry transformations, and for double cones \(\mathcal {O}_{x,y} = \mathcal {W}_x \cap \mathcal {W}_y'\) via \(\mathcal {A}(\mathcal {O}_{x,y}):=\mathcal {A}(\mathcal {W}_x) \cap \mathcal {A}(\mathcal {W}_y')\). In this way, one obtains a Haag–Kastler net \(\mathcal {A}\) of local algebras for every region of Minkowski space, where the vacuum \(\Omega \) is cyclic and separating for \(\mathcal {A}(\mathcal {W})\), Haag duality for wedges holds, i.e., \(\mathcal {A}(\mathcal {W}_x')=\mathcal {A}(\mathcal {W}_x)'\), and the Tomita–Takesaki modular group of \(\mathcal {A}(\mathcal {W})\) coincides with the boosts \(U(0,\Lambda )\). It is a priori not clear whether the algebras \(\mathcal {A}(\mathcal {O}_{x,y})\) contain any operator other than multiples of the identity, but under certain conditions (“modular nuclearity”),

^{1}the vacuum is in fact cyclic for these as well [10, Sec. 2].

This gives a well-defined sense of locality for bounded operators. For (unbounded) quadratic forms, the situation is different, as we cannot formulate commutation relations between these directly. Instead, we can define a weaker notion by means of relative locality to the wedge-local field \(\phi \):

### Definition 2.1

*A*is \(\omega \)-

*local*in \(\mathcal {W}_x\) iff

^{2}

*A*is called \(\omega \)-local in \(\mathcal {W}_x'\) iff \(U(j) A^*U(j)\) is \(\omega \)-local in \(\mathcal {W}_{-x}\).

*A*is called \(\omega \)-local in the double cone \(\mathcal {O}_{x,y} = \mathcal {W}_x \cap \mathcal {W}'_y\) iff it is \(\omega \)-local in both \(\mathcal {W}_x\) and \(\mathcal {W}'_y\).

We will clarify in Sect. 3 how \(\omega \)-locality is related to the local net \(\mathcal {A}\), as well as to locality conditions for closed unbounded operators.

*A*localized in a double cone, one finds that \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\) are distributional boundary values of meromorphic functions \(F_{m+n}\) at specific points. To formulate this, consider the regions in \(\mathbb {R}^k\),

### Theorem 2.2

^{3}for any fixed

*k*, and with \(\varvec{\zeta }\in \mathbb {C}^k\) arbitrary:

- (FD1)
*Analyticity:*\(F_k\) is meromorphic on \(\mathbb {C}^k\), and analytic where \({{\,\mathrm{Im}\,}}\zeta _1< \ldots< {{\,\mathrm{Im}\,}}\zeta _k < {{\,\mathrm{Im}\,}}\zeta _1 + \pi \). - (FD2)
*S*-*symmetry:*\( \displaystyle { F_k(\varvec{\zeta }) = S(\zeta _{j+1}-\zeta _j) F_k(\zeta _1,\dotsc ,\zeta _{j+1},\zeta _j,\dotsc ,\zeta _k) }\) for any \(1 \le j < k\). - (FD3)
*S*-*periodicity:*\(\displaystyle { F_k (\zeta _1,\dotsc ,\zeta _{k-1},\zeta _k+2\pi i) = F_k (\zeta _k, \zeta _1,\dotsc ,\zeta _{k-1} ). }\) - (FD4)
*Recursion relations:*The \(F_k\) have first-order poles at \(\zeta _n-\zeta _m = i \pi \), where \(1 \le m < n \le k\), and$$\begin{aligned} {{\,\mathrm{res}\,}}_{\zeta _2-\zeta _1 = i \pi } F_{k}( \varvec{\zeta }) = - \frac{1}{2\pi i } \left( 1-\prod _{j=1}^{k} S(\zeta _1-\zeta _j) \right) F_{k-2}( \zeta _3,\dotsc ,\zeta _k ). \end{aligned}$$ - (FD5)
*Bounds at nodes:*For each \(j \in \{0,\dotsc ,k\}\), we have$$\begin{aligned} \begin{aligned} || F_k \big ( \, \cdot \, {+} ( \underbrace{i \varvec{0}}_{{j\;{\mathrm {entries}}}},i\varvec{\pi }-i\varvec{0}) \big ) ||_{j \times (k-j)}^\omega< \infty , \quad || F_k\big ( \, \cdot \, {-} ( \underbrace{i\varvec{\pi }-i \varvec{0}}_{j\;{\mathrm {entries}}}, i\varvec{0}) \big ) ||_{j \times (k-j)}^\omega < \infty . \end{aligned} \end{aligned}$$ - (FD6)
*Pointwise bounds:*There exist \(c,c'>0\) such that for all \(\varvec{\zeta }\in \mathbb {R}^k+i \mathcal {I}^k_\pm \):$$\begin{aligned} |F_k(\varvec{\zeta })| \le c \,{ {\text {dist}}({{\,\mathrm{Im}\,}}\varvec{\zeta },\partial \mathcal {I}_\pm ^k)^{-k/2}} \prod _{j=1}^k \exp \big (\mu r |{{\,\mathrm{Im}\,}}\sinh \zeta _j|+ c' \omega (\cosh {{\,\mathrm{Re}\,}}\zeta _j)\big ). \end{aligned}$$

Conversely, let \(A \in \mathcal {Q}^\omega \) be \(\omega \)-local in \(\mathcal {O}_r\). Then there exists (uniquely) a family of functions \((F_k)\) which fulfill conditions (FD1)–(FD6) above such that (2.18) holds.

## 3 Locality of Operators and Quadratic Forms

In this paper, we investigate local (unbounded) *operators* in integrable models, going beyond the quadratic forms considered earlier [12, 19]. More specifically, we aim at closed operators affiliated with the local von Neumann algebras \(\mathcal {A}(\mathcal {O})\). This class, while still technically manageable, seems large enough to contain a variety of accessible examples, including smeared pointlike fields where they exist [21, 22]. The present section gives general criteria that allow us to investigate the problem, independent of the scattering function *S* and of specific examples of local observables. The criteria will later be applied to examples in the case \(S=-1\), in Sects. 4 and 5.

We first clarify in Sect. 3.1 how quadratic forms in \(\mathcal {Q}^\omega \) relate to closed (unbounded) operators, and establish sufficient criteria for convergence of the infinite series (2.13) in this context. Then, in Sect. 3.2, we show how the closed operators are related to *bounded* local operators, in the sense of affiliation with the local algebras. Lastly, in Sect. 3.3, we ask when a set of quadratic forms is large enough to describe *all* local observables of the quantum field theory, in the sense of the Reeh–Schlieder property and of generating the net of local von Neumann algebras.

Throughout the section, an analytic indicatrix \(\omega \) is kept fixed.

### 3.1 Closable Operators and Summability

We will be concerned with the extension of quadratic forms \(A\in \mathcal {Q}^\omega \) to closed operators. Since *A* is a priori only a quadratic form, we clarify in which case this extension, or closure, is to be understood.

### Definition 3.1

\(A \in \mathcal {Q}^\omega \) is called \(\omega \)-*closable* if there exists a closed operator \(A^-\), with \(\mathcal {H}^{\omega ,\mathrm {f}}\subset {{\,\mathrm{dom}\,}}A^- \cap {{\,\mathrm{dom}\,}}(A^{-})^*\) and for which \(\mathcal {H}^{\omega ,\mathrm {f}}\) is a core, such that \(A^-\) coincides with *A* as a quadratic form on \(\mathcal {H}^{\omega ,\mathrm {f}}\times \mathcal {H}^{\omega ,\mathrm {f}}\).

Correspondingly, the operator \(A^-\), which is uniquely determined, is called the \(\omega \)-*closure* of *A*. (It may depend on \(\omega \), but this will not matter for our purposes.) A simple criterion for \(\omega \)-closability is as follows.

### Lemma 3.2

\(A\in \mathcal {Q}^\omega \) is \(\omega \)-closable if, and only if, the expression \(\langle \psi , A \chi \rangle \) has a continuous linear extension to \(\chi \in \mathcal {H}\) for any fixed \(\psi \in \mathcal {H}^{\omega ,\mathrm {f}}\), and a continuous antilinear extension to \(\psi \in \mathcal {H}\) for any fixed \(\chi \in \mathcal {H}^{\omega ,\mathrm {f}}\).

### Proof

Let \(A \in \mathcal {Q}^\omega \). The two continuity conditions imply that *A* can be extended to a linear operator \(A_0:\mathcal {H}^{\omega ,\mathrm {f}}\rightarrow \mathcal {H}\) such that also \(\mathcal {H}^{\omega ,\mathrm {f}}\subset {{\,\mathrm{dom}\,}}A_0^*\). In particular, \(A_0\) and \(A_0^*\) are both densely defined, which implies that \(A^- := A_0^{**}\) is a closed extension of *A* with core \(\mathcal {H}^{\omega ,\mathrm {f}}\) [23, Thm. VIII.1]. Also, \((A^-)^*= A_0^{***}=A_0^*\), which is defined at least on \(\mathcal {H}^{\omega ,\mathrm {f}}\). Hence *A* is \(\omega \)-closable. The converse is evident. \(\square \)

In particular, this shows that the \(\omega \)-closable elements form a subspace of \(\mathcal {Q}^\omega \). While the criterion in Lemma 3.2 is easy to state, it is rather hard to apply in examples where the expansion coefficients \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\) are used to define *A*. We will therefore deduce a *sufficient* criterion for \(\omega \)-closability which is based directly on estimates for the \(\mathchoice{f_{m,n}^{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}{f_{m,n}{[A ]}}\). The idea is to establish absolute convergence of the series (2.13) in a certain sense. (In the sense of quadratic forms, the series is always well-defined as it is finite in matrix elements; for obtaining closed operators, however, convergence issues become relevant.)

### Proposition 3.3

*n*,

*A*is \(\omega \)-closable.

### Proof

*m*and

*n*exchanged, shows continuity in \(\chi \) at fixed \(\psi \). The result then follows from Lemma 3.2. \(\square \)

Under a stricter summability condition, we can deduce an additional property that will become relevant later, in Proposition 3.5(b).

### Proposition 3.4

*A*is \(\omega \)-closable; and for any \(g \in \mathcal {D}^\omega (\mathbb {R}^2)\), we have \(\exp (i \phi (g)^-) \mathcal {H}^{\omega ,\mathrm {f}}\subset {{\,\mathrm{dom}\,}}{A^-}\).

### Proof

*g*. For any \(\chi \in \mathcal {H}^{\omega ,\mathrm {f}}\), we therefore have with suitable \(\ell \),

Now set \(\hat{\chi }_k := P^{\mathrm{f}}_k \exp (i \phi (g)^-) \chi \in \mathcal {H}^{\omega ,\mathrm {f}}\). Since the r.h.s. of (3.9) is summable over *k*, both \(\hat{\chi }_k\) and \(A^- \hat{\chi }_k\) are convergent sequences in \(\mathcal {H}\). As \(A^-\) is closed, this implies that \(\lim _{k\rightarrow \infty } \hat{\chi }_k = \exp (i \phi (g)^-) \chi \) is contained in the domain of \(A^-\). \(\square \)

### 3.2 Locality

We now consider *local* observables of our model. In Sect. 2, we introduced two notions of locality: a net of von Neumann algebras \(\mathcal {A}(\mathcal {O})\), where locality can be expressed in terms of commutation relations in the usual sense, and the concept of \(\omega \)-locality for quadratic forms (Definition 2.1), which was based on relative locality to the wedge-local fields \(\phi (g)\), \(\phi '(g)\). A priori, \(\omega \)-locality is a much weaker notion, since it only involves commutators in the weak sense between a restricted set of observables. However, we show that for suitably regular quadratic forms (bounded or \(\omega \)-closable), \(\omega \)-local observables can be linked to the net of local algebras.

### Proposition 3.5

- (a)
Let

*A*be a bounded operator; then*A*is \(\omega \)-local in \(\mathcal {R}\) if and only if \(A \in \mathcal {A}(\mathcal {R})\). - (b)Let \(A\in \mathcal {Q}^\omega \) be \(\omega \)-closable. Suppose thatThen$$\begin{aligned} \forall g \in \mathcal {D}_\mathbb {R}^\omega (\mathbb {R}^2): \quad \exp (i \phi (g)^-) \mathcal {H}^{\omega ,\mathrm {f}}\subset {{\,\mathrm{dom}\,}}{A^-}. \end{aligned}$$(3.10)
*A*is \(\omega \)-local in \(\mathcal {R}\) if and only if \(A^-\) is affiliated with \(\mathcal {A}(\mathcal {R})\). - (c)
In the case \(S=-1\), statement (b) is true even without the condition (3.10).

### Proof

We will prove the statement only for \(\mathcal {R}=\mathcal {W}\) (the standard right wedge). For \(\mathcal {R}=\mathcal {W}_x\) or \(\mathcal {R}=\mathcal {W}_y'\), it can then be obtained by applying Poincaré transformations, and for \(\mathcal {R}=\mathcal {O}_{x,y}\) by considering intersections. Also, (a) is a special case of (b).

*A*be \(\omega \)-closable and \(\omega \)-local in \(\mathcal {W}\). Let \(g \in \mathcal {D}^\omega _\mathbb {R}(\mathcal {W}')\). For \(n \in \mathbb {N}_0\), we set

*A*by repeated application of Definition 2.1 that

*B*is bounded and \(\psi \) can be chosen from a dense set in \(\mathcal {H}\), we conclude that

*B*,

*B*is a finite product of operators \(\exp (i \phi (g)^-)\), a linear combination of those, or their strong limit (by a similar computation as in (3.15)). Thus, by the double commutant theorem, (3.16) holds for all \(B \in \{\exp (i \phi (g)^-) \,\big |\, g \in \mathcal {D}^\omega _\mathbb {R}(\mathcal {W}') \}''=\mathcal {A}(\mathcal {W})'\). But this means \(A^- \mathrel {\eta }\mathcal {A}(\mathcal {W})\), as claimed.

*A*implies

*t*. Computing their derivative at \(t=0\), we find

*g*by linearity, this means that

*A*is \(\omega \)-local in \(\mathcal {W}\). This completes the proof of (b).

For (c), note that in the case \(S=-1\), the operators \(\phi (g)^-\) are actually bounded, and generate the algebra \(\mathcal {A}(\mathcal {W})'\) [15]; we can restrict to \(g \in \mathcal {D}_\mathbb {R}^\omega (\mathcal {W}')\) here by density. It is clear that \(\phi (g) \mathcal {H}^{\omega ,\mathrm {f}}\subset \mathcal {H}^{\omega ,\mathrm {f}}\subset {{\,\mathrm{dom}\,}}{A^-}\), and using this instead of (3.10), a similar (in fact, simpler) computation as for (b) shows that \(A^- \mathrel {\eta }\mathcal {A}(\mathcal {W})\). \(\square \)

### 3.3 Cyclicity of the Vacuum, and Relation to the Local Algebras

We now ask for criteria which guarantee that a set of (local) quadratic forms is “maximally large”, in the sense of generating all vectors in the Hilbert space, or all local observables in a certain sense.

We first investigate the Reeh–Schlieder property, i.e., the question whether the vacuum is cyclic for given subspaces \(\mathcal {Q}_{\mathrm {d}} \subset \mathcal {Q}^\omega \) of quadratic forms. More specifically, we suppose that each \(A \in \mathcal {Q}_{\mathrm {d}}\) is \(\omega \)-closable, hence \(A^-\Omega \) is well-defined; we ask whether \(\{A^- \Omega : A \in \mathcal {Q}_{\mathrm {d}}\}\) is dense in \(\mathcal {H}\).

We show that for cyclicity, it is sufficient to check density of the states at finite particle number over compact sets in rapidity space only. To that end, for \(m \in \mathbb {N}_0\), we denote with \(P_{m}\) the projector onto \(\mathcal {H}_m\subset \mathcal {H}\) as before, and for \(M\subset \mathbb {N}_0\) we write \(P_{M} := \sum _{m\in M} P_{m}\). Further, let \(P_{m,\rho }\) be the subprojection of \(P_m\) onto functions supported in the ball of radius \(\rho >0\), and \(P_{M,\rho }\) accordingly.

### Lemma 3.6

- (i)
Each \(A \in \mathcal {Q}_{\mathrm {d}}\) is \(\omega \)-closable.

- (ii)
For each \(A \in \mathcal {Q}_{\mathrm {d}}\) there exists \(\epsilon >0\) such that \(A(x):=U(x) A U(x)^*\in \mathcal {Q}_{\mathrm {d}}\) whenever \(|x|<\epsilon \).

- (iii)For each
*finite*subset \(N \subset M\), and each \(\rho >0\), the inclusion$$\begin{aligned} \{ P_{N, \rho } A^- \Omega : A \in \mathcal {Q}_{\mathrm {d}}\} \subset P_{N, \rho } \mathcal {H}\qquad \text {is dense.} \end{aligned}$$(3.19)

### Remarks

Condition (i) can be replaced with the weaker requirement that each *A* extends to an operator with \(\Omega \) in its domain. In applications in Sects. 4 and 5, *M* will either be the set of even or of odd numbers, as we need to treat even and odd particle numbers separately.

### Proof

*e*be the unit vector in time direction, and consider for fixed \(A \in \mathcal {Q}_{\mathrm {d}}\) the function

*U*, it is the boundary value of a function analytic in the upper half-plane, which must therefore vanish identically. Computing its Fourier transform in the sense of distributions, we see that

*h*to equal 1 on \([-q,q]\) and 0 outside \([-2q,2q]\). Since \(E(\varvec{\theta }) \ge m\), the sum (3.21) is then finite (\(m \le 2q\)), and the integration can be restricted to the compact region \(E(\varvec{\theta }) \le 2q\). Due to (iii) with suitably chosen \(\rho \), we then conclude that \(\psi _m(\varvec{\theta })\) vanishes when \(m\in M\), \(m \le 2q\), for (almost every) \(\varvec{\theta }\) in the support of \(h(E( \, \cdot \, ))\)—that is, at least where \(E(\varvec{\theta }) \le q\). Now letting \(q \rightarrow \infty \), we see that \(\psi _m(\varvec{\theta })=0\) for all \(m\in M\) and almost all \(\varvec{\theta }\), i.e., \(P_M\psi = 0\). \(\square \)

### Theorem 3.7

- (i)
Each \(A \in \hat{\mathcal {Q}}\) is \(\omega \)-closable, and \(A^-\) is affiliated with \(\mathcal {A}(\hat{\mathcal {O}})\).

- (ii)
For each \(A \in \hat{\mathcal {Q}}\) there exists \(\epsilon >0\) such that \(U(x) A U(x)^*\in \hat{\mathcal {Q}}\) whenever \(|x|<\epsilon \).

- (iii)
For each finite set \(N \subset \mathbb {N}_0\), and each \(\rho >0\), the inclusion \(\{ P_{N, \rho } A^- \Omega : A \in \hat{\mathcal {Q}} \} \subset P_{N, \rho } \mathcal {H}\) is dense.

- (a)
*Reeh–Schlieder property:*\(\Omega \) is cyclic and separating for \(\mathcal {A}(\hat{\mathcal {O}})\) and for \(\mathcal {A}(\hat{\mathcal {O}})'\). - (b)
*Locally generated wedge algebras:*\(\mathcal {A}_{\mathrm{loc}}(\mathcal {W}_x) = \mathcal {A}(\mathcal {W}_x)\), \(\mathcal {A}_{\mathrm{loc}}(\mathcal {W}_y') = \mathcal {A}(\mathcal {W}_y')\) for all*x*,*y*. - (c)
*Haag duality:*\(\mathcal {A}(\mathcal {O})' = \mathcal {A}_{\mathrm{loc}}(\mathcal {O}')\) for all double cones \(\mathcal {O}\). - (d)
*Weak additivity:*If \(e\in \mathbb {R}^2\) is timelike or lightlike, then \(\bigvee _{t\in \mathbb {R}} \mathcal {A}(\hat{\mathcal {O}} + te) = \mathfrak {B}(\mathcal {H})\).

### Proof

*x*). It follows immediately that \(\Omega \) is separating. —For (b), consider the subspace \(\hat{\mathcal {H}} := \cup _{\mathcal {O}\subset \mathcal {W}} \mathcal {A}(\mathcal {O})\Omega \subset {\text {dom}} \Delta ^{1/2}\), where \(\Delta \) is the modular operator of the wedge algebra \(\mathcal {A}(\mathcal {W})\), and \(\mathcal {O}\) runs over all double cones. Since \(\hat{\mathcal {O}} + x \subset \mathcal {W}\) for suitable

*x*, we know from (a) that \(\hat{\mathcal {H}}\) is dense in \(\mathcal {H}\). Further, \(\hat{\mathcal {H}}\) is invariant under the modular group \(\Delta ^{it}\), as these coincide with the Lorentz boosts. Therefore \(\hat{\mathcal {H}}\) is a core for \(\Delta ^{1/2}\), cf. [25, Ch. II Prop. 1.7]. This, however, implies that \(\cup _{\mathcal {O}\subset \mathcal {W}} \mathcal {A}(\mathcal {O}) \subset \mathcal {A}(\mathcal {W})\) is strong-operator dense [26, Theorem 9.2.36], which proves the claim for the standard wedge \(\mathcal {W}\). For other wedges it follows by covariance.— For (c), let \(\mathcal {O}=\mathcal {O}_{x,y}\) and observe that

*U*satisfies the spectrum condition. Hence

*f*must be constant. Since

*U*(

*te*) weakly converges to the projector onto \(\Omega \) as \(t \rightarrow \infty \), we find \(\langle A\Omega , B \Omega \rangle = \langle A \Omega , \Omega \rangle \langle \Omega , B\Omega \rangle \). Then (a) implies \(B = \langle \Omega , B\Omega \rangle \varvec{1}\), showing the statement. \(\square \)

*nets*of algebras. Suppose that for

*every*double cone \(\mathcal {O}\) we are given a space \(\mathcal {Q}(\mathcal {O})\) of quadratic forms affiliated with \(\mathcal {A}(\mathcal {O})\), subject to certain consistency conditions (see below). We then define the algebras

### Theorem 3.8

- (iv)
For any two double cones \(\mathcal {O}_1 \subset \mathcal {O}_2\), it holds that \(\mathcal {Q}(\mathcal {O}_1)\subset \mathcal {Q}(\mathcal {O}_2)\).

- (v)
For any double cone \(\mathcal {O}\) and Poincaré transformation \((x,\Lambda )\), it holds that \(U(x,\Lambda ) \mathcal {Q}(\mathcal {O}) U(x,\Lambda )^*=\mathcal {Q}(\Lambda \mathcal {O}+x)\).

### Proof

*x*,

*y*. Hence we have

## 4 Examples of Local Operators: Even Case

We now illustrate the above methods for constructing local observables in examples; specifically, we will in a moment specialize to the massive Ising model, defined by the scattering function \(S=-1\).

*A*is also \(\omega \)-closable. Then \(A^-\) is affiliated with \(\mathcal {A}(\mathcal {O}_r)\) by Proposition 3.5. If we construct sufficiently large sets of such

*A*, fulfilling additional constraints such as isotony, covariance, and a density condition in compact regions of rapidity space, then the results in Sect. 3.3 imply the Reeh–Schlieder property for the local algebras, Haag duality, and that the \(\mathcal {A}(\mathcal {O})\) are generated by our quadratic forms via duality.

For all scattering functions *S* in our class, the overall theory is invariant under the \(\mathbb {Z}_2\)-symmetry that replaces the wedge-local field \(\phi \) with \(-\phi \). As a consequence, all local observables can be split into an even and an odd part, in which only the even- and odd-numbered \(F_j\) contribute, respectively. Hence it suffices to consider even and odd observables separately.

Specific to the Ising model is the fact that for *even* observables, the recursion relations (FD4) simplify considerably, since the factor on the right-hand side vanishes, and hence, the relation does not link \(F_k\) and \(F_{k+2}\). We will consider this simpler case in the present section, and the case of odd observables in Sect. 5.

*one*of the functions \(F_{2k}\) to be analytic and nonzero. This may seems an uninteresting special case at first glance; yet it comprises physically important observables, such as the averaged energy density \(T^{00}(g)\) (see, e.g., [14]) whose only nonvanishing coefficient function is

^{4}Other examples of this type haven been given by Buchholz and Summers [28] by considering even polynomials of the field \(\phi (f)\).

*k*variables (see Appendix A for notational conventions). We define a sequence of analytic functions

### Proposition 4.1

*r*and both

- (a)
\(\omega (p)= \beta \log (1+p)\) with sufficiently large \(\beta >0\) for given

*P*and*k*, and - (b)
\(\omega (p)=p^\alpha \) with any fixed \(\alpha \in (0,1)\), independent of

*P*and*k*.

### Proof

We drop the superscript [2*k*, *P*, *g*]. Since *g* has compact support, \(\tilde{g}\) and hence \(F_{2k}\) are entire analytic (FD1). Also, (FD2) means antisymmetry in our case, which is fulfilled since \(M^{\mathrm{even}}_{2k}\) is antisymmetric by construction. Further, one finds that \(M^{\mathrm{even}}_{2k}(\zeta _1,\dotsc ,\zeta _{n-1},\zeta _n+2\pi i) = -M^{\mathrm{even}}_{2k}(\varvec{\zeta }) = M^{\mathrm{even}}_{2k}(\zeta _n,\zeta _1,\dotsc ,\zeta _{n-1})\), and the other factors are \(2\pi i\)-periodic in each variable, yielding (FD3). As already noted, (FD4) is fulfilled since the right-hand side vanishes, and since all factors in \(F_{2k}\) are entire analytic.

*p*. We first note that with suitable constants \(c_1,c_2,c_3>0\),

*P*and

*g*.

*g*is of Schwartz class, we can find \(c_4>0\) such that

*g*we obtain by standard methods that for any \(\varvec{\zeta }\in \mathbb {C}^{n}\),

Having verified (FD1)–(FD6), we can now apply our results to show that we obtain closable local operators.

### Proposition 4.2

Let \(F_{j}^{[2k,P,g]}\) be defined as in (4.3), with \(k \in \mathbb {N}_0\), \(P\in \Lambda ^\pm _{2k}\), and \(g \in \mathcal {D}(\mathcal {O})\) for some double cone \(\mathcal {O}\); and let \(A^{[2k,P,g]}\) be the associated quadratic form. Then, \(A^{[2k,P,g]}\) is \(\omega \)-local in \(\mathcal {O}\) with \(\omega (p) = \beta \log (1+p)\) where \(\beta >0\) is sufficiently large for *P* and *k*, and with \(\omega (p) = p^\alpha \) for any \(\alpha \in (0,1)\). Further, \(A^{[2k,P,g]}\) is \(\omega \)-closable, and its closure is affiliated with \(\mathcal {A}(\mathcal {O})\).

### Proof

By Poincaré covariance, we can assume without loss of generality that \(\mathcal {O}=\mathcal {O}_r\). (Note that translations act only by shifting the argument of *g*, whereas boosts also scale the arguments of the polynomial *P* by a constant factor; cf. [19, Sec. 3.3].)

Now the property of \(\omega \)-locality is a consequence of (FD1)–(FD6) by Theorem 2.2. Closability follows from Proposition 3.4, where the sum is actually finite; and Proposition 3.5 proves affiliation. \(\square \)

*all*(even) local quantities in the sense of the Reeh–Schlieder property. To that end, let us define for any double cone \(\mathcal {O}\),

### Proposition 4.3

For any double cone \(\mathcal {O}\), the inclusion \(\mathcal {Q}^{\mathrm{even}}(\mathcal {O})\Omega \subset P^{\mathrm{even}}\mathcal {H}\) is dense.

### Proof

*k*. Therefore, it only remains to check the hypotheses (i)–(iii) of Lemma 3.6 for the case \(\mathcal {Q}_{\mathrm {d}} = \mathcal {Q}^{\mathrm{even}}(\mathcal {O})\) and \(P_M = P_{2k}\). Here closability (i) follows from Proposition 4.2. Further, since \({{\,\mathrm{supp}\,}}g\) is compact in the open set \(\mathcal {O}\), slight translations of

*g*are contained in \(\mathcal {D}(\mathcal {O})\) as well, showing (ii). For (iii), we need to verify for any large ball \(B\subset \mathbb {R}^{2k}\) that there is no antisymmetric square-integrable function \(\psi \ne 0\) of 2

*k*variables such that

We postpone duality results to Sect. 5.3.

## 5 Examples of Local Operators: Odd Case

We now consider observables in the Ising model where the “odd” coefficients \(F_{2k+1}\) are nonzero. Due to the recursion relations (FD4), which are nontrivial in this case, we are forced to choose an infinite sequence of nonvanishing \(F_{2k+1}\), linked to each other by their residues.

Observables of this type have been considered in [3, 29, 30], among others; they include the so-called order parameter, or basic field, of the Ising model. Our particular focus is on closability of these quadratic forms, or put differently, on the summability of the expansion series (4.1).

*P*is (essentially) a Laurent polynomial in any number of variables such that \(P(y,-y,\varvec{x}) = P(\varvec{x})\); we formalize the class \(\Lambda _{\mathrm{I}}^\pm \) of these polynomials in Appendix A, but let us note here that typical examples are the odd power sums, \(\pi _{2s+1}(\varvec{x})=\sum _j x_j^{2s+1}\). The meromorphic function

As in Sect. 4, we want to verify that these functions indeed define local observables, and sufficiently many. We first check the more elementary properties (FD1)–(FD4) and (FD6) in Sect. 5.1. Then we turn to (FD5) and summability in Sect. 5.2, which involves delicate operator norm estimates of singular integral operators. Finally we derive the Reeh–Schlieder property and duality results in Sect. 5.3.

### 5.1 Elementary Properties

We briefly state the results for (FD1)–(FD4) and (FD6), which can be deduced from the properties of *P* and \(M^{\mathrm{odd}}_{2k+1}\) as explained in Appendices A and B, respectively.

### Proposition 5.1

Let \(P\in \Lambda _{\mathrm{I}}^{\pm }\) and \(g \in \mathcal {D}(\mathbb {R}^2)\). The functions \(F_j^{[1,P,g]}\) enjoy properties (FD1)–(FD4).

### Proof

### Proposition 5.2

Let \(P\in \Lambda _{\mathrm{I}}^\pm \) and \(g \in \mathcal {D}(\mathcal {O}_r)\) with some \(r>0\). The functions \(F_j^{[1,P,g]}\) enjoy property (FD6) with respect to this *r*.

### Proof

*g*enter; the Laurent polynomial

*P*by Proposition A.5 in Appendix A (with \(J=\emptyset \)); and the function \(M^{\mathrm{odd}}_{2k+1}(\varvec{\zeta })\) by Proposition B.2(d) in Appendix B. Combining these, we arrive at

*k*). Choosing \(c_3>0\) such that \(p \le c_3\exp \omega (p) = c_3 \exp p^\alpha \) for all \(p>0\), we then have

### 5.2 Operator Domain and Summability

The remaining part for establishing \(F_{2k+1}^{[1,P,g]}\) as the coefficients of a local operator is as follows. Setting \(f_{mn}(\varvec{\theta },\varvec{\eta }) := F_{m+n}^{[1,P,g]}(\varvec{\theta }+ i\varvec{0},\varvec{\eta }+i\varvec{\pi }-i\varvec{0})\), we need to find bounds for the norm \(|| f_{mn} ||_{m \times n}^\omega \). This will, first of all, establish (FD5). However, we also need these estimates in order to show the summability of the series (4.1) when applied to a certain class of vectors, in order to extend *A* to a closed operator.

The individual terms of the series are singular integral operators due to the poles of the \(F_{m+n}\) along the integration contour, and we have to find operator norm estimates for these. We start with a lemma to that end. In it, for a set of integers \(J = \{j_1,\dotsc ,j_\ell \}\), we denote mixed partial derivatives of a function *h* as \(\partial _J h (\varvec{\theta }) = \partial /\partial \theta _{j_1} \cdots \partial /\partial \theta _{j_\ell } h(\varvec{\theta })\); and where the function has additional arguments denoted \(\varvec{\eta }\), the derivatives will not act on these.

### Lemma 5.3

*L*but not on

*m*,

*n*, \(\ell \), or

*h*.

### Proof

- (a)It suffices to prove the statement for \(m=n=\ell \). Namely, once known for that case with some \(c_L\), we can write for \(\psi \in \mathcal {D}(\mathbb {R}^m)\), \(\varphi \in \mathcal {D}(\mathbb {R}^n)\),We now apply the known statement to the inner integral and the Cauchy–Schwarz inequality to the outer integral, which yields the desired result as long as we choose \(c_L \ge \sqrt{\pi }\).$$\begin{aligned}&\Big |\int \mathrm{d}\varvec{\theta }\, \mathrm{d}\varvec{\eta }\overline{\psi ( \varvec{\theta })} K(\varvec{\theta },\varvec{\eta }) \varphi ( \varvec{\eta }) \Big |\le \int \prod _{i=\ell +1}^m \frac{\mathrm{d}\theta _i}{(1+\theta _i^2)^{1/2}} \prod _{j=\ell +1}^n \frac{d\eta _j}{(1+\eta _j^2)^{1/2}} \nonumber \\&\quad \times \prod _{i=\ell +1}^m (1+\theta _i^2)^{1/2} \prod _{j=\ell +1}^n (1+\eta _j^2)^{1/2}\nonumber \\&\quad \times \Big |\int \overline{\psi (\varvec{\theta })} \varphi (\varvec{\eta }) h(\varvec{\theta },\varvec{\eta }) \left( \prod _{j=1}^\ell L(\theta _j - \eta _j \pm i0) \mathrm{d}\theta _j \mathrm{d}\eta _j \right) \Big |. \end{aligned}$$(5.9)
- (b)If the statement holds for some
*L*, and*M*is a bounded continuous function analytic near 0, then it holds for \(L+M\) in place of*L*as well. To see this, writeTo each summand, we can now apply the statement for$$\begin{aligned} K(\varvec{\theta },\varvec{\eta })&:= h(\varvec{\theta },\varvec{\eta }) \prod _{j=1}^k (L+M)(\theta _j - \eta _j \pm i0)\nonumber \\&= \sum _{J \subset \{1,\dotsc ,\ell \}} h(\varvec{\theta },\varvec{\eta }) \prod _{j\in J} M(\theta _j - \eta _j) \prod _{j\in J^c} L(\theta _j - \eta _j \pm i0) . \end{aligned}$$(5.10)*L*with \(\ell =|J^c|\), which yields the result for \(L+M\) with \(c_{L+M} := \sqrt{2} c_L \sqrt{||M ||_{\infty }+1}\). - (c)
It suffices to consider \(L(\zeta )=\zeta ^{-1}\). For other cases, set \(a:={{\,\mathrm{res}\,}}_{\zeta =0}L\) and note that \(M(\zeta ):= L(\zeta )-a/\zeta \) is analytic near 0, so that (b) can be applied.

- (d)Now let \(\ell =m=n\) and \(L(\zeta )=\zeta ^{-1}\). We denote finite difference quotients of
*h*for \(\ell =1\) as$$\begin{aligned} \delta _{\xi } h (\eta ) := \frac{h(\eta +\xi ,\eta ) - h(\eta , \eta )}{\xi }, \end{aligned}$$(5.11)

*j*th component of the arguments like in (5.11). As a special case, \(\delta _{\emptyset ,\varvec{\xi }} h (\varvec{\eta }) := h(\varvec{\eta }, \varvec{\eta })\). With this notation, one has

We are interested, in particular, in the following kernels which appear as building blocks of the \(F_{2k+1}\).

### Lemma 5.4

### Proof

With the help of this result, and knowledge of the singularity structure of the functions \(M^{\mathrm{odd}}_{2k+1}\) as developed in Appendix B, we can now estimate the \(|| \, \cdot \, ||_{m \times n}^\omega \)-norms of the expansion coefficients \(f_{mn}\) of our proposed local operators.

### Proposition 5.5

### Proof

*n*(see Lemma B.3), then yields

*c*is a constant depending on \(\epsilon ,\alpha ,g,n\) but independent of

*m*. Exchanging

*m*with

*n*, and \(\varvec{\theta }\) with \(\varvec{\eta }\), one obtains a similar result for \(||\exp (-E(\varvec{\theta })^\alpha )f_{mn}(\varvec{\theta },\varvec{\eta }) ||_{m \times n}\), and likewise for \(f_{nm}\), which yields the result at \(\varvec{\zeta }=(\varvec{\theta }+i \varvec{0},\varvec{\eta }+i\varvec{\pi }-i\varvec{0})\) after a redefinition of constants. The computation at \(\varvec{\zeta }=(\varvec{\theta }-i\varvec{\pi }+i \varvec{0},\varvec{\eta }-i\varvec{0})\) is analogous, as \(M^{\mathrm{odd}}_{m+n}\) depends only on the differences of its variables. \(\square \)

With Proposition 5.5, we have shown that the \(F^{[1,P,g ]}\) fulfill all conditions (FD). Therefore they yield \(\omega \)-local quadratic forms \(A^{[1,P,g ]}\) via the series (4.1). But our estimates suffice even for affiliation with the local algebras.

### Theorem 5.6

Let \(\omega (p)=p^\alpha \) with some \(\alpha \in (0,1)\); let \(P \in \Lambda _{\mathrm{I}}^\pm \), and \(g \in \mathcal {D}_\alpha (\mathcal {O})\) with some double cone \(\mathcal {O}\); and let \(F_j^{[1,P,g ]}\) be defined as in (5.1). The associated quadratic form \(A^{[1,P,g ]}\in \mathcal {Q}^\omega \) is \(\omega \)-closable, and its closure is affiliated with \(\mathcal {A}(\mathcal {O})\).

### Proof

*n*,

*m*behaves like

### 5.3 Reeh–Schlieder Property

### Proposition 5.7

For any fixed \(\mathcal {O}\), the inclusion \(\mathcal {Q}^{\mathrm{odd}}(\mathcal {O})\Omega \subset P^{\mathrm{odd}}\mathcal {H}\) is dense.

### Proof

*g*); we want to show that the \(\psi _{2k+1}\) all vanish. By Proposition A.4, we know that

Now we set \(\mathcal {Q}(\mathcal {O}) := \mathcal {Q}^{\mathrm{even}}(\mathcal {O})+\mathcal {Q}^{\mathrm{odd}}(\mathcal {O})\); these \(\mathcal {Q}(\mathcal {O})\) are isotonous and covariant, they fulfill conditions (i) and (ii) of Theorem 3.7 as before, and combining Propositions 4.3 and 5.7, we know that \(\mathcal {Q}(\mathcal {O})\Omega \subset \mathcal {H}\) is dense for every double cone \(\mathcal {O}\). Let us consider the local net \(\mathcal {A}_\mathcal {Q}\) generated by the spectral data of the operators in \(\mathcal {Q}(\mathcal {O})\), see (3.25). We can now apply Theorem 3.8 and conclude:

### Corollary 5.8

For every double cone \(\mathcal {O}\), the vector \(\Omega \) is cyclic and separating for \(\mathcal {A}_\mathcal {Q}(\mathcal {O})\), and we have \(\mathcal {A}_\mathcal {Q}(\mathcal {O}')' = \mathcal {A}(\mathcal {O})\).

Moreover, via Theorem 3.7, we obtain the Reeh–Schlieder property and Haag duality for the local net \(\mathcal {A}\) in the massive Ising model; this provides an independent new proof for earlier known results [10, 15].

## 6 Discussion of Results

In this paper we have explicitly constructed a set of local observables in the massive Ising model, as an example for an integrable quantum field theory. To that end, we defined sequences of meromorphic functions \(F_k\) which are, essentially, solutions of the well-known form factor equations (more precisely, conditions (FD1)–(FD6) in Theorem 2.2). Via the series (4.1), these \(F_k\) define local operators, for which the main technical point is to control convergence of the series in a suitable sense. Proposition 3.3 gives a sufficient criterion in this respect, which we can indeed verify in relevant examples (Sect. 5.2). In fact, we have found sufficiently many examples to generate *all* local observables in a well-defined sense (Corollary 5.8).

This indicates that our approach can overcome the difficulties inherent in the convergence of *n*-point functions in the form factor program, and give mathematical meaning to local fields in a more general sense, i.e., as closed operators affiliated with local von Neumann algebras.

Let us comment on some individual aspects of our results.

### 6.1 Operator Content of the Ising Model

In the Ising model, we have shown that the sets of fields \(\mathcal {Q}(\mathcal {O})\) that we constructed, separated into even and odd parts, have the Reeh–Schlieder property, and that they generate the local algebras \(\mathcal {A}(\mathcal {O})\) by duality (see Sect. 5.3, in particular Corollary 5.8). In this sense, we can claim that we have constructed the full operator content of the Ising model. In particular, this provides an alternative proof that the \(\mathcal {A}(\mathcal {O})\) are nontrivial for any open \(\mathcal {O}\), which was already shown in [15].

Specific elements of our class of observables include the order parameter \(A^{[1,1,g ]}\) [3] and the energy density \(A^{[2,P,g ]}\) with \(P(x_1,x_2)= -\frac{i}{8} \mu ^2 (x_1 x_2 + x_1^{-1} x_2^{-1} + 2)\), which plays an important role, e.g., in the study of quantum energy inequalities in integrable models [14, 32].

All operators that we have constructed are, in principle, pointlike fields smeared with test functions *g* in space and time; their Fourier transform \(\tilde{g}\) appears in the rapidity space expansion coefficients \(F_k\). We will elaborate more on their functional analytic aspects in Sect. 6.2. Let us remark here that it would be sufficient to use averaging only in time; our results would be the same, but Poincaré covariance of the local observables would be less manifest.

The Laurent polynomial *P* in the coefficients \(F_k\) serves to enumerate the field content. For the Reeh–Schlieder property, usual polynomials \(P\in \Lambda _{\mathrm{I}}\) in the odd case and \(P\in \Lambda _{2k}\) in the even case would suffice, and indeed a subalgebra of \(\Lambda _{\mathrm{I}}\) would already have the relevant density property (cf. the proof of Proposition A.4). However, the generalization to Laurent polynomials is important for applications: It allows us to include also derivatives of our fields, which act on the coefficients by multiplication with \(p^j(\varvec{\zeta })\), and related quantities such as the averaged energy density.

It is interesting to note (cf. the end of Sec. 2 in [30]) that we obtain, among others, local observables *A* that do not couple the vacuum with states of low particle number; that is, for some \(n \in \mathbb {N}\), one has \(A\Omega \perp \mathcal {H}_m\) for all \(m < n\), but \(A\Omega \not \perp \mathcal {H}_{n}\). In that respect, these *A* are analogous to *n*th Wick powers of a free field. Indeed, if *n* is even, then every \(A^{[n,P,g ]}\) has this property, and for *n* odd, one can construct such operators \(A^{[1,P,g ]}\) by including a factor of \(J_{n}\) in the polynomial *P*, as discussed in Appendix A (see Lemma A.3).

### 6.2 Pointlike Fields in Integrable Models

As mentioned, the observables we constructed in the Ising model have the structure of local averages of pointlike quantum fields. Formally replacing the averaging function *g* with a delta function, and hence its Fourier transform with a constant, reproduces the well-known expressions from the form factor program. This ansatz can likely be carried over to other integrable models (see Sect. 6.3). In this respect, the structure of our local fields is in line with expectations. However, our mathematical interpretation of these fields is very different from the usual approach: We construct them as (unbounded) operators, but we do not show, or require, that they exist as operator-valued distributions on a common invariant domain, neither in the axiomatic setting by Wightman [5] nor—more aligned with our choice of test functions—in its generalization by Jaffe [17].

In particular, the closed extensions of our averaged fields \(A\in \mathcal {Q}(\mathcal {O})\) have a common dense core \(\mathcal {H}^{\omega ,\mathrm {f}}\ni \Omega \), which is however not invariant under their action. Consequently, we do not make any statement about products of the field operators or about their *n*-point functions, beyond the 2-point function which exists since \(\Omega \in {{\,\mathrm{dom}\,}}A^{-*}\). Instead, we can show—at least in the Ising model—that the closures of the field operators are affiliated with the (abstractly defined) local von Neumann algebras \(\mathcal {A}(\mathcal {O})\), and indeed that they generate the algebras \(\mathcal {A}(\mathcal {O})\) by duality.

Note that, particularly for the Ising model, our claim is *not* that *n*-point functions of local fields do not exist. In fact, there are alternative constructions of (likely) the same model in a Euclidean setting, where the Osterwalder-Schrader axioms can be verified [16]. Therefore one would expect that the expressions from the form factor program actually do yield Wightman fields in the usual sense, fulfilling polynomial *H*-bounds, and hence field products should exist, even when using Schwartz-class test functions. But in a more general setting, the Wightman axioms might be too strict; and with our methods, we can interpret the fields meaningfully as local objects without the need of controlling the singular nature of operator products. In this sense, our results demonstrate that the *n*-point functions are *not conceptually necessary*.

An interesting question arises for the products of operators localized at spacelike distances. Namely, let \(\mathcal {O}_1\) and \(\mathcal {O}_2\) be two spacelike separated regions, and \(A_1 \in \mathcal {Q}(\mathcal {O}_1)\), \(A_2 \in \mathcal {Q}(\mathcal {O}_2)\). Even if \(A_1^-\) and \(A_2^-\) do not *a priori* have a common invariant domain, they are affiliated with the commuting von Neumann algebras \(\mathcal {A}(\mathcal {O}_1)\), \(\mathcal {A}(\mathcal {O}_2)\), which means that \(|A_1^-|\) and \(|A_2^-|\) spectrally commute. Therefore, the product \(A_1^-A_2^-=A_2^-A_1^-\) can be defined on a suitably chosen domain. Thus there is hope to establish an operator product expansion with methods as in [33], though the technical situation described there is somewhat different.

### 6.3 Other Integrable Models

While we have carried out our full construction only in the massive Ising model, there is reason to believe that similar methods can be applied in other models as well. As far as a single species of massive scalar particles is concerned, the expansion (2.13) and the characterization of locality in Theorem 2.2 apply independent of the scattering function *S*, and so do the criteria developed in Sect. 3. Candidates for local observables (i.e., form factors) are known in some of these models, most notably for the sinh-Gordon model [4]. Hence our methods should be applicable to the sinh-Gordon case in principle. Care is needed, however, since the form factors \(F_k\) there have a more intricate structure, complicating the estimates at large *k*. Also, the extra condition (3.10) in Proposition 3.5 will need to be established outside the case \(S=-1\).

The situation is similar in models with a richer particle spectrum, such as the *O*(*N*) nonlinear sigma models. Here form factors have been computed [34], and progress has been made towards the construction of the local algebras via wedge-local fields [11, 35]. The expansion (2.13), Theorem 2.2, and the criteria in Sect. 3 have not yet been established for this case, but would be expected to generalize quite directly, using matrix-valued coefficient functions \(F_k\). A challenge, of course, are the ever more complicated estimates on higher-order integral kernels \(F_k\).

A quite different problem arises in models with bound states, i.e., where the scattering function *S* has poles in the physical strip \(0< {{\,\mathrm{Im}\,}}\zeta < \pi \), such as the Bullough–Dodd, *Z*(*N*)-Ising, and sine-Gordon models. Here the form factor equations need to be modified, but solutions to them are known (see [36, 37, 38], among others). However, on the side of the operator algebraic approach, the wedge-local fields can no longer have the simple form (2.14). Work towards a construction of wedge-local fields and of local algebras \(\mathcal {A}(\mathcal {O})\) in this case has recently been carried out by one of the authors together with Tanimoto [39, 40, 41]. This gives hope that our present methods, with a suitably modified version of Theorem 2.2, can be applied to models with bound states as well.

In particular, a generalization of our results might imply nontriviality of the local algebras \(\mathcal {A}(\mathcal {O})\) in cases where other methods have so far been unable to resolve this question: Our construction does not rely on the modular nuclearity condition or the split property for wedge algebras, rather it directly shows the existence of closable local operators and hence of their polar data.

## Footnotes

- 1.
Note that our analysis in the following will not rely on the modular nuclearity condition.

- 2.
The “commutator” \([A,\phi (f)]\) is actually well-defined in matrix elements for quadratic forms \(A \in \mathcal {Q}^\omega \), since \(\phi (f)\) and \(\phi (f)^*\) map \(\mathcal {H}^{\omega ,\mathrm {f}}\) into \(\mathcal {H}^{\omega ,\mathrm {f}}\).

- 3.
The conditions (FD1)–(FD4) coincide with the properties of form factors, e.g., in [2, 20] by setting, in the notation of [2], \(F^{\mathcal {O}}(\zeta _1, \ldots , \zeta _k) = (2\sqrt{\pi })^k F_k(\zeta _k, \ldots , \zeta _1)\) and suppressing the indices and matrices related to particle species, which are absent in our context.

- 4.
We use the Fourier transform with the convention \(\tilde{g}(p) := \frac{1}{2\pi }\int \mathrm{d}^2 x\; e^{i p \cdot x}g(x)\).

- 5.

## Notes

### Acknowledgements

We are grateful to C.J. Fewster for helpful comments. H.B. would like to thank the University of Göttingen and the TU München for hospitality. This work was supported by the Deutsche Forschungsgemeinschaft (DFG) within the Emmy Noether Grants DY107/2-1 and CA1850/1-1.

## References

- 1.Smirnov, F.A.: Form Factors in Completely Integrable Models of Quantum Field Theory. World Scientific, Singapore (1992)zbMATHGoogle Scholar
- 2.Babujian, H.M., Foerster, A., Karowski, M.: The form factor program: a review and new results—the nested SU(N) off-shell Bethe ansatz. SIGMA
**2**, 082 (2006)MathSciNetzbMATHGoogle Scholar - 3.Schroer, B., Truong, T.T.: The order/disorder quantum field operators associated with the two-dimensional Ising model in the continuum limit. Nucl. Phys. B
**144**, 80–122 (1978)ADSMathSciNetGoogle Scholar - 4.Fring, A., Mussardo, G., Simonetti, P.: Form-factors for integrable Lagrangian field theories, the sinh-Gordon model. Nucl. Phys. B
**393**, 413–441 (1993)ADSMathSciNetzbMATHGoogle Scholar - 5.Streater, R.F., Wightman, A.S.: PCT, Spin and Statistics, and All That. Benjamin, New York (1964)zbMATHGoogle Scholar
- 6.Babujian, H.M., Karowski, M.: Towards the construction of Wightman functions of integrable quantum field theories. Int. J. Mod. Phys. A
**19S2**, 34–49 (2004)MathSciNetzbMATHGoogle Scholar - 7.Schroer, B., Wiesbrock, H.W.: Modular constructions of quantum field theories with interactions. Rev. Math. Phys.
**12**, 301–326 (2000)MathSciNetzbMATHGoogle Scholar - 8.Lechner, G.: Algebraic constructive quantum field theory: integrable models and deformation techniques. In: Brunetti, R., Dappiaggi, C., Fredenhagen, K., Yngvason, J. (eds.) Advances in Algebraic Quantum Field Theory, pp. 397–448. Springer, Cham (2015)zbMATHGoogle Scholar
- 9.Haag, R.: Local Quantum Physics, 2nd edn. Springer, Berlin (1996)zbMATHGoogle Scholar
- 10.Lechner, G.: Construction of quantum field theories with factorizing S-matrices. Commun. Math. Phys.
**277**, 821–860 (2008)ADSMathSciNetzbMATHGoogle Scholar - 11.Alazzawi, S., Lechner, G.: Inverse scattering and local observable algebras in integrable quantum field theories. Commun. Math. Phys.
**354**, 913–956 (2017)ADSMathSciNetzbMATHGoogle Scholar - 12.Bostelmann, H., Cadamuro, D.: Characterization of local observables in integrable quantum field theories. Commun. Math. Phys.
**337**, 1199–1240 (2015)ADSMathSciNetzbMATHGoogle Scholar - 13.Lashkevich, M.Y.: Sectors of mutually local fields in integrable models of quantum field theory (1994). arXiv:hep-th/9406118
- 14.Bostelmann, H., Cadamuro, D., Fewster, C.J.: Quantum energy inequality for the massive Ising model. Phys. Rev. D
**88**, 025019 (2013)ADSGoogle Scholar - 15.Lechner, G.: On the existence of local observables in theories with a factorizing S-matrix. J. Phys. A Math. Gen.
**38**, 3045 (2005)ADSMathSciNetzbMATHGoogle Scholar - 16.Palmer, J., Tracy, C.: Two-dimensional Ising correlations: the SMJ analysis. Adv. Appl. Math.
**4**, 46–102 (1983)MathSciNetzbMATHGoogle Scholar - 17.Jaffe, A.M.: High-energy behavior in quantum field theory. I. Strictly localizable fields. Phys. Rev.
**158**, 1454–1461 (1967)ADSGoogle Scholar - 18.Cadamuro, D.: A characterization theorem for local operators in factorizing scattering models. Ph.D. thesis, Universität Göttingen (2012). arXiv:1211.3583
- 19.Bostelmann, H., Cadamuro, D.: An operator expansion for integrable quantum field theories. J. Phys. A
**46**, 095401 (2013)ADSMathSciNetzbMATHGoogle Scholar - 20.Babujian, H., Karowski, M.: Exact form factors in integrable quantum field theories: the sine-Gordon model (II). Nucl. Phys. B
**620**, 407–455 (2002)ADSMathSciNetzbMATHGoogle Scholar - 21.Fredenhagen, K., Hertel, J.: Local algebras of observables and pointlike localized fields. Commun. Math. Phys.
**80**, 555–561 (1981)ADSMathSciNetzbMATHGoogle Scholar - 22.Wollenberg, M.: On the relations between quantum fields and local algebras of observables. Rep. Math. Phys.
**22**, 409–417 (1985)ADSMathSciNetzbMATHGoogle Scholar - 23.Reed, M., Simon, B.: Methods of Modern Mathematical Physics. Functional Analysis, vol. I. Academic Press, New York (1972)zbMATHGoogle Scholar
- 24.Reeh, H., Schlieder, S.: Bemerkungen zur Unitäräquivalenz von lorentzinvarianten Feldern. Il Nuovo Cimento
**22**, 1051–1068 (1961)ADSzbMATHGoogle Scholar - 25.Engel, K.-J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Graduate Texts in Mathematics, vol. 194. Springer, New York (2000)zbMATHGoogle Scholar
- 26.Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras. Advanced Theory, vol. II. Academic Press, Orlando (1997)Google Scholar
- 27.Kuckert, B.: Localization regions of local observables. Commun. Math. Phys.
**215**, 197–216 (2000)ADSMathSciNetzbMATHGoogle Scholar - 28.Buchholz, D., Summers, S.J.: String- and brane-localized causal fields in a strongly nonlocal model. J. Phys. A Math. Gen.
**40**, 2147 (2007)ADSMathSciNetzbMATHGoogle Scholar - 29.Berg, B., Karowski, M., Weisz, P.: Construction of Green’s functions from an exact \(S\) matrix. Phys. Rev. D
**19**, 2477–2479 (1979)ADSGoogle Scholar - 30.Cardy, J.L., Mussardo, G.: Form factors of descendent operators in perturbed conformal field theories. Nucl. Phys. B
**340**, 387–402 (1990)ADSMathSciNetGoogle Scholar - 31.Björck, G.: Linear partial differential operators and generalized distributions. Ark. Mat.
**6**, 351–407 (1965)MathSciNetzbMATHGoogle Scholar - 32.Bostelmann, H., Cadamuro, D.: Negative energy densities in integrable quantum field theories at one-particle level. Phys. Rev. D
**93**, 065001 (2016)ADSMathSciNetGoogle Scholar - 33.Bostelmann, H.: Operator product expansions as a consequence of phase space properties. J. Math. Phys.
**46**, 082304 (2005)ADSMathSciNetzbMATHGoogle Scholar - 34.Babujian, H.M., Foerster, A., Karowski, M.: Exact form factors of the \(O(N)\) \(\sigma \)-model. J. High Energy Phys.
**2013**, 1–53 (2013)MathSciNetzbMATHGoogle Scholar - 35.Alazzawi, S.: Deformations of quantum field theories and the construction of interacting models. Ph.D. thesis, Universität Wien (2015). arXiv:1503.00897
- 36.Fring, A., Mussardo, G., Simonetti, P.: Form factors of the elementary field in the Bullough–Dodd model. Phys. Lett. B
**307**, 83–90 (1993)ADSMathSciNetGoogle Scholar - 37.Babujian, H.M., Karowski, M.: Exact form factors for the scaling \(Z_N\)-Ising and the affine \(A_{N-1}\)-Toda quantum field theories. Phys. Lett. B
**575**, 144–150 (2003)ADSMathSciNetzbMATHGoogle Scholar - 38.Babujian, H.M., Fring, A., Karowski, M., Zapletal, A.: Exact form factors in integrable quantum field theories: the sine-Gordon model. Nucl. Phys. B
**538**, 535–586 (1999)ADSMathSciNetzbMATHGoogle Scholar - 39.Cadamuro, D., Tanimoto, Y.: Wedge-local fields in integrable models with bound states. Commun. Math. Phys.
**340**, 661–697 (2015)ADSMathSciNetzbMATHGoogle Scholar - 40.Cadamuro, D., Tanimoto, Y.: Wedge-local fields in integrable models with bound states II: diagonal S-matrix. Ann. Henri Poincaré
**18**, 233–279 (2017)ADSMathSciNetzbMATHGoogle Scholar - 41.Cadamuro, D., Tanimoto, Y.: Wedge-local observables for factorizing S-matrix with gap in the coupling constant. Rev. Math. Phys.
**30**, 1850010 (2018)MathSciNetzbMATHGoogle Scholar - 42.Christe, P.: Factorized characters and form factors of descendant operators in perturbed conformal systems. Int. J. Mod. Phys. A
**06**, 5271–5286 (1991)ADSMathSciNetGoogle Scholar - 43.Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Classic Texts in the Physical Sciences. Clarendon Press, Oxford (1998)Google Scholar
- 44.Sergeev, A.N., Veselov, A.P.: Jack–Laurent symmetric functions. Proc. Lond. Math. Soc.
**111**, 63–92 (2015)MathSciNetzbMATHGoogle Scholar - 45.Kuipers, L., Meulenbeld, B.: Symmetric polynomials with non-negative coefficients. Proc. Am. Math. Soc.
**6**, 88–93 (1955)MathSciNetzbMATHGoogle Scholar - 46.Conway, J.B.: A Course in Functional Analysis. Graduate Texts in Mathematics, vol. 96. Springer, New York (1994)Google Scholar
- 47.Prasolov, V.V.: Polynomials. Algorithms and Computation in Mathematics, vol. 11. Springer, Berlin (2004)Google Scholar

## Copyright information

**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.