Abstract
We investigate lower bounds to the time-smeared energy density, so-called quantum energy inequalities (QEI), in the class of integrable models of quantum field theory. Our main results are a state-independent QEI for models with constant scattering function and a QEI at one-particle level for generic models. In the latter case, we classify the possible form of the stress-energy tensor from first principles and establish a link between the existence of QEIs and the large-rapidity asymptotics of the two-particle form factor of the energy density. Concrete examples include the Bullough–Dodd, the Federbush, and the O(n)-nonlinear sigma models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well known that the energy operator in quantum field theory (QFT) is positive, while the energy density \(T^{00}\) may be locally negative. However, for physically reasonable theories, bounds on this negativity are expected when local averages are taken: quantum energy inequalities (QEIs). They may, for example, take the form
where the constant \(c_g\) does not depend on \(\varphi \), and the inequality holds for a suitably large set of vectors \(\varphi \). In Minkowski space, the bound is also uniform in x.
Without these bounds, accumulation of negative energy might lead to violations of the second law of thermodynamics [29]. They also have significant importance in semiclassical gravity, where the expectation value of \(T^{\mu \nu }\) appears on the right-hand side of the Einstein equations. In this context, QEIs can yield constraints on exotic spacetime geometries and lead to generalized singularity theorems extended from classical results in general relativity; see [34, Sec. 5] for a review.
QEIs have been established quite generically in linear QFTs, including QFTs on curved spacetimes; see [26] for a review. They are also known in 1+1-dimensional conformal QFTs [27]. However, their status is less clear in self-interacting models, i.e., models with a non-trivial scattering matrix between particles. Some generic results, weaker than (1.1), can be obtained from operator product expansions [11]. Concrete results in models with self-interaction are rare, though.
The situation is somewhat better in 1+1-dimensional integrable models. In these models, the scattering matrix is constrained to be factorizing but nonetheless allows for a large class of interactions; see, e.g., [1, 35, 53]. A QEI in this context was first established in the Ising model [10]. Also, a QEI at one-particle level (i.e., where (1.1) holds for one-particle states \(\varphi \)) has been obtained more generally for models with one scalar particle type and no bound states [8].
The class of integrable models is much richer, though—they can also describe several particle species with a more complicated scattering matrix between them or particles with inner degrees of freedom; further, these particles may form bound states.Footnote 1 This article aims to generalize the results of [8, 10] to these cases.
As an a priori problem, one may ask what form the energy density operator \(T^{00}\) takes in these models, even at one-particle level. The classical Lagrangian is often used as heuristic guidance; however, if one takes an inverse scattering approach to integrable models, starting by prescribing the two-particle scattering function, then a classical Lagrangian may not even be available in all cases. Instead, we will restrict the possible form of the energy density starting from generic physical assumptions (such as the continuity equation, but initially disregarding QEIs); see Theorem 3.2.
We then ask whether QEIs can hold for these energy densities. There are two main results: First, we confine ourselves to a class of models with rapidity-independent scattering function, i.e., where the scattering matrix is independent of the particle momenta. In this setup, for a canonical choice of energy density, we establish a QEI in states of arbitrary particle number (Theorem 4.3). Second, for generic scattering functions, we give necessary and sufficient criteria for QEIs to hold at one-particle level (Theorem 5.1). Here it turns out that the existence of QEIs critically depends on the large-rapidity behaviour of the two-particle form factor \(F_2\) of the energy density.
We apply our results to several concrete examples, namely, to the Bullough–Dodd model (Sec. 7.1) which has bound states, to the Federbush model (Sec. 7.2) as an interacting model with rapidity-independent scattering function and to the O(n) nonlinear sigma model (Sec. 7.3) which features several particle species. In particular, we investigate how QEIs further restrict the choice of the stress-energy tensor in these models, sometimes fixing it uniquely.
In short, the remainder of this article is organized as follows. We recall some background on integrable QFTs in Sect. 2 and discuss the possible form of the energy density in Sect. 3. Section 4 establishes a QEI in models with constant scattering function, and Sect. 5 for more generic scattering functions but only at one-particle level. For controlling the large-rapidity asymptotics of \(F_2\), critically important to our results in Sect. 5, we first explain the relation between the scattering function and the so-called minimal solution in Sect. 6, with technical details given in appendix (which contains known facts as well as original results). This is then applied to examples in Sect. 7. Conclusion and outlook follow in Sect. 8.
This article is based on the PhD thesis of one of the authors [40].
2 Preliminaries
2.1 General Notation
We will work on 1+1-dimensional Minkowski space \({\mathbb {M}}\). The Minkowski metric g is conventionally chosen to be \({\text {diag}} (+1,-1)\) and the Minkowski inner product will be denoted by \(p.x = g_{\mu \nu } p^\mu x^\nu \). A single parameter, called rapidity, conveniently parametrizes the mass shell on \({\mathbb {M}}\). In this parameterization, the momentum at rapidity \(\theta \) is given by \(p^0(\theta ;m):= m {{\,\textrm{ch}\,}}\theta \) and \(p^1(\theta ;m):= m {{\,\textrm{sh}\,}}\theta \), where \(m>0\) denotes the mass. We will use \(\theta ,\eta ,\lambda \) to denote real and \(\zeta \) to denote complex rapidities. Introducing the open and closed strips, \({\mathbb {S}}(a,b):= {\mathbb {R}}+i(a,b)\) and \({\mathbb {S}}[a,b]:={\mathbb {R}}+i[a,b]\), respectively, the region \({\mathbb {S}}[0,\pi ]\) will be of particular significance and is referred to as the physical strip.
In the following, let \({\mathcal {K}}\) be a finite-dimensional complex Hilbert space with inner product \((\cdot , \cdot )\), linear in the second position. We denote its extension to \({\mathcal {K}}^{\otimes 2}\) as \((\cdot ,\cdot )_{{\mathcal {K}}^{\otimes 2}}\) and the induced norm as \(\Vert \cdot \Vert _{{\mathcal {K}}^{\otimes 2}}\); i.e., for \(v_i,w_i\in {\mathcal {K}}\), \(i=1,2\) we have \((v_1\otimes v_2, w_1 \otimes w_2)_{{\mathcal {K}}^{\otimes 2}} = (v_1,w_1)(v_2,w_2)\). For computations, it will be convenient to choose an orthonormal basis \(\{ e_{\alpha } \}, \alpha \in \{1, \ldots ,\dim {\mathcal {K}}\}\). In this basis, we denote \(v\in {\mathcal {K}}^{\otimes m}\) and \(w\in {\mathcal {B}}({\mathcal {K}}^{\otimes m},{\mathcal {K}}^{\otimes n})\) in vector and tensor notation by
Operators on \({\mathcal {K}}\) or \({\mathcal {K}}^{\otimes 2}\) will be denoted by uppercase Latin letters. This also applies to vectors in \({\mathcal {K}}^{\otimes 2}\), which are identified with operators on \({\mathcal {K}}\) as follows: For an antilinear involution \(J \in {\mathcal {B}}({\mathcal {K}})\) (to be fixed later), the map \(A \mapsto {\hat{A}}\) defined by
yields a vector space isomorphism between \({\mathcal {K}}^{\otimes 2}\) and \({\mathcal {B}}({\mathcal {K}})\). In particular, we consider the special element \(I_{\otimes 2} \in {\mathcal {K}}^{\otimes 2}\) defined by \(\widehat{I_{\otimes 2}} = \mathbb {1}_{\mathcal {K}}\). For an arbitrary orthonormal basis \(\{ e_\alpha \}_\alpha \) of \({\mathcal {K}}\), it is explicitly given by
Remark 2.1
\(I_{\otimes 2}\) is invariant under the action of \(U^{\otimes 2}\) for any \(U \in {\mathcal {B}}({\mathcal {K}})\) with U unitary or antiunitary and \([U,J]=0\).
2.2 One-Particle Space and Scattering Function
Definition 2.2
A one-particle little space (with a global symmetry) \(({\mathcal {K}},V,J,M)\) is given by a finite-dimensional Hilbert space \({\mathcal {K}}\), a unitary representation V of a compact Lie group \({\mathcal {G}}\) on \({\mathcal {K}}\), an antiunitary involution J on \({\mathcal {K}}\), and a linear operator M on \({\mathcal {K}}\) with strictly positive spectrum. We further assume that M, V(g) and J commute with each other.
Given such a little space \(({\mathcal {K}},V,J,M)\), we define the one-particle space \({\mathcal {H}}_1:= L^2({\mathbb {R}},{\mathcal {K}}) \cong L^2({\mathbb {R}}) \otimes {\mathcal {K}}\), on which we consider the (anti)unitary operators, \(\varphi \in {\mathcal {H}}_1\),
This defines a unitary strongly continuous representation of the proper Poincare group \({\mathcal {P}}_+\) and of \({\mathcal {G}}\), where the antiunitary \(U_1(j)\) is the PCT operator, representing spacetime reflection.
We will denote the spectrum of the mass operator M as \({\mathfrak {M}} \subset (0,\infty )\) and its spectral projections as \(E_m, m\in {\mathfrak {M}}\). Moreover, introduce the total energy–momentum operator \(P^\mu \) on \({\mathcal {H}}_1^{\otimes 2}\) by
as well as the flip operator \({\mathbb {F}} \in {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) given by \({\mathbb {F}}(u_1\otimes u_2) = u_2 \otimes u_1\) (\(u_{1,2} \in {\mathcal {K}}\)).
Definition 2.3
Let \(({\mathcal {K}},V,J,M)\) be a one-particle little space. A meromorphic function \(S:{\mathbb {C}} \rightarrow {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) with no poles on the real line is called S-function iff for all \(\zeta ,\zeta '\in {\mathbb {C}}\) the following holds:
-
(S1)
Unitarity: \(S({\bar{\zeta }})^\dagger = S(\zeta )^{-1}.\)
-
(S2)
Hermitian analyticity: \(S(\zeta )^{-1} = S(-\zeta ).\)
-
(S3)
CPT invariance: \(J^{\otimes 2} {\mathbb {F}} S(\zeta ) {\mathbb {F}} J^{\otimes 2} = S(\zeta )^\dagger .\)
-
(S4)
Yang–Baxter equation: \((S(\zeta ) \otimes \mathbb {1}_{{\mathcal {K}}}) (\mathbb {1}_{{\mathcal {K}}} \otimes S(\zeta +\zeta ')) (S(\zeta ') \otimes \mathbb {1}_{{\mathcal {K}}}) = (\mathbb {1}_{{\mathcal {K}}} \otimes S(\zeta ')) (S(\zeta +\zeta ') \otimes \mathbb {1}_{{\mathcal {K}}})(\mathbb {1}_{{\mathcal {K}}} \otimes S(\zeta )).\)
-
(S5)
Crossing symmetry: \(\forall \, u_i,v_i \in {\mathcal {K}}, i=1,2:\) \((u_1 \otimes u_2, S(i\pi -\zeta ) \, v_1 \otimes v_2)_{{\mathcal {K}}^{\otimes 2}} = (J v_1 \otimes u_1, S(\zeta ) \, v_2 \otimes J u_2)_{{\mathcal {K}}^{\otimes 2}}. \)
-
(S6)
Translational invariance: \((E_m\otimes E_{m'})S(\zeta ) = S(\zeta ) (E_{m'}\otimes E_m), \quad m,m'\in {\mathfrak {M}}.\)
-
(S7)
\({\mathcal {G}}\) invariance: \(\forall \, g \in {\mathcal {G}}: \quad [S(\zeta ),V(g)^{\otimes 2}] = 0.\)
An S-function is called regular iff
-
(S8)
Regularity: \(\exists \kappa > 0: \quad S\restriction _{{\mathbb {S}}(-\kappa ,\kappa )} \text { is analytic and bounded.}\) In this case, \(\kappa (S)\) denotes the supremum of such \(\kappa \)’s.
Remark 2.4
The S-function is the central object to define the interaction of the model. It is also referred to as auxiliary scattering function [5, Eq. (2.7)] and closely related to the two-by-two-particle scattering matrix of the model, differing from it only by a “statistics factor,” namely \(-1\) on a product state of two fermions and \(+1\) on fermion–boson- or boson–boson vectors. The full scattering matrix is given as a product of two-by-two-particle scattering matrices of all participating combinations of one-particle states; see, e.g., [5, Sec. 2] and [9, Secs. 5–6].
Remark 2.5
In examples below, we will choose a basis of \({\mathcal {K}}\) such that J is given by \((J v)^\alpha = \overline{v^{{\bar{\alpha }}}}\) for \(v\in {\mathcal {K}}\); here \(\alpha \mapsto {\bar{\alpha }}\) is an involutive permutation on \(\{1, \ldots ,\dim {\mathcal {K}}\}\), i.e., \(\overline{\overline{\alpha }} = \alpha \). Then the relations (S1), (S2), (S5), and (S3) amount to unitarity plus the following conditions:
2.3 Integrable Models, Form Factors, and the Stress-Energy Tensor
From the preceding data—one-particle little space \(({\mathcal {K}},V,J,M)\) and S-function S—it is well known how to construct an integrable model of quantum field theory (inverse scattering approach). This can be done at the level of n-point functions of local fields [13, 48] or more rigorously in an operator algebraic setting, at least provided that S is regular, analytic in the physical strip, and satisfies an intertwining property [4]. We give a brief overview of the construction here, focussing only on aspects that will be relevant in the following. A detailed account can be found in [40].
The interacting state space \({\mathcal {H}}\), on which our local operators will act, is an S-symmetrized Fock space generated by S-twisted creators \(z^\dagger \) and annihilators z known as ZF operators [38, 39]. They are defined as operator-valued distributions \(h \mapsto z^\sharp (h)\), \(h\in {\mathcal {H}}_1=L^2({\mathbb {R}},{\mathcal {K}})\) with \(z(h):= (z^\dagger (h))^\dagger \) and
Here \(\Psi _n\) is the n-particle component of \(\Psi \), and \({\text {Symm}}_S\) denotes S-symmetrization: For \(n=2\) (other cases will not be needed here) and a \({\mathcal {K}}^{\otimes 2}\)-valued function f in two arguments, it can be defined as
Products of \(z^\dagger \) and z can be linearly extended to arguments in tensor powers of \({\mathcal {H}}_1\); for instance with \(h_1,h_2 \in {\mathcal {H}}_1\) and \(z_1,z_2 \in \{z,z^\dagger \}\), we have \(z_1z_2 (h_1\otimes h_2):= z_1(h_1) z_2(h_2)\). Defining also \(S^{i\pi }(\zeta ):= S(i\pi +\zeta )\) and given arbitrary \(h_1,h_2 \in {\mathcal {H}}_1\) the ZF algebra relations amount to
To define locality in our setup, it is helpful to introduce two auxillary fields,
for arbitrary \(f \in {\mathcal {S}}({\mathbb {M}},{\mathcal {K}})\) and where \(f^\pm (\theta ):= {\tilde{f}}(\pm p(\theta ;M))\) and U(j) implements the CPT transformation on all of \({\mathcal {H}}\). \(\Phi (f)\) and \(\Phi ^\prime (f)\) may be understood as being localized in a left, resp., right wedge containing the support of f. An operator A is then referred to as localized in some bounded spacetime region \(O \subset {\mathbb {M}}\), given as the intersection of a left and a right wedge, if it is relatively local to \(\Phi \) and \(\Phi ^\prime \); for more details on this, we refer to [7, Sec. 2.4], [37] and references therein.
Now, any such local operator A can be expanded into a series of the form
(see [7] for the case \({\text {dim}}{\mathcal {K}}=1\)). Here the \(F_n^{[A]}\) are meromorphic functions of n variables depending linearly on A which are known as the form factors of A; they satisfy a number of well-known properties, the form factor equations [13]. In line with the literature, we will call \(F_n\) the n-particle form factor, though note that expectation values in n-particle states generically have contributions from all zero- to 2n-particle form factors. The symbols \({\mathcal {O}}_n\) are given by
and analogously for higher n, but only \(n \le 2\) will be needed in the following. Conversely, given \(F_n\) that fulfil the form factor equations and suitable regularity conditions, (2.15) defines a local operator A. The series (2.15) is to be read in the sense of quadratic forms on \({\mathcal {D}} \times {\mathcal {D}}\) with a dense domain \({\mathcal {D}}\subset {\mathcal {H}}\), which we can take to consist of elements \(\Psi =(\Psi _n) \in {\mathcal {H}}\), where each \(\Psi _n\) is smooth and compactly supported and \(\Psi _n = 0\) for large enough n. With suitably chosen \(F_n\), we can also regard each \({\mathcal {O}}_n[F_n]\) as an operator on \({\mathcal {D}}\), for example for \(n=1\) if \(F_1\) and \(F_1(\cdot + i\pi )\) are square-integrable.
In the following, we are interested in a specific local operator, the stress-energy tensor, i.e., we study
averaged in time with a nonnegative test function \(g^2\), \(g\in {\mathcal {S}}_{\mathbb {R}}({\mathbb {R}})\), and at \(x^1=0\) without loss of generality; the integral is to be read weakly on \({\mathcal {D}}\times {\mathcal {D}}\). Also, we will focus on its two-particle coefficient \(F_2^{[A]}\); this is because:
-
(a)
In some models, the energy density has only these coefficients, i.e., \(F_n^{[A]}=0\) for \(n \ne 2\) (see Sec. 4).
-
(b)
One-particle expectation values, which will partly be our focus, are determined solely by the coefficients \(F_n^{[A]}\) for \(n \le 2\).
-
(c)
The coefficients with \(n < 2\) are not important for QEI results since the zero-point energy is expected to vanish (\(F_{0}^{[A]} = 0\)) and the coefficient \(F_{1}^{[A]}\) yields only bounded contributions to the expectation values of A (see Remark 5.3).
Under suitable regularity conditions, one has from (2.19),
Assuming \(F_0^{[A]} = 0\), only the \(F_2^{[A]}\)-term in (2.18) contributes to the one-particle expectation value of A. Using the definition of the ZF operators, (2.15), and (2.20), the expectation value of the (time-smeared) stress-energy tensor in one-particle states \(\varphi \in {\mathcal {H}}_1\cap {\mathcal {D}}\) evaluates to
with \(\widehat{F_2}\) as in Eq. (2.2) for each \(\theta \), \(\eta \).
The above analysis applies to \(T^{\mu \nu }\) under quite generic assumptions on the high-energy behaviour; for a detailed derivation we refer to [40, Sec. 5.2]. For our present purposes, details of the technical setup are not needed; in fact, we will proceed in the opposite way: We will select a suitable form factor \(F_2^{\mu \nu }(\varvec{\zeta };x)\) for the stress-energy tensor, then use Eq. (2.21) to define \(T^{\mu \nu }(g^2)\) as a quadratic form at one-particle level, i.e., on \({\mathcal {H}}_1\cap {\mathcal {D}}\), or more generally, the expansion (2.15) to define it for arbitrary particle numbers, as a quadratic form on \({\mathcal {D}}\).
3 The Stress-Energy Tensor at One-Particle Level
This section analyses what form the stress-energy tensor \(T^{\mu \nu }\) and, in particular, the energy density \(T^{00}\) can take in our setup. Since our models do not necessarily arise from a classical Lagrangian, we study the stress-energy tensor using a “bootstrap” approach: We require a list of physically motivated properties for \(T^{\mu \nu }\) and study which freedom of choice remains.
Here we restrict our attention to the one-particle level, where the stress-energy tensor is determined by its form factor \(F_2^{\mu \nu }\), as explained in Sect. 2.3. We will impose physically motivated axioms directly for the function \(F_2^{\mu \nu }\); see properties (T1)–(T12) in Definition 3.1. Without making claims on the existence of a full stress-energy tensor \(T^{\mu \nu }\), we motivate these axioms by the expected features of \(T^{\mu \nu }\) as follows:
First, \(T^{\mu \nu }(x)\) should be a local field, i.e., commute with itself at spacelike separation. This property is well studied in the form factor programme to integrable systems and is expected to be equivalent to the form factor equations [48, Sec. 2]. The same relations can be justified rigorously in an operator algebraic approach, at least for a single scalar field (\({\text {dim}} {\mathcal {K}}=1\)) without bound states [7], with techniques that should apply as well for more general \({\mathcal {K}}\) [40] and in the presence of bound states.Footnote 2 At one-particle level, where the form factor equations simplify, this yields properties (T1)–(T4), with hermiticity of \(T^{\mu \nu }(x)\) implying (T5); confer also [40, Thm. 3.2.1, Prop. 5.2.2]. The pole set \({\mathfrak {P}}\) appearing below is directly connected to the bound state poles of the S-function[5, 17, 35] and will be specified in the examples (Sec. 7).
Further, \(T^{\mu \nu }\) should behave covariantly under proper Poincaré transformations as a CPT-invariant symmetric 2-tensor (T6), (T7), (T8). It should be conserved, i.e., fulfil the continuity equation, \(\partial _\mu T^{\mu \nu } = 0\) (T9), and integrate to the total energy–momentum operator, \(P^\mu = \int T^{0\mu }(x^0, x^1)\textrm{d}x^1\) (T10). Lastly, we demand that \(T^{\mu \nu }\) is invariant under the action of \({\mathcal {G}}\) (T11) and, optionally, covariant under parity inversion (T12).
For the following definition (and later on) we use the notation \(\varvec{\zeta }= (\zeta _1,\zeta _2)\), \(\overset{\leftarrow }{\varvec{\zeta }}\ = (\zeta _2,\zeta _1)\), \(\varvec{\pi }= (\pi ,\pi )\).
Definition 3.1
Given a little space \(({\mathcal {K}},V,J,M)\), an S-function S, and a subset \({\mathfrak {P}} \subset {\mathbb {S}}(0,\pi )\), a stress-energy tensor at one-particle level (with poles \({\mathfrak {P}}\)) is formed by functions \(F_2^{\mu \nu }: {\mathbb {C}}^2\times {\mathbb {M}} \rightarrow {\mathcal {K}}^{\otimes 2},\) \(\mu ,\nu =0,1\), which for arbitrary \(\varvec{\zeta }\in {\mathbb {C}}^2\), \(x\in {\mathbb {M}}\) satisfy
-
(T1)
Analyticity: \(F_2^{\mu \nu }(\zeta _1,\zeta _2;x)\) is meromorphic in \(\zeta _2-\zeta _1\), where the poles within \({\mathbb {S}}(0,\pi )\) are all first order and \({\mathfrak {P}}\) denotes the set of poles in that region.
-
(T2)
Regularity: There exist constants \(a,b,r \ge 0\) such that for all \(|\Re (\zeta _2-\zeta _1)| \ge r\) and \(\Im (\zeta _2-\zeta _1) \in [0,\pi ]\) it holds that \(\max _{\mu ,\nu } ||F_2^{\mu \nu }(\zeta _1,\zeta _2;x)||_{{\mathcal {K}}^{\otimes 2}} \le a \exp b \left( |\Re \zeta _1|+|\Re \zeta _2|\right) .\)
-
(T3)
S-symmetry: \(F_2^{\mu \nu }(\varvec{\zeta };x) = S(\zeta _2-\zeta _1) F_2^{\mu \nu }(\overset{\leftarrow }{\varvec{\zeta }};x).\)
-
(T4)
S-periodicity: \(F_2^{\mu \nu }(\varvec{\zeta };x) = {\mathbb {F}} F_2^{\mu \nu }(\zeta _2,\zeta _1+i2\pi ;x).\)
-
(T5)
Hermiticity: \(F_2^{\mu \nu }(\varvec{\zeta };x) = {\mathbb {F}} J^{\otimes 2} F_2^{\mu \nu }(\overset{\leftarrow }{{\bar{\varvec{\zeta }}}}+i\varvec{\pi };x).\)
-
(T6)
Lorentz symmetry: \(F_2^{\mu \nu } = F_2^{\nu \mu }.\)
-
(T7)
Poincaré covariance: For all \(\lambda \in {\mathbb {R}}\) and \(a \in {\mathbb {M}}\) it holds that
$$\begin{aligned} \Lambda (\lambda )^{\otimes 2}F_2(\varvec{\zeta };\Lambda (\lambda )x+a) = e^{iP(\varvec{\zeta }).a} F_2(\varvec{\zeta }-(\lambda ,\lambda );x), \quad \Lambda (\lambda ):= \left( \begin{matrix} {{\,\textrm{ch}\,}}(\lambda ) &{} {{\,\textrm{sh}\,}}(\lambda ) \\ {{\,\textrm{sh}\,}}(\lambda ) &{} {{\,\textrm{ch}\,}}(\lambda ) \end{matrix} \right) . \end{aligned}$$ -
(T8)
CPT invariance: \(F_2^{\mu \nu }(\varvec{\zeta };x) = {\mathbb {F}} J^{\otimes 2} F_2^{\mu \nu }(\overset{\leftarrow }{{\bar{\varvec{\zeta }}}};-x).\)
-
(T9)
Continuity equation: \(P_\mu (\varvec{\zeta }) F_2^{\mu \nu }(\varvec{\zeta };x)=0.\)
-
(T10)
Normalization: \(F_2^{0\mu }(\zeta ,\zeta +i\pi ;x) = \frac{M^{\otimes 2}}{2\pi } {\mathcal {L}}^{0\mu }(P(\zeta ,\zeta +i\pi )) I_{\otimes 2}\) with
$$\begin{aligned} {\mathcal {L}}^{\mu \nu }(p):= \frac{-p^\mu p^\nu + g^{\mu \nu }p^2}{p^2}. \end{aligned}$$(3.1) -
(T11)
\({\mathcal {G}}\) invariance: \(F_2^{\mu \nu }(\varvec{\zeta };x) = V(g)^{\otimes 2} F_2^{\mu \nu }(\varvec{\zeta };x),\quad g \in {\mathcal {G}}.\)
It is called parity-covariant if, in addition,
-
(T12)
Parity covariance
$$\begin{aligned} F_2^{\mu \nu }(\varvec{\zeta };x^0,x^1) = {\mathcal {P}}^{\mu }_{\mu '} {\mathcal {P}}^{\nu }_{\nu '} F_2^{\mu '\nu '}(-\varvec{\zeta };x^0,-x^1), \quad {\mathcal {P}}^{\mu }_{\nu }= \left( \begin{matrix} 1 &{} 0 \\ 0 &{} -1\end{matrix} \right) ^{\mu }_\nu . \end{aligned}$$
Property (T7) implies that for any \(g \in {\mathcal {S}}({\mathbb {R}})\),
Such \(F_2^{\mu \nu }\) then defines the stress-energy tensor, \(T^{\mu \nu }\), as a quadratic form between one-particle vectors by Eq. (2.21). We are now in a position to characterize these one-particle stress-energy tensors.
Theorem 3.2
Given a little space \(({\mathcal {K}}, V, J, M)\), an S-function S, and a subset \({\mathfrak {P}} \subset {\mathbb {S}}(0,\pi )\), then \(F_2\) is a stress-energy tensor at one-particle level (with poles \({\mathfrak {P}}\)) iff it is of the form
where \(F:{\mathbb {C}}\rightarrow {\mathcal {K}}^{\otimes 2}\) is a meromorphic function which satisfies for all \(\zeta \in {\mathbb {C}}\) that
-
(a)
\(F \restriction {\mathbb {S}}[0,\pi ]\) has exactly the poles \({\mathfrak {P}}\);
-
(b)
\(\exists a,b,r >0\, \forall |\Re \zeta |\ge r: \quad \Vert F(\zeta ) \Vert _{{\mathcal {K}}^{\otimes 2}} \le a \exp ( b |\Re \zeta |)\);
-
(c)
\(F(\zeta ) = S(\zeta ) F(-\zeta )\);
-
(d)
\(F(\zeta + i\pi ) = {\mathbb {F}}F(-\zeta + i\pi ) \);
-
(e)
\(F(\zeta +i\pi ) = J^{\otimes 2} F({\bar{\zeta }}+i\pi )\);
-
(f)
\(F = V(g)^{\otimes 2}F\) for all \(g \in {\mathcal {G}}\);
-
(g)
\(F(i\pi ) =I_{\otimes 2}\).
It is parity-covariant iff, in addition,
-
(h)
\(F(\zeta +i\pi ) = F(-\zeta +i\pi )\quad \) or, equivalently, \(\quad F = {\mathbb {F}} F.\)
Remark 3.3
As can be seen from the proof, it is sufficient to require (T10) for \(\mu =0\); the case \(\mu =1\) is automatic.
Proof of Theorem 3.2
Assume \(F_2\) to satisfy (T1)–(T12). By Poincare covariance (T7), it is given by
Define \(G^{\mu \nu }(\zeta ):= F_2^{\mu \nu }(-\tfrac{\zeta }{2},\tfrac{\zeta }{2};0)\) and observe that the conditions (T1) to (T3), (T8), and (T11) imply that G is meromorphic with pole set \({\mathfrak {P}}\) when restricted to \({\mathbb {S}}[0,\pi ]\) and that for all \(\mu ,\nu =0,1\),
Omit the Minkowski indices for the moment. Then combining (T5) and (T8), we obtain \(F_2(\varvec{\zeta };x) = F_2(\varvec{\zeta }+i\varvec{\pi };-x)\), and thus, \(G(\zeta ) = G^\pi (\zeta )\), where \(G^\pi (\zeta ):= F_2(-\tfrac{\zeta }{2}+i\pi ,\tfrac{\zeta }{2}+i\pi ;0)\). Combining (T4) with the preceding equality, we obtain \(G(\zeta +i\pi ) = {\mathbb {F}}G^\pi (-\zeta +i\pi )={\mathbb {F}}G(-\zeta +i\pi )\). Moreover, by (T5), we have \(G(\zeta +i\pi ) = {\mathbb {F}}J^{\otimes 2} G(-{\bar{\zeta }}+i\pi ) = J^{\otimes 2}G({\bar{\zeta }}+i\pi )\). If we demand (T12), this implies \(G(\zeta +i\pi ) = G(-\zeta +i\pi )\) and with the preceding properties also \(G(\zeta ) = {\mathbb {F}}G(\zeta )\). In summary, each \(G^{\mu \nu }(\zeta ), \, \mu ,\nu =0,1\) satisfies properties (a)–(f), and possibly (h), analogously.
Due to the continuity equation (T9), we have
where \(M_1:= M \otimes \mathbb {1}_{\mathcal {K}}\) and \(M_2:= \mathbb {1}_{\mathcal {K}} \otimes M\). Multiplying by the inverses of \(M_1+M_2\) and \({{\,\textrm{ch}\,}}\zeta \) (both are invertible), we find
Defining \({\text {tr}} G:= g_{\mu \nu } G^{\mu \nu } = G^{00}-G^{11}\), we obtain
with \(s(\zeta ):= \tfrac{-M_1+M_2}{M_1+M_2} {{\,\textrm{th}\,}}\tfrac{\zeta }{2}=\tfrac{P^1(-\zeta /2,\zeta /2)}{P^0(-\zeta /2,\zeta /2)}\). This yields
On the other hand, from (T10) we infer \(G^{00}(i\pi ) = \frac{1}{2\pi } M^{\otimes 2}I_{\otimes 2} \); since \({\mathcal {L}}^{0 0}(P(-\tfrac{\zeta }{2},\tfrac{\zeta }{2})) \rightarrow \delta (M_1-M_2)\) as \(\zeta \rightarrow i\pi \), this yields
Define now
Since \(M^{\otimes 2}\) commutes with all \(S(\zeta )\), \({\mathbb {F}}\), J and V(g), we find that F satisfies properties (a)–(g), plus (h) in the parity-covariant case. We have thus shown (3.3) for arguments of the form \((-\zeta /2,\zeta /2;x)\). That (3.3) holds everywhere now follows from (T7) together with the identity
which can be derived from the relation \(p(\theta +\lambda ;m) = \Lambda (\lambda ) p(\theta ;m)\).—The converse direction, to show that (3.3) satisfies (T1) to (T11) (and (T12) provided that (h)) is straightforward. \(\square \)
Let us call \(X \in {\mathcal {K}}^{\otimes 2}\) diagonal in mass if
Equivalently, \({{\hat{X}}}\) commutes with M. On such X, all of \(M_1\), \(M_2\) and \((M\otimes M)^{1/2}\) act the same and in a slight abuse of notation we will use \(M\) to denote any of these. If F has this property, i.e., \(F(\zeta )\) has it for all \(\zeta \in {\mathbb {C}}\), then the above result simplifies:
Corollary 3.4
Assume that F is diagonal in mass, or equivalently, that \({{\,\textrm{tr}\,}} F_2({\cdot };x)\) is diagonal in mass for some x. Then \(F_2^{\mu \nu }(\zeta _1,\zeta _2+i\pi ;0) = G^{\mu \nu }_\textrm{free}( \tfrac{\zeta _1+\zeta _2}{2}) F(\zeta _2-\zeta _1+i\pi )\) with
The energy density, in particular, becomes
Proof
On \(X \in {\mathcal {K}}^{\otimes 2}\) which is diagonal in mass we can simplify
A straightforward computation shows that \({\mathcal {L}}^{\mu \nu }(P(\zeta _1,\zeta _2+i\pi ))X\) depends only on \(\frac{\zeta _1+\zeta _2}{2}\) and yields the proposed form of \(F_2\). \(\square \)
Remark 3.5
In some models, the one-particle form factor of the stress-energy tensor, \(F_1\), is nonzero; in particular in models with bound states, where \(F_1\) is linked to the residues of \(F_2\) [13, Sec. 3, Item d]. The general form of \(F_1^{\mu \nu }(\zeta ;x):= F_1^{[T^{\mu \nu }(x)]}(\zeta )\) can be determined analogous to Theorem 3.2. In this case the continuity equation, \(P_\mu (\zeta ) F_1^{\mu \nu }(\zeta ;x)\), implies that \(F_1^{0\nu }(0;x) = 0\). Poincaré covariance yields that \(F_1(\zeta ;x) = e^{ip(\zeta ;M).x} \Lambda (-\zeta )^{\otimes 2} F_1(0;0)\). As a result,
where \(F_1(0)\in {\mathcal {K}}\) is constant. Hermiticity and \({\mathcal {G}}\) invariance imply \(F_1(0) = JF_1(0) = V(g)F_1(0)\) for all \(g\in {\mathcal {G}}\). The analogues of the other conditions in Theorem 3.2 are automatically satisfied.
It is instructive to specialize the above discussion to free models: For a single free particle species of mass m, either a spinless boson (\(S= 1\)) or a Majorana fermion (\(S=-1\)), we have \({\mathcal {K}}={\mathbb {C}}\), \(Jz = {\bar{z}}\), \(M = m 1_{\mathbb {C}}\), \({\mathcal {G}}={\mathbb {Z}}_2\), and \(V(\pm 1) = \pm 1_{\mathbb {C}}\). The canonical expressions for the stress-energy tensor at one-particle level are
for the bosonic and the fermionic case, respectively; these conform to Definition 3.1, including parity covariance. Theorem 3.2 applies with \(F_+(\zeta ) = 1\) and \(F_-(\zeta +i\pi ) = {{\,\textrm{ch}\,}}\tfrac{\zeta }{2}\). Moreover, note that \(F_n^{[T^{\mu \nu }(x)]} = 0\) for \(n \ne 2\) for these examples.
4 A State-Independent QEI for Constant Scattering Functions
In this section, we treat scattering functions S which are constant, i.e., independent of rapidity. In this case, (S1) and (S2) imply that \(S \in {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) is unitary and self-adjoint, hence has the form \(S=P_+-P_-\) in terms of its eigenprojectors \(P_\pm \) for eigenvalues \(\pm 1\). Further, we require that S has a parity-invariant diagonal, which is to be understood as
This setup yields two important simplifications.
First, for constant S with parity-invariant diagonal, one easily shows that
satisfies the conditions (a) to (h) from Theorem 3.2 with respect to S. Thus, \(F_2^{\mu \nu }\) as given in Eq. (3.3) is a parity-covariant stress-energy tensor at one-particle level.
Second, for constant S, the form factor equations for \(F_n\), \(n > 2\) simplify significantly; the residue formula connecting \(F_n\) with \(F_{n-2}\), see Item c in [13, Sec. 3], becomes trivial for even n. As a consequence, the expression
reducing the usually infinite expansion (2.15) to a single term, is a local operator after time-averaging. In fact, locality may be checked by direct computation from (T1)–(T4). Moreover, properties (T5)–(T12) mean that \(T^{\mu \nu }\) is hermitian, is a symmetric covariant two-tensor-valued field with respect to \(U_1(x,\lambda )\) (properly extended from Eq. (2.4) to the full state space), integrates to the total energy–momentum operator \(P^\mu = \int ds\, T^{\mu 0}(t,s)\), and is conserved, \(\partial _\mu T^{\mu \nu } = 0\). Hence, \(T^{\mu \nu }\) is a valid candidate for the stress-energy tensor of the interacting model. While our axioms certainly do not fix \(T^{\mu \nu }\) uniquely, \(T^{\mu \nu }\) as given in (4.3) constitutes a minimal choice and agrees with the canonical one in models such as the free massive scalar and Majorana field as well as the Ising model [10, 22, 24].
For this \(T^{\mu \nu }\), we aim to establish a QEI result. Our main technique is an estimate for two-particle form factors of a specific factorizing form, which can be stated as follows.
Lemma 4.1
Let \(h: {\mathbb {S}}(0,\pi ) \rightarrow {\mathcal {K}}\) be analytic with \(L^2\) boundary values at \({\mathbb {R}}\) and \({\mathbb {R}}+i\pi \). For
we have in the sense of quadratic forms on \({\mathcal {D}} \times {\mathcal {D}}\),
Proof
From the ZF algebra relations in (2.11)–(2.13), one verifies that
The left-hand side is positive as a quadratic form, implying the result. \(\square \)
Our approach is to decompose \(F_2^{00}\) into sums and integrals over terms of the factorizing type (4.4) with positive coefficients, then applying the estimate (4.5) to each of them.
To that end, we will call a vector \(X \in {\mathcal {K}}^{\otimes 2}\) positive if
This is equivalent to X being a sum of mutually orthogonal vectors of the form \(e\otimes Je\) with positive coefficients.Footnote 3 We also recall the notion of a vector diagonal in mass, Eq. (3.13). Now we establish our master estimate as follows:
Lemma 4.2
Fix \(n \in \{0,1\}\). Suppose that \(X\in {\mathcal {K}}^{\otimes 2}\) is positive, diagonal in mass, and that \(SX = (-1)^n X\). Let \(h: {\mathbb {S}}(0,\pi ) \rightarrow {\mathbb {C}}\) be analytic with continuous boundary values at \({\mathbb {R}}\) and \({\mathbb {R}}+i\pi \) such that \(|h(\zeta )| \le a \exp (b |\Re \zeta |)\) for some \(a,b > 0\). Let \(g \in {\mathcal {D}}_{\mathbb {R}}({\mathbb {R}})\). Set
Then, in the sense of quadratic forms on \({\mathcal {D}} \times {\mathcal {D}}\), it holds that
where the integral is convergent and where
Proof
Since X is diagonal in mass, we have \(X = \sum _{m\in {\mathfrak {M}}} E_m^{\otimes 2} X\). Here, each \(E_m^{\otimes 2}X\) is positive, diagonal in mass and, by (S6), satisfies \(S E_m^{\otimes 2} X = E_m^{\otimes 2} S X = (-1)^n E_m^{\otimes 2}X\). As a consequence, we may assume without loss of generality that \(X = E_m^{\otimes 2} X\).
Moreover, by positivity of X, we may decompose \(X=\sum _{\alpha =1}^r c_\alpha \, e_\alpha \otimes Je_\alpha \) with \(r \in {\mathbb {N}}\), \(c_\alpha > 0\) and orthonormal vectors \(e_\alpha \in {\mathcal {K}}\), \(\alpha =1, \ldots ,r\). Let
and let \(f^\pm _{\nu ,\alpha }\) relate to \(h^\pm _{\nu ,\alpha }\) as in Eq. (4.4). Further define \(f^\pm _{\nu }:= \sum _{\alpha =1}^r c_\alpha f^\pm _{\nu ,\alpha }\). Since \(S X = (-1)^nX\) and g is real-valued, one finds \((-1)^n f^+_{-\nu } = f^-_\nu \) by a straightforward computation.
Now, in (4.8) use the convolution formula (\(n \in \{0,1\}\), \(p_1,p_2 \in {\mathbb {C}}\)),
then split the integration region into the positive and negative halflines, and obtain
Noting that the \(h_{\nu ,\alpha }^\pm \) are square-integrable at the boundary of \({\mathbb {S}}[0,\pi ]\), we can now apply Lemma 4.1 to each \(f^\pm _{\nu ,\alpha }\); then, rescaling \(\nu \rightarrow m\nu \) in the integral (4.13) yields the estimate (4.9). Note here that the integration in \(\nu \) can be exchanged with taking the expectation value \({\langle {\Psi , {\mathcal {O}}_2[\cdot ] \Psi }\rangle }\), since the integration regions in \(\varvec{\zeta }\) are compact for \(\Psi \in {\mathcal {D}}\), and the series in (2.15) is actually a finite sum.
Lastly, we show that the r.h.s of Eq. (4.9) is finite. By the Cauchy–Schwarz inequality, the integrand is bounded by a constant times \(\nu ^n\) times
By assumption, \(|h(\theta )| \le a ({{\,\textrm{ch}\,}}\theta )^b\) for some \(a,b > 0\), and the resulting integrand \(\nu ^n ({{\,\textrm{ch}\,}}\theta )^{2b} |{\tilde{g}}(m{{\,\textrm{ch}\,}}\theta +m\nu )|^2\) can be shown to be integrable in \((\theta ,\nu )\) over \({\mathbb {R}}\times [0,\infty )\) by substituting \(s={{\,\textrm{ch}\,}}\theta +\nu \) \((1\le s < \infty , 0 \le \nu \le s-1)\), and using the rapid decay in s by the corresponding property of \({\tilde{g}}\). In conclusion, the \(\theta \)- and \(\nu \)-integrals converge by Fubini–Tonelli’s theorem. \(\square \)
Now we can formulate:
Theorem 4.3
(QEI for constant S-functions) Consider a constant S-function \(S \in {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) with a parity-invariant diagonal, i.e., \([S,{\mathbb {F}}]I_{\otimes 2} = 0\) and denote its eigenprojectors with respect to the eigenvalues \(\pm 1\) by \(P_\pm \). Suppose that \(P_\pm I_{\otimes 2}\) are both positive. Then for the energy density \(T^{00}(x)\) in Eq. (4.3) and any \(g \in {\mathcal {D}}_{\mathbb {R}}({\mathbb {R}})\), one has in the sense of quadratic forms on \({\mathcal {D}} \times {\mathcal {D}}\):
where
and \(w_\pm (s) = s\sqrt{s^2-1} \pm \log (s+\sqrt{s^2-1})\).
In the scalar case, \(\dim {\mathcal {K}} = 1\), this bound agrees with the previously known bounds for the free massive scalar and Majorana field as well as the Ising model; see Remark 4.4.
Proof
We use Lemma 4.2 five times: with \(h_1(\zeta ) = {{\,\textrm{ch}\,}}\zeta \), \(h_2(\zeta ) = {{\,\textrm{sh}\,}}\zeta \), \(h_3(\zeta ) = 1\) (all with \(n=0\) and \(X = P_+ I_{\otimes 2}\)) and \(h_4(\zeta )={{\,\textrm{ch}\,}}\frac{\zeta }{2}\), \(h_5(\zeta )={{\,\textrm{sh}\,}}\frac{\zeta }{2}\) (these with \(n=1\) and \(X = P_- I_{\otimes 2}\)); note that \(P_\pm I_{\otimes 2}\) are positive by assumption and diagonal in mass by (S6). Summation of Eq. (4.8) for all these five terms and multiplication with \(\frac{1}{4\pi }M^{\otimes 2}\) yields the expression \(\int \textrm{d}t \, g^2(t) F_{2}^{00}(\cdot ;(t,0))\) for the energy density in Eq. (4.3). From Lemma 4.2, we obtain
Here \(s_i:= (-1)^{n_i}\). Now we compute
where we have substituted \(s={{\,\textrm{ch}\,}}\theta +\nu \) (\(1 \le s < \infty \), \(0 \le \nu \le s-1\)), then solving explicitly the integral in \(\nu \). \(\square \)
Remark 4.4
The conditions of Theorem 4.3 are at least fulfilled in (constant) diagonal models, i.e., for S-functions of the form \(S = \sum _{\alpha \beta } c_{\alpha \beta } | e_\alpha \otimes e_\beta )( e_\beta \otimes e_\alpha |\) for some choice of an orthonormal basis \(\{e_\alpha \}\) and coefficients \(c_{\alpha \beta }\), where we suppose \(Je_\alpha = e_{{\bar{\alpha }}}\) as indicated in Remark 2.5. The S-function has to satisfy \(S = S^\dagger = S^{-1} = {\mathbb {F}} J^{\otimes 2} S J^{\otimes 2} {\mathbb {F}}\) which at the level of coefficients becomes \(|c_{\alpha \beta }|=1\), \(c_{\alpha \beta } = c_{\beta \alpha }^{-1}\) and \(c_{\alpha \beta } = c_{{\bar{\alpha }}{\bar{\beta }}}\). In particular, one has \(c_{\alpha \bar{\alpha }} = c_{{\bar{\alpha }} \alpha } \in \{\pm 1\}\). Together with \(P_\pm = \tfrac{1}{2}(1\pm S)\) this implies \(P_\pm I_{\otimes 2} = \sum _{\alpha : c_{\alpha \bar{\alpha }}=\pm 1 }| e_\alpha \otimes Je_\alpha )\) which is clearly positive. Also, \([S,{\mathbb {F}}]I_{\otimes 2} = 0\) by a straightforward computation using \(c_{\alpha {\bar{\alpha }}} = c_{{\bar{\alpha }}\alpha }\) and \({\mathbb {F}}I_{\otimes 2} = I_{\otimes 2}\).
Thus, the QEI applies to all such models. This does not only include the known QEI results for the free Bose field [24], the free Fermi field [22], the Ising model [10], and combinations of those, but also the symplectic model, a fermionic variant of the Ising model (see, e.g., [36] or [9]).
It also applies to the Federbush model (and generalizations of it as in [50]): Although the Federbush model’s S-function is not parity-invariant, it has a parity-invariant diagonal and Eq. (4.2) yields a valid (parity-covariant) candidate for the stress-energy tensor, i.e., it satisfies all the properties (a) to (h). The candidate is in agreement with [20, Sec. 4.2.3]. For further details on the Federbush model, see Sect. 7.2.
Remark 4.5
The QEI result is independent of the statistics of the particles; it depends only on the mass spectrum and the S-function. The aspect of particle statistics comes into play when computing the scattering function from the S-function (see Remark 2.4); it also enters the form factor equations for local operators (see, e.g., [9, Sec. 6]). However, in the equations for \(F_2\) relevant for our analysis, the “statistics factors” occur only in even powers, so that our assumptions on the stress-energy tensor—specifically, properties (T3) and (T4) in Def. 3.1—are appropriate in both bosonic and fermionic cases.
Remark 4.6
In the short-distance scaling limit, corresponding to \(m \rightarrow 0\) with \(M=m \mathbb {1}\) at fixed g [18], the QEI bound simplifies and becomes proportional to the number of degrees of freedom in the model,
Comparing with optimal bounds in the known cases, the free massless scalar and Majorana field, this bound is not optimal: It is larger by a constant factor \(\tfrac{3}{2}\) (scalar), resp., 3 (Majorana), as has been noted before in [10].
5 QEI at One-Particle Level for General Integrable Models
This section aims to give necessary and sufficient conditions for QEIs at one-particle level in general integrable models, including models with several particle species and bound states. The conditions are expressed in Theorem 5.1 in cases (a) and (b), respectively.
Given a stress-energy tensor \(F^{\mu \nu }_2\) at one-particle level, including diagonality in mass, the expectation values of the averaged energy density are, combining Eq. (2.21) with Corollary 3.4, given by
for \(\varphi \in {\mathcal {D}}\cap {\mathcal {H}}_1\). We ask whether this quadratic form is bounded below. In fact, this can be characterized in terms of the asymptotic behaviour of \({\hat{F}}\):
Theorem 5.1
Let \(F_2^{\mu \nu }\) be a parity-covariant stress-energy tensor at one-particle level which is diagonal in mass and \({\hat{F}}\) be given according to Corollary 3.4. Then:
-
(a)
Suppose there exists \(u \in {\mathcal {K}}\) with \(\Vert u \Vert _{\mathcal {K}}=1\), and \(c > \tfrac{1}{4}\) such that
$$\begin{aligned} \exists r>0 \, \forall |\theta |\ge r: \quad |(u, {\hat{F}}(\theta +i\pi ) u)|\ge c \exp |\theta |. \end{aligned}$$(5.2)Then for all \(g \in {\mathcal {S}}_{\mathbb {R}}({\mathbb {R}})\), \(g\ne 0\) there exists a sequence \((\varphi _j)_j\) in \({\mathcal {D}}({\mathbb {R}},{\mathcal {K}}),\, \Vert \varphi _j \Vert _2 = 1\), such that
$$\begin{aligned} {\langle {\varphi _j, T^{00}(g^2) \varphi _j}\rangle } \xrightarrow {j\rightarrow \infty } -\infty . \end{aligned}$$(5.3) -
(b)
Suppose there exists \(0< c < \tfrac{1}{4}\) such that
$$\begin{aligned} \exists \epsilon ,r>0 \, \forall |\Re \zeta | \ge r, |\Im \zeta |\le \epsilon : \quad \Vert {\hat{F}}(\zeta +i\pi ) \Vert _{{\mathcal {B}}({\mathcal {K}})} \le c \exp |\Re \zeta |. \end{aligned}$$(5.4)Then for all \(g\in {\mathcal {S}}_{\mathbb {R}}({\mathbb {R}})\) there exists \(c_g > 0\) such that for all \(\varphi \in {\mathcal {D}}({\mathbb {R}},{\mathcal {K}})\),
$$\begin{aligned} {\langle {\varphi , T^{00}(g^2) \varphi }\rangle } \ge - c_g \Vert \varphi \Vert _2^2. \end{aligned}$$(5.5)
The two cases are mutually exclusive. While case (b) establishes a QEI at one-particle level (5.5), case (a) implies that no such QEI can hold. Before we proceed to the proof, let us comment on the scope of the theorem.
Remark 5.2
We require parity covariance of \(F_2^{\mu \nu }\). In absence of this property, at least the parity-covariant part \(F^{\mu \nu }_{2,P}\) of \(F_2^{\mu \nu }\), which is given by replacing F with \(F_P:= \frac{1}{2}(1+{\mathbb {F}})F\), has all features of a parity-covariant stress-energy tensor at one-particle level except possibly for S-symmetry (T3), which requires the extra assumption \([S,{\mathbb {F}}]F=0\). In any case, since S-symmetry will not be used in the proof, Theorem 5.1 still applies to \(F^{\mu \nu }_{2,P}\). Now, if (5.2) holds for F with u satisfying \(Ju = \eta u\) with \(\eta \in {\mathbb {C}}\) and \(|\eta |=1\), it holds for \(F_P\) due to \((u,{\widehat{F}}(\theta ) u) = (Ju, {\widehat{F}}(\theta ) Ju) = (u,\widehat{{\mathbb {F}}F}(\theta ) u)\). As a consequence, case (a) applies and no QEI can hold for \(F_2^{\mu \nu }\). On the other hand, if (5.4) is fulfilled for F (hence for \(F_P\)), then a one-particle QEI for \(F_2^{\mu \nu }\) of the form (5.5) holds at least in parity-invariant one-particle states.
Remark 5.3
While Theorem 5.1(b) establishes a QEI only at one-particle level, the result usually extends to expectation values in vectors \(\Psi = c \, \Omega + \Psi _1\), \(c\in {\mathbb {C}}, \Psi _1 \in {\mathcal {H}}_1\). Namely,
where \(F_1=F_1^{[T^{00}(0)]}\) is the one-particle form factor of the energy density. This \(F_1\) may be nonzero. However, due to Remark 3.5, it is of the form \(F_1(\zeta ;0) = F_1(0) {{\,\textrm{sh}\,}}^2\zeta \); thus, the rapid decay of \(\widetilde{g^2}\) and the Cauchy–Schwarz inequality imply that the additional summand is bounded in \(\Vert \Psi _1 \Vert _2\), hence in \(\Vert \Psi \Vert ^2\).
The rest of this section is devoted to the proof of Theorem 5.1, which we develop separately for the two parts (a) and (b). We first note that from Theorem 3.2, the operators \({\hat{F}}(\zeta )\) fulfil
In more detail, these equations are implied by S-periodicity and parity invariance for (5.7), by S-periodicity and CPT invariance for (5.8), and by normalization for (5.9).
Now the strategy for part (a) closely follows [8, Proposition 4.2], but with appropriate generalizations for matrix-valued rather than complex-valued \({\hat{F}}\).
Proof of Theorem 5.1(a)
Fix a smooth, even, real-valued function \(\chi \) with support in \([-1,1]\). Then for \(\rho > 0\) define \(\chi _\rho (\theta ):= \rho ^{-1/2} \Vert \chi \Vert _2^{-1} \chi (\rho ^{-1} \theta )\), so that \(\chi _\rho \) has support in \([-\rho ,\rho ]\) and is normalized with respect to \(\Vert \cdot \Vert _2\). Define \(\varphi _j(\theta ):= \tfrac{1}{\sqrt{2}} (\chi _{\rho _j}(\theta -j)+ s\, \chi _{\rho _j}(\theta +j)) M^{-1}u\), where \(s \in \{\pm 1\}\) and \((\rho _j)_j\) is a null sequence with \(0< \rho _j < 1\); both will be specified later. The \(\varphi _j\), thus defined, have norm of at most \(m_-^{-1}\), where \(m_-:= \min {\mathfrak {M}}\), and (5.1) yields
with \(H_{\chi ,j,\pm }:= \int \textrm{d}\theta \textrm{d}\eta \,\widetilde{g^2}(M k_j(\theta ,\eta )) H_{j,\pm }(\theta ,\eta )\chi _{\rho _j}(\theta ) \chi _{\rho _j}(\eta )\) and
We used here (5.7) and that \(\chi \) is an even function. For large j and for \(\theta ,\eta \in [-\rho _j,\rho _j]\), we establish the estimates
Namely for (5.11), due to (5.9) and continuity of \({{\hat{F}}}\) restricted to \({\mathbb {R}}\), we have \(\Vert F(\theta +i\pi )\Vert _{{\mathcal {B}}({\mathcal {K}})} \le 2c+\frac{1}{2}>1\) for \(\theta \in [-2\rho _j,2\rho _j]\) and large j. Also, \({{\,\textrm{ch}\,}}^2 x \le 1 + \tfrac{1}{4}e^{2x}\). For (5.12) one uses \({{\,\textrm{ch}\,}}^2 x \ge 1\) along with the estimate \(- s (u,{\hat{F}}(\theta +i\pi )u) \ge c \exp |\theta |\) for all \(|\theta | \ge r\), with suitable choice of \(s\in \{\pm 1\}\). The latter statement is implied by hypothesis (5.2) since \((u,{\hat{F}}(\theta +i\pi ) u)\) is real-valued (due to 5.8) and continuous. For (5.13), see [8, Eq. (4.17)].
Now choose \(\delta > 0\) so small that \(\widetilde{g^2}(m_+ p) \ge \frac{1}{2} \widetilde{g^2}(0)>0\) for \(|p|\le \delta \), where \(m_+:= \max {\mathfrak {M}}\). Choosing specifically the sequence \(\rho _j = \frac{\delta }{12} e^{-j}\), we can combine these above estimates in the integrands of \(H_{\chi ,j,\pm }\) to give, cf. [8, Proof of Proposition 4.2],
with some \(c'>0\), noting that \(\rho _j^{-1/2} \Vert \chi _{\rho _j} \Vert _1\) is independent of j. \(\square \)
For part (b), we follow [8, Theorem 5.1], but again need to take the operator properties of \({{\hat{F}}}\) into account.
Proof of Theorem 5.1(a)
(Proof of Theorem 5.1(b)) For fixed \(\varphi \in {\mathcal {D}}({\mathbb {R}},{\mathcal {K}})\) and \(g\in {\mathcal {S}}_{\mathbb {R}}({\mathbb {R}})\), we introduce \(X_\varphi :={\langle {\varphi , T^{00}(g^2) \varphi }\rangle }\). Our aim is to decompose \(X_\varphi = Y_\varphi + (X_\varphi - Y_\varphi )\) with \(Y_\varphi \ge 0\) and \(|X_\varphi - Y_\varphi |\le c_g \Vert \varphi \Vert ^2_2\) in order to conclude \(X_\varphi \ge -c_g \Vert \varphi \Vert _2^2\). Since \([M,{\hat{F}}(\zeta )]=0\) from diagonality in mass, we have \(X_\varphi = \sum _{m\in {\mathfrak {M}}} X_{E_m\varphi }\) and can treat each \(E_m \varphi \), \(m\in {\mathfrak {M}}\), separately. Therefore in the following, we assume \(M = m \mathbb {1}_{\mathcal {K}}\) without loss of generality.
We now express \(X_\varphi \) as in (5.1) and rewrite the integral as
where \({{\underline{\varphi }}}(\theta )=(\varphi (\theta ),\varphi (-\theta ))^t\) and
Using (5.7), we find \(\underline{{\underline{X}}} = \left( {\begin{matrix} A &{} B \\ B &{} A\end{matrix}} \right) \) with
Defining \(H_\pm = A \pm B\) and \(\varphi _\pm (\theta ) = \varphi (\theta ) \pm \varphi (-\theta )\), we obtain further that
Let us define
where for \(O \in {\mathcal {B}}({\mathcal {K}})\), |O| denotes the operator modulus of O and \(\sqrt{|O|}\) its (positive) operator square root. Now, analogous to \(X_\varphi \), introduce \(Y_\varphi \) (replacing \(H_\pm (\theta ,\eta )\) with \(K_\pm (\theta ) K_\pm (\eta )\)),
Using the convolution formula (4.12) with \(n=0\), \(p_1=p_0(\theta )\), \(p_2 = p_0(\eta )\), noting that for real arguments it also holds for \(g\in {\mathcal {S}}_{\mathbb {R}}({\mathbb {R}})\), one finds that
It remains to show that \(|X_\varphi - Y_\varphi | \le c_g \Vert \varphi \Vert _2^2\) for some \(c_g \ge 0\). For this, it suffices to prove that
is finite.
To that end, let us introduce \(L_\pm (\rho ,\tau ):= H_\pm (\rho +\tfrac{\tau }{2},\rho -\tfrac{\tau }{2}) \pm K_\pm (\rho +\tfrac{\tau }{2})K_\pm (\rho -\tfrac{\tau }{2})\), where \(\rho = \tfrac{\theta +\eta }{2}\), \(\tau = \theta -\eta \), and \(|\partial (\rho ,\tau ) / \partial (\theta ,\eta )| = 1\). In these coordinates, the integration region in (5.20) is given by \(\rho > 0\), \(|\tau | < 2\rho \). Let \(\rho _0 \ge 1\) and \(\theta _0 > 0\) be some constants. The region \(\rho \le \rho _0\) is compact; thus, the integral over this region is finite. The region \(\rho> \rho _0, |\tau | > 1\) also gives a finite contribution: Because of
in this region, \(|\widetilde{g^2}(p_0(\theta )-p_0(\eta ))|^2\) decays faster than any power of \({{\,\textrm{ch}\,}}\rho \), while \(\Vert L_\pm (\rho ,\tau )\Vert _{{\mathcal {B}}({\mathcal {K}})}^2\) cannot grow faster than a finite power of \({{\,\textrm{ch}\,}}\rho \) due to our hypothesis (5.4). The remaining region is given by \(\rho \ge \rho _0\) and \(|\tau | \le 1\). By (5.4), there exists \(0< c < \tfrac{1}{4}\) and \(r>0\) such that
This implies, also using self-adjointness of \({\hat{F}}\) (see (5.8)), that for all \(\theta \ge r\):
Since \(c < \frac{1}{4}\), these \(H_\pm (\theta ,\theta )\) are positive operators with a uniform spectral gap at 0. As a consequence, together with \(H_\pm (\theta ,\theta )\), also the maps \(\theta \mapsto K_\pm (\theta ) = \sqrt{H_\pm (\theta ,\theta )}\) are analytic near \([r,\infty )\); see [32, Ch. VII, §5.3]. Correspondingly, \(L_\pm (\rho ,\tau )\) is real-analytic in the region where \(\rho \ge \tfrac{|\tau |}{2}+r\). This contains the region \(\{(\rho ,\tau ):\rho \ge \rho _0, |\tau |\le 1\}\) if we choose \(\rho _0 \ge \tfrac{1}{2} + r\).
Now in this region, it can be shown that there exists \(a>0\) such that for any normalized \(u\in {\mathcal {K}}\),
This estimate is based on the fact that \(L_\pm (\rho ,\tau ) = L_\pm (\rho ,-\tau )\), and \(L_\pm (\rho ,0) = 0\) (which also uses positivity of \(H_\pm \)). The first inequality in (5.24) then follows from Taylor’s theorem; the second is an estimate of the derivative by Cauchy’s formula, using analyticity of \({\hat{F}}(\cdot +i\pi )\) in a strip around \({\mathbb {R}}\), and repeatedly applying the estimate (5.4), cf. [8, Proof of Lemma 5.3]. Since (5.4) is an estimate in operator norm, and the other parts of the argument are u-independent, one finds \(\Vert \tfrac{\partial ^2}{\partial \xi ^2} L_\pm (\rho ,\tau )\Vert _{{\mathcal {B}}({\mathcal {K}})} \le a {{\,\textrm{ch}\,}}\rho \) with a constant a.
Finiteness of the integral (5.20) now follows from the estimate (5.24) together with \(|\widetilde{g^2}(p_0(\theta )-p_0(\eta ))| \le c'(\tau ^4 {{\,\textrm{ch}\,}}^4 \rho +1)^{-1}\) for some \(c'>0\); cf. [8, Proof of Lemma 5.4]. \(\square \)
6 The Connection Between the S-Function and the Minimal Solution
For the purpose of analysing particular examples, it is helpful to introduce the minimal solution of a model, a well-known concept in the form factor programme [35] which plays an essential role in the description and classification of the observables of the model. We will here give a brief summary of necessary facts for the examples in Sect. 7 and a recipe for obtaining QEIs for other models. For technical details and full proofs, we refer to Appendix A.
Given an S-function, in generic cases including diagonal models and all our examples we can perform an eigenvalue decomposition into meromorphic complex-valued functions \(S_{i}\) and meromorphic projection-valued functions \(P_i\) such that
(see Proposition A.1). For each eigenfunction \(S\equiv S_{i}\) (omitting the index i for the moment), the minimal solution is a meromorphic function \(F_{\textrm{min}}:{\mathbb {C}}\rightarrow {\mathbb {C}}\) which is the most regular solution of the form factor equations at one-particle level (or Watson’s equations),
subject to the normalization condition \(F_{\textrm{min}}(i\pi ) = 1\) (see Appendix A.2). A general solution to (6.2) is then of the form
where q is a rational function which is fixed by the pole and zero structure of \(F_q\), and \(q(-1) = 1\) if \(F_q(i\pi ) = 1\) (Lemma A.5).
Uniqueness of \(F_\textrm{min}\) follows under mild growth conditions (Lemma A.2). Existence can be proved for a large class of (eigenvalues of) S-functions by employing a well-known integral representation. For this class, the function
is well defined and referred to as the characteristic function of S. In the case \(S(0)=1\), the minimal solution is then obtained from \(f=f[S]\) as the meromorphic continuation of
For \(S(0)=-1\), an additional factor needs to be included (see Theorem A.6).
For our analysis of QEIs, it will be crucial to control the large-rapidity behaviour of \(F_\textrm{min}\) using properties of the characteristic function f[S]. This is in fact possible as follows (Proposition A.11): For a continuous function \(f:[0,\infty )\rightarrow {\mathbb {R}}\), which is exponentially decaying at large arguments and second order differentiable on some interval \([0,\delta ], \delta > 0\), and where \(f_0:=f(0)\), \(f_1:=f'(0)\), the growth of \(F_f(\zeta )\) is bounded at large \(|\Re \zeta |\) as in
With this said, we have a recipe for a large class of models to determine whether a one-particle QEI in the sense of Theorem 5.1 holds, or no such QEI can hold: According to Theorem 3.2 and Corollary 3.4, we know that
Then F can be decomposed into the eigenbasis with respect to S, namely \(F(\zeta ):= \sum _{i=1}^k F_i(\zeta )\), where \(F_i(\zeta ):= P_i(\zeta ) F(\zeta )\). Let us restrict to parity-invariant F and constant eigenprojectors \(P_i\), i.e., having \(F = {\mathbb {F}} F\) and \(P_i=const\). Then (in some orthonormal basis) the components of each \(F_i\) will satisfy Watson’s equations and take the form as in Eq. (6.3). Therefore, each \(F_i\) will be of the form \(F_i(\zeta ) = Q_i({{\,\textrm{ch}\,}}\zeta ) F_{i,\textrm{min}}(\zeta )\), where \(Q_i\) is a rational function that takes values in \({\mathcal {K}}^{\otimes 2}\) and \(F_{i,\textrm{min}}\) is the minimal solution with respect to \(S_i\). In case of symmetries, the choice of \(Q_i\) is further restricted by \({\mathcal {G}}\) invariance. The asymptotic growth of the \(F_i\) will be bounded by the growth of the \(Q_i\) and the bound (6.6) for the \(F_{i,\textrm{min}}\). In summary, depending on the growth of the \(Q_i\) and the \(F_{i,\textrm{min}}\), we can determine the asymptotic growth of F and thus decide whether a one-particle QEI holds or not.
7 QEIs in Examples
We now discuss some examples of integrable models which illustrate essential features of the abstract results developed in Sects. 4 and 5. These include a model with bound states (Bullough–Dodd model, Sec. 7.1), an interacting model with a constant scattering function (Federbush model, Sec. 7.2), and a model with several particle species (O(n)-nonlinear sigma model, Sec. 7.3).
As a first step, we review in our context the known results for models of one scalar particle type and without bound states [8]. That is, we consider \({\mathcal {K}}={\mathbb {C}}\), J the complex conjugation, \({\mathfrak {M}}=\{m\}\) for the one-particle space, and \({\mathfrak {P}}=\emptyset \) for the stress-energy tensor, with a scattering function of the form
where \(\epsilon = \pm 1, n\in {\mathbb {N}}_0,\) and \((b_k)_{k\in \{1, \ldots ,n\}} \subset i{\mathbb {R}}+(0,1)\) is a finite sequence in which \(b_k\) and \(\overline{b_k}\) appear the same number of times.
The minimal solution with respect to \(\zeta \mapsto S(\zeta ;b)\) is known—see, e.g., [8, Eq. (2.5)] or [28, Eq. (4.13)]—and in our context given by
Since \(f(t;b) = -1 + {\mathcal {O}}(t^2)\) for \(t\rightarrow 0\), it follows that \(F_{b,\textrm{min}}\) is uniformly bounded above and below on \({\mathbb {S}}[0,2\pi ]\) by Proposition A.11. More quantitatively, \(F_{b,\textrm{min}}(\zeta +i\pi )\) converges uniformly to
for \(|\Re \zeta | \rightarrow \infty \) and \(|\Im \zeta | \le \delta \) for any \(0<\delta < \pi \).
This can be derived in the following way: Since \(g(t):=(t{{\,\textrm{sh}\,}}t)^{-1} (1+f(t;b))\) is exponentially decaying and regular (in particular at \(t=0\)), it is integrable and \(F_{b,\textrm{min}}^\infty \) is finite. As \(\log {{\,\textrm{ch}\,}}\tfrac{\zeta }{2} = 2\int _0^\infty (t{{\,\textrm{sh}\,}}t)^{-1} \sin ^2 \tfrac{\zeta t}{2\pi } \textrm{d}t\) for \(|\Im \zeta | < \pi \) one may write \(\log F_{b,\textrm{min}}(\zeta +i\pi ) = 2 \int _{{\mathbb {R}}} (t{{\,\textrm{sh}\,}}t)^{-1} (1+f(t;b)) \sin ^2 \tfrac{\zeta t}{2\pi } \textrm{d}t\). In the limit \(|\Re \zeta | \rightarrow \infty \) the parts which are non-constant with respect to \(\zeta \) vanish due to the Riemann–Lebesgue lemma for \(|\Im \zeta |<\pi \); uniformity follows from \(g(t) \exp (\pm \tfrac{t \Im \zeta }{\pi })\) being uniformly \(L^1\)-bounded in \(|\Im \zeta | \le \delta \) (see, e.g., proof of Thm. IX.7 in [44]).
Next, according to Corollary A.4, the minimal solution with respect to S is given by
with \(s(+1,n) = 2\lfloor \tfrac{n}{2}\rfloor \) and \(s(-1,n) = 2\lfloor \tfrac{n-1}{2}\rfloor \). For the stress-energy tensor at one-particle level, we obtain (using Corollary 3.4, Lemma A.5, and Corollary A.3) that
with q a polynomial having real-valued coefficients and \(q(-1)=1\).
Let \(c:= 2^{s(\epsilon ,n)-\deg q} |c_q |\prod _{k=1}^n F_{b_k,\textrm{min}}^{\infty }\), where \(c_q\) is the leading coefficient of q. By the preceding remarks, we find that for some \(c',c''\) with \(0<c'< c < c''\) and \(\delta , r > 0\):
where \(c'\) and \(c''\) can be chosen arbitrarily close to c for large enough r.
We can therefore conclude by Theorem 5.1 that a QEI of the form (5.5) holds if \(\deg q < \tfrac{1}{2} s(\epsilon ,n) +1\) and cannot hold if \(\deg q > \tfrac{1}{2} s(\epsilon ,n)+1\). In case that \(\deg q = \tfrac{1}{2} s(\epsilon ,n)+1\), details of q become relevant. This can only occur if \(s(\epsilon ,n)\) is even, i.e., \(\epsilon = +1\). If here c is less (greater) than \(\tfrac{1}{4}\), then a QEI holds (cannot hold).
7.1 (Generalized) Bullough–Dodd Model
We now consider a class of integrable models which treat a single neutral scalar particle that is its own bound state. The presence of the bound state requires the S-function to have a specific “bound state pole” in the physical strip with imaginary positive residue and to satisfy a bootstrap equation for the self-fusion process. Such S-functions are classified in [21, Appendix A]. The Bullough–Dodd model itself (see [3, 28] and references therein) corresponds to the maximally analytic element of this class which is given by \(\zeta \mapsto S_{\textrm{BD}}(\zeta ;b) = S(\zeta ;-\tfrac{2}{3}) S(\zeta ;\tfrac{b}{3})S(\zeta ;\tfrac{2-b}{3})\) where \(b\in (0,1)\) is a parameter of the model. The full class allows for so-called CDD factors [19] and an exotic factor of the form \(\zeta \mapsto e^{ia{{\,\textrm{sh}\,}}\zeta }, a>0\).
In Lagrangian QFT, from a one-component field \(\varphi \) and a Lagrangian
under the (perturbative) correspondence \(b = \frac{g^2}{2\pi } (1+\tfrac{g^2}{4\pi })^{-1}\)[28] one obtains as S-function \(S_{\textrm{BD}}(\cdot ;b)\). For more general elements of the described class, no Lagrangian is known [21].
In our context, we will consider the generalized variant of the model, but for simplicity restrict to finitely many CDD factors and do not include the exotic factor:
Definition 7.1
The generalized Bullough–Dodd model is specified by the mass parameter \(m>0\) and a finite sequence \((b_k)_{k\in \{1, \ldots ,n\}} \subset (0,1)+i{\mathbb {R}}, n\in {\mathbb {N}},\) which has an odd number of real elements and where the non-real \(b_k\) appear in complex conjugate pairs. The one-particle little space is given by \({\mathcal {K}} = {\mathbb {C}}\), \({\mathcal {G}}=\{ e\}\), \(V=1_{\mathbb {C}}\), and \(M = m 1_{{\mathbb {C}}}\). J corresponds to complex conjugation. The S-function \(S_{\textrm{gBD}}\) is of the form
Clearly, \(S_{BD}\) is obtained from \(S_{gBD}\) for \(n=1\) and \(b_1=b\). Since \(S_{\textrm{gBD}}\) is defined as a product of a finite number of factors of the form \(S(\cdot ;b)\), its minimal solutions exists and is given by, see Corollary A.4,
It enters here that \(S_{\textrm{gBD}}(0) = -1\).
The presence of bound states in the model implies the presence of poles in the form factors of local operators [13], in particular also for \(F_2^{\mu \nu }\). For \(F_1^{\mu \nu } \ne 0\) we expect a single first-order pole of \(F_2^{\mu \nu }(\zeta ,\zeta ';x)\) at \(\zeta '-\zeta = i\tfrac{2\pi }{3}\). In case that \(F_1^{\mu \nu } = 0\) we expect \(F_2^{\mu \nu }(\zeta ,\zeta ';x)\) to have no poles in \({\mathbb {S}}[0,\pi ]\).
Lemma 7.2
(Stress tensor in the generalized BD model). A tensor-valued function \(F^{\mu \nu }_2:{\mathbb {C}}^2\times {\mathbb {M}} \rightarrow {\mathcal {K}}^{\otimes 2}\) is a stress-energy tensor at one-particle level with respect to \(S_{\textrm{gBD}}\) and \({\mathfrak {P}} \subset \{ i \tfrac{2\pi }{3}\}\) iff it is of the form
with
where \(F_{\textrm{gBD},\textrm{min}}\) is the unique minimal solution with respect to \(S_{\textrm{gBD}}\) and where q is a polynomial with real coefficients and \(q(-1)=1\).
Proof
By Theorem 3.2 and Corollary 3.4, \(F_2^{\mu \nu }\) is given by (7.10), where \(F:{\mathbb {C}}\rightarrow {\mathbb {C}}\) satisfies properties (a)–(g) of Theorem 3.2 with respect to \(S_{\textrm{gBD}}\). According to Lemma A.5, F is of the form \(F_q\) (7.11); the factor \((-2{{\,\textrm{ch}\,}}\zeta -1)^{-1}\) takes the one possible first-order pole within \(S[0,\pi ]\), namely at \(i \frac{2\pi }{3}\), into account. That q has real coefficients is a consequence of property (e) and Corollary A.3.
Conversely, it is clear that \(F_2^{\mu \nu }\), respectively \(F=F_q\), as given above has the properties (a)–(g). \(\square \)
Theorem 7.3
(QEI for the generalized BD model) Let the stress-energy tensor at one-particle level be given by \(F_2^{\mu \nu }\) as in Eq. (7.10). Then a QEI of the form
holds if \(\deg q < n+2\) and cannot hold if \(\deg q > n+2\). In the case \(\deg q = n+2\), introduce
where \(c_q\) denotes the leading coefficient of q. If here c is less (greater) than \(\tfrac{1}{4}\) then a QEI holds (cannot hold).
Proof
As the minimal solution \(F_{\textrm{gBD},\textrm{min}}\) is given as a finite product of factors \(\zeta \mapsto (-i {{\,\textrm{sh}\,}}\tfrac{\zeta }{2})\) and \(F_{b,\textrm{min}}\), the asymptotic growth can be estimated analogously to the procedure in the introduction of Sect. 7. Similar to the estimate (7.6), one obtains for some \(c'\) and \(c''\) with \(0<c'< c < c''\) and some \(\epsilon , r > 0\):
where \(c'\) and \(c''\) can be chosen arbitrarily close to c for large enough r.
Noting that parity covariance is trivial for \({\mathcal {K}}={\mathbb {C}}\) and applying Theorem 5.1 yields the conclusions from above depending on \(\deg q\) and c. \(\square \)
7.2 Federbush Model
The Federbush model is a well-studied integrable QFT model with a constant, but non-trivial, scattering function; see [20, 25, 45, 46, 49] and references therein. In Lagrangian QFT, the traditional Federbush model is described in terms of two Dirac fields \(\Psi _1\), \(\Psi _2\) by a Lagrangian densityFootnote 4
![](http://media.springernature.com/lw427/springer-static/image/art%3A10.1007%2Fs00023-023-01409-8/MediaObjects/23_2023_1409_Equ106_HTML.png)
The Federbush model obeys a global \(U(1)^{\oplus 2}\) symmetry since \({\mathcal {L}}_{\textrm{Fb}}\) is invariant under
The stress-energy tensor of the model has been computed before [47] and its trace (Eq. (44) in the reference) is given by
![](http://media.springernature.com/lw142/springer-static/image/art%3A10.1007%2Fs00023-023-01409-8/MediaObjects/23_2023_1409_Equ108_HTML.png)
which agrees with the (trace of the) stress-energy tensor of two free Dirac fermions. Note in particular that it is parity-invariant.
In our framework, the model can be described in the following way:
Definition 7.4
The Federbush model is specified by three parameters, the particle masses \(m_1,m_2 \in (0,\infty )\) and the coupling parameter \(\lambda \in (0,\infty )\). The symmetry group is \({\mathcal {G}}=U(1)^{\oplus 2}\). The one-particle little space is given by \(L=({\mathcal {K}},V,J,M)\) with \(L = L_1 \oplus L_2\) and where for \(j=1,2\) we define \({\mathcal {K}}_j={\mathbb {C}}^2\) and
as operators on \({\mathcal {K}}_j\) where \(J_j\) is antilinear and for the choice of basis \(\{ e_j^{(+)} \equiv (1,0)^t\), \(e_j^{(-)} \equiv (0,1)^t \}\). The S-function is denoted by \(S_\textrm{Fb} \in {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\). Its only nonvanishing components, enumerated as \(\alpha ,\beta =1+,1-,2+,2-\) corresponding to \(e_{1/2}^{(\pm )}\), are given by \(S_{\alpha \beta }:= (S_\textrm{Fb})_{\alpha \beta }^{\beta \alpha }\) with
Note that \(S_{\textrm{Fb}}\) is a constant diagonal S-function; e.g., \(S_{\alpha \beta }= S^*_{\beta \alpha } = S_{\beta \alpha }^{-1}\) imply that \(S_{\textrm{Fb}}\) is self-adjoint and unitary. Note also that \(S_{\alpha \beta } = S_{{\bar{\alpha }} {\bar{\beta }}} \ne S_{\beta \alpha }\), where \(\bar{\alpha }\) corresponds to \(\alpha \in \{ 1+,1-,2+,2-\}\) by flipping plus and minus. These relations correspond to the fact that \(S_{\textrm{Fb}}\) is C-, PT- and CPT- but not P- or T-symmetric. However, \(S_{\textrm{Fb}}\) has a P-invariant diagonal (in the sense of Eq. (4.1)) due to \(S_{\alpha {\bar{\alpha }}} = S_{{\bar{\alpha }}\alpha }\) (or Remark 4.4).
Lemma 7.5
(Stress tensor for the Federbush model). A tensor-valued function \(F^{\mu \nu }_2:{\mathbb {C}}^2\times {\mathbb {M}} \rightarrow {\mathcal {K}}^{\otimes 2}\) is a stress-energy tensor at one-particle level with respect to \(S_{\textrm{Fb}}\), is diagonal in mass [Eq. (3.13)], and has no poles, \({\mathfrak {P}}=\emptyset \), iff it is of the form
with
for \(e^{(+)}_j \otimes _{\mathrm {s/as}} e^{(-)}_j:= e_j^{(+)} \otimes e_j^{(-)} \pm e_j^{(-)} \otimes e_j^{(+)}\) and where each \(q^{\mathrm {s/as}}_j\) is a polynomial with real coefficients and \(q^{\textrm{s}}_j(-1)=1\).
The stress-energy tensor at one-particle level is parity-covariant iff \(q_1^{\textrm{as}} = q_2^{\textrm{as}} \equiv 0\).
Proof
By Theorem 3.2 and Corollary 3.4, we have that Eq. (7.20) holds with F satisfying properties (a)–(g). \(U(1)^{\oplus 2}\) invariance, property (f), is equivalent to
As a consequence, \((e^{(r)}_j\otimes e^{(s)}_k, F(\zeta )) = 0\) unless \(j=k\) and \(r=-s\). On the remaining components, S acts like \(-{\mathbb {F}}\); thus,
which implies
for some functions \(f_j^{\mathrm {s/as}}\), where we have factored out the necessary zeroes due to the relations (7.22). Then from the properties of F we find \(f_j^{\mathrm {s/as}}: {\mathbb {C}} \rightarrow {\mathbb {C}}\) to be analytic and to satisfy
and \(f^{\textrm{as}}_j(i\pi )\) unconstrained. Moreover, \(f_j^{\mathrm {s/as}}\) are regular in the sense of Eq. (A.4) of Lemma A.5; the lemma implies that \(f_j^{\mathrm {s/as}}(\zeta ) = q_j^{\mathrm {s/as}}({{\,\textrm{ch}\,}}\zeta )\) with \(q_j^{\textrm{s}}(-1) = 1\). Since \(J^{\otimes 2} F(\zeta +i\pi ) = F({\bar{\zeta }}+i\pi )\), \(Je^{(\pm )}_j = -e_j^{({\mp })}\), and by the antilinearity of J, we find that \(q^{\mathrm {s/as}}_j(\zeta +i\pi ) = \overline{q_j^{\mathrm {s/as}}({\bar{\zeta }}+i\pi )}\) such that \(q_j^{\mathrm {s/as}}\) have real coefficients.
Parity invariance of F, i.e., \({\mathbb {F}} F = F\), is equivalent to \(q_j^{\textrm{as}} = - q_j^{\textrm{as}}\); thus, \(q_j^{\textrm{as}}=0\), because of \((\mathbb {1} {\mp } {\mathbb {F}}) \, e_j^{(+)}\otimes _{\mathrm {s/as}} e_j^{(-)} = 0\). \(\square \)
We see that the stress-energy tensor does not need to be parity-covariant. Concerning QEIs we state:
Theorem 7.6
(QEI for the Federbush model). The parity-covariant part of the stress-energy tensor at one-particle level, given by \(F_2\) in Eq. (7.20) with \(q_1^{\textrm{as}} = q_2^{\textrm{as}} \equiv 0\), satisfies a one-particle QEI of the form
iff \(q^{\textrm{s}}_1=q^{\textrm{s}}_2 \equiv 1\).
The candidate stress-energy tensor given by Eq. (4.3) (i.e. for \(q^{\textrm{s}}_1 = q^{\textrm{s}}_2 = 1, q^{\textrm{as}}_1= q^{\textrm{as}}_2=0\)) satisfies a QEI of the form
with \(w_-(s) = s\sqrt{s^2-1} - \log ( s + \sqrt{s^2-1})\) and in the sense of a quadratic form on \({\mathcal {D}}\times {\mathcal {D}}\).
Proof
In case that one of the \(q_j^s\) is different from 1 we have for some \(c, r > 0\) that \(|q^{\textrm{s}}_j({{\,\textrm{ch}\,}}\zeta ) {{\,\textrm{sh}\,}}\tfrac{\zeta }{2}| \ge c e^{3 |\Re \zeta |/2}\) for all \(|\Re \zeta | \ge r\). Therefore, no QEI can hold due to Theorem 5.1(a) and Remark 5.2 with \(u=e_j^{(+)} \pm e_j^{(-)}\) for some \(j\in \{1,2\}\). For \(q^{\textrm{s}}_1=q^{\textrm{s}}_2 \equiv 1\) (and \(q^{\textrm{as}}_1=q^{\textrm{as}}_2 \equiv 0\)), Theorem 5.1(b) yields Eq. (7.25). In that case \(F(\zeta ) = (- i {{\,\textrm{sh}\,}}\tfrac{\zeta }{2} ) I_{\otimes 2}\) which coincides with the expression in (4.2) due to \(P_+ I_{\otimes 2} = 0\) and \(P_- I_{\otimes 2} = I_{\otimes 2}\). Since \(S_{\textrm{Fb}}\) is constant and diagonal by Remark 4.4, Theorem 4.3 applies and yields Eq. (7.26). \(\square \)
We see that for the Federbush model, requiring a one-particle QEI fixes a unique (parity-covariant part of the) stress-energy tensor at one-particle level that extends—since \(S_\textrm{Fb}\) is constant—to a dense domain of the full interacting state space. The parity-covariant part is in agreement with preceding results for the stress-energy tensor at one-particle level [20, Sec. 4.2.3]. This indicates that the parity-violating part of our expression is indeed not relevant for applications in physics. Our candidate for the full stress-energy tensor has the same trace as in [47]. That the respective energy density satisfies a generic QEI is no surprise after all, as the QEI results are solely characterized in terms of the trace of the stress-energy tensor which here agrees with that of two free Dirac fermions (as was indicated also by Eq. (7.17)).
7.3 O(n)-Nonlinear Sigma Model
The O(n)-nonlinear sigma model is a well-studied integrable QFT model of n scalar fields \(\phi _j, j=1, \ldots ,n\), that obey an O(n)-symmetry. For a review see [1, Secs. 6–7] and references therein. In Lagrangian QFT, it can be described by a combination of a free Lagrangian and a constraint
where \(g \in (0,\infty )\) is a dimensionless coupling constant. Clearly, \({\mathcal {L}}_\textrm{NLS}\) is invariant for \(\Phi \) transforming under the vector representation of O(n), i.e.,
Note that the model—other than one might expect naively from \({\mathcal {L}}_\textrm{NLS}\)—describes massive particles. This is known as dynamical mass transmutation; the resulting mass of the O(n)-multiplet can take arbitrary positive values depending on a choice of a mass scale and corresponding renormalized coupling constant; see, e.g., [1, Sec. 7.2.1] and [30].
In our framework, the model can be described in the following way:
Definition 7.7
The O(n)-nonlinear sigma model is specified by two parameters, the particle number \(n \in {\mathbb {N}}\), \(n \ge 3,\) and the mass \(m > 0\). The one-particle little space \(({\mathcal {K}},V,J,M)\) is given by \({\mathcal {K}}={\mathbb {C}}^n\) with the defining/vector representation V of \({\mathcal {G}}=O(n)\), \(M = m\mathbb {1}_{{\mathbb {C}}^n}\), and where J is complex conjugation in the canonical basis of \({\mathbb {C}}^n\). The S-function is given by
where in the canonical basis of \({\mathbb {C}}^n\)
and
\(S_{\textrm{NLS}}\) is the unique maximally analytic element of the class of O(n)-invariant S-functions [52]. Maximal analyticity means here that in the physical strip \({\mathbb {S}}(0,\pi )\), the S-function has no poles and the minimal amount of zeroes which are compatible with the axioms for an S-function, i.e., (S1)–(S7). Its eigenvalue decomposition is given by
with \(S_\pm = b \pm c\) and \(S_0 = b+c+nd\). The S-function is P-, C-, and T-symmetric and satisfies \(S_{\textrm{NLS}}(0) = - {\mathbb {F}}\).
As a first step, we establish existence of the minimal solution with respect to \(S_0\) and an estimate of its asymptotic growth:
Lemma 7.8
The minimal solution with respect to \(S_0\) exists and is given by
Moreover, there exist \(0< c \le c'\), \(r>0\) such that
Proof
The characteristic function \(f_0= f[-S_0]\) is computed in Appendix B. Clearly, it is smooth and exponentially decaying. Applying Lemma A.2 (uniqueness) and Theorem A.6 (existence) we find that \(F_{f_0}\) is well defined and that \(F_{0,\textrm{min}}\) exists and agrees with the expression claimed. The estimate of Eq. (6.6) together with
and the estimate
imply (7.35). \(\square \)
Lemma 7.9
(Stress tensor in NLS model). A tensor-valued function \(F^{\mu \nu }_2:{\mathbb {C}}^2\times {\mathbb {M}} \rightarrow {\mathcal {K}}^{\otimes 2}\) is a parity-covariant stress-energy tensor at one-particle level with respect to \(S_{\textrm{NLS}}\) with no poles, \({\mathfrak {P}}=\emptyset \), iff it is of the form
with
where \(F_{0,\textrm{min}}\) is the unique minimal solution with respect to the S-matrix eigenvalue \(S_0\) and q is a polynomial with real coefficients with \(q(-1)=1\).
Proof
By Corollary 3.4, \(F_2^{\mu \nu }\) has the form (7.38) with F satisfying properties (a)–(g) in Theorem 3.2. By (f), \(F(\zeta )\) is an O(n)-invariant 2-tensor for each \(\zeta \). The general form of such a tensor is \(F(\zeta ) = \lambda (\zeta ) I_{\otimes 2}\) with \(\lambda :{\mathbb {C}}\rightarrow {\mathbb {C}}\) [2, Sec. 4, case (a)].
Consider now property (c), \(F(\zeta ) = S(\zeta ) F(-\zeta )\) for \(S= S_{\textrm{NLS}}\). Taking the scalar product of both sides with \(\tfrac{1}{n} I_{\otimes 2}\) in \(({\mathbb {C}}^n)^{\otimes 2}\) yields
by Eq. (7.29) and \(\mathbb {1}I_{\otimes 2} = {\mathbb {F}}I_{\otimes 2} = \tfrac{1}{n} {\mathbb {K}}I_{\otimes 2}\). Here we used that \({\mathbb {F}}I_{\otimes 2} = J^{\otimes 2}I_{\otimes 2} = I_{\otimes 2}\) by Remark 2.1.
In summary, Lemma A.5 can be applied to \(\lambda \), so that \(\lambda (\zeta ) = q({{\,\textrm{ch}\,}}(\zeta ))F_{0,\textrm{min}} (\zeta )\), and thus, F has the form (7.39). That q has real coefficients is a consequence of (e) and Corollary A.3.
Conversely, it is clear that \(F_2^{\mu \nu }\) as in Eq. (7.38), respectively F, has the properties (a)–(g). \(\square \)
Theorem 7.10
(QEI for the NLS model). The stress-energy tensor at one-particle level given by \(F_2\) in Eq. (7.38) satisfies
iff \(q \equiv 1\).
Proof
Given \(F_2\) as in Lemma 7.9 and using \(\widehat{I_{\otimes 2}} = \mathbb {1}_{{\mathcal {K}}}\), we have \(\Vert {\hat{F}}(\zeta ) \Vert _{{\mathcal {B}}({\mathcal {K}})} = |q({{\,\textrm{ch}\,}}\zeta ) F_{0,\textrm{min}}(\zeta )|\). Thus, by Lemma 7.8 there exist \(r>0\) and \(0< c \le c'\) such that
with \(t(\zeta ) = |\Re \zeta |^{-(1+\frac{\nu }{2})} |q({{\,\textrm{ch}\,}}\zeta )|\). Note that for \(q \equiv 1\), \(t(\zeta )\) is polynomially decaying, whereas for non-constant q, \(t(\zeta )\) is exponentially growing. Thus, if q is constant (\(q \equiv 1\)), we have \(c^\prime t(\zeta ) < \tfrac{1}{4}\) for large enough \(|\Re \zeta |\); and if q is not constant, then \(c t(\zeta ) > \tfrac{1}{4}\) for large enough \(|\Re \zeta |\). We conclude by Theorem 5.1 that a QEI of the form (7.41) holds iff \(q \equiv 1\). \(\square \)
8 Conclusion and Outlook
We have established QEIs in a larger class of 1+1d integrable models than previously known in the literature. In particular, QEIs for generic states hold in a wide class of models with constant scattering functions, including not only the Ising model, as known earlier, but also the Federbush model. Moreover, the class includes combinations and bosonic or fermionic variants of these models. In all of these situations, the form factor \(F_2\) of the energy density determines the entire operator.
Furthermore, we have established necessary and sufficient conditions for QEIs to hold at one-particle level in generic models, which may include bound states or several particle species. Also in this case, only \(F_2\) contributes to expectation values of the energy density, and the conditions for QEIs are based on the large-rapidity behaviour of \(F_2\). At the foundation of both results was a characterization by first principles of the form of the energy density. However, we found that those principles do not constrain polynomial prefactors (in \({{\,\textrm{ch}\,}}\zeta \)) added to a viable candidate for the energy density (at one-particle level). As seen in the case of the Bullough–Dodd, the Federbush, and the O(n)-nonlinear sigma model, one-particle QEIs can then fix the energy density at one-particle level partially or entirely, in analogy to [8].
Our results suggest a number of directions for further investigation, of which we discuss the most relevant ones:
What is the nature of the freedom in the form of the stress-energy tensor? The factor \(q({{\,\textrm{ch}\,}}\zeta )\) in the energy density was partially left unfixed by our analysis. At least in the scalar case (\({\mathcal {K}}= {\mathbb {C}}\)), it can be understood as a polynomial in the differential operator \(\square = g^{\mu \nu } \partial _\mu \partial _\nu \) acting on \(T^{\mu \nu }\): Given a stress-energy tensor \(T^{\mu \nu }\), define \({\tilde{T}}^{\mu \nu }:= q(-1-\tfrac{\square }{2\,M^2}) T^{\mu \nu }\) for some polynomial q. Then at one-particle level
and, provided that \(q(-1) = 1\), \(F_2^{[{\tilde{T}}^{\mu \nu }(x)]}\) defines another valid candidate for the stress-energy tensor at one-particle level. However, for generic models, q may depend on the particle types and cannot be understood in terms of derivatives only.
In the physics literature, given a concrete model, a few standard methods exist to check the validity of a specific choice of q: In case the model admits a Lagrangian, perturbation theory checks are used, e.g., [14, 15, 17]. In case the model can be understood as a perturbation of a conformal field theory model, a scaling degree for the large-rapidity behaviour (conformal dimension) of the stress-energy tensor can be extracted, which fixes the large-rapidity behaviour of \(F_2\), e.g., [20, 23, 51]. The large-rapidity scaling degree is also related to momentum–space clustering properties, which were studied for some integrable models, e.g., [16, 33, 48]. But in the general case, none of these methods may be available, and other constraints—perhaps from QEIs in states of higher particle number—might need to take their place.
Which other models can be treated with these methods? We performed our analysis of one-particle QEIs in a very generic setting; there are nevertheless some limitations. For one, we employed the extra assumption of parity covariance of the stress-energy tensor. While parity invariance of the scattering function (and therefore covariance of the stress-energy tensor) is satisfied in many models, it is not fully generic. Nevertheless, a non-parity-covariant stress-energy tensor is still subject to constraints by our results; in particular, the necessary condition we gave for a one-particle QEI to hold remains unmodified (see Remark 5.2). We expect a sufficient condition for a one-particle QEI, similar to the one presented in Theorem 5.1(b), to apply also in a parity-breaking situation. Some numerical tests indicate this; however, an analytic proof remained elusive to us.
Another point is the decomposition of the two-particle form factor of the (trace of the) stress-energy tensor F into polynomials and factors which are fixed by the model (including the minimal solutions and pole factors). For generic models, multiple polynomial prefactors can appear (at least one for each eigenvalue of the S-function). In typical models, these are few to begin with, and symmetries exclude many of those prefactors (as was presented for the Federbush or the O(n)-nonlinear sigma model). In other situations, however, there might be too many unfixed factors for the QEI to meaningfully constrain them.
Lastly, we should remark that also in the presence of higher-order poles in the scattering function, the poles in the form factors are expected to be of first order [12, 17] so that such models should be tractable with our methods. This includes for instance the Z(n)-Ising, sine-Gordon, or Gross–Neveu model. Also generic Toda field theories don’t seem to pose additional problems.
Do QEIs hold in states with higher particle numbers? Apart from the case of constant S-functions, we treated only one-particle expectation values of the energy density in this paper. At n-particle level, generically the form factors \(F_{1},..., F_{2n}\) all enter the expectation values; these are more challenging to handle since the number of rapidity arguments increases and since additional (“kinematic”) poles arise at the boundary of the analyticity region that were absent in the case \(n=1\). Therefore, treating higher particle numbers requires new methods; a result in either direction, validity or non-validity of QEIs, is by no means straightforward and we leave this analysis to future work. While we conducted a few promising numerical tests for the sinh-Gordon model at two-particle level [41], these can only serve as an indication. We do not expect to obtain numerical results at much higher particle numbers due to computational complexity scaling exponentially with n.
Notes
Bound states are understood as poles of the scattering matrix within the so-called physical strip. See [5, Sec. 2.2] for further details.
K. Shedid Attifa, work in progress.
Vectors of the form \(e \otimes Je\) are certainly positive since \((u\otimes Ju, e \otimes Je) = |(u,e)|^2 \ge 0\) and remain positive when summed with positive coefficients. Conversely, given a positive X, we note that \({\hat{X}} \in {\mathcal {B}}({\mathcal {K}})\) is a positive matrix, \((u, {\hat{X}} u) = (u\otimes Ju,X) \ge 0\), whose eigendecomposition is of the required form.
The fields \(\Psi _j\) take values in \({\mathbb {C}}^2\). \(\epsilon _{\mu \nu }\) denotes the antisymmetric tensor with \(\epsilon _{01} = -\epsilon _{10} = 1\). Other standard notations are \({\bar{\psi }}_j:= \psi _j^\dagger \gamma _0\) and
with anticommuting matrices \(\gamma ^0,\gamma ^1 \in \textrm{Mat}(2\times 2,{\mathbb {C}})\), \([\gamma ^\mu ,\gamma ^\nu ]_+ = 2g^{\mu \nu }\).
References
Abdalla, E., Abdalla, M.C.B., Rothe, K.D.: Non-perturbative Methods in 2 Dimensional Quantum Field Theory. World Scientific, Singapore (2001)
Appleby, P.G., Duffy, B.R., Ogden, R.W.: On the classification of isotropic tensors. Glasg. Math. J. 29(2), 185–196 (1987). https://doi.org/10.1017/S0017089500006832
Arinshtein, A.E., Fateyev, V.A., Zamolodchikov, A.B.: Quantum S-matrix of the (1 + 1)-dimensional Todd chain. Phys. Lett. B 87(4), 389–392 (1979). https://doi.org/10.1016/0370-2693(79)90561-6
Alazzawi, S., Lechner, G.: Inverse scattering and local observable algebras in integrable quantum field theories. Commun. Math. Phys. 354(3), 913–956 (2017). https://doi.org/10.1007/s00220-017-2891-0
Babujian, H., Fring, A., Karowski, M., Zapletal, A.: Exact form factors in integrable quantum field theories: the Sine-Gordon model. Nucl. Phys. B 538(3), 535–586 (1999)
Bateman Manuscript Project, ed. Higher Transcendental Functions—Volume 1 (1953)
Bostelmann, H., Cadamuro, D.: Characterization of local observables in integrable quantum field theories. Commun. Math. Phys. 337(3), 1199–1240 (2015). https://doi.org/10.1007/s00220-015-2294-z
Bostelmann, H., Cadamuro, D.: Negative energy densities in integrable quantum field theories at one-particle level. Phys. Rev. D 93, 6 (2016). https://doi.org/10.1103/physrevd.93.065001
Bostelmann, H., Cadamuro, D.: Fermionic Integrable Models and Graded Borchers Triples. arXiv:2112.14686 [math-ph] (2021)
Bostelmann, H., Cadamuro, D., Fewster, C.J.: Quantum energy inequality for the massive Ising model. Phys. Rev. D 88(2), 025019 (2013). https://doi.org/10.1103/PhysRevD.88.025019
Bostelmann, H., Fewster, C.J.: Quantum inequalities from operator product expansions. Commun. Math. Phys. 292(3), 761 (2009). https://doi.org/10.1007/s00220-009-0853-x
Babujian, H., Foerster, A., Karowski, M.: Exact form factors in integrable quantum field theories: the scaling Z(N)-Ising model. Nucl. Phys. B 736(3), 169–198 (2006). https://doi.org/10.1016/j.nuclphysb.2005.12.001. arXiv:hep-th/0510062
Babujian, H.M., Foerster, A., Karowski, M.: The form factor program: a review and new results, the nested SU(N) off-Shell Bethe Ansatz and the 1/N expansion. Theor. Math. Phys. 155(1), 512–522 (2008). https://doi.org/10.1007/s11232-008-0042-7
Babujian, H.M., Foerster, A., Karowski, M.: Exact form factors of the SU(N) Gross–Neveu model and 1/N expansion. Nucl. Phys. B 825(3), 396–425 (2010). https://doi.org/10.1016/j.nuclphysb.2009.09.023
Babujian, H.M., Foerster, A., Karowski, M.: Exact form factors of the O(N) Sigma-model. J. High Energy Phys. 11, 89–143 (2013). https://doi.org/10.1007/JHEP11(2013)089
Babujian, H.M., Foerster, A., Karowski, M.: Asymptotic factorization of N-particle SU(N) form factors. J. High Energy Phys. 2021(6), 32 (2021). https://doi.org/10.1007/JHEP06(2021)032
Babujian, H., Karowski, M.: Exact form factors in integrable quantum field theories: the Sine-Gordon model (II). Nucl. Phys. B 620(3), 407–455 (2002). https://doi.org/10.1016/S0550-3213(01)00551-X
Bostelmann, H., Lechner, G., Morsella, G.: Scaling limits of integrable quantum field theories. Rev. Math. Phys. 23(10), 1115–1156 (2011). https://doi.org/10.1142/S0129055X11004539
Castillejo, L., Dalitz, R.H., Dyson, F.J.: Lowæs scattering equation for the charged and neutral scalar theories. Phys. Rev. 101(1), 453–458 (1956). https://doi.org/10.1103/PhysRev.101.453
Castro-Alvaredo, O., Fring, A.: Form factors from free fermionic Fock fields, the Federbush model. Nucl. Phys. B 618(3), 437–464 (2001). https://doi.org/10.1016/S0550-3213(01)00462-X
Cadamuro, D., Tanimoto, Y.: Wedge-local fields in integrable models with bound states. Commun. Math. Phys. 340(2), 661–697 (2015). https://doi.org/10.1007/s00220-015-2448-z
Dawson, S.P.: A quantum weak energy inequality for the Dirac field in two-dimensional flat spacetime. Class. Quantum Gravity 23(1), 287–293 (2006). https://doi.org/10.1088/0264-9381/23/1/014
Delfino, G., Simonetti, P., Cardy, J.L.: Asymptotic factorisation of form factors in two-dimensional quantum field theory. Phys. Lett. B 387(2), 327–333 (1996). https://doi.org/10.1016/0370-2693(96)01035-0
Fewster, C.J., Eveson, S.P.: Bounds on negative energy densities in flat spacetime. Phys. Rev. D 58, 8 (1998). https://doi.org/10.1103/PhysRevD.58.084010
Federbush, P.: A two-dimensional relativistic field theory. Phys. Rev. 121(4), 1247–1249 (1961). https://doi.org/10.1103/PhysRev.121.1247
Fewster, C.J.: Lectures on Quantum Energy Inequalities. arXiv:1208.5399 [gr-qc, math-ph] (2012)
Fewster, C.J., Hollands, S.: Quantum energy inequalities in two-dimensional conformal field theory. Rev. Math. Phys. 17(05), 577–612 (2005). https://doi.org/10.1142/s0129055x05002406
Fring, A., Mussardo, G., Simonetti, P.: Form factors for integrable Lagrangian field theories, the Sinh-Gordon model. Nucl. Phys. B 393, 413–441 (1993). https://doi.org/10.1016/0550-3213(93)90252-k
Ford, L.H.: Quantum coherence effects and the second law of thermodynamics. Proc. R. Soci. Lond. A Math. Phys. Sci. 364(1717), 227–236 (1978). https://doi.org/10.1098/rspa.1978.0197
Jolicoeur, T., Niel, J.C.: An analytical evaluation for the mass gap of the non-linear Sigma model. Nucl. Phys. B 300, 517–530 (1988). https://doi.org/10.1016/0550-3213(88)90610-4
Karowski, M., Thun, H., Truong, T., Weisz, P.: On the Uniqueness of a Purely Elastic S-matrix in (1+1) Dimensions. Phys. Lett. B 67(3), 321–322 (1977). https://doi.org/10.1016/0370-2693(77)90382-3
Kato, T.: Perturbation Theory for Linear Operators. Classics in Mathematics, Springer, Berlin (1995)
Koubek, A., Mussardo, G.: On the operator content of the Sinh-Gordon model. Phys. Lett. B 311(1), 193–201 (1993). https://doi.org/10.1016/0370-2693(93)90554-U
Kontou, E.-A., Sanders, K.: Energy conditions in general relativity and quantum field theory. Class. Quantum Gravity 37(19), 193001 (2020). https://doi.org/10.1088/1361-6382/ab8fcf. arXiv: 2003.01815
Karowski, M., Weisz, P.: Exact form factors in(1 + 1)-dimensional field theoretic models with soliton behaviour. Nucl. Phys. B 139(4), 455–476 (1978). https://doi.org/10.1016/0550-3213(78)90362-0
Lashkevich, M.Y.: Sectors of Mutually Local Fields in Integrable Models of Quantum Field Theory. arXiv:hep-th/9406118 (1994)
Lechner, G.: Algebraic Constructive Quantum Field Theory: Integrable Models and Deformation Techniques (2015). https://doi.org/10.48550/arXiv.1503.03822. arXiv: 1503.03822 [hep-th, physics:math-ph]
Liguori, A., Mintchev, M.: Fock representations of quantum fields with generalized statistic. Commun. Math. Phys. 169(3), 635–652 (1995). https://doi.org/10.1007/BF02099316. arXiv: hep-th/9403039
Lechner, G., Schützenhofer, C.: Towards an operator-algebraic construction of integrable global gauge theories. Ann. Henri Poincaré 15(4), 645–678 (2014). https://doi.org/10.1007/s00023-013-0260-x
Mandrysch, J.: Energy Inequalities in Integrable Quantum Field Theory. Doctoral Thesis. Universität Leipzig, Leipzig (2023). https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-873564
Mandrysch, J.: Numerical results on Quantum Energy Inequalities in Integrable Models at the Two-Particle level, arXiv:2312.14960 [hep-th] (2023)
NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.7 of 2022-10-15
Parthasarathy, K.R.: Eigenvalues of matrix-valued analytic maps. J. Aust. Math. Soc. 26(2), 179–197 (1978). https://doi.org/10.1017/S144678870001168X
Reed, M., Simon, B.: Methods of Modern Mathematical Physics II: Fourier Analysis, Self-Adjointness. Elsevier, Amsterdam (1975)
Ruijsenaars, S.N.M.: Integrable quantum field theories and Bogoliubov transformations. Ann. Phys. 132(2), 328–382 (1981). https://doi.org/10.1016/0003-4916(81)90071-3
Ruijsenaars, S.N.M.: Scattering theory for the Federbush, massless Thirring and continuum Ising models. J. Funct. Anal. 48(2), 135–171 (1982). https://doi.org/10.1016/0022-1236(82)90065-9
Singh, L., Hagen, C.: Current definition and a generalized Federbush model. Ann. Phys. 115(1), 136–152 (1978). https://doi.org/10.1016/0003-4916(78)90178-1
Smirnov, F.A.: Form Factors in Completely Integrable Models of Quantum Field Theory. World Scientific, Singapore (1992)
Schroer, B., Truong, T., Weisz, P.: Towards an explicit construction of the Sine-Gordon field theory. Phys. Lett. B 63(4), 422–424 (1976). https://doi.org/10.1016/0370-2693(76)90386-5
Tanimoto, Y.: Construction of two-dimensional quantum field models through Longo–Witten endomorphisms. Forum Math. Sigma 2, e7 (2014). https://doi.org/10.1017/fms.2014.3
Zamolodchikov, A.B.: Irreversibility of the flux of the renormalization group in a 2D field theory. J. Exp. Theor. Phys. Lett. 43, 730–732 (1986)
Zamolodchikov, A.B., Zamolodchikov, A.B.: Relativistic factorized S-matrix in two dimensions having O(N) isotopic symmetry. Nucl. Phys. B 133(3), 525–535 (1978). https://doi.org/10.1016/0550-3213(78)90239-0
Zamolodchikov, A.B., Zamolodchikov, A.B.: Factorized S-matrices in two dimensions as the exact solutions of certain relativistic quantum field theory models. Ann. Phys. 120(2), 253–291 (1979). https://doi.org/10.1016/0003-4916(79)90391-9
Acknowledgements
J.M. would like to thank Karim Shedid Attifa and Markus Fröb for many fruitful discussions. D.C. and J.M. acknowledge support by the Deutsche Forschungsgemeinschaft (DFG) within the Emmy Noether Grant CA1850/1-1 and Grant No. 406116891 within the Research Training Group RTG 2522/1. H.B. would like to thank the Institute for Theoretical Physics at the University of Leipzig for hospitality.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Karl-Henning Rehren.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
The Minimal Solution
This appendix collects rigorous results on existence and uniqueness of minimal solutions for integrable models, as well as estimates for their asymptotic growth, which are central to the question whether a QEI holds in the model (see Sec. 5).
Some of these results are also contained in [8], whereas a less rigorous but informative treatment can be found in [35]. Our existence result is based on an integral representation of the minimal solution which is well known in principle and has been employed before in many concrete models, e.g., sinh-Gordon [28], SU(N)-Gross–Neveu [14], and O(N)-nonlinear-\(\sigma \) [15]. Existence of the integral representations was argued in [35], but without giving explicit assumptions. General results on the asymptotic growth of the minimal solution, based on this integral representation, are new to the best of the authors’ knowledge.
1.1 Eigenvalue Decomposition of the S-Function
To begin with, we establish the eigenvalue decomposition of an S-function. Since \(S(\theta )\in {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) is unitary for real arguments, it is diagonalizable; this extends to complex arguments by analyticity:
Proposition A.1
Let S be an S-function and D(S) its domain of analyticity. Then there exists \(k\in {\mathbb {N}}\) and a discrete set \(\Delta (S) \subset D(S)\) such that the number of distinct eigenvalues of \(S(\zeta )\) is k for all \(\zeta \in D(S){\setminus } \Delta (S)\) and strictly less than k for all \(\zeta \in \Delta (S)\). Further, for any simply connected domain \({\mathcal {D}} \subset D(S) {\setminus } \Delta (S)\) there exist analytic functions \(S_i:{\mathcal {D}} \rightarrow {\mathbb {C}}\), and analytic projection-valued functions \(P_i: {\mathcal {D}} \rightarrow {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\), \(i=1, \ldots ,k\) with
such that for all \(\zeta \in {\mathcal {D}}\),
-
(a)
\(S_1(\zeta ), \ldots ,S_k(\zeta )\) coincide with the eigenvalues of \(S(\zeta )\) and \(P_1(\zeta ), \ldots ,P_k(\zeta )\) coincide with the projectors onto the respective eigenspaces.
In particular, \(P_i(\zeta ) P_j(\zeta ) = \delta _{ij} P_i(\zeta )\) for \(i,j=1, \ldots ,k\),
-
(b)
if \(-\zeta \in {\mathcal {D}}\) one has \(S_i(-\zeta ) = S_i(\zeta )^{-1}\) and \(P_i(-\zeta ) = P_i(\zeta )\),
-
(c)
if \({\bar{\zeta }}\in {\mathcal {D}}\) one has \(\overline{S_i({\bar{\zeta }})} = S_i(\zeta )^{-1}\) and \(P_i({\bar{\zeta }}) = P_i(\zeta )^\dagger \),
-
(d)
each \(P_i\) satisfies \({\mathcal {G}}\) invariance, \([P_i(\zeta ), V(g)^{\otimes 2}] = 0, g \in {\mathcal {G}}\), CPT invariance, \(P_i(\zeta ) = J^{\otimes 2} {\mathbb {F}} P_i(\zeta )^\dagger {\mathbb {F}} J^{\otimes 2},\) and translational invariance, \((E_m\otimes E_{m'})P_i(\zeta ) = P_i(\zeta ) (E_{m'}\otimes E_{m})\) for all \(m,m'\in {\mathfrak {M}}\).
The decomposition is unique up to relabeling.
Proof
For the eigenvalue decomposition of a matrix-valued analytic function, see e.g. [43, Theorem 4.8] or [32, Chapter 2]. Restricting S to its domain of analyticity \({\mathcal {D}}(S)\) we can apply the theorem from the first-named reference: For some \(k\in {\mathbb {N}}\) and a discrete set \(\Delta (S) \subset D(S)\) and any simply connected domain \({\mathcal {D}}\subset D(S){\setminus } \Delta (S)\) we obtain pairwise distinct analytic functions \(S_i: {\mathcal {D}} \rightarrow {\mathbb {C}}\) and \(P_i,D_i:{\mathcal {D}}\rightarrow {\mathcal {B}}({\mathcal {K}}^{\otimes 2})\) for \(i=1,\ldots ,k\) such that for each \(\zeta \in {\mathcal {D}}\)
is the unique Jordan decomposition of \(S(\zeta )\) with eigenvalues \(S_i(\zeta )\), eigenprojectors \(P_i(\zeta )\) and eigennilpotents \(D_i(\zeta )\), \(i=1, \ldots ,k\). Let us enlarge \({\mathcal {D}}\) to \(\tilde{{\mathcal {D}}}\) within \(D(S)\setminus \Delta (S)\) such that \(\tilde{{\mathcal {D}}}\cap {\mathbb {R}} \subset {\mathbb {R}}\) is open and non-empty and such that \(\tilde{{\mathcal {D}}}\) is still simply connected; this is always possible since \({\mathbb {C}}\setminus D(S)\) and \(\Delta (S)\) are discrete, i.e., countable and without finite accumulation points. Since \(S(\theta )\) for \(\theta \in {\mathbb {R}}\) is unitary and therefore semisimple we find that \(D_i\restriction {\tilde{{\mathcal {D}}}\cap {\mathbb {R}}} = 0\). Since \(D_i\) is analytic, this implies \(D_i=0\). From the properties of the Jordan decomposition we further infer that \(P_i(\zeta )P_j(\zeta )= \delta _{ij}P_i(\zeta ), \,i,j=1, \ldots ,k\).
The properties (b)–(d) are implied by the corresponding properties of S. \(\square \)
Note that the \(S_i\) (within any domain \({\mathcal {D}}\) from above) satisfy all the properties of a scalar S-function except for crossing symmetry. Specifically, these are the properties (S1) and (S2), since (S3), (S4), (S6), and (S7) are trivially satisfied in the scalar setting.
In typical examples, the decomposition in Eq. (A.1) can be extended to all of \({\mathbb {C}}\) if one allows for meromorphic \(S_i\) and \(P_i\). This applies particularly to models with constant eigenprojectors (e.g., all models with constant or diagonal S-functions) but also the other examples treated in Sect. 7.
1.2 Uniqueness of the Minimal Solution and Decomposition of One-Particle Solutions
Throughout the remainder of Appendix A, we intend to analyse eigenvalues S of some matrix-valued S-function; thus, S will denote a \({\mathbb {C}}\)-valued (not matrix-valued) function from now on. The content of the present section is taken from [8] with slight generalizations. Central to the section is:
Lemma A.2
Let \(S: {\mathbb {C}}\rightarrow {\mathbb {C}}\) be a meromorphic function with no poles on the real line. Then there exists at most one meromorphic function \(F:{\mathbb {C}}\rightarrow {\mathbb {C}}\) such that
-
(a)
F has no poles and no zeroes in \({\mathbb {S}}[0,\pi ]\), except for a first-order zero at 0 in case that \(S(0)=-1\),
-
(b)
\(\exists a,b,r>0\, \forall |\Re \zeta | \ge r, \Im \zeta \in [0,\pi ]: \quad |\log |F(\zeta )||\le a + b |\Re \zeta |\),
-
(c)
\(F(i\pi + \zeta ) = F(i\pi - \zeta )\),
-
(d)
\(F(\zeta ) = S(\zeta ) F(-\zeta )\),
-
(e)
\(F(i\pi )=1\).
If such a function exists, we will refer to it as the minimal solution \(F_{S,\textrm{min}}\) with respect to S. Due to (d), a necessary condition for existence is the relation \(S(-\zeta ) = S(\zeta )^{-1}\) for all \(\zeta \in {\mathbb {C}}\).
Proof of Lemma A.2
Assume that there are two functions \(F_A\), \(F_B\) with the stated properties. Then the meromorphic function \(G(\zeta ):=F_A(\zeta )/F_B(\zeta )\) has neither poles nor zeroes in \({\mathbb {S}}[0, 2 \pi ]\) and satisfies \(G(\zeta ) = G(-\zeta ) = G(\zeta +2\pi i)\). These relations imply that \(q:=G\circ {{\,\textrm{ch}\,}}^{-1}\) is well defined and entire. The asymptotic estimates (b) for \(|\log |F_{A/B} ||\) imply an analogous estimate for \(|\log |G||= |\log |F_A|- \log |F_B ||\) by the triangle inequality. Thus, q is polynomially bounded at infinity and therefore a polynomial. However, since q does not have zeroes, it must be a constant with \(q\equiv q(-1)=1\) due to \(G(i\pi )=1\). Hence, \(F_A=F_B\). \(\square \)
Corollary A.3
If in addition \(\overline{S({\bar{\zeta }})} = S(\zeta )^{-1}, \zeta \in {\mathbb {C}},\) then it holds that
Proof
Since \(\overline{S(-{\bar{\zeta }})} = S(\zeta )\), it is clear that \(\zeta \mapsto \overline{F_\textrm{min}(-{\bar{\zeta }})}\) satisfies the same properties (a)–(e) as \(F_\textrm{min}\). By uniqueness they have to be equal. \(\square \)
Corollary A.4
For \(n\in {\mathbb {N}}\) let \(S_1, \ldots ,S_n:{\mathbb {C}}\rightarrow {\mathbb {C}}\) be meromorphic functions such that their minimal solutions \(F_{j,\textrm{min}}\) exist. Then the minimal solution with respect to \(\zeta \mapsto S_\Pi (\zeta ) = \prod _{j=1}^n S_j(\zeta )\) exists and is given by
where \(s = |\{ j: S_j(0) = -1\}|\).
Proof
One easily checks that Eq. (A.3) satisfies conditions (b)–(e) of Lemma A.2 with respect to \(S_{\Pi }\). Also, counting the order of zeroes at 0 on the r.h.s. yields \(s - 2 \lfloor \tfrac{s}{2} \rfloor \), which evaluates to 1 for odd s (when \(S_{\Pi }(0) = -1\)) and to 0 otherwise (when \(S_{\Pi }(0) = +1\)), thus establishing condition (a). \(\square \)
We now apply theses results to classify “non-minimal” solutions, having more zeroes or poles than allowed by condition (a):
Lemma A.5
Let \(F:{\mathbb {C}}\rightarrow {\mathbb {C}}\) be a meromorphic function which satisfies properties (c)–(e) of Lemma A.2 with respect to some meromorphic function S, and suppose
Assume further that the minimal solution \(F_{S,\textrm{min}}\) with respect to S exists. Then there is a unique rational function q with \(q(-1)=1\) such that
In particular, if F has no poles in \(S[0,\pi ]\), then q is a polynomial.
Proof
Since the pole set of the meromorphic function F has no finite accumulation points, and its intersection with \({\mathbb {S}}[0,2\pi ]\) must be located in a compact set due to (c) and the estimate (A.4), this intersection must be finite. Now, define \(\zeta \mapsto G(\zeta ):= F(\zeta )/F_{S,\textrm{min}}(\zeta )\) which satisfies \(G(\zeta ) = G(-\zeta ) = G(\zeta +2\pi i)\). Then, analogous to the proof of Lemma A.2, there exists a meromorphic function \(q = G\circ {{\,\textrm{ch}\,}}^{-1}\) which is polynomially bounded at infinity and has finitely many poles. Thus, it is a rational function. Lastly, note that \(q(-1)=1\) due to \(G(i\pi )=1\). \(\square \)
1.3 Existence of the Minimal Solution and Its Asymptotic Growth
In this section, we establish the existence of a common integral representation of the minimal solution for a large class of (eigenvalues of) regular S-functions, namely those satisfying the hypothesis of Theorem A.6. As a by-product, but of crucial importance for our discussion in Sect. 7, we obtain an explicit formula for the asymptotic growth of the minimal solution (Proposition A.11).
For \({\mathbb {C}}\)-valued functions S and f, the integral expressions of interest are formally given by
we will give conditions for their well-definedness below. f[S] will be referred to as the characteristic functionFootnote 5 with respect to S. For a large class of functions S, the functions \(S_{f[S]}\) and \(F_{f[S]}\) will agree with S and \(F_{S,\textrm{min}}\) respectively.
For the following, let us agree to call a function f on \({\mathbb {R}}\) exponentially decaying iff
analogously for functions on \([0,\infty )\). A function f on a strip \({\mathbb {S}}(-\epsilon ,\epsilon )\) will be called uniformly \(L^1\) if \(f(\cdot + i \lambda ) \in L^1({\mathbb {R}})\) for every \(\lambda \in (-\epsilon ,\epsilon )\), with the \(L^1\) norm uniformly bounded in \(\lambda \).
Now, we are ready to state the main result:
Theorem A.6
Let \(S:{\mathbb {C}}\rightarrow {\mathbb {C}}\) be a meromorphic function with no poles on the real line, satisfying \(S(\zeta )^{-1} = S(-\zeta )\), and regularity (S8). Suppose that \(r_S(\zeta ):=iS'(\zeta )/S(\zeta )\) is uniformly \(L^1\) on some strip \({\mathbb {S}}(-\epsilon ,\epsilon )\). Then \(f[S] \in C([0,\infty ),{\mathbb {R}})\) is exponentially decaying. If further \(f[S] \in C^2([0,\delta ))\) for some \(\delta > 0\), then the minimal solution with respect to S exists.
In more detail, under these assumptions \(S_{f[S]}\) and \(F_{f[S]}\) are well defined, nonvanishing and analytic on \({\mathbb {S}}(-\epsilon ,\epsilon )\) and \({\mathbb {S}}(-\epsilon ,2\pi +\epsilon )\), respectively. The meromorphic continuations of \(S_{f[S]}\) and \(F_{f[S]}\) to all of \({\mathbb {C}}\) exist. In case that \(S(0) = 1\), we have \(S_{f[S]}=S\) and \(F_{f[S]}=F_{S,\textrm{min}}\). In case that \(S(0) = -1\), we have \(S_{f[S]}=-S\) and \(F_{f[S]}=F_{-S,\textrm{min}}\); and \(F_{S,\textrm{min}}(\zeta ) = (-i {{\,\textrm{sh}\,}}\tfrac{\zeta }{2}) F_{-S,\textrm{min}}(\zeta )\).
The examples treated in Sect. 7 fulfil this condition: In particular, for products of S-functions of sinh-Gordon type (see Eq. (7.1)), \(r_S\) is exponentially decaying (on a strip) and f[S] is actually smooth on \([0,\infty )\) (cf. Equation (7.2)). For the eigenvalues of the S-function of the O(n)-NLS model, \(S \in \{ S_0, S_+, S_-\}\), we find \(r_{S}(\theta +i\lambda ) \lesssim \theta ^{-2}\), \(|\theta |\rightarrow \infty \), uniformly in \(\lambda \in [-\epsilon ,\epsilon ]\) for some \(\epsilon > 0\) and again, that f[S] is smooth on \([0,\infty )\) (cf. Appendix B).
We give the proof of the theorem in several steps. To begin with, we have:
Lemma A.7
Let \(r_S\) be uniformly \(L^1\) on a strip \({\mathbb {S}}(-\epsilon ,\epsilon )\). Then \(f[S]:{\mathbb {R}} \rightarrow {\mathbb {R}}\) is an even, bounded, and continuous function which decays exponentially.
Proof
Since \(r_S\) restricted to \({\mathbb {R}}\) is \(L^1\)-integrable, its Fourier transform \(\widetilde{r_S}\) is bounded, continuous and vanishes towards infinity. As \(r_S\) is even,
also \(\widetilde{r_S}\) is even and we have
Let now \(0< \lambda < \epsilon \) be arbitrary. By assumption, \(r_S(\cdot +i\lambda )\) is \(L^1\)-integrable as well; and by the translation property of the Fourier transform,
where \(\widetilde{r_S(\cdot +i\lambda )}(t)\) vanishes for \(|t|\rightarrow \infty \) due to the Riemann–Lebesgue lemma. Thus, \(\widetilde{r_S}\) is exponentially decaying towards \(+\infty \), and since it is even also towards \(-\infty \). \(\square \)
We continue with an existence result for \(S_f\) and \(F_f\) and some of their basic properties:
Lemma A.8
Let \(f \in C([0,\infty ),{\mathbb {R}})\) be exponentially decaying. Then the functions \(S_f\) and \(F_f\) are well defined by the integral expressions (A.7) and (A.8). Further they are nonvanishing and analytic on \({\mathbb {S}}(-\epsilon ,\epsilon )\) and \({\mathbb {S}}(-\epsilon ,2\pi + \epsilon )\), respectively, for some \(\epsilon > 0\).
Proof
By assumption there exist positive constants \(a,r,\epsilon > 0\) such that \(|f(t)| < a \exp (-\epsilon t)\) for all \(t \ge r\). By the triangle inequality, \(|\sin \pi ^{-1} \zeta t| = \tfrac{1}{2} | e^{i\pi ^{-1}\zeta t} + e^{-i\pi ^{-1}\zeta t}| \le \exp (\pi ^{-1} |\Im \zeta | t)\) for all \(t\ge 0\). Thus, we find that \(f(t) t^{-1} \sin (\pi ^{-1} \zeta t)\) is exponentially decaying for \(|\Im \zeta | < \epsilon \). Also, this function is continuous (including at \(t=0\) because of the first-order zero of the sine function at zero). By similar arguments, the same holds for its derivative with respect to \(\zeta \). In particular, \(t \mapsto f(t) t^{-1} \sin (\pi ^{-1} \zeta t)\) and its \(\zeta \)-derivative are absolutely integrable for all \(\zeta \in {\mathbb {S}}(-\epsilon ,\epsilon )\). As a consequence, \(S_f\) is well defined and analytic on \({\mathbb {S}}(-\epsilon ,\epsilon )\). Since \(S_f\) is given by an exponential, it does not vanish.
The argument for \(F_f\) runs analogously. The estimate from above implies that \(|\sin ^2 (2\pi )^{-1} (i\pi -\zeta ) t| \le \exp (\pi ^{-1} |\Im (i\pi -\zeta )| t)\) for all \(t\ge 0\). As a consequence, \(t\mapsto f(t) (t{{\,\textrm{sh}\,}}t)^{-1} \sin ^2 ((2\pi )^{-1} (i\pi -\zeta ) t)\) is exponentially decaying for \(|\Im \zeta - \pi | < \pi +\epsilon \). It is further continuous (including at \(t=0\) because of the second-order zero of the sine function at zero). Together with similar properties of the \(\zeta \)-derivative, it follows that \(F_f\) is well defined, analytic, and nonvanishing in the region \({\mathbb {S}}(-\epsilon ,2\pi + \epsilon )\). \(\square \)
Lemma A.9
Let \(f \in C([0,\infty ),{\mathbb {R}})\) be exponentially decaying. Then \(S_f(0) = 1\) and \(F_f(i\pi )=1\). Moreover, there exists \(\epsilon > 0\) such that for all \(\zeta \in {\mathbb {S}}(-\epsilon ,\epsilon )\),
and
Proof
\(S_f(0)= 1\) and \(F_f(i\pi )=1\) is immediate by definition. Next, take \(\zeta \in {\mathbb {S}}(-\epsilon ,\epsilon )\) with the \(\epsilon \) from Lemma A.8. Then
implies that \(S_f(\zeta )^{-1} = S_f(-\zeta )\). Similarly,
implies that \(F_f(i\pi + \zeta ) = F_f(i\pi -\zeta )\). Lastly, the relation
implies that
which concludes the proof. \(\square \)
Corollary A.10
For arbitrary \(c \in {\mathbb {R}}\) and exponentially decaying \(f,g\in C([0,\infty ), {\mathbb {R}})\), one has
-
(a)
\(S_{c f} = (S_f)^c, \quad F_{c f} = (F_f)^c,\)
-
(b)
\(S_{f+g} = S_f S_g, \quad F_{f+g} = F_f F_g,\)
-
(c)
\(S_f = S_g \Leftrightarrow f = g, \quad F_f = F_g \Leftrightarrow f = g.\)
Proof
(a) and (b) are immediate since \(\log S_f\) and \(\log F_f\) are linear in f by definition. In (c), we only need to show “\(\Rightarrow \),” and by the previous parts, we may assume \(g=0\), with \(S_0 = F_0 = 1\). Now if \(S_f = 1\), we compute from Eq. (A.7) for any \(\lambda \in {\mathbb {R}}\),
hence \(f=0\) by the inversion formula for the Fourier cosine transform.
If \(F_f = 1\), we use (A.14) to conclude that \(S_f = 1\), which implies \(f=0\) as seen earlier. \(\square \)
Proposition A.11
(Asymptotic estimate) Let \(f \in C([0,\infty ),{\mathbb {R}})\) be exponentially decaying and \(C^2([0,\delta ))\) for some \(\delta > 0\). Let \(f_0:=f(0)\) and \(f_1:= f'(0)\), where \(^\prime \) refers to the half-sided derivative. Then there exist constants \(0 < c \le c'\) and \(r>0\) such that
Proof
In the following, let \(z:= (i\pi -\zeta )/2\pi \) with \(x:=|\Re z|>0\) and \(y:=|\Im z| \le \frac{1}{2}\). Then
The aim is to show that \(|I(z) - f_0 \pi x - f_1 \log x|\) is uniformly bounded in \(z\in {\mathbb {S}}[-\tfrac{1}{2},\tfrac{1}{2}]\), as this implies the bound (A.20) by monotonicity of the exponential function. To begin with, note that the integrand of (A.21) for \(t\ge 1, y\le \frac{1}{2}\), is uniformly bounded by \(f(t)(t {{\,\textrm{sh}\,}}t)^{-1}(1+ {{\,\textrm{ch}\,}}t)\). This is integrable on \([1,\infty )\) by the exponential decay of f. The integral over \([1,\infty )\) is thus bounded uniformly in z by a constant \(c_0\).
As further preliminaries, let us note that
where \(c_1\), \(c_2\) are constants independent of x and y. This is implied by mean value estimates using regularity of the functions \((t{{\,\textrm{sh}\,}}t)^{-1} - t^{-2}\) and \(({{\,\textrm{ch}\,}}(2yt) -1)t^{-2}\) also at \(t=0\), where t and y are evaluated on compact ranges while x appears only in the argument of the cosine function. The same reasoning allows us to estimate
where we apply Taylor’s theorem to \(f\in C^2([0,\delta ))\) to argue regularity at \(t=0\).
Applying Eqs. (A.22)–(A.24) and the triangle inequality yields
where
in terms of the standard sine and cosine integral functions. Since these have the asymptotics \({\text {Si}}(x) = \frac{\pi }{2} + {\mathcal {O}}(x)\), \({\text {Cin}}(x) = \log x + {\mathcal {O}}(1)\) as \(x\rightarrow \infty \) [42, §6.12(ii)], one finds constants \(r,c>0\) such that
\(\square \)
With the asymptotic estimate for \(F_f\), we can now prove the main result:
Proof of Theorem A.6
First, consider \(S(0)=1\). By Lemma A.7, f[S] is exponentially decaying, and hence, by Lemma A.8, \(S_{f[S]}\) is well defined, and analytic and nonvanishing on a small strip. Combining (A.6) and (A.7) with the inversion formula for the Fourier cosine transform, we find for \(\lambda \in {\mathbb {R}}\),
Since also \(S_{f[S]}(0)=1=S(0)\), we conclude that \(S_{f[S]}=S\) first on the real line, and then as meromorphic functions.
Further by Lemma A.9, \(F:=F_{f[S]}\) is analytic and nonvanishing on the physical strip \({\mathbb {S}}[0,\pi ]\), satisfies \(F(i\pi ) = 1\), and for some \(\epsilon > 0\),
in fact, using these relations we can extend F as a meromorphic function to all of \({\mathbb {C}}\). Also, Proposition A.11 yields the asymptotic estimate in Lemma A.2(b). In summary, Lemma A.2 applies to F; hence, F is the unique minimal solution with respect to S.
In the case \(S(0)=-1\), one finds \(S_{f[S]} = S_{f[-S]} = -S\) by the above; also, \(F_{f[S]}=F_{f[-S]}\) is the minimal solution with respect to \(-S\), and from Corollary A.4, we have \(F_{S,\text {min}}(\zeta ) = -i{{\,\textrm{sh}\,}}\tfrac{\zeta }{2} F_{f[-S]} (\zeta )\). \(\square \)
Computing a Characteristic Function
In this appendix, we present a method to explicitly compute characteristic functions (as defined in Appendix A.3) for a certain class of S. The method is known but only briefly described in [31]. We illustrate it here using the eigenvalues of the S-function of the O(n)-nonlinear sigma model, i.e., \(S_i\) for \(i=\pm ,0\) (see Definition 7.7 and below). First, we present the general method; second, we check the examples \(f[S_\pm ]\) against the literature; lastly, we compute \(f[S_0]\).
The method applies to S-function eigenvalues which are given as a product of Gamma functions; see [5, Appendix C] for some typical examples. While this product can be infinite in general, we restrict here to finite products, which suffice for our purposes. Specifically, let S be of the form
where \(\lambda > 0\) and \(A_\pm \) are finite subsets of \((0,\infty )\) such that \(|A_+|=|A_-|\). It is straightforward to check that this indeed defines a regular \({\mathbb {C}}\)-valued S-function, apart from crossing symmetry which can only be satisfied for \(A_+=A_-=\emptyset \) or infinite products.
Lemma B.1
The characteristic function with respect to S as in Eq. (B.1) is
Proof
Since f[S] is linear in \(\log S\), it suffices to consider the case \(A_+=\{x_+\}\), \(A_-=\{x_-\}\). Using Malmstén’s formula (see, e.g., [6, Sec. 1.9])
we find
By definition in (A.6), f[S] is given as the Fourier cosine transform of \(S(\theta )^{-1} \frac{\textrm{d}}{\textrm{d}\theta } S(\theta ) = \frac{\textrm{d}}{\textrm{d}\theta } \log S(\theta )\); its inversion formula yields that \(f[S]=g\) since g is clearly integrable. \(\square \)
Example B.2
(Eigenvalues \(S_\pm \)). By definition, \(S_\pm (\theta ) = (b \pm c)(\theta ) = h_\pm (\theta ) b(\theta )\) with
and
where we used \(z = \Gamma (z+1)/\Gamma (z)\) in order to represent \(h_\pm \) in terms of \(\Gamma \). As a result,
which is of the form (B.1) for \(\lambda = 2\), \(A_+ = \{ \frac{1}{2}, \tfrac{1{\mp } 1}{2} + \frac{\nu }{2} \}\), and \(A_- = \{ 1, \frac{1}{2}+\frac{\nu }{2} \}\). Due to Lemma B.1 we find
This agrees with [15, Eq. (2.11)] and [35, Eq. (5.7)]. We read off
Example B.3
(Eigenvalue \(-S_0\)). Similarly to the preceding example, we write
with
Using again \(z = \Gamma (z+1)/\Gamma (z)\), we find
which is of the form (B.1) for \(\lambda = 2\), \(A_+ = \{\frac{3}{2}, 1 + \frac{\nu }{2} \}\), and \(A_- = \{1, \frac{1}{2} + \frac{\nu }{2} \}\). Due to Lemma B.1 we find
and conclude
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bostelmann, H., Cadamuro, D. & Mandrysch, J. Quantum Energy Inequalities in Integrable Models with Several Particle Species and Bound States. Ann. Henri Poincaré (2024). https://doi.org/10.1007/s00023-023-01409-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023-023-01409-8