The electroweak effective field theory from on-shell amplitudes

We apply on-shell methods to the bottom-up construction of electroweak amplitudes, allowing for both renormalizable and non-renormalizable interactions. We use the little-group covariant massive-spinor formalism, and flesh out some of its details along the way. Thanks to the compact form of the resulting amplitudes, many of their properties, and in particular the constraints of perturbative unitarity, are easily seen in this formalism. Our approach is purely bottom-up, assuming just the standard-model electroweak spectrum as well as the conservation of electric charge and fermion number. The most general massive three-point amplitudes consistent with these symmetries are derived and studied in detail, as the primary building blocks for the construction of scattering amplitudes. We employ a simple argument, based on tree-level unitarity of four-point amplitudes, to identify the three-point amplitudes that are non-renormalizable at tree level. This bottom-up analysis remarkably reproduces many low-energy relations implied by electroweak symmetry through the standard-model Higgs mechanism and beyond it. We then discuss four-point amplitudes. The gluing of three-point amplitudes into four-point amplitudes in the massive spinor helicity formalism is clarified. As an example, we work out the ψcψ Zh amplitude, including also the non-factorizable part. The latter is an all-order expression in the effective-field-theory expansion. Further constraints on the couplings are obtained by requiring perturbative unitarity. In the ψcψ Zh example, one for instance obtains the renormalizable-level relations between vector and fermion masses and gauge and Yukawa couplings. We supplement our bottom-up derivations with a matching of three- and fourpoint amplitude coefficients onto the standard-model effective field theory (SMEFT) in the broken electroweak phase. This establishes the correspondence with the usual Lagrangian approach and paves the way for SMEFT computations in the on-shell formalism.


Introduction
The bottom-up construction of effective-field-theory (EFT) Lagrangians proceeds from a field content and imposed -spacetime, local, and global -symmetries [1]. Similarly, the structure of on-shell amplitudes is stringently constrained by Lorentz and global internal symmetries, combined with locality and unitarity (for reviews see, e.g., refs. [2][3][4][5][6][7]). This parallel motivates the application of on-shell methods to the direct derivation of EFT amplitudes. The advantages of this approach include the absence of gauge or operator redundancies, and the prospect of further leveraging the power of on-shell techniques in EFT contexts. As a first step in this direction, tree-level amplitudes involving a massive color singlet of spin 0 or 1 and up to three gluons were derived using on-shell methods in ref. [8], including the contributions of non-renormalizable operators up to dimension 13. This procedure also gives a simple counting and classification of independent EFT operators at a given dimension, providing an alternative to EFT Lagrangian constructions [9][10][11][12][13][14][15][16][17][18][19][20]. In this paper, we apply these methods to the electroweak sector of the standard model (SM).
A recent addition to the on-shell toolbox, which is essential for SM applications, is the systematic treatment of massive spinning particles introduced in ref. [21]. Each massive momentum is decomposed as the sum of two lightlike vectors, which transform under the SU(2) little group. The corresponding spinors then carry an SU(2) little-group index, and symmetric combinations of these spinors are employed to represent particles of any spin. Little-group covariance implies powerful selection rules on the allowed structure of amplitudes. For related work and previous applications see refs. [8,[22][23][24][25][26][27][28][29][30][31][32].
Spontaneous electroweak symmetry breaking (EWSB) through the Brout-Englert-Higgs mechanism [33,34] is a crucial ingredient of the SM. In a bottom-up construction of on-shell amplitudes, the natural objects to consider are the physical SM particles in the broken phase. One of the main goals of this paper is to explicitly see how EWSB emerges JHEP01(2020)119 spins were given in ref. [21]. In some cases, most notably the W W Z amplitude, it is actually easier to directly build the list of independent spinor structures. As a cross-check, we use a simple group-theory argument to determine the number of independent structures in each three-point amplitude. With three external particles, this number is given by the number of ways to form overall angular-momentum singlets from the combinations of three spins.
Having obtained the three-point amplitudes, our next task is to identify the nonrenormalizable tree-level terms. For this purpose, one needs to analyze the high-energy growth of physical scattering amplitudes, starting with the four-point amplitudes. Terms growing as E or faster must be suppressed by an appropriate power of the cutoffΛ. It suffices however to examine the three-point amplitudes. Since these are defined in the complex plane, one can consider their high-energy or massless limit, which encodes information about the high-energy behavior of physical scattering amplitudes.
This high-energy limit was used in ref. [21] to uncover many properties of the Higgs mechanism in two renormalizable examples: a fully Higgsed U(1), and a fully-Higgsed nonabelian gauge theory. In our electroweak toy model, the high-energy limit of the amplitudes easily reveals many known features of EWSB. Thus for example, we see that fermions with a vector-like coupling to the Z do not interact with its longitudinal component in this limit; conversely, for fermions with a chiral coupling to the Z, the coupling to the longitudinal component is proportional to the fermion mass. While this high-energy limit is equivalent to taking all the masses to zero at the same rate -preserving the particle spectrum -different scenarios can be studied by taking the external masses to zero at different rates. The fermion-fermion-Z amplitude for instance tells us that the vector mass cannot be taken to zero faster than the fermion mass, unless the coupling is vector-like (see section 3.1). The W W Z amplitude is of special significance, and the underlying SU (2) gauge-group structure follows from the consideration of this three-point amplitude on its own. For three degenerate bosons (i.e., for m Z = m W ), we show that the three vector coupling is proportional to abc . Unlike in the massless case, the three vectors can be taken to have identical polarizations in this case, so that Bose symmetry under permutations of all three bosons is readily seen. For m Z = m W , the renormalizable amplitude is fully determined by a single coupling and the W , Z mass ratio, and automatically preserves U(1) EM . Furthermore, only two types of non-renormalizable couplings are allowed. The first is associated with the three-field-strength dimension-six operator. The other vanishes in the limit m Z → m W . At tree level it is therefore proportional to m 2 W − m 2 Z . Indeed, in the SM, this term is proportional to the electromagnetic coupling.
We then turn to the calculation of four-point tree-level amplitudes, and derive the ψ c ψZh amplitude as an example. Generically, these amplitudes have factorizable parts, featuring single-particle poles, and non-factorizable parts, with no poles. To derive the amplitudes one can write down the full list of kinematic structures, consistent with Lorentz symmetry, and the little group in particular, allowing for single-particle poles. For the massive four-point amplitudes we consider, each term contains a single pole, corresponding to a particular factorization channel. The residue at each pole is given by the product of the two on-shell, three-point amplitudes associated with this factorization channel. This uniquely determines the factorizable part of the tree-level amplitude. This procedure can JHEP01(2020)119 also be described as the gluing of two three-point amplitudes. Note that, since we only work at tree-level, we can only consistently glue together two tree-level three-point amplitudes. In our bottom-up derivation, the remaining, non-factorizable part features arbitrary coefficients, corresponding to the unknown Wilson coefficients of non-renormalizable operators. Combinations of operators giving rise to three-point amplitudes that vanish on-shell do not appear in this gluing procedure. Their contributions are accounted for by the nonfactorizable terms in the on-shell approach. The constructibility of EFT amplitudes was studied in ref. [45]. A judicious choice of momentum shifts, with all-line holomorphic or antiholomorphic shifts, was shown to give vanishing boundary terms in these examples. The main result is very intuitive: contact-term contributions can only be inferred from lowerpoint amplitudes if they are related to them by a symmetry [45]. Earlier applications of factorization to the derivation of tree-level EFT amplitudes were studied in refs. [46,47].
The ψ c ψZh amplitude is relevant for Higgs decay as well as Zh production at hadron and lepton colliders. We derive the factorizable and non-factorizable components of this amplitude at the tree level. As explained above, the non-factorizable part is determined by Lorentz symmetry, and in particular by little-group considerations. The general, allorder result is given by 12 independent spinorial structures. As in ref. [8], the expansion of non-factorizable amplitude coefficients in (p i · p j )/Λ 2 can be used to infer the number of independent operators contributing at eachΛ order. At the leading order in the EFT expansion, there are only four contact-terms. Imposing perturbative unitarity on four-point (and higher-point) amplitudes would restrict the allowed contact terms, and reproduce the constraints of SU(2) L × U(1) Y . Here we restrict our attention to the renormalizable part of the ψ c ψZh amplitude. Perturbative unitarity determines the fermion mass in terms of the Z-boson mass, the Yukawa coupling and the gauge coupling.
Finally, we provide the matching of all the unknown coefficients appearing in the threepoint and ψ c ψZh amplitudes to the broken-phase SMEFT (in the conventions of ref. [48]). This completes the results obtained in ref. [27] with fermionic three-point amplitudes and the four-point ψ c ψZh one. With this, all elements needed for computing the factorizable contributions to other electroweak four-point amplitudes are available. This paper is organized as follows. We describe the essentials of the massive-spinor formalism [21] in section 2. The construction and discussion of three-point amplitudes are addressed in section 3. At the end of this section, we comment on the matching to the amplitudes of the high-energy unbroken theory, and note how the unbroken SU(2) L × U(1) Y emerges. Tree-level factorizable and non-factorizable contributions to the ψ c ψZh fourpoint amplitude are then obtained in section 4, including the leading non-renormalizable terms. We derive in particular the advertised relation between the gauge and Yukawa couplings and the Z-boson and fermion masses. Our conventions and notations are defined in section A, where we also clarify some elements of the massive spinor formalism. Subsequent appendices contain a matching of amplitude coefficients to the SMEFT in the broken phase (section B), a compendium of massless amplitudes (section C), and a derivation of the non-factorizable ψ c ψZh amplitudes for massless fermions (section D).

JHEP01(2020)119
2 Massive spinor formalism Spinor helicity variables have been widely used for the computation of massless helicity amplitudes (for reviews, see e.g. refs. [4,6,49]). With the four-momenta and external polarizations written in terms of the basic building blocks of the Lorentz group, namely, massless spinors, the amplitudes take compact forms, and their little-group structure is manifest. Here we briefly summarize the essential elements of the spinor variables we will use. For details, we refer the reader to section A.
A lightlike momentum is written in terms of a pair of chiral and anti-chiral spinors, where the half-brackets are defined in appendix A. These spinors carry undotted or dotted indices and transform as the (1/2, 0) and (0, 1/2) representations of the SL (2, C) Lorentz group, respectively. Here and in the following, we interchangeably refer to these spinors as dotted and undotted, or square-and angle-spinors. Little-group transformations, which form a U(1) in the massless case, correspond to opposite phase rotations of square-and angle-spinors, 2 |p → e −iξ |p , and [p| → e +iξ [p| . (2.2) These leave the momentum invariant, but phase-rotate the polarization associated with the external fermion or vector of momentum p. Amplitudes of particles with non-zero spin thus carry little-group charges, or weights, and these lead to selection rules on the allowed spinor structures. Different generalizations of this formalism for the treatment of massive particles have been explored (see, e.g., refs. [21,50,51]). Here we adopt the method of ref. [21]. A massive momentum (p 2 = m 2 > 0) can be decomposed in terms of chiral and anti-chiral spinors similarly to eq. (2.1), but two pairs of massless spinors are now required, Here I = 1, 2, and boldface is used to denote massive momenta and their corresponding spinors. The equation of motion then reads, Little-group transformations, which form an SU(2) in the massive case, rotate the vectors p I , and leave p invariant, For real Lorentzian momenta, W I J is a matrix in the SU(2) subgroup of SL (2, C). Since any spin s can be obtained by combining spin-1/2 representations, the polarizations of massive particles can be expressed as completely symmetric SU(2) tensors of rank JHEP01(2020)119 2s. An amplitude with a massive spin-s particle of momentum p can then be written as (see ref. [21]), where I 1 . . . I 2s are massive little-group indices. The reduced amplitudes M andM are equivalent, as one can switch between the dotted and undotted spinors with eq. (2.4). They are also completely symmetric in the SL (2, C) indices α andα. Thus, the amplitudes we write below are given in terms of angle-and square-spinors, and as usual, we abbreviate the spinor associated with external leg i by |p i ] → |i] or |p i → |i . The multiple occurrences of boldfaced |i], |i spinors in an amplitude are understood to carry SU(2) little-group indices which are completely symmetrized. For a fermion external leg, there is a single such spinor, while a vector external leg carries two spinors whose indices are symmetrized. Thus for example, if particle 1 is a massive vector, the amplitude could feature |1]|1] ≡ |1 {I 1 ]|1 I 2 } ]. Note that we define the symmetric states using the appropriate Clebsch-Gordan coefficients (see eq. (A.34)). This convention is convenient for handling physical states.
Obviously, the choice of the pair of vectors p I is arbitrary. Generically, this can be used to choose arbitrary spin-quantization axes, and our general expressions do not assume any particular direction. Different values for the I 1 . . . I 2s indices in eq. (2.6) yield the amplitudes for the different spin polarizations along the chosen direction. Massive-vector amplitudes for transverse polarizations are for instance obtained with I 1 = I 2 = 1 and 2, while I 1 = I 2 yield the amplitude for zero polarization. For considering the high-energy limit where helicity amplitudes are the natural choice, it will be convenient to choose the spatial direction of p I along the direction of the particle momentum. The leading contribution in the high-energy limit can then simply be obtained by unbolding the spinors [21].
Further details of this formalism and the high-energy limit are discussed in appendix A.

Three-point amplitudes
In this section, we study the massive three-point amplitudes of our simplified electroweak theory, including non-renormalizable contributions. In our bottom-up approach, the only dimensionful parameters are the masses and the EFT cutoff scaleΛ. The Higgs vacuum expectation value never appears explicitly. We distinguishΛ in the broken-phase theory from Λ in the unbroken SMEFT. The latter only appears explicitly in the matching of section B. Terms suppressed byΛn correspond to SMEFT contributions of order m n /Λn +n where m generically denotes external particle masses. For each amplitude, we derive the most general set of independent kinematic structures allowed. Structures generated by non-renormalizable couplings at the tree level can be identified based on simple dimensional analysis in the high-energy limit. This limit should of course be interpreted in the complex plane, where the amplitudes can be defined on-shell independently of external particle masses. Angle-and square-spinors are then no longer related by complex conjugation, and the massless three-point kinematics can be smoothly JHEP01(2020)119 approached, with square-spinor bilinears scaling as E, and angle-spinor bilinears scaling as m 2 /E, or vice versa. Here m stands for any of the external-state masses.
Assuming that the cutoffΛ is parametrically higher than m, terms growing as E 2 in three-point amplitudes correspond to non-renormalizable tree-level interactions and are therefore assigned a prefactor 1/Λ. This simple rule of thumb follows from the high-energy behavior of the four-point amplitudes at tree-level. Unitarity restricts the energy growth of these amplitudes. Terms growing as E or faster should be suppressed by the cutoffΛ, where perturbative unitarity is lost. Since the tree-level four-point amplitudes are obtained by gluing two three-point amplitudes with a propagator scaling as 1/E 2 , three-point amplitudes growing as E 2 should be suppressed byΛ as well. Indeed, three-point amplitudes have mass dimension 1, so O(E) terms are consistent with renormalizable couplings, while O(E 2 ) growths must be accompanied by an inverse mass. Such terms can of course be generated by the renormalizable SM couplings at the loop level, but these contributions cannot be consistently included in the tree-level gluing we rely on. In full one-loop computations, the high-energy growth of loop three-point functions shuts-off in the massless limit.
The implicit assumption in the discussion above is that the new physics atΛ is decoupling and can be integrated out. If it is not,Λ cannot be taken to be much higher than m, and its precise value depends on the measured values of the different couplings. In all cases considered, our results are consistent with the SMEFT. Eventually, the systematic evaluation of four-and higher-point amplitudes should be performed to determine the exact constraints applying to three-point amplitude coefficients in a bottom-up way. For our toy electroweak theory, this task is however left for future work.

ψ c ψZ
We first consider the massive fermion-fermion-vector amplitude, with equal-mass fermions. Since this is our first example, we will cover it in detail. It is not difficult to show that the M(1 ψ c , 2 ψ , 3 Z ) amplitude is fully characterized by the following spinorial structures: Our specific choice of dimensional normalization will prove appropriate for our tree-level description. The c ψ c ψZ coefficients are dimensionless and their superscripts refer to chiralities. 3 Different helicity amplitudes generically get contributions from all four terms, with appropriate mass suppressions. Having assumed that 1 ψ c and 2 ψ are conjugate of each others (they have the same mass and opposite charges), CP would interchange their labels in addition to flipping all helicities (i.e., interchanging square and angle brackets). 4 3 Recall that all particles are incoming. For our choice of massive momenta decomposition, the fermion chirality label corresponds to the fermion helicity in the massless limit. Thus, for 1 and 2 being charge conjugates of each other, the second and third terms with LR and RL give rise to the chirality preserving gauge couplings, and the RR and LL terms are chirality violating. The vector labels are not as intuitive, with the gauge coupling originating from the terms with 0 vector label. 4 To be precise, parity sends |λ I ↔ |λI ] and |λ I ] ↔ −|λI , or equivalently |k ↔ |k] and |q ↔ |q] in the two-lightlike spinors notation.

JHEP01(2020)119
The renormalizable spinor structures are thus self-conjugate, while the non-renormalizable ones (of dipole type) are exchanged under CP. Since the overall phase of an amplitude is not physical, statements about CP conservation have to be made at the squared amplitude level. Considering for instance the interference of a renormalizable contribution with dipole ones, we learn that the coefficients of the dipole terms are equal if CP is conserved, since these terms are exchanged by CP.
In three-point amplitudes, Mandelstam variables are combinations of external masses squared. All kinematics is therefore encoded in the spinor structures, and their coefficients are pure constants. These coefficients, together with the external particle masses, fully specify the amplitude. The number of independent kinematic structures can actually be inferred from angular momentum considerations. In the ψ c ψZ case, there are four distinct ways to form a singlet out of two spin-1/2 and one massive spin-1 particle: adding two spin 1/2, we can form states with total spin 0 and orbital angular momentum 1, or total spin 1 and orbital angular momentum 0, 1 or 2, each of which admits a total angular momentum J = 1 matching the Z-boson spin. In contrast, higher-point amplitudes involve additional relative orbital angular momenta, which allow for infinite ways to form invariants. Indeed, these amplitudes generically depend on an infinite set of parameters, multiplying arbitrary high powers of the Mandelstam variables. For three-point amplitudes, this counting is equivalent to that of the number of irreducible representations appearing in the sum of the three spins, since the orbital angular momentum configuration can always be adjusted to form an overall singlet. In the present ψ c ψZ case, labeling irreducible representations by their dimensions one indeed finds four of them: Following the reasoning outlined in the introduction to this section, we would like to determine which spinorial structures can be associated with renormalizable interactions at the tree level. For this purpose, we consider the massless limit of the theory, for constant Λ, with all mass ratios held fixed. As mentioned above, for complex momenta, this can be loosely thought of as the high-energy limit, with all masses held constant, and either square or angle spinor products scaling as E → ∞, with E/Λ fixed.
The spinorial structures leading to the fastest energy growth in the ψ c ψZ amplitude of eq. (3.1) are the first and fourth ones.
As discussed above, this behavior should be accompanied at the tree level by a factor of 1/Λ. This justifies our choice of normalization of these terms. Indeed, these amplitudes are generated by SM loops and, at tree-level, by dipole operators in the SMEFT (see matching in appendix B.1). 6 5 Here, either [ij] ∼ E and ij ∼ m 2 /E, or ij ∼ E and [ij] ∼ m 2 /E. Reference [23] argued that these amplitudes, and more generally, other non-renormalizable ones, vanish in the massless limit, see e.g., eqs. (50) and (51). We disagree with these claims. 6 In the SMEFT, these terms arise at dimension six, suppressed by 1/Λ 2 . From a bottom-up perspective, a well-behaved high-energy limit for the ψ c ψZZ amplitude requires this 1/Λ 2 suppression in a chiral theory where c LR0 ψ c ψZ = c RL0 ψ c ψZ . Dipole operators of dimension five, suppressed only by 1/Λ, would however be

JHEP01(2020)119
No such constraint applies to the 13 [23] and [13] 23 spinor structures. These do not give rise to E 2 terms in the high-energy limit since, for instance, 13 [23] = − 132] = 1(1 + 2)2] = 0 for massless kinematics. They only generate amplitudes of acceptable linear energy growth: up to corrections of order m 2 Z /E 2 and m 2 ψ /E 2 . Since parity flips chiralities by exchanging angle and square brackets, we learn, by comparing the (++0) and (−−0) amplitudes, that the longitudinal component of the Z boson has a pseudo-scalar, or parity-odd, coupling to fermions in the high-energy limit. The high-energy relations between coefficients of longitudinal and transverse amplitudes are also remarkable. They imply that vector-like fermions, having parity conserving couplings to the transverse components of the Z boson (c LR0 ψ c ψZ = c RL0 ψ c ψZ ), do not couple to its longitudinal component in the high-energy limit. Limits to other amplitudes and theories. Going to the high-energy limit by keeping all mass ratios constant allowed us to constrain the form of the ψ c ψZ amplitudes. Taking instead m Z /E and m ψ /E to zero at different rates (such that the mass ratios are modified), allows us to make contact with the ψ c ψγ amplitudes of the next section, and with a theory of massless fermions. Let us first consider the limit in which m Z /E goes to zero faster than m ψ /E. We can then expand the amplitude coefficients in powers of m Z /m ψ :

JHEP01(2020)119
amplitudes, which thus only receive finite contributions from the n = 0 term. Additionally, a smooth limit for the longitudinal amplitudes of eq. (3.3) requires a RL0 0 = a LR0 0 . We therefore learn that massive fermions only have vector-like renormalizable couplings to massless vectors in the high-energy limit. Note that the longitudinal amplitudes were crucial in reaching this conclusion, although they are absent if one starts off with a massless vector. In the next section, we will directly consider the massless vector amplitude and obtain the same result. Conversely, the mass of a vector having chiral a RL0 0 = a LR0 0 couplings to a fermion cannot be consistently taken to zero faster than the fermion mass.
On the other hand, if m ψ /E goes to zero faster than m Z /E, we must impose a R /L L /R 0 n>0 = 0 for the transverse amplitudes of eq. (3.3) to be well behaved. All a R /L L /R 0 n<1 terms moreover give vanishing contributions to the longitudinal amplitudes in this limit. We therefore learn that the coupling of a massless fermion to the longitudinal component of a vector vanishes in the high-energy limit. The corresponding amplitude is suppressed by m Z /E compared to transverse ones. This is in line with what we expect from the Higgs mechanism.
Summary. To summarize, by considering the high-energy limit of the ψ c ψZ amplitude, we learn that: • The [13][23] and 13 23 spinorial structures are generated by non-renormalizable interactions at tree level.
• In the high-energy limit, the fermion coupling to the longitudinal Z boson has a pseudo-scalar spinor structure.
• In the high-energy limit, fermions with a vector-like LR0/RL0 coupling to the Z boson do not interact with its longitudinal component.
• Fermions with chiral LR0/RL0 couplings to the Z boson, do interact with its longitudinal component in the high-energy limit, with a strength proportional to their mass.
• A massive fermion only has vector-like LR0/RL0 coupling to a massless vector.
• The coupling of a massless fermion to the longitudinal component of a massive vector vanishes in the high-energy limit.
• The mass of a fermion with chiral LR0/RL0 couplings to a massive vector, can only be taken to vanish at least as fast as the vector mass.
This is a nice bottom-up derivation of results expected from the Higgs mechanism, and specifically from the Goldstone boson equivalence theorem. Indeed, vector-like fermions do not obtain their mass from the Higgs mechanism, and therefore do not couple to the Goldstone component of the massive vector to leading order in the high-energy expansion. Their masses are furthermore independent of the vector boson masses. In contrast, chiral fermions must get their mass solely from some Higgs field, and thus couple to the longitudinal Z boson with a coupling proportional to this mass. At this stage, however, no relation between the ψ c ψh and longitudinal ψ c ψZ couplings is forced upon us. We will get back to this point and derive this relation when considering the ψ c ψZh amplitude in section 4.

ψ c ψγ
As discussed in ref. [21], the construction of three-point amplitudes with one massless particle and two particles of the same mass requires the introduction of an ancillary spinor, which we denote by ζ. In such cases, external states can indeed only be used to form one independent spinor instead of two. Labeling the massive particles by 1, 2, and the massless particle by 3, the spinors |3 and 1|3] are in particular not independent since 313] = 2 (p 1 · p 3 ) = m 2 2 − m 2 1 = 0. The proportionality constant between these two spinors can be derived by contracting them with ζ|. It is given by ζ13]/ ζ3 . Up to normalization, this is the x-factor of ref. [21]. Note that it carries helicity weight +1 for particle 3. (Similarly, the spinors |3] and1|3 are the same, up to the proportionality factor [ζ13 /[ζ3], which carries helicity weight −1 for particle 3.) The construction of the negative-helicity ψ c ψγ − amplitudes can then proceed by contracting the 1|, 2| massive spinors with αβ [ζ13 /[ζ3] or with |3 , |3 structures. One thus obtains that the ψ c ψγ − amplitude can be expressed as a linear combination of [12] ζ13]/ ζ3 and [13][23] (and similarly for the positive helicity amplitude, with angle and square brackets exchanged). The Schouten identity and momentum conservation (1 + 2 + 3 = 0) however lead to: where m = m 1 = m 2 (see section A.4 for a detailed derivation). Using the massless polarization vectors defined in eq. (A.39) and (A.40), the first two equalities allow us to write the positive-helicity amplitude as a linear combination of ( 1ε + 3 2] + 2ε + 3 1]) and [13] [23] and similarly for the negative-helicity amplitude. Thus we obtain: where c ψ c ψγ , c RRR ψ c ψγ , c LLL ψ c ψγ are dimensionless functions of m/Λ and mass ratios. In particular, the first terms on the right-hand side of eq. (3.6) are the electromagnetic gauge interactions and correctly reproduce the g = 2 factor (see appendix A.6). An alternative notation involves the 12 ζ13]/ ζ3 , [13][23] and [12][ζ13 /[ζ3], 13 23 spinor structures. It is obtained from the above one by applying (backwards) the last two equalities of eq. (3.5). The high-energy limits of the ψ c ψγ amplitudes have the same form as the transverse ψ c ψZ ones provided in eq. (3.3). The exact expressions are obtained with the following replacements: As suggested by our choice of normalization, the [13][23] and 13 23 spinorial structures are thus expected to only arise at the non-renormalizable (or loop) level.

JHEP01(2020)119
It is remarkable that the amplitude formalism forces the c ψ c ψγ terms to be purely vectorial, without an axial-vector component. This confirms the conclusion derived in the previous section from massive vector amplitudes, and their longitudinal components in particular. The coefficients of the 1ε + 3 2] and 1ε − 3 2] terms (as well as 2ε + 3 1] and 2ε − 3 1] ones) are moreover the same since the two photon helicities are parts of the same irreducible representation of the Lorentz group. Altogether, one thus obtains that c ψ c ψγ terms conserve parity which for instance sends the 1ε + 3 2] spinorial structure onto the 2ε − 3 1] one. The presence of three independent coefficients is also confirmed by angular-momentum considerations similar to those exposed in the previous section. Placing the two components of the massless photon in a fundamental representation, the decomposition of the 2 ⊗ 2 ⊗ 2 product indeed involves three irreducible representations: 2 ⊕ 2 ⊕ 4.

ψ c ψ W
The ψ c ψ W amplitude takes the same form as the ψ c ψZ one: Because m ψ = m ψ in general, the high-energy-limit expressions for (±±0) amplitudes become: Limits to other amplitudes and theories. Taking m W /E to zero faster than both m ψ /E and m ψ /E, the expansion of c A smooth limit for transverse amplitudes (analogous to that of eq. (3.3) in the ψ c ψZ case) requires a R /L L /R 0 n<0 = 0. The transverse amplitudes therefore receive finite contributions from a R /L L /R 0 n=0 only. A smooth limit for the longitudinal amplitudes however requires m ψ a LR0 n=0 = m ψ a RL0 n=0 . A fairly peculiar relation between the RL0 and LR0 couplings is therefore obtained in theories where a massless vector couples to two fermions of different nonvanishing masses.

ψ c ψh
It is straightforward to obtain the general form of the massive fermion-fermion-scalar amplitude: This form does not depend on whether the scalar is massive or massless. The high-energy limit does not lead to any further insights. For a massless fermion, ψ c ψh are now evaluated towards m ψ → 0. We will however show in section 4 that perturbative unitarity requires that these couplings actually vanish for a massless fermion, up to non-renormalizable contributions.

ZZh and W W h
The massive V V h amplitude can be parametrized as where V V stands for either ZZ or W + W − , and c V V h are dimensionless. The presence of three independent terms is compatible with the angular-momentum considerations introduced in section 3.1 since three irreducible representations are found in the product of two spin-1 and one spin-0 representations: Similarly to other amplitudes involving scalars, this form does not depend on whether h is massive or not. Given that all spinor structures in eq. (3.13) are symmetric under the exchange of 1 ↔ 2 spinor labels, the W + W − h amplitudes are automatically invariant under charge conjugation. In the high-energy limit (with m V /E → 0 for constant E/Λ and mass ratios) the fastest growing amplitudes are generated by the [12] 2 and 12 2 terms: which scale as E 2 . This justifies the choice of 1/Λ for their normalizations. The [12] 2 and 12 2 terms should thus only arise at the non-renormalizable or loop level. Subleading amplitudes, which grow like E, are generated by the [12] 12 term for (±00) and (0±0) helicities: Thus, the high-energy helicity amplitudes with a longitudinal Z boson have the same form as amplitudes with the longitudinal Z replaced by a scalar (see eq. (C.4)), consistent with the Goldstone boson equivalence theorem. The (±∓0) amplitudes only receive contributions scaling as m V c 00 V V h /Λ and are therefore subleading in the high-energy limit: Finally, for purely longitudinal (000) amplitude, we get This is the only amplitude in which the spinorial structure gives rise, in the high-energy limit, to a factor of m h , leaving a factor of m V in the denominator for dimensional reasons.

JHEP01(2020)119
Limits to other amplitudes and theories. If m V /E goes to zero faster than m h /E, the expansion of c 00 is forced by the (000) amplitude of eq. (3.17) to start at least at n = 1 (i.e., a n<1 = 0). The (0±0), (±00) amplitudes of eq. (3.15) then vanish in this limit. Conversely, requiring them to be non-vanishing constrains m h /E to go to zero at least as fast as m V /E. In the opposite limit, if m h /E goes to zero faster than m V /E, a smooth limit for the (0±0), (±00) amplitudes of eq. (3.15) requires a n>0 = 0.
Summary. To summarize, we learn that, • The coupling of a scalar h to two transverse vectors of equal polarizations, only arises at the non-renormalizable or loop level.
• At the renormalizable level, the tree V V h amplitude is controlled by a single coupling. Vector bosons of opposite polarizations are involved.
• The only renormalizable amplitudes that remain non-zero in the high-energy limit are the (0±0) and (±00) ones, which involve one transverse and one longitudinal vector.
• The (±∓0) and (000) amplitudes are proportional to vector and scalar masses in the high-energy limit.
• Allowing mass ratio to vary, the renormalizable (0±0) and (±00) amplitudes only remain non-vanishing provided m h /E → 0 at least as fast as m V /E.
These conclusions are again compatible with our knowledge about the Goldstone boson equivalence theorem and of the Higgs mechanism.

γγh and γZh
The γγh amplitude can be obtained from the V V h one of the previous subsection, in the m V /m h → 0 limit. The c 00 V V h coupling then vanishes identically. So one obtains in general: Thus there is no renormalizable γγh amplitude at tree-level. Similarly for γZh amplitudes, one can only write the following spinorial structures: JHEP01(2020)119

hhZ and hhγ
The vector coupling to two identical scalars vanishes because of Bose symmetry. To see this, note first that the [33] and 33 bilinears vanish. The SU(2) little-group indices must appear in a symmetric combination, but [3 For identical scalars, the amplitude is however required to be symmetric under the 1 ↔ 2 exchange. Since no symmetric structure can be written down, one concludes that the hhZ amplitude vanishes. 7 Likewise, starting directly with a massless vector, the only possible structure is [3(1 − 2)ζ / 3ζ , with some auxiliary spinor ζ (or similarly with angle and square brackets exchanged). This spinorial structure is again antisymmetric under the 1 ↔ 2 exchange. There is thus no M(1 h , 2 h , 3 γ ) amplitude either.

W W Z
The W W Z amplitude has a central role in the theory, as it determines the underlying non-abelian gauge structure. The derivation below only relies on the Lorentz structure, namely, the fact that the three particles have spin 1, and that two of them are massdegenerate. Indeed, with no information about the remaining amplitudes, we have no notion of charge, and the amplitude we write down below can be interpreted either as the W + W − Z amplitude, with distinguishable W s, or as the amplitude of two indistinguishable W s carrying an index a = 1, 2. As we will see below, the only renormalizable coupling allowed preserves U(1) EM . This is related to the fact that only three massive vector bosons participate in the interaction, corresponding to an SU(2) gauge theory. It is also instructive to consider the amplitude for m Z = m W . The SU(2) group theory structure follows in this case solely from Bose statistics of the three-point amplitude.
Constructing the massive W W Z amplitude following the prescription of eq. (4.27) in ref. [21] is somewhat tedious. From the eleven spinorial structures originally generated, eight independent ones survive after extensive use of the Schouten identity, momentum conservation, and on-shell conditions. Another way to obtain the same result is to list independent spinor contractions, and construct products of appropriate helicity weights. All possible spinor bilinears can be employed:

JHEP01(2020)119
Quadrilinears and higher multilinears can be reduced in the same way. The [i(j − k)i = i(j −k)i] trilinears involving identical bra and ket spinors could have been expressed as dot products of momenta if i was massless. They are equivalent to [iji or [iki structures, up to terms involving bilinear products. In a triple-vector amplitude, since each spinor should appear twice, a [i · i trilinear would necessarily be multiplied by bilinears involving both j and k, or by [j · j and [k · k trilinears. Both kinds of products are however reducible to products of bilinears using the Schouten identity, momentum conservation and on-shell conditions. One for instance obtains: So one concludes that the amplitudes for three massive vectors can all be constructed from products of the bilinears in eq. (3.22). The restriction that each spinor appears exactly twice leads to eight independent terms: where the c W W Z 's are dimensionless coefficients, and their specific normalizations are chosen for later convenience. Not all of these structures are actually independent. One relation will be found between them. There are indeed seven distinct ways to combine three spin-one representations. Labeling representations by their dimensions, one indeed finds Additional constraints, not apparent in eq. (3.24), appear in the high-energy limit (m Z /E → 0, for m W /m Z and E/Λ fixed). Eventually, eq. (3.24) will be replaced by eq. (3.31).
The amplitudes with the fastest energy growth (E 3 ) are, (3.25) The 12 13 23 and 12 [13][23] spinorial structure should thus only arise at the nonrenormalizable (or loop) level. This motivates our initial choice of normalization for those terms. Amplitudes growing like E 2 are produced by other terms which are thus also JHEP01(2020)119 expected to only arise at the non-renormalizable (or loop) level. They are: A well-behaved high-energy limit can be obtained with the following ansatz:  The left-hand side of the first equality times 12 is equal to that of the second one times [12]. One therefore obtains an identity involving only products of bilinears: Thus, with only three vectors, the SU(2) structure constants emerge already at the level of the three-point function. More generally, with n > 3 degenerate vectors, the abc is replaced by completely antisymmetric tensors C abc . At this point, we can appeal to the four-point function in the massless limit to obtain the Jacobi identity, which establishes the identification of C abc with the Lie algebra structure constants f abc . Restricting attention JHEP01(2020)119 to any subset of three out of the n vectors, we would again recover abc ; indeed, any three generators form an SU(2) sub-algebra. Note that deriving the f abc structure in the massive case is in some sense more straightforward that in the massless case. Here all three vectors can have the same spin polarization, while in the massless case, the gauge coupling corresponds to (±±∓) helicity amplitudes.
Since the four c W W Z terms are forbidden for vectors of identical masses, they must be proportional to the m Z − m W mass difference in the m Z → m W limit. Indeed, in the SM, the source of c . (B.59)). Additionally, in a gauge theory featuring a single SU(2), spontaneous symmetry breaking leads to three degenerate massive bosons.
High-energy limit. In the high-energy limit, the amplitude of eq. (3.31) has nonrenormalizable terms growing as E 3 and E 2 , as well as renormalizable terms scaling as E, and and

W W γ
Instead of constructing the W W γ amplitude from scratch, it is instructive to obtain it from the massless Z-boson limit of the W W Z amplitude. For the positive helicity photon amplitude, M(1 W , 2 W , 3 + γ ), one obtains from eq. (3.31):

JHEP01(2020)119
The spinorial structures in the fifth to seventh lines in eq. (3.37) thus reduce to two independent structures. One can also introduce the massless polarization vector of eq. (A. 39) and (A.40) to rewrite: Thus, the massless Z-boson limit of the W W Z amplitude yields only three terms with a positive-helicity Z: with, in particular, The same result can also be obtained from eq. (4.12) of ref. [21]. The presence of five independent coefficients is compatible with the angular-momentum counting introduced in section 3.1. Placing the two photon components in a fundamental representation and labeling representations by their dimensions, one indeed obtains five terms in the 3 ⊗ 3 ⊗ 2 = 2 ⊕ 2 ⊕ 4 ⊕ 4 ⊕ 6 decomposition.

ZZZ, ZZγ, Zγγ, and γγγ
In our discussion of the W W Z amplitude, we found that for three mass-degenerate vectors, the V a V b V c amplitude is proportional to abc . The ZZZ amplitude therefore vanishes identically.
In amplitudes involving three identical massless vectors, permutation symmetry must be enforced among the same helicity ones. Amplitudes involving three massless vectors of identical helicity are formed as spinor bilinear products like 12 13 23 . No fully symmetric combination can be formed out of such structures. Amplitudes involving two massless vectors of identical helicity take forms like the 12 3 / 13 23 one for the (−−+) JHEP01(2020)119 case. They are thus antisymmetric under the exchange of the same-helicity vectors and therefore also vanish if those are identical. We therefore conclude that no γγγ amplitude can be written down.
Similarly, the ZZγ amplitude can be obtained from the W W γ one with a symmetrization under 1 ↔ 2 exchange. All the spinorial structures of the W W γ amplitude are however antisymmetric under that exchange. So we conclude that no ZZγ amplitude can be written down.

High-energy theory and SU(2) L × U(1) Y
Our approach throughout this paper is purely bottom-up. We only assume the unbroken symmetries of the SM, and we expect the SU(2) L ×U(1) Y structure to emerge once unitarity is imposed on the four-and higher-point amplitudes of the SM particles. It is instructive however to briefly comment on how this gauge structure emerges if we instead assume that the theory has a smooth massless limit, and make contact with the high-energy theory. The high-energy theory comprises four massless spin-one degrees of freedom arising as linear combinations of the W ± , Z and the photon, as well as four scalars arising from the Higgs h and the longitudinal components of the W ± and Z.
The W W Z amplitude then includes interactions between three massless transverse vectors, and we have already seen that, for degenerate vectors V a=1,2,3 , it is proportional to abc . We can furthermore isolate a U(1) Y gauge boson, by defining the combination B ∝ √ 2c W W Z γ + c W W γ Z, such that the renormalizable W W B amplitude vanishes in the high-energy limit for transverse polarizations. 9 The high-energy limit of the ψ c ψ W amplitudes then implies that the fermions come in specific SU(2) L representations. Similarly, the coupling of the scalar to the longitudinal components of the vector implies that they should be embedded in a SU(2) L multiplet in the high-energy theory. With one scalar and three longitudinal vector components, one can form a complex doublet. A consistent factorization of the massless fermion-fermionvector-vector or scalar-scalar-vector-vector amplitudes moreover relate the fermion-vector, scalar-vector, and triple-vector couplings [21] for both SU(2) L and U(1) Y vectors.
The SU(2) L × U(1) Y symmetry of the massless high-energy theory can thus be inferred from known results mostly concerning massless amplitudes. We expect that the same conclusion can be obtained by considering the high-energy limit of massive four-and higherpoint amplitudes. Their study is postponed to future work but we detail the specific example of the ψ c ψZh amplitude in the next section.

JHEP01(2020)119 4 Four-point ψ c ψZh amplitude
We now turn to the construction of four-point, tree-level amplitudes. These generically have factorizable parts, featuring single-particle poles, and non-factorizable parts, or contactterms, with no negative powers of the kinematic invariants. For the massive external states considered here, constructing the factorizable part is straightforward: each pole is associated with a particular factorization channel, and its residue is given by the product of two on-shell three-point functions. This part of the amplitude can be simply obtained by gluing two three-point amplitudes, with the appropriate propagator. Thus for example, gluing two three-point amplitudes along a massive vector line gives, where m is the vector mass, andp stands for an outgoing momentum. Pictorially, Recall that so far we have taken all momenta to be incoming. When gluing together two three-point amplitudes, we need to consistently define the contractions of bolded spinors for incoming and outgoing momenta. These are discussed in appendix A.5.
To obtain the non-factorizable component, we write the most general kinematic structures involving positive powers of the spinor products, that are consistent with little-group constraints, similarly to the derivation of the three-point amplitudes. These structures appear with a-priori arbitrary coefficients. Combining the factorizable and non-factorizable pieces we thus get the most general amplitude which consistently factorizes on single particle poles. Imposing SU(2) L × U(1) Y , or alternatively, requiring perturbative unitarity, would imply specific relations between the contact-term coefficients and the couplings of three-point amplitudes.
For definiteness, we will focus on the ψ c ψZh amplitudes relevant for Higgs decay and associated production at both hadron and lepton colliders. The high-energy limit of non-factorizable contributions does not lead to energy growths that are not matched by appropriate power of the cutoffΛ. This does however occur for factorizable contributions, which feature negative powers of the masses, and thus allow us to derive relations between amplitude coefficients, satisfied up to m/Λ corrections.

Non-factorizable contributions
Using momentum conservation, Schouten identities, on-shell conditions and Dirac matrix algebra, it is possible to show that all non-factorizable contributions to the fully massive JHEP01(2020)119 ψ c ψZh four-point amplitude can be reduced to the following twelve terms: In the case of three-point amplitudes, all kinematics dependence was included in the spinor structures, leaving only constant coefficients. For four-point amplitudes such as that of eq. (4.2), the twelve c ψ c ψZh coefficients are functions of s ij . At tree-level, each of them is given as an expansion in positive powers of the s ij .
In the construction of eq. (4.2), p 4 is eliminated using momentum conservation. Each term must contain a single angle-or square-bracket spinor for particles 1 and 2, as well as two such spinors for particle 3, and therefore involves two spinor products. In order to find the independent structures, one need only start with terms involving two spinor products and up to one insertion of each of the momenta, since multiple insertions can be eliminated using anti-commutation relations and/or on-shell conditions. We have verified explicitly that these structures can be systematically reduced to eq. (4.2). The following equality is for instance used to eliminate the RRL term (and the LLR one by exchanging square and angle brackets): [13]. (4.3) Remarkably, the first term on the right-hand side has a well-defined m 3 → 0 limit since the leading (p 2 · p 3 ) 313] − (p 1 · p 3 ) 323] term vanishes identically. We also note that the second line is equal to [12][3213], a structure that is thus also reducible to the ones of eq. (4.2). The massless fermion amplitude can be obtained by simply unbolding the fermion spinors. A direct derivation of the massless fermion amplitude is provided in appendix D. The agreement between the results of eq. (4.2), eq. (D.5) in the massless fermion limit establishes the independence of the twelve terms of eq. (4.2). This independence can also be verified numerically, by considering vectors formed by the numerical values of the 12 spinor structures for arbitrary choices of momenta, and verifying that they are linearly independent.

JHEP01(2020)119
The leading high-energy contributions are obtained by simple unbolding of the spinorial structures in eq. (4.2) (see also a direct derivation from U(1) little group in appendix C.3):

(4.4)
This justifies the normalization adopted with inverse powers ofΛ (at tree level). In the SMEFT, dimension-six operators (dipoles and vectors) lead to the four 1/Λ 2 structures (see appendix B.12). The missing amplitudes are generated at orders 1/Λ 4 (see eq. (C.8)) by the specific linear combination in the righthand side of eq. (4.3) and its analogue with square and angle brackets interchanged.
In the soft-Higgs limit, with the four-momentum p 4 → 0, only the four 1/Λ 2 terms of eq. (4.2) survive, reproducing the list of structures found for the ψ c ψZ amplitude in eq. (3.1). Indeed, at the level of the non-factorizable terms, this limit corresponds to setting the Higgs field to its vacuum expectation value.

Factorizable contributions
Given the field content of our electroweak theory, the possible factorizable contributions to the ψ c ψZh amplitudes are: We know however that, for identical scalars, the hhZ amplitude vanishes on-shell. Thus, only s-channel Z and photon exchanges, as well as t-and u-channel fermion ones have to be considered. We treat each of those contributions in turn, employing the gluing prescription detailed in section A.5.
s-channel Z exchange. Let us start with the s-channel Z-boson exchange. The threepoint amplitudes to be joined are those of eq. (3.1) and (3.13). Applying the prescription JHEP01(2020)119 of eq. (4.1), we obtain the following s-channel amplitude: where only one non-renormalizable vertex has been allowed.
In the high-energy limit, the longitudinal component of the 3(1 + 2)3] spinorial structure tends to −s/ √ 2 and cancels the propagator up to mass corrections. (The square root of two arises from the Clebsch-Gordan coefficient in the prescription of eq. (A.34)). The fastest growing s-channel amplitudes are thus: where we have used [12]/s → −1/ 12 and 12 /s → −1/ [12]. Compared to the expectation deriving from our simplified argument based three-point amplitudes, we note that the (−−00) and (++00) receive contributions of unacceptable E/m growths. Amplitudes involving longitudinal vector bosons are well-known to give rise to such behaviors. exchange with c LR0 ψ c ψZ → c RL0 ψ c ψZ → − √ 2 c ψ c ψγ (following eq. (3.7)): t-and u-channel fermion exchanges. The t-an u-channel diagrams of eq. (4.5) involve the three-point amplitudes of eq. (3.1) and (3.12). The prescription of eq. (4.1) leads to the following t-channel amplitude: In the high-energy limit, the longitudinal component of the 313] spinor structure tends to t/ √ 2. The fastest growing amplitudes are then: contribution is: where 323] tends to u/ √ 2 in the high-energy limit. The leading amplitudes are then: 12) and the (−−00) and (++00) again display a growth not expected from the three-point amplitude analysis. Note that the u-channel amplitude is obtained from the t-channel one by exchange of the fermion labels (including chirality labels, where needed).
Perturbative unitarity and the fermion mass. Perturbative unitarity constrains the parameters of the ψ c ψZh amplitude. For the non-renormalizable terms, this gives non-trivial relations among the coefficients of the factorizable and non-factorizable terms. The s-wave coefficients of each helicity amplitude growing like a power of E/Λ, must be smaller than a some numerical value such that unitarity is only lost at E =Λ. Since the result of eq. (4.2) is an all-orders result, which can be expanded in powers of p i · p j /Λ 2 , this implies quantitative relations between the coefficients in this expansion. We leave a full exploration of these relations to future work. Furthermore, at the renormalizable level, there is E/m energy growth in the sum of contributions to the (±±00) amplitudes. To cancel this, one is forced to impose: (4.13) One can distinguish two possibilities for satisfying this condition. One is that (4.14) In this case, the fermion has a vector-like coupling to the Z boson, up to m/Λ corrections.
No relation is then forced between its mass and its Yukawa coupling. The second possibility

JHEP01(2020)119
is that the fermion has chiral couplings to the Z boson, with c RL0 ψ c ψZ = c LR0 ψ c ψZ at zeroth order in m/Λ. Then, its mass is directly related to the Yukawa coupling, c RR ψ c ψh = c 00 ZZh m ψ /2m Z = c LL ψ c ψh , (4.15) up to m/Λ corrections (see also eq. (5.5) of ref. [39]). In the SM, it is of course this second possibility that is realized, and the requirements of eq. (4.13) are explicitly satisfied in the SMEFT (see appendix B.14). In the presence of additional Higgses, which couple to ψ, this relation would be modified. Then, the low energy theory would feature an additional scalar, h , and the ψ c ψZh amplitude would get a contribution from factorization on ψ c ψh and Zhh . Indeed, with two different scalars, the latter can be nonzero.

Conclusions
We adopted massive on-shell amplitude methods to examine a theory of the electroweak spectrum from the bottom up, including both renormalizable and non-renormalizable interactions. Our main objectives were first to explicitly demonstrate the emergence of the patterns due to electroweak symmetry breaking and, second, to provide the necessary basis for on-shell amplitude computations equivalent to those obtained from the Lagrangian of the standard-model effective field theory (SMEFT).
We started by performing the bottom-up construction of all massive on-shell threepoint amplitudes with the electroweak field content. The only assumptions made concerned the particle spectrum, as well as electric-charge and fermion-number conservation. A simplified argument based on the tree-level unitarity of factorizable four-point amplitudes was employed to distinguish renormalizable and non-renormalizable contributions to tree-level, three-point amplitudes, without reference to a Lagrangian. The non-trivial structure of the renormalizable ψ c ψγ, W W Z or W W γ amplitudes could for instance be obtained in a purely bottom-up way. The emergence of properties expected from electroweak symmetry breaking, the Higgs mechanism and the Goldstone equivalence theorem were highlighted.
Prescriptions for the treatment of massive spinors and the gluing of massive threepoint amplitudes into tree-level higher-point ones were clarified. The construction of both factorizable and non-factorizable contributions to the ψ c ψZh four-point amplitude was detailed as illustration. Imposing tree-level unitarity up to an arbitrarily high cutoff scale led to the expected relation between renormalizable ZZh, ψ c ψh couplings and m Z , m ψ masses.
All renormalizable and non-renormalizable parameters appearing in the three-point and non-factorizable four-point amplitudes were defined and matched at tree-level to the broken-phase of the SMEFT. This laid the basis for future SMEFT computations using on-shell amplitude methods. Operator redundancies due to field redefinitions are absent in this approach.
Sticking to a bottom-up approach, all the four-fermion, two-fermion-two-boson and four-boson amplitudes would next need to be considered. As in the ψ c ψZh case we discussed, the unitarity of these four-point amplitudes would impose further constraints on both the renormalizable and non-renormalizable parameters introduced here. All relations JHEP01(2020)119 deriving from the underlying SU(2) L ×U(1) Y symmetry of the theory are expected to be obtained from four-and higher-point amplitudes. For an electroweak-like particle spectrum, this is indeed the only consistent ultraviolet completion. Before perturbative unitarity is imposed, our bottom-up construction also applies to more general theories featuring for instance a low-cutoff scale or non-linearly realized SU(2) L × U(1) Y symmetry. The breakdown of unitarity in such theories may be best probed by amplitudes with n > 4 vector boson and Higgs legs [54,55]. The general, relatively compact expressions for n-point amplitudes obtained in our approach will be useful starting points for this study. It will also be interesting to use these results in order to explore the relation between the high-energy behavior and analytic structure of the amplitudes, and the non-analytic Higgs potentials featured in EFTs beyond the SMEFT [56].
The soft limits of on-shell EFT amplitudes have yielded powerful restrictions on general EFTs [57][58][59][60][61][62][63], and it would be interesting to explore them in the case at hand. Amplitudes with Goldstone bosons should vanish in this limit, while the soft-Higgs limit amounts to setting the Higgs to its vacuum expectation value [47].

JHEP01(2020)119
The commutator for the dipole operators is defined as To simplify the notation we introduce the "half-brackets" where the λ α andλα are commuting and independent two-dimensional complex vectors (undotted and dotted index spinors, respectively). Indices of the spinor brackets are contracted by The two-component Levi-Civita tensors are defined as in ref. [64], 11 For massive particles, the momentum is given by the massive spinor brackets, In eq. (A.9) we used boldface for the massive momentum. At this point, this is just a matter of convenience, and we will use this notation throughout to help distinguish massive from massless momenta. The significance of the bold spinor notation for treating massive particles of nonzero spin will be explained below.
The equations of motion are, In addition, the massive spinor bilinears satisfy, 11 Note however that our convention for the totally antisymmetric tensor µνρσ is opposite to that of ref. [64]: we adopt 0123 = +1 as in ref. [12], where the Warsaw basis of SMEFT operators is defined.

JHEP01(2020)119
and For a real momentum, the dotted and undotted spinors are related by complex conjugation, For negative-energy spinors, the complex conjugation introduces an extra minus sign. Dirac spinors are then given by, and satisfy the equations of motion, orthogonality conditions, and spin sums,

A.1 The high-energy limit
For a given massive momentum p, different choices of p I=1 are possible (with p I=2 = p − p I=1 ). In order to make contact with helicity amplitudes, the spatial direction of the p I 's can be chosen along the direction of motion of the particle. It will be convenient to denote [8], k then scales with E in the high-energy limit, while q scales with m 2 /E. We have,

JHEP01(2020)119
The spinors |k and |q are given by, where φ k and φ q are arbitrary phases. Note that, choosing k parallel to p, the |p I and |p I ] spinors reduce to massless spinors of definite helicity, with I = 1 (I = 2) corresponding to positive (negative) helicities. Other choices are naturally possible, and give different spin quantization axes. 12 A.2 Massive particles of non-zero spin: bold notation Obviously, the doublet of massless spinors can be used to span the polarizations of massive fermions. Its utility is more general however, since any higher spin can be obtained from symmetric combinations of spin-1/2 representations.
Reference [21] introduced bold notation to implicitly indicate symmetric combinations of the SU(2) little-group indices of massive spinors. To keep track of massive momenta, we will also bold massive fermion (or scalar) spinors and momenta, although a symmetrization is only relevant for particles of spin one or higher. We find it convenient to use the standard Clebsch-Gordan 1/ √ 2 to define the symmetric combination of the two doublets, With this definition, simple prescriptions are obtained for amplitudes M IJ and polarization vectors ε IJ of definite helicities: X + = X 11 , X − = X 22 and X 0 = X 12 = X 21 . 13 12 For general expressions for the k, q spinors see ref. [8]. 13 Instead, with e.g. 31

A.3 Massive polarization vectors
The polarization vector of a massive vector boson of momentum p and mass m is [30]: which corresponds to two transverse (+, −) and one longitudinal (0) modes: (A.36) These massive polarization vectors satisfy the ordinary normalization for the vector boson, The polarization sum gives which also corresponds to the numerator of the massive vector propagator in the unitary gauge.
In the massless limit, the massive polarization vector matches the massless polarization vectors; for I = J = 1, where the k and q spinor notation is given in section A.1. For I = J = 2, where |ζ], |ζ , are reference spinors. Note that the definition of ε + αα has a relative sign difference with respect to that of ref. [8].

A.4 Useful identities
If |i , |j are independent spinors, any third spinor |k can be written as, where a, b are complex coefficients. The coefficients a and b are determined by multiplying, for instance by i|.

JHEP01(2020)119
We can obtain similar identities starting from, In the m 1 = m 2 limit, we find and similarly, ζ13] ζ3

A.5 Massive gluing with non-zero spin
When gluing two amplitudes to obtain higher-point amplitudes, one (or more) external leg has to be treated as outgoing. The spinors associated with this outgoing leg must be contracted with the spinors associated with the incoming leg on the "other side". Here we clarify our conventions for the polarization associated with the external outgoing leg and the resulting contractions. To derive these, we consider the product of two amplitudes with a vector propagator, and require that the correct propagator is reproduced. For a propagating vector of mass m, we have: There are no J,J indices for a propagating massive fermion, and no indices at all for a propagating scalar. The overall minus sign corresponds to the two factors of i that appear in each of the vertices in a Feynman-rule computation. In the second amplitude M 2 ,

JHEP01(2020)119
the propagating momentum p is flipped from incoming to outgoing. (Our convention is that all momenta are otherwise incoming.) We denote this outgoing momentum asp and the corresponding spinors as p| and [p|. Special contraction rules apply for such flippedmomenta spinors: where the summation over I is implicit. A plus sign appears in the right-hand side of all these sum rules, in contrast the usual (see eq. (A.9) and (A.15)): For a propagating vector, flipping the momentum in one amplitude or the other (exchanging 1 and 2 labels above) yields the same final result. For fermion propagators (in fermionnumber conserving interactions), the fermion flow has to be followed. The flipped momentum should be taken at the vertex with outgoing propagating fermion flow. If all IJ indices are carried by polarization vectors, the prescription above consistently reproduces the unitary gauge propagator: (A.65) For a propagating fermion, one also obtains the desired expression: A.6 Spin magnetic dipole moment (g-factor) To demonstrate the application of the massive spinor techniques, we give a detailed derivation of the fermion g-factor. Our derivation closely follows ref. [30], although we differ by factors of two along the way. In the process, we also derive the Gordon identity using the massive spinor formalism. We start from the amplitudes of eq. (3.6), whose terms are separately well-behaved in the high-energy limit. The first and third (and also the second and fourth) identities in eq. (3.5) give the following relations:

JHEP01(2020)119
We can therefore also re-express eq. (3.6) as: Note that in the high-energy limit, two 1/m ψ singularities are canceled between the first and second terms, so that one still obtains good high-energy behavior. The relations in eq. (A.68) actually correspond to the Gordon identity [65]: where p 1 and p 2 are incoming momenta for 1 ψ c and 2 ψ , respectively, and σ µν ≡ i[γ µ , γ ν ]/2. Multiplying eq. (A.71) by ε + 3 or ε − 3 and using three-point kinematics p 1 + p 2 = −p 3 , one immediately finds that the first and second terms of the right-hand side coincide with that of eq. (A.68). In the non-relativistic limit, the first term corresponds to an interaction independent of 1, 2 spins because all the coefficients of [1 I 2 J ] and 1 I 2 J with any I, J are the same, and the coefficient ζ13]/ ζ3 (or [ζ13 /[ζ3]) corresponds to the spinor structure of a φ + φ − γ amplitude (see section 3.7), namely the scalar QED interaction. On the other hand, the second term is a spin-dependent magnetic dipole moment [4]. This can be seen by noting that the second term of eq. (A.68) vanishes when the [1| and |2] spinors (or 1| and |2 ones) are factored out and the resulting tensor contracted with αβ (or αβ ) to obtain the amplitude for a scalar from that of a fermion.

B Tree-level matching to the broken-phase SMEFT
In this section, we match the coefficients of the massive three-point amplitudes of section 3, and the four-point amplitude ψ c ψZh of section 4, onto the SMEFT in the broken electroweak phase [48]. The Lagrangian of ref. [48], which includes operators of dimension ≤ 6, is based on the Warsaw basis [12]. All fields are canonically normalized (see also refs. [67,68]). The matching relations we provide extend the work of ref. [27] to include fermionic three-point amplitudes, as well as the ψ c ψZh amplitude. Since our toy model has a single generation, the CKM matrix is set to the unit matrix. Working up to dimension-six, the SMEFT Lagrangian in the symmetric electroweak phase is given by In the broken electroweak phase, the covariant derivative becomes and 16 To see this, note that the magnetic field four-vector and spin operator are given by, where h is the photon helicity (for 0123 = +1 = − 0123 ). One then for instance obtains: The second terms of eq. (A.69) amplitudes are then, In the rest frame of ψ2 where p2 = (m, 0, 0, 0), S · B h = − S · B h holds. Using c ψ c ψγ = −Q ψ e, we obtain the Hamiltonian On the other hand, the spin magnetic dipole moment (and g-factor) is defined by where the covariant derivative is Dµψ = (∂µ + iQ ψ eAµ)ψ [66]. Compared to eq. (A.80), we obtain g = 2.

JHEP01(2020)119
with v 246 GeV.Ḡ A µ is the canonically normalized gluon field, and the canonically normalized W ± µ bosons are The canonically normalized Z µ and A µ are a linear combination ofB µ andW 3 µ [48]. The Z-boson mass is Finally, the canonically normalized Higgs field has mass: In order to fixḡ,ḡ , λ, and v from measurements, one has to choose an input scheme. In an on-shell amplitude context, it would be appropriate to use pole masses as input parameters, necessarily complemented by an additional measurement like that of G F or α EM .

B.1 ψ c ψZ
The general form of the massive ψ c ψZ amplitude is

JHEP01(2020)119
Here, we usedψ General form: or equivalently (see the last two equalities of eq. (3.5)), We obtain where we used and similarly,ψ

C Massless amplitudes
For completeness, we collect in this section the massless three-point amplitudes. These are fully determined by little-group covariance. Recall that three-point amplitudes can only be written in terms of complex momenta, and involve either square or angle brackets (see e.g., ref. [6]). Furthermore, they should vanish when all momenta tend to zero together (and become real).
The coefficients of the (+−+) and (+−−) (or (−++) and (−+−)) amplitudes are identical since the two helicities of the massless vector are part of the same irreducible representation of the Lorentz group. The relative sign between them is fixed by re-expressing the amplitudes in terms of polarization vectors. The 1ε ± 3 2] structures should for instance have identical coefficients. The [12] 2 /[13] [23] spinorial structure that one could have written down for the (++−) amplitude is forbidden as it does not vanish as all momenta tend to zero. The same reasoning applies also to the 12 2 / 12 23 structure and the (−−+) amplitude. These amplitudes are antisymmetric under 1 ↔ 2 exchange and therefore vanish if S and S are identical scalars. Again, we have imposed that the two amplitudes, expressed in terms of polarization vectors (as (p 1 − p 2 ) · ε ± 3 ) arise with the same coefficient since the two vector helicities are part of the same irreducible representation of the Lorentz group. This implies that parity is conserved in the massless SS V amplitude. Here again, the two amplitudes that one can re-express in terms of polarization vectors as (p 1 · ε ± 2 )(p 2 · ε ± 1 ) are forced to have identical coefficients.

C.3 Two fermions, one vector and one scalar
In this section, we derive the non-factorizable parts of the massless F F V S four-point amplitude. It can be spanned by only one type of bracket, square or angle. We choose to span the amplitude by where the c F F V S are dimensionless functions of s ij /Λ. We however exclude spinor bilinear in denominators and therefore implicitly use equalities of the type 1/[ij] = ji /2(p i · p j ) to remove them. We then obtain: (C.8)