Tree Amplitudes with Charged Matter in Pure Gauge Theory

This paper introduces `fermionic_amplitudes.m`, a Mathematica package that computes tree-level scattering amplitudes for arbitrary numbers of gauge bosons and massless fermions in pure non-supersymmetric gauge theories by expressing distinct-flavour amplitudes as linear combinations of single-flavour components derived from supersymmetric Yang-Mills theory, while providing explicit numeric colour tensors for cross-section calculations.

The Gist

Imagine you are trying to predict the outcome of a massive, chaotic dance party. In this party, the guests are subatomic particles: some are the "musicians" (gauge bosons, like photons or gluons) who keep the rhythm, and others are the "dancers" (fermions, like electrons or quarks) who move around the floor.

Physicists want to calculate exactly how likely it is for these particles to bounce off each other and scatter in different directions. This calculation is called a scattering amplitude. For a long time, calculating these dances was easy if the dancers were all identical twins (indistinguishable) or if the party was purely musical (no dancers, just musicians). But as soon as you introduced dancers with different "flavors" (like an electron vs. a muon) and different "charges" (how strongly they interact with the music), the math became a nightmare.

This paper introduces a new Mathematica software package called fermionic amplitudes that acts as a super-smart choreographer to solve this problem. Here is how it works, using some everyday analogies:

1. The Problem: The "Flavor" Confusion

In the old days, if you wanted to calculate a dance involving 10 different types of dancers, you had to draw every single possible way they could interact. It was like trying to count every possible way 10 people could shake hands without crossing their arms. The number of possibilities exploded, making the calculation impossible for computers to handle in a reasonable time.

Furthermore, physicists knew a "cheat code" existed: they could calculate the dance moves for a simpler, "supersymmetric" version of the party (a theoretical party where every dancer has a magical twin). But they didn't know how to translate those simple moves back into the complex reality of our specific, non-magical party with different flavors of dancers.

2. The Solution: The "Flavor-Reduction" Algorithm

The authors of this paper (Bourjaily, Plesser, and Velie) implemented a brilliant idea from a mathematician named Melia. Think of this as a translation dictionary.

• The Analogy: Imagine you have a complex recipe for a stew with 20 different exotic spices (multi-flavored fermions). It's hard to write down. But Melia discovered that any complex stew can be broken down into a simple linear combination of just one basic spice (a single-flavored fermion).
• The Magic: The package takes your complex, multi-flavored dance and automatically breaks it down into a sum of simpler, single-flavor dances. Since we already have a perfect library of "single-flavor" dance moves (from the supersymmetric theory), the software can instantly look up the answer. It turns a mountain of math into a simple lookup table.

3. The "Color" Code: The Invisible Costumes

In particle physics, particles carry a property called "color charge" (which has nothing to do with actual colors, but is like a secret ID badge). When particles interact, these ID badges get tangled up. To get the final answer, you have to untangle all these badges.

• The Analogy: Imagine the dancers are wearing invisible costumes made of different colored threads. The "amplitude" is just the dance moves. But to know the total energy of the party, you have to calculate how all those colored threads get knotted together.
• The Innovation: The paper also provides a way to generate these "color knots" (called color tensors) for any type of charge, even for theories we don't usually study (like the $U(1)$ theory of electromagnetism). It's like having a machine that can instantly weave any pattern of colored thread you ask for, so you don't have to do it by hand.

4. What the Package Actually Does

The fermionic amplitudes package is a toolkit for physicists that does three main things:

1. Simplifies the Dance: It takes a messy, multi-flavored particle interaction and converts it into a clean list of single-flavor interactions (using the "flavor-reduction" trick).
2. Generates the Costumes: It builds the mathematical "color tensors" (the knot patterns) for any specific set of particles you choose.
3. Does the Math: It can take these simplified dances and knotted costumes and turn them into actual numbers or formulas that predict what will happen in a real experiment (like at the Large Hadron Collider).

Why This Matters

Before this, if a physicist wanted to study a specific, complex interaction involving different types of charged particles, they often had to start from scratch or use slow, inefficient methods (like drawing every single Feynman diagram).

This package is like giving them a GPS for the particle world. Instead of walking through the forest blindly, they can now type in their destination (the particles involved), and the software instantly tells them the most efficient route (the mathematical formula) to get there.

In short: This paper provides a new, powerful software tool that turns the impossible math of complex particle collisions into a manageable, automated process, allowing scientists to predict the behavior of the universe's building blocks with unprecedented speed and accuracy.

Technical Summary

1. Problem Statement

The computation of scattering amplitudes in quantum field theory has seen significant progress, particularly for pure gauge theories (gluons only) and supersymmetric theories (like $\mathcal{N}=4$ SYM). Modern techniques allow for the efficient calculation of tree-level amplitudes with arbitrary multiplicity using on-shell recursion and color decomposition.

However, a critical gap remains in the public computational toolbox: the efficient calculation of tree-level amplitudes involving charged, massless fermions in non-supersymmetric gauge theories.

• Existing tools (like tree amplitudes) handle pure gauge or supersymmetric cases well but struggle with arbitrary numbers of distinguishable fermions in non-supersymmetric contexts.
• Traditional methods relying on Feynman diagrams become computationally intractable as the number of particles increases due to factorial growth in diagram complexity.
• While it is known that amplitudes involving a single fermion line can be related to supersymmetric components, the general case involving multiple distinguishable fermion flavors and arbitrary charge representations (including $U(1)$) lacked a systematic, automated framework for both the kinematic (partial amplitude) and color (tensor) components.

2. Methodology

The authors address this gap by implementing a unified framework based on two seminal theoretical developments:

1. Melia's Flavour-Reduction Algorithm: This mathematical insight proves that any partial amplitude involving $n_f$ distinct fermion flavors in pure gauge theory can be expressed as a linear combination of partial amplitudes involving only a single flavor.
   • Single-flavor partial amplitudes are identical to component amplitudes of $\mathcal{N}=1$ (and by extension $\mathcal{N}=4$) Supersymmetric Yang-Mills (sYM) theory.
   • This allows the kinematic complexity of multi-flavor QCD-like processes to be reduced to the well-understood kinematics of sYM.
2. Johansson-Ochirov Colour Tensors: These provide the specific color structures required to "dress" the single-flavor partial amplitudes to reconstruct the full amplitude for distinguishable fermions.
   • Unlike standard trace-based decompositions, these tensors are constructed from the generators of the specific charge representation of the fermions and the Killing metric of the gauge group.
   • They are defined for any gauge group and any representation (fundamental, adjoint, or arbitrary), making the approach universally applicable.

The authors encapsulate these theoretical frameworks into a Mathematica package named fermionic amplitudes.

3. Key Contributions

The paper introduces a software package that automates the entire workflow for computing tree-level amplitudes with charged matter. The key contributions include:

• Implementation of Melia's Algorithm: The package implements the constructive algorithm to reduce multi-flavor partial amplitudes to the "all-plus" basis of single-flavor amplitudes. This effectively maps complex QCD-like processes to sYM components.
• Generalized Colour Tensor Construction:
  • The package can construct explicit, numeric SparseArray representations of the Johansson-Ochirov colour tensors for any user-defined set of charge generators.
  • It supports arbitrary gauge groups (including $U(1)$) and representations, removing the need for manual derivation of Fierz identities or large-$N_c$ expansions.
  • It provides symbolic representations (nested curly brackets) and graphical chord diagrams for these tensors.
• Flavor Reduction and Reconstruction:
  • Functions to convert between single-flavor and multi-flavor amplitudes (toSingleFlavour, toDistinctFlavours).
  • Tools to project arbitrary amplitudes into the Melia "all-plus" basis (toAllPlusBasis).
• Integration with Existing Tools: The package interfaces with the tree amplitudes package. Once the kinematic part is reduced to sYM components, tree amplitudes can convert them into explicit analytic expressions involving spinor-helicity variables.
• Handling Indistinguishable Fermions: The framework provides a method to compute amplitudes for indistinguishable fermions by summing over all possible flavor pairings of the distinguishable basis amplitudes.

4. Results and Functionality

The paper demonstrates the package's capabilities through several examples and consistency checks:

• QED ($U(1)$) Verification: The package correctly reproduces amplitudes for massless QED, where the "colour" tensors reduce to simple integers counting the multiplicity of Feynman diagrams.
• Fundamental Matter in $SU(N)$: It successfully expands colour tensors for fundamental matter using Fierz identities, reproducing known "colour-flow" decompositions.
• Arbitrary Representations: The package successfully handles complex cases, such as fermions in the adjoint representation or arbitrary representations of $G_2$ or $E_8$, without requiring manual algebraic manipulation.
• Consistency Checks: The authors perform randomized consistency checks, verifying that:
  • Different flavor pairings yield equivalent results when summed.
  • The colour-dressed amplitudes match known results for adjoint-charged fermions (DDM basis).
  • The reduction algorithm terminates correctly at the "highest maturity" (single-flavor) basis.

5. Significance

This work significantly advances the state-of-the-art in perturbative scattering amplitude calculations:

• Bridging the Gap: It fills a major void in the computational toolkit, enabling the study of processes with multiple distinguishable fermions (relevant for BSM physics and precision Standard Model calculations) without resorting to inefficient Feynman diagram expansions.
• Universality: By decoupling the kinematic reduction (via Melia) from the specific gauge group representation (via Johansson-Ochirov tensors), the package is applicable to a vast range of theoretical models, from standard QCD to exotic gauge theories.
• Efficiency: It leverages the simplicity of supersymmetric amplitudes to solve non-supersymmetric problems, drastically reducing computational complexity.
• Accessibility: By providing a user-friendly Mathematica package with documentation and a demonstration notebook, the authors make these advanced theoretical techniques accessible to the broader physics community, facilitating further research into the structure of gauge theories.

In summary, the paper presents a robust, automated solution for computing tree-level amplitudes with charged matter, unifying modern amplitude techniques with generalized color algebra to handle arbitrary fermion flavors and gauge groups.