Scalar soft theorems at one loop

Geometry of soft scalars at one loop

Abstract

We extend the soft theorems for scattering amplitudes of scalar effective field theories to one-loop order. Our analysis requires carefully accounting for the fact that the soft limit is not guaranteed to commute with evaluating IR-divergent loop integrals; new results for the soft limit of general scalar one-loop integrals are presented. The geometric soft theorem remains unmodified for any derivatively-coupled scalar effective field theory, and we conjecture that this statement holds to all orders. In contrast, the soft theorem receives nontrivial corrections in the presence of potential interactions, analogous to the case of non-Abelian gauge theories. We derive the universal leading-order correction to the scalar soft theorem arising from potential interactions at one loop. Explicit examples are provided that illustrate the general results.

1 Introduction

Universal properties often emerge when studying soft modes in quantum field theory. The classic examples are soft theorems, which state that there are simple relations among scattering amplitudes for gauge theory [1], gravity [1], and pions [2]. These relations emerge when the energy and momentum of one or more massless modes are sent to zero. Similarly, scattering amplitudes for nonrelativistic Goldstone bosons, such as phonons in superfluids, solids, and fluids, obey universal soft theorems [3, 4].

Soft theorems provide a window into the fundamental properties of the underlying theory. For example, the photon and graviton soft theorems are linked to charge conservation and energy-momentum conservation, respectively [1]. Similarly, the nontrivial double soft theorem for pions exposes their non-Abelian nature [5]. By studying the soft limit of scattering amplitudes, we can uncover universal properties of the theory. This subject has additionally experienced a renaissance as new connections have been made with physics on the celestial sphere; see ref. [6] for a recent summary.

The leading-order soft theorems at tree level can often be understood to arise from enhancements due to single-particle propagator poles; the soft mode couples to an external hard particle making an internal line go nearly on shell. This is the case for gauge theory and gravity. Whether these simple soft theorems survive at loop level requires detailed study. In fact, for gauge theory we find a variety of answers: the photon soft theorem remains unchanged at loop level [7, 8], while its non-Abelian version picks up nontrivial corrections [9, 10]. The failure of the tree-level soft theorem for non-Abelian gauge theory is linked to infrared (IR) divergences in the loop integrals [11]. For gravity, the leading soft theorem is also unchanged at loop level, while subleading soft theorems do receive quantum corrections, see, e.g., refs. [11, 12].

Recently, a new soft theorem was derived for general scalar effective field theories (EFTs), named the geometric soft theorem [13] since it is expressed using field-space geometry. In contrast to traditional soft theorems which are linked to symmetries, the geometric soft theorem is general and applies to generic EFTs. For scalar theories without potential interactions, it takes the simple form

$$\lim_{q\rightarrow 0}\mathcal{A}_{n+1}=\nabla_{i}\mathcal{A}_{n}\,,$$ (1.1)

where $\mathcal{A}_{n}$ is an $n$-particle scattering amplitude and $\nabla_{i}$ is the covariant derivative on field space. In this equation, we are taking the limit $q\rightarrow 0$ for the massless scalar with flavor label $i$. The derivation of the soft theorem made no reference to perturbation theory [13]. However, there is an implicit assumption regarding the order of limits: as long as the soft limit commutes with the evaluation of the loop integral, the geometric soft theorem should hold without modifications. This concern was so far not addressed in the literature, and is central to the results presented here. It is also known that for theories with a potential, the soft theorem is modified. The original derivation of the result with a potential was explicitly restricted to tree level.

In this paper, we investigate the fate of the geometric soft theorem at one-loop order. First, we consider scalar effective field theories with only derivative couplings. In this case, we will demonstrate that the geometric soft theorem in eq. 1.1 is unchanged at one loop. We emphasize that this result makes no reference to symmetry arguments, in contrast with the derivations of the classic soft theorems. We then turn to theories with potential interactions. We will show that when we turn on potential interactions such as $\phi^{3}$, the soft theorem receives one-loop corrections due to the presence of new IR divergences. We will derive the leading quantum corrections to the soft theorem for these theories, and provide a road map for investigating subleading corrections.

The remainder of this paper is organized as follows. In sec. 2, we review the geometry of field space and present the tree-level soft theorem for scalar EFTs. Technical details about the soft limit at loop level are summarized in sec. 3. The one-loop extension of the soft theorem is discussed for derivatively-coupled theories in sec. 4 and for theories with potential interactions in sec. 5. In sec. 6, we present numerous examples of the soft theorem in action. We conclude in sec. 7. In app. A, we give details for the one-loop integrals that appear in the examples.

2 Tree-level soft theorem

To set the stage, we first review the framework of field-space geometry for EFTs. The aspect of field-space geometry that we will rely on here is the fact that physical scattering amplitudes for general EFTs can be expressed in terms of geometric quantities such as the Riemann curvature tensor and covariant derivatives thereof. Writing the amplitudes geometrically provides a natural way to express the geometric soft theorem for scalar EFTs at tree level [13]. We will explore how to extend this soft theorem to one-loop order in the following sections.

2.1 Geometry of field space

The scalar soft theorem can be compactly expressed using the language of field-space geometry. We will restrict ourselves here to EFTs for a set of scalars $\phi^{I}$, where $I$ is a flavor index. We write the general EFT Lagrangian as

$$\mathcal{L} =\frac{1}{2}\hskip 0.8ptg_{IJ}(\phi)(\partial_{\mu}\phi^{I})(\partial^{\mu}\phi^{J})-V(\phi)$$

$$\hskip 40.0pt+\lambda_{IJKL}(\phi)(\partial_{\mu}\phi^{I})(\partial^{\mu}\phi^{J})(\partial_{\nu}\phi^{K})(\partial^{\nu}\phi^{L})+\dots\,,$$ (2.1)

where the ellipsis indicates higher-dimensional operators with more than four derivatives. The functions $g_{IJ}(\phi)$, $V(\phi)$, and $\lambda_{IJKL}(\phi)$ depend on the scalar fields and the couplings in the theory. Note that this is a completely generic parameterization of any scalar EFT as a derivative expansion; we make no assumptions about the symmetries or the dynamics of the theory. In particular, this expresses the most general EFT interactions up to this derivative order once integration-by-parts identities and field redefinitions have been applied to eliminate redundant operators; see eq. (2.10) in ref. [18].

The function $g_{IJ}(\phi)$ that appears as the coefficient of the kinetic term can be used to define a geometry on field space. It is a positive-definite two-index tensor that transforms covariantly under non-derivative field redefinitions. As such, it can be interpreted as a metric on a Riemannian manifold for field space [42]. Starting from the metric, we can derive various descendant quantities. The Christoffel symbol is defined as

$$\Gamma^{I}_{JK}=\frac{1}{2}g^{IL}\left[g_{LK,J}+g_{JL,K}-g_{JK,L}\right]\,,$$ (2.2)

where the inverse metric is obtained through $g^{IJ}g_{JK}=\delta^{I}_{K}$, and we use the standard notation

$$g_{IJ,K}=\partial_{K}g_{IJ}=\frac{\partial}{\partial\phi^{K}}g_{IJ}\,.$$ (2.3)

Using the Christoffel symbol, we can assemble the covariant derivative. For example, the covariant derivative of a vector $\eta^{I}$ is

$$\big{(}\eta^{I}\big{)}_{;J}=\nabla_{J}\eta^{I}=\Big{(}\delta^{I}_{K}\partial_{J}+\Gamma^{I}_{JK}\Big{)}\eta^{K}\,,$$ (2.4)

where again we use the standard notation. Lastly, the Riemann curvature tensor is

$$R^{I}_{\;\;JKL}=\left[\Gamma^{I}_{LJ,K}+\Gamma^{I}_{KM}\Gamma^{M}_{JL}-(K\leftrightarrow L)\right]\,.$$ (2.5)

These geometric quantities are useful because we can express the scattering amplitudes in terms of them. It is well known that the LSZ reduction formula for scattering amplitudes is proportional to wavefunction factors that account for the fact that the quantum fields (labeled with uppercase index $I$) are interpolating fields for the physical external particle states (labeled with lowercase index $i$). In the geometric language, this difference is accounted for by the tetrads $e_{Ii}$, which are defined by

$$g_{IJ}(v)=e_{Ii}(v)e_{J}^{i}(v)\,,$$ (2.6)

where $v^{I}$ is the vacuum expectation value (VEV) of the scalars, see ref. [13] for details. The transformation properties of the stripped amplitudes (with the tetrad factors removed) under field redefinitions have also been an area of active recent study, leading to the idea of on-shell covariance [35, 36, 40]. The interpretation of the tetrad as the standard wavefunction factor is a straightforward consequence of the interpolating-field condition,

$$\langle\Omega|\phi^{I}(x)|p,i\rangle=e^{I}_{i}(v)e^{-ip\cdot x},$$ (2.7)

where $|\Omega\rangle$ is the interacting vacuum and $|p,i\rangle$ is the physical one-particle state with momentum $p$ and flavor $i$. Note that this condition involves the on-shell physical state and must be evaluated at the physical vacuum $v$, which is one way to understand the origin of the on-shell covariance of the stripped amplitudes.

As we will review in the next section, the scalar soft theorem can be stated succinctly using field-space geometry, with the additional benefit of providing a nice physical interpretation of the scalar soft theorem.

2.2 Geometric soft theorem at tree level

The tree-level geometric soft theorem for scalar EFTs was derived in ref. [13], and extended to EFTs with scalars, fermions, and gauge bosons in ref. [43]. The geometry of field space plays a central role in the expression of this relation among amplitudes. Consider the soft limit of the momentum $q$ carried by the massless scalar particle with flavor index $i$. For a general EFT Lagrangian of the form sec. 2.1, the tree-level soft theorem is

$$\lim_{q\rightarrow 0}\mathcal{A}_{n+1,i_{1}\cdots i_{n}i}^{(0)}=\nabla_{i}\hskip 0.8pt\mathcal{A}^{(0)}_{n,i_{1}\cdots i_{n}}+\sum_{a=1}^{n}\frac{\nabla_{i}V_{i_{a}}^{\;\;j_{a}}}{(p_{a}+q)^{2}-m_{j_{a}}^{2}}e^{q\cdot\partial_{p_{a}}}\mathcal{A}^{(0)}_{n,i_{1}\cdots j_{a}\cdots i_{n}}+\mathcal{O}(q)\,,$$ (2.8)

where $\mathcal{A}_{n}^{(0)}$ is a tree-level $n$-particle scattering amplitude and $V_{ij}\equiv\nabla_{i}\nabla_{j}V$. For clarity, we note that the comma in the subscript of the amplitudes in this formula separates the label denoting the number of external legs from the list of flavor indices for the external legs. On the right-hand side of eq. 2.8, the covariant derivative acts on all couplings and masses in the amplitude, which are viewed as functions of the VEV. Thus, the soft limit probes the neighborhood of the theory in field space.

Note that the soft theorem takes a particularly simple form for theories without a potential:

$$\lim_{q\rightarrow 0}\mathcal{A}_{n+1,i_{1}\cdots i_{n}i}^{(0)}=\nabla_{i}\hskip 0.8pt\mathcal{A}^{(0)}_{n,i_{1}\cdots i_{n}}\qquad\text{when }\quad V=0\,.$$ (2.9)

The more intricate structure of the second term that appears in eq. 2.8 is a consequence of the fact that the amplitudes for theories with potential interactions can have singularities in the $q\to 0$ limit due to propagators that scale like $1/(p\cdot q)$ with no compensating momentum dependence in the numerator. These are tree-level IR divergences, which do not appear in theories with $V=0$ since the derivatives in the interactions regulate any possible tree-level soft singularities. The relation between theories that possibly have IR-divergent amplitudes and the structure of the scalar soft theorem is central to the one-loop results presented in the following. In fact, we will show that eq. 2.9 holds up to one-loop order without any modification, while the theories with potential interactions have novel complications that lead to a one-loop-corrected form of eq. 2.8.

Finally, we note that the extension of the soft theorem to theories with fermions and gauge bosons in the simplest case with no potential simply amounts to the replacement $\nabla\rightarrow\bar{\nabla}$, where $\bar{\nabla}$ is the covariant derivative for the full field space of the theory [43]. In this work, we will solely focus on theories with scalars and leave the extension to theories with fermions and gauge bosons for future work.

3 Soft limit of IR-divergent loops

As was already seen at tree level, the form of the scalar soft theorem is sensitive to the presence of IR divergences that appear in the $q\to 0$ limit. In four dimensions, it is well known that the $S$-matrix for theories with massless particles can diverge in the IR. We can also encounter UV divergences, which are accommodated following textbook methods of renormalization by invoking local counterterms. The UV divergences and associated counterterms will not play a role in the arguments presented here. On the other hand, keeping track of IR divergences is critically important to understand the scalar soft theorem.

To regulate both UV and IR divergences, we will use dimensional regularization with $d=4-2\epsilon$. The resulting regulated scattering amplitudes are then expanded around $\epsilon=0$, and the expressions generically contain poles in $\epsilon$. As emphasized above, we must keep track of IR divergences. The new feature beyond tree-level are IR-divergent loop integrals. Of course, one way to avoid all these complications is to consider theories whose amplitudes are all IR finite. For example, if the loops involve massive particles, then the IR divergences are regulated by the mass. However, considering a scalar theory without IR divergences is not sufficient. The scalar soft theorem probes a neighborhood of the theory in field space, and the entire neighborhood must be free of IR divergences for the tree-level soft theorem to survive at loop level. We will argue below that derivatively-coupled theories (and their neighborhoods) fall into this class of IR-finite theories.

More concretely, the key issue is that when we have IR-divergent loops, it is not guaranteed that taking the momenta of one or more massless legs to zero commutes with the evaluation of the loop integral [44]. This is intuitive, since both the loop integration and the soft limit probe IR regions. As we will show explicitly, there are discontinuities that can appear when comparing integrated results before and after taking the soft limit.

As an example of this phenomenon, consider the one-loop triangle integral with massive external legs and massless internal propagators, $I^{3m}_{3}$, shown in fig. 1(a). This integral shows up, for example, in the six-particle one-loop scattering amplitude for a theory with quartic interactions such as $\phi^{4}$-theory. The three-mass triangle integral is finite. Now, consider taking the limit where one of the external momenta becomes massless. This corresponds to taking the soft limit for one of the external particles for the diagram in fig. 1(a). Based on the tree-level result in eq. 2.8, one might guess that this limit of the integral is equal to the two-mass triangle integral, $I^{2m}_{3}$, shown in fig. 1(b) and given explicitly in app. A. However, this cannot be the case since the two-mass triangle integral contains IR poles in $\epsilon$, while the three-mass triangle integral is finite as $\epsilon\to 0$. Explicitly, taking the limit $k_{3}^{2}\rightarrow 0$ of the integrated results yields [44]

$$I^{3m}_{3}(k_{1}^{2},k_{2}^{2},k_{3}^{2})\xrightarrow{k^{2}_{3}\to 0}I^{2m}_{3}(k_{1}^{2},k_{2}^{2})-d_{2}(k_{3}^{2};k_{1}^{2},k_{2}^{2})+d_{2}(k_{3}^{2};k_{2}^{2},k_{1}^{2})\,,$$ (3.1)

where the discontinuity $d_{2}$ is given by

$$d_{2}(k_{3}^{2};k_{1}^{2},k_{2}^{2})=\frac{-i}{(4\pi)^{2-\epsilon}}\bigg{(}\frac{(-k_{3}^{2})^{-\epsilon}}{2\epsilon^{2}}-\frac{(-k^{2}_{3})^{-\epsilon}(-k_{1}^{2})^{-\epsilon}}{2\epsilon^{2}(-k_{2}^{2})^{-\epsilon}}-\textrm{Li}_{2}\left(1-\frac{k_{1}^{2}}{k_{2}^{2}}\right)+\mathcal{O}(\epsilon)\bigg{)}\,.$$

Note that this discontinuity function diverges as a power of $\log k_{3}^{2}$ when we first send $\epsilon\to 0$. This fact will be critical to our arguments below.

(a) Three-mass
triangle integral

(b) Two-mass
triangle integral

(c) One-mass
triangle integral

Figure 1: One-loop triangle integrals of massless scalars, which are functions of (a) one, (b) two, or (c) three external massive momenta. The massless limits (which is the same as taking the soft limit for one of the external legs) of these integrals produce discontinuities when comparing the limit before and after performing the integration.

Similarly, the massless limit $k_{2}^{2}\rightarrow 0$ of the two-mass triangle integral is discontinuous:

$$I^{2m}_{3}(k_{1}^{2},k_{2}^{2})\xrightarrow{k^{2}_{2}\to 0}I^{1m}_{3}(k_{1}^{2})-d_{1}(k_{2}^{2})\,,$$ (3.3)

where $I^{1m}_{3}$ is the one-mass triangle integral in fig. 1(c), and the discontinuity in this case is given by

$$d_{1}(k^{2})=\frac{-i}{(4\pi)^{2-\epsilon}}\frac{1}{\epsilon^{2}}(-k^{2})^{-\epsilon}\,.$$ (3.4)

The explicit evaluations of the triangle integrals are given in app. A. Again, we see that this diverges as a power of $\log k^{2}$. These examples illustrate that a soft theorem should potentially be corrected to accommodate such discontinuities in the loop integrals.

Crucially, the discontinuities between the massive and massless one-loop integral can be captured by universal discontinuity functions [44], where $d_{1}$ and $d_{2}$ are two examples. These discontinuities in the loop integrals are linked to IR divergences. They are generic features of quantum field theory, and modify the soft theorem in theories with massless particles, such as QCD [9]. As we have already emphasized, these functions scale logarithmically with $k^{2}$ in the limit $\epsilon\to 0$, a property that will be important below. All other one-loop discontinuity functions, such as the massive box integral, also diverge at most logarithmically as one of the external momenta is taken massless. This scaling can be obtained explicitly from the relation between the discontinuity of the box and triangle integrals [45]. Another potential source of kinematic poles comes from the reduction of a general one-loop integral to the basis of box, triangle, bubble, and tadpole scalar integrals. The coefficient arising from the reduction step may contain dependence on the kinematic variable we want to send to zero. However, in a theory with quartic and higher-point vertices, there are no such poles in the coefficients of the scalar integrals [44]. Since the integrals scale logarithmically with the kinematic variable and there are no additional sources of poles as these variables are sent to zero, we can conclude that any one-loop integral arising from a theory with quartic interactions at worst diverges logarithmically in the soft limit. We will make use of this fact to explore the one-loop scalar soft theorem below.

4 Theories with derivative interactions

In the previous section, we have seen that taking the soft limit of IR-divergent loop integrals does not always commute with performing the integration. Here, we study these subtleties in the context of concrete models, with the goal of extending the geometric soft theorem to one-loop order. This is consistent with the all-orders argument given in sec. 3.4 in the published version of ref. [13]. As anticipated, we will first study the problem with only derivative interactions, and later turn to theories with a nonzero potential.

The archetypical example of a scalar soft theorem is the Adler zero [2], which applies to theories of Goldstone bosons with a symmetric coset. The Adler zero states that the soft limit of the scattering amplitude vanishes. This result is valid to all-loop orders [2, 46]. (Recent work has extended this to the loop integrand [47].) This feature indicates that the theory of Goldstone bosons does not suffer from IR divergences. It is natural to expect that even theories of Goldstone bosons with nonsymmetric cosets and theories with higher-derivative interactions are free from IR divergences. Thus, as long as we can set the potential to zero, $V(\phi)=0$, the tree-level soft theorem should remain valid to all-loop orders.

The first step in this direction will be taken in this section; we will prove that the geometric soft theorem remains unchanged at one loop for derivatively-coupled theories of the type defined in sec. 2.1:

$$\lim_{q\rightarrow 0}\mathcal{A}^{(1)}_{n+1,i_{1}\cdots i_{n}i}=\nabla_{i}\mathcal{A}^{(1)}_{n,i_{1}\cdots i_{n}}\,,$$ (4.1)

where $\mathcal{A}^{(1)}_{n}$ is a one-loop $n$-particle scattering amplitude, and the soft leg has flavor $i$. We use dimensional regularization to regulate divergences,

$$\mathcal{A}^{(1)}_{n}=\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\mathrm{A}^{(1)}_{n}\,,$$ (4.2)

where $\mathrm{A}^{(1)}_{n}$ is the one-loop integrand. We have absorbed the renormalization scale into the loop integrand for simplicity.

We can more efficiently analyze the soft limit of the one-loop amplitudes in this theory by making a convenient choice of field basis. The scattering amplitudes are invariant under field redefinitions [48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58]. The scattering amplitudes for theories of the form sec. 2.1 can be expressed in terms of tensors in field space such as the Riemann curvature tensor and covariant derivatives thereof [42]. However, the loop integrand does not share this property. Typically, the loop integrand is built from a combination of a tensorial part and a non-tensorial part; the non-tensorial terms vanish upon performing the loop integration. To sidestep this complication, we choose to work in Riemann normal coordinates, where the full loop integrand is built solely from tensorial terms [42]. With this choice, it is easier to make sense of expressions such as $\nabla\mathrm{A}_{n}^{(1)}$, since every term in the integrand is a tensor. As a bonus, there are no cubic interactions in this field basis, which makes the analysis significantly simpler.

Having chosen the field basis that corresponds to Riemann normal coordinates, we now proceed to prove the soft theorem for derivatively-coupled theories of the form sec. 2.1 at one-loop order. The proof is structured in three steps:

1. The geometric soft theorem is valid at the level of the integrand:

   $$\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\lim_{q\rightarrow 0}\mathrm{A}^{(1)}_{n+1,i_{1}\cdots i_{n}i}=\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\nabla_{i}\mathrm{A}^{(1)}_{n,i_{1}\cdots i_{n}}\,.$$ (4.3a)

2. Acting with the covariant derivative commutes with the integration:

   $$\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\nabla_{i}\mathrm{A}^{(1)}_{n,i_{1}\cdots i_{n}}=\nabla_{i}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\mathrm{A}^{(1)}_{n,i_{1}\cdots i_{n}}\,.$$ (4.3b)

3. The soft limit commutes with the integration:

   $$\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\lim_{q\rightarrow 0}\mathrm{A}^{(1)}_{n+1,i_{1}\cdots i_{n}i}=\lim_{q\rightarrow 0}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\mathrm{A}^{(1)}_{n+1,i_{1}\cdots i_{n}i}\,.$$ (4.3c)

If these three conditions hold, then eq. 4.1 follows directly.

To show eq. 4.3a, we will recycle on-shell data of tree-level scattering amplitudes to construct the one-loop amplitude. The one-loop integrand for a general $n$-particle scattering amplitude can be related to products of tree-level scattering amplitudes using the generalized unitarity method [59, 60]; see fig. 2 for a four-particle example. The geometric soft theorem holds for tree-level scattering amplitudes. Therefore, combining the tree-level soft theorem with generalized unitarity, we see that the soft theorem automatically holds at the level of the loop integrand, up to terms that vanish upon integration. This establishes eq. 4.3a.

Figure 2: The discontinuity of the one-loop amplitude across a branch cut is given by a product of two tree-level amplitudes. This relation can be leveraged to extract the cut-constructible part of the one-loop integrand using the method of generalized unitarity.

Next, we need to show that the covariant derivative commutes with the integration. We can swap the two operations, shown in eq. 4.3b, because the two operations are independent for theories without potential interactions. The covariant derivative acts solely on the VEVs in the tensors, which are kinematic-independent coefficients of the loop integrand. Conversely, the loop integration depends on the kinematic function of the integrand and not on the coefficient. Therefore, we are free to change the order of operations.

To show eq. 4.3c requires a detailed analysis. For simplicity, let us consider a generic two-derivative theory. The result will straightforwardly generalize to all higher-derivative interactions, since more derivatives make the interactions vanish even more quickly in the soft limit. Recall that we have chosen a field basis that corresponds to Riemann normal coordinates, so the lowest-point vertex has 4 legs.

The soft particle is attached to some vertex in the one-loop amplitude. The line corresponding to the soft particle falls into one of three categories:

• The soft leg is not directly attached to the loop.

• The soft leg is attached to the loop, via an $n$-point vertex where $n\geq 5$.

• The soft leg is attached to the loop, via a 4-point vertex.

(a)

(b)

(c)

Figure 3: Examples of one-loop diagrams with all possible insertions of the soft particle, denoted with a dashed line. a) The soft particle vertex is not directly part of the loop. b) The soft particle is attached to the loop, but with a higher-point vertex. c) The soft particle is attached to the loop with a 4-point vertex.

These three possibilities are shown in fig. 3. Now, consider the commutation of the soft limit and loop integration. For case a, clearly the two limits commute since the soft vertex is displaced away from the loop itself. Case b also poses no issues with the order of limits. The reason is that the vertex with the soft leg attached has three or more lines that are external to the loop, and so the total momentum flowing into the vertex remains massive after taking the soft limit. Therefore, the analytic structure of the loop integrals is unchanged even after taking the soft limit. For example, if the vertex was part of a three-mass triangle integral, then it would remain a three-mass triangle integral after taking the soft limit. Thus, loop integrals of this type have a smooth soft limit.

The last option, case c, is that the soft particle is attached to a four-point vertex in the loop. We have already seen in sec. 3 that the soft limit of integrals built from four-point vertices may lead to discontinuities. We additionally reviewed that these discontinuities scale at most logarithmically with the soft momentum. However, this possible complication is avoided here, since the numerator will always be proportional to the soft momentum. We can see why this is the case by looking at the explicit form of the four-point Feynman rule in normal coordinates:

$$\leavevmode\hbox to71.53pt{\vbox to60.36pt{\pgfpicture\makeatletter\hbox{\hskip 36.03358pt\lower-29.99576pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-29.7405pt}{-26.05998pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-32.70058pt}{20.0675pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{a}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{26.29536pt}{20.43695pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{b}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{26.29536pt}{-25.45721pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{c}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.42264pt}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{-22.76236pt}{-22.76236pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.42264pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{-22.76236pt}{22.76236pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.42264pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{22.76236pt}{22.76236pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.42264pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{22.76236pt}{-22.76236pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}=i\bigg{[}R_{ii_{a}i_{b}i_{c}}\big{(}2\hskip 0.8ptq\cdot p_{b}+\frac{1}{3}(2\hskip 0.8ptp_{b}^{2}-p_{a}^{2}-p_{c}^{2})\big{)}+R_{ii_{b}i_{a}i_{c}}\big{(}2\hskip 0.8ptq\cdot p_{a}+\frac{1}{3}(2\hskip 0.8ptp_{a}^{2}-p_{b}^{2}-p_{c}^{2})\big{)}\bigg{]}\,, i i_{a} i_{b} i_{c} i i_{a} i_{b} i_{c}$$ (4.4)

where the soft momentum $q$ is associated with the particle with flavor $i$ as above. From this expression, we see that the vertex is either proportional to the soft momentum $q$, which implies that the diagram vanishes in the soft limit, or it is proportional to the square of a momentum, which either vanishes on-shell or cancels a propagator that is attached to the vertex. This second case reduces to a diagram where the soft particle is attached to a higher-point vertex, so it is covered by case b. Thus, the soft limit of such diagrams commutes with the loop integration, thereby demonstrating eq. 4.3c.

The same logic applies to any higher-derivative interaction. The crucial properties we used for the two-derivative theory are that: 1) we can use a field basis with no cubic interactions, and 2) the on-shell quartic vertex scales with the soft momentum in the soft limit. For any higher-derivative interaction, both properties can easily be made manifest. We have therefore shown that the geometric soft theorem remains valid for all derivatively-coupled theories at one-loop order. These results have been verified in numerous examples, some of which are given in sec. 6.1.

5 Theories with potential interactions

Now we turn to analyze theories that include potential interactions which do not involve derivatives. We revisit the arguments in the previous subsection to see how the conclusions change in the presence of potential interactions. For simplicity, we assume all the particles in the theory are massless in this section. The main result in this section will be to derive the form of the leading one-loop correction to eq. 2.8.

First, note that the soft theorem in eq. 2.8 remains valid for the one-loop integrand. This is because we can build the loop integrand from tree-level amplitudes using generalized unitarity, even in the presence of potential interactions. We emphasize that the right-hand side of eq. 4.3a must be modified to include the potential term in eq. 2.8.

Next, we must consider the commutation of the soft limit and the loop integration. As before, we analyze all possible insertions of the vertex with the soft particle. The possibilities include the cases a, b, and c from the previous section, along with a new option, namely

• The soft leg is attached to the loop with a 3-point vertex.

When considering modifications at one loop, the potential interactions $\phi^{n}$ can be split into three classes: higher-point interactions with $n\geq 5$, quartic interactions with $n=4$, and cubic interactions with $n=3$. We analyze each group in turn.

Potential interactions $\phi^{n}$ with $n\geq 5$ do not modify the soft theorem at one-loop order. This is because the arguments above for points a and b go through unchanged. In addition, in the absence of cubic or quartic interactions, points c and d do not apply. Note that in this case, the soft theorem is fully captured by the covariant derivative, as in eq. 4.1.

If the theory includes a $\phi^{4}$ interaction, the situation is different. The above arguments for points a and b are still valid, but we face an issue with point c. The loop integrals built from quartic vertices do not have a smooth soft limit. For derivatively-coupled scalars, this was overcome by the momentum dependence in the numerator of the vertex. However, for quartic potential interactions, there is no compensating kinematic factor in the vertex, and the soft limit of the loop integrals diverge logarithmically. The soft theorem must therefore be modified to account for this class of interactions.

Theories with $\phi^{3}$ interactions lead to even more dramatic differences. The cubic interactions allow for new IR-divergent one-loop integrals as well as divergences from tree-level propagators. This implies that the arguments for the commutation of the soft limit and loop integration, eq. 4.3c, completely fail for theories with cubic potential interactions. The leading divergence scale as $1/(p_{a}\cdot q)^{2}$ at one-loop order, compared to $1/(p_{a}\cdot q)$ at tree level. However, since the failure of the tree-level soft theorem is linked to IR divergences, there is a hope that the violation may be universal. Exploring the extent to which there is a universal correction to the soft theorem is the topic we turn to next.

The soft theorem must be modified when working with theories that include potential interactions. Here, we derive the leading one-loop correction to the soft theorem for a massless theory with a $\phi^{3}$ interaction. Our strategy will closely follow the derivation of the analogous result for QCD amplitudes [9]. At tree level, the soft limit is governed by the geometric soft theorem in eq. 2.8. It constitutes the covariant derivative in field space and the contribution from the tree-level insertion of a cubic interaction on external legs. The second term diverges as $1/(p_{a}\cdot q)$ in the soft limit.

We will extend this result to one-loop amplitudes, $\mathcal{A}^{(1)}$. As we shall see, the leading part of the soft limit takes the factorized form

$$\lim_{q\rightarrow 0}\mathcal{A}^{(1)}_{n+1}=K^{(1)}(q)\mathcal{A}^{(0)}_{n}+\mathcal{O}\big{(}1/(p_{a}\cdot q)\big{)}\,,$$ (5.1)

where the leading one-loop correction to the soft theorem, $K^{(1)}(q)$, scales as $1/(p_{a}\cdot q)^{2}$ in the soft limit. This term is sensitive to the noncommutation of the soft limit and the loop integration due to IR divergences.

There are two types of contributions to eq. 5.1; diagrams involving a single hard line, shown in figs. 4(a) and 4(b), and diagrams involving two hard lines, shown in fig. 4(c). The former contributions obviously factorize, while to establish the factorization of the latter contributions requires a slightly deeper analysis. We divide the one-loop correction to the soft theorem as

$$K^{(1)}(q)\mathcal{A}_{n}^{(0)}=\sum_{a}K^{(1)}_{a}(q)\mathcal{A}^{(0)}_{n}+\sum_{a,b}K^{(1)}_{a,b}(q)\mathcal{A}^{(0)}_{n}\,,$$ (5.2)

(a) Bubble integral.

(b) One-mass triangle integral.

(c) One-mass box integral.

Figure 4: One-loop corrections to the leading soft theorem that involves either one or two hard lines.

where we sum over a single or pairs of hard particles. For a single hard line, we find that the contributions, shown in figs. 4(a) and 4(b), are

$$\sum_{a}K^{(1)}_{a}(q)\mathcal{A}^{(0)}_{n} =\sum_{a}I_{2}((p_{a}+q)^{2})\frac{iV_{i_{a}i}^{\quad j_{1}}V_{j_{1}}^{\;\;j_{2}j_{3}}V_{j_{2}j_{3}}^{\quad\;j_{a}}}{2\left[2(p_{a}\cdot q)\right]^{2}}e^{q\cdot\partial_{p_{a}}}\mathcal{A}^{(0)}_{n,\cdots j_{a}\cdots}$$

$$\hskip 12.0pt+\sum_{a}I^{1m}_{3}((p_{a}+q)^{2})\frac{iV_{i_{a}j_{1}}^{\quad j_{2}}V_{ij_{2}}^{\quad j_{3}}V_{j_{3}}^{\;\;j_{1}j_{a}}}{2(p_{a}\cdot q)}e^{q\cdot\partial_{p_{a}}}\mathcal{A}^{(0)}_{n,\cdots j_{a}\cdots}\,.$$ (5.3)

where $V_{ijk}=\nabla_{i}\nabla_{j}\nabla_{k}V$. The bubble integral, $I_{2}$, and the one-mass triangle integral, $I^{1m}_{3}$, are given in app. A.

The contributions from pairs of hard particles are

$$\sum_{a,b}K^{(1)}_{a,b}(q)\mathcal{A}_{n}^{(0)}= \sum_{a<b}I^{(1)}_{\Box}iV_{i}^{\;\;\;j_{1}j_{2}}V_{i_{a}j_{1}}^{\quad j_{a}}V_{i_{b}j_{2}}^{\quad j_{b}}\mathcal{A}_{n,\cdots j_{a}\cdots j_{b}\cdots}^{(0)}\,,$$ (5.4)

where

$$I^{(1)}_{\Box} =I^{1m}_{4}\big{(}(p_{a}+q)^{2},(p_{b}+q)^{2},(p_{a}+p_{b}+q)^{2}\big{)}$$

$$=\frac{i}{16\pi^{2}}\frac{1}{2}\frac{1}{p_{a}\cdot q\,p_{b}\cdot q}\bigg{[}\frac{1}{\epsilon^{2}}-\frac{1}{\epsilon}\log\bigg{(}-\frac{p_{a}\cdot q}{\pi\mu^{2}e^{-\gamma}}\frac{p_{b}\cdot q}{s_{ab}}\bigg{)}$$

$$\hskip 12.0pt+\frac{1}{2}\log^{2}\bigg{(}-\frac{p_{a}\cdot q}{\pi\mu^{2}e^{-\gamma}}\frac{p_{b}\cdot q}{s_{ab}}\bigg{)}+\frac{\pi^{2}}{12}+\mathcal{O}(\epsilon)+\mathcal{O}(q)\bigg{]}\,.$$ (5.5)

where $s_{ab}=(p_{a}+p_{b})^{2}$ as usual. The reason why these contributions factorize can be understood by using the method of regions [62]. The leading term in the soft limit is when the loop momentum is in the soft region and the soft particle is inserted between two (hard) massless particles. This configuration is enhanced because the hard particles are near on shell, and because of this, these contributions factorize.

The leading contributions to scalar one-loop scattering amplitudes in the soft limit are captured by eqs. 5.3 and 5.4. These together provide the one-loop corrections to the leading soft theorem for scalar EFTs.

6 Examples

In this section, we will study two concrete examples that demonstrate the general results for the one-loop soft theorem. We will first discuss theories with only derivative couplings, then consider the impact of adding potential interactions.

6.1 Two-derivative interactions

We start with the Lagrangian

$$\mathcal{L}=\frac{1}{2}g_{IJ}(\phi)(\partial_{\mu}\phi^{I})(\partial^{\mu}\phi^{J})\,.$$ (6.1)

From this Lagrangian, we will calculate various scattering amplitudes at loop level.

The four-point one-loop amplitude is

$$\mathcal{A}^{(1)}_{4,i_{1}i_{2}i_{3}i_{4}} =is_{34}I_{2}(s_{34})\Big{\{}\left[\left(2R_{i_{1}j_{1}i_{2}j_{2}}+R_{i_{1}i_{2}j_{1}j_{2}}\right)R_{i_{3}\;\;\;i_{4}}^{\;\;\;j_{1}\;\;\;j_{2}}+R_{i_{1}j_{1}i_{2}j_{2}}R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\right]s_{12}$$ (6.2)

$$\qquad\quad+\left[R_{i_{1}i_{2}j_{1}j_{2}}R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\right]\left(\frac{d}{2(d-1)}s_{12}+\frac{1}{(d-1)}s_{13}\right)\Big{\}}+\rm{cycl}(1,2,3)\,,$$

where $I_{2}(p^{2})$ is the bubble integral in eq. A.2, and we sum over cyclic permutations.

The five-point amplitude is

$$\mathcal{A}^{(1)}_{5,i_{1}i_{2}i_{3}i_{4}i_{5}} =\frac{is_{34}}{6}I_{2}(s_{34})\Big{\{}\Big{[}(\nabla_{i_{2}}R_{j_{2}i_{1}j_{1}i_{5}}+\nabla_{i_{5}}R_{j_{2}j_{1}i_{2}i_{1}})s_{15}+\nabla_{i_{1}}R_{j_{2}i_{2}j_{1}i_{5}}s_{25}$$

$$\qquad\qquad\qquad\qquad+\nabla_{i_{5}}R_{j_{2}i_{2}j_{1}i_{1}}s_{12}\Big{]}\Big{[}2R_{i_{3}\;\;\;i_{4}\;\;\;}^{\;\;\;j_{1}\;\;\;j_{2}}+R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\Big{]}$$

$$+\Big{[}\nabla_{i_{1}}R_{j_{2}j_{1}i_{2}i_{5}}(s_{35}+s_{45})+\nabla_{i_{5}}R_{j_{2}j_{1}i_{2}i_{1}}(s_{13}+s_{14})\Big{]}\Big{[}-R_{i_{3}\;\;\;i_{4}\;\;\;}^{\;\;\;j_{1}\;\;\;j_{2}}\Big{]}$$

$$+\Big{[}\nabla_{i_{1}}R_{j_{2}j_{1}i_{2}i_{5}}\Big{]}\Big{[}-R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\Big{]}\left(\frac{d}{2(d-1)}(s_{35}+s_{45})-\frac{1}{(d-1)}s_{35}\right)$$

$$+\Big{[}\nabla_{i_{5}}R_{j_{2}j_{1}i_{2}i_{1}}\Big{]}\Big{[}-R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\Big{]}\left(\frac{d}{2(d-1)}(s_{13}+s_{14})-\frac{1}{(d-1)}s_{13}\right)\Big{\}}$$

$$+\rm{perm}(1,2,3,4,5)\,,$$ (6.3)

where we sum over all permutations.

We can now study the scattering amplitudes in the soft limit. First, we look at the $p_{4}\rightarrow 0$ limit of the four-point amplitude. The bubble integral diverges logarithmically in this limit. However, the overall kinematic factor compensates for this, making the soft limit of the amplitude vanish. This agrees with the geometric soft theorem, since there is no nonvanishing three-point amplitude in this theory.

Next, we turn to the five-point amplitude. Consider the $p_{5}\rightarrow 0$ limit of this amplitude. Again, the bubble integral diverges whenever its argument goes to zero. But from the structure of the scattering amplitude, we see that the bubble integral always comes together with a kinematic factor, such as $s_{34}I_{2}(s_{34})$. This makes this limit of the scattering amplitude finite. The scattering amplitude in the soft limit is

$$\lim_{p_{5}\rightarrow 0}\mathcal{A}^{(1)}_{5,i_{1}i_{2}i_{3}i_{4}i_{5}} =is_{34}I_{2}(s_{34})\Big{\{}\left[(\nabla_{i_{5}}R_{j_{2}i_{2}j_{1}i_{1}})\left(2R_{i_{3}\;\;\;i_{4}\;\;\;}^{\;\;\;j_{1}\;\;\;j_{2}}+R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\right)\right]s_{12}$$

$$+\left[(\nabla_{i_{5}}R_{j_{2}j_{1}i_{2}i_{1}})R_{i_{3}\;\;\;i_{4}\;\;\;}^{\;\;\;j_{1}\;\;\;j_{2}}\right](-s_{13}-s_{14})$$

$$+\left[(\nabla_{i_{5}}R_{j_{2}j_{1}i_{2}i_{1}})R_{i_{3}i_{4}}^{\quad j_{1}j_{2}}\right]\left(\frac{d}{2(d-1)}(-s_{13}-s_{14})+\frac{1}{(d-1)}s_{13}\right)\Big{\}}$$

$$+\rm{cycl}(1,2,3)+\left(1,2\leftrightarrow 3,4\right)\,.$$ (6.4)

This is precisely the geometric soft theorem;

$$\lim_{p_{5}\rightarrow 0}\mathcal{A}^{(1)}_{5,i_{1}i_{2}i_{3}i_{4}i_{5}} =\nabla_{i_{5}}\mathcal{A}^{(1)}_{4,i_{1}i_{2}i_{3}i_{4}}\,.$$ (6.5)

We also have verified that the geometric soft theorem holds for the six-particle scattering amplitude. In addition, we computed one-loop scattering amplitude for higher-derivative corrections $\lambda(\partial\phi)^{4}$ up to five particles. The soft limits of these amplitudes all agree with the geometric soft theorem.

6.2 Potential interactions

We now study the effect of potential interactions. In particular, we consider the most relevant deformation—the cubic coupling—in a theory with four-derivative interactions and a flat metric. The latter assumption simplifies the diagrammatic analysis without modifying the discussion of the corrections to the soft theorem. Concretely, we consider the Lagrangian

$$\mathcal{L}=\frac{1}{2}\delta_{IJ}(\partial_{\mu}\phi^{I})(\partial^{\mu}\phi^{J})-\frac{1}{3!}V_{IJK}\phi^{I}\phi^{J}\phi^{K}+\lambda_{IJKL}(\phi)(\partial_{\mu}\phi^{I})(\partial^{\mu}\phi^{J})(\partial_{\nu}\phi^{K})(\partial^{\nu}\phi^{L})\,.$$ (6.6)

Note that $V_{IJK}$ is a coupling constant (it is not a function of the scalar field). We will now study the soft theorem by isolating contributions with specific numbers of insertions of the cubic coupling, since the soft theorem must hold for each set of diagrams in this class independently. We introduce the notation $\mathcal{A}^{(1),V^{n}}_{5}$ for the part of the one-loop amplitude with $n$ insertions of $V_{IJK}$.

For zero insertions of the cubic coupling, the situation is similar to the one described previously:

$$\lim_{p_{5}\rightarrow 0}\mathcal{A}^{(1),V^{0}}_{5}=\nabla_{i_{5}}\mathcal{A}^{(1),V^{0}}_{4}.$$ (6.7)

Next, we turn to amplitudes with one insertion of the cubic coupling. For four particles, there are no such terms, $\mathcal{A}^{(1),V^{1}}_{4}=0$. For five particles, the amplitude is

$$\mathcal{A}^{(1),V^{1}}_{5}=\leavevmode\hbox to80.38pt{\vbox to44.14pt{\pgfpicture\makeatletter\hbox{\hskip 38.81877pt\lower-7.53285pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{18.21701pt}{26.67702pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{31.98576pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{24.87257pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-35.48576pt}{4.85764pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$\frac{1}{8}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{7.11319pt}\pgfsys@lineto{0.0pt}{7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}{}{}{{}}{{{{}{}{}{}}} {{{}{}{}{}}} {{{}{}{}{}}} {{}{}{}{}}}}{} {} {} {} {}{} {}{}\pgfsys@moveto{14.22638pt}{7.11319pt}\pgfsys@curveto{14.22638pt}{11.04173pt}{11.04173pt}{14.22638pt}{7.11319pt}{14.22638pt}\pgfsys@curveto{3.18465pt}{14.22638pt}{0.0pt}{11.04173pt}{0.0pt}{7.11319pt}\pgfsys@curveto{0.0pt}{3.18465pt}{3.18465pt}{0.0pt}{7.11319pt}{0.0pt}\pgfsys@curveto{11.04173pt}{0.0pt}{14.22638pt}{3.18465pt}{14.22638pt}{7.11319pt}\pgfsys@closepath\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{7.11319pt}\pgfsys@lineto{21.33957pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{7.11319pt}\pgfsys@lineto{-7.11319pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{7.11319pt}\pgfsys@lineto{-7.11319pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{21.33957pt}{14.22638pt}\pgfsys@lineto{21.33957pt}{21.33957pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{21.33957pt}{14.22638pt}\pgfsys@lineto{28.45276pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{7.11319pt}\pgfsys@lineto{21.33957pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\quad\leavevmode\hbox to186.38pt{\vbox to63.27pt{\pgfpicture\makeatletter\hbox{\hskip 56.17485pt\lower-28.65231pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \tkzDefEquilateral(a,c)\tkzGetPoint{b}; \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-26.84923pt}{-8.08577pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-26.84923pt}{3.29497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.12256pt}{24.68468pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{20.60411pt}{3.29497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{20.60411pt}{-8.08577pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-52.84184pt}{3.43481pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$+\,\frac{1}{8}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{37.67525pt}{3.19037pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$+\,\textrm{perm}(1,2,3,4,5)\,,$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}{}{}} {}{}{{}} {}{}{{}} {}{}{}\pgfsys@moveto{-7.96649pt}{0.0pt}\pgfsys@lineto{-28.45232pt}{-28.45232pt}\pgfsys@lineto{7.96649pt}{0.0pt}\pgfsys@lineto{-7.96649pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.96649pt}{0.0pt}\pgfsys@lineto{-17.0711pt}{-5.69037pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.96649pt}{0.0pt}\pgfsys@lineto{-17.0711pt}{5.69037pt}\pgfsys@stroke\pgfsys@invoke{ } {{}{}{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-28.45232pt}{-28.45232pt}\pgfsys@lineto{0.0pt}{19.34723pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{7.96649pt}{0.0pt}\pgfsys@lineto{17.0711pt}{5.69037pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{7.96649pt}{0.0pt}\pgfsys@lineto{17.0711pt}{-5.69037pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}} i_{2} i_{1} i_{5} i_{4} i_{3} \frac{1}{8} i_{2} i_{1} i_{5} i_{4} i_{3} +\,\frac{1}{8} +\,\textrm{perm}(1,2,3,4,5)\,, i_{2} i_{1} i_{5} i_{4} i_{3} \frac{1}{8} i_{2} i_{1} i_{5} i_{4} i_{3} +\,\frac{1}{8} +\,\textrm{perm}(1,2,3,4,5)\,,$$ (6.8)

where the quartic vertices are the Feynman vertices from $\lambda(\partial\phi)^{4}$, and the cubic vertex comes from the potential. Consider the soft limit where $p_{5}\rightarrow 0$. Since we are summing over all permutations of the external particles in eq. 6.8, we have to consider how each term in the sum behaves in the soft limit. Whenever particle 5 is attached to a quartic vertex coming from the four-derivative interaction, this diagram vanishes in the soft limit. This is similar to how eq. 6.2 behaves in the soft limit. For the bubble graph in eq. 6.8, the only other option is for particle 5 to be connected to the cubic vertex. We recognize this graph as the tree-level modification of an external line by the cubic vertex, which is part of the original tree-level soft theorem. In turn, the bubble graph in eq. 6.8 corresponds to the pole term in the soft theorem in eq. 2.8, i.e., $+\sum\frac{V_{ijk}}{(p+q)^{2}-m^{2}}\mathcal{A}^{(1),V^{0}}_{4}$.

For the second term, we again have two options for where particle 5 is attached; either to a quartic or a cubic vertex. The graphs where particle 5 is attached to a quartic vertex vanish in the soft limit, since the vertex scales as $\mathcal{O}(p_{5}\cdot p_{a})$ and the loop integral scales as $\mathcal{O}(\log p_{5}\cdot p_{a})$. The only nonvanishing term is when particle 5 is attached to the cubic vertex. This corresponds to the soft limit of a massless leg in a two-mass triangle integral. This integral is given in app. A. On the right-hand side of the soft theorem, this corresponds to the covariant derivative acting on an internal propagator of a bubble diagram, effectively doubling it. The bubble integral with additional propagator factors is also given in app. A. In particular, the soft theorem holds as long as

$$\lim_{s_{34}\rightarrow s_{12}}I^{2m}_{3}\big{(}s_{12},s_{34}\big{)}=J_{2,12}\big{(}s_{12}\big{)}\,,$$ (6.9)

which corresponds to the $p_{5}\rightarrow 0$ due to the 5-point kinematics. By combining these two results, we have shown that the soft theorem in eq. 2.8 also holds for the parts of the one-loop amplitudes that are linear in the cubic coupling:

$$\lim_{p_{5}\rightarrow 0}\mathcal{A}^{(1),V^{1}}_{5}=\nabla_{i_{5}}\mathcal{A}^{(1),V^{1}}_{4}+\sum_{a=1}^{4}\frac{\nabla_{i_{5}}V_{i_{a}}^{\;\;j_{a}}}{2(p_{a}\cdot p_{5})}e^{p_{5}\cdot\partial_{p_{a}}}\mathcal{A}^{(1),V^{0}}_{4,i_{1}\cdots j_{a}\cdots i_{4}}\,.$$ (6.10)

Next, we could analyze the part of the scattering amplitudes with two insertions of cubic interactions. They scale as $1/(p_{a}\cdot p_{5})$ in the soft limit. However, these contributions do not exactly match the tree-level soft theorem. Therefore, there must be a one-loop modification to the soft theorem. Such modifications are subleading compared to the results derived in sec. 5, and beyond the scope of this paper. Instead, we will look at the part of the amplitude that is sensitive to the leading correction to the soft theorem, namely three insertions of the cubic coupling.

The diagrammatic representation of the amplitude with three insertions of the cubic coupling is given by

$$\mathcal{A}^{(1),V^{3}}_{5}=\tfrac{1}{24}\leavevmode\hbox to90.24pt{\vbox to43.52pt{\pgfpicture\makeatletter\hbox{\hskip 20.22432pt\lower-21.75923pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{60.43852pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{-14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}{}{}{{}}{{{{}{}{}{}}} {{{}{}{}{}}} {{{}{}{}{}}} {{}{}{}{}}}}{} {} {} {} {}{} {}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@curveto{28.45276pt}{3.92854pt}{25.26811pt}{7.11319pt}{21.33957pt}{7.11319pt}\pgfsys@curveto{17.41103pt}{7.11319pt}{14.22638pt}{3.92854pt}{14.22638pt}{0.0pt}\pgfsys@curveto{14.22638pt}{-3.92854pt}{17.41103pt}{-7.11319pt}{21.33957pt}{-7.11319pt}\pgfsys@curveto{25.26811pt}{-7.11319pt}{28.45276pt}{-3.92854pt}{28.45276pt}{0.0pt}\pgfsys@closepath\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{42.67914pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{49.79233pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{56.90552pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{49.79233pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\tfrac{1}{8}\leavevmode\hbox to83.13pt{\vbox to50.63pt{\pgfpicture\makeatletter\hbox{\hskip 20.22432pt\lower-28.87242pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{-23.73497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{-9.50859pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{-14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}{}{}{{}}{{{{}{}{}{}}} {{{}{}{}{}}} {{{}{}{}{}}} {{}{}{}{}}}}{} {} {} {} {}{} {}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@curveto{14.22638pt}{3.92854pt}{11.04173pt}{7.11319pt}{7.11319pt}{7.11319pt}\pgfsys@curveto{3.18465pt}{7.11319pt}{0.0pt}{3.92854pt}{0.0pt}{0.0pt}\pgfsys@curveto{0.0pt}{-3.92854pt}{3.18465pt}{-7.11319pt}{7.11319pt}{-7.11319pt}\pgfsys@curveto{11.04173pt}{-7.11319pt}{14.22638pt}{-3.92854pt}{14.22638pt}{0.0pt}\pgfsys@closepath\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{35.56595pt}{-7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-7.11319pt}\pgfsys@lineto{35.56595pt}{-21.33957pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-7.11319pt}\pgfsys@lineto{49.79233pt}{-7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{49.79233pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\tfrac{1}{8}\leavevmode\hbox to83.13pt{\vbox to50.63pt{\pgfpicture\makeatletter\hbox{\hskip 20.22432pt\lower-28.87242pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{-23.73497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{-9.50859pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{-14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}{}{}{{}}{{{{}{}{}{}}} {{{}{}{}{}}} {{{}{}{}{}}} {{}{}{}{}}}}{} {} {} {} {}{} {}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@curveto{28.45276pt}{3.92854pt}{25.26811pt}{7.11319pt}{21.33957pt}{7.11319pt}\pgfsys@curveto{17.41103pt}{7.11319pt}{14.22638pt}{3.92854pt}{14.22638pt}{0.0pt}\pgfsys@curveto{14.22638pt}{-3.92854pt}{17.41103pt}{-7.11319pt}{21.33957pt}{-7.11319pt}\pgfsys@curveto{25.26811pt}{-7.11319pt}{28.45276pt}{-3.92854pt}{28.45276pt}{0.0pt}\pgfsys@closepath\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{35.56595pt}{-7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-7.11319pt}\pgfsys@lineto{35.56595pt}{-21.33957pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-7.11319pt}\pgfsys@lineto{49.79233pt}{-7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{49.79233pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5}$$

$$\hskip 19.91684pt+\tfrac{1}{12}\leavevmode\hbox to83.13pt{\vbox to57.74pt{\pgfpicture\makeatletter\hbox{\hskip 20.22432pt\lower-28.87242pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{18.94417pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-23.73497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.21214pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.21214pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{21.33957pt}\pgfsys@lineto{0.0pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{-21.33957pt}\pgfsys@lineto{0.0pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{14.22638pt}\pgfsys@lineto{0.0pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{-14.22638pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{0.0pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{49.79233pt}{0.0pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } \par\par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\tfrac{1}{4}\leavevmode\hbox to83.13pt{\vbox to57.74pt{\pgfpicture\makeatletter\hbox{\hskip 20.22432pt\lower-35.98561pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-16.89131pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{31.98576pt}{-30.84816pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{53.32533pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par\par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-7.11319pt}{-14.22638pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{42.67914pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{0.0pt}\pgfsys@lineto{28.45276pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{28.45276pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{-28.45276pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{49.79233pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{0.0pt}\pgfsys@lineto{49.79233pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\tfrac{1}{4}\leavevmode\hbox to83.13pt{\vbox to50.63pt{\pgfpicture\makeatletter\hbox{\hskip 27.33751pt\lower-28.87242pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-24.0045pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{4.44826pt}{-23.73497pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{-9.50859pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{46.21214pt}{4.71779pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{25.78783pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-14.22638pt}{0.0pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-21.33957pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-7.11319pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{35.56595pt}{7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{42.67914pt}{7.11319pt}\pgfsys@lineto{35.56595pt}{7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{14.22638pt}\pgfsys@lineto{35.56595pt}{7.11319pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5}$$

$$+\tfrac{1}{4}\leavevmode\hbox to76.01pt{\vbox to71.97pt{\pgfpicture\makeatletter\hbox{\hskip 27.33751pt\lower-35.98561pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-24.0045pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{4.44826pt}{-30.84816pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{4.44826pt}{26.05736pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{-14.22638pt}{0.0pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-28.45276pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{28.45276pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\textrm{perm}(1,2,3,4,5)\,. i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4} i_{5}$$ (6.11)

The three lines correspond respectively to bubble, triangle, and box loops. We will study the different groups separately. For the bubble diagrams, it is not hard to convince oneself that the leading contribution is $\mathcal{O}\big{(}1/(p_{a}\cdot p_{5})^{2}\big{)}$, and comes from the first diagram when the soft leg is attached to the cubic coupling. Indeed, this is the only diagram where two propagators go on shell in the soft limit. This corresponds precisely to fig. 4(a).

For the diagrams on the second line, the leading contribution comes from the first diagram when the soft leg is attached to a cubic vertex that is part of the loop, and the triangle loop is connected to the four-point vertex via a tree-level propagator. In this case, one factor of $1/(p_{a}\cdot p_{5})$ comes from the triangle integral, while a second such factor comes from the intermediate propagator going on shell. Again, this corresponds precisely to fig. 4(b).

Finally, let us consider the box integral on the third line. We are summing over all permutations and must analyze the effect of each placement of the soft particle. The leading contribution is given by the diagram where the soft particle is attached to a cubic vertex that is opposite to the quartic vertex, and corresponds to fig. 4(c). Using the method of generalized unitarity [63], we find that

$$\leavevmode\hbox to76.01pt{\vbox to71.97pt{\pgfpicture\makeatletter\hbox{\hskip 27.33751pt\lower-35.98561pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{{}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{}}{}{}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-24.0045pt}{-2.3954pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{5}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{4.44826pt}{-30.84816pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{1}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{-16.62178pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{2}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{39.09895pt}{11.83098pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{3}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{{}{}}}{{}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{4.44826pt}{26.05736pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i_{4}$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \par{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{28.45276pt}{0.0pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{1.42264pt}\pgfsys@invoke{ }\pgfsys@setdash{3.0pt,3.0pt}{0.0pt}\pgfsys@invoke{ }{}\pgfsys@moveto{-14.22638pt}{0.0pt}\pgfsys@lineto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ }{\pgfsys@beginscope\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{-28.45276pt}\pgfsys@lineto{14.22638pt}{-14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{-14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{35.56595pt}{14.22638pt}\pgfsys@lineto{28.45276pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } {{}}{}{{}}{}{{}} {}{}{}\pgfsys@moveto{14.22638pt}{28.45276pt}\pgfsys@lineto{14.22638pt}{14.22638pt}\pgfsys@stroke\pgfsys@invoke{ } \par \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}+\textrm{perm}(1,2,3,4)=\sum_{a<b}I^{(1)}_{\Box}iV_{i_{5}}^{\;\;\;j_{1}j_{2}}V_{i_{a}j_{1}}^{\quad j_{a}}V_{i_{b}j_{2}}^{\quad j_{b}}\mathcal{A}_{4,\cdots j_{a}\cdots j_{b}}^{(0),V^{0}}+\mathcal{O}\left(\frac{1}{p_{a}\cdot p_{5}}\right)\,. i_{5} i_{1} i_{2} i_{3} i_{4} i_{5} i_{1} i_{2} i_{3} i_{4}$$ (6.12)

This exactly agrees with eq. 5.4 as expected. Note that diagrams where the soft leg is adjacent to the quartic vertex are subleading by one power of $p_{5}$.

By combining these contributions, we reproduce the leading quantum correction to the scalar soft theorem. We could have extended this analysis for more insertions of the cubic vertex, but we stop here for brevity.

7 Outlook

In this paper, we have investigated the scalar soft theorems in EFTs at one loop using the language of field-space geometry. For derivatively-coupled theories, the geometric soft theorem remains unchanged, while for theories with potential interactions, specifically $\phi^{3}$ and $\phi^{4}$ at one loop, the soft theorem receives quantum corrections. We derived the leading universal corrections to the soft theorem for general scalar EFTs for theories with potential interactions.

This work opens up many future avenues of research. We conjecture that the geometric soft theorem is valid at all-loop orders for derivatively-coupled theories. The crucial missing ingredient to prove this result is a general argument that guarantees the absence of IR divergences for such theories to all-loop orders. If such an argument could be established, the all-loop statement of the geometric soft theorem for derivatively-coupled theories would follow from the arguments presented in this paper combined with the original derivation [13].

There is still more to explore at one-loop order. We provided the universal one-loop corrections to the soft theorems for theories with potential interactions. It would be exciting to extend these results to subleading order in the soft expansion, or conversely to prove definitively that no universal subleading expressions exist. Another immediate generalization of the analysis here is to study theories with massive scalars and theories where the scalars couple to fermions and gauge bosons. We expect that the generalized geometric soft theorem, derived in ref. [43], will hold at one-loop order in the absence of potential interactions (including Yukawa-type interactions), but a concrete demonstration of this conjecture has not been performed.

Beyond the realm of single-particle soft theorems, several multi-particle soft theorems have been derived for tree-level scattering amplitudes [13, 43]. Whether any remnant of these results survives at the quantum level is an open question. Finally, one would hope that the deeper perspective this paper provides could lead to new understanding between the soft limit of scalar EFTs, asymptotic symmetries [64, 65, 66, 67], and the formalism of celestial holography [68, 69]. These connections could yield exciting new insights into the fundamental nature of EFTs.

Acknowledgments

We thank Philipp Böer, Chia-Hsien Shen, and Gherardo Vita for insightful discussions and Julio Parra-Martinez for comments on the manuscript. TC is supported by the U.S. Department of Energy Grant No. DE-SC0011640. FN and IP are partially supported by the Swiss National Science Foundation under contract 200020-213104 and through the National Center of Competence in Research SwissMAP. IP is supported by Scuola Normale Superiore. The research of IP is moreover supported by the ERC (NOTIMEFORCOSMO, 101126304). However, views and opinions expressed are those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them.

Appendix

Appendix A Loop integrals

Here we list the one-loop integrals that appear in the examples presented in sec. 6 above. A general one-loop $n$-point integral without any loop momentum dependence in the numerator takes the form

$$I_{n}=\mu^{2\epsilon}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\frac{1}{\ell^{2}(\ell-p_{1})^{2}(\ell-p_{1}-p_{2})^{2}\cdots(\ell-p_{1}-p_{2}-\cdots-p_{n-1})^{2}}\,.$$ (A.1)

A.1 Bubbles

The massless bubble integral is scaleless and vanishes. The massive bubble integral is

$$I_{2}(p_{1}^{2})=\frac{i}{16\pi^{2}}\bigg{[}\frac{1}{\epsilon}+2-\log\bigg{(}-\frac{p_{1}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}\bigg{]}+\mathcal{O}(\epsilon)\,.$$ (A.2)

The bubble integral with the propagators raised to arbitrary powers is

$$J_{2,\nu_{1}\nu_{2}}(p_{1}^{2}) =\mu^{2\epsilon}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\frac{1}{\ell^{2\nu_{1}}(\ell-p_{1})^{2\nu_{2}}}$$

$$=\frac{i}{16\pi^{2}}\frac{1}{(p_{1}^{2})^{\nu_{1}+\nu_{2}-2}}\bigg{(}\frac{-p_{1}^{2}}{4\pi\mu^{2}}\bigg{)}^{-\epsilon}$$

$$\hskip 56.9055pt\times\frac{\Gamma(\nu_{1}+\nu_{2}-2+\epsilon)\Gamma(2-\epsilon-\nu_{1})\Gamma(2-\epsilon-\nu_{2})}{\Gamma(\nu_{1})\Gamma(\nu_{2})\Gamma(4-2\epsilon-\nu_{1}-\nu_{2})}\,.$$ (A.3)

A.2 Triangles

The one-mass triangle integral is

$$I^{1m}_{3}(p_{1}^{2})=\frac{i}{16\pi^{2}}\frac{1}{p_{1}^{2}}\bigg{[}\frac{1}{\epsilon^{2}}-\frac{1}{\epsilon}\ln\bigg{(}\frac{-p_{1}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}+\frac{1}{2}\ln^{2}\bigg{(}\frac{-p_{1}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}-\frac{1}{2}\zeta_{2}\bigg{]}+\mathcal{O}(\epsilon)\,.$$ (A.4)

In addition, we need the triangle integral with the propagators raised to arbitrary powers. We introduce the notation $(\nu=\nu_{1}+\nu_{2}+\nu_{3})$

$$J^{1m}_{3,\nu_{1}\nu_{2}\nu_{3}}(p_{1}^{2})=\mu^{2\epsilon}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\frac{1}{\ell^{2\nu_{1}}(\ell-p_{1})^{2\nu_{2}}(\ell-p_{1}-p_{2})^{2\nu_{3}}}$$ (A.5)

$$=\frac{i}{16\pi^{2}}\frac{1}{(p_{1}^{2})^{\nu-2}}\bigg{(}\!-\!\frac{p_{1}^{2}}{4\pi\mu^{2}}\bigg{)}^{-\epsilon}\frac{\Gamma(\nu-2+\epsilon)\Gamma(2-\epsilon-\nu_{1}-\nu_{3})\Gamma(2-\epsilon-\nu_{2}-\nu_{3})}{\Gamma(\nu_{1})\Gamma(\nu_{2})\Gamma(4-2\epsilon-\nu)}\,.$$

It satisfies

$$J^{1m}_{3,\nu_{1}\nu_{2}\nu_{3}}(p_{1}^{2})=J^{1m}_{3,\nu_{2}\nu_{1}\nu_{3}}(p_{1}^{2})\,.$$ (A.6)

Some useful explicit cases are

$$J^{1m}_{3,121}(p_{1}^{2}) =\frac{i}{16\pi^{2}}\frac{1}{(p_{1}^{2})^{2}}\bigg{[}\frac{2}{\epsilon}-2\log\bigg{(}-\frac{p_{1}^{2}}{4\pi\mu^{2}e^{-\gamma}}\bigg{)}+\mathcal{O}(\epsilon)\bigg{]}\,,$$ (A.7)

$$J^{1m}_{3,112}(p_{1}^{2}) =\frac{i}{16\pi^{2}}\frac{1}{(p_{1}^{2})^{2}}\bigg{[}-\frac{2}{\epsilon}+2+2\log\bigg{(}-\frac{p_{1}^{2}}{4\pi\mu^{2}e^{-\gamma}}\bigg{)}+\mathcal{O}(\epsilon)\bigg{]}\,.$$ (A.8)

The two-mass triangle integral is

$$I_{3}^{2m}(p_{2}^{2},p_{3}^{2})=\frac{i}{16\pi^{2}}\frac{1}{p_{3}^{2}-p_{2}^{2}}\log\bigg{(}\frac{p_{2}^{2}}{p_{3}^{2}}\bigg{)}\bigg{[}\frac{1}{\epsilon}-\log\bigg{(}\frac{p_{2}^{2}\,p_{3}^{2}}{4\pi\mu^{2}e^{-2\gamma}}\bigg{)}+\mathcal{O(\epsilon)}\bigg{]}\,.$$ (A.9)

The generalized version with propagators raised to arbitrary powers is

$$J^{2m}_{3,\nu_{1}\nu_{2}\nu_{3}}(p_{2}^{2},p_{3}^{2}) =\mu^{2\epsilon}\int\frac{\text{d}^{4-2\epsilon}\ell}{(2\pi)^{4-2\epsilon}}\frac{1}{\ell^{2\nu_{1}}(\ell-p_{1})^{2\nu_{2}}(\ell-p_{1}-p_{2})^{2\nu_{3}}}$$

$$=\frac{i}{16\pi^{2}}\frac{1}{(p_{3}^{2})^{\nu-2}}\bigg{(}\frac{-p_{3}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}^{-\epsilon}$$

$$\hskip 12.0pt\times\frac{\Gamma(\nu-2+\epsilon)\Gamma(2-\epsilon-\nu_{1}-\nu_{2})\Gamma(2-\epsilon-\nu_{3})}{\Gamma(4-2\epsilon-\nu)\Gamma(\nu_{1}+\nu_{2})}$$

$$\hskip 12.0pt\times{{}_{2}}F_{1}\big{(}\nu_{2},\nu-2+\epsilon,\nu_{1}+\nu_{2},1-p_{2}^{2}/p_{3}^{2}\big{)}\,.$$ (A.10)

It satisfies

$$J^{2m}_{3,\nu_{1}\nu_{2}\nu_{3}}(p_{2}^{2},p_{3}^{2})=J^{2m}_{3,\nu_{2}\nu_{1}\nu_{3}}(p_{3}^{2},p_{2}^{2})\,.$$ (A.11)

Some cases used above are

$$J^{2m}_{3,121}(p_{2}^{2},p_{3}^{2}) =\frac{i}{16\pi^{2}}\frac{2}{(p_{2}^{2}-p_{3}^{2})^{2}}\bigg{(}\frac{p_{2}^{2}-p_{3}^{2}}{p_{2}^{2}}-\ln\bigg{(}\frac{p_{2}^{2}}{p_{3}^{2}}\bigg{)}\bigg{)}+\mathcal{O}(\epsilon)\,,$$ (A.12)

$$J^{2m}_{3,112}(p_{2}^{2},p_{3}^{2}) =\frac{i}{16\pi^{2}}\frac{1}{p_{2}^{2}\,p_{3}^{2}}$$ (A.13)

$$\hskip 12.0pt\times\bigg{[}-\frac{2}{\epsilon}-\frac{1}{p_{3}^{2}-p_{2}^{2}}\bigg{(}p_{2}^{2}\ln\bigg{(}\frac{-p_{3}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}-p_{3}^{2}\ln\bigg{(}\frac{-p_{2}^{2}}{4\pi e^{-\gamma}\mu^{2}}\bigg{)}\bigg{)}\bigg{]}+\mathcal{O}(\epsilon)\,.$$

A.3 Boxes

The one-mass box integral is

$$I^{1m}_{4}\big{(}(p_{1}+p_{2})^{2},(p_{2}+p_{3})^{2},m_{4}^{2}\big{)} =\frac{ir_{\Gamma}}{(4\pi)^{2}}\frac{2}{s_{12}s_{23}}\left(\frac{-s_{12}}{4\pi\mu^{2}}\right)^{-\epsilon}\left(\frac{-s_{23}}{4\pi\mu^{2}}\right)^{-\epsilon}\left(\frac{-m_{4}^{2}}{4\pi\mu^{2}}\right)^{\epsilon}$$

$$\hskip 12.0pt\times\left[\frac{1}{\epsilon^{2}}+\textrm{Li}_{2}\left(1-\frac{s_{12}}{m_{4}^{2}}\right)+\textrm{Li}_{2}\left(1-\frac{s_{23}}{m_{4}^{2}}\right)-\frac{\pi^{2}}{6}\right]\,,$$

where

$$r_{\Gamma}=\frac{\Gamma(1+\epsilon)\Gamma^{2}(1-\epsilon)}{\Gamma(1-2\epsilon)}\,.$$ (A.15)

Expanding in $\epsilon$, we find

$$I^{1m}_{4}((p_{1}+p_{2})^{2},(p_{2}+p_{3})^{2},m_{4}^{2})=\, \frac{i}{16\pi^{2}}\frac{2}{s_{12}s_{23}}\bigg{[}\frac{1}{\epsilon^{2}}-\frac{1}{\epsilon}\log\bigg{(}-\frac{s_{12}}{4\pi\mu^{2}e^{-\gamma}}\frac{s_{23}}{m_{4}^{2}}\bigg{)}$$

$$\,+\frac{1}{2}\log^{2}\bigg{(}-\frac{s_{12}}{4\pi\mu^{2}e^{-\gamma}}\frac{s_{23}}{m_{4}^{2}}\bigg{)}-\frac{\pi^{2}}{4}$$

$$\,+\textrm{Li}_{2}\left(1-\frac{s_{12}}{m_{4}^{2}}\right)+\textrm{Li}_{2}\left(1-\frac{s_{23}}{m_{4}^{2}}\right)+\mathcal{O}(\epsilon)\bigg{]}\,.$$