# Khuri–Treiman equations for \(\pi \pi \) scattering

## Abstract

The Khuri–Treiman formalism models the partial-wave expansion of a scattering amplitude as a sum of three individual truncated series, capturing the low-energy dynamics of the direct and cross channels. We cast this formalism into dispersive equations to study \(\pi \pi \) scattering, and compare their expressions and numerical output to the Roy and GKPY equations. We prove that the Khuri–Treiman equations and Roy equations coincide when both are truncated to include only *S*- and *P*-waves. When higher partial waves are included, we find an excellent agreement between the Khuri–Treiman and the GKPY results. This lends credence to the notion that the Khuri–Treiman formalism is a reliable low-energy tool for studying hadronic reaction amplitudes.

## 1 Introduction

Three-body decays offer a unique window into hadron dynamics. They are an especially useful tool for exploring the hadron spectrum in the *exotic* sectors, where resonances appear that cannot be accurately described by constituent quark models. Some notable examples are the mysterious XYZ peaks observed in three-body decays of heavy quarkonia [1, 2, 3]. Moreover, new methods have recently been developed that enable direct mapping from three-particle spectra in a finite volume to three-particle scattering amplitudes in the infinite volume, opening the door to lattice QCD calculations [4, 5, 6]. Generally speaking, robust methods for constructing reaction amplitudes that fulfill well-known properties from *S*-matrix theory, such as analyticity, unitarity, and crossing symmetry for the analysis of three-particle final states are mandatory.

One of the main issues posed by the presence of hadrons in any reaction is their final-state interactions, which are formally expressed in terms of the unitarity of the *T*-matrix. In the case of \(2 \rightarrow 2\) scattering, this effect can often be incorporated by neglecting unitarity in the *t*- and *u*-channels while preserving *s*-channel unitarity. For example, in the case of \(\pi \pi \) scattering, the results obtained for the \(\sigma \) meson with the Roy equations (or other dispersive approaches that account for the left-hand cut singularities in a nonperturbative way) are very similar to those obtained with approaches that neglect altogether the left-hand cut, or take it into account perturbatively (see for example Refs. [7, 8, 9] and references therein). Despite crossing symmetry, this is certainly not the case for a \(1 \rightarrow 3\) decay, where ideally one wants to take into account unitarity in the three possible two-hadron channels in the final state.

In the 1960s, Khuri and Treiman proposed a simple amplitude model to study \(K \rightarrow 3\pi \) decays [10]. This model is based on the factorization of the scattering amplitude *A*(*s*, *t*, *u*) into a sum of three functions, each of which depends on a single Mandelstam variable only. Several more studies later appeared that expanded upon this representation of the amplitude [11, 12, 13, 14, 15, 16] (see also the recent lectures in Ref. [17]). For the lowest waves, this approach, which we refer to as the Khuri–Treiman (KT) formalism, can be justified in chiral perturbation theory (\(\chi \)PT) at lowest order via the so-called reconstruction theorem [18, 19, 20]. From a broader point of view, as we will discuss in detail below, the KT formalism is a rather simple approach for modeling *A*(*s*, *t*, *u*). Generally speaking, an infinite sum of *s*-channel partial waves that contain both right-hand cut (RHC) and left-hand cut (LHC) discontinuities is substituted by a finite sum of *s*-, *t*-, and *u*-channel *isobar* amplitudes, each of which exhibit only a RHC structure emanating from unitarity in the respective channel. Although it is known that this model fails to properly account for asymptotic behavior at high energies, it is expected to accurately describe the physics at low energies. For this reason, it has often been used to study meson decays, where the energy range is limited by the decay kinematics. This formalism has recently been reviewed and applied to various three-body decay channels of light and heavy mesons [21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32].

Because the KT formalism has been applied to such a wide range of processes, it is important to establish and validate its range of applicability. This is what we propose to do in this paper. Specifically, we compare the KT model amplitude for \(\pi \pi \) scattering with the results of other, arguably more sophisticated dispersive approaches. In the same spirit, we will not strictly enforce elastic unitarity, unlike in Refs. [10, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32]. The manuscript is organized as follows. In Sect. 2 we present our notation for the general description of \(\pi \pi \) scattering, as well as the form of the scattering amplitude in the KT formalism. In Sect. 3 we analytically compare the KT and Roy equations [33] for the lowest partial waves. We explicitly demonstrate that both formalisms exactly coincide when truncated to *S*- and *P*-waves, complementing former results discussed in Refs. [34, 35, 36, 37, 38, 39]. In Sect. 4 we numerically study the results obtained with the KT equations considering also *D*- and *F*-waves, using as an input the parameterization of the \(\pi \pi \) scattering shift in Ref. [40]. We compare the results obtained with the latter parameterization and with the results of the GKPY equations discussed in the same work. The conclusions are given in Sect. 5. In the Appendix we specifically discuss the contributions of the LHC to the partial waves.

## 2 Amplitudes

^{1}The variables

*s*,

*t*, and

*u*refer to the usual Mandelstam variables. In addition, the invariant amplitude can be expressed in terms of a single function

*A*(

*s*,

*t*,

*u*) and permutations of its arguments by virtue of crossing symmetry. Bose symmetry also requires this function to be symmetric in the second and third variable, \(A(s,t,u) = A(s,u,t)\). Our primary interest in the structure \(A_{ijkl}(s,t,u)\) is its decomposition into amplitudes of well-defined isospin in the

*s*-channel, \(A^{(I)}(s,t,u)\), which is accomplished by means of projectors:

*A*(

*s*,

*t*,

*u*) and permutations of the arguments by comparing Eqs. (1) and (23):

*s*-channel partial-wave amplitudes \(t_l^{(I)}(s)\):

*s*-channel scattering angle, which has the form

*m*is the charge-averaged pion mass. The normalization of the partial-wave amplitudes is chosen such that

*A*(

*s*,

*t*,

*u*) within the KT formalism. This involves truncating the infinite series of

*s*-channel partial-wave amplitudes \(t_\ell ^{(I)}(s)\), which contain both RHC and LHC structure. Truncating this expansion at some maximum orbital angular momentum \(\ell _{\text {max}}\) defines an amplitude that is regular in the variables

*t*and

*u*. The singularities generated by

*t*- and

*u*-channel physics can be partially recovered by adding truncated

*t*- and

*u*-channel series expansions of partial-wave-like functions [24, 28, 31, 43]:

*A*(

*s*,

*t*,

*u*). It is important to recognize that the isobars are not independent functions: the symmetry

*A*(

*s*,

*t*,

*u*) =

*A*(

*s*,

*u*,

*t*) implies \(a^{t}_{\ell }(t) = (-1)^{\ell }a^{u}_{\ell }(t)\). Note that crossing symmetry is respected in Eq. (12) since we take \(\ell _{\text {max}}\) to be the same integer for each truncated series and the inclusion of the \(p^{2\ell }\) factors enforces the proper behavior of

*A*(

*s*,

*t*,

*u*) near threshold [44, 45]. As we mentioned in the introduction, this representation of the amplitude is consistent with the reconstruction theorem [18], but only if \(\ell _{\mathrm{max}} \leqslant 1\). In this regard, the representation given by Eq. (12) is more general, however, its effectiveness is restricted to low energies and partial waves, as it lacks Mandelstam analyticity in the angular momentum plane. We accept the limitations of this representation and aim to test the limits of its effectiveness.

*s*-channel and denote them as \({\bar{a}}_{\ell }^{(I)}(s)\). These can be defined by comparing the KT amplitude in Eq. (12) with Eq. (4). Specifically, we define:

*K*has been introduced in Eq. (4). Using this relation in Eq. (12) we obtain

*t*- and

*u*-channel center-of-mass scattering angles,

*s*-channel projection. More specifically, inserting Eq. (14) into Eq. (4), one obtains

*n*,

^{2}

*t*- and

*u*-channel isobars. Inserting this dispersive representation into Eq. (17), and the resulting amplitudes \(A^{(I)}(s,t,u)\) into the partial-wave projection, Eq. (6), one obtains the KT representation of the partial-wave amplitudes of well-defined isospin in the

*s*-channel,

*s*. Furthermore, both \(R^{(j)}_{\ell \ell '}(s)\) and \(S^{(n)}_{\ell \ell '}(s,t')\) behave as \(p^{2\ell }(s)\) for \(s \rightarrow 4m^2\). In the

*s*-channel physical region, Eq. (20), together with Eq. (19), can be written more compactly as a Roy-like equation,

^{3}\(P_\ell ^{(I)}(s)\) and the integral kernels \(Q_{\ell \ell '}^{II'}(s,t')\) are given by

## 3 Analytical comparison of KT and Roy equations for *S*- and *P*-waves

*t*dispersion relation for these amplitudes. Roy realized these could be written as a matrix equation [33]:

*t*-dependent subtraction constants \(\alpha _{I'}(t)\) and \(\beta _{I'}(t)\) have isospin 0, 2 and isospin 1 components, respectively. The matrices \((C_{st})_{II'}\) and \((C_{su})_{II'}\) are the crossing matrices and are given explicitly in Ref. [33].

^{4}The Roy equations themselves are the partial-wave projection of Eq. (26). Using the notation of Ref. [39], these can be compactly written as

*s*resulting from projecting over the subtraction polynomials. They contain two parameters; the

*S*0- and

*S*2-wave scattering lengths \(a_{0}^{(0)}\) and \(a_{0}^{(2)}\), respectively. The integral kernels \(K_{\ell \ell '}^{I I'}(s,x)\) are known as well and are fully documented in Appendix A of Ref. [39]. Including the results of Refs. [51, 52] with experimental information on the scattering lengths and imaginary parts \(\text {Im}\,(t_\text {Roy})_{\ell '}^{(I')}(s)\) for \(s_{\text {th}}< s < \infty \), the real part of Eq. (27) can be fully determined on the interval \(-4m^{2}< s < 60m^{2}\), and analytically continued to the complex plane in a region limited by the Lehmann ellipse [39]. This implies the Roy equations are particularly useful for studying the resonance properties of low-energy \(\pi \pi \) scattering. Indeed, they have proven to be a popular resource in this regard.

Now that we have introduced the Roy equations, we proceed by comparing them with our formalism of the KT equations. If restricted to the elastic region, the Roy equations Eq. (27) can be seen as a closed set of coupled nonlinear integral equations for amplitudes \((t_{\text {Roy}})_\ell ^{(I)}(s)\), since each of the former can be written in terms of a single function, the phase shift \(\delta _\ell ^{(I)}(s)\). The same can be said of the KT equations, but this approach will not be pursued here. We instead consider the Roy and KT equations as integral representations of the analytical partial waves in terms of their discontinuities and subtraction constants. As mentioned in Sect. 1, the aim in this section is to analytically compare the KT and Roy equations when truncating both formalisms to include only *S*- and *P*-waves (\(\ell ,\ell ' = 0,1\)). One needs to consider the previous sentence with care: by truncation of the Roy equations to *S*- and *P*-waves, we mean letting the values of \(\ell \) and \(\ell '\) in Eq. (27) to be either 0 or 1. This truncation should not be confused with what is usually done in several analyses of the Roy equations [39, 40, 46, 47, 48, 49, 50], where one solves the integral equation for a finite number of low partial waves. Consequently, what we refer to as the Roy equations in comparison to the KT equations under truncation does not exactly coincide with those Roy equation analyses.

*A*(

*s*,

*t*,

*u*) with \(\ell _{\text {max}} = 1\) has the expansion

*A*(

*s*,

*t*,

*u*), with the functions \({\bar{a}}_{\ell }^{(I)}(s)\) having only a RHC, has been already discussed in Refs. [34, 35, 36, 37, 38, 39]. In what follows, we show in full detail that Roy and KT equations under the truncation specified give the same partial-wave amplitudes as in Eq. (28). To that end, let us consider a single subtraction \(n=1\) in each of the KT isobars. Since we are considering only one subtraction in each isobar, we simplify the notation throughout this section by writing \({\bar{a}}_{\ell }^{(I)(j=0)}(s_1) = {\bar{a}}_\ell ^{(I)}(s_1)\). In this way, the KT polynomials of Eq. (24) are

*s*. This happens for all \(\Delta _{\ell \ell '}^{II'}(t',s)\) as long as \(\ell ,\ell ' \leqslant 1\). Recalling that these differences appear under an integral in which the integration variable is \(t'\), we can write

*s*. Moreover, they are related through:

*s*. The next question is: can we choose our constants \({\bar{a}}_{1}^{(1)}(s_1)\) and \( {\bar{a}}_0^{(0)}(s_1) + 2 {\bar{a}}_0^{(2)}(s_1)\) such that \((t_{\text {KT}})_{\ell }^{(I)}(s) - (t_{\text {Roy}})_{\ell }^{(I)}(s) = 0\) for the three

*S*- and

*P*-waves? The

*P*-wave is proportional to \((s-4m^2)\), so \(x_1^{(1)} = 0\). We thus have to satisfy five conditions with only two parameters. It turns out that the solution

^{5}Hence, we have proved that, under the conditions indicated above,

For higher waves, \(\ell , \ell ' \geqslant 2\), the kernels \(K_{\ell \ell '}^{II'}(s,t')\) have more complicated structures. For instance, when \(\ell ' =2\), one also finds the term \(\log \left( 1+ \frac{s-4m^2}{2t'} \right) \), in addition to \(\log \left( 1+ \frac{s-4m^2 }{t'}\right) \). In that case, the differences in the kernels are not purely polynomials, and the above result cannot be proved.

## 4 Numerical results

*S*- and

*P*-waves, in this section we numerically study to what extent the KT equations are useful when higher partial waves are considered. Specifically, we now set \(\ell _{\text {max}}=3\) in Eq. (14) and thus consider up to the

*F*-wave. In this way, partial waves with \(\ell \geqslant 4\) (

*G*- and higher waves) are set to zero, and do not contribute to the imaginary parts in Eq. (23). As stated above, the KT and Roy equations give the real part of the amplitudes once the imaginary part is given, up to a polynomial contribution. As an input for the KT equations, we shall use the CFD parameterization of Ref. [40], which we now briefly discuss. This work parameterizes the inelasticities \(\eta _{\ell }^{(I)}(s)\) and phase shifts \(\delta _{\ell }^{(I)}(s)\) of the partial-wave amplitudes, Eq. (10). Two different parameterizations are given in Ref. [40], called UFD and CFD, which respectively stand for unconstrained and constrained fit to data. They do not differ on the form of the parameterization but in the values the parameters take. In the UFD parameterization only the data are fitted, while in the CFD dispersive constraints are imposed on the amplitudes. Among these, the most relevant ones are the Roy and GKPY equations, which are, respectively, twice- and once-subtracted dispersion relations for the \(\pi \pi \) amplitude. Hence, the amplitudes computed with the CFD parameterization satisfy, within uncertainties, these dispersive equations. Both parameterizations of Ref. [40] provide the phase shifts and inelasticities along the RHC. These quantities can be used as inputs to the Roy or GKPY equations so that the amplitudes can be computed at any point on the complex plane. The real part of the amplitudes obtained with the Roy or GKPY equations along the RHC are very similar to those obtained with the CFD parameterization for the amplitudes, since the latter are constrained to satisfy the former. We can use as well the CFD parameterization of Ref. [40] as an input for our KT equations to obtain the real part of the partial-wave amplitudes \((t_{\text {KT}})_\ell ^{(I)}(s)\), and compare our results with the original input.

^{6}where \(s_m\) has been defined above. In setup A we seek a description of low energies with a small number of subtractions. In contrast, in setup B we have extended the range of the fit up to the maximum allowed by the CFD parameterization and the number of subtractions is increased.

*D*- and

*F*-waves is found to be necessary for an accurate description of the dispersive output with the KT equations, but only in the sense of the additional polynomial degrees of freedom they introduce. That is, the explicit inclusion of the imaginary contributions \(\text {Im} t_\ell ^{(I)}(t')\) for \(\ell > 1\) appearing in the dispersive projections in Eq. (23) are negligible. Despite the fact that these contributions are actually relevant over the entire interval \(s\in (4m^{2},\infty ) \), their inclusion is typically smooth as we further discuss in the Appendix and their net contribution is found to be small in comparison to the aforementioned polynomials. The partial waves obtained within each setup are shown in Fig. 1. We see that the agreement with the original input is quite good and clearly better for setup B. In Fig. 2, showing only

*S*- and

*P*-waves up to \(\sqrt{s} = 1.1\ \text {GeV}\), we include in the comparison the dispersive output obtained with the GKPY equations and its associated error band, as given in Ref. [40]. We see that all curves lie well within or at the edges of the error bands.

Threshold parameters and the pole positions and couplings for the \(\sigma \), \(\rho \), \(f_0(980)\), and \(f_2(1270)\) (the latter two are simply denoted above simply as \(f_0\) and \(f_2\), respectively) obtained with the KT equations (second and third columns for setups A and B, respectively) are shown. For comparison, we also show in the fourth column the same quantities extracted from the GKPY equations or the CFD parameterization of Ref. [40], as quoted in Refs. [40, 53, 54]

KT-A | KT-B | GKPY–CFD | ||
---|---|---|---|---|

\(a_0^{(0)}\) | 0.217 | 0.213 | 0.221(9) | [40] |

\(b_0^{(0)}\) | 0.274 | 0.275 | 0.278(7) | [40] |

\(a_0^{(2)}\) | − 0.044 | − 0.047 | − 0.043(8) | [40] |

\(b_0^{(2)}\) | − 0.078 | − 0.079 | − 0.080(9) | [40] |

\(10^3 \cdot a_1^{(1)}\) | 37.5 | 37.9 | 38.5(1.2) | [40] |

\(10^3 \cdot b_1^{(1)}\) | 5.6 | 5.7 | 5.1(3) | [40] |

\(10^4 \cdot a_2^{(0)}\) | 17.8 | 17.8 | 18.8(4) | [40] |

\(10^4 \cdot b_2^{(0)}\) | − 3.4 | − 3.4 | − 4.2(1.0) | [40] |

\(10^4 \cdot a_2^{(2)}\) | 1.9 | 1.8 | 2.8(1.0) | [40] |

\(10^4 \cdot b_2^{(2)}\) | − 3.2 | − 3.2 | − 2.8(8) | [40] |

\(10^5 \cdot a_3^{(1)}\) | 5.7 | 5.7 | 5.1(1.3) | [40] |

\(10^5 \cdot b_3^{(1)}\) | − 4.0 | − 4.0 | − 4.6(2.5) | [40] |

\(\sqrt{s_\sigma }\ (\text {MeV})\) | (448, 270) | (448, 269) | (\(457^{+14}_{-13}, 279^{+11}_{-7})\) | [53] |

\(\left|g_\sigma \right|\text {GeV}\) | 3.36 | 3.37 | \(3.59^{+0.11}_{-0.13}\) | [53] |

\(\sqrt{s_\rho }\ (\text {MeV})\) | (762.2, 72.4) | (763.4, 73.5) | \((763.7^{+1.7}_{-1.5}, 73.2^{+1.0}_{-1.1})\) | [53] |

\(\left|g_\rho \right|\) | 5.95 | 6.01 | \(6.01^{+0.04}_{-0.07}\) | [53] |

\(\sqrt{s_{f_0}}\ (\text {MeV})\) | (1000, 24) | (995, 26) | \((996 \pm 7, 25^{+10}_{-6})\) | [53] |

\(\left|g_{f_0} \right|\ (\text {GeV}) \) | 2.4 | 2.3 | \(2.3 \pm 0.2\) | [53] |

\(\sqrt{s_{f_2}}\ (\text {MeV})\) | (1275.1, 89.5) | (1268.9, 86.4) | \((1267.3^{+0.8}_{-0.9}, 87 \pm 9)\) | [54] |

\(\left|g_{f_2} \right|\ (\text {GeV}^{-1})\) | 5.6 | 5.5 | \(5.0 \pm 0.3\) | [54] |

Together with the general comparison of the real part of the input and KT amplitudes, we can more specifically compare the threshold parameters of the different waves that we have included in our study, cf. Eq. (11), obtained with the two approaches. In Table 1 we show the values of the \(a_\ell ^{(I)}\) and \(b_\ell ^{(I)}\) parameters computed with the KT equations and compared with those of Ref. [40] (the results labeled as CFD in that work are quoted here). We see that the agreement is also quite good. This is expected since these parameters control the low-energy behavior of the amplitudes, which the KT equations are able to reproduce in the whole energy range (\(s_\text {th}\leqslant s \leqslant s_m\)) considered here.

^{7}on the second Riemann sheet, we take its customary definition in terms of the amplitude on the physical sheet, \(t_I(s)\):

^{8}

*S*-,

*P*-,

*D*-, and

*F*-waves). It can be seen that there is an excellent agreement between the determination obtained with the KT equations and those from the dispersive approach of Refs. [53, 54], which use our same input amplitudes but into dispersive equations in principle very different from KT equations.

Our final discussion about the results for the partial-wave amplitudes obtained with the KT formalism concerns the unitarity of said amplitudes. As explained before, Ref. [40] parameterizes the amplitudes through the phase shifts \(\delta _\ell ^{(I)}(s)\) and inelasticities \(\eta _{\ell }^{(I)}(s)\) as given in Eq. (10), with the latter chosen such that \(\eta _{\ell }^{(I)}(s) \leqslant 1\). Hence, the input amplitudes are unitary by construction. However, there is nothing in the KT equations (neither in the Roy nor GKPY equations) that force the partial waves to fulfill unitarity. For instance, in the derivation of our KT equations in Sect. 2, the unitarity requirement is not used, and only dispersion relations for the different functions entering in the full amplitude *A*(*s*, *t*, *u*) are used. A similar statement can be made about the Roy equations.^{9} Unitarity is only achieved when a specific constraint is imposed relating the real and the imaginary parts. A second point to be taken into account is that, as explained in Sect. 3, in this work we are not obtaining \(t_\ell ^{(I)}(s)\) as the solution of the *integral equation* in Eq. (23). Rather, our approach in this work is to consider Eq. (23) as an *integral representation* for the amplitude \(t_\ell ^{(I)}(s)\), which can be obtained when a given input (namely, a specific parameterization of the imaginary part) is used to *feed* the equations. The fact that the input used fulfills unitary does not guarantee that the amplitude obtained as an output will fulfill unitarity. Hence, in this approach, unitarity violations^{10} are to be expected and, indeed, they are present. Yet, as we shall see below, we can advance the idea that using a unitary parameterization of the input amplitude makes these unavoidable unitary violations quite small.

Let us take as an example the S0 wave. In Fig. 3 we show the phase shift and inelasticity of this wave as given by the CFD parameterization of Ref. [40] (black solid line), and as obtained from \(t_0^{(0)}(s)\) calculated with KT equations (blue dashed and red dash-dotted lines for setup A and B, respectively). Since the real part of \(t_0^{(0)}(s)\) closely follows the input amplitude (see Figs. 1 and 2), and the imaginary parts are equal by construction, we expect \(\delta _0^{(0)}(s)\) and \(\eta _0^{(0)}(s)\) to be similar in both approaches and, indeed, they are. However, for \(\sqrt{s} \leqslant 1\ \text {GeV}\) (\(K{\bar{K}}\) threshold), we see that the input inelasticity is exactly one due to the parameterization. This is not the case for the KT equation, which shows a value \(\eta _0^{(0)} \geqslant 1\) in a small region around \(\sqrt{s} \simeq 1\ \text {GeV}\). For low energies, \(\eta _0^{(0)}\) is very close to 1, and for \(\sqrt{s} \geqslant 1\ \text {GeV}\) the KT determination of \(\eta _0^{(0)}\) closely follows the inelasticity of the input amplitude. We also show in Fig. 3\(\eta _0^{(0)}\) as computed with the partial wave that results from the GKPY equations (green dotted line), as well as a simple estimation of its error from one of the partial waves (see Fig. 2). We observe that our KT dispersive output lies well within this error band. Furthermore, the value \(\eta _0^{(0)}(s)=1\) for \(s \leqslant 4m_K^2\) is well comprised in this error band. All this considered, and given that unitarity is not imposed in KT equations, we can safely say that unitarity is well fulfilled for low energies.

For higher energies, \(s \rightarrow \infty \), due to the \(p^{2\ell }(s)\) factors chosen in our definitions of the amplitudes to satisfy the threshold behavior, the absolute value of the real part of the partial-wave amplitudes grows as \(s^\lambda \) (with some positive integer \(\lambda \)), and then the inelasticity does not satisfy unitarity either. This behavior could be corrected by cutting the KT equation for \(t_{\ell }^{(I)}(s)\) at some value of *s* and imposing there some appropriate asymptotic behavior, but this is beyond the scope of our exploratory study. Furthermore, as said, this unwanted behavior occurs for \(s \rightarrow \infty \), whereas the KT equations are meant to be low-energy approximations.

## 5 Discussion and conclusions

In this work, we explored the various aspects of the KT formalism within the context of \(\pi \pi \) scattering. Our main goal was to assess the validity of the KT formalism within a kinematical range characteristic of hadronic processes in general. Since \(\pi \pi \) scattering is the most well studied and simplest, purely hadronic process, this makes it an ideal system for testing the KT formalism. To accomplish this, we derived the KT equations for \(\pi \pi \) scattering in Sect. 2 and followed this with a proof showing the KT and Roy equations are equivalent when truncating both formalisms to include only *S*- and *P*-waves in Sect. 3. While the connection between the Roy equations and the reconstruction theorem under a similar truncation has already been made in previous works, here we demonstrated that a general representation of the amplitude in terms of three distinct expansions in all of the scattering channels also reproduces this result. Numerical results testing the validity of the KT equations including higher waves was explored in Sect. 4. The dispersive output from the KT equations using as an input the CFD parameterization of Ref. [40] up to the *F*-wave and a center-of-mass energy \(\sqrt{s} = 1.42\) GeV was compared with the GKPY equations and the CFD input itself. The KT equations provide an excellent agreement with both the CFD parameterization and GKPY equations at the level of partial-wave amplitudes and subsequent resonance pole parameters. In addition, since the KT equations (as well as the Roy or GKPY equations) do not imply *per se* the unitarity of the partial waves, we have studied how much they deviate from exact unitarity. We found that the KT equations satisfy unitarity within the CFD parameterization error for low energies. This supports the idea that the KT formalism is a good and simple approach for modeling amplitudes at low energies. The contribution to the partial waves coming from the LHC in the KT approach is also explored in some detail. It is found that, in the scattering region, and for some waves, this contribution can be well accounted for by polynomials.

## Footnotes

- 1.
- 2.
Strictly speaking, it is more correct to write \(n = n_{\ell ,I}\) since the number of subtractions performed can vary for each wave. While this possibility has been explored, the results presented in Sect. 4 consider only the same number of subtractions for all waves.

- 3.
The explicit form of the polynomial contributions \(P_\ell ^{(I)}(s)\) is shown in Appendix B for the cases \(n=1\) and \(n=2\).

- 4.
They are related to the matrix

*C*used in Sect. 2 through \((C_{st})_{II'} = \frac{1}{2}C_{II'}\) and \((C_{us})_{II'} = \frac{1}{2}C_{II'}(-1)^{I+I'}\). - 5.
- 6.
In Setup B we choose \(s_f=1.9\ \text {GeV}^2\) close to but smaller than \(s_m \simeq 2\ \text {GeV}^2\), in which our input for \(\text {Im} t_{\ell }^{(I)}(t')\) changes from the CFD parameterization to a constant phase and inelasticity one. By choosing \(s_f \lesssim s_m\), we avoid the point \(s=s_m\) in which, despite the fact that the amplitude is continuous, some small numerical perturbations could appear.

- 7.
Here, for simplicity in the notation, we drop the \(\ell \),

*I*scripts notation. - 8.
- 9.
As discussed for instance in Ref. [39], the unitarity of the partial wave is an additional requirement to be imposed on the Roy equations. The same can be said about the other dispersive approaches referred to in this paper. This can be achieved, for instance, by looking only for solutions in a subspace of unitary solutions.

- 10.
These refer to either \(\eta _{\ell }^{(I)}(s) < 1\) in the elastic region, or \(\eta _\ell ^{(I)}(s)>1\) in any region.

## Notes

### Acknowledgements

MA and NS contributed equally to this work. MA thanks J. R. Peláez, A. Rodas, and J. Ruiz de Elvira for useful discussions and for providing numerical results concerning Ref. [40]. NS thanks E. Passemar for useful discussions. This work was supported by BMBF, by the U.S. Department of Energy under grants No. DE-AC05-06OR23177 and No. DE-FG02-87ER40365, by PAPIIT-DGAPA (UNAM, Mexico) grant No. IA101717, CONACYT (Mexico) grant No. 251817, by Research Foundation – Flanders (FWO), by U.S. National Science Foundation under award Nos. PHY-1415459 and PHY-1205019, and Ministerio de Economía y Competitividad through grants Nos. FPA2016-77313-P, FIS2014-51948-C2-1-P and SEV-2014-0398.

## References

- 1.A. Esposito, A. Pilloni, A.D. Polosa, Phys. Rep.
**668**, 1 (2016). arXiv:1611.07920 [hep-ph]ADSCrossRefGoogle Scholar - 2.R.F. Lebed, R.E. Mitchell, E.S. Swanson, Prog. Part. Nucl. Phys.
**93**, 143 (2017). arXiv:1610.04528 [hep-ph]ADSCrossRefGoogle Scholar - 3.S.L. Olsen, T. Skwarnicki, D. Zieminska, Rev. Mod. Phys.
**90**, 015003 (2018). arXiv:1708.04012 [hep-ph]ADSCrossRefGoogle Scholar - 4.M.T. Hansen, S.R. Sharpe, Phys. Rev. D
**92**, 114509 (2015). arXiv:1504.04248 [hep-lat]ADSCrossRefGoogle Scholar - 5.H.W. Hammer, J.Y. Pang, A. Rusetsky, JHEP
**10**, 115 (2017). arXiv:1707.02176 [hep-lat]ADSCrossRefGoogle Scholar - 6.R.A. Briceño, M.T. Hansen, S.R. Sharpe, Phys. Rev. D
**95**, 074510 (2017). arXiv:1701.07465 [hep-lat]ADSMathSciNetCrossRefGoogle Scholar - 7.I. Caprini, G. Colangelo, H. Leutwyler, Phys. Rev. Lett.
**96**, 132001 (2006). arXiv:hep-ph/0512364 [hep-ph]ADSCrossRefGoogle Scholar - 8.M. Albaladejo, J.A. Oller, Phys. Rev. D
**86**, 034003 (2012). arXiv:1205.6606 [hep-ph]ADSCrossRefGoogle Scholar - 9.
- 10.N.N. Khuri, S.B. Treiman, Phys. Rev.
**119**, 1115 (1960)ADSCrossRefGoogle Scholar - 11.J.B. Bronzan, C. Kacser, Phys. Rev.
**132**, 2703 (1963)ADSMathSciNetCrossRefGoogle Scholar - 12.I.J.R. Aitchison, Phys. Rev.
**137**, B1070 (1965)ADSCrossRefGoogle Scholar - 13.I.J.R. Aitchison, R. Pasquier, Phys. Rev.
**152**, 1274 (1966)ADSCrossRefGoogle Scholar - 14.R. Pasquier, J.Y. Pasquier, Phys. Rev.
**170**, 1294 (1968)ADSCrossRefGoogle Scholar - 15.R. Pasquier, J.Y. Pasquier, Phys. Rev.
**177**, 2482 (1969)ADSCrossRefGoogle Scholar - 16.A. Neveu, J. Scherk, Ann. Phys.
**57**, 39 (1970)ADSCrossRefGoogle Scholar - 17.I.J.R. Aitchison, Unitarity, analyticity and crossing symmetry in two- and three-hadron final state interactions (2015). arXiv:1507.02697 [hep-ph]
- 18.J. Stern, H. Sazdjian, N.H. Fuchs, Phys. Rev. D
**47**, 3814 (1993). arXiv:hep-ph/9301244 [hep-ph]ADSCrossRefGoogle Scholar - 19.M. Zdrahal, J. Novotny, Phys. Rev. D
**78**, 116016 (2008). arXiv:0806.4529 [hep-ph]ADSCrossRefGoogle Scholar - 20.
- 21.J. Kambor, C. Wiesendanger, D. Wyler, Nucl. Phys. B
**465**, 215 (1996). arXiv:hep-ph/9509374 [hep-ph]ADSCrossRefGoogle Scholar - 22.A.V. Anisovich, H. Leutwyler, Phys. Lett. B
**375**, 335 (1996). arXiv:hep-ph/9601237 [hep-ph]ADSCrossRefGoogle Scholar - 23.P. Guo, I.V. Danilkin, D. Schott, C. Fernández-Ramírez, V. Mathieu, A.P. Szczepaniak, Phys. Rev. D
**92**, 054016 (2015). arXiv:1505.01715 [hep-ph]ADSCrossRefGoogle Scholar - 24.P. Guo, I.V. Danilkin, C. Fernández-Ramírez, V. Mathieu, A.P. Szczepaniak, Phys. Lett. B
**771**, 497 (2017). arXiv:1608.01447 [hep-ph]ADSCrossRefGoogle Scholar - 25.G. Colangelo, S. Lanz, H. Leutwyler, E. Passemar, Phys. Rev. Lett.
**118**, 022001 (2017). arXiv:1610.03494 [hep-ph]ADSCrossRefGoogle Scholar - 26.M. Albaladejo, B. Moussallam, Eur. Phys. J. C
**77**, 508 (2017). arXiv:1702.04931 [hep-ph]ADSCrossRefGoogle Scholar - 27.F. Niecknig, B. Kubis, S.P. Schneider, Eur. Phys. J. C
**72**, 2014 (2012). arXiv:1203.2501 [hep-ph]ADSCrossRefGoogle Scholar - 28.I.V. Danilkin, C. Fernández-Ramírez, P. Guo, V. Mathieu, D. Schott, M. Shi, A.P. Szczepaniak, Phys. Rev. D
**91**, 094029 (2015). arXiv:1409.7708 [hep-ph]ADSCrossRefGoogle Scholar - 29.T. Isken, B. Kubis, S.P. Schneider, P. Stoffer, Eur. Phys. J. C
**77**, 489 (2017). arXiv:1705.04339 [hep-ph]ADSCrossRefGoogle Scholar - 30.
- 31.A. Pilloni, C. Fernández-Ramírez, A. Jackura, V. Mathieu, M. Mikhasenko, J. Nys, A.P. Szczepaniak, (JPAC), Phys. Lett. B
**772**, 200 (2017). arXiv:1612.06490 [hep-ph] - 32.F. Niecknig, B. Kubis, Phys. Lett. B
**780**, 471 (2018). arXiv:1708.00446 [hep-ph] - 33.S.M. Roy, Phys. Lett.
**36B**, 353 (1971)ADSCrossRefGoogle Scholar - 34.G. Mahoux, S.M. Roy, G. Wanders, Nucl. Phys. B
**70**, 297 (1974)ADSCrossRefGoogle Scholar - 35.M. Knecht, B. Moussallam, J. Stern, N.H. Fuchs, Nucl. Phys. B
**457**, 513 (1995). arXiv:hep-ph/9507319 [hep-ph]ADSCrossRefGoogle Scholar - 36.M. Knecht, B. Moussallam, J. Stern, N.H. Fuchs, Nucl. Phys. B
**471**, 445 (1996). arXiv:hep-ph/9512404 [hep-ph]ADSCrossRefGoogle Scholar - 37.B. Ananthanarayan, D. Toublan, G. Wanders, Phys. Rev. D
**51**, 1093 (1995). arXiv:hep-ph/9410302 [hep-ph]ADSCrossRefGoogle Scholar - 38.B. Ananthanarayan, Phys. Rev. D
**58**, 036002 (1998). arXiv:hep-ph/9802338 [hep-ph]ADSCrossRefGoogle Scholar - 39.B. Ananthanarayan, G. Colangelo, J. Gasser, H. Leutwyler, Phys. Rep.
**353**, 207 (2001). arXiv:hep-ph/0005297 [hep-ph]ADSCrossRefGoogle Scholar - 40.R. García-Martín, R. Kamiński, J.R. Peláez, J. Ruiz de Elvira, F.J. Ynduráin, Phys. Rev. D
**83**, 074004 (2011). arXiv:1102.2183 [hep-ph]ADSCrossRefGoogle Scholar - 41.V. Meshcheryakov, D. Shirkov, V. Serebryakov,
*Dispersion Theories of Strong Interactions at Low Energy*(North-Holland Publishing Company, Amsterdam, 1969)Google Scholar - 42.S. Lanz, Determination of the quark mass ratio \(Q\) from \(\eta \rightarrow 3\pi \). Ph.D. thesis, Bern University (2011)Google Scholar
- 43.
- 44.M. Albaladejo, J.A. Oller, Phys. Rev. C
**84**, 054009 (2011). arXiv:1107.3035 [nucl-th]ADSCrossRefGoogle Scholar - 45.M. Albaladejo, J.A. Oller, Phys. Rev. C
**86**, 034005 (2012). arXiv:1201.0443 [nucl-th]ADSCrossRefGoogle Scholar - 46.J.L. Basdevant, J.C. Le Guillou, H. Navelet, Nuovo Cim. A
**7**, 363 (1972)ADSCrossRefGoogle Scholar - 47.J.L. Basdevant, C.D. Froggatt, J.L. Petersen, Nucl. Phys. B
**72**, 413 (1974)ADSCrossRefGoogle Scholar - 48.J.L. Basdevant, C.D. Froggatt, J.L. Petersen, Phys. Lett.
**41B**, 173 (1972)ADSCrossRefGoogle Scholar - 49.J.L. Basdevant, C.D. Froggatt, J.L. Petersen, Phys. Lett.
**41B**, 178 (1972)ADSCrossRefGoogle Scholar - 50.M.R. Pennington, S.D. Protopopescu, Phys. Rev. D
**7**, 1429 (1973)ADSCrossRefGoogle Scholar - 51.A. Martin, Nuovo Cim. A
**42**, 930 (1965)ADSCrossRefGoogle Scholar - 52.A. Martin, Nuovo Cim. A
**42**, 1219 (1966)ADSCrossRefGoogle Scholar - 53.R. García-Martín, R. Kaminski, J.R. Peláez, J. Ruiz de Elvira, Phys. Rev. Lett.
**107**, 072001 (2011). arXiv:1107.1635 [hep-ph]ADSCrossRefGoogle Scholar - 54.J.A. Carrasco, J. Nebreda, J.R. Peláez, A.P. Szczepaniak, Phys. Lett. B
**749**, 399 (2015). arXiv:1504.03248 [hep-ph]ADSCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}