A Complete Set of 4-Point Amplitudes in the Constructive Standard Model

We present a complete set of 4-point amplitudes in the constructive Standard Model at tree level. Any 4-point amplitude can be obtained from the results presented here by a suitable choice of masses, a permutation of the particles (by crossing symmetry), and a reversal of the momenta of the outgoing particles. We have validated all of these amplitudes by comparing with Feynman diagrams for a variety of masses, scattering energy and angles, and helicities of the photons and gluons, when they are in the initial states. The standard constructive techniques work for these amplitudes without the need for any contact terms and indeed, contact terms are not allowed. Only three 4-point vertices are used (allowed), involving the Higgs boson and the W and Z bosons. When external photons or gluons are present, the amplitude simplifies to a single spinor-product structure, present in the numerator. In a few cases, however, the propagator structure is more complex, with different terms depending on the charge or color structure. In the case of internal photons or gluons, we find that the massless limit of a massive photon or gluon diagram gives the correct result in all cases. We have additionally found that using the $x$ factor directly gives the correct result in all cases and agrees with the massless limit calculation.

Ever since the breath-taking result of Parke and Taylor [1], where the maximally-helicity-violating gluon amplitude could be written in a single mathematical expression no matter how many thousands or millions of Feynman diagrams were required, it has been realized that Feynman diagrams are not the most economical or the most efficient method to calculate scattering amplitudes.As research continued, this view was further solidified, culminating in the discovery of a complete recursion algorithm for calculating any pure gluon scattering amplitude [2][3][4][5].Another milestone for this constructive method was the generalization to any mass and any spin [6].With this development, it was possible, in principle, to calculate any scattering amplitude using recursion relations and bypassing field theory and Feynman diagrams all together.The full set of 3-point vertices of the constructive SM (CSM) was released [7] and some 4and 5-point amplitudes that did not involve photons or gluons were calculated [8], as well as many other calculations [9][10][11][12][13][14][15][16][17][18][19][20][21].
At this point, we intended to analyze perturbative unitarity in the CSM as a way of discovering the 4-point vertices and then calculate the full set of 4-point amplitudes in the CSM.However, an issue with photons and gluons along internal lines (such as in the processes W W → W W and t t → W W ) created a roadblock for these calculations [22].A workaround was found in that paper by using a massive photon (or gluon) and then taking the massless limit at the end.Soon afterwards, [23] showed that the x factor [6] had a term that vanished on-shell, that had been missed in earlier calculations, which allowed the correct amplitude for the process eē → µμ to be obtained using the x factor, and [24] found the correct momentum shift and clarified further why the constructive method works for this process, finalizing the resolution of the challenge.
With this resolution of the perceived issue with the internal photons and gluons, it became possible again to analyze perturbative unitarity and determine the complete set of 4-point vertices in the CSM.We did this in a companion to this paper [25], where we showed that the CSM is perturbatively unitary and that only three 4-point vertices are required.In that paper, we give a complete set of 4-point vertices in the CSM and note that this set is smaller than the set of 4-point vertices in Feynman diagrams.Not only do we not need the 4-gluon vertex (which was already known), but we also do not need a 4-point vertex for γZW W , γγW W , ZZ W W or W W W W . Indeed, they are not allowed.
We further show in that paper that any process that involves a 4-point vertex involving a massive vector boson has a significant rearrangement of contributions to the scattering amplitude relative to Feynman diagrams.That is, even if there is a superficial resemblance of the Feynman diagrams and the constructive diagrams, these diagrams do not contribute identically to the final amplitude.The constructive diagrams are not always equal to Feynman diagrams, written in spinor notation.Often they are, but not when there is a 4-point vertex involving a massive vector boson.We emphasize that we found this to be true even in amplitudes that do not involve any photons or gluons at all (ZZ → W W , W W → W W , hh → ZZ and hh → W W ), so that, in these cases, this has nothing to do massless helicity-±1 particles in the diagram.
With a complete set of 3-and 4-point vertices, we have carried out a calculation of a complete set of 4-point amplitudes in the CSM, and present our results in this paper.By complete, we mean that any tree-level 4-point amplitude in the CSM can be obtained from the results presented here by a suitable change of masses, rearrangement of particle numbers (by crossing symmetry) and a reversal of the momenta of any outgoing particles.(All the amplitudes presented in this paper have all momenta ingoing.)We note that we use the convention that the numbers in the spinor products and momenta refer to the order of the particles in the amplitude.Furthermore, a spinor with a bold number represents a massive spinor, while a spinor with a non-bold number represents a massless spinor.
Additionally, we have validated all these amplitudes by comparing with Feynman diagrams in the following way.We realized early in this project that comparing the analytic expression for the squared amplitudes was increasingly too complicated.Therefore, we set out to create a numerical computational package that could calculate any constructive scattering amplitude at any phase-space point.This work culminated in the package SPINAS, which we publish in another companion to this paper [26].Using this package, we implemented every amplitude described in this paper for a variety of masses, scattering energies, and angles.Further, we tested at least two amplitudes related by crossing symmetry for each expression.And, whenever a photon or gluon was in the initial state, we also validated the amplitude for their individual helicities.All together, we validated the amplitude for 137 processes.Moreover, any interested person can download the SPINAS code, which comes with this complete set of implemented 4-point CSM amplitudes and their validations, and run them independently.They can also use these as a starting point in the implementation of their own constructive amplitudes.
As we calculated and validated all the 4-point amplitudes in the CSM, we found that the amplitudes resulted from the direct application of the constructive rules, with two caveats to be described in the next paragraphs.Some diagrams required a complicated set of simplification procedures involving the application of mass identities, Schouten identities, rearrangements or momenta and the application of conservation of energy, but in the end they could be reduced to a form that agreed with Feynman diagrams.This further solidified our claim that no contact terms beyond the small set of (expected) 4-point vertices described in [25] were needed.In deed, we find that adding contact terms would ruin the agreement with Feynman diagrams at 4-point tree level.Furthermore, we conjecture that the 3-point vertices and the 4-point vertices described in [7,25] are all that are needed for any multiplicity and any loop in the CSM and that a similar statement would apply to any renormalizable theory.
For the few diagrams with internal photons (or gluons) but massive external particles, we initially used a massive photon and took the massless limit, as we described in [22].This worked for all amplitudes in the CSM, including f f f f , f f W W and W W W W . Afterwards, we also calculated these amplitudes using the insight of [23] and found that we could obtain agreement with the validated expressions directly using the x factor as well.We have reviewed the use of the x factor for f f f f and shown how to use it for f f W W and W W W W in App. A.
Although the standard methods were sufficient to find the right spinor amplitude structures otherwise, we did find that in some cases involving external photons or gluons, obtaining the correct propagator structure required some further details.If there were only two diagrams that could potentially contribute to the amplitude, we found that they both gave identical results.However, if three diagrams potentially contributed, we found that only two propagator denominators contributed per term and that their coefficients depended on the electric charge or color structure.To be more precise, if the photon or gluon interacts with different particles in the different diagrams that have different electric charge or color structure, then the coefficient of each propagator term will depend on those charges or color structures.
One example of this is the amplitude for f 1 f2 γW , where f 1 and f 2 are fermions (found in Sec.III C), where the photon interacts with f 1 in one diagram (with charge Q 1 ), f 2 in another diagram (with charge Q 2 ) and with the W boson in the final diagram (with charge Q W ). All together, there is only one numerator including all the spinor products for all three diagrams, but the propagator structure has two terms (in its simplest form), with coefficients that depend on the charges.Another example is the amplitude for q qgg for a quark-anti-quark pair and two gluons (found in Sec.III D).The interaction of the two gluons and the quark in the T-and U-channel diagrams have the same color structure, but the S-channel diagram has a triple-gluon vertex and a single gluon-quark vertex.This last diagram has a different color structure.All together, once again, the numerator has the same structure for all three diagrams (including all the spinor products), but the propagator structure is more complicated.Further details can be found in that section.
As a final comment about the general structure of the amplitudes, we note that every amplitude involving an external photon or gluon simplified to a single numerator term (containing all the spinor products).Often the propagator structure was simple and only had a single term, while a few had more complicated propagator structures, as described above.All of these amplitudes are very obviously simpler than their Feynman counterparts and are a significant rearrangement of contributions to the amplitude, again compared to their Feynman diagram alternatives.In deed, each of these amplitudes is trivially gauge invariant since they do not have a gauge parameter and there are no unphysical degrees of freedom to cancel that would require a gauge symmetry.Each of these single simple expressions are physically meaningful.All these amplitudes are described in Sec.III.Otherwise, all the amplitudes that do not have an external photon or gluon, require the same number of diagrams as Feynman diagrams, even if in some cases the contributions from the diagrams is rearranged, as we discussed previously.
The structure of this paper is as follows: Section II addresses 4-fermion amplitudes.In Section III, we present amplitudes with external photons or gluons.Section IV details the remaining 4-point amplitudes without 4-point vertices, while Section V discusses those with 4-point vertices.In Section VII, we conclude.We consider the x factor in the amplitude for f f f f , f f W W and W W W W in App. A.

II. 4-FERMION AMPLITUDES
In this section, we present the 4-point amplitudes with four fermions.They all have a similar set of diagrams, so we will first give a set of diagram contributions and then we will describe which diagrams contribute to each amplitude.

A. f1 f1 f2f2
We begin with two fermion, anti-fermion pairs with a neutral boson connecting the pairs.If there is a photon or a gluon connecting them, the S-channel contribution is [22,23] where Q is the charge in units of e.If this is a gluon contribution, then replace Q 1 Q 2 e 2 with g 2 s and include a QCD matrix T a for each vertex, namely a T i1 a i2 T i4 a i3 , where i 1 , i 2 , i 3 and i 4 are the colors of the quarks.If f 2 is the same as f 1 , then a photon or gluon can connect them in the T channel as well, giving the contribution where the minus sign for interchanging identical fermions is already taken into account.If this is a gluon diagram then, again, replace Q 1 Q 2 e 2 with g 2 s and include a T i1 a i3 T i4 a i2 .There is also a Higgs contribution in the S channel, given by We are now prepared to consider specific cases of 4-fermion amplitudes of this type.We will begin with the simplest cases with four neutrinos and build our way towards the more complicated amplitudes with four quarks.We begin with two neutrino pairs of different generations.For this amplitude, we only have a contribution from the Z boson in the S channel and g Lν = 1 and g Rν = 0.In this case, since the expression is so simple, we give the explicit formula.The amplitude is where ν 1 = ν 2 .We note that this is the only possible spinor producta allowed (without an intermediate momentum), consdering the helicities of the neutrinos.We have validated this amplitude against Feynman diagrams in the processes ν e νe → ν µ νµ and ν e ν µ → ν e ν µ in SPINAS for a variety of masses (values of M Z in this case) and collider energies.
On the other hand, if the neutrinos are from the same generation, we have a contribution from the Z in both the S and T channels.Our amplitude is We have validated this amplitude against Feynman diagrams in the processes ν e νe → ν e νe and ν e ν e → ν e ν e in SPINAS for a variety of masses and collider energies.We next consider two fermions and two neutrinos, where the two fermions are either charged leptons of a different generation or any quarks.We still only have contributions from the Z boson in the S channel, giving us where and the quark colors are the same if f is a quark (there is a δ i1 i2 ).We have validated this amplitude against Feynman diagrams in the processes eē → ν µ νµ , eν µ → eν µ , , uū → ν e νe , uν µ → ν µ u, d d → ν e νe , dν µ → ν µ d in SPINAS for a variety of masses and collider energies.
On the other hand, if the charged lepton and neutrinos are from the same generation, we have a contribution from the Z in the S channel as well as a contribution from the W in the T channel.All together, we have We have validated this amplitude against Feynman diagrams in the processes eē → ν e νe , eν e → ν e e in SPINAS for a variety of masses and collider energies.We next consider two charged leptons and two fermions that are not neutrinos and not from the same generation if charged leptons.The amplitude is where We have validated this amplitude against Feynman diagrams in the processes eē → eē and ee → ee in SPINAS for a variety of masses and collider energies.
We next consider two pairs of quarks from different generations.We have where i 1 , i 2 , i 3 and i 4 are the colors of the quarks.We have validated this amplitude against Feynman diagrams in the processes uū → cc, uc → uc, uū → ss, us → us, d d → ss and ds → ds in SPINAS for a variety of masses and collider energies.If all four quarks are of the same type, we obtain We have validated this amplitude against Feynman diagrams in the processes uū → uū, uu → uu, d d → d d and dd → dd in SPINAS for a variety of masses and collider energies.
If we have a quark and its isospin partner, we have We have validated this amplitude against Feynman diagrams in the processes uū → d d and ud → ud in SPINAS for a variety of masses and collider energies.

B. f1 f2 f3f4
In this subsection, we consider 4-fermion amplitudes with a charged S channel.We also found them in [8].There is one contribution, from a W boson in the S channel.The amplitude is We begin with two charged lepton neutrino pairs of different generations.The amplitude is where m 1 and m 2 are the masses of the charged leptons.We have validated this amplitude against Feynman diagrams in the processes µē → νe ν µ and µν e → eν µ in SPINAS for a variety of masses and collider energies.We next consider a lepton pair and a quark pair.We have We have validated this amplitude against Feynman diagrams in the processes u d → ν τ τ and uτ → ν τ d in SPINAS for a variety of masses and collider energies.
If we have two pairs of quarks from different generations, we have We have validated this amplitude against Feynman diagrams in the processes u d → t b and ub → dt in SPINAS for a variety of masses and collider energies.

III. AMPLITUDES WITH AN EXTERNAL PHOTON OR GLUON
In this section, we consider amplitudes that have an external photon or gluon.As we will see, they all simplify considerably to a single numerator multiplied by a propagator denominator structure and every term in the propagator denominator structure has at least two propagator denominators.Moreover, every term has no high-energy-growth terms as the energy growth of the numerator cancels against that of the denominator term for term [25].

A. f f γh and f f gh
These amplitudes were also found in [22].The amplitude can be calculated in either the T or the U channel.Both give the same amplitude.For a positive-helicity photon or gluon, the amplitude is To obtain the negative helicity amplitude, simply switch angle and square brackets ( ←→ []), to obtain If the amplitude is for a photon, there is also a Kronecker delta (δ i1 i2 ) for the colors if the fermions are quarks.If the amplitude is for a gluon, replace eQ f with g s and include a color matrix T i1 a i2 for the colors.We have validated this amplitude against Feynman diagrams in the processes eē → γh, eγ → eh, uū → γh, uγ → uh, d d → γh, dγ → dh, ug → uh, hg → uū, dg → dh and hg → d d in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photon and gluon when in the initial state for each of these masses and energies.

B. f f γZ and f f gZ
We get the same result whether we calculate this in the T or the U channel.For the positive helicity photon or gluon, we have For the negative helicity photon or gluon, switch the angle and square brackets ( ←→ []) and switch the chiral couplings (g L ←→ g R ), to obtain As for the previous amplitude, if the fermion is a quark, there is a δ i1 i2 for the photon amplitude and a T i1 a i2 for the gluon amplitude, in addition to replacing eQ f with g s .We have validated this amplitude against Feynman diagrams in the processes γZ → ēe, γe → Ze, γZ → ūu, γu → Zu, γZ → dd, γd → Zd, gZ → ūu, gu → Zu, gZ → dd and gd → Zd in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photon and gluon when in the initial state for each of these masses and energies.

C. q1q2gW and f1 f2γW
The amplitude for the gluon can be calculated in either the T or the U channel, giving the same result, which, for positive-helicity gluons, is This expression differs from the left-chiral part of the Z boson amplitude from the previous subsection because the masses of the two fermions are different.This amplitude doesn't simplify as much as the Z-boson vertex did.For negative helicity gluons, it is not as simple as interchanging angle and square brackets, because we would also have to interchange the left-and right-chiral couplings for the W boson (see the previous subsection with the Z boson).But, since the W boson only couples to the left-chiral fermions, we don't have both expression to interchange.We find Although it isn't a simple transformation of the positive-helicity case, we can see a resemblance to the right-chiral part of the Z-boson amplitude from the previous subsection, after switching angle and square brackets.But, once again, the masses of the two fermions are different here, so it is not an exact correspondence.We have validated this amplitude against Feynman diagrams in the processes dW → gu and gW → u d in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the gluon when in the initial state for each of these masses and energies.
For the photon process, there are three possible diagrams for the quarks, but two for the leptons.We will describe the amplitude in the case of three diagrams and then consider the lepton case as a special case.In the previous photon cases, where there were only two possible diagrams, either diagram could be used to obtain the amplitude and obtain identical results, a final amplitude with both propagator denominators combined.However, in this case, we have three propagator denominators, but we still only have two propagator denominators combined per term.Moreover, the electric charge of the particle that the photon connects to is different in each of the diagrams.This results in a slightly more complicated amplitude.
The numerator expression with the spinor products is the same for all three diagrams.It is only the charge and the propagator denominators that is different for each diagram.We find that we have to combine the propagator denominators with the charge to obtain the correct amplitude, which is If the fermion is a quark, then there is also a Kronecker delta for the colors.We have validated this amplitude against Feynman diagrams in the processes ūd → γ W and γW → u d in SPINAS for a variety of masses and collider energies.
We have additionally validated it for the individual helicities of the gluon when in the initial state for each of these masses and energies.The propagator part is equivalent to the following form 1 3 where The three terms come from each of the three diagrams.Each one has the charge of the particle that connects with the photon as well as its propagator denominator.Additionally, each has one of the other propagator denominators.However, the two extra propagator denominators are equivalent when the particle attached to the photon is on shell.For example, for the W S-channel diagram, we have Q W /(s − M 2 W ). In addition, we have either 1/(t − m 2 1 ) or −1/(u − m 2 2 ), which are related by s ).Both of these possibilities are included.Finally, the entire combination reduces to the simpler form that we present in Eq. ( 27).The longer form may be useful as we explore higher-multiplicity amplitudes.
For leptons, this amplitude simplifies considerably.Since one of the diagrams does not contribute (because the neutrino is electrically neutral), we only have two diagrams, and once again, either diagram can be used and they give identical results.The amplitude is We have validated this amplitude against Feynman diagrams in the processes ēν e → γW and γν e → W e in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photon when in the initial state for each of these masses and energies.

D. f f γγ, f f gγ and f f gg
The amplitude with two photons or one gluon and one photon has two possible diagrams, one in the T channel and the other in the U channel.These amplitudes were also found in [22].Both give identical results, which is for the case where both bosons have positive helicity and where the bosons have opposite helicity.For the other helicity combinations, simply interchange angle and square brackets to obtain and If the fermions are quarks, there is also a δ i1 i2 for the colors if particles 3 and 4 are photons.If the the third particle is a gluon, then replace one power of Q f e with g s and include T i1 a i2 for the colors.We have validated this amplitude against Feynman diagrams in the processes eē → γγ, eγ → γe, γγ → eē, uū → γγ, uγ → γu, γγ → uū, d d → γγ, dγ → γd, γγ → d d, gγ → uū, gu → γu, gγ → d d and gd → γd in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photons and gluons when in the initial state for each of these masses and energies.
For the case of two gluons, we have three possible diagrams, with the addition of a gluon S-channel diagram.Although, in this case, unlike f 1 f2 γW from the previous subsection, there aren't different charges to deal with, there is a more complicated color structure, between the diagrams.Once again, the structure of the numerator with all the spinor products is the same for all three diagrams.We only need to worry about the propagators and the colors.
However, the propagator structure for the amplitude is not simply a combination of the denominators and products of the QCD matrices and Kronecker delta functions for the colors.In order to give the result in the simplest way, we first specify the numerators of the amplitudes, which are for the case where both gluons have positive helicity and where the gluons have opposite helicity.For the other helicity combinations, simply interchange angle and square brackets.All the helicity combinations have the same propagator denominators and color structure.We only have the result with the propagators and colors for the squared amplitude.We find for each of the helicity combinations, after summing over colors.We have validated this amplitude squared against Feynman diagrams in the processes gg → uū, gu → gu, gg → d d and gd → gd in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the gluons when in the initial state for each of these masses and energies.
We do not know a natural way to write the propagator part of this amplitude before squaring and including the color structure that directly gives this result.In previous processes, we have only had two diagrams, and only obtained a single term.In those cases, the color structure was simple and its square gave the appropriate factor.In this case however, if we were to write each combination of two propagator denominators and assign each a color factor, it is difficult to obtain both the correct factors for the terms that are in the final squared amplitude and vanishing cross terms (such as 1/[s 2 (t − m 2 q )(u − m 2 q )]).There are some hints though, and we know how to produce this final result.The numerator factors come from traces of the color matrices in the following way: The first is the product of the color part of the S and T diagrams, the second is minus the product of the color part of the S and the U diagrams, and the third is the product of the color part of the T and the U diagrams.
In order to understand the signs, note that if we begin with the S-channel diagram, the denominator is either 1/(s(t − m 2 q )) or −1/(s(u − m 2 q )) since when the S-channel diagram is on shell, (t − m 2 q ) = −(u − m 2 q ), suggesting a sign difference between these two terms.The sign between these propagator denominators then cancels the sign in abc f abc Tr (T a T b T c ).Finally, if we had −1/(s(u − m 2 q )) in the U-channel diagram, it would be equivalent to 1/((t − m 2 q )(u − m 2 q )), giving a positive sign for abc Tr (T a T b T a T b ).To say it more succinctly, we can understand the sign in front of the color traces as switching in the order 1/(s(t − m 2 q )) → −1/(s(u − m 2 q )) → 1/((t − m 2 q )(u − m 2 q )), giving a relative minus sign for the S-U diagram.

E. γhW W
This amplitude can be obtained from either the T or the U channel.They give identical results.The amplitude for positive photon helicity is The negative-helicity amplitude is obtained by interchanging angle and square brackets and is We have validated this amplitude squared against Feynman diagrams in the processes γh → W W and γW → W h in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photons when in the initial state for each of these masses and energies.

F. γZ WW
We show that this amplitude does not require a 4-point vertex, unlike Feynman diagrams, and is perturbatively unitary without one.That is, we find that there is no high-energy growth in this amplitude in the absence of a 4-point vertex [25].We can obtain this amplitude from either the T-or U-channel diagram.The identical result, for positive helicity, is In fact, we can see by inspection that both the numerator and the denominator grow quartically with energy, resulting in at most a constant at high energy.Thus this amplitude is perturbatively unitary and has no need for a 4-point vertex to cancel the high energy growth.The negative-helicity amplitude is obtained by interchanging angle and square brackets.It is We have validated this amplitude squared against Feynman diagrams in the processes γZ → W W and γW → ZW in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photons when in the initial state for each of these masses and energies.

G. γγ WW
As in the previous subsection, we show that this amplitude does not require a 4-point vertex, unlike Feynman diagrams, and is perturbatively unitary without one in [25].The T-and U-channel diagrams give an identical result.If both photons have positive helicity, the amplitude is If the photons have opposite helicity, we have The amplitudes for the other helicity combinations are given by interchange of the angle and square brackets.They are and This last helicity combination can also be obtained from M γ + γ − W W by interchanging particles 1 and 2. We have validated this amplitude squared against Feynman diagrams in the processes γγ → W W and γW → γW in SPINAS for a variety of masses and collider energies.We have additionally validated it for the individual helicities of the photons when in the initial state for each of these masses and energies.

H. gggg
The amplitude for this process is well known [1][2][3][4], but we give it here for completeness.As for the f f gg process above, each diagram contributes the same to the numerator, but the color structure is different for each propagator denominator.We don't have a simple form of the amplitude with propagator denominators and color matrices before squaring, so we give the numerators first and then follow them with the full squared amplitude.
We have six different non-zero color combinations and the other helicity combinations related by interchange of the angle and square brackets are All of these can also be obtained from the first by interchanging the position of the particles.Furthermore, all of these spinor products are completely determined by the helicity of the gluons.All the helicity combinations have the same propagator denominators and color structure.After squaring and summing over colors, we have for each helicity combination.We have validated this amplitude squared against Feynman diagrams in the processes gg → gg in SPINAS for all the combinations of initial helicities in addition to the case where all the helicities are summed over.Just as with f f gg, the factor 36 comes from summing over the gluons, as in where the first is the S-T color combination, the second is the S-U color combination and the third is the T-U color combination.Once again, we find the sign flip as we go from 1/(st) → −1/(su) → 1/(tu).

IV. OTHER AMPLITUDES WITHOUT A 4-POINT VERTEX
In this section, we describe all the remaining 4-point amplitudes that do not involve a 4-point vertex.

A. f f hh
We begin with a fermion-anti-fermion pair and two Higgs bosons.There is a contribution from the Higgs in the S channel, given by There are also contributions from the fermion in the T and U channels, given by and The total amplitude is If the fermion is a quark, then there is also a color delta function, ensuring the colors are the same.We have validated this amplitude against Feynman diagrams in the processes eē → hh, eh → eh, uū → hh, uh → uh, d d → hh and dh → dh in SPINAS for a variety of masses and collider energies.

B. f f Zh
Our next amplitude involves a fermion-anti-fermion pair, a Z boson and a Higgs boson.There is a contribution from the Z boson in the S channel, given by There is also a contribution by the fermion in the T and U channels, given by and The neutrino amplitude is particularly simple.It only has a contribution from the Z boson in the S channel, and is We have validated this amplitude against Feynman diagrams in the processes ν e νe → Zh and ν e Z → ν e h in SPINAS for a variety of masses and collider energies.
For charged leptons and quarks, we have with a Kronecker delta for the color if the fermion is a quark.We have validated this amplitude against Feynman diagrams in the processes eē → Zh, eZ → eh, uū → Zh, uZ → uh, d d → Zh and dZ → dh in SPINAS for a variety of masses and collider energies.

C. f1 f2 Wh and f1f2Wh
We now consider a fermion and the antifermion of its isospin partner along with an anti-W boson and a Higgs boson.There is a contribution from a W boson in the S channel, given by There are also contributions from the fermions in the T and U channels, given by and For the leptons, we have the S and T channels, giving us where m 1 = 0. We have validated this amplitude against Feynman diagrams in the processes ēν e → W h and hν e → W e in SPINAS for a variety of masses and collider energies.
For the quarks, we have all three channels, giving We have validated this amplitude against Feynman diagrams in the processes u d → W h and uh → W d in SPINAS for a variety of masses and collider energies.
The amplitude for f1 f 2 W h, on the other hand, is obtained from Eqs. ( 61) through (65), by simply interchanging angle and square brackets ( ←→ []).

D. f f WW
For this amplitude, we have a contribution from the Higgs in the S channel, which is The contribution from the isospin partner in the T channel contributes if the isospin of f is + 1 2 .It is If the isospin of f is − 1 2 , the contribution from the isospin partner is in the U channel, and is The contribution from the photon in the S channel is We found this by using a massive photon and taking the massless limit at the end of the calculation.We have also confirmed that this result can be obtained by use of the x factor (and a massless photon) and show this derivation in App. A. The contribution from the Z boson in the S channel is If the fermion is a neutrino, we only have the electron T-channel diagram and the Z boson S-channel diagram.All together, the amplitude is [23] + 13 [24]) ( 34 where l represents the charged lepton partner of the neutrino.We have validated this amplitude against Feynman diagrams in the processes ν e νe → W W and ν e W → W ν e in SPINAS for a variety of masses and collider energies.
The amplitude for up-type quarks doesn't simplify, but also includes the T-channel diagram, giving where u stands for any of u, c or t and d stands for d, s or b, respectively.We have validated this amplitude against Feynman diagrams in the processes uū → W W and uW → W u in SPINAS for a variety of masses and collider energies.
For the charged leptons and down-type quarks, we have where f stands for any of e, µ, τ, d, s or b and f ′ stands for ν e , ν µ , ν τ , u, c or t, respectively.There is also a Kronecker delta for the colors if f is a quark.We have validated this amplitude against Feynman diagrams in the processes eē → W W , eW → W e, d d → W W and dW → W d in SPINAS for a variety of masses and collider energies.

E. f f ZZ
The contribution from the Higgs in the S channel is where there is also a color Kronecker delta function when the fermion is a quark.The contributions from the fermion in the T and U channels are and where these contributions also have a color Kronecker delta function when the fermion is a quark.The neutrino amplitude is particularly simple, given by We have validated this amplitude against Feynman diagrams in the processes ν e νe → ZZ and ν e Z → Zν e in SPINAS for a variety of masses and collider energies.
For the other fermions, the amplitude is given by with a Kronecker delta for colors if f is a quark.We have validated this amplitude against Feynman diagrams in the processes eē → ZZ, eZ → Ze, uū → ZZ, uZ → Zu, d d → ZZ and dZ → Zd in SPINAS for a variety of masses and collider energies.

F. f1f2ZW and f1f2Z W
We begin with f1 f 2 ZW .The contribution from the W boson in the S channel is with a Kronecker delta for quarks.The contribution from f 1 in the T channel is with a Kronecker delta for quarks.
The contribution from the isospin partner in the U channel is with a Kronecker delta for quarks.
All together, we have times a color Kronecker delta for quarks.We have validated this amplitude against Feynman diagrams in the processes ūd → ZW and W d → Zu in SPINAS for a variety of masses and collider energies.We now turn to f1 f 2 Z W . M W S flips sign and interchanges f 1 and f 2 .We obtain with a Kronecker delta for quarks.For the T-and U-channel diagrams, the result is related to the previous results by f 1 ←→ f 2 .They are and both with a Kronecker delta for quarks.All together, we have times a color Kronecker delta for quarks.We have validated this amplitude against Feynman diagrams in the processes ēν e → ZW and Zν e → W e in SPINAS for a variety of masses and collider energies.

G. Zh WW
The contribution from the Z boson in the S channel is The contribution from a W boson in the T channel is The contribution from a W boson in the U channel is The combination of these gives the amplitude, We have validated this amplitude against Feynman diagrams in the processes Zh → W W and ZW → W h in SPINAS for a variety of masses and collider energies.

H. ZZZZ
This amplitude has contributions from the Higgs boson in the S, T and U channels.It is We have validated this amplitude against Feynman diagrams in the processes ZZ → ZZ in SPINAS for a variety of masses and collider energies.

I. ZZ WW
The amplitude in this subsection is also found in [26], but with particles 3 and 4 outgoing, where we show that it satisfies perturbative unitarity.
The contribution to the amplitude coming from an S-channel Higgs is The contribution to the amplitude coming from a T-channel W boson is The contribution from the U-channel W boson is The combined amplitude is We have validated this amplitude against Feynman diagrams in the processes ZZ → W W and ZW → ZW in SPINAS for a variety of masses and collider energies.

J. WW W W
The amplitude in this subsection is also found in [26], but with particles 3 and 4 outgoing, where we show that it satisfies perturbative unitarity.
The Higgs boson contributes in both the T and the U channels.The amplitudes with all particles incoming is The contribution coming from the photon in the T and U channels are Both of these diagrams were originally calculated using a massive photon and taking the massless limit at the end.However, we have also calculated it using the x factor (and a massless photon) and outline this derivation in App. A. The contribution coming from the Z boson in the T and U channels are 3c The total amplitude is We have validated this amplitude against Feynman diagrams in the processes W W → W W and W W → W W in SPINAS for a variety of masses and collider energies.

V. AMPLITUDES WITH A 4-POINT VERTEX
In this section, we consider amplitudes that require a 4-point vertex.The Higgs 4-point vertex is the same as in Feynman diagrams.We found the other 4-point vertices by considering perturbative unitarity [26].The amplitudes in this section, except for M hhhh , are also found in that paper, but with particles 3 and 4 outgoing.We include them for completeness.

A. hhhh
This amplitude is the same as with Feynman diagrams.We include it for completeness.It has contribution from a 4-point vertex and a Higgs in the S-, T-and U-channel diagrams.All together, we have We have validated this amplitude against Feynman diagrams in the processes hh → hh in SPINAS for a variety of masses and collider energies.

B. hhZZ and hh WW
Both these processes have very similar details.In fact, only the masses are changed between them.We will describe them together.
The contribution from the 4-point vertex, in both processes, is The contribution to both amplitudes coming from an S-channel Higgs, with all momenta incoming, is The contribution coming from a Z boson in the T and U channels are and The contribution coming from a W boson in the T and U channels are and Putting these together, we have and We have validated these amplitudes against Feynman diagrams in the processes hh → ZZ, hZ → Zh, hh → W W and hW → W h in SPINAS for a variety of masses and collider energies.

VI. ACKNOWLEDGEMENTS
We would like to thank Ishmam Mahbub and Zhen Liu for helpful discussions during the completion of this work.

VII. CONCLUSION
In this paper, we give a comprehensive set of 4-point amplitudes in the constructive Standard Model (CSM).Some of these amplitudes had previously been found but, here, we introduce the new results for the full amplitudes, including all the contributions, for f 1 f1 f 2 f2 (only the photon contribution was previously known), f f (γ/g)Z, and W W W W .The processes γZ W W , γγ W W , hhZZ, hh W W , ZZ W W and W W W W are presented simultaneously in a companion to this paper in [25], where we use perturbative unitarity to determine the absence of a 4-point vertex in the first two and the last two and we also find the nature of the 4-point vertex for hhZZ and hh W W .Any 4-point amplitude in the SM can be obtained from these by a suitable choice of masses and chiral couplings, a permutation of particles (crossing symmetry) and an inversion of the direction of the momentum of the outgoing particles (all the amplitudes presented in this paper are for all incoming particles).
Furthermore, we validated all these amplitudes in a large number of 2 → 2 processes by comparing them to Feynman rules at the squared amplitude level using our new computational package SPINAS, which numerically calculates phase-space points for constructive amplitudes, simultaneously published in a companion to this paper [26].Our validations include a comparison with Feynman diagrams over a variety of masses, scattering energies and angles.In fact, downloading the SPINAS package includes a SM directory containing all the code for our validations.Moreover, for every process, we compare with Feynman diagrams in at least two configurations related by crossing symmetry and for the separate helicities of the photons and gluons when they are in the initial state.Most of our calculations followed the standard rules of constructive amplitude calculations [4, 6-8, 22, 23, 25], although the simplification procedure was complicated in some cases.However, there were some new features that emerged when we calculated all the 4-point amplitudes with external photons and gluons, regarding the propagator structure, when more than 2 diagrams are possible.In particular, in Sec.III C, we showed that for the amplitude f 1 f2 γW , although the three diagrams gave the same spinor product expressions in the numerators, the propagator denominators and charges were different and resulted in a slightly more complicated propagator structure that is not obtained by only considering one diagram.Similarly, when considering the amplitude f f gg in Sec.III D, we find that the spinor product expression is the same between the three diagrams, but the propagator structure is more complicated.In fact, we don't have a simple way to write it for the amplitude that gives the correct squared amplitude, but we do have the correct squared propagator structure, including the contributions from the colors.Although we don't have a simple form for the amplitude propagator structure (before squaring), we do have a systematic way of obtaining its square, summed over colors, as we describe in that section.These statements also apply to gggg, although we assume the full structure was already well known in this case.We hope that these findings will support the calculation of higher-multiplicity amplitudes and their validation with Feynman rules at higher multiplicity.
In the future, we plan to extend these calculations to 5-point and 6-point amplitudes and to complete a general algorithm for generating any N-point amplitude in the CSM, and encapsulate it in a computational package and validate it against Feynman rules.Although most of the algorithm is expected to already be known, we think there are still some details to work out with regard to photons and gluons in the external states at higher multiplicity, especially when these photons and gluons are in an amplitude with more than one fermion line.Moreover, as we have discussed, we do not understand the propagator and color structure of amplitudes with more than one gluon in the external state before squaring.We hope that by analyzing further examples at 5-point, we will be able to elucidate this structure, and we will make this a matter of focus in upcoming projects.
Beyond this, we would like to explore complete sets of explicit CSM amplitudes at one loop.In principle, it should be possible to connect two legs of a diagram and integrate over the resulting loop momentum.For example, very briefly, if a massive fermion is present on two external legs of a 4-point amplitude, we could reverse the momentum of one and set it equal to the momentum of the other leg.We would also lower the spin index on one and contract it with the other, summing over it.This would result in either a momentum or a mass, depending on whether the spinors were different types (angle-square or square-angle) or the same type (angle-angle or square-square), respectively.With this, we will have a trace over momenta and mass in the loop, analogous to Feynman diagrams.Finally, the integration can be done, with the usual regularization for infinite integrals.We conjecture that the number of such regularized integrals requiring renormalization will be finite, and the CSM will be renormalizable.However, this must be proved.As always, we will report on our methodology and any subtelties and we will compare our results with Feynman diagrams to ensure our calculations are correct.
With regard to both higher-multiplicity and higher-loop amplitudes, we note in the companion to this paper [26] and in this paper that we did not need any contact terms at 4-points in the CSM, beyond the 4-point vertices we already had in Feynman rules and, indeed, we need fewer 4-point vertices in the CSM than in Feynman rules.In particular, unlike in Feynman rules, it was already well known that we do not need a 4-point gluon vertex, but we also showed that we do not need a γZ W W vertex, a γγ W W vertex, a ZZ W W vertex or a W W W W vertex.We expect this property to hold at all multiplicities and all orders in perturbation theory in a renormalizable theory such as the SM.We do not think this is any different in the CSM and, in fact, we think the CSM is better behaved, with the smaller set of 4-point vertices.Nevertheless, this must be proved.
As we build higher-multiplicity amplitudes in the future, we would also like to analyze how the computational efficiency of the phase-space calculations scales and compare this with Feynman diagrams.It appears pretty clear that they will be much more efficient when external photons or gluons are part of the amplitude and we are hopeful that this will remain true for amplitudes without external photons or gluons, although less profound.We did not analyze this at 4-point because we think it is more significant to compare the scaling behavior more than the efficiency at 4 points, since 4-point amplitudes are trivial for computers to calculate with either method.The real test will be whether their computational load will grow less quickly as the number of particles increases.
Finally, as we complete the algorithm for the CSM and the computational package to generate any amplitude, we would like to open it up to any constructive theory, whether renormalizable or effective.As our skills and tools improve, we would also like to incorporate gravity in future calculations.
after inserting the x factors and expanding, as we did to obtain Eq. (A8).We don't follow the same steps afterwards because we won't get the same cancellation at the end and we need to keep our results symmetric between angle and square brackets to obtain the final result.We again perform a Schouten identity, but this time we keep a square bracket product without momenta on the top line and an angle bracket product without momenta on the bottom line, to obtain and follow this with changing the [13] into an angle bracket, obtaining 24 [13]x 24 x13 = [24]  However, we could instead begin by changing the [13] into an angle bracket and then, afterwards, changing the 24 into a square bracket.If we used the identities in this order, we would have found 24 [13]x In order to find a highly symmetric form, we will include both paths.We do the same on 13 [24]x 13 x24 .This results in (A37) On the first line, we can use Eq.(A23).On the third line, we make use of the spinor product that is squared to do two Schouten identities and apply the mass and on-shell (t = 2p 1 • p 3 + 2M 2 W = 0) identities.For example, for the first term on the third line, We can see that, with this step, we have reduced the inserted momenta to one or less per term for the third row of Eq. (A37).On the fourth row, we don't have any spinor product squared, but we can still reduce the momenta to one per term at most.For example, for the first term of the fourth line, we begin with a Schouten identity, followed by mass identities and interchanging the order of the momenta.We find Following the application of these identities on all the terms of the third and fourth rows of Eq. (A37) and using Eq.(A23) on the top row, we obtain