Scattering Amplitudes from Euclidean Correlators:
Haag-Ruelle theory and approximation formulae
Abstract
In this work we provide a non-perturbative solution to the theoretical problem of extracting scattering amplitudes from Euclidean correlators in infinite volume. We work within the solid axiomatic framework of the Haag-Ruelle scattering theory and derive formulae which can be used to approximate scattering amplitudes arbitrarily well in terms of linear combinations of Euclidean correlators at discrete time separations. Our result generalizes and extends the range of applicability of a result previously obtained by Barata and Fredenhagen [1]. We provide a concrete procedure to construct such approximations, making our formulae ready to be used in numerical calculations of non-perturbative QCD scattering amplitudes. A detailed numerical investigation is needed to assess whether the proposed strategy can lead to the calculation of scattering amplitudes with phenomenologically satisfactory precision with presently available lattice QCD data. This will be the subject of future work. Nevertheless, the numerical accuracy and precision of lattice simulations is systematically improvable, and we have little doubts that our approach will become useful in the future.
Contents
- 1 Introduction
- 2 Theoretical framework
- 3 Approximation of scattering amplitudes
- 4 Matrix elements of local fields
- 5 Summary and remarks
- A Smooth functions with compact support
- B Construction of Haag operators
- C Asympotic behaviour of
- D Estimates for and
- E Results concerning the approximation
- F Matrix elements in the axiomatic framework
1 Introduction
Scattering matrix (-matrix) elements are the core observables of Quantum Field Theories (QFT) admitting particle interpretation. In the case of strongly interacting theories and, therefore, in the phenomenologically relevant case of Quantum Chromodynamics (QCD), scattering amplitudes cannot be calculated by using perturbative techniques. The non-perturbative accuracy required for their evaluation can, at least in principle, be obtained by means of lattice simulations. These are performed in Euclidean time, by introducing a finite volume and by discretizing it in units of the so-called lattice spacing. The lattice spacing and the finite volume regularize the theory in the ultraviolet and in the infrared. The Euclidean signature allows a probabilistic interpretation of the quantum mechanical path-integral of the theory and, hence, the numerical calculation of time-ordered Euclidean correlators by means of Markov-Chain Monte Carlo techniques. The Euclidean correlators contain all the physical information of a QFT. However, in practice, one needs to understand how to extract this information from a finite set of data, obtained on a finite volume and affected by numerical and statistical noise.
Physical quantities associated with stable single-particle states can be easily extracted from Euclidean correlators. This can be done by studying the leading asymptotic behavior at large Euclidean times of lattice correlators that, indeed, are dominated by single-particle contributions. Conversely, -matrix elements involving multi-particle states have to be extracted from contributions to Euclidean correlators that are exponentially suppressed in Euclidean time [2], and this poses challenging theoretical and numerical problems. Moreover, the continuum part of the spectrum gets quantized in a finite volume. In this setup, energy eigenstates heavier than single-particle states cannot be interpreted as states of incoming or outgoing asymptotic particles.
In a series of ground-breaking papers [3, 4, 5, 6], Lüscher managed to turn the infrared problem of the quantization of the spectrum into a non-perturbative method to compute infinite-volume two-particles elastic scattering amplitudes. In the Lüscher’s finite-volume approach, the quantization condition is derived analytically and it is then used to establish a mathematical connection between the finite-volume two-particles energy levels (that are discrete and that can be extracted from suitably chosen lattice correlators) and the elastic scattering phase shifts. In another fundamental paper [7], Lellouch and Lüscher have then extended the finite-volume formalism to the calculation of matrix elements of two-particles states below the relevant inelastic threshold. Subsequently, the original derivation of Lüscher’s quantization condition has been generalized to the case of multiple channels of two-particle states [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34] (this allows to study QCD processes in which e.g. a two-pion state can rescatter into a two-kaon state) and more recently also to three-particles states [35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71]. The resulting formalism in the case of three-particle states is so involved that it is hard to believe that further generalizations, that would allow to study phenomenologically interesting processes such as e.g. (where the threshold for producing more than 30 pions is open), will ever be obtained or could have practical applicability.
In this work we approach the theoretical problem of the extraction of -matrix elements from Euclidean correlators from a continuum, infinite-volume perspective. It turns out that scattering amplitudes can be approximated arbitrarily well by means of linear combinations of Euclidean correlators at discrete time separations and suitably smeared with respect to the spatial coordinates. We work under the assumption that these quantities have been computed numerically on the lattice and then extrapolated to the continuum and infinite-volume limits by properly quantifying the systematic errors associated with these extrapolations. In fact, the approximation formulae presented here are ready to be used in numerical calculations of non-perturbative QCD scattering amplitudes. Whether these formulae can lead to the calculation of scattering amplitudes with a satisfactory precision remains to be seen. A concrete numerical strategy, built on the numerical methods developed in refs. [72, 73] and then successfully applied in the non-perturbative calculation of inclusive hadronic quantities in refs. [74, 75, 76, 77, 78, 79, 80, 81], is sketched in section 5 and will be discussed in details in future publications. We concentrate here on the theoretical issues associated with the derivation of our results.
When talking about scattering in QFT, it is useful to contrast the theories developed by Lehmann, Symanzik and Zimmermann [82] (LSZ) on the one hand, and by Haag and Ruelle [83, 84] on the other hand. While the LSZ formalism is well known to particle physicists, and commonly adopted in practical calculations, the Haag-Ruelle formalism is much less known and rarely, if ever, used in calculations. The success of the LSZ formalism stems from the fact that scattering amplitudes are expressed in terms of time-ordered correlators in Minkowski space, which can be easily calculated in perturbation theory by means of Feynman diagrams. Nevertheless, Haag-Ruelle theory is more fundamental than the LSZ theory, in the sense that it allows to define asymptotic multi-particle states and not merely their matrix elements, essentially by giving a rigorous and non-perturbative meaning to the textbook expressions for the Møller operators (in terms of which, the scattering operator is given by ). In fact, the LSZ reduction formulae have to be derived starting from Haag-Ruelle scattering theory and this has rigorously been done in ref. [85].
Our approximation formulae are derived within the framework of Haag-Ruelle theory. This choice is dictated by a number of clear advantages of Haag-Ruelle over LSZ scattering theory. Firstly, scattering amplitudes are related to Euclidean correlators more directly via the Haag-Ruelle formalism: scattering amplitudes are natively expressed as spectral densities smeared with Schwartz kernels, while Euclidean correlators are Laplace transforms of the same spectral densities. In other words, Haag-Ruelle theory provides the shortest path to our approximation formula. Secondly, the full power of the Haag-Ruelle theory allows to determine the scaling of the systematic error induced by our approximation formula, as a function of a couple of approximation parameters. Lastly, Haag-Ruelle theory allows to derive a family of approximation formulae in terms of certain auxiliary functions which are largely arbitrary. This feature, that may look like a nuisance at first sight, is on the contrary a dial that can be used to minimize the systematic and statistical errors in realistic numerical calculations.
In terms of general goals, this paper presents strong similarities with previous work of Barata and Fredenhagen. In their forward-looking and inspiring paper [1], Barata and Fredenhagen have addressed some crucial aspects of the problem of extracting -matrix elements from Euclidean correlators in a lattice-discretized theory. In particular, they have shown that asymptotic states and, hence, scattering amplitudes can be rigorously defined in the lattice-discretized theory and can be approximated arbitrarily well by linear combinations of Euclidean correlators. This approximation is, at least in principle, calculable by means of lattice simulations. In the original Barata-Fredenhagen construction, the approximant does not necessarily have a well-defined continuum limit: the error on the approximation must be made vanishingly small before one can attempt a continuum extrapolation. Our philosophy is complementary: we show here that, even in the continuum theory, the scattering amplitude can be approximated by means of linear combinations of spatially-smeared Euclidean correlators. In order to achieve these results we had to cope with some fairly challenging mathematical subtleties, not encountered by Barata and Fredenhagen, originating from the fact that continuum fields are operator-valued distributions while lattice fields are bounded operators (at least in gauge theories coupled to fermions). For this technical reason, while our approximation formulae can be considered a generalization of those previously obtained by Barata and Fredenhagen, the mathematical proofs of our theorems require rather different techniques and, therefore, represent an original and (in our opinion) important result on their own.
In ref. [86], Bulava and Hansen studied the problem of the extraction of scattering amplitudes from Euclidean correlators by starting from the LSZ reduction formula. The main result of their investigation, derived under certain physically-plausible mathematical assumptions, are distributional expressions for scattering amplitudes given in terms of spectral densities convoluted with energy propagators, i.e. with the distributions . Bulava and Hansen then envisage replacing the energy correlators with Cauchy’s smearing kernels, i.e. with at finite values of the smearing parameter , in order to be able to apply the numerical techniques developed in ref. [72] for the extraction of smeared spectral densities from Euclidean correlators. In contrast, the smearing kernels appearing in our expressions for the scattering amplitudes, which naturally arise from Haag-Ruelle scattering theory, are much more general with respect to the ones envisaged by Bulava and Hansen and, by construction, are fully compatible with the axiomatic framework. Moreover, we anticipate that the original Haag-Ruelle construction can be generalized and, as a result, the class of smearing kernels can be significantly enlarged, thus providing more options which may be interesting in view of future numerical applications. These generalizations will be the subject of future work.
The paper is structured as follows. In section 2 we briefly review the Haag-Ruelle scattering theory by focusing on the main results, the axiomatic definition of the asymptotic states, on which our construction is then built. Section 3 presents the main results of this paper, organized in various subsections. In subsection 3.1 we derive a first useful representation of scattering amplitudes in terms of smeared Wightman functions. Scattering amplitudes are then rewritten in terms of spectral densities in subsection 3.2. Spectral densities are related to Euclidean correlators in subsection 3.3. Finally, the scattering amplitude is written in terms of Euclidean correlators at discrete time separations in subsection 3.5. In section 4, the construction is generalized to matrix elements of local operators between incoming or outgoing asymptotic states. In section 5 we summarize and discuss our results. The technical appendices contain the detailed mathematical proofs of the results presented and discussed in the main text.
2 Theoretical framework
We work in the framework of Wightman axioms [87] and Haag-Ruelle scattering theory [83, 84] (see also [88, 89] for a textbook introduction to the subject). For simplicity, we consider a Quantum Field Theory which contains only one particle with mass and zero spin. Therefore the the squared mass operator has a unique non-negative discrete eigenvalue , while the continuum part of the spectrum is given by . While the existence of a mass gap is an essential assumption behind Haag-Ruelle scattering theory, the formalism can be easily extended to theories with more stable particles.
Haag-Ruelle scattering theory allows to construct creation and annihilation operators for asymptotic particles. The creation and annihilation operators for outgoing particles, and respectively, satisfy the standard relations:
(2.1) | |||
(2.2) | |||
(2.3) |
where is one-particle energy, and are the Hamiltonian and momentum operators and denotes the vacuum state, i.e. the ground state of the Hamiltonian . Similar relations are satisfied by the creation and annihilation operators for ingoing particles, and , respectively. To be precise, and are operator-valued distributions. Given a Schwartz wave function , we define
(2.4) |
The antilinear dependence on is necessary in order to interpret and as one-particle states with wave function . Throughout this paper, we will consider only smooth wave functions with compact support (see appendix A for explicit examples).
In order to construct asymptotic states, one introduces operators with the general form
(2.5) |
where is a local field in momentum space, i.e. the Fourier transform of a local field in the Heisenberg picture:
(2.6) |
whose normalization is chosen in such a way that
(2.7) |
The central result of the Haag-Ruelle scattering theory is the existence of the scattering states and the fact that they can be constructed by means of the following strong limits:
(2.8a) | |||
(2.8b) |
provided that the functions satisfy two conditions: (1) the closed support of intersects the spectrum of energy-momentum operator only on the mass-shell , (2) the restriction of on the mass-shell gives the wave function, i.e. . The limits in eq. (2.8) are reached with an error in norm of order [83] in the general case. In the special case of non-overlap** velocities, i.e. if the set of velocities
(2.9) |
are pairwise disjoint, the limits in eq. (2.8) are reached with an error in norm that vanishes faster than any inverse power of [85]. Notice that, throughout this paper, the symbol denotes the closed support of .
In the case of wave functions with compact support one can choose the functions of the following form
(2.10) |
where are smooth functions with compact support satisfying .111 Operators of the general form (2.5) were not present in Haag’s original work [83] and were given e.g. by Hepp in [85]. We notice that, even though not manifest, the operators with given by (2.10) are indeed a specially case of the operators introduced originally by Haag [83]: The so-called quasi-local field is defined by means of its Fourier transform where is a smooth function with the following properties: (1) its compact support intersects the spectrum of energy-momentum operator only on the mass-shell , and (2) is equal to one in the support of the function . The existence of the functions is proved in appendix B (see also appendix A for an explicit example).
3 Approximation of scattering amplitudes
3.1 A useful representation for scattering amplitudes
Consider incoming particles with wave functions and outgoing particles with wave functions . The scattering amplitude for the considered scattering event is given by
(3.25) | |||
(3.42) |
where the symbol stands for the wave function if and its complex conjugate if , the product symbol with a right (resp. left) arrow indicates that factors must be ordered by increasing index from left to right (resp. right to left). In order to have a non-vanishing scattering matrix, we require that some momenta exist such that and which satisfy the energy-momentum conservation conditions
(3.43) |
where (resp. ) if the index corresponds to an outgoing (resp. incoming) particle.
Haag-Ruelle theory yields the relevant asymptotic states as the limit (in strong sense) of the following states
(3.44a) | |||
(3.44b) |
and the scattering amplitude as the limit of the transition probability
(3.45) |
which involves the Wightman function in momentum space:
(3.46) |
Notice that, in eq. (3.45), the complex exponential in the integrand oscillates more and more wildly as , at least for large values of . In view of a possible approximation strategy, this feature in undesirable. The oscillatory behavior can be partially regulated with the following trick. We introduce two unit-integral Schwartz functions and , with the additional requirement that has closed support in . Given some we define the integrated transition probability
(3.47) |
Translational invariance implies that the Wightman function is proportional to a delta of energy-momentum conservation [90, 91]. Using this fact, which allows to set to zero in the integrand below, a straightforward calculation yields
(3.48) |
which is written in terms of the Fourier transforms
(3.49) |
We claim that
(3.50) |
where can be an arbitrary positive number in the case of non-overlap** velocities and in the general case. The proof of this statement is postponed to appendix C.
Here we want to provide some insight into our construction. The role of the function can be understood by means of eq. (3.48). Notice that the condition that has unit integral is equivalent to the condition . can be chosen to be arbitrarily peaked around zero, and even with compact support (see appendix A for an explicit example), without affecting the limit of . This means that regions of the integral in eq. (3.48) characterized by arbitrarily small violations of the asymptotic-particle energy-conservation condition do not contribute to the limit of , i.e. to the scattering amplitude, as it should be.
The role of the function is better understood by means of eq. (3.47) and it amounts to a pure mathematical trick. Let us we rewrite eq. (3.47) as
(3.51) |
where we have implicitly defined and we have used the fact that has closed support in . If we take now the limit, we get
(3.52) |
where we have used the fact that has unit integral. Therefore the integration against is just a mathematical trick which allows to trade the limit with the limit, while partially regulating the oscillatory exponential of eq. (3.45). The property that has closed support in essentially selects the desired time-ordering of the asymptotic states and implies that must be complex (see appendix A for an explicit example).
3.2 Relation between transition amplitudes and spectral densities
Even though not necessary, it is convenient to consider the connected scattering amplitude, denoted in general with a subscript , and defined by replacing the expectation value in eq. (3.42) with its connected part. The connected transition amplitudes and are obtained by replacing the Wightman function in eqs. (3.45) and (3.48) with its connected part.222In the mathematical physics literature, connected Wightman distributions are often referred to as truncated Wightman distributions. Using the standard algebra that relates expectation values to connected expectation values, it is easy to show that eq. (3.50) remains valid also for the connected parts, i.e.
(3.53) |
Let us have a deeper look at the connected Wightman function. Using the representation
(3.54) |
in eq. (3.46) and the translational invariance of the vacuum, one can perform the integrations over the coordinates explicitly, obtaining a chain of delta functions. The connected Wightman function can thus be rewritten as a spectral density times the delta of energy-momentum conservation:
(3.55) | |||
(3.72) |
and we have used the identification:
(3.73) |
Eq. (3.55) shows that the connected Wightman function vanishes if any of the is outside of the spectrum of the energy-momentum operator or even if any of the vanishes (since the connected part removes the vacuum contributions). In other words, the support of the connected Wightman function satisfies
(3.74) |
While the variables are particularly suited to understand the support of the connected Wightman function, the proposed approximation strategy for the transition amplitude is discussed more naturally in the variables , defined by introducing the off-shellness variables:
(3.75) |
The spectral density is defined implicitly by the equation
(3.76) |
where the identification (3.75) is used. A more explicit representation for the spectral density will be given in the next section.
We plug the above representation of the connected Wightman function in the connected part of the transition amplitude given by eq. (3.48). Then, we use the expression for the functions given in eq. (2.10), we remove the delta of energy conservation by integrating over and we substitute the integration over the remaining variables with the integration over with . These manipulations yield the connected transition amplitude as
(3.77) | |||
where we have defined the asymptotic energy violation,
(3.78) |
and the Haag-Ruelle kernel,
(3.79) | |||
The off-shellness variables have been defined in such a way that the Haag-Ruelle kernel depends on the spatial momenta only via the asymptotic energy violation . Notice that eq. (3.77) allows to interpret the transition amplitude as a smeared version of the spectral density, where the wave functions and the Haag-Ruelle kernel can be thought as smearing kernels.
3.3 Relation between spectral densities and Euclidean -pt functions
We introduce the field in time-momentum representation at time , i.e.
(3.80) |
A few lines of algebra yield the following representation of the spectral density:
(3.89) | |||
(3.98) |
The Laplace transform of the spectral density with respect to the variables satisfies the relation
(3.99) |
where we have introduced the connected Euclidean -point functions in time-momentum representation:
(3.116) |
and the auxiliary functions
(3.117) |
3.4 General structure of the spectral density
Before attacking the problem of approximating the scattering amplitude, we need to discuss an important point of technical nature. On the basis of Wightman axioms alone, the Wightman functions in momentum space, and hence the spectral densities, can be arbitrarily singular tempered distributions. As we will see, even though the sought approximation exists for any spectral density which is compatible with Wightman axioms, in order to have a procedural way to construct such an approximation, one needs to know how singular the spectral density can be in the particular case of interest. One may be tempted to think that, in realistic theories such as QCD, the spectral density is a function rather than a distribution. This is clearly not the case even for two-point function spectral densities, in which one must expect in general contributions from delta functions corresponding to stable particles. In the case of spectral densities which are relevant for scattering processes, one must expect at least products of distributions of the type which, in a perturbative setup, can be understood as advanced and retarded propagators of incoming and outgoing particles. This structure has been exploited by Bulava and Hansen [86]. Once clarified that the spectral densities are expected to be true distributions in realistic cases, we turn to the problem of obtaining a representation which highlights their singular nature. This can be done in different ways: we choose a strategy which is dictated primarily by the need to keep the presentation as simple as possible, but one should keep in mind that different strategies are certainly possible and may be worth exploring in the future.
We will say that a function of a finite number of real variables is tempered if and only if a constant exists such that is integrable. Notice that a tempered function is, in particular, locally integrable. We will say that is -tempered if it is tempered and locally . Any tempered distribution can be written as the sum of possibly higher-order distributional derivatives of -tempered functions.333 This is a trivial consequence of theorem VI in chapter VII of [92], together with the observation that is a tempered function for any continuous bounded function and any . See also theorem V.10 in [93]. Roughly speaking, more derivatives correspond to more singular distributions. We illustrate this fact here with a few simple examples:
(3.118a) | |||
(3.118b) | |||
(3.118c) | |||
(3.118d) | |||
(3.118e) | |||
(3.118f) | |||
(3.118g) |
Let us apply this general property of tempered distribution to the spectral density. One can always find some -tempered functions labeled by the non-negative integer indices and with and such that, for every Schwartz function , the following identity holds
(3.119) | |||
In the above expression we use the standard multi-index notation:
(3.120) |
Notice that, while the integral sign in the left-hand side of eq. (3.119) is just a formal symbol denoting the application of a distribution to a test function, the integral in the right-hand side is a true Lebesgue integral. The representation (3.119) is generally not unique. The integers will appear explicitly in the construction of the approximation of the scattering amplitude.
In the final part of this section, we sketch a speculative argument that can be used to find reasonable estimates for and . We consider the smeared connected Wightman function in coordinate space
(3.137) |
written in terms of the semared fields
(3.138) |
where are arbitrary Schwartz functions. While the Wightman function in coordinate space is a tempered distribution, the smeared Wightman function in coordinate space is a polynomially-bounded smooth function. It is natural to expect that the singularity structure of the connected Wightman function in momentum space is related to the long distance behavior of the smeared connected Wightman function in coordinate space. If this is the case, one should be able to bound by bounding the long distance behavior of . Such bounds can be presumably obtained by assuming an effective-field-theory description of the long-distance physics. We present a concrete argument of conjectural nature as illustration of this fact.
In the case of QCD, one can view Lattice QCD as an effective theory description of the long-distance physics of QCD. Theorem 1 in Barata and Fredenhagen [1] implies that the following bound holds for the lattice-discretized smeared connected Wightman functions:
(3.139) |
where is an arbitrary non-negative number, depends and the smearing functions but not on , is the diameter of the set of spatial points, i.e.
(3.140) |
and is the maximum time separation between consecutive smeared operators as they appear in the right-hand side of eq. (3.137), i.e.
(3.141) |
with the definitions:
(3.142) |
Eq. (3.139) is essentially based on regularity properties which hold for the lattice-discretized theory, but not for a generic Wightman quantum field theory. If one assumes ultraviolet/infrared decoupling, i.e. the fact that the long-distance behavior of continuum QCD and Lattice QCD are essentially the same provided that the lattice spacing is small enough, it is natural to conjecture that a bound of the form given by eq. (3.139) should be valid in QCD as well. In appendix D we prove that, if the bound (3.139) holds for any and some tempered distributions , then a representation of the type (3.119) exists with
(3.143) |
We stress that, in a theory such as QCD, the validity of the assumptions behind this statement should be thoroughly scrutinized. In particular, we point out that the temperedness of the distribution can not be motivated on the basis of the work of Barata and Fredenhagen and it is an ad hoc assumption at this stage.
3.5 Approximation in terms of Euclidean -pt functions
The goal of this section is to construct an approximation of the connected scattering amplitude which is calculable in terms of a finite sampling in Euclidean time of certain Euclidean correlators. The quality of the approximation is controlled by two parameters, and . The connected scattering amplitude can then be recovered by taking the following double limit,
(3.144) |
We notice that the parameter is the same one appearing in the construction of section 3.1 and, morally, represents the inverse Minkowski time at which approximated asymptotic states are created. The desired approximation stems from a suitable approximation of the Haag-Ruelle kernel, defined in eq. (3.79), whose accuracy is controlled by the parameter and which will be discussed in detail at the end of this section. The order of the two limits in the above formula can not be exchanged. However it is possible to take them simultaneously by e.g. fixing the ratio of the two parameters.
Let us see how to construct the approximant explicitly. We choose some (playing the role of an elementary Euclidean time step), which we fix once and for all. We choose the function introduced in subsection 3.1 such that its support is inside . Notice that the restriction on is not essential, since can be freely chosen as long as it is Schwartz and , and the scattering amplitude does not depend on this choice. In the following, and are non-negative integers for which a representation of the spectral function of the form (3.119) exists. We construct a polynomial which does not contain monomials of degree zero in any of the variables and satisfies the bound
(3.145) |
where the approximation domain is given by
(3.146) | |||
(3.147) |
In the definition of , the identifications (3.73) and (3.75) are understood. A few comments are in order.
-
1.
We claim that is finite. We prove this statements in appendix E.1. The quantity and, hence, the domain depend only on the input data of the problem, i.e. the wave functions, the parameter and the arbitrary parameter . In practice they can be calculated by solving a multi-dimensional minimization problem.
- 2.
-
3.
The construction of the polynomial is computationally straightforward. Notice that the left-hand side of eq. (3.145) is a quadratic function of the real and imaginary parts of the coefficients of the polynomial. Therefore, for a fixed degree, one can find the polynomial which minimizes the left-hand side of eq. (3.145) simply by solving a linear system of equations, whose coefficients depend only on the input data of the problem. Then one can progressively increase the degree of the polynomial until eq. (3.145) is satisfied. It is worth pointing out that eq. (3.145) can be combined in a straightforward fashion with regularization procedures like the HLT method [72].
-
4.
A certain arbitrariness exists in the choice of the left-hand side of eq. (3.145), for instance one could modify the weight in the integral to some extent. This possibility will not be explored here, but it may be relevant in practical applications.
The sought approximation of the scattering amplitude is obtained by replacing with its approximation in the expression for the transition amplitude given by eq. (3.77). Using the representation (3.148) of the polynomial one easily recognizes that the integrals over yield the Laplace transform of the spectral density. Using eq. (3.99), a straightforward calculation yields
(3.149) |
where is the Euclidean correlator defined in eq. (3.116) and is a known function whose explicit expression is given in eq. (3.117), both calculated at Euclidean time separations . We claim that the error of the approximation is bounded by:
(3.150) |
where can be an arbitrary positive number in the case of non-overlap** velocities and in the general case, and and depend on all data of the problem but and . The proof of this statement is presented in appendix E.3.
4 Matrix elements of local fields
The approximation strategy used for scattering amplitudes can be easily applied also to matrix elements of a generic local field between asymptotic states:
(4.151) |
where either or can be chosen to be zero. This matrix element can be obtained as the infinite-time limit of matrix elements between Haag states, i.e.
(4.152) |
where we use the definitions given in eq. (3.44). We comment on the subtleties of eq. (4.152) in the context of axiomatic quantum field theory in appendix F, and we use it as our starting point.
We introduce a Schwartz function with unit integral and closed support contained in , and define:
(4.153) |
A straightforward generalization of the arguments presented in section 3.1 and appendix C allows to prove
(4.154) |
where can be an arbitrary positive number in the case of non-overlap** velocities and in the general case. An explicit expression for can be worked out,
(4.155) |
The spectral density now depends on off-shellness variables and spatial momenta , and contains the insertion of :
(4.164) | |||
(4.173) |
The Haag-Ruelle kernel is given by
(4.174) | |||
The matrix element can be approximated by the quantity
(4.175) |
which is written in terms of the Euclidean correlators in time-momentum representation with an insertion of ,
(4.192) |
and of the analytically-known functions
(4.193) |
The coefficients are the coefficients of a polynomial
(4.194) |
which satisfies the following approximation condition:
(4.195) |
where the approximation domain is given by
(4.196) | |||
(4.197) |
and is an arbitrary positive number. In the definition of , the identifications (3.73) and
(4.198) |
are understood. In writing eq. (4.195), we assume that a representation for the spectral density of the type given in eq. (3.119) exists, with replaced by . The parameter in eq. (3.119) also appears in eq. (4.195). We claim that the error of the approximation is bounded by:
(4.199) |
for some constants and which depend on all data of the problem but and . The proof of this statement is completely analogous to the corresponding one for the scattering amplitude.
5 Summary and remarks
In this paper, which elaborates on previous ideas and techniques developed by Barata and Fredenhagen in [1], we prove that scattering amplitudes can be approximated by means of eq. (3.149) as a linear combination of Euclidean correlators at discrete time separations, suitably smeared with respect to the spatial coordinates. A similar result is obtained also for matrix elements of local operators with respect to asymptotic states, see eq. (4.175).
Our approximation formulae constitute an interesting mathematical result per se, which we obtain in the context of Haag-Ruelle scattering theory. More importantly, we provide an algorithmic procedure to construct these approximations, which is surprisingly simple in spite of the mathematical and technical subtleties needed to derive it, and which can be used as the blueprint for a concrete numerical procedure, e.g. in the context of lattice QCD simulations. In fact, our approach turns the numerically ill-posed problem of analytically continuing Euclidean correlators to real time into a merely ill-conditioned problem of constructing sophisticated linear combinations. In view of future applications, we want to present some general comments on various aspects of our method, as well as indicate possible directions for improvements and extensions.
We comment first on the structure of the approximant for the scattering amplitude , given in eq. (3.149) and which we rewrite for the reader’s convenience:
(5.200) |
Before applying this formula, one needs to calculate the mass of the stable particles involved in the scattering process of interest, as well as the energy gap to the closest stable particle or multi-particle state with the same quantum numbers as the scattering particles. For instance, if one wants to calculate proton scattering amplitudes, one would need to know the proton mass as well as the pion mass, since this determines the lowest multi-particle threshold in the channel determined by baryon number equal to one. We assume that this step has been executed with standard lattice QCD techniques. Besides masses and energy gaps, the dynamics of the process is entirely encoded in the Euclidean correlator . All the other elements of the approximation formula are fixed by the kinematics of the process which is known a priori. The functions and are explicitly given in eq. (3.117) and eq. (3.78) respectively. The function can be conveniently chosen to improve the quality of the approximation of the scattering amplitude, as discussed in the paragraphs around eq. (3.47). The numerical coefficients are obtained, for any fixed degree of the polynomial defined in eq. (3.148), by solving the linear set of equations corresponding to the minimization of the left-hand side of eq. (3.145). The order of the derivative appearing in eq. (3.145) is related to the singularity structure of the spectral density and, therefore, has to be determined for each process. In subsection 3.4 we propose a argument of conjectural nature to estimate the order of the derivatives needed in the approximation formula. The construction of the approximant depend on a number of auxiliary functions which are largely arbitrary. Concrete examples for such functions are provided in appendix A.
Lattice simulations introduce various sources of error, most notably discretization effects, finite-volume effects and statistical noise. When a finite volume (e.g. with periodic boundary conditions in space) is considered, an estimator for the function , which approximates the scattering amplitude, is obtained by simply replacing the integral over the spatial momenta in the definition of the spatially-smeared correlator with the corresponding sum over discrete momenta, i.e.
(5.201) |
Only a finite number (albeit increasing with ) of discrete momenta contribute to these sums because the spatial wave functions have compact support. We want to stress that, since only a finite sampling of the correlator in the time variable is needed and the spatial wave functions are Schwartz, the infinite-volume limit of the estimator for is approached exponentially fast, provided that the coefficients , which control the quality of the approximation, are kept constant as the volume is varied. Of course, this does not automatically mean that finite-volume corrections are small, and they should be expected to become larger and larger as and are decreased.
When a non-zero lattice spacing is considered, is discretized in a straightforward way if the lattice spacing divides , while in the general case one can design some simple interpolation motivated by the fact that the Euclidean correlators in the continuum are analytic functions of the coordinates. One could also generalize our approximation strategy and introduce some smearing in time. In all cases, we expect that the continuum limit of the estimator can be understood in terms of the Symanzik effective theory or simple extensions of it. We stress that, in this approach, must be kept fixed in physical units. This is the main difference with respect to the Barata-Fredenhagen approach [1] in which a sampling of the Euclidean correlator with equal to the lattice spacing is considered. A clear downside of the Barata-Fredenhagen approach is that, while the scattering amplitude is expected to have a continuum limit, the same can not be said for the approximant of the scattering amplitude, i.e. the quantity which corresponds to in their work.
The functions increase exponentially with , see eq. (3.117), meaning that the lattice correlators at larger-time separations are multiplied with exponentially larger weights in eq. (5.200). This feature captures the intuitive idea that scattering amplitudes are encoded, in a highly non-trivial fashion, in the long-distance behavior of the Euclidean correlators. Even though one can design different approximation strategies for , we believe that this feature is quite general: in essence, this is the way in which the inverse Laplace transform of the Euclidean correlator is reconstructed. It is important to notice that, for a given target accuracy, only a finite number of Euclidean time separations are needed. This number will increase as and are decreased. The statistical noise of the correlator (which for generic lattice QCD correlators increases exponentially at large euclidean-time separations) limits the accuracy that can be achieved.
The accuracy of the approximation can be increased at the expenses of the statistical precision and vice versa. In practice, one may want to design an optimization strategy which minimizes the total error for a given set of numerically-determined Euclidean correlation functions. To do this one can consider a straightforward generalization of the HLT method in which the so-called error-functional,
(5.202) |
where is the statistical covariance-matrix of the smeared correlator , is added to the left-hand side of eq. (3.145), that we now call and that in the language of ref. [72] corresponds to the norm-functional. More explicitly, accuracy and statistical precision can be balanced by obtaining the coefficients from the minimization of the following linear combination
(5.203) |
of the norm and error functionals and then by studying the stability of the resulting approximation of the scattering amplitude upon variations of the algorithmic parameter (see ref. [73] for more details).
Finally, we want to stress that throughout this paper we work with smooth wave packets, i.e. with asymptotic states characterized by smooth normalizable wave functions. From the mathematical perspective, this is essential in order to derive our results within the rigorous axiomatic framework. From the numerical perspective, this is also essential in order to have an estimator with exponentially suppressed finite-volume corrections. Often one is interested in the connected amplitude corresponding to the scattering of particles in plane-wave states with momenta . The plane-wave scattering amplitude is proportional to the delta of energy-momentum conservation, i.e.
(5.204) |
Given some momenta satisfying the energy-momentum conservation, assuming that is a continuous function of its arguments, it can be obtained by means of the following limiting procedure:
(5.205) |
where is the scattering amplitude for particles with smooth wave functions centered in and with width proportional to the parameter (see appendix A for a concrete example). The normalization factor is given by
(5.206) |
In summary, the proposed method to extract scattering amplitudes from Euclidean correlators is mathematically robust but its numerical applicability with lattice data may by limited by the level of precision and accuracy that can be presently reached. A detailed numerical investigation is needed to assess this important point. However, the numerical accuracy and precision of lattice simulations is systematically improvable, and we have little doubts that our approach will become useful in the future.
Acknowledgements
N.T. thanks Massimo Testa for opening his eyes on the beauties of Haag-Ruelle scattering theory. We thank John Bulava for useful comments on the manuscript. We warmly thank O. and T. for their constant, patient and silent support at all stages of this work. N.T. is supported by the Italian Ministry of University and Research (MUR) under the grant PNRR-M4C2-I1.1-PRIN 2022-PE2 Non-perturbative aspects of fundamental interactions, in the Standard Model and beyond F53D23001480006 funded by E.U. - NextGenerationEU. A.P. thanks Alberto Ramos for generously hosting him for a period of three months at IFIC in Valencia, where this work was finalized.
Appendix A Smooth functions with compact support
The Haag-Ruelle construction and, hence, our analysis heavily rely on the existence of smooth functions with compact support. In this brief appendix, we want to provide some concrete examples for the reader who may not be familiar with these mathematical objects. A classical example is the so-called bump function, i.e.
(A.207) |
The closed support of is the interval and it is easy to prove that this function is infinitely differentiable everywhere. Moreover, its normalization has been chosen in such a way that . We point out that the bump function, like any other smooth function with compact support, is Schwartz. A smooth function with compact support in is simply obtained by considering .
An explicit example of smooth wave function with compact support centered around the momentum can easily be written int terms of the bump function:
(A.208) |
where is a numerical constant that regulates the width of the wave function. In particular, the wave function vanishes for . The normalization has been chosen in such a way that
(A.209) |
With this choice of momentum wave function, an explicit example for the function which appears in the construction of Haag’s operators (see eq. (2.10)) can be obtained by following the construction described in appendix B and by using the bump function again. For instance, one can choose
(A.210) |
with the definitions
(A.211) | |||
(A.212) | |||
(A.213) |
An explicit example for the function appearing in the Haag-Ruelle kernel (see eq. (3.47) and eq. (3.79)) is given by
(A.214) |
where is and arbitrary positive number and denotes the modified Bessel function of the second kind. The function has support in , is Schwartz and has unit integral. With this choice, the Fourier transform of has a closed expression in terms of the Bessel function , i.e.
(A.215) |
Appendix B Construction of Haag operators
Statement. Given a function with compact support, a smooth function exists such that: (a) , (b) , (c) the function has closed support inside .
Proof. Given , the function is monotonously decreasing for . This is easily checked by rewriting
(B.217) |
and noticing that the numerator is positive and the denominator is monotonously increasing in .
Define the largest momentum allowed by the considered wave function, more precisely:
(B.218) |
which is finite since has compact support. Choose some and define
(B.219) | |||
(B.220) |
We require that is small enough such that . Then we can choose to be a smooth function with values in the interval , which is equal to one for and vanishes for . Assume now that is in the support of . Then and we can use the above observation concerning the function twice (the first time with and , and the second time with and ) to derive the following inequalities:
(B.221) | |||
(B.222) |
i.e. .
Appendix C Asympotic behaviour of
Statement. In this appendix we use the same notation and definitions given in section 3.1. For we define the integrated transition probability
(C.223) |
and the scattering amplitude
(C.224) |
Then, the following equality holds:
(C.225) |
where can be an arbitrary positive number in the case of non-overlap** velocities and in the general case.
Proof. We start from the following identity, obtained by using the fact that and have unit integrals:
(C.226) | |||
The triangular inequality and Cauchy-Schwartz inequality imply
(C.227) | |||
Here we have also used the fact that (for ) is infinitely differentiable in and has a finite limits for , i.e.
(C.228) |
Since the support of is contained in for some (together with an substitution in the first integral), we obtain:
(C.229) | |||
Let us focus on the norms appearing in the above integrals. We use the fact that the states are infinitely differentiable and reach their asymptotic values for with an error that decreases like , where can be an arbitrary positive number in the case of non-overlap** velocities and in the general case. In particular
(C.230) |
In writing this inequality we have assumed an arbitrary unit system. Units can be restored by replacing in the above expression with where is an arbitrary length scale. Calculating this for , and using the inequality
(C.231) |
one gets
(C.232) |
Repeating the argument for the incoming state, one gets:
(C.233) |
In combination with eq. (C.229), the above estimates yield
(C.234) | |||
The second and third integrals over can be extended to the whole real axis. In the first integral over , we use that fact that is Schwartz, which implies that a constant exists such that
(C.235) |
for every and, therefore,
(C.236) |
Plugging this back in eq. (C.234), we finally get
(C.237) | |||
where the right-hand side does not depend on and is finite because and are Schwartz. This concludes the proof.
Appendix D Estimates for and
Statement. Assume that, for every positive integer , a tempered distribution exists such that
(D.238) |
where is the diameter of the set of spatial points, i.e.
(D.239) |
and is the maximum time separation between consecutive operators as they appear in the right-hand side of eq. (3.137),. i.e.
(D.240) |
with the definitions:
(D.241) |
Then, a representation of the type (3.119) exists with
(D.242) |
Proof. We introduce a smooth real function with which satisfies the following properties:
(D.243) |
Notice that the infinite sum over does not present issues of convergence since, for every , only a finite number of terms is different from zero. Such a function can be constructed quite explicitly and we will not dwell on its existence. Given some , we define
(D.244) | |||
(D.245) |
In coordinate space, these relations read
(D.246) | |||
(D.247) |
The function is designed in such a way that
(D.248) |
Let be the smeared connected Wightman function defined as in eq. (3.137) with the choice for and . Eq. (3.76) implies
(D.249) | |||
where we have used eq. (D.248) to remove the function in the right-hand side. Noticing that , we obtain the following representation for the spectral density:
(D.250) | |||
Let us focus on the integral in the above expression. We define the function
(D.251) |
where the variables are related to by eq. (D.241) with the constraint . The relation between and is easily inverted (assuming again ):
(D.252) |
A quick calculation shows that
(D.253) |
where the variables are defined by eq. (3.73). Consider the integral in the last line of eq. (D.250). By substituting then integration variable with , the Jacobian determinant being one, one obtains
(D.254) | |||
The following elementary inequalities (assuming again ):
(D.255) | |||
(D.256) |
together with the assumption (D.238), imply the bound
(D.257) |
where
(D.258) |
We introduce the following family of functions labeled by :
(D.259) |
which satisfy the identity
(D.260) |
valid almost everywhere. Since is an arbitrary non-negative number, we choose . Eq. (D.257) implies the bound
(D.261) |
Then, the function
(D.262) |
is square integrable, and so is its Fourier transform
(D.263) |
Eqs. (D.254), (D.260) and (D.262) yield
(D.264) | |||
where the derivatives must be interpreted in the distributional sense. In the last step, we have used the definition
(D.265) |
and the relation between and , which can be worked out explicitly using eqs. (3.73) and (3.75):
(D.266) |
Notice that the function is also square integrable. Combining eqs. (D.250) and (D.264), we obtain the following representation for the spectral density:
(D.267) |
with the definition
(D.268) |
One checks that is smooth with compact support. Moreover, restricted to any compact subset of is not identically zero only for a finite number of values of . Some lengthy but straightforward algebra yields:
(D.269) |
with the definition
(D.270) | |||
Notice that the infinite sum over does not present issues of convergence since, when is restricted to any compact set, only a finite number of terms is different from zero. This representation shows explicitly that is locally .
Eq. (D.269) is the desired representation of the spectral density which satisfies eq. (D.242). However, we are still left with the task of proving that is tempered. Since the map and its inverse are polynomially bounded and the Jacobian determinant is one, the temperedness of in the variables is equivalent to the temperedness of in the variables . In order to show temperedness, it is therefore enough to prove that the following integral
(D.271) |
is finite for some value of . The derivative of appearing in eq. (D.270) can be written in terms of using eq. (D.268) and the linear relation between and :
(D.272) |
for some constant matrix . In particular, notice that the quantity
(D.273) | |||
does not depend on . Using this result, together with the observation that the closed support of and all its derivatives is included in the set , we obtain the following bound
(D.274) |
where we have used eq. (D.265) to replace with . The Cauchy-Schwartz inequality yields
(D.275) | |||
In the second integral, we drop the restriction on the integration domain and substitute the integration over with the integration over . In the first integral, we use the bound
(D.276) |
which is valid in the integration domain. Therefore, we get
(D.277) |
In the last step we have used Parseval’s identity. Using eqs. (D.259), (D.261) and (D.262), one obtains
(D.278) |
where is an -independent finite constant given by:
(D.279) | |||
Momentarily, we will prove that is bounded by a polynomial in . Then, it is clear that can be made finite by choosing large enough. This proves the temperedness of .
We use now the fact that is a tempered distribution. Therefore, a continuous bounded function , a polynomial and a multi-index exist such that
(D.280) |
Using this representation with eq. (D.258), we obtain
(D.281) | |||
Replacing for and , and using the decomposition
(D.282) |
where and are polynomials, we derive the following inequality
(D.283) |
From here one easily proves that is bounded by a polynomial in , concluding the proof of the statement of this section.
Appendix E Results concerning the approximation
In this appendix we use the same notation and definitions given in section 3.5. Our goal is to prove eq. (3.150). We will do this through a number of technical steps.
E.1 Finiteness of
Statement. Define the set:
(E.284) |
The constants are well-defined and finite, i.e. is non-empty and bounded from below.
Proof. Let us prove first that is not empty. Recall that, in section 3.1, we required that some momenta exist which satisfy and the energy-momentum conservation conditions
(E.285) |
It is easy to check that
(E.286) |
is a non-zero element of . This implies that is well defined and .
E.2 Existence of polynomial
Statement. Given , we want to prove that a polynomial exists with the following properties: (1) it vanishes if for any , and (2) it satisfies the following bound:
(E.289) |
with the definition:
(E.290) |
We recall that the integration domain is given by:
(E.291) |
where the constants are defined in eq. (3.147). The polynomial also satisfies:
(E.292) |
with the definition
(E.293) |
Given the arbitrariness of , eq. (E.292) implies eq. (3.145).
Proof. We define the auxiliary function
(E.294) |
which is smooth with compact support in . Therefore, it can be extended by continuity to . Its extension, which will still be denoted by , is a smooth function in and vanishes with all its derivatives at the boundary of its domain.
We define the domain
(E.295) | |||
(E.296) |
We have already proved that is finite (see appendix E.1), which implies . Therefore the set is compact and it has a non-empty interior.
We start approximating the function in the compact domain , by means of the Bernstein polynomials (in shifted and rescaled variables)
(E.297) | |||
which have the notable property that they approximate uniformly and all its derivatives (see e.g. [94, 95]), in particular:
(E.298) |
Therefore, for every , a value of exists such that
(E.299) |
We define the polynomial
(E.300) |
Notice that vanishes if for any . From now on, we assume the identification . We manipulate defined in eq. (E.290). The chain and Leibniz rules imply the following identity
(E.301) | |||
for some constants which can be calculated recursively. When using this expression in eq. (E.290), with the definition of the functions and one readily obtains:
(E.302) |
Since the image of under the change of variables is precisely , eq. (E.299) yields
(E.303) | |||
Since is arbitrary, we can choose
(E.304) |
With this choice, eq. (E.303) is nothing but eq. (E.289). Finally notice that
(E.305) | |||
which is eq. (E.292).
E.3 Error of approximation
Statement. For every and , the approximation constructed in subsection 3.5 satisfies the following bound:
(E.306) |
for some constant which depends on all data of the problem but and . By combining this fact with eq. (3.50), the bound in eq. (3.150) follows.
Proof. First, we rewrite the connected transition amplitude given in eq. (3.77) more compactly as:
(E.307) |
In going from eq. (3.77) to the above representation we have used the delta of momentum conservation to remove the integral over and we have defined
(E.308) | |||
(E.309) | |||
(E.310) |
The transition amplitude is obtained by replacing in eq. (E.307) with its approximation constructed in subsection 3.5, i.e.
(E.311) |
Eqs. (3.74) and (3.76) imply that the support of the is a subset of defined by:
(E.312) | |||
(E.313) | |||
(E.314) |
Notice that this definition of is equivalent to eq. (3.147). We define also the set
(E.315) |
and we observe that , where is defined in eq. (3.146). We introduce an auxiliary smooth function with the following properties: (1) , (2) for , and (3) for . We define
(E.316) |
By construction, this function satisfies
(E.317) |
Since , we can freely replace with in eqs. (E.307) and (E.311). Then, the representation of as the sum of weak derivatives of some -tempered functions given by eq. (3.119) yields the bound:
(E.318) | |||
with the definition
(E.319) |
We focus on the integrand in the last expression of eq. (E.318). The Leibniz rule allows us to write
(E.320) | |||
for certain coefficients . In the above formula, and are multi-indices with , and are multi-indices with and . The chain rule implies the following formula
(E.321) |
for some smooth functions which are polynomially-bounded with all their derivatives, and depend on no other data of the problem except , and . The above formula can be proven by induction on . The formula clearly works for with:
(E.322) |
By differentiating both sides of the formula and using standard properties of derivatives, one obtains the following recursive relation:
(E.323) |
where we have defined the multi-indices . Notice that is smooth and polynomially-bounded with all its derivatives. The corresponding property of follows by induction. Using eqs. (E.320) and (E.321) with eq. (E.318), and rearranging judiciously the sums, one obtains the bound
(E.324) | |||
with the definition
(E.325) |
The restriction of the integral in eq. (E.324) is allowed because all derivatives of and, hence, the function have support in . Notice that the function is -tempered.
We introduce the integral operators :
(E.326) | |||
(E.327) |
and we notice that
(E.328) |
as long as the function is integrable in all its variables. For any multi-index satisfying , one can find a multi-index with the following two properties: (1) for every , and (2) . Then, the following identity
(E.329) |
follows from a recursive use of integration by parts with the observation that and all its derivatives vanish in the limit for any . Then, the trivial inequality yields
(E.330) |
We plug this back into eq. (E.324) and use eq. (E.328):
(E.331) |
with the definition
(E.332) |
It is easy to show that maps the set of -tempered functions into itself. Therefore, like , the function is -tempered. Applying the Cauchy-Schwartz inequality to eq. (E.331), we obtain:
(E.333) | |||
where the constant
(E.334) |
is finite because is compact and is an -tempered function. We want to find some inequality which allows us to replace the integration over in eq. (E.333) with an integration over . We will do this in a few steps.
We are interested the integral
(E.335) |
where is a smooth function. The dependence does not play any role here and we suppress it for brevity. A few lines of algebra show that the above integral can be written equivalently as
(E.336) |
with the definitions
(E.337) | |||
(E.338) |
From this representation it is clear that and are non-negative distributions, whose support satisfies
(E.339) |
for , with the definitions
(E.340) |
which is finite and larger than zero, because all wave functions have non-empty compact support. We will prove that a positive constant exists such that
(E.341) |
In particular, this bound implies that and are functions rather than distributions,444 Let be a tempered distribution satisfying for some . Since is positive, it is a tempered Radon measure (see exercise 4 in chapter 6 in [96]). Hence, it can be applied to any continuous function with compact support. Let one of such functions. Let and be the positive and negative part of . Clearly, and are both continuous functions with compact support. Therefore (E.342) Therefore is in the dual of , i.e. it is an element of and, in particular, a measurable function. which makes the integral in eq. (E.336) well defined. By using eq. (E.341) in eq. (E.336) and enlarging the integration domain, we obtain
(E.343) | |||
We change variables to and and we enlarge the integration domain once more, obtaining
(E.344) |
Using this inequality in eq. (E.333) and observing that defined in eq. (3.146), we obtain:
(E.345) | |||
with the definition
(E.346) |
One sees explicitly that is independent of and . Finally, eq. (3.145) with eq. (E.345) yields
(E.347) |
The asymptotic behavior given in eq. (3.50) together with the observation that is bounded, implies that a constant (which is independent of and, clearly, ) exists such that, for any
(E.348) |
and, therefore,
(E.349) |
which is exactly what we wanted to prove.
We are left with the task to prove eq. (E.341). Let us focus on . The (closed) support of is a subset of the open set
(E.350) |
In order to prove that is bounded from above, it is enough to prove boundedness for . In this case, we use the inequality
(E.351) |
which yields
(E.352) |
In deriving this inequality, we have also enlarged the integration domain over from to the whole space. The right-hand side of the above inequality is invariant under Lorentz transformations of . As long as is in , the integral can be calculated in the frame defined by , i.e.
(E.353) |
We parameterize with and . In other words, the vector belongs to the sphere . Denoting by the canonical integration measure on , we obtain
(E.354) | |||
The equation admits no solution for and a unique solution for , which will be denoted by . This solution is continuous and increasing in . The integral over can be readily calculated, yielding
(E.355) | |||
Using again the fact that is in , we derive the following inequalities
(E.356) | |||
(E.357) | |||
(E.358) |
which imply
(E.359) |
In the last step we have noticed that the integral over yields the surface of the sphere .
Appendix F Matrix elements in the axiomatic framework
We want to sketch the arguments needed to make sense and prove eq. (4.152) in the case of non-overlap** velocities. We use here the notation and symbols of section 4.
Translational invariance guarantees that
(F.360) | |||
for some tempered distribution . For every value of , the matrix element
(F.361) |
is well defined as a tempered distribution, with the explicit representation:
(F.362) | |||
Notice that, since the functions have compact support, the above expression makes sense for any complex values of and . In fact, by representing as a derivative of some polynomially-bounded continuous function, one shows that is an entire function in the variables .555The fact that is an entire function in follows also directly from the Paley-Wiener-Schwartz theorem [92]. The analogous statement for is a simple generalization of this theorem. In particular, the pointwise value , i.e the left-hand side of eq. (4.152), is well defined.
Hepp [85] proved that asymptotic states with Schwartz wave functions and non-overlap** velocities belong to the domain of any smeared version of . Therefore the matrix element
(F.363) | |||
is well defined as a tempered distribution. Replicating the argument for , one concludes that is an entire function in . In particular, it can be calculated for , which gives meaning to the right-hand side of eq. (4.151).
At this point, it should be clear that both sides of eq. (4.152) are well defined, and we want to understand whether the equation itself is valid. Given a Schwartz function , define the smeared operator . Assuming again non-overlap** velocities, the strong limit implies
(F.364) |
which is equivalently written as
(F.365) |
i.e. converges to in the limit in the weak sense. This does not automatically imply pointwise convergence of to for , which is what we need. Let us assume that some exists such that the following bound holds
(F.366) |
for any , and . Then, the function
(F.367) |
is well defined and
(F.368) |
which implies that converges uniformly to in the limit on any compact subset of . If is a smooth function with compact support in , then
(F.369) |
i.e. converges weakly to in the limit. By the uniqueness of the weak limit, almost everywhere, hence everywhere since both functions are continuous. This proves that converges uniformly to in the limit on any compact subset of . In particular, the convergence is also pointwise.
We are left to prove the bound in eq. (F.366). We observe that
(F.370) |
Since the analysis of the two terms is similar, we focus only on the second one. The operators are constructed in such a way that
(F.371) |
Using this fact, we derive
(F.388) |
where the symbol denotes the commutator. Using the definition of the operators , the definition of the state and the above formula, one easily proves the following representation:
(F.389) |
with the definitions:
(F.390) | |||
(F.391) | |||
(F.392) | |||
(F.417) |
Notice that is a Schwartz function and is a smooth solution of the Klein-Gordon equation. is a well-defined tempered distribution (the position of can be safely set to zero thanks to translational invariance), which we can represent as
(F.418) |
for some multi-index (which can be chosen for convenience independent of and ), some polynomial and some continuous function with . We introduce a smooth function with the following properties: (1) , (2) for , and (3) for . Because of the commutator, the distribution vanishes if is spacelike, therefore
(F.419) | |||
Some non-negative constants and exist such that
(F.420) |
Using the last two equations in eq. (F.389), one obtains
(F.421) |
with the definitions
(F.422) | |||
(F.423) | |||
As we will show in a moment, is polynomially bounded and vanishes faster than any inverse power of . Therefore, the product of with all for vanishes faster than any inverse power of . Using this fact with eq. (F.421), one sees that, for every a constant exists such that the following bound holds
(F.424) |
for any and . An analogous bound holds for , yielding eq. (F.366).
We are left with the task of proving bounds for and . Since the wave functions have compact support and the velocities are assumed to be non-overlap** (separately for incoming and outgoing particles), then some closed subsets of exist with the following properties: (1) contains a neighborhood of , (2) is a subset of the open unit ball , (3) the sets are mutually disjoint and so are the sets . With these definitions at hand, we can provide some useful bounds for the solutions of the Klein-Gordon equations . Given a four-vector of natural numbers and a real number , two constants and exist such that
(F.425) |
Notice that, with no loss of generality, we have assumed and to be independent of . In writing these inequalities we have assumed an arbitrary unit system. Units can be restored by replacing the one in the above expressions with where is an arbitrary length scale. The first bound in eq. (F.425) is a classical result concerning smooth solutions of the Klein-Gordon equations (in fact is a smooth solution of the Klein-Gordon equation), proved e.g. by Ruelle [84] (see point 1 of the lemma in page 157). The second bound in eq. (F.425) is proved e.g. by Reed and Simon [97] (see corollary to theorem XI.14 in appendix 1 to section XI.3), Jost [91] (see Second property in section 4, chapter VI) and also by Araki [98] (see theorem 5.3 in chapter 5). Using eq. (F.425), the inequalities
(F.426) | |||
(F.427) | |||
(F.428) |
and the fact that is Schwartz, one proves the inequalities
(F.429) | |||
valid for any , any and .
Using eq. (F.429), one readily finds
(F.430) | |||
which shows explicitly that is polynomially bounded. Let us look at , first we use that the support of and all its derivatives is contained in , i.e.
(F.431) | |||
The function is bounded, i.e.
(F.432) |
Then one can use eq. (F.429), the substitutions , , and subsequently the substitutions , to derive
(F.433) | |||
Notice that, assuming , if belongs to the integration domain then
(F.434) | |||
where is the distance between the sets and . Therefore, if belongs to the integration domain and , the following inequality holds
(F.435) |
This inequality can be used to enlarge the integration domain in eq. (F.433), yielding
(F.436) | |||
Since is an arbitrary positive constant, we conclude that vanishes faster than any inverse power of for .
References
- [1] J. C. A. Barata and K. Fredenhagen, Particle scattering in Euclidean lattice field theories, Commun. Math. Phys. 138 (1991) 507–520.
- [2] L. Maiani and M. Testa, Final state interactions from Euclidean correlation functions, Phys. Lett. B 245 (1990) 585–590.
- [3] M. Luscher, Signatures of unstable particles in finite volume, Nucl. Phys. B 364 (1991) 237–251.
- [4] M. Luscher, Two particle states on a torus and their relation to the scattering matrix, Nucl. Phys. B 354 (1991) 531–578.
- [5] M. Luscher and U. Wolff, How to Calculate the Elastic Scattering Matrix in Two-dimensional Quantum Field Theories by Numerical Simulation, Nucl. Phys. B 339 (1990) 222–252.
- [6] M. Luscher, Volume Dependence of the Energy Spectrum in Massive Quantum Field Theories. 1. Stable Particle States, Commun. Math. Phys. 104 (1986) 177.
- [7] L. Lellouch and M. Luscher, Weak transition matrix elements from finite volume correlation functions, Commun. Math. Phys. 219 (2001) 31–44, [hep-lat/0003023].
- [8] K. Rummukainen and S. A. Gottlieb, Resonance scattering phase shifts on a nonrest frame lattice, Nucl. Phys. B 450 (1995) 397–436, [hep-lat/9503028].
- [9] P. F. Bedaque, Aharonov-Bohm effect and nucleon nucleon phase shifts on the lattice, Phys. Lett. B 593 (2004) 82–88, [nucl-th/0402051].
- [10] C. h. Kim, C. T. Sachrajda and S. R. Sharpe, Finite-volume effects for two-hadron states in moving frames, Nucl. Phys. B 727 (2005) 218–243, [hep-lat/0507006].
- [11] S. He, X. Feng and C. Liu, Two particle states and the S-matrix elements in multi-channel scattering, JHEP 07 (2005) 011, [hep-lat/0504019].
- [12] N. H. Christ, C. Kim and T. Yamazaki, Finite volume corrections to the two-particle decay of states with non-zero momentum, Phys. Rev. D 72 (2005) 114506, [hep-lat/0507009].
- [13] M. Lage, U.-G. Meissner and A. Rusetsky, A Method to measure the antikaon-nucleon scattering length in lattice QCD, Phys. Lett. B 681 (2009) 439–443, [0905.0069].
- [14] V. Bernard, M. Lage, U. G. Meissner and A. Rusetsky, Scalar mesons in a finite volume, JHEP 01 (2011) 019, [1010.6018].
- [15] M. Doring, U.-G. Meissner, E. Oset and A. Rusetsky, Unitarized Chiral Perturbation Theory in a finite volume: Scalar meson sector, Eur. Phys. J. A 47 (2011) 139, [1107.3988].
- [16] M. Doring and U. G. Meissner, Finite volume effects in pion-kaon scattering and reconstruction of the (800) resonance, JHEP 01 (2012) 009, [1111.0616].
- [17] T. Luu and M. J. Savage, Extracting Scattering Phase-Shifts in Higher Partial-Waves from Lattice QCD Calculations, Phys. Rev. D 83 (2011) 114508, [1101.3347].
- [18] M. Doring, J. Haidenbauer, U.-G. Meissner and A. Rusetsky, Dynamical coupled-channel approaches on a momentum lattice, Eur. Phys. J. A 47 (2011) 163, [1108.0676].
- [19] Z. Fu, Rummukainen-Gottlieb’s formula on two-particle system with different mass, Phys. Rev. D 85 (2012) 014506, [1110.0319].
- [20] M. Doring, U. G. Meissner, E. Oset and A. Rusetsky, Scalar mesons moving in a finite volume and the role of partial wave mixing, Eur. Phys. J. A 48 (2012) 114, [1205.4838].
- [21] M. T. Hansen and S. R. Sharpe, Multiple-channel generalization of Lellouch-Luscher formula, Phys. Rev. D 86 (2012) 016007, [1204.0826].
- [22] R. A. Briceno and Z. Davoudi, Moving multichannel systems in a finite volume with application to proton-proton fusion, Phys. Rev. D 88 (2013) 094507, [1204.1110].
- [23] V. Bernard, D. Hoja, U. G. Meissner and A. Rusetsky, Matrix elements of unstable states, JHEP 09 (2012) 023, [1205.4642].
- [24] P. Guo, J. Dudek, R. Edwards and A. P. Szczepaniak, Coupled-channel scattering on a torus, Phys. Rev. D 88 (2013) 014501, [1211.0929].
- [25] M. Gockeler, R. Horsley, M. Lage, U. G. Meissner, P. E. L. Rakow, A. Rusetsky et al., Scattering phases for meson and baryon resonances on general moving-frame lattices, Phys. Rev. D 86 (2012) 094513, [1206.4141].
- [26] L. Leskovec and S. Prelovsek, Scattering phase shifts for two particles of different mass and non-zero total momentum in lattice QCD, Phys. Rev. D 85 (2012) 114507, [1202.2145].
- [27] D. Agadjanov, U.-G. Meißner and A. Rusetsky, Partial twisting for scalar mesons, JHEP 01 (2014) 103, [1310.7183].
- [28] R. A. Briceno, Two-particle multichannel systems in a finite volume with arbitrary spin, Phys. Rev. D 89 (2014) 074507, [1401.3312].
- [29] D. M. Grabowska and M. T. Hansen, Analytic expansions of multi-hadron finite-volume energies. I. Two-particle states, JHEP 09 (2022) 232, [2110.06878].
- [30] C. J. D. Lin, G. Martinelli, C. T. Sachrajda and M. Testa, K – pi pi decays in a finite volume, Nucl. Phys. B 619 (2001) 467–498, [hep-lat/0104006].
- [31] H. B. Meyer, Lattice QCD and the Timelike Pion Form Factor, Phys. Rev. Lett. 107 (2011) 072002, [1105.1892].
- [32] R. A. Briceño, M. T. Hansen and A. Walker-Loud, Multichannel 1 2 transition amplitudes in a finite volume, Phys. Rev. D 91 (2015) 034501, [1406.5965].
- [33] A. Agadjanov, V. Bernard, U. G. Meißner and A. Rusetsky, A framework for the calculation of the transition form factors on the lattice, Nucl. Phys. B 886 (2014) 1199–1222, [1405.3476].
- [34] R. A. Briceño and M. T. Hansen, Multichannel 0 2 and 1 2 transition amplitudes for arbitrary spin particles in a finite volume, Phys. Rev. D 92 (2015) 074509, [1502.04314].
- [35] W. Detmold, M. J. Savage, A. Torok, S. R. Beane, T. C. Luu, K. Orginos et al., Multi-Pion States in Lattice QCD and the Charged-Pion Condensate, Phys. Rev. D 78 (2008) 014507, [0803.2728].
- [36] K. Polejaeva and A. Rusetsky, Three particles in a finite volume, Eur. Phys. J. A 48 (2012) 67, [1203.1241].
- [37] R. A. Briceno and Z. Davoudi, Three-particle scattering amplitudes from a finite volume formalism, Phys. Rev. D 87 (2013) 094507, [1212.3398].
- [38] M. T. Hansen and S. R. Sharpe, Relativistic, model-independent, three-particle quantization condition, Phys. Rev. D 90 (2014) 116003, [1408.5933].
- [39] M. T. Hansen and S. R. Sharpe, Expressing the three-particle finite-volume spectrum in terms of the three-to-three scattering amplitude, Phys. Rev. D 92 (2015) 114509, [1504.04248].
- [40] R. A. Briceño, M. T. Hansen and S. R. Sharpe, Relating the finite-volume spectrum and the two-and-three-particle matrix for relativistic systems of identical scalar particles, Phys. Rev. D 95 (2017) 074510, [1701.07465].
- [41] H.-W. Hammer, J.-Y. Pang and A. Rusetsky, Three-particle quantization condition in a finite volume: 1. The role of the three-particle force, JHEP 09 (2017) 109, [1706.07700].
- [42] H. W. Hammer, J. Y. Pang and A. Rusetsky, Three particle quantization condition in a finite volume: 2. general formalism and the analysis of data, JHEP 10 (2017) 115, [1707.02176].
- [43] P. Guo and V. Gasparian, Numerical approach for finite volume three-body interaction, Phys. Rev. D 97 (2018) 014504, [1709.08255].
- [44] P. Guo and V. Gasparian, A solvable three-body model in finite volume, Phys. Lett. B 774 (2017) 441–445, [1701.00438].
- [45] P. Guo and T. Morris, Multiple-particle interaction in (1+1)-dimensional lattice model, Phys. Rev. D 99 (2019) 014501, [1808.07397].
- [46] R. A. Briceño, M. T. Hansen and S. R. Sharpe, Three-particle systems with resonant subprocesses in a finite volume, Phys. Rev. D 99 (2019) 014516, [1810.01429].
- [47] T. D. Blanton, F. Romero-López and S. R. Sharpe, Implementing the three-particle quantization condition including higher partial waves, JHEP 03 (2019) 106, [1901.07095].
- [48] R. A. Briceño, M. T. Hansen, S. R. Sharpe and A. P. Szczepaniak, Unitarity of the infinite-volume three-particle scattering amplitude arising from a finite-volume formalism, Phys. Rev. D 100 (2019) 054508, [1905.11188].
- [49] F. Romero-López, S. R. Sharpe, T. D. Blanton, R. A. Briceño and M. T. Hansen, Numerical exploration of three relativistic particles in a finite volume including two-particle resonances and bound states, JHEP 10 (2019) 007, [1908.02411].
- [50] T. D. Blanton and S. R. Sharpe, Relativistic three-particle quantization condition for nondegenerate scalars, Phys. Rev. D 103 (2021) 054503, [2011.05520].
- [51] T. D. Blanton and S. R. Sharpe, Equivalence of relativistic three-particle quantization conditions, Phys. Rev. D 102 (2020) 054515, [2007.16190].
- [52] T. D. Blanton and S. R. Sharpe, Alternative derivation of the relativistic three-particle quantization condition, Phys. Rev. D 102 (2020) 054520, [2007.16188].
- [53] M. T. Hansen, F. Romero-López and S. R. Sharpe, Generalizing the relativistic quantization condition to include all three-pion isospin channels, JHEP 07 (2020) 047, [2003.10974]. [Erratum: JHEP 02, 014 (2021)].
- [54] P. Guo and B. Long, Multi- systems in a finite volume, Phys. Rev. D 101 (2020) 094510, [2002.09266].
- [55] M. T. Hansen and S. R. Sharpe, Lattice QCD and Three-particle Decays of Resonances, Ann. Rev. Nucl. Part. Sci. 69 (2019) 65–107, [1901.00483].
- [56] A. W. Jackura, S. M. Dawid, C. Fernández-Ramírez, V. Mathieu, M. Mikhasenko, A. Pilloni et al., Equivalence of three-particle scattering formalisms, Phys. Rev. D 100 (2019) 034508, [1905.12007].
- [57] A. Rusetsky, Three particles on the lattice, PoS LATTICE2019 (2019) 281, [1911.01253].
- [58] F. Müller and A. Rusetsky, On the three-particle analog of the Lellouch-Lüscher formula, JHEP 03 (2021) 152, [2012.13957].
- [59] M. T. Hansen, F. Romero-López and S. R. Sharpe, Decay amplitudes to three hadrons from finite-volume matrix elements, JHEP 04 (2021) 113, [2101.10246].
- [60] F. Müller, J.-Y. Pang, A. Rusetsky and J.-J. Wu, Relativistic-invariant formulation of the NREFT three-particle quantization condition, JHEP 02 (2022) 158, [2110.09351].
- [61] T. D. Blanton and S. R. Sharpe, Three-particle finite-volume formalism for ++K+ and related systems, Phys. Rev. D 104 (2021) 034509, [2105.12094].
- [62] T. D. Blanton, A. D. Hanlon, B. Hörz, C. Morningstar, F. Romero-López and S. R. Sharpe, Interactions of two and three mesons including higher partial waves from lattice QCD, JHEP 10 (2021) 023, [2106.05590].
- [63] T. D. Blanton, F. Romero-López and S. R. Sharpe, Implementing the three-particle quantization condition for ++K+ and related systems, JHEP 02 (2022) 098, [2111.12734].
- [64] F. Müller, J.-Y. Pang, A. Rusetsky and J.-J. Wu, Three-particle Lellouch-Lüscher formalism in moving frames, JHEP 02 (2023) 214, [2211.10126].
- [65] R. Bubna, F. Müller and A. Rusetsky, Finite-volume energy shift of the three-nucleon ground state, Phys. Rev. D 108 (2023) 014518, [2304.13635].
- [66] J.-Y. Pang, R. Bubna, F. Müller, A. Rusetsky and J.-J. Wu, Lellouch-Lüscher factor for the decays, 2312.04391.
- [67] Z. T. Draper, A. D. Hanlon, B. Hörz, C. Morningstar, F. Romero-López and S. R. Sharpe, Interactions of K, K and KK systems at maximal isospin from lattice QCD, JHEP 05 (2023) 137, [2302.13587].
- [68] Z. T. Draper, M. T. Hansen, F. Romero-López and S. R. Sharpe, Three relativistic neutrons in a finite volume, JHEP 07 (2023) 226, [2303.10219].
- [69] M. T. Hansen, F. Romero-López and S. R. Sharpe, Incorporating effects and left-hand cuts in lattice QCD studies of the , 2401.06609.
- [70] J. Baeza-Ballesteros, J. Bijnens, T. Husek, F. Romero-López, S. R. Sharpe and M. Sjö, The three-pion K-matrix at NLO in ChPT, JHEP 03 (2024) 048, [2401.14293].
- [71] Z. T. Draper and S. R. Sharpe, Three-particle formalism for multiple channels: the system in isosymmetric QCD, 2403.20064.
- [72] M. Hansen, A. Lupo and N. Tantalo, Extraction of spectral densities from lattice correlators, Phys. Rev. D 99 (2019) 094508, [1903.06476].
- [73] J. Bulava, M. T. Hansen, M. W. Hansen, A. Patella and N. Tantalo, Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear -model, JHEP 07 (2022) 034, [2111.12774].
- [74] P. Gambino, S. Hashimoto, S. Mächler, M. Panero, F. Sanfilippo, S. Simula et al., Lattice QCD study of inclusive semileptonic decays of heavy mesons, JHEP 07 (2022) 083, [2203.11762].
- [75] (Extended Twisted Mass Collaboration (ETMC)), C. Alexandrou et al., Probing the Energy-Smeared R Ratio Using Lattice QCD, Phys. Rev. Lett. 130 (2023) 241901, [2212.08467].
- [76] A. Barone, S. Hashimoto, A. Jüttner, T. Kaneko and R. Kellermann, Approaches to inclusive semileptonic B(s)-meson decays from Lattice QCD, JHEP 07 (2023) 145, [2305.14092].
- [77] C. Bonanno, F. D’Angelo, M. D’Elia, L. Maio and M. Naviglio, Sphaleron rate from a modified Backus-Gilbert inversion method, Phys. Rev. D 108 (2023) 074515, [2305.17120].
- [78] R. Frezzotti, N. Tantalo, G. Gagliardi, F. Sanfilippo, S. Simula and V. Lubicz, Spectral-function determination of complex electroweak amplitudes with lattice QCD, Phys. Rev. D 108 (2023) 074510, [2306.07228].
- [79] C. Bonanno, F. D’Angelo, M. D’Elia, L. Maio and M. Naviglio, Sphaleron Rate of Nf=2+1 QCD, Phys. Rev. Lett. 132 (2024) 051903, [2308.01287].
- [80] (Extended Twisted Mass), A. Evangelista, R. Frezzotti, N. Tantalo, G. Gagliardi, F. Sanfilippo, S. Simula et al., Inclusive hadronic decay rate of the lepton from lattice QCD, Phys. Rev. D 108 (2023) 074513, [2308.03125].
- [81] C. Alexandrou et al., Inclusive hadronic decay rate of the lepton from lattice QCD: the flavour channel and the Cabibbo angle, 2403.05404.
- [82] H. Lehmann, K. Symanzik and W. Zimmermann, On the formulation of quantized field theories, Nuovo Cim. 1 (1955) 205–225.
- [83] R. Haag, Quantum field theories with composite particles and asymptotic conditions, Phys. Rev. 112 (1958) 669–673.
- [84] D. Ruelle, On the asymptotic condition in quantum field theory, Helvetica Physica Acta 35 (1962) 147–163.
- [85] K. Hepp, On the connection between the LSZ and Wightman quantum field theory, Communications in Mathematical Physics 1 (1965) 95 – 111.
- [86] J. Bulava and M. T. Hansen, Scattering amplitudes from finite-volume spectral functions, Phys. Rev. D 100 (2019) 034521, [1903.11735].
- [87] A. S. Wightman, Quantum Field Theory in Terms of Vacuum Expectation Values, Phys. Rev. 101 (1956) 860–866.
- [88] R. Haag, Local Quantum Physics. Theoretical and Mathematical Physics. Springer, Berlin, 1996, 10.1007/978-3-642-61458-3.
- [89] A. Duncan, The Conceptual Framework of Quantum Field Theory. Oxford University Press, 8, 2012, 10.1093/acprof:oso/9780199573264.001.0001.
- [90] R. Haag, Local Quantum Physics: Fields, Particles, Algebras. R.Balian, W.Beiglbock, H.Grosse. Springer-Verlag, 1992.
- [91] R. Jost, The General Theory of Quantized Fields. Lectures in applied mathematics. American Mathematical Society, 1965.
- [92] L. Schwartz, Théorie des distributions. V. 1. Actualités scientifiques et industrielles. Hermann, 1950.
- [93] M. Reed and B. Simon, Methods of Modern Mathematical Physics: Functional analysis. I. World Published Corporation, 2003.
- [94] F. L. Martinez, Some properties of two-dimensional bernstein polynomials, Journal of Approximation Theory 59 (1989) 300 – 306.
- [95] M. Foupouagnigni and M. M. Wouodjié, On multivariate bernstein polynomials, Mathematics 8 (2020) .
- [96] W. Rudin, Functional Analysis. International series in pure and applied mathematics. Tata McGraw-Hill, 1974.
- [97] M. Reed and B. Simon, III: Scattering Theory. Methods of Modern Mathematical Physics. Elsevier Science, 1979.
- [98] H. Araki, Mathematical Theory of Quantum Fields. International series of monographs on physics. Oxford University Press, 1999.