The Constructive Standard Model: Part I

Abstract

In this paper, we construct the complete set of minimal $3$-point vertices for the massive Standard Model (SM) based purely on symmetry principles, mass dimension and high-energy behavior and without any recourse to field theory, gauge symmetries or Feynman rules. Because the gravitational vertices are no more challenging than any other vertices in this constructive method, we include them as well. We also calculate the high-energy behavior of these vertices and compare with the well-known massless vertices, both as a check and as a way to pin down the normalization constants. We include all these vertices in tables as a reference for future investigations.

Perturbative calculations of the S-Matrix have been experiencing an awesome transformation during the last few decades. Many of us were trained as high-energy physicists to view the field as the fundamental object in nature with the “local” or “gauge” symmetry playing the central role of uniting and constraining the field interactions. From this perspective, the particle was thought to be no more than a quantum fluctuation of the field. However, this view of fundamental physics is in the process of being overturned. The field, rather than being viewed as a fundamental object, is now being considered more of a convenient packaging of the particle operators allowing for a manifestly local, Poincare invariant theory Weinberg:1995mt . Moreover, for some particles, this field packaging requires the addition of extra, unphysical degrees of freedom. As a simple example, the photon has only two physical degrees of freedom (which correspond to the positive and negative helicity states), yet the photon must be packaged in a four-component Lorentz vector field. Unfortunately, this packaging does not transform as a Lorentz four-vector. Instead, under a Lorentz transformation, it transforms into a new Lorentz four vector (as expected) plus a derivative term. In order to prevent this non-vector piece from spoiling the Lorentz invariance of our theory, we are forced to “gauge” our symmetry such that it is insensitive to this change. Over the past couple of decades, it has become increasingly clear that the field formulation may be the source of much, if not all, of the inefficiency in calculations involving Feynman diagrams ArkaniHamed:2008gz . Nevertheless, simply being aware of this fact is not useful in deceasing the complexity of intermediate expressions unless the field construction can be replaced with a better system, both in terms of its elegance, its simplicity, and its computational power. Such a new understanding has been slowly emerging over the last few decades and is presently reaching a major tipping point.

In order to give context to the present situation, we very briefly consider some of the relevant history. Before the introduction of fields and gauge theories, there were several competing approaches that attempted to understand the properties of, and make predictions about, particle interactions solely in terms of groups, symmetries, and most importantly at the time, analyticity Mandelstam:1958xc ; Mandelstam:1959bc ; Mandelstam:1959bd ; Eden:1966dnq . These methods focused on the S-Matrix and its analytic properties as a function of complex variables. Unfortunately, the original analytic S-Matrix approach lacked real predictive power in the modern sense as these methods mostly relied on Regge theory and dispersion relations. Although some of these techniques, when applied to fundamental particles, are still widely taught in field theory courses, for instance, when dealing with partial-wave decompositions, these methods mostly evolved to become the early versions of string theory Rickles:2014fha , and particle theory would go on to adopt quantum field theory as its main focus, built on its incredible predictive power. This would remain the situation until a new understanding of the interactions of particles emerged.

This charge towards a new understanding of particle physics has been led by the development of “on-shell” methods and “twistor” techniques. A few milestones include the early, systematic use of helicity methods developed to calculate massless QED and QCD scattering amplitudes Gastmans:1990xh . These early forays into these techniques were the first serious, systematic attempts to reduce what is often referred to as the “analytical bottleneck” encountered in the then-standardized reduction techniques which showed concrete examples of expressions where the size and complexity of the intermediate expression were under better control. The concept of introducing “color-ordered” helicity amplitudes, written in the language of spinors alone, also led to great simplifications in the massless QCD sector of the Standard Model (SM) Dixon:1996wi . The maximally-helicity-violating tree-level amplitudes had been found to simplify to only one term no matter how many thousands of Feynman diagrams were involved Parke:1986gb . However, it would be fair to say that although these methods were exciting, they were not deeply employed in large scale calculations, but were rather used to study the structure of specific pieces of non-abelian theories. The BCFW recursion relations were developed Britto:2005fq allowing any tree-level helicity amplitude of gluons to be calculated using a simple on-shell recursion relation. With all these advancements in scattering amplitudes, bypassing fields and Feynman diagrams entirely ever more frequently, a nascent hope has been reemerging that we might come full circle and “construct” realistic particle theories completely in terms of the properties of the particles and the unitary S-Matrix Elvang:2013cua ; Benincasa:2007xk ; Conde:2016vxs ; ArkaniHamed:2008yf . Central to this construction have been unitarity, locality and the transformation properties under Wigner’s “little” group, a subgroup of the Lorentz group Wigner:1939cj . However, the introduction of massive particles had, until recently, caused major problems in realizing many of the advantages given by the massless methods.

This situation advanced in a fundamental way when Arkani-Hamed:2017jhn showed how to extend the helicity-spinor formalism to particle theories of any mass and any spin, making it possible, in principle, to apply these methods to any fundamental theory of particles. This new formalism extends and simplifies previous attempts at creating a helicity-spinor for massive particles, some of which can be found in Ref. Kleiss:1985yh ; Ballestrero:1994jn ; Dittmaier:1998nn ; Schwinn:2005pi ; Badger:2005jv ; Badger:2005zh ; Catani:2002hc ; Schwinn:2007ee . It is “constructive” in the sense that fields and gauge symmetries are never introduced. Rather, the fundamental building blocks, the minimal $3$-point vertices, are determined purely from their transformation properties under the little group. These $3$-point vertices are constructed not only from the massless helicity-spinors [objects transforming under both the helicity little group and the SL($2,\mathbb{C}$) Lorentz group], but also from spin-spinors [objects transforming under both the SU($2$) “spin” little group and the SL($2,\mathbb{C}$) Lorentz group]. The $3$-point vertices are connected to form $4$-point amplitudes by use of unitarity with the assumption that the propagator is always on shell, albeit in complex momentum space. Furthermore, the allowed vertices are restricted by properties such as locality and the requirement that the high-energy limit of these vertices and amplitudes agrees with massless calculations. Notwithstanding this progress, this constructive approach for all masses and spins is not a complete theory yet. It has only been clearly defined up to $4$-point amplitudes and up to one loop, whereas Feynman diagrams, although often unwieldy, are capable of calculating any multiplicity scattering amplitude at any loop order, at least in principle. Furthermore, very few actual calculations have been carried out in this new formalism in the full SM or beyond. In fact, an explicit set of massive $3$-point vertices for the SM within this formalism is not yet present in the literature, nor have all the $4$-point “contact” terms for the SM been determined.

In this paper, it is our goal to begin to fill this gap. We construct the complete set of minimal $3$-point couplings for the SM particles. Our structure is as follows. In Sec. I, we construct the SM vertices with one massless particle and two massive particles of the same mass. This set already covers an impressive fraction of the SM as it includes the interactions of photons with charged particles, gluons with quarks and gravitons with massive particles. In Sec. II, we describe the $3$-point vertices with two massless particles and one massive particle which is used to describe the interaction of the $Z$-boson with the neutrinos (which we take to be massless for simplicity, but this can easily be extended for massive neutrinos). In Sec. III, we consider vertices with one massless particle and two massive particles of differing masses, applicable to the interactions of the $W$-boson and the leptons. In Sec. IV, we find the vertex with all three particles massive. This structure describes the interaction of the $Z$-boson with massive fermions, the $W$-boson with quarks, the interaction between the $Z$-boson and $W$-bosons and the Higgs 3$-$point vertices. We leave all the $4$-point “contact” vertices to a follow-up paper, as they are significantly more involved. This includes the Higgs $4$-point vertices as well as $4$-point vertices involving Goldstone bosons. In Sec. V, we conclude and describe open questions. In order to make our results more useful, we organize all our vertices into tables and include the high-energy limit for each vertex. Our tables are organized as follows. In Table 1, we present the quantum electrodynamics (QED) vertices, in Table 2, we display the quantum chromodynamics (QCD) vertices, in Table 3, we give the gravitational vertices, in Table 4, we give the electroweak vertices, and in Table 5, we give the Higgs vertices. Finally, we include two appendices for the convenience of the reader. In App. A, we give the full details of our conventions, including the full structure of our helicity-spinors and spin-spinors as well as their high-energy limit. In App. B, we review the massless $3$-point vertices that must match with the high-energy limit of our massive vertices.

I One Massless and Two Massive Particles of the Same Mass

In this section, we construct all the vertices of the SM that contain one massless particle (such as a photon, gluon, or graviton) and two massive particles of the same mass. There are many QED, QCD and gravitational vertices that fall into this category. Here, we will not concern ourselves with the internal symmetry structures (such as the color coefficients $T^{a}_{ij}$ and $f^{abc}$ within QCD) as they are already well known. Instead, we will focus on describing the SL$(2,\mathbb{C})$ spinor part of these vertices and their high-energy limit. For the reader’s convenience, we have included our complete conventions, including our massless helicity-spinors and massive spin-spinors in Appendix A.

Before we analyze the vertices individually, we briefly comment on the so-called “$x$”-factor introduced by Arkani-Hamed:2017jhn . In general, in order to build each vertex, we need two linearly independent helicity-spinors. However, in the current case we are considering (two equal mass particles and one massless particle), there is only one linearly independent helicity-spinor among the considered particles – that of the massless particle. To overcome this challenge, Arkani-Hamed:2017jhn constructs the minimal vertex as,

$$x^{h}\frac{\langle\mathbf{12}\rangle^{2S}}{m^{2S-1}},$$ (1)

where both of the massive particles (here labelled $1$ and $2$) have the same mass $m$ and spin $S$ (where the spin indices for each are completely symmetrized). They note that $x$ is not uniquely defined, but can be written conveniently as,

$$x=\frac{\langle\xi|p_{2}|3]}{m\langle\xi 3\rangle},$$ (2)

where particle $3$ will be our massless particle, although either massive particle momenta, $p_{1}$ or $p_{2}$, could be used, and $\langle\xi|$ is a helicity-spinor that must be linearly independent from $|3\rangle$. Since there are not any linearly independent helicity-spinors among the properties of the particles currently under consideration, $|\xi\rangle$ must be chosen independently of the current particle configuration. For this reason, it is a spurious degree of freedom and the final scattering amplitude cannot depend on it, but should be chosen judiciously for ease of computation. Ref. Arkani-Hamed:2017jhn points out that it is often convenient to choose it as a helicity-spinor from an external leg that is not directly connected to this vertex, but is part of a larger scattering calculation, such as on the other side of a 4-point amplitude, because then it leads to convenient factorization properties. We note that “$x$” transforms under the little group the same as if particle $3$ is helcity $+1$. Therefore, we find that the vertex given in Eq. (1) was constructed to have the right transformation properties since $x$ is raised to the $h$ power and $\langle\mathbf{12}\rangle$ is raised to the $2S$ power.

Although we see that Eq. (1) has the right transformation properties whether the helicity of the massless particle is positive or negative, we find it convenient to only use it for positive helicity particles. For negative helicity particles, we find it more convenient to introduce,

$$\tilde{x}=\frac{[\xi|p_{2}|3\rangle}{m[\xi 3]},$$ (3)

and define the minimal vertex as,

$$\tilde{x}^{-h}\frac{[\mathbf{12}]^{2S}}{m^{2S-1}}.$$ (4)

As we see, $\tilde{x}$ transforms like particle $3$ with a helicity of $-1$, therefore this vertex transforms properly as well. When these vertices are used to construct larger scattering amplitudes, it is important to remember that $\xi$ can be chosen independently for each vertex. It does not need to be the same for any two vertices in the same amplitude. But, again, their dependence must cancel at the end of the calculation.

In the vertices below, in order to find the high-energy limit, we will need to expand $x$ and $\tilde{x}$ to linear order in the mass, this will also allow us to identify useful $\xi$ spinors to simplify our results. In other situations, it will become necessary to expand beyond linear order in the mass. We will do our linear expansion by first inserting $p_{2}=|\mathbf{2}\rangle^{J}[\mathbf{2}|_{J}$ [where $J$ is the SU($2$) spin index] to obtain,

$$x=\frac{\langle\xi\mathbf{2}\rangle^{J}[\mathbf{2}3]_{J}}{m\langle\xi 3\rangle}.$$

Using Eqs. (233) and (236) gives,

$$\langle\xi\mathbf{2}\rangle^{J}[\mathbf{2}3]_{J} = \left[\left(1-\frac{m^{2}}{4E_{2}^{2}}\right)\langle\xi 2\rangle\zeta^{-J}+\frac{m}{\sqrt{2E_{2}}}\langle\xi\zeta_{2}^{-}\rangle\zeta^{+J}\right]\times\left[\left(1-\frac{m^{2}}{4E_{2}^{2}}\right)[23]\zeta^{+}_{J}+\frac{m}{\sqrt{2E_{2}}}[\tilde{\zeta}_{2}^{+}3]\zeta^{-}_{J}\right]+\mathcal{O}\left(m^{3}\right)$$ (5)

$$= \left(1-\frac{m^{2}}{2E_{2}^{2}}\right)\langle\xi 2\rangle[23]-\frac{m^{2}}{2E_{2}}\langle\xi\zeta_{2}^{-}\rangle[\tilde{\zeta}_{2}^{+}3]+\mathcal{O}\left(m^{3}\right),$$

where $\zeta^{\pm J}=\zeta^{\pm J}(k)$ (see App. A for the appropriate definitions). Therefore,

$$x=\left(1-\frac{m^{2}}{2E_{2}^{2}}\right)\frac{\langle\xi 2\rangle[23]}{m\langle\xi 3\rangle}-\frac{m}{2E_{2}}\frac{\langle\xi\zeta_{2}^{-}\rangle[\tilde{\zeta}_{2}^{+}3]}{\langle\xi 3\rangle}+\mathcal{O}\left(m^{2}\right),$$ (6)

and a similar calculation gives,

$$\tilde{x}=\left(1-\frac{m^{2}}{2E_{2}^{2}}\right)\frac{[\xi 2]\langle 23\rangle}{m[\xi 3]}-\frac{m}{2E_{2}}\frac{[\xi\zeta_{2}^{-}]\langle\tilde{\zeta}_{2}^{+}3\rangle}{[\xi 3]}+\mathcal{O}\left(m^{2}\right).$$ (7)

If it is not already obvious, we can start to see a typical identity where replacing $x\leftrightarrow\tilde{x}$ means replacing $\langle\,\rangle\leftrightarrow[\,]$ within each expression leads to a valid expression. We will also need to apply momentum conservation in the following calculations. It is straight forward in terms of the momenta, which we take to be all incoming. For example, since all our momenta sum to zero, when we remember that $p_{3}$ is our massless momentum we find,

$$|\mathbf{2}\rangle^{J}[\mathbf{2}|_{J}=-|\mathbf{1}\rangle^{J}[\mathbf{1}|_{J}-|3\rangle[3|.$$ (8)

However, what we will actually need is the high-energy expansion of this expression to quadratic order in $m$. Rather than doing this in complete generality, we will expand $\langle 12\rangle[23]$, which will appear in the calculations below. We note that if we only kept terms up to zeroth order in $m$, the result would be identically zero (since $\langle 12\rangle[23]=-\langle 11\rangle[13]-\langle 13\rangle[33]$ but $\langle 11\rangle=[33]=0$). However, the quadratic term gives us the desired results. Thus, the momentum conservation expression can be simplified,

$$\langle 1\mathbf{2}\rangle^{J}[\mathbf{2}3]_{J} = -\langle 1\mathbf{1}\rangle^{J}[\mathbf{1}3]_{J}-\langle 13\rangle[33]$$ (9)

$$= -\langle 1\mathbf{1}\rangle^{J}[\mathbf{1}3]_{J},$$

where we have used $[33]=0$. Next, we expand both sides using Eq. (5) where we identify $\xi$ with $1$. We obtain,

$$\langle 12\rangle[23]=\frac{m_{1}^{2}}{2E_{1}}\langle 1\zeta_{1}^{-}\rangle[\tilde{\zeta}_{1}^{+}3]+\frac{m_{2}^{2}}{2E_{2}}\langle 1\zeta_{2}^{-}\rangle[\tilde{\zeta}_{2}^{+}3]+\mathcal{O}\left(m^{3}\right),$$ (10)

which clearly shows that the expansion starts with terms quadratic in mass as expected.

I.1 Massless Spin One Boson With Massive Spin-One-Half Fermions

Particles	Coupling	Vertex	High-Energy Limit (Helicity Signature)
$f\bar{f}\gamma^{+}$	$i\sqrt{2}\ eQ_{f}$	$\displaystyle x\langle\mathbf{12}\rangle$	$\displaystyle\frac{[23]^{2}}{[12]}\,\scalebox{0.75}{(\textendash\ +)},\qquad-\frac{[31]^{2}}{[12]}\,\scalebox{0.75}{(+ \textendash)}$
$f\bar{f}\gamma^{-}$	$i\sqrt{2}\ eQ_{f}$	$\displaystyle\tilde{x}[\mathbf{12}]$	$\displaystyle\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\,\scalebox{0.75}{(\textendash\ +)},\qquad-\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\,\scalebox{0.75}{(+ \textendash)}$
$W\bar{W}\gamma^{+}$	$i\sqrt{2}\ e$	$\displaystyle\frac{x}{M_{W}}\langle\mathbf{12}\rangle^{2}$	$\displaystyle\frac{[23]^{3}}{[12][31]}\scalebox{0.75}{(\textendash\ +)},\quad 2\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}\scalebox{0.75}{(\textendash\ \textendash)},\quad\frac{[31]^{3}}{[12][23]}\scalebox{0.75}{(+ \textendash)},\quad-\!\frac{1}{2}\!\frac{[31][23]}{[12]}\scalebox{0.75}{(0 0)}$
$W\bar{W}\gamma^{-}$	$i\sqrt{2}\ e$	$\displaystyle\frac{\tilde{x}}{M_{W}}[\mathbf{12}]^{2}$	$\displaystyle\frac{\langle 31\rangle^{3}}{\langle 12\rangle\langle 23\rangle}\scalebox{0.75}{(\textendash\ +)},\quad 2\frac{[12]^{3}}{[23][31]}\scalebox{0.75}{(+ +)},\quad\frac{\langle 23\rangle^{3}}{\langle 12\rangle\langle 31\rangle}\scalebox{0.75}{(+ \textendash)},\quad-\!\frac{1}{2}\!\frac{\langle 31\rangle\langle 23\rangle}{\langle 12\rangle}\scalebox{0.75}{(0 0)}$

Table 1: QED vertices within the Standard Model and their high-energy limit. Here, $f$ stands for a fermion while $\bar{f}$ stands for an anti-fermion. The superscript in the first column gives the helicity of the massless particles. The position of the particle determines the number in the last two columns. Definitions for $x$ and $\tilde{x}$ are in Eqs. (2) and (3). See Sec. I for further details. In the high-energy limit, we show all the terms (including Goldstone-boson terms) that do not vanish at order $(m/E)^{0}$. The helicity signature is for the massive particles in the high-energy limit.

Particles	Coupling	Vertex	High-Energy Limit (Helicity Signature)
$q\bar{q}g^{+}$	$i\sqrt{2}\ g_{s}(T^{a_{3}})^{i_{2}}_{i_{1}}$	$\displaystyle x\langle\mathbf{12}\rangle$	$\displaystyle\frac{[23]^{2}}{[12]}\,\scalebox{0.75}{(\textendash\ +)},\qquad-\frac{[31]^{2}}{[12]}\,\scalebox{0.75}{(+ \textendash)}$
$q\bar{q}g^{-}$	$i\sqrt{2}\ g_{s}(T^{a_{3}})^{i_{2}}_{i_{1}}$	$\displaystyle\tilde{x}[\mathbf{12}]$	$\displaystyle\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\,\scalebox{0.75}{(\textendash\ +)},\qquad-\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\,\scalebox{0.75}{(+ \textendash)}$
$g^{-}g^{-}g^{+}$	$i\sqrt{2}g_{s}f^{a_{1}a_{2}a_{3}}$	$\displaystyle\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}$	Already massless
$g^{+}g^{+}g^{-}$	$i\sqrt{2}g_{s}f^{a_{1}a_{2}a_{3}}$	$\displaystyle\frac{[12]^{3}}{[23][31]}$	Already massless

Table 2: QCD vertices within the Standard Model along with their high-energy limit. Here, $q$ stands for a quark while $\bar{q}$ stands for an anti-quark. The superscript in the first column gives the helicity of the massless particles. The position of the particle determines the number in the last two columns. Definitions for $x$ and $\tilde{x}$ are in Eqs. (2) and (3). See Sec. I for further details. In the high-energy limit, we show all the terms that do not vanish at order $(m/E)^{0}$. The helicity signature is for the massive particles in the high-energy limit.

We now move on to constructing a specific case. We begin with a massless $\pm 1$-helicity boson interacting with two $1/2$-spin fermions which will give us the vertex structure for a photon interacting with two charged fermions and also for a gluon interacting with two quarks. We first consider the case of particle $3$ being $+1$-helicity, therefore the vertex is simply given by,

$$x\langle\mathbf{12}\rangle.$$ (11)

We will check this result by comparing with the vertex when all three particles are massless by taking the high-energy limit and then keeping terms up to zeroth order in the mass (the massless limit). For convenience, we have included a review of the massless vertices in App. B. The expression $\langle\mathbf{12}\rangle$ has two SU($2$) indices and can be written as a matrix. We have already described and expanded this matrix in the high-energy limit in Appendix A. Therefore using Eqs. (239), (6) and (10), we obtain,

$$x\langle\mathbf{12}\rangle=\left(\begin{array}[]{cc}\displaystyle 0&\displaystyle\frac{1}{\sqrt{2E_{2}}}\frac{\langle 1\zeta^{-}_{2}\rangle\langle\xi 2\rangle[23]}{\langle\xi 3\rangle}\\ \displaystyle\frac{1}{\sqrt{2E_{1}}}\frac{\langle\zeta^{-}_{1}2\rangle\langle\xi 2\rangle[23]}{\langle\xi 3\rangle}&0\end{array}\right)+\mathcal{O}(m_{f}).$$ (12)

We can further simplify these terms by applying momentum conservation. In the top right entry, we can set $\langle\xi 2\rangle[23]=-\langle\xi 1\rangle[13]+\mathcal{O}(m_{f}^{2})$. We then follow this with $\langle\zeta_{2}^{-}1\rangle[13]=-\langle\zeta_{2}^{-}2\rangle[23]+\mathcal{O}(m_{f}^{2})$, again on the top-right term, along with $\langle\zeta_{1}^{-}2\rangle[23]=-\langle\zeta_{1}^{-}1\rangle[13]+\mathcal{O}(m_{f}^{2})$ on the bottom-left term to obtain,

$$x\langle\mathbf{12}\rangle=\left(\begin{array}[]{cc}0&\displaystyle\frac{1}{\sqrt{2E_{2}}}\frac{\langle 2\zeta^{-}_{2}\rangle\langle\xi 1\rangle[23]}{\langle\xi 3\rangle}\\ \displaystyle\frac{1}{\sqrt{2E_{1}}}\frac{\langle\zeta^{-}_{1}1\rangle\langle\xi 2\rangle[31]}{\langle\xi 3\rangle}&0\end{array}\right)+\mathcal{O}(m_{f}).$$ (13)

Now, using the fact that $\langle 2\zeta_{2}^{-}\rangle=\sqrt{2E_{2}}$ and similarly for particle $1$, we have,

$$x\langle\mathbf{12}\rangle=\left(\begin{array}[]{cc}0&\displaystyle\frac{\langle\xi 1\rangle[23]}{\langle\xi 3\rangle}\\ \displaystyle\frac{\langle\xi 2\rangle[31]}{\langle\xi 3\rangle}&0\end{array}\right)+\mathcal{O}(m_{f}).$$ (14)

Next, multiplying by $[32]/[32]$ on the top right and $[31]/[31]$ on the bottom left, and using momentum conservation in the denominator, $\langle\xi 3\rangle[32]=-\langle\xi 1\rangle[12]+\mathcal{O}(m_{f}^{2})$ and $\langle\xi 3\rangle[31]=-\langle\xi 2\rangle[21]+\mathcal{O}(m_{f}^{2})$, we finally cancel the dependence on $\xi$ to obtain,

$$x\langle\mathbf{12}\rangle=\left(\begin{array}[]{cc}0&\displaystyle\frac{[23]^{2}}{[12]}\\ \displaystyle-\frac{[31]^{2}}{[12]}&0\end{array}\right)+\mathcal{O}(m_{f}).$$ (15)

We remind the reader that $|i]$ transforms as a $+1/2$-helicity particle while $1/|i]$ transforms as a $-1/2$-helicity particle (since the transformation is a simple phase). The angle brackets have the opposite transformation properties. From this, we can see that the upper right of this matrix corresponds with the quark having $-1/2$-helicity and the anti-quark having $+1/2$-helicity. The bottom left of this matrix correspond with the opposite helicities for the fermions (but, of course, the same $+1$-helicity for the massless photon or gluon). Both these high-energy-limit results agree with the massless vertices given on the left of Eq. (266). We note that although the signs of the massless vertices are not fixed by the transformation properties alone, here the relative signs of these two vertices is fixed by the transformation properties of the massive vertex. Furthermore, we note that the top-left entry corresponds with both fermions having $-1/2$-helicity while the photon or gluon has $+1$-helicity. We find zero in the high-energy limit which is exactly what we expect from the massless vertices as reviewed in Appendix B. Altogether, we obtain,

$$x\langle\mathbf{12}\rangle=\left[\begin{array}[]{cc}\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},+1\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},+1\right)\\ \displaystyle-\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+1\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},+1\right)\end{array}\right]+\mathcal{O}(m_{f}),$$ (16)

where the massless vertices $\mathcal{A}(h_{1},h_{2},h_{3})$ are given explicitly in Appendix B.

On the other hand, when the massless particle has $-1$-helicity, we have the vertex,

$$\tilde{x}[\mathbf{12}]$$ (17)

and the high-energy limit is obtained by an analogous set of steps, exchanging angle and square brackets and raising the spin indices leading to the final result,

$$\tilde{x}[\mathbf{12}]=\left(\begin{array}[]{cc}0&\displaystyle\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\\ \displaystyle-\frac{\langle 23\rangle^{2}}{\langle 12\rangle}&0\end{array}\right)+\mathcal{O}(m_{f}).$$ (18)

The upper-right term corresponds with a $-1/2$-helicity fermion and a $+1/2$-helicity anti-fermion, the bottom-left term is the opposite case, and both have a $-1$-helicity photon or gluon. These high-energy-limit expressions agree with the massless vertices given on the right of Eq. (266). Again, the relative sign is fixed by the massive vertex structure whereas it is not fixed by the massless vertices themselves. Making the helicity structure explicit as we did for the $+1$-helicity case, we have here,

$$\tilde{x}[\mathbf{12}]=\left[\begin{array}[]{cc}\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},-1\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-1\right)\\ \displaystyle-\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},-1\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},-1\right)\end{array}\right]+\mathcal{O}(m_{f}),$$ (19)

where the massless vertices are zero when the sum of the helicities is not $\pm 1$ as expected. We see that the helicity combinations of the fermions are in the same spin locations as the $-1$-helicity photon as they should.

We have included these vertices, along with their high-energy limit, in Table 1 for QED and Table 2 for QCD.

I.2 Massless Spin One Boson With Massive Spin One Bosons

We next work out the $3$-point vertex for one massless $\pm 1$-helicity particle with two massive $1$-spin particles. This vertex is appropriate for the $W\bar{W}$-photon vertex. We begin with the $W\bar{W}\gamma^{+}$ vertex connecting a $+$-helicity photon and two $1$-spin particles of the same mass. We have,

$$x\frac{\langle\mathbf{12}\rangle^{2}}{M_{W}}.$$ (20)

There are two independent indices on this vertex. They are the spin index of particle $1$ and particle $2$. Each is a symmetric combination of two $1/2$-spin indices on each spin-spinor. There are three symmetric combinations. For example, for the first $W$-boson, the indices could take the values $\langle\mathbf{1}|^{1}\langle\mathbf{1}|^{1}$, $\left(\langle\mathbf{1}|^{1}\langle\mathbf{1}|^{2}+\langle\mathbf{1}|^{2}\langle\mathbf{1}|^{1}\right)/2$, or $\langle\mathbf{1}|^{2}\langle\mathbf{1}|^{2}$. As a result, we can write this vertex as a 3x3 matrix. We have already worked out this matrix in Appendix A as well as its high-energy limit. Using Eqs. (245), (6) and (10), we have to leading order in $M_{W}$,

$$x\frac{\langle\mathbf{12}\rangle^{2}}{M_{W}}=\left(\begin{array}[]{ccc}\displaystyle\frac{\langle\xi 2\rangle\langle 12\rangle\langle 1\zeta_{1}^{-}\rangle[\tilde{\zeta}_{1}^{+}3]}{2E_{1}\langle\xi 3\rangle}+\frac{\langle\xi 2\rangle\langle 12\rangle\langle 1\zeta_{2}^{-}\rangle[\tilde{\zeta}_{2}^{+}3]}{2E_{2}\langle\xi 3\rangle}&0&\displaystyle\frac{\langle 1\zeta_{2}^{-}\rangle^{2}\langle\xi 2\rangle[23]}{E_{2}\langle\xi 3\rangle}\\ 0&\displaystyle\frac{\langle 1\zeta_{2}^{-}\rangle\langle\zeta_{1}^{-}2\rangle\langle\xi 2\rangle[23]}{2\sqrt{4E_{1}E_{2}}\langle\xi 3\rangle}&0\\ \displaystyle\frac{\langle\zeta_{1}^{-}2\rangle^{2}\langle\xi 2\rangle[23]}{E_{1}\langle\xi 3\rangle}&0&0\end{array}\right)+\mathcal{O}(M_{W}).$$

Now, focusing on the top-right term, we use that $\langle\xi 2\rangle[23]=-\langle\xi 1\rangle[13]+\mathcal{O}(M_{W}^{2})$ followed by $-\langle 1\zeta_{2}^{-}\rangle[13]=\langle\zeta_{2}^{-}1\rangle[13]=-\langle\zeta_{2}^{-}2\rangle[23]+\mathcal{O}(M_{W}^{2})=\sqrt{2E_{2}}[23]+\mathcal{O}(M_{W}^{2})$. Next, we multiply by $[13]/[13]$ and use $\langle 1\zeta_{2}^{-}\rangle[13]=-\sqrt{2E_{2}}[23]+\mathcal{O}(M_{W}^{2})$. Finally, we multiply by $[23]/[23]$ and use $\langle\xi 3\rangle[23]=-\langle\xi 1\rangle[21]+\mathcal{O}(M_{W}^{2})$ in the denominator so that the $\langle\xi 1\rangle$ cancels between the numerator and denominator. With this, we have, $[23]^{3}/([12][31])$ for the top-right entry. The other entries are simplified by a similar set of steps. We will go through one more in detail for the convenience of the reader. Let’s consider the center term. We use $\langle\zeta_{1}^{-}2\rangle[23]=-\langle\zeta_{1}^{-}1\rangle[13]+\mathcal{O}(M_{W}^{2})=\sqrt{2E_{1}}[13]+\mathcal{O}(M_{W}^{2})$, followed by $\langle 1\zeta_{2}^{-}\rangle[13]=-\langle 2\zeta_{2}^{-}\rangle[23]+\mathcal{O}(M_{W}^{2})=-\sqrt{2E_{2}}[23]+\mathcal{O}(M_{W}^{2})$. We are now left with $-\langle\xi 2\rangle[23]/(2\langle\xi 3\rangle)+\mathcal{O}(M_{W}^{2})$. We multiply this by $[31]/[31]$ and use $\langle\xi 3\rangle[31]=-\langle\xi 2\rangle[21]+\mathcal{O}(M_{W}^{2})$ at which point the $\langle\xi 2\rangle$ cancels between the numerator and denominator and we are left with $-[23][31]/(2[12])+\mathcal{O}(M_{W}^{2})$. The top-left and bottom-left are obtained through a similar set of manipulations that include conservation of momentum and multiplication by appropriate forms of $1$. Finally, we obtain,

$$x\frac{\langle\mathbf{12}\rangle^{2}}{M_{W}}=\left(\begin{array}[]{ccc}\displaystyle 2\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}&0&\displaystyle\frac{[23]^{3}}{[12][31]}\\ 0&\displaystyle-\frac{1}{2}\frac{[23][31]}{[12]}&0\\ \displaystyle\frac{[31]^{3}}{[12][23]}&0&0\end{array}\right)+\mathcal{O}(M_{W}).$$ (21)

We see that the top-right term contributes when the helicity of $W_{1}$ is $-1$ and that of $W_{2}$ is $+1$ (where the sub-script obviously refers to the multiplicity of the $W$-bosons), while the bottom-left term is for exactly the opposite helicity combination for the $W$-bosons. The top-left term is for both $W$’s having helicity $-1$. Interestingly, the middle term corresponds with both $W$’s having helicity-$0$, namely, scattering of the Goldstone bosons, as it must. Explicitly seeing the contributions from the Goldstone bosons speaks to the power and simplicity of this method.

All of these vertices agree perfectly with the massless vertices of Appendix B up to an overall factor. As for the fermion interactions of the previous subsection, we see that although the massless vertices do not fix the relative signs and factors of 2 purely based on transformation properties, they are fixed by their inclusion in the massive vertices. The top-right and bottom-left entries are given by the left side of Eq. (267), the top-left entry is given by the right side of Eq. (267) and the center entry is given by the left side of Eq. (264). Writing this in terms of the massless vertices of App. B gives,

$$x\frac{\langle\mathbf{12}\rangle^{2}}{M_{W}}=\left[\begin{array}[]{ccc}\displaystyle 2\mathcal{A}(-1,-1,+1)&\displaystyle\mathcal{A}(-1,0,+1)&\displaystyle\mathcal{A}(-1,+1,+1)\\ \displaystyle\mathcal{A}(0,-1,+1)&\displaystyle-\frac{1}{2}\mathcal{A}(0,0,+1)&\displaystyle\mathcal{A}(0,+1,+1)\\ \displaystyle\mathcal{A}(+1,-1,+1)&\displaystyle\mathcal{A}(+1,0,+1)&\displaystyle 2\mathcal{A}(+1,+1,+1)\end{array}\right]+\mathcal{O}(M_{W}).$$ (22)

As expected, all the helicity combinations that do not sum to $\pm 1$ are zero in this limit.

On the other hand, the $WW\gamma^{-}$ vertex is,

$$\tilde{x}\frac{[\mathbf{12}]^{2}}{M_{W}}.$$ (23)

Following a similar set of steps and after raising the spin indices, we find that at leading order in the high-energy limit, this reduces to

$$\tilde{x}\frac{[\mathbf{12}]^{2}}{M_{W}} = \left(\begin{array}[]{ccc}\displaystyle 0&0&\displaystyle\frac{\langle 31\rangle^{3}}{\langle 12\rangle\langle 23\rangle}\\ 0&\displaystyle-\frac{1}{2}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}&0\\ \displaystyle\frac{\langle 23\rangle^{3}}{\langle 12\rangle\langle 31\rangle}&0&\displaystyle 2\frac{[12]^{3}}{[23][31]}\end{array}\right)+\mathcal{O}(M_{W})$$ (27)

$$= \left[\begin{array}[]{ccc}\displaystyle 2\mathcal{A}(-1,-1,-1)&\displaystyle\mathcal{A}(-1,0,-1)&\displaystyle\mathcal{A}(-1,+1,-1)\\ \displaystyle\mathcal{A}(0,-1,-1)&\displaystyle-\frac{1}{2}\mathcal{A}(0,0,-1)&\displaystyle\mathcal{A}(0,+1,-1)\\ \displaystyle\mathcal{A}(+1,-1,-1)&\displaystyle\mathcal{A}(+1,0,-1)&\displaystyle 2\mathcal{A}(+1,+1,-1)\end{array}\right]+\mathcal{O}(M_{W}).$$ (31)

Once again, all the vertices agree with the massless vertices in the massless limit. Once again, the relative factors are fixed by the massive vertex that they come from. Once again, the helicity structure of the high-energy limit is the same as for the $+1$-helicity-photon case. In fact, we see a general trend that after the spin indices have been raised, the helicities begin at their lowest value at the top left and increase to their highest values at the bottom right. In fact, we see that in the convention we are following, the spin component is the component along the direction of motion. It is the helicity of the particle.

We have included these vertices and their high-energy limit in Table 1.

I.3 Gravitational Vertices

Particles	Coupling	Vertex	High-Energy Limit (Helicity Signature)
$hhG^{+}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle x^{2}m_{h}^{2}$	$\displaystyle\left(\frac{[23][31]}{[12]}\right)^{2}$
$hhG^{-}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\tilde{x}^{2}m_{h}^{2}$	$\displaystyle\left(\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}\right)^{2}$
$f\bar{f}G^{+}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle x^{2}m_{f}\langle\mathbf{12}\rangle$	$\displaystyle\frac{[23]^{3}[31]}{[12]^{2}}\scalebox{0.75}{(\textendash\ +)},\quad-\frac{[31]^{3}[23]}{[12]^{2}}\scalebox{0.75}{(+ \textendash)}$
$f\bar{f}G^{-}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\tilde{x}^{2}m_{f}[\mathbf{12}]$	$\displaystyle\frac{\langle 31\rangle^{3}\langle 23\rangle}{\langle 12\rangle^{2}}\scalebox{0.75}{(\textendash\ +)},\quad-\frac{\langle 23\rangle^{3}\langle 31\rangle}{\langle 12\rangle^{2}}\scalebox{0.75}{(+ \textendash)}$
$V\bar{V}G^{+}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle x^{2}\langle\mathbf{12}\rangle^{2}$	$\displaystyle\frac{[23]^{4}}{[12]^{2}}\scalebox{0.75}{(\textendash\ +)},\quad-\!\frac{1}{2}\!\frac{[31]^{2}[23]^{2}}{[12]^{2}}\scalebox{0.75}{(0 0)},\quad\frac{[31]^{4}}{[12]^{2}}\scalebox{0.75}{(+ \textendash)}$
$V\bar{V}G^{-}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\tilde{x}^{2}[\mathbf{12}]^{2}$	$\displaystyle\frac{\langle 31\rangle^{4}}{\langle 12\rangle^{2}}\scalebox{0.75}{(\textendash\ +)},\quad-\frac{1}{2}\frac{\langle 31\rangle^{2}\langle 23\rangle^{2}}{\langle 12\rangle^{2}}\scalebox{0.75}{(0 0)},\quad\frac{\langle 23\rangle^{4}}{\langle 12\rangle^{2}}\scalebox{0.75}{(+ \textendash)}$
$\gamma^{+}\gamma^{-}G^{+}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\frac{[31]^{4}}{[12]^{2}}$	Already massless
$g^{+}g^{-}G^{+}$
$\gamma^{+}\gamma^{-}G^{-}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\frac{\langle 31\rangle^{4}}{\langle 12\rangle^{2}}$	Already massless
$g^{+}g^{-}G^{-}$
$G^{-}G^{-}G^{+}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\frac{\langle 12\rangle^{6}}{\langle 23\rangle^{2}\langle 31\rangle^{2}}$	Already massless
$G^{+}G^{+}G^{-}$	$\displaystyle\frac{i}{M_{P}}$	$\displaystyle\frac{[12]^{6}}{[23]^{2}[31]^{2}}$	Already massless

Table 3: Gravitational Vertices along with their high-energy limit. Here, $f$ stands for a fermion while $\bar{f}$ stands for an anti-fermion, and $V$ and $\bar{V}$ stand for a $1$-spin boson and its anti-particle, respectively. Also, $h$ stands for the Higgs boson. The superscript in the first column gives the helicity of the massless particles. The position of the particle determines the number in the last two columns. Definitions for $x$ and $\tilde{x}$ are in Eqs. (2) and (3). See Sec. I for further details. The helicity signature is for the massive particles in the high-energy limit.

One of the truly great things about the constructive formalism is that gravitational interactions are no more complicated than any other interactions (at least before renormalization is considered). In this subsection, we work the gravitational vertices of the SM out. There is now an extra factor of $m/M_{P}$ in each vertex, where $M_{P}$ is the Planck mass. Therefore, the coupling of two fermions to a graviton is given by,

$$\frac{1}{M_{P}}x^{2}m_{f}\langle\mathbf{12}\rangle\quad\mbox{and}\quad\frac{1}{M_{P}}\tilde{x}^{2}m_{f}[\mathbf{12}]$$ (32)

for helicity $+2$ and $-2$, respectively. We must now determine the high-energy behavior of this vertex. We already know the behavior of $x\langle\mathbf{12}\rangle$ [see Eq. (15)]. We must now calculate the high-energy behavior of $m_{f}x$,

$$m_{f}x=\frac{\langle\xi 2\rangle[23]}{\langle\xi 3\rangle}.$$ (33)

Multiplying by $[21]/[21]$ and using momentum conservation, $\langle\xi 2\rangle[21]=-\langle\xi 3\rangle[31]+\mathcal{O}(m_{f}^{2})$, we have,

$$m_{f}x=\frac{[23][31]}{[12]}+\mathcal{O}(m_{f}^{2}),$$ (34)

resulting in,

$$x^{2}m_{f}\langle\mathbf{12}\rangle=\left(\begin{array}[]{cc}0&\displaystyle\frac{[23]^{3}[31]}{[12]^{2}}\\ \displaystyle-\frac{[31]^{3}[23]}{[12]^{2}}&0\end{array}\right)+\mathcal{O}(m_{f}),$$ (35)

which has the right little-group transformation properties. Both of these transform like a $+2$-helicity particle $3$ (the graviton) while the top right has a $-1/2$-helicity particle $1$ and $+1/2$-helicity particle $2$. The bottom left has the opposite helicities for particles $1$ and $2$. They both agree with the massless vertices found on the left side of Eq. (269). As expected, when the helicities do not add up to $\pm 2$ (for a graviton), the massless vertex is zero.

$$\frac{x^{2}m_{f}}{M_{P}}\langle\mathbf{12}\rangle=\left[\begin{array}[]{cc}\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},+2\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},+2\right)\\ \displaystyle-\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+2\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},+2\right)\end{array}\right]+\mathcal{O}(m_{f}).$$ (36)

Similarly, for a $-2$-helicity graviton, after raising the spin indices we find,

$$\frac{\tilde{x}^{2}m_{f}}{M_{P}}[\mathbf{12}] = \frac{1}{M_{P}}\left(\begin{array}[]{cc}0&\displaystyle\frac{\langle 31\rangle^{3}\langle 23\rangle}{\langle 12\rangle^{2}}\\ \displaystyle-\frac{\langle 23\rangle^{3}\langle 31\rangle}{\langle 12\rangle^{2}}&0\end{array}\right)+\mathcal{O}(m_{f})$$ (39)

$$= \left[\begin{array}[]{cc}\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},-2\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-2\right)\\ \displaystyle-\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},-2\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},-2\right)\end{array}\right]+\mathcal{O}(m_{f}),$$ (42)

in agreement with the massless vertex on the right side of Eq. (269).

For $1$-spin bosons (with mass $M_{V}$), the vertices are given by,

$$\frac{1}{M_{P}}x^{2}\langle\mathbf{12}\rangle^{2}\quad\mbox{and}\quad\frac{1}{M_{P}}\tilde{x}^{2}[\mathbf{12}]^{2},$$ (43)

for a graviton with helicity $+2$ and $-2$, respectively. We have already determined the high-energy behavior of $x\langle\mathbf{12}\rangle$. All we need to do is square it and symmetrize the indices on particles 1 and 2 to obtain,

$$\frac{x^{2}}{M_{P}}\langle\mathbf{12}\rangle^{2} = \frac{1}{M_{P}}\left(\begin{array}[]{ccc}\displaystyle 0&0&\displaystyle\frac{[23]^{4}}{[12]^{2}}\\ 0&\displaystyle-\frac{1}{2}\frac{[31]^{2}[23]^{2}}{[12]^{2}}&0\\ \displaystyle\frac{[31]^{4}}{[12]^{2}}&0&0\end{array}\right)+\mathcal{O}(M_{V})$$ (47)

$$= \left[\begin{array}[]{ccc}\displaystyle\mathcal{A}\left(-1,-1,+2\right)&\displaystyle\mathcal{A}\left(-1,0,+2\right)&\displaystyle\mathcal{A}\left(-1,+1,+2\right)\\ \displaystyle\mathcal{A}\left(0,-1,+2\right)&\displaystyle-\frac{1}{2}\mathcal{A}\left(0,0,+2\right)&\displaystyle\mathcal{A}\left(0,+1,+2\right)\\ \displaystyle\mathcal{A}\left(+1,-1,+2\right)&\displaystyle\mathcal{A}\left(+1,0,+2\right)&\displaystyle\mathcal{A}\left(+1,+1,+2\right)\end{array}\right]+\mathcal{O}(M_{V}),$$ (51)

where we have included the reference to the massless vertices of Appendix B. We see that the top-right term corresponds with a $-1$-helicity particle $1$ and a $+1$-helicity particle $2$ while the bottom-left term has the opposite helicities for particles 1 and 2. Both agree with the massless vertices on the left side of Eq. (270). The center term corresponds with the helicity-$0$ components of the $1$-spin particles, the Goldstone bosons. It also agrees with the massless vertices as seen on the left side of Eq. (268). If the sum of the helicities is not $\pm 2$, we find zero as we must. Once again, we see that the relative factor, including both a sign and a factor of 2, are fixed by the inclusion of the massless vertices in the complete massive vertex.

Similarly, for a $-2$-helicity graviton, after raising the spin indices we have,

$$\frac{\tilde{x}^{2}}{M_{P}}[\mathbf{12}]^{2} = \frac{1}{M_{P}}\left(\begin{array}[]{ccc}\displaystyle 0&0&\displaystyle\frac{\langle 31\rangle^{4}}{\langle 12\rangle^{2}}\\ 0&\displaystyle-\frac{\langle 31\rangle^{2}\langle 23\rangle^{2}}{2\langle 12\rangle^{2}}&0\\ \displaystyle\frac{\langle 23\rangle^{4}}{\langle 12\rangle^{2}}&0&0\end{array}\right)+\mathcal{O}(M_{V})$$ (55)

$$= \left[\begin{array}[]{ccc}\displaystyle\mathcal{A}(-1,-1,-2)&\displaystyle\mathcal{A}(-1,0,-2)&\displaystyle\mathcal{A}(-1,+1,-2)\\ \displaystyle\mathcal{A}(0,-1,-2)&\displaystyle-\frac{1}{2}\mathcal{A}(0,0,-2)&\displaystyle\mathcal{A}(0,+1,-2)\\ \displaystyle\mathcal{A}(+1,-1,-2)&\displaystyle\mathcal{A}(+1,0,-2)&\displaystyle\mathcal{A}(+1,+1,-2)\end{array}\right]+\mathcal{O}(M_{V}).$$ (59)

As before, the high-energy limit of this vertex agrees with the massless vertices expected on symmetry grounds. In particular, the upper-right and lower-left terms correspond with the right side of Eq. (270) while the center term (for the Goldstone bosons) agrees with the right side of Eq. (268).

We end this section with the gravitational coupling to the Higgs boson which, for helicity $+2$, has the form,

$$\frac{1}{M_{P}}x^{2}M_{h}^{2}.$$ (60)

Inserting the definition of $x$, we obtain,

$$\frac{1}{M_{P}}(xM_{h})^{2}=\frac{1}{M_{P}}\left(\frac{\langle\xi 2\rangle[23]}{\langle\xi 3\rangle}\right)^{2}.$$ (61)

We next multiply $xM_{h}$ by $[31]/[31]$ and use conservation of momentum, $\langle\xi 3\rangle[31]=-\langle\xi 2\rangle[21]+\mathcal{O}(M_{h}^{2})$, to obtain,

$$\frac{1}{M_{P}}(xM_{h})^{2}=\frac{1}{M_{P}}\left(\frac{[23][31]}{[12]}\right)^{2}+\mathcal{O}(M_{h}^{2}).$$ (62)

The leading term is exactly $\mathcal{A}(0,0,+2)$ from the left side of Eq. (268) as seen above for the Goldstone bosons.

The form for a $-2$-helicity graviton has $x$ replaced with $\tilde{x}$ and the square and angle brackets interchanged.

$$\frac{1}{M_{P}}(\tilde{x}M_{h})^{2}=\frac{1}{M_{P}}\left(\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}\right)^{2}+\mathcal{O}(M_{h}^{2}),$$ (63)

and agrees with $\mathcal{A}(0,0,-2)$ from the right side of Eq. (268).

All of the gravitational vertices, along with their high-energy limit can be seen in Table 3.

II Two Massless and One Massive

Particles	Coupling	Vertex	High-Energy Limit
$\nu^{-}\bar{\nu}^{+}Z$	$\displaystyle-\frac{i\sqrt{2}\ e}{\sin 2\theta_{w}}$	$\displaystyle\frac{\langle\mathbf{3}1\rangle[2\mathbf{3}]}{M_{Z}}$	$\displaystyle-\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(\textendash)}\ ,\quad-\frac{[23]^{2}}{[12]}\scalebox{0.75}{(+)}$
$f\bar{f}Z$	$\displaystyle-\frac{i\sqrt{2}\ e}{\sin 2\theta_{w}}$	$\displaystyle\frac{g_{L}\langle\mathbf{31}\rangle[\mathbf{23}]+g_{R}[\mathbf{31}]\langle\mathbf{23}\rangle}{M_{Z}}$ $+\,\mathcal{N}_{Zff}\left(\tilde{g}_{L}\langle\mathbf{31}\rangle\langle\mathbf{23}\rangle+\tilde{g}_{R}[\mathbf{31}][\mathbf{23}]\right)$	$\displaystyle g_{R}\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(+ \textendash\ \textendash)}\ ,\quad-g_{L}\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(\textendash\ + \textendash)}$ , $\displaystyle g_{R}\frac{[31]^{2}}{[12]}\scalebox{0.75}{(+ \textendash\ +)}\ ,\quad-g_{L}\frac{[23]^{2}}{[12]}\scalebox{0.75}{(\textendash\ + +)}$ , $\displaystyle\frac{m_{1}g_{L}-m_{2}g_{R}}{2M_{Z}}[12]\scalebox{0.75}{(+ + 0)}\ ,\quad\frac{m_{2}g_{L}-m_{1}g_{R}}{2M_{Z}}\langle 12\rangle\scalebox{0.75}{(\textendash\ \textendash\ 0)}$
$l\bar{\nu}_{l}^{+}W$	$\displaystyle\frac{ie}{\sin\theta_{w}}$	$\displaystyle\frac{\langle\mathbf{31}\rangle[2\mathbf{3}]}{M_{W}}+\mathcal{N}_{Wl\nu}[\mathbf{31}][2\mathbf{3}]$	$\displaystyle\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(\textendash\ \textendash)}$ ,  $\displaystyle-\frac{[23]^{2}}{[12]}\scalebox{0.75}{(\textendash\ +)}$ ,  $\displaystyle\frac{m_{l}}{2M_{W}}[12]\scalebox{0.75}{(+ 0)}$
$\bar{l}\nu_{l}^{-}\bar{W}$	$\displaystyle\frac{ie}{\sin\theta_{w}}$	$\displaystyle\frac{[\mathbf{31}]\langle 2\mathbf{3}\rangle}{M_{W}}+\mathcal{N}^{*}_{Wl\nu}\langle\mathbf{31}\rangle\langle 2\mathbf{3}\rangle$	$\displaystyle\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(+ \textendash)}$ , $\displaystyle\frac{[31]^{2}}{[12]}\scalebox{0.75}{(+ +)}$ ,  $\displaystyle-\frac{m_{l}}{2M_{W}}\langle 12\rangle\scalebox{0.75}{(\textendash\ 0)}\,$
$f_{i}\bar{f}_{j}W$	$\displaystyle\frac{ie}{\sin\theta_{w}}V_{ij}$	$\displaystyle\frac{\langle\mathbf{31}\rangle[\mathbf{23}]}{M_{W}}$ $+\,\mathcal{N}_{Wff}\langle\mathbf{31}\rangle\langle\mathbf{23}\rangle$	$\displaystyle-\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(\textendash\ + \textendash)}\ ,\quad-\frac{[23]^{2}}{[12]}\scalebox{0.75}{(\textendash\ + +)}$ , $\displaystyle\frac{m_{i}}{2M_{W}}[12]\scalebox{0.75}{(+ + 0)}\ ,\quad\frac{m_{j}}{2M_{W}}\langle 12\rangle\scalebox{0.75}{(\textendash\ \textendash\ 0)}$
$\bar{f}_{i}f_{j}\overline{W}$	$\displaystyle\frac{ie}{\sin\theta_{w}}V^{*}_{ij}$	$\displaystyle\frac{[\mathbf{31}]\langle\mathbf{23}\rangle}{M_{W}}$ $+\,\mathcal{N}^{*}_{Wff}[\mathbf{31}][\mathbf{23}]$	$\displaystyle\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\scalebox{0.75}{(+ \textendash\ \textendash)}\ ,\quad\frac{[31]^{2}}{[12]}\scalebox{0.75}{(+ \textendash\ +)}$ , $\displaystyle\frac{-m_{j}}{2M_{W}}[12]\scalebox{0.75}{(+ + 0)}\ ,\quad\frac{-m_{i}}{2M_{W}}\langle 12\rangle\scalebox{0.75}{(\textendash\ \textendash\ 0)}$
$W\overline{W}Z$	$\displaystyle\frac{ie\cot\theta_{w}}{\sqrt{2}}$	$\displaystyle-\frac{\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle[\mathbf{31}]+[\mathbf{12}][\mathbf{23}]\langle\mathbf{31}\rangle}{M_{W}M_{Z}}$ $\displaystyle-\frac{\langle\mathbf{12}\rangle[\mathbf{23}]\langle\mathbf{31}\rangle+[\mathbf{12}]\langle\mathbf{23}\rangle[\mathbf{31}]}{M_{W}M_{Z}}$ $\displaystyle-\frac{[\mathbf{12}]\langle\mathbf{23}\rangle\langle\mathbf{31}\rangle+\langle\mathbf{12}\rangle[\mathbf{23}][\mathbf{31}]}{M_{W}^{2}}$ $\displaystyle+\frac{\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle\langle\mathbf{31}\rangle+[\mathbf{12}][\mathbf{23}][\mathbf{31}]}{\mathcal{N}_{WWZ}}$	$\displaystyle\frac{\langle 23\rangle^{3}}{\langle 12\rangle\langle 31\rangle}\scalebox{0.75}{(+ \textendash\ \textendash)}$,  $\displaystyle\frac{\langle 31\rangle^{3}}{\langle 12\rangle\langle 23\rangle}\scalebox{0.75}{(\textendash\ + \textendash)}$,  $\displaystyle\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}\scalebox{0.75}{(\textendash\ \textendash\ +)}$, $\displaystyle\frac{[23]^{3}}{[12][31]}\scalebox{0.75}{(\textendash\ + +)}$,  $\displaystyle\frac{[31]^{3}}{[12][23]}\scalebox{0.75}{(+ \textendash\ +)}$,  $\displaystyle\frac{[12]^{3}}{[23][31]}\scalebox{0.75}{(+ \textendash\ \textendash)}$, $\displaystyle\quad-\frac{M_{Z}}{4M_{W}}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}\scalebox{0.75}{(\textendash\ 0 0)}$,  $\displaystyle-\frac{M_{Z}}{4M_{W}}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}\scalebox{0.75}{(0 \textendash\ 0)}$, $\displaystyle\frac{1}{4}\left(\frac{M_{Z}^{2}}{M_{W}^{2}}-2\right)\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}\scalebox{0.75}{(0 0 \textendash)}$, $\displaystyle\quad-\frac{M_{Z}}{4M_{W}}\frac{[12][31]}{[23]}\scalebox{0.75}{(+ 0 0)}$,  $\displaystyle-\frac{M_{Z}}{4M_{W}}\frac{[12][23]}{[31]}\scalebox{0.75}{(0 + 0)}$, $\displaystyle\frac{1}{4}\left(\frac{M_{Z}^{2}}{M_{W}^{2}}-2\right)\frac{[23][31]}{[12]}\scalebox{0.75}{(0 0 +)}$

Table 4: Standard Model Weak Boson Sector Vertices along with their high-energy limit. The superscript in the first column gives the helicity of the massless particles. The CKM matrix is represented by $V_{ij}$. The $Z$-boson couples differently to left- and right-handed fermions as made explicit in the $g_{L}$ and $g_{R}$ couplings, which we write as $g_{L}=T_{3}-Q_{f}\sin^{2}\theta_{w}$ and $g_{R}=-Q_{f}\sin^{2}\theta_{w}$ which leaves the Goldstone boson modes for the $f\bar{f}Z$ interactions non-zero in the limit of identical fermion masses, as expected, where $T_{3}$ is the isospin and $Q_{f}$ is the electric charge of the fermion. The terms in the high-energy limit with a ratio of masses are Goldstone boson interactions. In some cases, the masses in the ratio canceled. See sections II, III and IV for further details. The helicity signature is for the massive particles in the high-energy limit.

In this section, we consider $3$-point amplitudes with one massive particle and two massless particles. This is appropriate for the $Z$-boson vertex with two neutrinos. (Since we do not know the full structure of the massive neutrino sector, we are limiting ourselves to the massless neutrinos of the SM.) In Arkani-Hamed:2017jhn , the authors write this vertex purely in terms of products of $\langle\mathbf{3}1\rangle$, $\langle 2\mathbf{3}\rangle$ and $[12]$, which is convenient for their objectives. However, we find it more convenient to write these vertices in a more minimal way, with only a single power of $m_{3}$ in the denominator for every term. In particular, we find that for a $-1/2$-helicity neutrino (particle $1$) and $+1/2$-helicity anti-neutrino (particle $2$), the vertex is given by,

$$\frac{1}{M_{Z}}\langle\mathbf{3}1\rangle[2\mathbf{3}].$$ (64)

This amplitude has one index, symmetrized over the two $\mathbf{3}$’s. We can write this in vector notation and expand in the high-energy limit as,

$$\frac{1}{M_{Z}}\langle\mathbf{3}1\rangle[2\mathbf{3}]=\frac{1}{M_{Z}}\left(\begin{array}[]{c}\displaystyle-\frac{M_{Z}}{\sqrt{2E_{3}}}\langle 31\rangle[2\tilde{\zeta}_{3}^{+}]\\ \displaystyle\frac{1}{2}\langle 31\rangle[23]\\ \displaystyle\frac{M_{Z}}{\sqrt{2E_{3}}}\langle\zeta_{3}^{-}1\rangle[23]\end{array}\right)+\mathcal{O}(M_{Z}).$$ (65)

The middle term is $0$ (at this order) by momentum conservation, $\langle 31\rangle[23]=-\langle 11\rangle[21]-\langle 21\rangle[22]+\mathcal{O}(M_{Z}^{2})=\mathcal{O}(M_{Z}^{2})$ since $\langle 11\rangle=0$ and $[22]=0$. For the first term, we can multiply by $\langle 12\rangle/\langle 12\rangle$ and use momentum conservation in the numerator, $\langle 12\rangle[2\tilde{\zeta}_{3}^{+}]=-\langle 13\rangle[3\tilde{\zeta}_{3}^{+}]+\mathcal{O}(M_{Z}^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(M_{Z}^{2})$. For the third term, we can multiply by $[12]/[12]$ and use momentum conservation in the numerator, $\langle\zeta_{3}^{-}1\rangle[12]=-\langle\zeta_{3}^{-}3\rangle[32]+\mathcal{O}(M_{Z}^{2})=-\sqrt{2E_{3}}[23]+\mathcal{O}(M_{Z}^{2})$ and , to obtain,

$$\frac{1}{M_{Z}}\langle\mathbf{3}1\rangle[2\mathbf{3}]=\left(\begin{array}[]{c}\displaystyle-\frac{\langle 31\rangle^{2}}{\langle 12\rangle}\\ \displaystyle 0\\ \displaystyle-\frac{[23]^{2}}{[12]}\end{array}\right)+\mathcal{O}(M_{Z}).$$ (66)

The first term has a $-1$-helicity $Z$-boson, while the third term has a $+1$-helicity $Z$-boson. The middle term, on the other hand, is for the helicity-$0$ component of the $Z$-boson, the Goldstone boson. In fact, we find,

$$\frac{1}{M_{Z}}\langle\mathbf{3}1\rangle[2\mathbf{3}]=\left[\begin{array}[]{c}\displaystyle-\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-1\right)\\ \displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},0\right)\\ \displaystyle-\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},+1\right)\end{array}\right]+\mathcal{O}(M_{Z}),$$ (67)

where the helicity of the $Z$ boson increases down the column vector as expected. The middle term agrees with the massless vertex being zero since the helicities do not add to $\pm 1$. The top and bottom expressions agree with the massless vertices found in Eq. (266), giving the relative sign of these contributions. This vertex can be seen in Table 4.

Although this is all we need for the SM, it will be useful to fill in the rest of the vertex structures for a $1$-spin particle interacting with two massless $\pm 1/2$-helicity fermions so that when we consider vertices with three massive particles, we can check this as one of the special limits. We first give the vertex with all angle and square brackets interchanged,

$$\frac{1}{m_{3}}[\mathbf{3}1]\langle 2\mathbf{3}\rangle = \left(\begin{array}[]{c}\displaystyle\frac{\langle 23\rangle^{2}}{\langle 12\rangle}\\ \displaystyle 0\\ \displaystyle\frac{[31]^{2}}{[12]}\end{array}\right)+\mathcal{O}(m_{3})=\left[\begin{array}[]{c}\displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},-1\right)\\ \displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},0\right)\\ \displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+1\right)\end{array}\right]+\mathcal{O}(M_{Z}),$$ (74)

for a $+1/2$-helicity fermion and $-1/2$-helicity anti-fermion.

If both the fermion and anti-fermion have $-1/2$-helicity, we obtain,

$$\frac{1}{m_{3}}\langle\mathbf{3}1\rangle\langle 2\mathbf{3}\rangle=\frac{1}{m_{3}}\left(\begin{array}[]{c}\langle 31\rangle\langle 23\rangle\\ \displaystyle\frac{m_{3}}{2\sqrt{2E_{3}}}\left(\langle\zeta_{3}^{-}1\rangle\langle 23\rangle+\langle 31\rangle\langle 2\zeta_{3}^{-}\rangle\right)\\ 0\end{array}\right)+\mathcal{O}(m_{3}).$$ (75)

Multiplying this expression by $[12]/[12]$ sets the top term to zero at this order, by conservation of momentum in two ways, $\langle 31\rangle[12]=\mathcal{O}(m_{3})$ or $[12]\langle 23\rangle=\mathcal{O}(m_{3})$. The middle term simplifies by use of $\langle\zeta_{3}^{-}1\rangle[12]=-\langle\zeta_{3}^{-}3\rangle[32]+\mathcal{O}(m_{3}^{2})=\sqrt{2E_{3}}[32]+\mathcal{O}(m_{3}^{2})$ and $[12]\langle 2\zeta_{3}^{-}\rangle=-[13]\langle 3\zeta_{3}^{-}\rangle+\mathcal{O}(m_{3}^{2})=-\sqrt{2E_{3}}[13]+\mathcal{O}(m_{3}^{2})$, giving us,

$$\frac{1}{m_{3}}\langle\mathbf{3}1\rangle\langle 2\mathbf{3}\rangle = \left(\begin{array}[]{c}0\\ \displaystyle\frac{1}{2}\frac{[32]\langle 23\rangle}{[12]}-\frac{1}{2}\frac{\langle 31\rangle[13]}{[12]}\\ 0\end{array}\right)+\mathcal{O}(m_{3}).$$ (79)

The numerator of the nonzero term is actually the difference between momenta, $[32]\langle 23\rangle=2p_{2}\cdot p_{3}+\mathcal{O}(m_{3}^{2})$ and $\langle 31\rangle[13]=2p_{1}\cdot p_{3}+\mathcal{O}(m_{3}^{2})$ so that the numerator is $2(p_{2}-p_{1})\cdot p_{3}$. However, remembering that conservation of momentum tells us that $p_{3}=-(p_{1}+p_{2})$, we obtain,

$$\frac{[32]\langle 23\rangle}{[12]}-\frac{\langle 31\rangle[13]}{[12]}=2\frac{p_{1}^{2}-p_{2}^{2}}{[12]}+\mathcal{O}(m_{3}^{2})=0+\mathcal{O}(m_{3}^{2}),$$ (80)

since particles 1 and 2 are assumed massless in this section. Therefore, we have,

$$\frac{1}{m_{3}}\langle\mathbf{3}1\rangle\langle 2\mathbf{3}\rangle=\mathcal{O}(m_{3})$$ (81)

and similarly,

$$\frac{1}{m_{3}}[\mathbf{3}1][2\mathbf{3}]=\mathcal{O}(m_{3}).$$ (82)

III One Massless Particle, Two Massive Particles with Different Masses

In this section, we consider vertices with one massless particle and two massive particles of differing mass. This vertex is appropriate to the interaction of the $W$-boson and leptons in the SM. We begin with a lepton, a $+1/2$-helicity anti-neutrino and a $W$-boson. The simplest vertex for this contains one spin-spinor for particle $1$ of either type, one square helicity-spinor for particle $2$ and two spin-spinors for particle $3$ of either type. The vertex is a linear combination of all possibilities satisfying these requirements, namely,

$$\mathcal{N}_{1}\langle\mathbf{31}\rangle[2\mathbf{3}]+\mathcal{N}_{2}[\mathbf{31}][2\mathbf{3}].$$ (83)

for some $\mathcal{N}_{1}$ and $\mathcal{N}_{2}$, where we have not included $\langle\mathbf{33}\rangle$ or $[\mathbf{33}]$ since they would be antisymmetric in the SU($2$) indices that we are symmetrizing. The form given in Arkani-Hamed:2017jhn is equivalent to this choice, though we write a more minimal form for this SM vertex. On the other hand, the vertex with an anti-lepton, neutrino (of $-1/2$-helicity), and anti-$W$-boson is given by,

$$\mathcal{N}^{*}_{1}[\mathbf{31}]\langle 2\mathbf{3}\rangle+\mathcal{N}^{*}_{2}\langle\mathbf{31}\rangle\langle 2\mathbf{3}\rangle.$$ (84)

$\mathcal{N}_{1}$ and $\mathcal{N}_{2}$ have inverse mass dimension of 1, therefore, we need to expand the products of spinors to linear order in the masses.

These vertices have two independent indices, so we can write them as a rectangular matrix, with the index on particle $1$ giving the row. We begin our high-energy expansion with,

$$[\mathbf{31}][2\mathbf{3}]=\left(\begin{array}[]{ccc}0&0&\displaystyle-\frac{m_{1}}{\sqrt{2E_{1}}}[3\tilde{\zeta}_{1}^{+}][23]\\ 0&\displaystyle-\frac{m_{3}}{2\sqrt{2E_{3}}}\left([31][2\tilde{\zeta}_{3}^{+}]+[\tilde{\zeta}_{3}^{+}1][23]\right)&[31][23]\end{array}\right)+\mathcal{O}(m^{2}).$$ (85)

We multiply the bottom row by $\langle 12\rangle/\langle 12\rangle$. The bottom-right term vanishes at this order by momentum conservation. On the middle term, we use, $\langle 12\rangle[2\tilde{\zeta}_{3}^{+}]=-\langle 13\rangle[3\tilde{\zeta}_{3}^{+}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$ and $[\tilde{\zeta}_{3}^{+}1]\langle 12\rangle=-[\tilde{\zeta}_{3}^{+}3]\langle 32\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}\langle 23\rangle+\mathcal{O}(m^{2})$. On the first row, we multiply by $\langle 23\rangle/\langle 23\rangle$ and use $\langle 23\rangle[3\tilde{\zeta}_{1}^{+}]=-\langle 21\rangle[1\tilde{\zeta}_{1}^{+}]+\mathcal{O}(m^{2})=\sqrt{2E_{1}}\langle 12\rangle+\mathcal{O}(m^{2})$. However, we see that with this, we obtain $\langle 12\rangle[23]$ for the numerator of the top-right term, which is zero at this order by conservation of momentum. Therefore, we have,

$$[\mathbf{31}][2\mathbf{3}]=\left(\begin{array}[]{ccc}0&\displaystyle 0&0\\ 0&\displaystyle-\frac{m_{3}}{2}\left(\frac{[31]\langle 31\rangle}{\langle 12\rangle}-\frac{[23]\langle 23\rangle}{\langle 12\rangle}\right)&0\end{array}\right)+\mathcal{O}(m^{2}).$$ (86)

However, we now see that the numerator contains $[31]\langle 31\rangle=-2p_{1}\cdot p_{3}$ and $[23]\langle 23\rangle=-2p_{2}\cdot p_{3}$ and, therefore, is proportional to $2(p_{1}-p_{2})\cdot p_{3}+\mathcal{O}(m^{2})$, which by conservation of momentum is $2(p_{2}^{2}-p_{1}^{2})+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$. Therefore, our final result is,

$$[\mathbf{31}][2\mathbf{3}]=\mathcal{O}(m^{2})\ \mbox{and}\ \langle\mathbf{31}\rangle\langle 2\mathbf{3}\rangle=\mathcal{O}(m^{2}),$$ (87)

and $\mathcal{N}_{2}$ does not appear to be restricted by this high-energy limit.

We now move on to the other term. We find,

$$\langle\mathbf{31}\rangle[2\mathbf{3}]=\left(\begin{array}[]{ccc}\displaystyle-\frac{m_{3}}{\sqrt{2E_{3}}}\langle 31\rangle[2\tilde{\zeta}_{3}^{+}]&\displaystyle\frac{1}{2}\langle 31\rangle[23]&\displaystyle\frac{m_{3}}{\sqrt{2E_{3}}}\langle\zeta_{3}^{-}1\rangle[23]\\ \displaystyle 0&\displaystyle\frac{m_{1}}{2\sqrt{2E_{1}}}\langle 3\zeta_{1}^{-}\rangle[23]&0\end{array}\right)+\mathcal{O}(m^{2})$$ (88)

The top-middle term is zero at this order due to momentum conservation. For the top-left term, we multiply by $\langle 12\rangle/\langle 12\rangle$ and use $\langle 12\rangle[2\tilde{\zeta}_{3}^{+}]=-\langle 13\rangle[3\tilde{\zeta}_{3}^{+}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$. For the top-right term, we multiply by $[12]/[12]$. We then use $\langle\zeta_{3}^{-}1\rangle[12]=-\langle\zeta_{3}^{-}3\rangle[32]+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}[23]+\mathcal{O}(m^{2})$. For the bottom-middle term, we use that $[23]\langle 3\zeta_{1}^{-}\rangle=-[21]\langle 1\zeta_{1}^{-}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$. Finally, we obtain,

$$\langle\mathbf{31}\rangle[2\mathbf{3}]=\left(\begin{array}[]{ccc}\displaystyle-m_{3}\frac{\langle 31\rangle^{2}}{\langle 12\rangle}&0&\displaystyle-m_{3}\frac{[23]^{2}}{[12]}\\ 0&\displaystyle\frac{m_{1}}{2}[12]&0\end{array}\right)+\mathcal{O}(m^{2}).$$ (89)

The top-left term gives the interaction of the $-1$-helicity $W$-boson while the top-right term gives the interaction of the $+1$-helicity $W$-boson. Both have a $-1/2$-helicity charged lepton and a $+1/2$-helicity anti-neutrino. The bottom-middle term contains the interaction of the $0$-helicity Goldstone boson with the $+1/2$-helicity charged lepton and anti-neutrino. Similarly, we find for the neutrino,

$$[\mathbf{31}]\langle 2\mathbf{3}\rangle=\left(\begin{array}[]{ccc}0&\displaystyle-\frac{m_{1}}{2}\langle 12\rangle&0\\ \displaystyle m_{3}\frac{\langle 23\rangle^{2}}{\langle 12\rangle}&0&\displaystyle m_{3}\frac{[31]^{2}}{[12]}\end{array}\right)+\mathcal{O}(m^{2}).$$ (90)

We must now decide what the normalization factor $\mathcal{N}_{1}$ should be. We know that it is an inverse mass, but we do not yet know whether it is $1/m_{1}$, $1/m_{3}$, $1/(m_{1}+m_{3})$, $1/\sqrt{m_{1}m_{3}}$ or something else, entirely. However, it is not difficult to determine. The top-middle term corresponds with the $\pm 1$-helicity part of the $1$-spin object, the $W$-boson. It should be present whether the masses are non-zero or not. On the other hand, the bottom-left term corresponds with the “eaten” Goldstone boson and should contain the discontinuity. Therefore, we find that $\mathcal{N}_{1}=1/m_{3}$ giving us the vertices,

$$\frac{1}{m_{3}}\langle\mathbf{31}\rangle[2\mathbf{3}]=\left[\begin{array}[]{ccc}\displaystyle-\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-1\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},0\right)&\displaystyle-\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},+1\right)\\ \displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},-1\right)&\displaystyle\frac{m_{1}}{2m_{3}}\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},0\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},+1\right)\end{array}\right]+\mathcal{O}(m),$$ (91)

and,

$$\frac{1}{m_{3}}[\mathbf{31}]\langle 2\mathbf{3}\rangle=\left[\begin{array}[]{ccc}\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},-1\right)&\displaystyle-\frac{m_{1}}{2m_{3}}\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},0\right)&\displaystyle\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},+1\right)\\ \displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},-1\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},0\right)&\displaystyle\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+1\right)\end{array}\right]+\mathcal{O}(m),$$ (92)

which agrees with the massless vertices given in Eq. (266) for the $\pm 1$-helicity $W$-boson and Eq. (265) for the Goldstone boson interactions. It also agrees with a zero massless amplitude when the helicities do not add to $\pm 1$. Once again, the relative signs and sizes of the amplitude are determined by their incorporation in the larger massive vertex. In particular, the $m_{1}/m_{3}$ ratio between the $\pm 1$-helicity vertex and the Goldstone vertex is determined. Furthermore, in the limit $m_{1}\to 0$, the Goldstone interactions vanish and we are left with the 3-point amplitudes,

$$\frac{1}{m_{3}}\langle\mathbf{3}1\rangle[2\mathbf{3}]\quad\mbox{and}\quad\frac{1}{m_{3}}[\mathbf{3}1]\langle 2\mathbf{3}\rangle,$$ (93)

(where we have unbolded the $1$) agreeing with Eqs. (74) and (91) of the previous section. We see that we can simply unbold the $\mathbf{1}$ for the $1/2$-spin fermions. However, it is not so simple for the $1$-spin boson because of the Goldstone boson living in it. We must carefully expand the $W$-boson spin-spinors in the high-energy limit.

Coming briefly back to the normalization constant $\mathcal{N}_{2}$, we see that not only is it not determined by the high-energy limit, its term is not necessary to achieve any of the massless vertices for the $W$-lepton interactions. At this point, we do not know what it should be based purely on symmetry principles, including both the symmetry principles at low and high energy. We consider the determination of $\mathcal{N}_{2}$ in the absence of field theory an open question.

We include this vertex along with its high-energy limit in Table 4.

IV Three Massive Particles

Particles	Coupling	Vertex	High-Energy Limit
$f\bar{f}h$	$-im_{f}/v$	$\displaystyle\langle\mathbf{12}\rangle+[\mathbf{12}]$	$\displaystyle\langle 12\rangle\scalebox{0.75}{(\textendash\ \textendash)}$, $\displaystyle[12]\scalebox{0.75}{(+ +)}$
$W\overline{W}h$	$-2i$	$\displaystyle\frac{\langle\mathbf{12}\rangle[\mathbf{12}]}{v}+\mathcal{N}_{WWh}\left(\langle\mathbf{12}\rangle\langle\mathbf{12}\rangle+[\mathbf{12}][\mathbf{12}]\right)$	$\displaystyle\frac{M_{W}}{2v}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}\scalebox{0.75}{(\textendash\ 0)},$ $\displaystyle-\frac{M_{W}}{2v}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}\scalebox{0.75}{(0 \textendash)},$ $\displaystyle-\frac{M_{W}}{2v}\frac{[12][31]}{[23]}\scalebox{0.75}{(+ 0)},$ $\displaystyle\frac{M_{W}}{2v}\frac{[12][23]}{[31]}\scalebox{0.75}{(0 +)},$
$ZZh$	$-2i$	$\displaystyle\frac{\langle\mathbf{12}\rangle[\mathbf{12}]}{v}+\mathcal{N}_{ZZh}\left(\langle\mathbf{12}\rangle\langle\mathbf{12}\rangle+[\mathbf{12}][\mathbf{12}]\right)$	$\displaystyle\frac{M_{Z}}{2v}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}\scalebox{0.75}{(\textendash\ 0)},$ $\displaystyle-\frac{M_{Z}}{2v}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}\scalebox{0.75}{(0 \textendash)},$ $\displaystyle-\frac{M_{Z}}{2v}\frac{[12][31]}{[23]}\scalebox{0.75}{(+ 0)},$ $\displaystyle\frac{M_{Z}}{2v}\frac{[12][23]}{[31]}\scalebox{0.75}{(0 +)},$
$hhh$	$-3iM_{h}^{2}/v^{2}$	$v$	0

Table 5: Standard Model Higgs Sector Vertices along with their high-energy limit. See Section IV for further details. The helicity signatures of the particles is given in parentheses for all but the Higgs boson in the high-energy limit.

As pointed out in Arkani-Hamed:2017jhn , there are no massless spinors to span the SL($2,\mathbb{C}$) space for these vertices so we have to employ tensors. We can use the antisymmetric tensor $\epsilon_{\alpha\beta}$ and the symmetric tensor $\mathcal{O}_{\alpha\beta}=\epsilon^{\dot{\alpha}\dot{\beta}}\left(p_{1\alpha\dot{\alpha}}p_{2\beta\dot{\beta}}+p_{1\beta\dot{\alpha}}p_{2\alpha\dot{\beta}}\right)$. Ref. Arkani-Hamed:2017jhn points out that products of $\epsilon$ tensors can be replaced with momentum tensors $\mathcal{O}$, which suits their purpose. However, we find that the simplest form of the minimal SM coupling only uses the epsilon tensors. Therefore, we will construct our vertices out of terms such as $\langle\mathbf{ij}\rangle$ and $[\mathbf{ij}]$ for particles $i$ and $j$.

IV.1 Two Spin-1/2 Fermions and One Spin-1 Boson

We begin with a vertex for two $1/2$-spin fermions and one $1$-spin boson. This vertex will apply to the massive $f\bar{f}Z$ and $f\bar{f}^{\prime}W$ vertices. There will be a single spin-spinor for each fermion of either type and two spin-spinors for the $W$ or $Z$ of either type. There are six possible combinations, however two of them are proportional to either $\langle\mathbf{33}\rangle$ or $[\mathbf{33}]$, where the $W$ or $Z$-boson is the third particle. As we see in Eq. (218), this is antisymmetric in the SU($2$) indices. However, we remember that all the vertices are totally symmetrized over the SU($2$) indices for each particle. Therefore, this combination does not contribute. As a result, there are four terms that potentially contribute to this vertex. They are,

$$\langle\mathbf{31}\rangle\langle\mathbf{23}\rangle\ ,\ \langle\mathbf{31}\rangle[\mathbf{23}]\ ,\ [\mathbf{31}]\langle\mathbf{23}\rangle\ \mbox{and}\ [\mathbf{31}][\mathbf{23}]\ .$$ (94)

Since all three particles are massive, if our theory were parity symmetric, we would expect our vertex to be symmetric between angle and square brackets. However, the interaction of the $Z$-boson and fermions is not parity symmetric, therefore, we expect each term to have its own unique coupling. With some foresight, we will call these $g_{R}$ and $g_{L}$, giving us

$$\mathcal{N}_{1}\left(g_{L}[\mathbf{23}]\langle\mathbf{31}\rangle+g_{R}\langle\mathbf{23}\rangle[\mathbf{31}]\right)+\mathcal{N}_{2}\left(\tilde{g}_{L}\langle\mathbf{31}\rangle\langle\mathbf{23}\rangle+\tilde{g}_{R}[\mathbf{31}][\mathbf{23}]\right)$$ (95)

for some $\mathcal{N}_{1}$ and $\mathcal{N}_{2}$, both of which have inverse mass dimension of $1$. From the previous two sections, we expect $\mathcal{N}_{1}=1/m_{3}$ and $\mathcal{N}_{2}$ to be unconstrained by the high-energy limit. Furthermore, we expect to be able to simply unbold the $\mathbf{1}$ and $\mathbf{2}$ in the high-energy limit for the fermions as long as we take $m_{1}\to 0$ and $m_{2}\to 0$ before $m_{3}$. The $\mathbf{3}$ for the $W$-boson, on the other hand, can not be simply unbolded in the high-energy limit, due to its associated Goldstone boson. Nonetheless, we will go through the high-energy limit in detail.

We need to expand these vertex structures to linear order in the masses. We note that since these structures have three independent SU($2$) indices, we cannot write them as matrices. We must explicitly label their indices as we enumerate them. In principle, we need to consider each index value of these spin-spinor products. However, most of them begin at higher than linear order. So, there are actually only a few that we need to explicitly calculate. We begin with $\langle\mathbf{23}\rangle[\mathbf{31}]$ since, as we will see, it contains all the leading high-energy terms. We use Eqs. (239) and (243), throughout this section. We begin with $g_{R}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}+g_{L}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}=\mathcal{O}(m^{2})=\mathcal{A}(-1/2,-1/2,-1)+\mathcal{O}(m^{2})$. We next consider,

$$\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}=-\frac{m_{3}}{\sqrt{2E_{3}}}\langle 23\rangle[\tilde{\zeta}^{+}_{3}1]+\mathcal{O}(m^{3}).$$ (96)

We multiply this by $\langle 12\rangle/\langle 12\rangle$ and use momentum conservation $[\tilde{\zeta}_{3}^{+}1]\langle 12\rangle=-[\tilde{\zeta}_{3}^{+}3]\langle 32\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}\langle 23\rangle+\mathcal{O}(m^{2})$ to obtain,

$$\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}=m_{3}\frac{\langle 23\rangle^{2}}{\langle 12\rangle}+\mathcal{O}(m^{2}).$$ (97)

On the other hand, $[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{12}=\mathcal{O}(m^{2})$, therefore we have,

$$\frac{1}{m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}+g_{L}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{12}\right)=g_{R}\frac{\langle 23\rangle^{2}}{\langle 12\rangle}+\mathcal{O}(m^{2})=g_{R}\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},-1\right)+\mathcal{O}(m^{2}),$$ (98)

where we have inserted the expected $\mathcal{N}_{1}=1/m_{3}$. As we see, this gives us the vertex for a $+1/2$-helicity fermion, a $-1/2$-helicity anti-fermion and a $-1$-helicity boson as expected. This agrees with the massless vertices of Eq. (266). We next increment the index on particle $2$ to obtain $\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{11}=\mathcal{O}(m^{3})$ and,

$$[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{11}=-\frac{m_{3}}{\sqrt{2E_{3}}}\langle 31\rangle[2\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{3}).$$ (99)

We multiply this by $\langle 12\rangle/\langle 12\rangle$ and use momentum conservation $\langle 12\rangle[2\tilde{\zeta}^{+}_{3}]=-\langle 13\rangle[3\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$, we obtain

$$[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{11}=-m_{3}\frac{\langle 31\rangle^{2}}{\langle 12\rangle}+\mathcal{O}(m^{3}).$$ (100)

Therefore,

$$\frac{1}{m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{11}+g_{L}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{11}\right)=-g_{L}\frac{\langle 31\rangle^{2}}{\langle 12\rangle}+\mathcal{O}(m^{2})=-g_{L}\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-1\right)+\mathcal{O}(m^{2}),$$ (101)

where we have again inserted the expected $\mathcal{N}_{1}=1/m_{3}$ and will throughout the remainder of this section. Once again, the vertex for the expected helicities appears and agrees with the massless vertices of Eq. (266). We next increment both particles 1 and 2 to obtain $g_{R}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{12}+g_{L}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{12}=\mathcal{O}(m^{2})=\mathcal{A}(+1/2,+1/2,-1)+\mathcal{O}(m^{2})$.

Moving on to incrementing the spin of the $1$-spin boson, we begin with,

$$\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{21}=-\frac{m_{1}}{\sqrt{2E_{1}}}\langle 23\rangle[3\tilde{\zeta}^{+}_{1}]+\mathcal{O}(m^{3})=-m_{1}\langle 12\rangle+\mathcal{O}(m^{3}),$$ (102)

where we used momentum conservation $\langle 23\rangle[3\tilde{\zeta}^{+}_{1}]=-\langle 21\rangle[1\tilde{\zeta}^{+}_{1}]+\mathcal{O}(m^{2})=\sqrt{2E_{1}}\langle 12\rangle+\mathcal{O}(m^{2})$. We also need $\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{11}=\mathcal{O}(m^{2})$, $[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{21}=\mathcal{O}(m^{2})$ and,

$$[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{11}=-\frac{m_{2}}{\sqrt{2E_{2}}}[\tilde{\zeta}^{+}_{2}3]\langle 31\rangle+\mathcal{O}(m^{3})=m_{2}\langle 12\rangle+\mathcal{O}(m^{3}),$$ (103)

where we have used momentum conservation $[\tilde{\zeta}^{+}_{2}3]\langle 31\rangle=-[\tilde{\zeta}^{+}_{2}2]\langle 21\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}\langle 12\rangle+\mathcal{O}(m^{2})$. Putting this together we have,

$$\frac{1}{2m_{3}}\Big{(}g_{R}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{21}+g_{R}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{11}$$ (104)

$$+g_{L}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{21}+g_{L}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{11}\Big{)} = \Big{(}\frac{m_{2}g_{L}-m_{1}g_{R}}{2m_{3}}\Big{)}\langle 12\rangle+\mathcal{O}(m^{2})$$ (105)

$$= \left(\frac{m_{2}g_{L}-m_{1}g_{R}}{2m_{3}}\right)\mathcal{A}\left(-\frac{1}{2},-\frac{1}{2},0\right)+\mathcal{O}(m^{2}),$$

where the factor of $1/2$ is due to the symmetrization of the spin indices on particle-$3$. This gives the high-energy vertex for a $-1/2$-helicity fermion and anti-fermion and a helicity-$0$ boson, the Goldstone boson of the $1$-spin particle. This high-energy result agrees with the massless vertices given in Eq. (265). We now hold the spin index on particle-$3$ fixed and increment the indices on particles $1$ and $2$. We begin by incrementing them separately and expect to find zero at this order since the helicities will not add to $+1$ until we increment them both. This is what we find. First, $\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{22}=\langle 23\rangle[31]+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$ due to momentum conservation, $\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{12}=\mathcal{O}(m^{2})$, $[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{22}=\mathcal{O}(m^{2})$ and $[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{12}=\mathcal{O}(m^{2})$. Putting these together, we find $\frac{1}{2m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{22}+g_{R}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{12}+g_{L}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{22}+g_{L}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{12}\right)=\mathcal{O}(m^{2})=\mathcal{A}(+1/2,-1/2,0)+\mathcal{O}(m^{2})$, as expected. Similarly, we find $\frac{1}{2m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{21}+g_{R}\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{11}+g_{L}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{21}+g_{L}[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{11}\right)=\mathcal{O}(m^{2})=\mathcal{A}(-1/2,+1/2,0)+\mathcal{O}(m^{2})$.

Our next non-zero result occurs when both fermions have positive helicity,

$$\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{22}=\frac{m_{2}}{\sqrt{2E_{2}}}\langle\zeta^{-}_{2}3\rangle[31]+\mathcal{O}(m^{3})=-m_{2}[12]+\mathcal{O}(m^{2}),$$ (106)

where we have used $\langle\zeta^{-}_{2}3\rangle[31]=-\langle\zeta^{-}_{2}2\rangle[21]+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}[12]+\mathcal{O}(m^{2}),\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{12}=\mathcal{O}(m^{3}),[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{22}=\mathcal{O}(m^{3})$ and

$$[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{12}=\frac{m_{1}}{\sqrt{2E_{1}}}[23]\langle 3\zeta^{-}_{1}\rangle+\mathcal{O}(m^{3})=m_{1}[12]+\mathcal{O}(m^{3}),$$ (107)

where we have used $[23]\langle 3\zeta^{-}_{1}\rangle=-[21]\langle 1\zeta^{-}_{1}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$. Putting all of this together, we have

$$\frac{1}{2m_{3}}\Big{(}g_{R}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{22}+g_{R}\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{12}$$ (108)

$$+g_{L}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{22}+g_{L}[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{12}\Big{)} = \left(\frac{m_{1}g_{L}-m_{2}g_{R}}{2m_{3}}\right)[12]+\mathcal{O}(m^{2})$$ (109)

$$= \Big{(}\frac{m_{1}g_{L}-m_{2}g_{R}}{2m_{3}}\Big{)}\mathcal{A}\left(+\frac{1}{2},+\frac{1}{2},0\right)+\mathcal{O}(m^{2}).$$

Once again, this gives the Goldstone boson interaction, this time with $+1/2$-helicity fermion and anti-fermion agreeing with the massless vertices given in Eq. (265).

We now move on to the highest helicity for the $1$-spin boson by incrementing the spin index on particle-$3$ one more time. We begin with $g_{R}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{21}+g_{L}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{21}=\mathcal{O}(m^{2})=\mathcal{A}(-1/2,-1/2,+1)+\mathcal{O}(m^{2})$. Next we consider,

$$\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{22}=\frac{m_{3}}{\sqrt{2E_{3}}}\langle 2\zeta^{-}_{3}\rangle[31]+\mathcal{O}(m^{3}).$$ (110)

We multiply this by $[12]/[12]$ and use momentum conservation $[12]\langle 2\zeta^{-}_{3}\rangle=-[13]\langle 3\zeta^{-}_{3}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{3}}[31]+\mathcal{O}(m^{2})$. We also note that $[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{22}=\mathcal{O}(m^{3})$. From this we obtain,

$$\frac{1}{m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{22}+g_{L}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{22}\right)=g_{R}\frac{[31]^{2}}{[12]}+\mathcal{O}(m^{2})=g_{R}\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+1\right)+\mathcal{O}(m^{2}).$$ (111)

Similarly, $\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{21}=\mathcal{O}(m^{3})$ and

$$[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{21}=\frac{m_{3}}{\sqrt{2E_{3}}}[23]\langle\zeta^{-}_{3}1\rangle+\mathcal{O}(m^{3}).$$ (112)

We multiply this by $[12]/[12]$ and use momentum conservation $\langle\zeta^{-}_{3}1\rangle[12]=-\langle\zeta^{-}_{3}3\rangle[32]+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}[23]+\mathcal{O}(m^{2})$. Therefore, we have

$$\frac{1}{m_{3}}\left(g_{R}\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{21}+g_{L}[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{21}\right)=-g_{L}\frac{[23]^{2}}{[12]}+\mathcal{O}(m^{2})=-g_{L}\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},+1\right)+\mathcal{O}(m^{2}).$$ (113)

Finally, we have $\left(g_{R}\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{22}+g_{L}[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{22}\right)=\mathcal{O}(m^{2})=\mathcal{A}(+1/2,+1/2,+1)+\mathcal{O}(m^{2})$. As before, all these high-energy limits agree with the massless vertices given in Eq. (266). Furthermore, as in the previous sections, we learn that $\mathcal{N}_{1}=1/m_{3}$ and that, in the high-energy limit, we must take $m_{1}\to 0$ and $m_{2}\to 0$ before taking $m_{3}\to 0$. This removes the Goldstone interactions before taking the final $m_{3}\to 0$ limit and agrees with the results of the previous sections.

For the $W$-boson vertices, we find the usual chiral results, $g_{L}=1$ while $g_{R}=0$ since the $W$-boson only interacts with the left-handed fermions. For the $Z$-boson vertices, $g_{L}$ and $g_{R}$ are different for each flavor of fermion. We use $g_{L}=T_{3}-Q_{f}\sin^{2}\theta_{w}$ and $g_{R}=-Q_{f}\sin^{2}\theta_{w}$ where $Q_{f}$ is the electric charge of the fermion and $T_{3}$ is its isospin.

We must now consider the other vertex structure, $\langle\mathbf{31}\rangle\langle\mathbf{23}\rangle$ and its partner interchanged in angle and square brackets. We begin with all indices equal to $1$, and keep up to linear order,

$$\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{11}=\langle 31\rangle\langle 23\rangle+\mathcal{O}(m^{2}).$$ (114)

However, by multiplying by $[12]/[12]$ and using momenum conservation in the numerator, we immediately see that the first term vanishes to quadratic order and we are left with,

$$\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{11}=\mathcal{O}(m^{2}).$$ (115)

So, this term does not contribute to the high-energy limit.

We next look at,

$$\langle\mathbf{31}\rangle^{12}\langle\mathbf{23}\rangle^{11}=\frac{m_{1}}{\sqrt{2E_{1}}}\langle 3\zeta_{1}^{-}\rangle\langle 23\rangle+\mathcal{O}(m^{3}).$$ (116)

In order to simplify this, we need to multiply by $[23]/[23]$ and use conservation of momentum. After we do this, we are left with,

$$\langle\mathbf{31}\rangle^{12}\langle\mathbf{23}\rangle^{11}=m_{1}\frac{[12]\langle 23\rangle}{[23]}+\mathcal{O}(m^{3}).$$ (117)

However, $[12]\langle 23\rangle=\mathcal{O}(m^{2})$ by conservation of momentum. Therefore,

$$\langle\mathbf{31}\rangle^{12}\langle\mathbf{23}\rangle^{11}=\mathcal{O}(m^{3}).$$ (118)

And, similarly, if we take the particle-2 index to be 2, we obtain,

$$\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{21}=\mathcal{O}(m^{3}).$$ (119)

We have one more to check. It is,

$$\frac{1}{2}\left(\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{12}+\langle\mathbf{31}\rangle^{21}\langle\mathbf{23}\rangle^{11}\right)=\frac{m_{3}}{2\sqrt{2E_{3}}}\left(\langle 31\rangle\langle 2\zeta_{3}^{-}\rangle+\langle\zeta_{3}^{-}1\rangle\langle 23\rangle\right)+\mathcal{O}(m^{3}).$$ (120)

Multiplying by $[12]/[12]$ and using momentum conservation, we obtain,

$$\frac{1}{2}\left(\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{12}+\langle\mathbf{31}\rangle^{21}\langle\mathbf{23}\rangle^{11}\right)=\frac{m_{3}}{2}\left(\frac{\langle 31\rangle[31]}{[12]}-\frac{[23]\langle 23\rangle}{[12]}\right)+\mathcal{O}(m^{3}).$$ (121)

As in the previous section, we see that the numerator is $\langle 31\rangle[31]-\langle 23\rangle[23]=2(p_{2}-p_{1})\cdot p_{3}+\mathcal{O}(m^{2})=2(p_{1}-p_{2})\cdot(p_{2}+p_{1})+\mathcal{O}(m^{2})=2p_{1}^{2}-2p_{2}^{2}+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$, leaving us with,

$$\frac{1}{2}\left(\langle\mathbf{31}\rangle^{11}\langle\mathbf{23}\rangle^{12}+\langle\mathbf{31}\rangle^{21}\langle\mathbf{23}\rangle^{11}\right)=\mathcal{O}(m^{3}),$$ (122)

and similarly,

$$\frac{1}{2}\left([\mathbf{31}]^{11}[\mathbf{23}]^{12}+[\mathbf{31}]^{21}[\mathbf{23}]^{11}\right)=\mathcal{O}(m^{3}).$$ (123)

So, once again, we find that $\mathcal{N}_{2}$ is unconstrained by the high-energy limit. We do not yet know what it should be. From this, we can determine the vertices for the $Z$-boson and the fermions as well as the $W$-boson and the quarks. We have included these in Table 4.

IV.2 Three Spin-1 Bosons

We now consider the case where all three particles are $1$-spin bosons. This is appropriate to the $WWZ$ vertex. Now, each vertex has two spin-spinors of either type for each particle. We must combine them in all possible ways, but we remember that we do not have any terms with $\langle\mathbf{ii}\rangle$ or $[\mathbf{ii}]$ for particle $i$ because its SU($2$) index is symmetrized taking this term to zero. Therefore, we construct our vertices out of $\langle\mathbf{12}\rangle,\langle\mathbf{23}\rangle,\langle\mathbf{31}\rangle$ and their partners with square brackets. We expect our vertex to be symmetric between angle and square brackets, therefore, we expect our vertex to take the form,

$$\mathcal{N}_{1}\left(\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle\langle\mathbf{31}\rangle+[\mathbf{12}][\mathbf{23}][\mathbf{31}]\right)+\mathcal{N}_{2}\left(\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle[\mathbf{31}]+[\mathbf{12}][\mathbf{23}]\langle\mathbf{31}\rangle\right)+$$

$$\mathcal{N}_{3}\left(\langle\mathbf{12}\rangle[\mathbf{23}]\langle\mathbf{31}\rangle+[\mathbf{12}]\langle\mathbf{23}\rangle[\mathbf{31}]\right)+\mathcal{N}_{4}\left([\mathbf{12}]\langle\mathbf{23}\rangle\langle\mathbf{31}\rangle+\langle\mathbf{12}\rangle[\mathbf{23}][\mathbf{31}]\right),$$ (124)

where $\mathcal{N}_{1}$, $\mathcal{N}_{2}$, $\mathcal{N}_{3}$ and $\mathcal{N}_{4}$ are distinct from the normalization constants in previous sections and have inverse mass dimension of 2. This means we have to expand these structures to quadratic order in the masses. All of these have three indices, therefore, we will not be able to write them in matrix form. The last three are related by interchange of the particles. Computing one gives the others. But, the coefficients may be different combinations of masses, so we separate them. We use Eqs. (233) and (236) to expand in high energy, keeping up to quadratic order in the masses.

We begin with,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}=\left(1-\frac{m_{1}^{2}}{4E_{1}^{2}}-\frac{m_{2}^{2}}{4E_{2}^{2}}-\frac{m_{3}^{2}}{4E_{3}^{2}}\right)\langle 12\rangle\langle 23\rangle\langle 31\rangle+\mathcal{O}(m^{4}).$$ (125)

However, we can multiply this by $[12]^{2}/[12]^{2}$ and use conservation of momentum twice in the numerator, $[12]\langle 23\rangle=\mathcal{O}(m^{2})$ and $\langle 31\rangle[12]=\mathcal{O}(m^{2})$, to obtain,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}=\mathcal{O}(m^{4}).$$ (126)

We will see this sort of simplification in many of the terms.

We next consider the index on 1 incremented,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}=\frac{m_{1}}{\sqrt{2E_{1}}}\left(\langle 12\rangle\langle 23\rangle\langle 3\zeta_{1}^{-}\rangle+\langle\zeta_{1}^{-}2\rangle\langle 23\rangle\langle 31\rangle\right)+\mathcal{O}(m^{3}).$$ (127)

Once again, we multiply by $[23]/[23]$ and use conservation of momentum. We begin by simplifying the $\zeta$ terms. For example, on the first term, we use $[23]\langle 3\zeta_{1}^{-}\rangle=-[21]\langle 1\zeta_{1}^{-}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$. We then follow this with $[12]\langle 23\rangle=\mathcal{O}(m^{2})$, showing that this term begins at $\mathcal{O}(m^{3})$. The second term is the same order by a similar set of steps,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}=\mathcal{O}(m^{3}).$$ (128)

Incrementing, instead, the index on particle $2$ or $3$ would obtain the same result.

We next try incrementing two of the indices, for example on particles 1 and 2, to obtain,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{21}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{21}\langle\mathbf{31}\rangle^{11}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{22}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}$$

$$\displaystyle\qquad=\frac{m_{1}m_{2}}{\sqrt{4E_{1}E_{2}}}\left(\langle 12\rangle\langle\zeta_{2}^{-}3\rangle\langle 3\zeta_{1}^{-}\rangle+\langle\zeta_{1}^{-}2\rangle\langle\zeta_{2}^{-}3\rangle\langle 31\rangle+\langle 1\zeta_{2}^{-}\rangle\langle 23\rangle\langle 3\zeta_{1}^{-}\rangle+\langle\zeta_{1}^{-}\zeta_{2}^{-}\rangle\langle 23\rangle\langle 31\rangle\right)+\mathcal{O}(m^{4})$$ (129)

To check whether this expression is zero at this order, we must first simplify the $\zeta$ terms. We multiply the first, second and third by $[31][23]/[31][23]$. On the first, we use $\langle\zeta_{2}^{-}3\rangle[31]=-\sqrt{2E_{2}}[12]+\mathcal{O}(m^{2})$ along with $[23]\langle 3\zeta_{1}^{-}\rangle=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$. For the second, we use $\langle\zeta_{2}^{-}3\rangle[31]=-\sqrt{2E_{2}}[12]+\mathcal{O}(m^{2})$ and $\langle\zeta_{1}^{-}2\rangle[23]=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$. For the third, we use $[31]\langle 1\zeta_{2}^{-}\rangle=\sqrt{2E_{2}}[23]+\mathcal{O}(m^{2})$ and $[23]\langle 3\zeta_{1}^{-}\rangle=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$. We do not know of a way to simplify the $\langle\zeta_{1}^{-}\zeta_{2}^{-}\rangle$, but, since we still have $\langle 23\rangle\langle 31\rangle$ in the last term, we can multiply it by $[23]/[23]$ and use $[23]\langle 31\rangle=\mathcal{O}(m^{2})$ to show that this term is higher order. Putting all of this together, we have,

$$\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{21}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{21}\langle\mathbf{31}\rangle^{11}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}+\langle\mathbf{12}\rangle^{22}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{11}$$

$$\displaystyle\qquad=m_{1}m_{2}\left(\frac{-\langle 12\rangle[12]^{2}+\langle 31\rangle[31][12]+\langle 23\rangle[23][12]}{[31][23]}\right)+\mathcal{O}(m^{4}).$$ (130)

However, each of these terms is zero at this order. There are several ways to see this, but we note that $\langle 12\rangle[12]=-2p_{1}\cdot p_{2}=-(p_{1}+p_{2})^{2}+\mathcal{O}(m^{2})=-p_{3}^{2}+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$, and similarly for the other terms. Therefore, this term does not contribute at quadratic order.

Incrememting all three indices once will begin at cubic order and does not need to be considered. The only case left to consider is incrementing one of the indices to $22$. Let’s try,

$$\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}=\frac{m_{1}^{2}}{2E_{1}}\langle\zeta_{1}^{-}2\rangle\langle 23\rangle\langle 3\zeta_{1}^{-}\rangle+\mathcal{O}(m^{4}).$$ (131)

We simplify the $\zeta$ terms by multiplying by $[23]^{2}/[23]^{2}$ and using conservation of momentum, $\langle\zeta_{1}^{-}2\rangle[23]=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$ and $[23]\langle 3\zeta_{1}^{-}\rangle=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$, to obtain,

$$\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}\langle\mathbf{31}\rangle^{12}=-m_{1}^{2}\frac{\langle 23\rangle[12][31]}{[23]^{2}}+\mathcal{O}(m^{4}).$$ (132)

The numerator is zero at this order by conservation of momentum, $\langle 23\rangle[31]=\mathcal{O}(m^{2})$, so this term also does not contribute at this order. Putting this all together, we find that the vertex structure with coefficient $\mathcal{N}_{1}$ does not contribute at this order in the high-energy limit and thus we can not constrain $\mathcal{N}_{1}$ from the high-energy limit.

We now turn our attention to the vertex structure with coefficient $\mathcal{N}_{2}$. Since we have not found any of our expected high-energy limit interactions yet, we expect to find them all in this and the related terms. There will be a great number of cases to keep track of. In order to make where each term comes from clear, we will add them to Table 6 as we compute them.

Helicity			$\,\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle[\mathbf{31}]+[\mathbf{12}][\mathbf{23}]\langle\mathbf{31}\rangle\,$	$\,\langle\mathbf{12}\rangle[\mathbf{23}]\langle\mathbf{31}\rangle+[\mathbf{12}]\langle\mathbf{23}\rangle[\mathbf{31}]\,$	$\,[\mathbf{12}]\langle\mathbf{23}\rangle\langle\mathbf{31}\rangle+\langle\mathbf{12}\rangle[\mathbf{23}][\mathbf{31}]\,$
$\phantom{+}0$	$\phantom{+}0$	$-1$	$\displaystyle\frac{m_{2}m_{3}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}$	$\displaystyle\frac{m_{1}m_{3}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}$	$\displaystyle-\frac{m_{3}^{2}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}$
$-1$	$\phantom{+}0$	$\phantom{+}0$	$\displaystyle\frac{m_{1}m_{2}}{4}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}$	$\displaystyle-\frac{m_{1}^{2}}{4}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}$	$\displaystyle\frac{m_{1}m_{3}}{4}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}$
$\phantom{+}0$	$-1$	$\phantom{+}0$	$\displaystyle-\frac{m_{2}^{2}}{4}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}$	$\displaystyle\frac{m_{1}m_{2}}{4}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}$	$\displaystyle\frac{m_{2}m_{3}}{4}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}$
$+1$	$-1$	$-1$	$0$	$\displaystyle-m_{2}m_{3}\frac{\langle 23\rangle^{3}}{\langle 12\rangle\langle 31\rangle}$	$0$
$-1$	$-1$	$+1$	$0$	$0$	$\displaystyle-m_{1}m_{2}\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}$
$-1$	$+1$	$-1$	$\displaystyle-m_{1}m_{3}\frac{\langle 31\rangle^{3}}{\langle 12\rangle\langle 23\rangle}$	$0$	$0$
$\phantom{+}0$	$+1$	$-1$	$0$	$0$	$0$
$+1$	$-1$	$+1$	$\displaystyle-m_{1}m_{3}\frac{[31]^{3}}{[12][23]}$	$0$	$0$
$-1$	$+1$	$+1$	$0$	$\displaystyle-m_{2}m_{3}\frac{[23]^{3}}{[12][31]}$	$0$
$+1$	$+1$	$-1$	$0$	$0$	$\displaystyle-m_{1}m_{2}\frac{[12]^{3}}{[23][31]}$
$\phantom{+}0$	$+1$	$\phantom{+}0$	$\displaystyle-\frac{m_{2}^{2}}{4}\frac{[12][23]}{[31]}$	$\displaystyle\frac{m_{1}m_{2}}{4}\frac{[12][23]}{[31]}$	$\displaystyle\frac{m_{2}m_{3}}{4}\frac{[12][23]}{[31]}$
$+1$	$\phantom{+}0$	$\phantom{+}0$	$\displaystyle\frac{m_{1}m_{2}}{4}\frac{[12][31]}{[23]}$	$\displaystyle-\frac{m_{1}^{2}}{4}\frac{[12][31]}{[23]}$	$\displaystyle\frac{m_{1}m_{3}}{4}\frac{[12][31]}{[23]}$
$\phantom{+}0$	$\phantom{+}0$	$+1$	$\displaystyle\frac{m_{2}m_{3}}{4}\frac{[23][31]}{[12]}$	$\displaystyle\frac{m_{1}m_{3}}{4}\frac{[23][31]}{[12]}$	$\displaystyle-\frac{m_{3}^{2}}{4}\frac{[23][31]}{[12]}$

Table 6: Contributions of the spinor products in Eq. (124) in the high-energy limit. Their calculation is described in Sec. IV.2. The left column gives the helicities of the three particles. We have only listed helicity combinations that have non-zero contributions.

We first find $\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}+[\mathbf{12}]^{11}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}=\mathcal{O}(m^{2})=\mathcal{A}(-1,-1,-1)+\mathcal{O}(m^{2})$. We next begin incrementing the index on each particle, starting with particle $1$. We find,

$$\frac{1}{2}\Big{(}\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}+[\mathbf{12}]^{11}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{12}+[\mathbf{12}]^{21}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}\Big{)}$$

$$\qquad=-\frac{m_{3}}{2\sqrt{2E_{3}}}\langle 12\rangle\langle 23\rangle[\tilde{\zeta}^{+}_{3}1]+\mathcal{O}(m^{3}).$$ (133)

We use momentum conservation $[\tilde{\zeta}^{+}_{3}1]\langle 12\rangle=-[\tilde{\zeta}^{+}_{3}3]\langle 32\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}\langle 23\rangle+\mathcal{O}(m^{2})$. We then multiply by $[31]/[31]$ and use momentum conservation $\langle 23\rangle[31]=\mathcal{O}(m^{2})$ to see that this term vanishes at this order. We find a similar result if we increment the index on particles $1$ or $2$ giving us,

$$\frac{1}{2}\left(\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}+[\mathbf{12}]^{11}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{12}+[\mathbf{12}]^{21}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}\right) = \mathcal{O}(m^{3}),$$ (134)

$$\frac{1}{2}\left(\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{11}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}+[\mathbf{12}]^{11}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{11}+[\mathbf{12}]^{12}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}\right) = \mathcal{O}(m^{3}),$$ (135)

$$\frac{1}{2}\left(\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{21}+\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{11}+[\mathbf{12}]^{11}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{21}+[\mathbf{12}]^{11}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{11}\right) = \mathcal{O}(m^{3}),$$ (136)

agreeing with $\mathcal{A}(0,-1,-1)=\mathcal{A}(-1,0,-1)=\mathcal{A}(-1,-1,0)=0$. To find a nonzero result, we have to increment two indices, either the same one or different ones. Let’s begin by incrementing two different indices, starting with particles $1$ and $2$.

$$\frac{1}{4}\Big{(}\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{11}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{12}+\langle\mathbf{12}\rangle^{22}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{11}$$

$$+[\mathbf{12}]^{11}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{12}+[\mathbf{12}]^{21}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{11}+[\mathbf{12}]^{12}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{12}+[\mathbf{12}]^{22}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{11}\Big{)}$$

$$\displaystyle\qquad=-\frac{m_{2}m_{3}}{4\sqrt{4E_{2}E_{3}}}\langle 12\rangle\langle\zeta^{-}_{2}3\rangle[\tilde{\zeta}^{+}_{3}1]-\frac{m_{2}m_{3}}{4\sqrt{4E_{2}E_{3}}}\langle 1\zeta^{-}_{2}\rangle\langle 23\rangle[\tilde{\zeta}^{+}_{3}1]+\frac{m_{2}m_{3}}{4\sqrt{4E_{2}E_{3}}}[1\tilde{\zeta}^{+}_{2}][2\tilde{\zeta}^{+}_{3}]\langle 31\rangle+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=\frac{m_{2}m_{3}}{4\sqrt{2E_{2}}}\langle 23\rangle\langle\zeta^{-}_{2}3\rangle+\frac{m_{2}m_{3}}{4\sqrt{2E_{3}}}\frac{\langle 23\rangle[23]}{[31]}+\frac{m_{2}m_{3}}{4\sqrt{2E_{3}}}\langle 23\rangle[2\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=-\frac{m_{2}m_{3}}{4}\frac{[12]\langle 23\rangle}{[31]}+\frac{m_{2}m_{3}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=\frac{m_{2}m_{3}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}+\mathcal{O}(m^{3})=\frac{m_{2}m_{3}}{4}\mathcal{A}\left(0,0,-1\right)+\mathcal{O}(m^{3}),$$ (137)

where, for the first round of simplification, we used $[\tilde{\zeta}^{+}_{3}1]\langle 12\rangle=-[\tilde{\zeta}^{+}_{3}3]\langle 32\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}\langle 23\rangle+\mathcal{O}(m^{2})$, we multiplied the middle term by $[31]/[31]$ and used $[31]\langle 1\zeta^{-}_{2}\rangle=-[32]\langle 2\zeta^{-}_{2}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{2}}[23]+\mathcal{O}(m^{2})$, and $\langle 31\rangle[1\tilde{\zeta}^{+}_{2}]=-\langle 32\rangle[2\tilde{\zeta}^{+}_{2}]+\mathcal{O}(m^{2})=\sqrt{2E_{2}}\langle 23\rangle+\mathcal{O}(m^{2})$. For the second round of simplification, we multiplied the first term by $[31]/[31]$ and used $\langle\zeta^{-}_{2}3\rangle[31]=-\langle\zeta^{-}_{2}2\rangle[21]+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}[12]+\mathcal{O}(m^{2})$. The second term contains $\langle 23\rangle[23]=-2p_{2}\cdot p_{3}+\mathcal{O}(m^{2})=-(p_{2}+p_{3})^{2}+\mathcal{O}(m^{2})=-p_{1}^{2}+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$ placing it at higher order. We multiply the third term by $\langle 12\rangle/\langle 12\rangle$ and use $\langle 12\rangle[2\tilde{\zeta}^{+}_{3}]=-\langle 13\rangle[3\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$. For the final round of simplification, we note that $[12]\langle 23\rangle=\mathcal{O}(m^{2})$. We see that this gives us the helicity amplitude for a helicity-$0$ particle $1$ and $2$ and a $-1$-helicity particle $3$, as expected and agrees with Eq. (264). This, of course, is an interaction with two Goldstone bosons. The factor $\mathcal{N}_{2}$ will be determined by an interaction without Goldstones in it, so we wait to determine the coefficient. We can find the case where we increment indices on particles $2$ and $3$ by interchanging $1$ and $3$ and introducing a minus sign on both sides.

$$\frac{1}{4}\Big{(}\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{21}[\mathbf{31}]^{21}+\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{22}[\mathbf{31}]^{11}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{21}+\langle\mathbf{12}\rangle^{12}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{11}+$$

$$\qquad[\mathbf{12}]^{11}[\mathbf{23}]^{21}\langle\mathbf{31}\rangle^{21}+[\mathbf{12}]^{11}[\mathbf{23}]^{22}\langle\mathbf{31}\rangle^{11}+[\mathbf{12}]^{12}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{21}+[\mathbf{12}]^{12}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{11}\Big{)}$$

$$\displaystyle\qquad=\frac{m_{1}m_{2}}{4}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}+\mathcal{O}(m^{3})=\frac{m_{1}m_{2}}{4}\mathcal{A}\left(-1,0,0\right)+\mathcal{O}(m^{3}),$$ (138)

again agreeing with Eq. (264). The case where we increment indices on particles 1 and 3 will require more work.

$$\frac{1}{4}\Big{(}\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{22}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{11}[\mathbf{31}]^{21}+\langle\mathbf{12}\rangle^{11}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{12}+\langle\mathbf{12}\rangle^{21}\langle\mathbf{23}\rangle^{12}[\mathbf{31}]^{11}+$$

$$\qquad[\mathbf{12}]^{11}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{22}+[\mathbf{12}]^{21}[\mathbf{23}]^{11}\langle\mathbf{31}\rangle^{21}+[\mathbf{12}]^{11}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{12}+[\mathbf{12}]^{21}[\mathbf{23}]^{12}\langle\mathbf{31}\rangle^{11}\Big{)}$$

$$\displaystyle\qquad=\frac{1}{4}\left(1-\frac{m_{1}^{2}}{4E_{1}^{2}}-\frac{m_{2}^{2}}{4E_{2}^{2}}-\frac{m_{3}^{2}}{4E_{3}^{2}}\right)\langle 12\rangle\langle 23\rangle[31]-\frac{m_{1}^{2}}{8E_{1}}\langle\zeta^{-}_{1}2\rangle\langle 23\rangle[3\tilde{\zeta}^{+}_{1}]$$

$$\qquad\qquad\displaystyle-\frac{m_{3}^{2}}{8E_{3}}\langle 12\rangle\langle 2\zeta^{-}_{3}\rangle[\tilde{\zeta}^{+}_{3}1]+\frac{m_{2}^{2}}{8E_{2}}[1\tilde{\zeta}^{+}_{2}][\tilde{\zeta}^{+}_{2}3]\langle 31\rangle+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=-\frac{m_{1}^{2}}{4\sqrt{2E_{1}}}\langle\zeta^{-}_{1}2\rangle\langle 12\rangle+\frac{m_{3}^{2}}{4\sqrt{2E_{3}}}\langle 2\zeta^{-}_{3}\rangle\langle 23\rangle-\frac{m_{2}^{2}}{4\sqrt{2E_{2}}}[1\tilde{\zeta}^{+}_{2}]\langle 12\rangle+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=\frac{m_{1}^{2}}{4}\frac{\langle 12\rangle[31]}{[23]}+\frac{m_{3}^{2}}{4}\frac{\langle 23\rangle[31]}{[12]}-\frac{m_{2}^{2}}{4}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}+\mathcal{O}(m^{3})$$

$$\displaystyle\qquad=-\frac{m_{2}^{2}}{4}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}+\mathcal{O}(m^{3})=-\frac{m_{2}^{2}}{4}\mathcal{A}\left(0,-1,0\right)+\mathcal{O}(m^{3}).$$ (139)

In the first round of simplification, we multiply the first term by $[31]/[31]$ and note that both $[31]\langle 12\rangle=\mathcal{O}(m^{2})$ and $\langle 23\rangle[31]=\mathcal{O}(m^{2})$ putting this term at $\mathcal{O}(m^{4})$ and not contributing at this order. For the second term, we used $\langle 23\rangle[3\tilde{\zeta}^{+}_{1}]=-\langle 21\rangle[1\tilde{\zeta}^{+}_{1}]+\mathcal{O}(m^{2})=\sqrt{2E_{1}}\langle 12\rangle+\mathcal{O}(m^{2})$. For the third term, we use $[\tilde{\zeta}^{+}_{3}1]\langle 12\rangle=-[\tilde{\zeta}^{+}_{3}3]\langle 32\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}\langle 23\rangle+\mathcal{O}(m^{2})$. For the fourth term, we use $[\tilde{\zeta}^{+}_{2}3]\langle 31\rangle=-[\tilde{\zeta}^{+}_{2}2]\langle 21\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}\langle 12\rangle+\mathcal{O}(m^{2})$. For the second round of simplifcation, we multiply the first term by $[23]/[23]$ and use $\langle\zeta^{-}_{1}2\rangle[23]=-\langle\zeta^{-}_{1}1\rangle[13]+\mathcal{O}(m^{2})=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$. For the second term, we multiply by $[12]/[12]$ and use $[12]\langle 2\zeta^{-}_{3}\rangle=-[13]\langle 3\zeta^{-}_{3}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{3}}[31]+\mathcal{O}(m^{2})$. For the third term, we multiply by $\langle 31\rangle/\langle 31\rangle$ and use $\langle 31\rangle[1\tilde{\zeta}^{+}_{2}]=-\langle 32\rangle[2\tilde{\zeta}^{+}_{2}]+\mathcal{O}(m^{2})=\sqrt{2E_{2}}\langle 23\rangle+\mathcal{O}(m^{2})$. Finally, in the last simplification, we use that $\langle 12\rangle[31]=\mathcal{O}(m^{2})$and $\langle 23\rangle[31]=\mathcal{O}(m^{2})$ to see that the first two terms are higher order. As usual, we find that our results agrees with the massless vertices given in Eq. (264).

We next increment the same particle’s index twice. We begin by incrementing particle $1$. We obtain,

$$\langle 12\rangle^{21}\langle 23\rangle^{11}[31]^{12}+[12]^{21}[23]^{11}\langle 31\rangle^{12} = -\frac{m_{1}m_{3}}{\sqrt{4E_{1}E_{3}}}\langle\zeta^{-}_{1}2\rangle\langle 23\rangle[\tilde{\zeta}^{+}_{3}1]+\mathcal{O}(m^{3})$$ (140)

$$= -\frac{m_{1}m_{3}}{\sqrt{2E_{3}}}\frac{[31]\langle 23\rangle[\tilde{\zeta}^{+}_{3}1]}{[23]}+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}).$$

We simplified by multiplying by $[23]/[23]$ and using $\langle\zeta^{-}_{1}2\rangle[23]=-\langle\zeta^{-}_{1}1\rangle[13]+\mathcal{O}(m^{2})=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$. Finally, we note that $\langle 23\rangle[31]=\mathcal{O}(m^{2})$ showing us that this is higher order. We must find the contribution for helicities $(+1,-1,-1)$ from a different term. Likewise, we find that if we increment the index on particle $3$ twice, we find,

$$\langle 12\rangle^{11}\langle 23\rangle^{12}[31]^{21}+[12]^{11}[23]^{12}\langle 31\rangle^{21}=\mathcal{O}(m^{3}).$$ (141)

On the other hand, if we increment particle $2$ twice, we obtain,

$$\langle 12\rangle^{12}\langle 23\rangle^{21}[31]^{11}+[12]^{12}[23]^{21}\langle 31\rangle^{11} = \frac{m_{1}m_{3}}{\sqrt{4E_{1}E_{3}}}[\tilde{\zeta}^{+}_{1}2][2\tilde{\zeta}^{+}_{3}]\langle 31\rangle+\mathcal{O}(m^{3})$$ (142)

$$= -m_{1}m_{3}\frac{\langle 31\rangle^{3}}{\langle 23\rangle\langle 12\rangle}+\mathcal{O}(m^{3}).$$

Simplifying the first time involves mutliplying by $\langle 23\rangle/\langle 23\rangle$ and $\langle 12\rangle/\langle 12\rangle$ and using $[\tilde{\zeta}^{+}_{1}2]\langle 23\rangle=-[\tilde{\zeta}^{+}_{1}1]\langle 13\rangle+\mathcal{O}(m^{2})=-\sqrt{2E_{1}}\langle 31\rangle+\mathcal{O}(m^{2})$ and $\langle 12\rangle[2\tilde{\zeta}^{+}_{3}]=-\langle 13\rangle[3\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$. As we can see this result agrees with the massless vertex $\mathcal{A}(-1,+1,-1)$ from Eq. (267).

We next consider incrementing indices three times. We expect to find zero at this order for all these cases since the spins won’t add up to $\pm 1$. We begin by incrementing the index on all three particles once. We obtain,

$$\frac{1}{8}\Big{(}\langle 12\rangle^{11}\langle 23\rangle^{21}[31]^{22}+\langle 12\rangle^{11}\langle 23\rangle^{22}[31]^{12}+\langle 12\rangle^{12}\langle 23\rangle^{11}[31]^{22}+\langle 12\rangle^{12}\langle 23\rangle^{12}[31]^{12}$$

$$\qquad\qquad+\langle 12\rangle^{21}\langle 23\rangle^{21}[31]^{21}+\langle 12\rangle^{21}\langle 23\rangle^{22}[31]^{11}+\langle 12\rangle^{22}\langle 23\rangle^{11}[31]^{21}+\langle 12\rangle^{22}\langle 23\rangle^{12}[31]^{11}+\langle\rangle\leftrightarrow[]\Big{)}$$

$$\displaystyle=\frac{m_{2}}{8\sqrt{2E_{2}}}\langle 12\rangle\langle\zeta^{-}_{2}3\rangle[31]+\frac{m_{2}}{8\sqrt{2E_{2}}}\langle 1\zeta^{-}_{2}\rangle\langle 23\rangle[31]$$

$$\qquad\qquad-\frac{m_{2}}{8\sqrt{2E_{2}}}[1\tilde{\zeta}^{+}_{2}][23]\langle 31\rangle-\frac{m_{2}}{8\sqrt{2E_{2}}}[12][\tilde{\zeta}^{+}_{2}3]\langle 31\rangle+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}),$$ (143)

where the $1/8$ is due to symmetrizing three indices. However, all of these are zero at this order due to momentum conservation such as $[31]\langle 12\rangle=\mathcal{O}(m^{2})$. We next try incrementing the index on particle $1$ twice and another once. For example,

$$\frac{1}{2}\left(\langle 12\rangle^{21}\langle 23\rangle^{21}[31]^{12}+\langle 12\rangle^{22}\langle 23\rangle^{11}[31]^{12}+[12]^{21}[23]^{21}\langle 31\rangle^{12}+[12]^{22}[23]^{11}\langle 31\rangle^{12}\right)=\mathcal{O}(m^{3}),$$ (144)

and,

$$\frac{1}{2}\left(\langle 12\rangle^{21}\langle 23\rangle^{11}[31]^{22}+\langle 12\rangle^{21}\langle 23\rangle^{12}[31]^{12}+[12]^{21}[23]^{11}\langle 31\rangle^{22}+[12]^{21}[23]^{12}\langle 31\rangle^{12}\right)$$

$$\qquad\qquad\displaystyle=\frac{m_{1}}{2\sqrt{2E_{1}}}\langle\zeta^{-}_{1}2\rangle\langle 23\rangle[31]+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}),$$ (145)

where we have used $\langle 23\rangle[31]=\mathcal{O}(m^{2})$. If we increment particle $3$ twice, we find the same results. If we increment particle $2$ twice, we find,

$$\frac{1}{2}\left(\langle 12\rangle^{12}\langle 23\rangle^{21}[31]^{12}+\langle 12\rangle^{22}\langle 23\rangle^{21}[31]^{11}+[12]^{12}[23]^{21}\langle 31\rangle^{12}+[12]^{22}[23]^{21}\langle 31\rangle^{11}\right)$$

$$\qquad\qquad=-\frac{m_{3}}{2\sqrt{2E_{3}}}[12][2\tilde{\zeta}^{+}_{3}]\langle 31\rangle+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}),$$ (146)

$$\frac{1}{2}\left(\langle 12\rangle^{12}\langle 23\rangle^{21}[31]^{21}+\langle 12\rangle^{12}\langle 23\rangle^{22}[31]^{11}+[12]^{12}[23]^{21}\langle 31\rangle^{21}+[12]^{12}[23]^{22}\langle 31\rangle^{11}\right)$$

$$\qquad\qquad=-\frac{m_{1}}{2\sqrt{2E_{1}}}[\tilde{\zeta}^{+}_{1}2][23]\langle 31\rangle+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}),$$ (147)

where we have used $\langle 31\rangle[12]=\mathcal{O}(m^{2})$ and $[23]\langle 31\rangle=\mathcal{O}(m^{2})$.

Next, we increment the indices four times. We begin by incrementing two indices twice. We expect to only find a nonzero result when we increment index $1$ and $3$. For this case we find,

$$\langle 12\rangle^{21}\langle 23\rangle^{12}[31]^{22}+[12]^{21}[23]^{12}\langle 31\rangle^{22} = \frac{m_{1}m_{3}}{\sqrt{4E_{1}E_{3}}}\langle\zeta^{-}_{1}2\rangle\langle 2\zeta^{-}_{3}\rangle[31]+\mathcal{O}(m^{3})$$ (148)

$$= -m_{1}m_{3}\frac{[31]^{3}}{[12][23]}+\mathcal{O}(m^{3}),$$

where we have multiplied by $[23]/[23]$ and $[12]/[12]$ and used $\langle\zeta^{-}_{1}2\rangle[23]=-\langle\zeta^{-}_{1}1\rangle[13]+\mathcal{O}(m^{2})=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$ and $[12]\langle 2\zeta^{-}_{3}\rangle=-[13]\langle 3\zeta^{-}_{3}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{3}}[31]+\mathcal{O}(m^{2})$. This result agrees with $\mathcal{A}(+1,-1,+1)$ given in Eq. (267). We next consider incrementing the indices on particles $1$ and $2$ twice. We find,

$$\langle 12\rangle^{22}\langle 23\rangle^{21}[31]^{12}+[12]^{22}[23]^{21}\langle 31\rangle^{12} = -\frac{m_{1}m_{3}}{\sqrt{4E_{1}E_{3}}}[12][2\tilde{\zeta}^{+}_{3}]\langle 3\zeta^{-}_{1}\rangle+\mathcal{O}(m^{3})=\mathcal{O}(m^{3}).$$ (149)

We have simplified by multiplying by $\langle 12\rangle/\langle 12\rangle$ and used $\langle 12\rangle[2\tilde{\zeta}^{+}_{3}]=-\langle 13\rangle[3\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$. However, we then have $\langle 31\rangle[12]=\mathcal{O}(m^{2})$ putting this at higher order. The same is true for,

$$\langle 12\rangle^{12}\langle 23\rangle^{22}[31]^{21}+[12]^{12}[23]^{22}\langle 31\rangle^{21}=\mathcal{O}(m^{3}).$$ (150)

We have included these results in Table 6. We continue to increment four total times, but now we increment one index twice and the other two once. We expect all of these to be nonzero and contribute to Goldstone interactions. We begin by incrementing the index on particle $2$ twice.

$$\frac{1}{4}\Big{(}\langle 12\rangle^{12}\langle 23\rangle^{21}[31]^{22}+\langle 12\rangle^{12}\langle 23\rangle^{22}[31]^{12}+\langle 12\rangle^{22}\langle 23\rangle^{21}[31]^{21}+\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{11}+\langle\rangle\leftrightarrow[]\Big{)}$$

$$\qquad=\frac{m_{2}^{2}}{8E_{2}}\langle 1\zeta^{-}_{2}\rangle\langle\zeta^{-}_{2}3\rangle[31]-\frac{m_{3}^{2}}{8E_{3}}[12][2\tilde{\zeta}^{+}_{3}]\langle\zeta^{-}_{3}1\rangle+\mathcal{O}(m^{3})=\frac{m_{2}^{2}}{4\sqrt{2E_{2}}}[23]\langle\zeta^{-}_{2}3\rangle+\frac{m_{3}^{2}}{4\sqrt{2E_{3}}}[23][2\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{3})$$

$$\qquad=-\frac{m_{2}^{2}}{4}\frac{[23][12]}{[31]}+\mathcal{O}(m^{3}).$$ (151)

In the first round of simplifications, we used $[31]\langle 1\zeta^{-}_{2}\rangle=-[32]\langle 2\zeta^{-}_{2}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{2}}[23]+\mathcal{O}(m^{2})$ and $\langle\zeta^{-}_{3}1\rangle[12]=-\langle\zeta^{-}_{3}3\rangle[32]+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}[23]+\mathcal{O}(m^{2})$. In the second round of simplifications, we multiply the first term by $[31]/[31]$ and use $\langle\zeta^{-}_{2}3\rangle[31]=-\langle\zeta^{-}_{2}2\rangle[21]+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}[12]$ and we multiply the second term by $\langle 12\rangle/\langle 12\rangle$ and use $\langle 12\rangle[2\tilde{\zeta}^{+}_{3}]=-\langle 13\rangle[3\tilde{\zeta}^{+}_{3}]+\mathcal{O}(m^{2})=\sqrt{2E_{3}}\langle 31\rangle+\mathcal{O}(m^{2})$ and note that $[23]\langle 31\rangle=\mathcal{O}(m^{2})$. We next increment the index on particle $1$ twice.

$$\frac{1}{4}\Big{(}\langle 12\rangle^{21}\langle 23\rangle^{21}[31]^{22}+\langle 12\rangle^{21}\langle 23\rangle^{22}[31]^{12}+\langle 12\rangle^{22}\langle 23\rangle^{11}[31]^{22}+\langle 12\rangle^{22}\langle 23\rangle^{12}[31]^{12}+\langle\rangle\leftrightarrow[]\Big{)}$$

$$\qquad=\frac{m_{1}m_{2}}{4\sqrt{4E_{1}E_{2}}}\langle\zeta^{-}_{1}2\rangle\langle\zeta^{-}_{2}3\rangle[31]+\frac{m_{1}m_{2}}{16E_{1}E_{2}}[12]\langle 23\rangle[31]-\frac{m_{1}m_{2}}{4\sqrt{4E_{1}E_{2}}}[1\tilde{\zeta}^{+}_{2}][23]\langle 3\zeta^{-}_{1}\rangle$$

$$\qquad\qquad-\frac{m_{1}m_{2}}{4\sqrt{4E_{1}E_{2}}}[12][\tilde{\zeta}^{+}_{2}3]\langle 3\zeta^{-}_{1}\rangle+\mathcal{O}(m^{3})$$

$$\qquad=-\frac{m_{1}m_{2}}{4\sqrt{2E_{1}}}[12]\langle\zeta^{-}_{1}2\rangle-\frac{m_{1}m_{2}}{4\sqrt{2E_{2}}}[12][1\tilde{\zeta}^{+}_{2}]+\mathcal{O}(m^{3})=\frac{m_{1}m_{2}}{4}\frac{[12][31]}{[23]}+\mathcal{O}(m^{3}).$$ (152)

In the first round of simplification, we use $\langle\zeta^{-}_{2}3\rangle[31]=-\langle\zeta^{-}_{2}2\rangle[21]+\mathcal{O}(m^{2})=-\sqrt{2E_{2}}[12]+\mathcal{O}(m^{2})$, $[12]\langle 23\rangle=\mathcal{O}(m^{2})$, $[23]\langle 3\zeta^{-}_{1}\rangle=-[21]\langle 1\zeta^{-}_{1}\rangle+\mathcal{O}(m^{2})=\sqrt{2E_{1}}[12]+\mathcal{O}(m^{2})$, and multiply the last term by $\langle 31\rangle/\langle 31\rangle$ and use $[\tilde{\zeta}^{+}_{2}3]\langle 31\rangle=-[\tilde{\zeta}^{+}_{2}2]\langle 21\rangle+\mathcal{O}(m^{2})$ followed by $[12]\langle 21\rangle=\mathcal{O}(m^{2})$. In the second round of simplification, we multiply the first term by $[23]/[23]$ and use $\langle\zeta^{-}_{1}2\rangle[23]=-\langle\zeta^{-}_{1}1\rangle[13]+\mathcal{O}(m^{2})=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$ and multiply the second term by $\langle 31\rangle/\langle 31\rangle$ and use $\langle 31\rangle[1\tilde{\zeta}^{+}_{2}]=-\langle 32\rangle[2\tilde{\zeta}^{+}_{2}]+\mathcal{O}(m^{2})=\sqrt{2E_{2}}\langle 23\rangle+\mathcal{O}(m^{2})$ followed by $[12]\langle 23\rangle=\mathcal{O}(m^{2})$. Similarly we find,

$$\frac{1}{4}\Big{(}\langle 12\rangle^{11}\langle 23\rangle^{22}[31]^{22}+\langle 12\rangle^{12}\langle 23\rangle^{12}[31]^{22}+\langle 12\rangle^{21}\langle 23\rangle^{22}[31]^{21}+\langle 12\rangle^{22}\langle 23\rangle^{12}[31]^{21}+\langle\rangle\leftrightarrow[]\Big{)}$$

$$\qquad\qquad=\frac{m_{2}m_{3}}{4}\frac{[23][31]}{[12]}+\mathcal{O}(m^{3}).$$ (153)

We have included all these results in Table 6.

We now increment the indices five times, leaving only one particle at $0$-helicity. We expect all of these to be zero at this order. We begin with particle $1$ being $0$-helicity and find

$$\frac{1}{2}\Big{(}\langle 12\rangle^{12}\langle 23\rangle^{22}[31]^{22}+\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{21}+[12]^{12}[23]^{22}\langle 31\rangle^{22}+[12]^{22}[23]^{22}\langle 31\rangle^{21}\Big{)}$$

$$\qquad\qquad=\frac{m_{3}}{2\sqrt{2E_{3}}}[12][23]\langle\zeta^{-}_{3}1\rangle+\mathcal{O}(m^{3}).$$ (154)

We use $\langle\zeta^{-}_{3}1\rangle[12]=-\langle\zeta^{-}_{3}3\rangle[32]+\mathcal{O}(m^{2})=-\sqrt{2E_{3}}[23]+\mathcal{O}(m^{2})$. We then multiply by $\langle 31\rangle/\langle 31\rangle$ and note that $[23]\langle 31\rangle=\mathcal{O}(m^{2})$ to see that this term is higher order. The other cases are similar giving us,

$$\frac{1}{2}\left(\langle 12\rangle^{12}\langle 23\rangle^{22}[31]^{22}+\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{21}+[12]^{12}[23]^{22}\langle 31\rangle^{22}+[12]^{22}[23]^{22}\langle 31\rangle^{21}\right) = \mathcal{O}(m^{3}),$$ (155)

$$\frac{1}{2}\left(\langle 12\rangle^{22}\langle 23\rangle^{12}[31]^{22}+\langle 12\rangle^{21}\langle 23\rangle^{22}[31]^{22}+[12]^{22}[23]^{12}\langle 31\rangle^{22}+[12]^{21}[23]^{22}\langle 31\rangle^{22}\right) = \mathcal{O}(m^{3}),$$ (156)

$$\frac{1}{2}\left(\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{12}+\langle 12\rangle^{22}\langle 23\rangle^{21}[31]^{22}+[12]^{22}[23]^{22}\langle 31\rangle^{12}+[12]^{22}[23]^{21}\langle 31\rangle^{22}\right) = \mathcal{O}(m^{3}).$$ (157)

Finally, if we increment six times so that all particles are $1$-spin, we find

$$\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{22}+[12]^{22}[23]^{22}\langle 31\rangle^{22}=\frac{m_{1}m_{3}}{4E_{1}E_{3}}[12][23][31]+\mathcal{O}(m^{3}).$$ (158)

However, multiplying this by $\langle 23\rangle/\langle 23\rangle$ and using $[12]\langle 23\rangle=\mathcal{O}(m^{2})$ shows that this is higher order leaving us with

$$\langle 12\rangle^{22}\langle 23\rangle^{22}[31]^{22}+[12]^{22}[23]^{22}\langle 31\rangle^{22}=\mathcal{O}(m^{3})$$ (159)

All of these results have been included in Table 6.

The other two columns of Table 6 can be filled in using simple symmetry arguments. We will just focus on the non-zero terms, since the zeros in the other two columns are straight-forward to see. For the nonzero terms, we simply rotate the particles once or twice. We begin by considering $1\to 2\to 3\to 1$. In this case,

$$\langle\mathbf{12}\rangle\langle\mathbf{23}\rangle[\mathbf{31}]\to[\mathbf{12}]\langle\mathbf{23}\rangle\langle\mathbf{31}].$$ (160)

Next, if we look at the first non-zero entry in the first column, we find,

$$\frac{m_{2}m_{3}}{4}\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle}\to\frac{m_{1}m_{3}}{4}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}.$$ (161)

We also need to keep in mind that the helicities of the particles also rotate, so we have spins $(0,0,-1)$ goes to $(-1,0,0)$. This makes sense since this is the massless result for $\mathcal{A}(-1,0,0)$, so we add this to the table. The other Goldstone interactions are similar and we have entered them all in Table 6. We will also do a non-Goldstone term. We find,

$$-m_{1}m_{3}\frac{\langle 31\rangle^{3}}{\langle 12\rangle\langle 23\rangle}\to-m_{1}m_{2}\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}$$ (162)

and the helicities $(-1,+1,-1)$ goes to $(-1,-1,+1)$.

Now that we have calculated the high-energy limit for all the terms, we must determine the normalization coefficients $\mathcal{N}_{2},\mathcal{N}_{3}$ and $\mathcal{N}_{4}$. As usual, we will do this using the non-Goldstone terms so that the interactions with all helicities being $\pm 1$ should be continuous in the massless limit. We see from Table 6 that we should choose,

$$\mathcal{N}_{1}=-\frac{1}{m_{1}m_{3}},\quad\mathcal{N}_{2}=-\frac{1}{m_{2}m_{3}}\quad\mbox{and}\quad\mathcal{N}_{3}=-\frac{1}{m_{1}m_{2}}.$$ (163)

For the high-energy limit of the Goldstone boson terms, we must take the masses to zero at the same rate. Taking these coefficients into account, we have added these vertices to Table 4 for the $WWZ$ vertex. We find all the massless interactions accounted for including both with $\pm 1$-helicity bosons by themselves and with Goldstone bosons and agree with the vertices in Eqs. (267) and (264).

One may wonder where the Goldstone interactions are that include two particles of $\pm 1$-helicity or the interactions with all helicity-$0$ particles. We expect that these are higher order in the expansion. In both cases, there are not any combinations of helicity spinors that give the right transformation properties and the right mass dimension of $1$. But, both these become possible when the mass dimension of the vertex is shared between the helicity-spinors and the masses of the particles. We leave these interactions, which are outside the scope of the present paper, to a future work.

IV.3 The Higgs Couplings

In this section, we work out the final vertices, those of the $0$-spin Higgs boson. We begin with the interaction with massive fermions. We will take the Higgs boson as the third particle. This vertex will contain one spin-spinor of either type for particle $1$ and the same for particle $2$. We have only one possibility for this vertex. It is,

$$\langle\mathbf{12}\rangle+[\mathbf{12}]=\left(\begin{array}[]{cc}\langle 12\rangle&0\\ 0&[12]\end{array}\right)+\mathcal{O}(m_{f}).$$ (164)

The top-left term corresponds with both the fermion and anti-fermion having $-1/2$-helicity while the bottom-right term is for when they both have $+1/2$-helicity. We have included this vertex in Table 5.

We next consider the vertex with two $1$-spin bosons, appropriate to the interactions with $W$ and $Z$-boson. Each of particle $1$ and $2$ have two spin-spinors of either type. They cannot be contracted with each other, so we must contract them with spin-spinors for the other particle. Therefore, this vertex is,

$$\mathcal{N}_{1}\langle\mathbf{12}\rangle[\mathbf{12}]+\mathcal{N}_{2}\left(\langle\mathbf{12}\rangle\langle\mathbf{12}\rangle+[\mathbf{12}][\mathbf{12}]\right),$$ (165)

where $\mathcal{N}_{1}$ and $\mathcal{N}_{2}$ are unrelated to the normalization constants of previous sections and have inverse mass dimension of $1$. Since these terms have two indices, they can be written in matrix form. We use Eqs. (245) and (248) and keep terms to linear order in the masses.

$$\langle\mathbf{12}\rangle[\mathbf{12}]=\left[\begin{array}[]{ccc}\displaystyle 0&\displaystyle-\frac{m_{1}}{2\sqrt{2E_{1}}}\langle 12\rangle[\tilde{\zeta}_{1}^{+}2]&\displaystyle 0\\ \displaystyle-\frac{m_{2}}{2\sqrt{2E_{2}}}\langle 12\rangle[1\tilde{\zeta}_{2}^{+}]&\displaystyle\langle 12\rangle[12]&\displaystyle\frac{m_{2}}{2\sqrt{2E_{2}}}[12]\langle 1\zeta_{2}^{-}\rangle\\ \displaystyle 0&\displaystyle\frac{m_{1}}{2\sqrt{2E_{1}}}[12]\langle\zeta_{1}^{-}2\rangle&\displaystyle 0\end{array}\right]+\mathcal{O}(m^{2}).$$ (166)

The center term is $-2p_{1}\cdot p_{2}+\mathcal{O}(m^{2})$. We see that this is $-2p_{1}\cdot p_{2}=-(p_{1}+p_{2})^{2}+\mathcal{O}(m^{2})=-p_{3}^{2}+\mathcal{O}(m^{2})=\mathcal{O}(m^{2})$ and so does not contribute at this order. We next focus on the left entry. We multiply it by $\langle 31\rangle/\langle 31\rangle$ and use $\langle 31\rangle[1\tilde{\zeta}_{2}^{+}]=\sqrt{2E_{2}}\langle 23\rangle+\mathcal{O}(m^{2})$. We multiply the right term by $[31]/[31]$ and use $[31]\langle 1\zeta_{2}^{-}\rangle=\sqrt{2E_{2}}[23]+\mathcal{O}(m^{2})$. Next, we multiply the top term by $\langle 23\rangle/\langle 23\rangle$ and use $[\tilde{\zeta}_{1}^{+}2]\langle 23\rangle=-\sqrt{2E_{1}}\langle 31\rangle+\mathcal{O}(m^{2})$. We multiply the bottom term by $[23]/[23]$ and use $\langle\zeta_{1}^{-}2\rangle[23]=-\sqrt{2E_{1}}[31]+\mathcal{O}(m^{2})$. All together we have,

$$\langle\mathbf{12}\rangle[\mathbf{12}]=\left[\begin{array}[]{ccc}\displaystyle 0&\displaystyle\frac{m_{1}}{2}\frac{\langle 12\rangle\langle 31\rangle}{\langle 23\rangle}&0\\ \displaystyle-\frac{m_{2}}{2}\frac{\langle 12\rangle\langle 23\rangle}{\langle 31\rangle}&\displaystyle 0&\displaystyle\frac{m_{2}}{2}\frac{[12][23]}{[31]}\\ \displaystyle 0&\displaystyle-\frac{m_{1}}{2}\frac{[12][31]}{[23]}&0\end{array}\right]+\mathcal{O}(m^{2}).$$ (167)

We see that in all these terms, particle $3$ has helicity-$0$, as it must. In the center row, we see that particle $1$ is also helicity-$0$. It is a Goldstone boson. Particle $2$ is a $-1$-helicity particle in the left column and a $+1$-helicity particle in the right column. The middle column is the opposite case. Particle $2$ is a helicity-$0$ Goldstone boson while particle $1$ has $-1$-helicity in the top row and $+1$-helicity in the bottom row. As before, these agree with the massless vertices, $\mathcal{A}(0,\pm 1,0)$ in the center row and $\mathcal{A}(\pm 1,0,0)$ in the middle column, as given in the appendix.

It is not clear what $\mathcal{N}_{1}$ should be here. But, we suspect it should be either the Higgs mass or the vacuum expectation value $v$ for the Higgs. We will take the latter, $\mathcal{N}_{1}=1/v$. Since the masses are present only when $v\neq 0$, we do not expect these terms to be continuous unless we take both the mass and $v$ to zero simultaneously.

Next, we consider,

$$\langle\mathbf{12}\rangle\langle\mathbf{12}\rangle=\left[\begin{array}[]{ccc}\displaystyle\langle 12\rangle^{2}&\displaystyle\frac{m_{2}}{\sqrt{2E_{2}}}\langle 12\rangle\langle 1\zeta_{2}^{-}\rangle&\displaystyle 0\\ \displaystyle\frac{m_{1}}{\sqrt{2E_{1}}}\langle 12\rangle\langle\zeta_{1}^{-}2\rangle&\displaystyle 0&0\\ \displaystyle 0&0&0\end{array}\right]+\mathcal{O}(m^{2})$$ (168)

We multiply the top-left term by $[23]/[23]$ and see that it is zero at this order. We multiply the top-middle term by $[31]/[31]$ and use $[31]\langle 1\zeta_{2}^{-}\rangle=\sqrt{2E_{2}}[23]+\mathcal{O}(m^{2})$. We follow this with $\langle 12\rangle[23]=\mathcal{O}(m^{2})$ to see that none of these terms contribute at this order,

$$\langle\mathbf{12}\rangle\langle\mathbf{12}\rangle=\mathcal{O}(m^{2}).$$ (169)

The same is true if we interchange angle and square brackets,

$$[\mathbf{12}][\mathbf{12}]=\mathcal{O}(m^{2}).$$ (170)

So, $\mathcal{N}_{2}$ appears to be unconstrained by the high-energy limit, at least at this order. We have included this vertex in Table 5.

There are no fundamental constructive $3$-point vertices with two Higgs and one $Z$-boson because it would involve two spin-spinors for the $Z$-boson and nothing else. They would have to be contracted with each other resulting in an antisymmetry in their SU($2$) index, which is symmetrized.

We are left with only a vertex with all Higgs bosons. Of course, since there are no spinors to work with, this vertex is simply a constant. We have included this vertex in Table 5.

V Conclusion

In this paper, we have constructed the full set of minimal $3$-point vertices for the massive SM using only the symmetry properties of the S-Matrix, the mass dimension and the high-energy behavior. We have done this in terms of on-shell particles without any recourse to fields or their gauge redundancies. A powerful feature of this constructive approach is that the gravitational vertices are no more complicated than the other SM vertices and, so, we have included them as well. In this section, we will first summarize some of our results. We will follow this with a discussion of some of the open questions and possible future directions for research.

In Sec. I, we considered $3$-point vertices with one massless particle and two massive particles, appropriate to the QED, QCD and gravitational vertices. Since these vertices only include one linearly independent helicity spinor, we followed Arkani-Hamed:2017jhn by introducing the $x$ factor in Eq. (2), which we used to construct the vertices for positive helicity. We found it convenient to also introduce a $\tilde{x}$ factor in Eq. (3), which gave a more minimal and convenient form for the negative helicity vertices. We then gave the vertex for a $+1$-helicity and $-1$-helicity particle interacting with two massive $1/2$-spin fermions in Eqs. (11) and (17), respectively. These vertices were applicable to the interactions of a photon with charged fermions as well as a gluon with quarks. We worked out the high-energy behavior of both of these, given in Eqs. (15) and (18), respectively, and showed that they agreed with the massless vertices given in Eq. (266). After finishing with the $1/2$-spin fermions, we went on to consider the interactions of a photon with two $1$-spin $W$-bosons. We gave the vertices for $+1$-helicity and $-1$-helicity photons in Eqs. (20) and (23), respectively, and again worked out their high-energy behavior in Eqs. (21) and (27), showing that they also agreed with the massless vertices given in Eq. (267). We further collect all these QED and QCD vertices, along with their high-energy behavior, in Tables 1 and 2, respectively. Finally, although the gravitational vertices are typically considered outside the scope of the SM, we show that in this constructive formalism, they are equally simple as all the other SM vertices. We begin with the interactions with a $1/2$-spin fermion. We give the vertices for a $+2$-helicity and $-2$-helicity graviton in Eq. (32), and work out their high-energy behavior in Eqs. (35) and (39), respectively, showing that they agreed with the massless vertices given in Eq. (269). For $1$-spin bosons, we give the vertices for $+2$-helicity and $-2$-helicity in Eq. (43), with their high-energy limit in Eqs. (47) and (55), respectively, agreeing with the massless vertices in Eq. (270). We also consider the gravitational interaction of the Higgs. In Eq. (60), we give the Higgs interaction with a $+2$-helicity graviton and its high-energy behavior in Eq. (62). In Eq. (63), we give the interaction with a $-2$-helicity graviton, together with its high-energy behavior. In both cases, we note that the high-energy behavior agrees with the massless vertices given in Eq. (268). We collect all the gravitational vertices, along with their high-energy behavior, in Table 3. Again, we comment on how impressive it is that such a simple structure spans such a large subset of the SM. It covers all the QED, QCD and gravitational vertices.

Although the previous structure covered an impressive fraction of the SM, it did not cover everything. The next vertex structure we consider is that of two massless particles and one massive particle, covering the weak interaction of the $Z$-boson and the neutrinos. We give the vertex for a $-1/2$-helicity neutrino and a $+1/2$-helicity anti-neutrino in Eq. (64), followed by its high-energy behavior in Eq. (66), which agrees with the all-massless vertex given in Eq. (266). Notwithstanding the fact that we know the neutrinos have a mass, we do not yet have a complete, verified theory of neutrino masses. Therefore, we do not consider massive neutrinos in this paper. However, adding massive neutrinos when the right-chiral sector is understood, should not be difficult. We have included these neutrino interactions, along with their high-energy behavior, in Table 4.

In Sec. III, we turn our attention to vertices with one massless and two massive particles, where the masses are different, which will apply to the $W$-boson interaction with leptons. Unlike the previous cases, this vertex structure is not uniquely determined by the symmetry and mass dimension alone. There are two structures that must be considered as given in Eq. (83) for the $+1/2$-helicity anti-neutrino and in Eq. (84) for the $-1/2$-helicity neutrino. In an attempt to uniquely resolve these structures, we look at each of their high-energy behaviors. We find that one of the two structures vanishes in the high-energy limit (its leading-order behavior is $m/E$) in Eq. (84). As a result, the coefficient of this term cannot be determined by a comparison with massless vertices. This poses a challenge for this constructive method since this term cannot currently be determined solely based on symmetry, dimension and high-energy behavior, without considering field theory or Feynman vertices. We consider the determination of this coefficient an open problem. On the other hand, the other structure does have a nonzero high-energy limit, which we show in Eqs. (89) for the anti-neutrino and (90) for the neutrino. Both of these agree with the massless vertices given in Eq. (265) for the Goldstone boson and Eq. (266) for the $\pm 1$-helicity boson. We include these vertices, along with their high-energy behavior in Table 4.

There is one important case left, the vertex with three massive particles, and we attack this in Sec. IV. In Subsec. IV.1, we consider the case of two $1/2$-spin fermions and one $1$-spin boson, appropriate to the interactions of the $Z$-boson and fermions as well as the $W$-boson and quarks. As in the previous section, we find that there are two independent structures that must be considered, as seen in Eq. (95). Also, as in the previous section, we find that one of the structures vanishes in the high-energy limit, as seen in Eqs. (115), (118), (119) and (122) , and therefore, its coefficient cannot be determined from the structure of the massless vertices. On the other hand, the other structure does have a nonzero high-energy limit, as we show in Eqs. (98), (101), (105), (109), (111) and (113). All of these agree with the massless vertices given in Eq. (265) for the Goldstone boson interaction and Eq. (266) for the $\pm 1$-helicity interaction. We include these vertices along with their high-energy limit in Table 4. We next move onto Subsection IV.2, where we consider the interactions of three $1$-spin bosons, applicable to the interaction of a $Z$-boson and two $W$-bosons. This vertex has the greatest ambiguity with four independent terms, as shown in Eq. (124). We find that the first of these vanishes at high energy in Eq. (126) and so its coefficient is not determined by the massless vertices. However, the other three have nonzero terms at high energy. We display these high-energy limits in Table 6. We find that the high-energy limit of these corresponds with the massless vertices given in Eq. (264) for the Goldstone boson interactions and Eq. (267) for the pure $\pm 1$-helicity boson interactions, as we expect. We have also included this vertex and its high-energy behavior in Table 4.

In the last subsection, Subsection IV.3, we consider the interactions of the Higgs boson, a $0$-spin particle. We begin with its interaction with $1/2$-spin fermions. This vertex, along with its high-energy limit, is given in Eq. (164) and agrees with the massless vertex in Eq. (265). We then consider the Higgs interaction with $1$-spin bosons, such as the $W$ and $Z$-bosons. This $3$-point vertex is given in Eq. (165) and has two independent terms that should be determined. We find the high-energy limit of the first term in Eq. (167) and find that it agrees with the massless vertices in Eq. (264). The other term, on the other hand, vanishes in the high-energy limit, as seen in Eqs. (169) and (170), and so is unconstrained by the massless vertices. We have included all these Higgs vertices in Table 5.

Although we have been able to construct an incredible fraction of the minimal SM by simply considering the symmetry, mass dimensions and high-energy limit of the S-Matrix, several open questions remain. First of all, although the majority of the minimal $3$-point vertices were uniquely determined by considering the high-energy limit and comparing to the massless vertices, there were a few terms that vanished in this limit, and are therefore, currently left ambiguous. One could determine these by comparing with Feynman vertices, but that goes against the spirit of the constructive approach. We could also compare with experiment, but we wonder if there is something more fundamental to guide us. At this point, we do not know.

In this paper, we have also only considered the 3-point vertices, but it is well known that some theories, such as $0$-spin theories, also have $4$-point “contact” vertices that must be included when calculating $4$-point amplitudes and beyond. This is beyond the scope of the present paper, but we intend to include it in a later work. It remains to be seen whether they can all be determined based purely on the properties of the S-matrix, including analyticity and unitarity, or whether comparison with Feynman diagrams must be done in order to successfully construct all of the vertices of a given theory. However, our expectation is that the perturbative unitarity of $2\to 2$ scattering will either require the presence of or require the absence of 4-point contact terms for most particle combinations. For those processes where the contact term is required, we expect that the high-energy limit of the contact term along with its required cancellation of the high-energy growth in that process will determine which form it should take, much as the high-energy limit of the 3-point amplitudes fixed the couplings of most of the vertices in this paper. For those processes where the contact term is not required but, nevertheless, is allowed, we expect the coupling to be a free parameter. We expect the Higgs’ 4-point amplitude to fall under this latter scenario.

Although Arkani-Hamed:2017jhn have shown how to combine these $3$-point vertices together with on-shell propagators to form $4$-point amplitudes, it is still unclear what the general BCFW-like rule is for constructing higher-point amplitudes in complete generality. We need a consistent set of rules that can be followed to calculate any amplitude with any number of particles. We do not yet know what that rule is. Presumably, it has something in common with the BCFW rules. Moreover, a consistent set of rules for constructing amplitudes with any number of loops still needs to be worked out. We envision that in the near future, the tools to construct any particle theory and calculate any scattering amplitude, in complete generality, without any direct influence by fields or gauge symmetries and their inherent redundancies will be a realistic option for high-energy physicists.

Once an amplitude is worked out, it must be appropriately squared and summed (or averaged) over the spins in order to obtain a desired decay rate or scattering cross-section. It appears to us that after multiplying by the conjugate and summing over spins, we will find pieces like $|\mathbf{i}\rangle_{\alpha}^{J}[\mathbf{i}|_{\dot{\beta}J}$ which we will replace with the momentum matrix $p_{\alpha\dot{\beta}}$. This will create chains of 2x2 matrices that are traced similar to gamma matrices in Feynman diagrams, but only 2 dimensional. This appears to be straight forward to us, but needs to be worked out in detail. We intend to do this in an upcoming work. Of course, the helicity amplitudes could also be numerically calculated for each helicity, and only afterwards squared and added together. Presumably, there will be situations where each is advantageous.

VI Acknowledgements

We would like to thank Nima Arkani-Hamed for answering our questions about Arkani-Hamed:2017jhn during the early stages of this work.

Appendix A Conventions

In this appendix, we state our full set of conventions and work out some important results that are used throughout this paper. Our conventions are the same as those in Arkani-Hamed:2017jhn . We use the mostly negative metric so that $p^{2}=m^{2}$. The SL(2,$\mathbb{C}$) indices are raised and lowered with,

$$\epsilon_{\alpha\beta}=-\epsilon^{\alpha\beta}=\epsilon_{\dot{\alpha}\dot{\beta}}=-\epsilon^{\dot{\alpha}\dot{\beta}}=\left(\begin{array}[]{cc}0&-1\\ 1&0\end{array}\right).$$ (171)

The momenta are written with SL(2,$\mathbb{C}$) indices as,

$$p_{\alpha\dot{\beta}}=\left(\begin{array}[]{cc}p^{0}+p^{3}&p^{1}-ip^{2}\\ p^{1}+ip^{2}&p^{0}-p^{3}\end{array}\right),$$ (172)

$$p^{\dot{\alpha}\beta}=\left(\begin{array}[]{cc}p^{0}-p^{3}&-p^{1}+ip^{2}\\ -p^{1}-ip^{2}&p^{0}+p^{3}\end{array}\right),$$ (173)

where the determinant of both of these satisfies,

$$\det(p_{\alpha\dot{\beta}})=\det(p^{\dot{\alpha}\beta})=p^{2}=m^{2}.$$ (174)

Next, we state the properties of our spin-spinors [representations of SU(2)$\times$SL(2,$\mathbb{C}$)]. To simplify our discussion, we will only use the angle- and square-bracket notation rather than introducing them along with $\lambda$ and $\tilde{\lambda}$. We hope this will make it easier for the reader to keep track of the calculations and not have to switch back and forth between the two. Explicitly, we can write our momentum fully in terms of our spin-spinors as,

$$p_{i\alpha\dot{\beta}} = \epsilon_{IJ}|\mathbf{i}\rangle_{\alpha}^{I}[\mathbf{i}|_{\dot{\beta}}^{J},$$ (175)

for the momentum of particle $i$, where the greek letters represent the SL($2,\mathbb{C}$) indices and the capital latin letters represent the SU($2$) little group indices. In the massless limit, this definition holds if we unbold the $\mathbf{i}$ and drop the SU($2$) index. The momentum would become rank $1$ and these spin-spinors become helicity spinors, as we will shortly see.

We normally suppress these indices except when they are needed for clarity. Instead, we rely on the type and direction of the brackets to determine the type and position of the SL($2,\mathbb{C}$) indices. So,

$$|\mathbf{i}\rangle := |\mathbf{i}\rangle_{\alpha}^{I},\qquad\langle\mathbf{i}|:=\langle\mathbf{i}|^{\alpha I},$$ (176)

$$|\mathbf{i}] := |\mathbf{i}]^{\dot{\alpha}I},\qquad[\mathbf{i}|:=[\mathbf{i}|_{\dot{\alpha}}^{I},$$ (177)

where we have used $\alpha$ and $I$ as examples of the above indices. They are, of course, unique to each product. In the amplitudes we discuss, the SU($2$) indices are never contracted but are fully symmetrized. The SL($2,\mathbb{C}$) indices, on the other hand, are always fully contracted in amplitudes making SL($2,\mathbb{C}$) invariant objects that still transform under the little group as our constructed amplitudes must. With this notation, the indices can always be put back in afterwards. To completely illustrate our sample calculations, it is helpful to have explicit examples for clarity. So, we give a few here, for instance,

$$\langle\mathbf{ij}\rangle=\langle\mathbf{i}|^{\alpha I}|\mathbf{j}\rangle_{\alpha}^{J},\qquad[\mathbf{ij}]=[\mathbf{i}|_{\dot{\alpha}}^{I}|\mathbf{j}]^{\dot{\alpha}J},$$ (178)

where the $I$ and $J$ would be symmetrized if they corresponded with the same particle ($i=j$). Here, we also see the usual convention that we can sum descending undotted indices and ascending dotted ones, which are then usually suppressed. Another example with a momentum sandwiched in between is given by,

$$\langle\mathbf{i}|p_{k}|\mathbf{j}] = \langle\mathbf{i}|^{\alpha I}p_{k\alpha\dot{\beta}}|\mathbf{j}]^{\dot{\beta}J},$$ (179)

$$[\mathbf{i}|p_{k}|\mathbf{j}\rangle = [\mathbf{i}|_{\dot{\alpha}}^{I}p_{k}^{\dot{\alpha}\beta}|\mathbf{j}\rangle_{\beta}^{J}.$$ (180)

One more example with two momenta should be sufficient to illustrate all our needed properties (additional properties of two-component spinors are cataloged in Ref Dreiner:2008tw ),

$$\langle\mathbf{i}|p_{k}p_{l}|\mathbf{j}\rangle = \langle\mathbf{i}|^{\alpha I}p_{k\alpha\dot{\beta}}p_{l}^{\dot{\beta}\omega}|\mathbf{j}\rangle_{\omega}^{J},$$ (181)

$$[\mathbf{i}|p_{k}p_{l}|\mathbf{j}] = [\mathbf{i}|_{\dot{\alpha}}^{I}p_{k}^{\dot{\alpha}\beta}p_{l\beta\dot{\omega}}|\mathbf{j}]^{\dot{\omega}J}.$$ (182)

At times we will want to switch the order of the momenta. This can be done using the Clifford algebra property of the Pauli matrices but can also be worked out explicitly with the matrices given in Eqs. (172) and (173) resulting in,

$$p_{k}^{\dot{\alpha}\beta}p_{l\beta\dot{\omega}}+p_{l}^{\dot{\alpha}\beta}p_{k\beta\dot{\omega}} = 2p_{k}\cdot p_{l}\delta^{\dot{\alpha}}_{\dot{\omega}}\,,$$ (183)

$$p_{k\alpha\dot{\beta}}p_{l}^{\dot{\beta}\omega}+p_{l\alpha\dot{\beta}}p_{k}^{\dot{\beta}\omega} = 2p_{k}\cdot p_{l}\delta_{\alpha}^{\omega}\,,$$ (184)

which are very convenient when we simplify amplitudes.

Now that we understand the implicit indices, we can discuss a few more properties of these spinors. When they represent massive particles, they satisfy the usual Dirac property,

$$\langle\mathbf{i}|p_{i} = m_{i}[\mathbf{i}|,$$ (185)

$$p_{i}|\mathbf{i}] = -m_{i}|\mathbf{i}\rangle.$$ (186)

These can be solved for a standard momentum and then boosted into other reference frames. The standard form given in Arkani-Hamed:2017jhn is,

$$|\mathbf{i}\rangle_{\alpha}^{I} = \sqrt{E+p}\;\zeta_{\alpha}^{+}(p)\;\zeta^{-I}(k)+\sqrt{E-p}\;\zeta_{\alpha}^{-}(p)\;\zeta^{+I}(k),$$ (187)

$$[\mathbf{i}|_{\dot{\alpha}I} = \sqrt{E+p}\;\tilde{\zeta}_{\dot{\alpha}}^{-}(p)\;\zeta^{+}_{I}(k)+\sqrt{E-p}\;\tilde{\zeta}_{\dot{\alpha}}^{+}(p)\;\zeta^{-}_{I}(k),$$ (188)

where $E$ and $p$ are the energy and momentum of the $i$th particle and,

$$\zeta_{\alpha}^{+}(p)=\left(\begin{array}[]{c}c\\ s\end{array}\right), \tilde{\zeta}_{\dot{\alpha}}^{-}(p)=\left(\begin{array}[]{c}c\\ s^{*}\end{array}\right),$$ (193)

$$\zeta_{\alpha}^{-}(p)=\left(\begin{array}[]{c}-s^{*}\\ c\end{array}\right), \tilde{\zeta}_{\dot{\alpha}}^{+}(p)=\left(\begin{array}[]{c}-s\\ c\end{array}\right),$$ (198)

with,

$$c\equiv\cos\left(\frac{\theta}{2}\right),\quad s\equiv\sin\left(\frac{\theta}{2}\right)e^{i\phi},$$ (199)

where $\theta$ is the polar angle and $\phi$ is the azimuthal angle. Plugging these definitions in, we obtain,

$$|\mathbf{i}\rangle^{I}_{\alpha} = \left(\begin{array}[]{cc}\sqrt{E+p}\ c&-\sqrt{E-p}\ s^{*}\\ \sqrt{E+p}\ s&\sqrt{E-p}\ c\end{array}\right),$$ (202)

$$[\mathbf{i}|_{\dot{\alpha}I} = \left(\begin{array}[]{cc}\sqrt{E+p}\ c&-\sqrt{E-p}\ s\\ \sqrt{E+p}\ s^{*}&\sqrt{E-p}\ c\end{array}\right),$$ (205)

where the SU($2$) index $I$ gives the column and the SL($2,\mathbb{C}$) indices $\alpha$ and $\dot{\alpha}$ give the row. We can check that the product of these gives the momentum. Indeed,

$$|\mathbf{j}\rangle^{I}_{\alpha}[\mathbf{j}|_{\dot{\beta}I} = \left(\begin{array}[]{cc}E_{j}+p_{j}\cos\theta_{j}&p_{j}\sin\theta_{j}e^{-i\phi_{j}}\\ p_{j}\sin\theta_{j}e^{i\phi_{j}}&E_{j}-p_{j}\cos\theta_{j}\end{array}\right)$$ (208)

$$= \left(\begin{array}[]{cc}E_{j}+p_{jz}&p_{jx}-ip_{jy}\\ p_{jx}+ip_{jy}&E_{j}-p_{jz}\end{array}\right)$$ (211)

$$= \left(\begin{array}[]{cc}p^{0}+p^{3}&p^{1}-ip^{2}\\ p^{1}+ip^{2}&p^{0}-p^{3}\end{array}\right)\equiv p_{\alpha\dot{\beta}},$$ (214)

of particle $j$.

Before we can explicitly calculate other expressions, we must explicitly define our convention for raising and lowering indices using the $\epsilon$-tensors. For example, there is a sign difference whether we define raising the spin index using $\epsilon^{\alpha\beta}|\mathbf{j}\rangle_{\alpha}^{I}$ or $\epsilon^{\beta\alpha}|\mathbf{j}\rangle_{\alpha}^{I}$. In order to have a helpful mnemonic to remember the convention, we will do it in the order that we would expect from matrix operations. That is, we will define,

$$\langle\mathbf{i}|^{\alpha I} = \epsilon^{\alpha\beta}|\mathbf{i}\rangle_{\beta}^{I},\qquad|\mathbf{i}\rangle_{\alpha I}=|\mathbf{i}\rangle_{\alpha}^{J}\epsilon_{JI},$$ (215)

$$|\mathbf{i}]^{\dot{\alpha}}_{I} = \epsilon^{\dot{\alpha}\dot{\beta}}[\mathbf{i}|_{\dot{\beta}I},\qquad[\mathbf{i}|_{\dot{\alpha}}^{I}=[\mathbf{i}|_{\dot{\alpha}J}\epsilon^{JI},$$ (216)

and so on. This should remove any ambiguity from our calculations.

With these definitions, we also find the following useful identities,

$$|\mathbf{i}]_{I}^{\dot{\alpha}}\langle\mathbf{i}|^{\alpha I} = p^{\dot{\alpha}\alpha},$$ (217)

$$\langle\mathbf{jj}\rangle^{IK} = -m_{j}\epsilon^{IK},$$ (218)

$$[\mathbf{jj}]_{IK} = -m_{j}\epsilon_{IK},$$ (219)

leading to,

$$\langle\mathbf{j}|^{\alpha K}p_{j\alpha\dot{\alpha}} =\langle\mathbf{jj}\rangle^{KI}[\mathbf{j}|_{\dot{\alpha}I}= m_{j}[\mathbf{j}|_{\dot{\alpha}}^{K},$$ (220)

$$p_{j\alpha\dot{\alpha}}|\mathbf{j}]^{\dot{\alpha}}_{K} =|\mathbf{j}\rangle_{\alpha}^{I}[\mathbf{jj}]_{IK}= -m_{j}|\mathbf{j}\rangle_{\alpha K},$$ (221)

which agrees with Eqs. (185) and (186). Finally, we find,

$$p_{j}^{\dot{\alpha}\alpha}|\mathbf{j}\rangle_{\alpha}^{K} =|\mathbf{j}]_{I}^{\dot{\alpha}}\langle\mathbf{jj}\rangle^{IK} =-m_{j}|\mathbf{j}]^{\alpha K},$$ (222)

$$[\mathbf{j}|_{\dot{\alpha}K}p_{j}^{\dot{\alpha}\alpha} =[\mathbf{jj}]_{KI}\langle\mathbf{j}|^{\alpha I} =m_{j}\langle\mathbf{j}|_{K}^{\alpha},$$ (223)

which can be written more minimally with our implicit index structure as,

$$p_{j}|\mathbf{j}\rangle = -m_{j}|\mathbf{j}],$$ (224)

$$[\mathbf{j}|p_{j} = +m_{j}\langle\mathbf{j}|,$$ (225)

where it is understood that the SU($2$) index is at the same height on both sides of the equation. So, now we have a mnemonic for remembering where the signs are. When a momentum acts on an angle or square bracket from the left, we find a minus sign. When a momentum acts on either bracket from the right, we find a plus sign.

We take all particles as in-going, so momentum conservation is given by $\sum p_{i}=0$.

A.1 High-Energy Limit

We would now like to consider the high-energy limit of the conventions in this appendix and how to find the massless limit of the amplitudes calculated within this scheme. We first note that the determinant of these matrices are identically zero (in the massless limit). Because of this, they are rank 1 and now their construction only requires one independent spinor. Looking back at Eqs. (202) and (205), we see that we can simply use the first column of these matrices in this limit giving us the helicity-spinors,

$$|i\rangle_{\alpha}=\sqrt{2E}\left(\begin{array}[]{c}c\\ s\end{array}\right),\qquad[i|_{\dot{\alpha}}=\sqrt{2E}\left(\begin{array}[]{c}c\\ s^{*}\end{array}\right),$$ (226)

where we have removed the bold from the $i$ to signify that these are helicity-spinors rather than spin-spinors, and therefore, we do not require a spin index. The massless momentum is now simply given by,

$$p_{i\alpha\dot{\beta}}=|i\rangle_{\alpha}[i|_{\dot{\beta}}.$$ (227)

When we use all of our above properties and some trigonometry, we find,

$$p_{i\alpha\dot{\beta}}=E_{i}\left(\begin{array}[]{cc}1+\cos\theta_{i}&\sin\theta_{i}e^{-i\phi_{i}}\\ \sin\theta_{i}e^{i\phi_{i}}&1-\cos\theta_{i}\end{array}\right),$$ (228)

as expected. We also find,

$$\langle ij\rangle[ji]=2p_{i}\cdot p_{j}.$$ (229)

Therefore, we see that, by defining these helicity-spinors to be the massless limit of the massive spin-spinors, we sometimes only need unbold the spin-spinors (dropping all the spin indices) and drop all the masses to obtain the massless limit when this process is smooth (when we do not need to worry about encountering an ambiguous $0/0$). In fact, this was the design of Arkani-Hamed:2017jhn . In particular, we find the well known property of helicity-spinors,

$$\langle jj\rangle=0\quad\mbox{and}\quad[jj]=0,$$ (230)

as it must since the same helicity-spinor is contracted with the antisymmetric $\epsilon$-tensor.

However, when an amplitude is not smooth (for example, if there is an $m$ in the denominator), we must be a bit more careful and expand to a higher-order in mass. To quadratic order in $m$, we can write Eqs. (187) and (188) as,

$$|\mathbf{i}\rangle_{\alpha}^{I} = \sqrt{2E_{i}}\left(1-\frac{m_{i}^{2}}{8E_{i}^{2}}\right)\;\zeta_{\alpha}^{+}(p)\;\zeta^{-I}(k)+\frac{m_{i}}{\sqrt{2E_{i}}}\;\zeta_{\alpha}^{-}(p)\;\zeta^{+I}(k)$$ (233)

$$= \sqrt{2E_{i}}\left[\begin{array}[]{ll}\displaystyle(1-m_{i}^{2}/8E_{i}^{2})c&-(m_{i}/2E_{i})s^{*}\\ (1-m_{i}^{2}/8E_{i}^{2})s&+(m_{i}/2E_{i})c\end{array}\right],$$

$$[\mathbf{i}|_{\dot{\alpha}I} = \sqrt{2E_{i}}\left(1-\frac{m_{i}^{2}}{8E_{i}^{2}}\right)\;\tilde{\zeta}_{\dot{\alpha}}^{-}(p)\;\zeta^{+}_{I}(k)+\frac{m_{i}}{\sqrt{2E_{i}}}\;\tilde{\zeta}_{\dot{\alpha}}^{+}(p)\;\zeta^{-}_{I}(k)$$ (236)

$$= \sqrt{2E_{i}}\left[\begin{array}[]{ll}(1-m_{i}^{2}/8E_{i}^{2})c&-(m_{i}/2E_{i})s\\ (1-m_{i}^{2}/8E_{i}^{2})s^{*}&+(m_{i}/2E_{i})c\end{array}\right],$$

where the expressions in square brackets are matrices in $\alpha$ and $I$ and $\dot{\alpha}$ and $I$, respectively. From this, we obtain,

$$\langle\mathbf{ij}\rangle\! = \!\!\left[\begin{array}[]{cc}\displaystyle\left(1-\frac{m_{i}^{2}}{8E_{i}^{2}}-\frac{m_{j}^{2}}{8E_{j}^{2}}\right)\langle ij\rangle&\displaystyle\frac{m_{j}}{\sqrt{2E_{j}}}\langle i\zeta^{-}_{j}\rangle\\ \displaystyle\frac{m_{i}}{\sqrt{2E_{i}}}\langle\zeta^{-}_{i}j\rangle&\displaystyle\frac{m_{i}m_{j}}{4E_{i}E_{j}}[ij]\end{array}\right],$$ (239)

$$[\mathbf{ij}]_{IJ}\! = \!\!\left[\begin{array}[]{cc}\displaystyle\left(1-\frac{m_{i}^{2}}{8E_{i}^{2}}-\frac{m_{j}^{2}}{8E_{j}^{2}}\right)[ij]&\displaystyle\frac{m_{j}}{\sqrt{2E_{j}}}[i\tilde{\zeta}^{+}_{j}]\\ \displaystyle\frac{m_{i}}{\sqrt{2E_{i}}}[\tilde{\zeta}^{+}_{i}j]&\displaystyle\frac{m_{i}m_{j}}{4E_{i}E_{j}}\langle ij\rangle\end{array}\right],$$ (242)

also, to quadratic order, where the matrices have two SU($2$) indices. Of course, if the $i$th-particle is massless, then we just have the first row and if $j$ is massless, we just have the first column. Higher-order expansions may also prove important when loop diagrams are considered. The spin indices on the $\langle\mathbf{ij}\rangle$ are implicit and upper, however we have made the spin indices on the $[\mathbf{ij}]$ explicit, because they are still lower and we will need to raise them to satisfy our convention of the implicit spin indices being upper and also to find correct expressions when vertices include both angle and square brackets. The spin indices can be raised with epsilon tensors as usual, giving us $[\mathbf{ij}]^{IJ}=[\mathbf{ij}]_{KL}\epsilon^{KI}\epsilon^{LJ}$ or

$$[\mathbf{ij}]=\left[\begin{array}[]{cc}\displaystyle\frac{m_{i}m_{j}}{4E_{i}E_{j}}\langle ij\rangle&\displaystyle-\frac{m_{i}}{\sqrt{2E_{i}}}[\tilde{\zeta}_{i}^{+}j]\\ \displaystyle-\frac{m_{j}}{\sqrt{2E_{j}}}[i\tilde{\zeta}^{+}_{j}]&\displaystyle\left(1-\frac{m_{i}^{2}}{8E_{i}^{2}}-\frac{m_{j}^{2}}{8E_{j}^{2}}\right)[ij]\end{array}\right].$$ (243)

In some cases, we will have these brackets to a higher power (in the $W^{+}W^{-}\gamma$ vertex, for example). So, we note that,

$$\langle\mathbf{12}\rangle^{2}=\frac{1}{2}\left(\langle\mathbf{12}\rangle^{I_{1}J_{1}}\langle\mathbf{12}\rangle^{I_{2}J_{2}}+\langle\mathbf{12}\rangle^{I_{1}J_{2}}\langle\mathbf{12}\rangle^{I_{2}J_{1}}\right).$$ (244)

The right side is what is implicitly meant by the left side, SU($2$) indices are implicitly symmetrized. Since this has two independent indices, we can write it as a matrix. Because each type of spin index is symmetrized, it takes 3 independent values. Therefore, this can be written as a $3\times 3$ matrix. These rows and columns are for the three spins of each $1$-spin boson. We find,

$$\langle\mathbf{ij}\rangle^{2}=\left[\begin{array}[]{ccc}\displaystyle\left(1-\frac{m_{i}^{2}}{4E_{i}^{2}}-\frac{m_{j}^{2}}{4E_{j}^{2}}\right)\langle ij\rangle^{2}&\displaystyle\frac{m_{j}}{\sqrt{2E_{j}}}\langle ij\rangle\langle i\zeta_{j}^{-}\rangle&\displaystyle\frac{m_{j}^{2}}{2E_{j}}\langle i\zeta_{j}^{-}\rangle^{2}\\ \displaystyle\frac{m_{i}}{\sqrt{2E_{i}}}\langle ij\rangle\langle\zeta_{i}^{-}j\rangle&\displaystyle\frac{m_{i}m_{j}}{8E_{i}E_{j}}\langle ij\rangle[ij]+\frac{m_{i}m_{j}}{2\sqrt{4E_{i}E_{j}}}\langle i\zeta_{j}^{-}\rangle\langle\zeta_{i}^{-}j\rangle&0\\ \displaystyle\frac{m_{i}^{2}}{2E_{i}}\langle\zeta_{i}^{-}j\rangle^{2}&0&0\end{array}\right],$$ (245)

again, to quadratic order. We find a similar result for $[\mathbf{ij}]^{2}$, switching angle and square brackets and making the replacement $\zeta^{-}\to\tilde{\zeta}^{+}$. We then need to rearrange to find the spin indices to be upstairs, giving

$$[\mathbf{ij}]^{2}=\left[\begin{array}[]{ccc}\displaystyle 0&\displaystyle 0&\displaystyle\frac{m_{i}^{2}}{2E_{i}}[\tilde{\zeta}_{i}^{+}j]^{2}\\ \displaystyle 0&\displaystyle\frac{m_{i}m_{j}}{8E_{i}E_{j}}\langle ij\rangle[ij]+\frac{m_{i}m_{j}}{2\sqrt{4E_{i}E_{j}}}[i\tilde{\zeta}_{j}^{+}][\tilde{\zeta}_{i}^{+}j]&\displaystyle-\frac{m_{i}}{\sqrt{2E_{i}}}[ij][\tilde{\zeta}_{i}^{+}j]\\ \displaystyle\frac{m_{j}^{2}}{2E_{j}}[i\tilde{\zeta}_{j}^{+}]^{2}&\displaystyle-\frac{m_{j}}{\sqrt{2E_{j}}}[ij][i\tilde{\zeta}_{j}^{+}]&\displaystyle\left(1-\frac{m_{i}^{2}}{4E_{i}^{2}}-\frac{m_{j}^{2}}{4E_{j}^{2}}\right)[ij]^{2}\end{array}\right].$$ (246)

On the other hand, if we multiply $\langle\mathbf{ij}\rangle$ by $[\mathbf{ij}]$, we have four separate terms in our symmetrization,

$$\langle\mathbf{ij}\rangle[\mathbf{ij}]=\frac{1}{4}\left(\langle\mathbf{ij}\rangle^{I_{1}J_{1}}[\mathbf{ij}]^{I_{2}J_{2}}+\langle\mathbf{ij}\rangle^{I_{1}J_{2}}[\mathbf{ij}]^{I_{2}J_{1}}+\langle\mathbf{ij}\rangle^{I_{2}J_{1}}[\mathbf{ij}]^{I_{1}J_{2}}+\langle\mathbf{ij}\rangle^{I_{2}J_{2}}[\mathbf{ij}]^{I_{1}J_{1}}\right).$$ (247)

With this, we obtain the $3\times 3$ matrix,

$$\langle\mathbf{ij}\rangle[\mathbf{ij}]=\left[\begin{array}[]{ccc}\displaystyle\frac{m_{i}m_{j}}{4E_{i}E_{j}}\langle ij\rangle^{2}&\displaystyle-\frac{m_{i}}{2\sqrt{2E_{i}}}\langle ij\rangle[\tilde{\zeta}_{i}^{+}j]&\displaystyle-\frac{m_{i}m_{j}}{\sqrt{4E_{i}E_{j}}}\langle i\zeta_{j}^{-}\rangle[\tilde{\zeta}_{i}^{+}j]\\ \displaystyle-\frac{m_{j}}{2\sqrt{2E_{j}}}\langle ij\rangle[i\tilde{\zeta}_{j}^{+}]&\begin{array}[]{c}\displaystyle-\frac{m_{i}^{2}}{8E_{i}}\langle\zeta_{i}^{-}j\rangle[\tilde{\zeta}_{i}^{+}j]-\frac{m_{j}^{2}}{8E_{j}}\langle i\zeta_{j}^{-}\rangle[i\tilde{\zeta}_{j}^{+}]\\ \displaystyle\qquad+\left(1-\frac{m_{i}^{2}}{4E_{i}^{2}}-\frac{m_{j}^{2}}{4E_{j}^{2}}\right)\langle ij\rangle[ij]\\ \end{array}&\displaystyle\frac{m_{j}}{2\sqrt{2E_{j}}}[ij]\langle i\zeta_{j}^{-}\rangle\\ \displaystyle-\frac{m_{i}m_{j}}{\sqrt{4E_{i}E_{j}}}\langle\zeta_{i}^{-}j\rangle[i\tilde{\zeta}_{j}^{+}]&\displaystyle\frac{m_{i}}{2\sqrt{2E_{i}}}[ij]\langle\zeta_{i}^{-}j\rangle&\displaystyle\frac{m_{i}m_{j}}{4E_{i}E_{j}}[ij]^{2}\end{array}\right],$$ (248)

to quadratic order in the masses. It is, of course, imperative when implementing these spinor combinations within a scattering amplitude, that these symmetry factors are not neglected.

Appendix B Massless 3-Point Vertices

In this appendix, we briefly review what we expect to find for the various 3-point vertices in the high-energy limit. They can be constructed purely based on their transformation properties and the dimensionality of the vertex.

Note that because all three particles are massless in the high-energy limit, we have,

$$p_{1}^{2}=p_{2}^{2}=p_{3}^{2}=0.$$ (249)

But, because of momentum conservation $p_{1}+p_{2}+p_{3}=0$, with all momenta ingoing (or all outgoing). Therefore, $p_{i}=-(p_{j}+p_{k})$, where $i,j,k$ are any combination of $1,2,3$. Then,

$$p_{i}^{2}=(p_{j}+p_{k})^{2}=p_{j}^{2}+p_{k}^{2}+2p_{j}\cdot p_{k}.$$ (250)

But, since $p_{i}^{2}=p_{j}^{2}=p_{k}^{2}=0$, we have,

$$p_{j}\cdot p_{k}=0,$$ (251)

for all $j$ and $k$. However, since $-2p_{j}\cdot p_{k}=\langle jk\rangle[jk]$ at this order, we have,

$$\langle jk\rangle[jk]=0,$$ (252)

for any massless 3-point amplitude. This means that either $\langle jk\rangle=0$ or $[jk]=0$. We have three momenta and we need to make the choice for each combination, but it turns out that there is only one choice,

$$\langle 12\rangle=\langle 23\rangle=\langle 13\rangle=0\quad\mbox{or}\quad[12]=[23]=[13]=0.$$ (253)

To see that there is only one choice, note that $\langle ij\rangle=0$ implies that $|i\rangle\propto|j\rangle$ and similarly for the the square brackets. So, suppose we had $\langle 12\rangle=\langle 23\rangle=0$ and $[13]=0$. Well, $\langle 12\rangle=0$ implies that $|1\rangle\propto|2\rangle$ and $\langle 23\rangle=0$ implies $|2\rangle\propto|3\rangle$ so we actually have the first of Eq. (253). All other cases can be seen in a similar way.

So, each massless 3-point amplitude can only be constructed from either the angle brackets or the square brackets, but not both.

So, there are only two choices for a given 3-point amplitude. Either it is,

$$\mathcal{A}(h_{1},h_{2},h_{3})=\langle 12\rangle^{c_{12}}\langle 23\rangle^{c_{23}}\langle 31\rangle^{c_{31}},$$ (254)

or,

$$\mathcal{A}(h_{1},h_{2},h_{3})=[12]^{\tilde{c}_{12}}[23]^{\tilde{c}_{23}}[31]^{\tilde{c}_{31}},$$ (255)

We know that the amplitude must transform as,

$$\mathcal{A}(h_{1},h_{2},h_{3})\rightarrow e^{+i\left(h_{1}\theta_{1}+h_{2}\theta_{2}+h_{3}\theta_{3}\right)}\mathcal{A}(h_{1},h_{2},h_{3}).$$ (256)

And, we know how the brackets transform

$$\langle ij\rangle \rightarrow e^{i\left(-\theta_{1}/2-\theta_{2}/2\right)}\langle ij\rangle,$$ (257)

$$[ij] \rightarrow e^{i\left(+\theta_{1}/2+\theta_{2}/2\right)}[ij].$$

So, we can solve this to obtain the values of $c_{12}$, etc. We find that either,

$$\mathcal{A}(h_{1},h_{2},h_{3})=\langle 12\rangle^{h_{3}-h_{1}-h_{2}}\langle 23\rangle^{h_{1}-h_{2}-h_{3}}\langle 31\rangle^{h_{2}-h_{3}-h_{1}},$$ (258)

or,

$$\mathcal{A}(h_{1},h_{2},h_{3})=[12]^{h_{1}+h_{2}-h_{3}}[23]^{h_{2}+h_{3}-h_{1}}[31]^{h_{3}+h_{1}-h_{2}},$$ (259)

up to a constant (the coupling constant).

There is one more property that the amplitude must satisfy, the dimension (i.e. units). If the amplitude has $n$ particles, it must be dimension $4-n$. This is required to find the right dimensions for the scattering cross section which is measured. So, for our $3$-point amplitude, it must have dimension 1. Each bracket, whether $\langle\,\rangle$ or $[\,]$ has dimension $1$. This means that the dimensions of these two amplitudes are,

$$d=-(h_{1}+h_{2}+h_{3})\quad\mbox{and}\quad d=h_{1}+h_{2}+h_{3}$$ (260)

Since this must be $1$, for non-gravitational vertices with no dimensionful parameter, we finally have the amplitude for $3$ particles,

$$\mathcal{A}(h_{1},h_{2},h_{3})=\begin{cases}\displaystyle\langle 12\rangle^{1+2h_{3}}\langle 23\rangle^{1+2h_{1}}\langle 31\rangle^{1+2h_{2}}\\ \displaystyle\hskip 72.26999pt\text{if}\ \sum_{i}h_{i}=-1\\ \displaystyle[12]^{1-2h_{3}}[23]^{1-2h_{1}}[31]^{1-2h_{2}}\\ \displaystyle\hskip 72.26999pt\text{if}\ \sum_{i}h_{i}=1\\ \displaystyle 0\hskip 68.65627pt\text{otherwise}.\end{cases}$$ (261)

On the other hand, for gravitational vertices, we must divide by the Planck mass, therefore, the dimension of the brackets must be $2$. This gives us,

$$\mathcal{A}_{\textrm{grav}}(h_{1},h_{2},h_{3})=\begin{cases}\displaystyle\langle 12\rangle^{2+2h_{3}}\langle 23\rangle^{2+2h_{1}}\langle 31\rangle^{2+2h_{2}}\\ \displaystyle\hskip 72.26999pt\text{if}\ \sum_{i}h_{i}=-2\\ \displaystyle[12]^{2-2h_{3}}[23]^{2-2h_{1}}[31]^{2-2h_{2}}\\ \displaystyle\hskip 72.26999pt\text{if}\ \sum_{i}h_{i}=2\\ \displaystyle 0\hskip 68.65627pt\text{otherwise}.\end{cases}$$ (262)

We will also need to consider some vertices involving Goldstone bosons that are only non-zero at linear order in the mass. Therefore, we also consider vertices that have one dimensionful parameter and only allow it to the first power in the vertex so that the vertex must have dimension 0. In this case, we have,

$$\mathcal{A}_{m^{1}}(h_{1},h_{2},h_{3})=m\begin{cases}\displaystyle\langle 12\rangle^{2h_{3}}\langle 23\rangle^{2h_{1}}\langle 31\rangle^{2h_{2}}\pm[12]^{-2h_{3}}[23]^{-2h_{1}}[31]^{-2h_{2}}\hskip 18.06749pt\text{if}\ \sum_{i}h_{i}=0\\ \displaystyle 0\hskip 227.65005pt\text{otherwise}.\end{cases}$$ (263)

We now enumerate the high-energy limit vertices required for the SM. First, the non-gravitational vertices that have dimension 1. We find,

$$\mathcal{A}(0,0,+1)=\frac{[23][31]}{[12]},\quad\mathcal{A}(0,0,-1)=\frac{\langle 23\rangle\langle 31\rangle}{\langle 12\rangle},$$ (264)

$$\mathcal{A}\left(0,+\frac{1}{2},+\frac{1}{2}\right)=[23],\quad\mathcal{A}\left(0,-\frac{1}{2},-\frac{1}{2}\right)=\langle 23\rangle,$$ (265)

$$\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+1\right)=\frac{[31]^{2}}{[12]},\quad\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-1\right)=\frac{\langle 31\rangle^{2}}{\langle 12\rangle},$$ (266)

$$\mathcal{A}(+1,+1,-1)=\frac{[12]^{3}}{[23][31]},\quad\mathcal{A}(-1,-1,+1)=\frac{\langle 12\rangle^{3}}{\langle 23\rangle\langle 31\rangle}.$$ (267)

For the gravitational vertices,

$$\mathcal{A}(0,0,+2)=\frac{1}{M_{P}}\frac{[23]^{2}[31]^{2}}{[12]^{2}},\quad\mathcal{A}(0,0,-2)=\frac{1}{M_{P}}\frac{\langle 23\rangle^{2}\langle 31\rangle^{2}}{\langle 12\rangle^{2}},$$ (268)

$$\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},+2\right)=\frac{1}{M_{P}}\frac{[23][31]^{3}}{[12]^{2}},\quad\mathcal{A}\left(-\frac{1}{2},+\frac{1}{2},-2\right)=\frac{1}{M_{P}}\frac{\langle 23\rangle\langle 31\rangle^{3}}{\langle 12\rangle^{2}},$$ (269)

$$\mathcal{A}(+1,-1,+2)=\frac{1}{M_{P}}\frac{[31]^{4}}{[12]^{2}},\quad\mathcal{A}(-1,+1,-2)=\frac{1}{M_{P}}\frac{\langle 31\rangle^{4}}{\langle 12\rangle^{2}},$$ (270)

$$\mathcal{A}(+2,-2,+2)=\frac{1}{M_{P}}\frac{[31]^{6}}{[12]^{2}[23]^{2}},\quad\mathcal{A}(-2,+2,-2)=\frac{1}{M_{P}}\frac{\langle 31\rangle^{6}}{\langle 12\rangle^{2}\langle 23\rangle^{2}}.$$ (271)

As expected, the gravitational vertices are the square of the non-gravitational vertices with half the helicities.

Finally, for the non-gravitational vertices that are only non-zero at first order in a dimensionful parameter. We use $m$ to represent the appropriate scale. We have,

$$\mathcal{A}(0,0,0)=m,$$ (272)

$$\mathcal{A}\left(+\frac{1}{2},-\frac{1}{2},0\right)=m\left(\frac{[31]}{[23]}\pm\frac{\langle 23\rangle}{\langle 31\rangle}\right),$$ (273)

$$\mathcal{A}(+1,-1,0)=m\left(\frac{[31]^{2}}{[23]^{2}}\pm\frac{\langle 23\rangle^{2}}{\langle 31\rangle^{2}}\right).$$ (274)

Interestingly, the terms are the square of the case with half the helicities.

Before ending this appendix, we review how the rules discussed here allow the determination of the helicity of the particles involved in a massless vertex. As described above, each massless vertex will include either angle brackets or square brackets, but not both. Furthermore, we know that angle brackets transform like a $-1/2$-helicity particle while square brackets transform like a $+1/2$-helicity particle [see Eq. (257)]. Since this transformation is a phase, we see that if a particle appears in both the numerator and denominator of a vertex, the full transformation for that vertex involves the difference of the two powers. For example,

$$\frac{\langle ij\rangle^{p}}{\langle ki\rangle^{q}}\to e^{-i(p-q)\theta_{i}/2}e^{-ip\theta_{j}/2}e^{+iq\theta_{k}/2}\frac{\langle ij\rangle^{p}}{\langle ki\rangle^{q}}\quad\mbox{and}\quad\frac{[ij]^{p}}{[ki]^{q}}\to e^{+i(p-q)\theta_{i}/2}e^{+ip\theta_{j}/2}e^{-iq\theta_{k}/2}\frac{[ij]^{p}}{[ki]^{q}}.$$ (275)

Focusing on particle $i$, we see that this ratio transforms as particle with helicity $h=-(p-q)/2$ for angle brackets and $h=+(p-q)/2$ for square brackets. So, for each massless vertex, we simply take the power of each particle in the numerator minus the power of that particle in the denominator and multiply by $-1/2$ if angle brackets or by $+1/2$ is square brackets, and this gives the helicity of the particle. To clarify this process, consider the vertex,

$$\frac{[23][31]}{[12]}.$$ (276)

Beginning with particle $1$, we see that its power in the numerator is $1$ and its power in the denominator is $1$, so that the difference is $0$. From this, we learn that particle $1$ must have helicity-$0$. We find exactly the same feature for particle $2$, so it is also helicity-$0$. Particle $3$, on the other hand, has two powers in the numerator but none in the denominator. Since this vertex uses square brackets, we learn that the helicity of particle $3$ is $h_{3}=+(2-0)/2=+1$. This agrees with our description of Eq. (264). We will consider one more example. Consider the vertex,

$$\frac{\langle 23\rangle\langle 31\rangle^{3}}{\langle 12\rangle^{2}}.$$ (277)

We see particle $1$ to the third power in the numerator and the second power in the denominator. Since this vertex uses angle brackets, we find that the helicity of particle $1$ is $h_{1}=-(3-2)/2=-1/2$. We find particle $2$ to the first power in the numerator and the second power in the denominator, giving us $h_{2}=-(1-2)/2=+1/2$. Finally, we find particle $3$ to the fourth power in the numerator and not at all in the denominator, giving $h_{3}=-(4-0)/2=-2$. All together, this agrees with our description of Eq. (269).