The chirality-flow formalism for the standard model

In a recent paper we introduced the chirality-flow formalism, a method for simple and transparent calculations of Feynman diagrams based on the left- and right-chiral sl(2,C)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {sl}(2,\mathbb {C})$$\end{document} nature of spacetime. While our previous work focused on massless QED and QCD at tree-level, we here extend the chirality-flow formalism to the full (tree-level) Standard Model, including massive particles and electroweak interactions – for which the W-interaction simplifies elegantly due to its chiral nature. We illustrate how values of Feynman diagrams can be immediately written down with some representative examples.

In the present paper we extend the chirality-flow method to the case of massive particles, focusing on the Standard a e-mail: joakim.alnefjord@gmail.com b e-mail: andrew.lifson@thep.lu.se c e-mail: christian.reuschle@thep.lu.se d e-mail: malin.sjodahl@thep.lu.se (corresponding author) Model at tree-level. This entails dealing with massive spinors, fourvectors, and polarization vectors by decomposing them into combinations of massless spinors [11,28,30]. More specifically, we write the Dirac spinor as a linear combination of left-and right-chiral Weyl spinors, and massive momenta as a linear combination of massless momenta, which are also used to describe the massive polarization vectors. Using the chirality-flow concepts and notation introduced in [1], the extension to the full Standard Model then turns out to be straightforward, and the left-chiral weak part of the Standard Model simplifies elegantly. In principle, this extension is to be anticipated, since the "chirality flows" represent the only Lorentz-invariant quantities at hand, the antisymmetric contraction of two left-or right-chiral spinors, i.e., the spinor inner products. This paper is organized as follows: After reviewing some key features of the massless chirality-flow formalism in Sect. 2, we introduce massive fourvectors, spinors and polarization vectors in Sect. 3. The Feynman rules and their consistent application are described in Sect. 4, and values of representative Feynman diagrams are written down in Sect. 5. Finally, we conclude in Sect. 6.

Massless chirality-flow
In this section we go through the basic concepts introduced for massless chirality-flow in [1]. The new structures encountered in the massive case can be expressed in terms of these massless objects. Introductions to the spinor-helicity method itself can be found in for example [28,29,[31][32][33][34][35][36][37][38].

Weyl spinors
We begin by recapitulating our notation for massless Weyl spinors. After crossing such that fermions and anti-fermions are outgoing (i.e. fourmomenta point away from the blobs that represent the internal process), the four possible types of Weyl spinors are, (2.1) Here, the right-chiral Weyl spinors i| = p i | and | j = |p j describe massless fermions and anti-fermions of negative helicity and momentum p i and p j respectively, while the left-chiral Weyl spinors [i| = [p i | and | j] = |p j ] describe positive-helicity fermions and anti-fermions. 1 In Eq. (2.1) the left graphical rules correspond to the conventional Feynman rules (showing the fermion-flow arrows, momentum labels and helicity labels), whereas the right graphical rules correspond to the chirality-flow rules (showing the chirality-flow arrows, and using dotted lines for leftchiral particles with dotted indices and solid lines for rightchiral particles with undotted indices).

2.2)
Considering that is the only SL(2,C) invariant object, the definitions for the (antisymmetric, Lorentz-invariant) spinor inner products follow as 2 (2.3) 1 If we assume incoming fermions and anti-fermions instead, i.e. fourmomenta pointing towards the blobs that represent the internal process, the right-chiral i| and | j describe massless anti-fermions and fermions of positive helicity and momentum p i and p j respectively, while the left-chiral [i| and | j] describe negative-helicity anti-fermions and fermions. 2 For explicit representations of Weyl spinors and their inner products, see Appendix B.1.
where i j * = [ji] for physical momenta (i.e. when p 0 i , p 0 j > 0). From this, the chirality-flow representations of a Kronecker delta follow (2.4) We note that the indices in the spinor inner products Eq. (2.3), as well as in Eq. (2.4) are always intuitively read along the chirality-flow arrows, leading to the chirality-flow arrows opposing the fermion-flow arrow directions in Eq. (2.1).
For later comparison, we also write our two-component Weyl spinors of momentum p i , p j and helicity ± in fourcomponent notation

Massless fourvectors
We recall that a fourvector p can be mapped to Hermitian 2×2-matrices, or bispinors, where we use a slash notation for the bispinors, not to be confused with the Feynman slash (see Appendices A and B for a summary of our notation and conventions and see [1] for further details). The index structures of momentum-bispinors are translated to the chirality-flow picture as using the momentum-dot notation introduced in [1]. The spinor indices are then contracted with the rest of the amplitude.
If the fourmomentum p is lightlike, its bispinor decomposes into an outer product of massless Weyl spinors (2.8) or in the chirality-flow picture, (2.9) where p in the right graphical rules denotes that the line ends correspond to massless Weyl spinors of momentum p (cf. (2.1)).
In Feynman diagrams, we often encounter internal fermions for which the momentum p is a linear combination of lightlike external momenta p i (in the massless case), allowing us to write (2.10) or in the chirality-flow picture, (2.11) Also, factors of momentum p μ which are not contracted with τ/τ -matrices may be encountered. However, as is argued in section 4.4 of [1], it is always possible to make this contraction within a given Feynman diagram (see also section 4.3). Therefore, we are free to write (2.12) or in chirality-flow notation Finally, a massless momentum p μ can be written in terms of a τ/τ matrix and spinors of momentum p, (2.14)

Polarization vectors
A key ingredient of the massless chirality-flow formalism is the polarization vector. It is well-known [10,15] how to express a massless polarization vector in terms of its momentum p and an arbitrary reference momentum r satisfying r 2 = 0 and r · p = 0 (different choices of r amount to different choices of gauge, and r may be chosen to simplify a given calculation from which (using Eq. (2.1)) the chirality-flow expressions follow [1] (2.17) Note that we have two alternative chirality-flow replacements of μ ± ( p, r ). In a full chirality-flow diagram we must choose the version which gives a continuous flow, i.e. which ensures that no arrows point toward or away from each other along any line in the chirality-flow diagram. The systematic treatment of how to achieve this is given in Sect. 4.4.

Linking objects
The missing ingredients for the massless chirality-flow formalism are the additional objects which occur in vertices and propagators, the metric and the τ/τ -matrices (from γmatrices).
The metric, which always appears contracting two Lorentz indices, can be translated to a double line, i.e. parallel dotted and undotted lines with arrows opposing [1] (2. 18) where in a given diagram the arrow directions which give a continuous flow are chosen. A τ/τ -matrix is given by (2.19) where the double line to the right in each diagram corresponds to the μ-index. At this point, no external spinors are connected to the line ends.
In both cases, the motivation for these replacements lies in the fact that for a full amplitude, the indices are always contracted. For the τ/τ -matrices the proof also involves charge conjugation [1].

The chirality-flow formalism with massive particles
In this section we will set the stage for the massive chiralityflow formalism, in essence by treating massive spinors and fourvectors as combinations of their massless equivalents, and by carefully considering the spin properties of spin-1/2 and spin-1 particles.

Spin and helicity
It is well established that massive and massless particles have rather different properties under Poincaré transformations, having different little groups [39][40][41]. Considering only Poincaré symmetry, a massless particle can be fully described by its momentum p μ and its helicity h = ±J , where J is the total spin of the particle. In contrast, a massive particle is described by its momentum p μ , total spin J , and its spin J s projected onto some axis s μ , where the fourvector s μ must satisfy s · p = 0 and s 2 = −1, and is often referred to as the polarization vector since s μ = μ 0 is the longitudinal polarization vector for spin-1 particles (see e.g. [28,34,42]). If the spatial part of s μ points in the directionp = p/|p|, then J s = h is the helicity of the particle.
Analogous to helicity amplitudes for massless particles, it is possible to define spin amplitudes involving massive particles, in which each external particle is given a definite spin J s . However, massive spin amplitudes depend on the directions s μ along which we measure J s for each particle, making the choice of s μ physical. Only the sum of squared spin amplitudes involving a massive particle are independent of the choice of axis.
In the following sections, we will describe how to separate a massive momentum into a sum of two massless ones, and in this process we will also define the spin axis s μ . We will then describe the massive spinors and polarization vectors required to calculate massive spin amplitudes in terms of Weyl spinors of these massless momenta.
We note that this decomposition is not the only way to treat massive particles. A few years ago an alternate set of massive spinor-helicity variables was introduced which made the little group structure explicit [43]. Such variables contain all spin projections of a particle, and (among other things) have inspired a series of recursion relations [44][45][46][47], each with applications to different types of processes. While such an approach is related to this work (see [44] for how to relate the two approaches), we here choose to build on the older spinor helicity variables, and use Feynman diagrams to be as general as possible. Nonetheless, adapting the chirality-flow method to the new spinor-helicity variables is a potentially interesting future research direction.

Massive fourvectors
A massive fourvector p can be described using two lightlike fourvectors p and q satisfying p · q = 0. After choosing q arbitrarily, we express the massive fourvector p as [11,[28][29][30] Using Eq. (2.10), we have with the above (3.2) or in graphical notation, which trivially reduce to Eq. (2.9) in the limit p 2 → 0 ⇒ α → 0. For fermion propagators in massive Feynman diagrams, we may use this to extend Eq. (2.11) to the case where some of the momenta p i are not lightlike, but instead refer to massive on-shell momenta with p 2 i = m 2 i . Using the decomposition into lightlike vectors in Eq. (3.1), we define the axis s μ along which the spin of a fermion (see Sect. 3.3) or vector boson (see Sect. 3.4) is measured via [11,28] From Eq. (3.1), s μ is easily shown to satisfy the required relations s 2 = −1 and s · p = 0 (see Appendix A.2 for more details). Therefore, the arbitrary choice of each q is physical, and different choices of q lead to different spin directions, implying different spin amplitudes.

Helicity and the eigenvalue decomposition
A special case of the decomposition in Eq. (3.1) is the eigenvalue decomposition for which the spatial part of s μ points along the direction of motion,p = p/|p|. Therefore, in this decomposition the particles are helicity eigenstates. It is easily shown that both / p and/ p have the ("forward" and "backward") eigenvalues These spinors can be translated to momenta using Eq. (2.14), with p f pointing in the same direction asp and p b pointing in the opposite direction, giving It is easy to check that a special case of Eq. (3.8) and the spin fourvector s μ in Eq. (3.4) is i.e. it is pointing along the direction of motion. Therefore, with this decomposition J s = h measures the helicity.

Dirac spinors from massless Weyl spinors
Similar to describing massive momenta in terms of momenta p and q, we describe massive Dirac spinors in terms of massless Weyl spinors of momenta p and q [17,28,29,33,[48][49][50]. The arbitrary reference fourvector q can be chosen to simplify calculations, but carries physical meaning as it defines the spin axis s μ in Eq. (3.4), along which the spin is measured.
along the s μ -axis, and calculate the spin using the operator where μ /2 is the Lorentz-covariant spin operator for Dirac spinors and · p = 0 (see Appendix A.2 for details). We may write the Dirac spinors for outgoing fermions u J s ( p) and anti-fermions v J s ( p) in the chirality-flow picture as (3.11) where in the massless limit p = p and α = 0, such that we recover Eq. (2.5). The factors , (3.12) are required such that the spinors satisfy the Dirac equation, and the phase is given by (3.13) as in Eq. (3.5). Explicit forms of the Weyl spinors are given in Eq. (B.1) (fixing the phase ϕ).
Similarly, for incoming anti-fermionsv J s ( p) and fermions u J s ( p) we write (3.14) In Eqs. 3.11 and 3.14 the leftmost graphical rules correspond to the conventional Feynman rules (showing the fermionflow arrows, momentum labels and spin labels; the thicker lines imply massive particles), and the rightmost graphical rules correspond to the chirality-flow rules (showing the chirality-flow arrow, cf. (2.1)).

Helicity eigenstates
For our spinors to be helicity eigenstates we use the eigenvalue decomposition detailed in Sect. 3 Outgoing (anti-)fermions of helicity ± are then given by (3.15) while incoming spinors are given by (3.16) where we use Eq. (3.5) to define both the Weyl spinors (for which explicit forms are given in Eq. (B.6)) and the phase ϕ, (3.17)

Polarization vectors
It is also well known how to use Eq. (3.1) to describe massive polarization vectors [15,17,28,29,33,[48][49][50]. Let where, unlike the reference spinor r in Eq. (2.16), the arbitrary reference spinor q carries physical meaning as it defines the spin axis s μ . These expressions can be straightforwardly translated to the graphical representation (3.19) where we use thicker wavy lines to imply that the vector bosons are massive, and the arrow directions which give a continuous flow in a given diagram are chosen. The additional, longitudinal, polarization vector equals the spin vector and using the momentum-dot notation, we can translate this into (3.21) where in this case there is no massless equivalent. These graphical representations come from using the first form of

Helicity eigenstates
To describe external vector bosons as helicity eigenstates we The chirality-flow representations for these states are then (3.22) where in the massless case the longitudinal polarization disappears, p f → p and the reference momentum q = p b becomes an unphysical gauge choice (see [1] for more details).

Chirality-flow Feynman rules with massive particles
In this section, we describe the (tree-level) electroweak vertices and propagators. For convenience, all tree-level Standard Model rules are also collected in Appendix C, while a derivation of the QCD chirality-flow rules can be found in [1].
We treat the momenta of all particles as outgoing, and use 't Hooft-Feynman gauge. Further details about the elec-troweak sector can be found 3 in [51]. We also remark that -while we focus on tree-level -similar chirality-flow structures of vertices and propagators are also expected to be applicable for loop methods which rely on four-dimensional tree objects. For physics beyond the Standard Model, we note that it is possible to use chirality-flow to describe any theory for which the Lorentz structure can be written down in terms of momenta, the (Minkowski) metric, Dirac (Pauli) matrices, massless Weyl spinors, and polarization vectors. For this reason, the extension to for example R ξ or axial gauges should also be straightforward.

Triple vertices
The Lorentz structure of the fermion-vector vertices is in principle unchanged compared to the massless case, and separates nicely into two chiral parts. Using Eq. (2.19) to describe the τ/τ matrices, we have Here we note that the appearance of a single dotted or undotted line in Eq. (4.2) may give rise to an odd number of chirality-flow lines in a graph, meaning that the sign flips from reversing chirality-flow arrows have to be accounted for (as described below in Sect. 4.3). We also remark that although it may appear in the graphical representation to the right as if the scalar has no effect at all, its momentum enters via momentum conservation.
A Lorentz scalar may also couple to two vector bosons in a vertex of the form where for brevity we write the metric without arrows, to indicate that either choice in Eq. (2.18) may be required (recall that flow arrows must never oppose or point away from each other). Here, again, the presence of the scalar manifests itself only via momentum conservation. In the tree-level Standard Model, this Lorentz structure is applicable to the Higgs coupling to W and Z , for which C W W h = m W / sin(θ W ) and There is also a pure scalar vertex, (4.4) with completely trivial Lorentz structure, and C hhh = −3m 2 h /(2 sin θ W m W ). For the non-Abelian vertex with three spin-1 bosons, the Lorentz structure is as for QCD, (4.5) where Eq. (2.13) has been used for the momenta p 1 − p 2 etc., and where C γ W + W − = −1 and C Z W + W − = − cos(θ W )/ sin(θ W ).
To complete the list of trivalent vertices, we give the Lorentz structure of two scalars coupling to a spin-1 particle (4.6) This vertex enters in the Standard Model only at loop level, but we include it here to complete the list of Standard Model Lorentz structures (note that the ghost-ghost-vector vertex has the same chirality-flow structure but a different momentum-dot argument).

Four-boson vertices
We start with the vertex with four vector bosons, which has a Lorentz structure similar to the color-flow version of the four-gluon vertex (see section 5.1 in [1]), Here, the value of C V 1 V 2 V 3 V 4 depends on the involved electroweak bosons. Specifically, we have We can also have a vertex with two scalars and two vectors, connected with the chirality flow (4.8) where in the Standard Model C W W hh = 1/(2 sin 2 θ W ) and C Z Zhh = 1/(2 sin 2 θ W cos 2 θ W ).
Finally, we have the quartic scalar vertex, with trivial Lorentz structure (4.9) In the tree-level Standard Model, this vertex is applicable to the quartic Higgs coupling with C hhhh = −3m 2 h /(4 sin 2 θ W m 2 W ).

Propagators
Adding masses to the chirality-flow picture gives rise to increasing complexity for the Fermion propagator, Next, we consider the vector propagator for a massive particle which -aside from the trivial addition of a term −m 2 in the denominator -is unchanged (4.12) Note that, as in the massless case, the arrow direction consistent with the rest of the chirality-flow diagram must be chosen. To complete the Standard Model list of propagators, we also need to treat the scalar propagator, (4.13) for which there is no flow of chirality, and hence no graphical representation in the chirality-flow picture.

Chirality-flow arrows and signs
Now that we have the chirality-flow Feynman rules, we describe how to apply them consistently. For chirality-flow to work a continuous flow is required, i.e., we cannot connect chirality-flow lines with arrows opposing or pointing away from each other. However, aligned arrows are not always immediately obtained. When we connect two fermion lines in the chirality-flow formalism, we often find situations where the chirality-flow arrows as stated in Sect. 3.3 point towards or away from each other, with (assuming massless, outgoing particles) (4.14) as the simplest example. In such situations, it is necessary to flip the chirality-flow arrows for one of the involved fermion lines, above either to the left or to the right of the ×-sign.
In massless QED and QCD, each fermion line contains an odd number of τ/τ -matrices (one for each vertex and propagator). Therefore, we can flip the chirality-flow arrow directions of a fermion line with n gauge bosons attached via the relation where every even-numbered τ/τ -matrix will be contracted with a momentum from the propagator (via Eq. (2.6)), and every odd-numbered τ/τ -matrix corresponds to a fermionfermion-vector vertex (see Eq. (4.1)). Assuming that the fermion arrow points to the left, and that the attached bosons have outgoing momenta, this gives the graphical representation (4. 16) i.e., a swap of chirality-flow arrows (see sections 4.1 and 4.2 in [1]). Note that the labels of the momentum dots are unchanged by the arrow flip, and that we have an even number of chirality-flow lines (consistent with not obtaining an overall minus sign when changing all arrow directions).
We then connect different fermion lines using the chirality-flow structure of the vector propagator (4.17) choosing the arrow directions which give a continuous flow. For the simple example in Eq. (4.14) above, we may for example flip the arrow directions on the left half and connect the flow lines to obtain (4.18) The remaining two structures in massless QED and QCD, external momenta (Eq. (2.14)) and external gauge bosons (Eq. (2.15)), both have the form of Eq. (4.15) with n = 1. We conclude that Feynman diagrams in these theories only contain contractions of Eq. (4.15) [1]. Therefore, for each disconnected piece 5 in a massless QED or QCD chirality-flow diagram, we only need to choose the chirality-flow arrow of one external particle in order to assign chirality-flow arrows. Every other chirality-flow arrow connected to that particle by chirality-flow lines is then fixed by the vertex and propagator rules (arrows flow through a vertex and fermion propagator, and point in opposite directions in a boson double-line).
In contrast to massless QED and QCD, the full (tree-level) Standard Model also gives rise to fermions containing an even number of τ/τ matrices. This is either due to the scalarfermion-fermion vertex, Eq. (4.2), or due to the mass term of the fermion propagator, Eq. (4.11), each of which does not contain a τ/τ . To swap the chirality-flow arrow in such cases we use either of each containing a minus sign. This implies that signs now need to be tracked when swapping chirality-flow arrows. We also remark that in the equation analogous to Eq. (4.16), we would now have an odd number of chirality-flow lines.

Application
With the above in mind, we use the following method to calculate a Feynman diagram:  (4.19) to swap the chirality-flow arrows of each line, such that they can be connected with Eq. (4.17). Remember that we obtain a minus sign when swapping arrows on an odd number of flow lines. -For any remaining disconnected pieces, choose a chirality-flow direction for one particle and follow it through the diagram as described in step (iia).

Examples
In this section we illustrate some new features of the massive and electroweak vertices, propagators and external particles.
More extensive examples of the massless formalism are given in section 6 in [1]. We remind the reader that thicker lines in Feynman diagrams imply that the particle is massive, that we use 't Hooft-Feynman gauge, and that the Feynman rules are conveniently collected in Appendix C.

e + e − → γ γ
First we explore the effect of a massive fermion by considering the Feynman diagram (5.1) corresponding to e − 1+ e + 2− → γ 3+ γ 4− where each particle is a helicity eigenstate. In this example the effect of the mass enters at two levels, in the external particle wave functions and in the fermion propagator.
For the external spinors, we recall that (unlike in the massless case) a helicity eigenstate is a linear combination of two different chirality eigenstates, as given in Sect We note that when the mass goes to zero, both Weyl spinors |1 b ] and 2 b | also go to zero as they are proportional This implies that the only surviving chirality-flow diagram in the massless case is the first diagram above, (cf. Eq. (6.19) in [1]). We further note that in the massless limit this Feynman diagram can be removed by an unphysical gauge choice, using r 4 = p 3 and r 3 = p 2 = p 2 f (implying that the diagram with the photons exchanged cannot be removed by this gauge choice).
We also remark that for this diagram, we did not need to adjust any chirality-flow arrows since we only have one fermion line, and the arrows from the external photon polarization vectors can be aligned accordingly, without additional minus signs.

e + e − → Zh
Next we consider a diagram relevant for associated Higgs production, e − 1+ e + 2− → h 3 Z 4,0 , Aside from a massive fermion, this diagram involves both an internal and an external massive vector boson, the vectorvector-scalar vertex from Eq. (4.3), and a Z -fermion-fermion vertex with different couplings to left-and right-chiral particles. For the Z -boson, the superscript 0 in 4 0 refers to the longitudinal polarization, with chirality-flow representation given in Eq. (3.21). We will use the general spin basis, such that the spins are measured relative to spin axes s μ i , not relative to the particles' directions of motion.
Collecting overall factors from the Z f f -and Z Zhvertices (Eqs. (4.1) and (4.3)), from the massive spin-1 propagator (Eq. (4.12)), as well as from the normalization of the polarization vector (Eq. (3.21)), and treating the massive external fermions using the general spin decomposition Eq. (3.14) (5.5) where the lightlike vectors p and q are given by Eq. (3.1), we get two chirality-flow diagrams (5.6) Explicit Weyl spinors can be found in Eq. (B.1) and the phases ϕ 1,2 are given by Eq. (3.12).
In the Standard Model, the couplings C L , C R assume the values given below Eq. (4.1), however, here they can be adjusted to match the theory at hand. As in the previous example, we draw the chirality-flow arrows as dictated by the external fermions, but note that flipping all of the arrows does not introduce any additional signs.
We see that only the second chirality-flow diagram contributes when the fermions are massless since α 1,2 → 0. Further, we can simplify this calculation with a clever choice of q 1,2,4 . For instance, we can remove all but one of the four terms with the choice q 1 = p 4 , q 2 = q 4 = p 1 , which fixes the axes s μ i along which the spin of each particle is measured for all Feynman diagrams contributing to this process.

qq → qqh
As a final example we consider q 1−q2− → q 3+q4+ h 5 , and calculate (5.7) which nicely displays the chiral nature of the W -boson, and demonstrates the treatment of chirality-flow arrow signs when multiple fermion lines are present. Note that if we use massless spinors (but keep the mass in the coupling), then the corresponding helicity amplitude will vanish since the incoming particles have the same helicity.
We again begin by collecting overall factors from the vertices (Eqs. (4.1) and (4.2)) and the two propagators (Eqs. (4.12) and (4.11)). We also include Kronecker deltas in color for the quarks, δ q 2 q 1 δ q 3 q 4 . The massive fermions are treated using the general spin decomposition (Eqs. (3.11) and (3.14)), but we do not immediately join them together with the vector propagator, (5.8) Here, the internal, unlabeled ends of chirality-flow lines are not yet connected to external spinors, and the couplings are assumed to take their Standard Model values given below Eq. (4.1), but can be changed to suit the theory at hand.
On the solid (dotted) lines, to be joined in the middle, the chirality-flow arrows are pointing towards (away from) each other. To join the flow lines, we must either flip the flow arrows on the first term (containing q 2 , p 1 ) or on the second (in square brackets). If we flip them on the first term we use (5.9) a special case of Eq. (4.16). Note that this arrow swap is not possible at the vertex level itself (i.e. τ =τ ), but requires each external flow line to be contracted with a Weyl spinor.
The Feynman diagram is then immediately written down in terms of inner products (5.10) which vanishes in the massless limit (α i → 0) as it should. We can also make this diagram disappear by choosing q 2 = q 3 , allowing to simplify the amplitude calculation.
Note that we could alternatively have flipped the arrows on the chirality-flow factors in the square bracket of Eq. (5.8). In this case we must be more careful, since the term proportional to √ α 4 comes with a minus sign under arrow reversal, (5.11) a special case of Eq. (4.19). The chirality-flow graphs in Eq. (5.10) would then be written down with the arrow direction reversed, giving a factor (−1) 3 in the first graph to compensate the minus sign in Eq. (5.11). Thus, in accordance with Sect. 4.3, we obtain the same result regardless of which fermion line had its chirality-flow arrows flipped.

Conclusion and outlook
In a recent paper we showed that it is possible to define a chirality-flow description of the Lorentz structure of Feynman rules and diagrams for massless QED and QCD. Using this method, along with its graphical interpretation, the values of amplitudes from Feynman diagrams can be immediately written down in a transparent and intuitive manner, offering superior simplicity for helicity-assigned diagrams.
Here we prove that the flow idea can be extended to the full standard model, in essence by treating massive fermions and spin-1 bosons as combinations of their massless analogs. In principle, this extension is to be anticipated, since the "flows" describing the Lorentz structure are nothing but the only Lorentz-invariant quantities at hand, the antisymmetric contraction of two left-or right-chiral spinors, i.e., the spinor inner products. For the same reason, we expect the formulation of Feynman rules beyond leading order, or for physics beyond the Standard Model to be straightforward.
The addition of mass implies a modest complication, resulting in twice as many terms for external fermions, as well as for internal Fermion propagators, and another polarization vector to keep track of for external vector bosons. On the other hand, the chirality-flow diagrams are simplified for weak interactions involving W -bosons, where -due to the left chiral nature -only one term in the vector-fermion vertex is present.
Aside from offering an intuitive and transparent way of thinking about and calculating Feynman diagrams, we expect our method to be computationally beneficial (at least) for programs that base their calculations on helicity-assigned Feynman diagrams, due to the complete avoidance of Dirac matrices. and innovation programme as part of the Marie Sklodowska-Curie Innovative Training Network MCnetITN3 (Grant Agreement No. 722104).

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: This article concerns theoretical work and involves no data.] Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/. Funded by SCOAP 3 .

A.1 Conventions and the chiral representation
Here we summarize our conventions for spinors and gamma matrices in the chiral basis. For a more complete set of our conventions, as well as some useful algebraic relations see [1]. For general reviews on chiral spinors and the spinorhelicity formalism we refer to [28,29,[31][32][33][34][35][36][37][38].
We use the Dirac matrices in the chiral, or Weyl basis, where the σ -matrices are the Pauli matrices, and the τ -matrices (Infeld-van-der-Waerden matrices) are τ μ = 1 where g μν = diag(1, −1, −1, −1) denotes the Minkowski metric and the Levi-Civita tensor defined in Eq. (2.2). Note thatτ μ has lower indices, with the first index undotted, while τ μ has upper indices with the first index dotted. Since we use the chiral basis, the momentum-space Dirac spinors divide into their left-and right-chiral parts which can be projected out using the projection operator P R/L = where P ν is the momentum operator (P ν = i∂/∂ x ν ), μνλω ( 0123 ≡ 1 ⇒ 0123 = −1) is the four-dimensional Levi-Civita tensor, and σ μν is defined as In the rest frame of the particle ( p μ rest = (m, 0)), Eq. (A.6) takes the form of the familiar spin operator which also shows that μ p μ = 0. For massive particles, we measure the total spin J and its spin J s projected onto some axis s μ which must equal (see e.g. [34,42]) s μ rest = (0,ŝ), (A.9) 6 Note that the spin operator μ is directly related to the Pauli-Lubanski operator W μ via μ = 2 m W μ . We remind that W 2 = −m 2 J (J + 1) is one of the two quadratic Casimirs of the Poincaré algebra (the other being P 2 = m 2 ), where J is the total spin. in the rest frame. From this frame, we also find the relations where we used that s · p = 0. We act P μ ≡ i∂ μ on the u and v spinors, then make use of the Dirac equation , 1 +p 3 ,p ⊥ * , (B.6)

B.2 Useful identities
In addition to momentum conservation and judicious multiplication by 1 it is often useful to use the Schouten identity, 8 which has a nice flow representation (B.7) Table 1 "Rosetta stone" showing massive fixed-spin-axis fermions in several common notations. To translate the Dirac spinors to the helicity basis, replace p → p f , q → p b , and remove √ α. The phase ϕ is defined in Eq. (3.12) in the general spin basis (see Sect. 3.3) or in Eq. (3.17) in the helicity basis (see Sect. 3.3.1). Massless spinors are found by setting α = 0 and replacing p → p Table 2 The QCD "Rosetta Stone" translating the chirality-flow notation to widely-used spinor-helicity notations. Here Z (2, 3, 4) denotes the set of cyclic permutations and S (2,3,4) the set of all permutations of the integers 2, 3, 4, and V μ1μ2μ3 3 = ( p 1 − p 2 ) μ3 g μ1μ2 + ( p 2 − p 3 ) μ1 g μ2μ3 + ( p 3 − p 1 ) μ2 g μ3μ1 . The external spinors and polarization vectors are trivially extended from Tables 1 and 3 respectively. For more information on the various forms of the four-gluon vertex, see Sect. 5.1 in [1]. The color factors are normalized such that Tr t a t b = δ ab and i f abc = Tr t a [t b , t c ] (see Sect. 2 in [1] for details) Table 3 Part one of the electroweak "Rosetta Stone" translating the chirality-flow notation to widely-used spinor-helicity notations. To translate the polarization vectors to the helicity basis, replace p → p f and q → p b . Incoming polarization vectors of spin J s are equal to outgoing ones of spin −J s . Massless polarization vectors are given by replacing p → p, and q → r where r is an unphysical reference momentum. Due to lack of space, only the index and bra-ket forms of μ 0 ( p) corresponding to the left chirality-flow diagram are given. The external spinors are given in Table 1. Details about the polarization vectors, vertices, and propagators are given in Sects. 3.4, 4.1, and 4.2 respectively Table 4 Part two of the electroweak "Rosetta Stone", translating boson vertices from the chirality-flow notation to the standard notation. The coupling constants for every Standard Model process are found in Table 5. The external spinors and polarization vectors are given in Tables 1 and 3 respectively  Table 5 All coupling factors for electroweak interaction vertices. T 3 f is the eigenvalue of the third isospin operator, Q f is the electric charge and θ W is the Weinberg angle