Renormalization of the SMEFT to Dimension Eight: Fermionic Interactions II

This paper computes the one-loop mixing of bosonic and two-fermion interactions into two-fermion operators at dimension eight in the SMEFT, completing all such mixing calculations except for the four-fermion to two-fermion sector.

The Gist

Imagine the Standard Model of particle physics as a massive, incredibly detailed instruction manual for how the universe works at its most basic level. It tells us how particles like electrons and quarks interact. But scientists suspect there's more to the story—new, heavier particles or forces that exist at energy levels we can't quite reach yet.

To study these hidden secrets without needing a machine the size of a galaxy, physicists use a "shortcut" called the SMEFT (Standard Model Effective Field Theory). Think of SMEFT as a magnifying glass or a blur filter. It doesn't show you the new heavy particles directly; instead, it shows you the tiny "shadows" or "ripples" they leave behind in the interactions of the particles we can see.

These ripples are organized by their "size" or complexity, which physicists call dimensions:

• Dimension 6: The first, most obvious ripples.
• Dimension 8: The next layer of ripples, which are much smaller and harder to detect, but crucial for high-precision experiments.

The Problem: The "Leaking" Manual

The authors of this paper are working on a specific part of this manual: Dimension 8.

Imagine you have a bucket of water (representing the theory) with a hole in it. As time passes, water leaks out, changing the level of the water. In physics, this "leaking" is called renormalization. It means that the rules for how particles interact change slightly depending on the energy scale you are looking at.

To keep the manual accurate, physicists need to calculate exactly how these "ripples" (the operators) mix with each other as you zoom in or out. If you don't calculate this mixing correctly, your predictions for what happens in particle colliders (like the Large Hadron Collider) will be wrong.

What This Paper Does

This paper is the latest chapter in a long story of fixing the manual. Specifically, the authors calculated how bosons (force-carrying particles like photons and gluons) and two-fermion interactions (involving two matter particles like electrons) mix into other two-fermion interactions at this high "Dimension 8" level.

Here is the breakdown using an analogy:

1. The Ingredients: The theory has many different "recipes" (operators). Some recipes involve only force particles (bosons), and some involve matter particles (fermions).
2. The Mixing: When you run a simulation of these particles interacting, a recipe that starts as "Force + Matter" can accidentally turn into a "Matter + Matter" recipe due to quantum loops (virtual particles popping in and out of existence).
3. The Calculation: The authors did the heavy math to figure out exactly how much of one recipe turns into another. They had to deal with a massive number of "redundant" recipes—ingredients that look different on paper but actually do the exact same thing in the real world. It's like having a recipe that says "1 cup of flour + 2 eggs" and another that says "1 cup of flour + 2 eggs + a pinch of salt that disappears," and realizing you need to count them as the same thing to get the right total.

The Tools Used

To handle this complexity, the authors used a digital toolkit:

• FeynRules, FeynArts, etc.: These are like automated kitchen assistants that draw the diagrams of how particles interact.
• Mosca and ABC4EFT: These are specialized software tools that act like a smart filter. They take the messy list of "redundant" recipes and automatically sort out which ones are real and which ones are just duplicates, leaving only the essential physical ones.

The Result

The paper successfully maps out how these specific interactions mix.

• What they finished: They have now calculated almost all the ways these "ripples" mix at Dimension 8, specifically for interactions involving two matter particles.
• What's left: The only piece of the puzzle missing is how four-fermion interactions (recipes with four matter particles) mix into two-fermion ones. Once that is done, the "renormalization program" for Dimension 8 will be complete.

Why It Matters (According to the Paper)

The authors state that this work is a necessary step to ensure that when experimentalists at the Large Hadron Collider (LHC) look for signs of new physics, they are comparing their data against a mathematically consistent and complete theory. Without these calculations, the "blur filter" (SMEFT) would be slightly out of focus, potentially hiding the very new physics scientists are trying to find.

In short: The authors have tightened the screws on the mathematical engine of the Standard Model, ensuring that the predictions for high-energy particle collisions are as precise as possible, leaving only one small gear (four-fermion mixing) to be fixed in the future.

Technical Summary

Technical Summary: Renormalization of the SMEFT to Dimension Eight: Fermionic Interactions II

Problem Statement
The Standard Model Effective Field Theory (SMEFT) serves as a model-independent framework for describing physics beyond the Standard Model (SM) at the TeV scale and above. To fully utilize SMEFT for global fits and precision phenomenology, particularly at dimension eight ($O(v^4/\Lambda^4)$), a complete understanding of the Renormalization Group Equations (RGEs) is required. While the one-loop RGEs for dimension-six operators were established years ago, the dimension-eight program has been progressing incrementally. Previous works [1–4] have computed the mixing of bosonic operators and four-fermion operators into various sectors, as well as the mixing of dimension-six pairs into dimension-eight operators. However, a critical gap remained: the calculation of the one-loop mixing of dimension-eight operators (specifically those involving bosonic and two-fermion interactions) into two-fermion operators. This paper addresses that specific missing piece.

Methodology
The authors perform an off-shell renormalization calculation in $D = 4 - 2\epsilon$ dimensions using dimensional regularization. The methodology involves the following steps:

1. Framework: The calculation utilizes the SM Lagrangian extended by dimension-six and dimension-eight operators. The authors employ the Warsaw basis for dimension-six and a modified version of Murphy's basis for dimension-eight operators.
2. Diagrammatic Calculation: One-loop divergences are computed for one-particle-irreducible (1PI) Feynman diagrams using automated tools including FeynRules, FeynArts, FormCalc, FeynCalc, and Package-X.
3. Green's Basis Projection: The off-shell local divergences are projected onto a "Green's basis" of SMEFT operators. This basis is an extension of previous work [3], explicitly including redundant operator structures such as $\psi^2 D^5$, $\psi^2 \phi D^4$, $\psi^2 X D^3$, $\psi^2 X \phi D^2$, $\psi^2 X^2 D$, and $\psi^2 X^2 \phi$.
4. Redundancy Reduction: A major technical challenge is the reduction of these redundant operators to the physical basis using equations of motion (EOM). The authors overcome the complexity of these intricate relations (e.g., relating $\psi^2 X D^3$ to operators with many legs like $\psi^2 \phi^5$) by combining the automated tools mosca [81] and an updated version of ABC4EFT [82–84].
5. Cross-Checks: The results are validated against amplitude-based non-renormalization theorems, positivity restrictions derived from S-matrix unitarity and analyticity, and overlapping results from Ref. [80].

Key Contributions and Results
The primary contribution of this work is the computation of the anomalous dimension matrix elements ($\gamma$) governing the mixing of dimension-eight bosonic and two-fermion operators into two-fermion operators.

• Mixing Patterns: The paper provides the complete structure of the mixing in the Green's basis (Table 1) and the physical basis (Table 4). It details how various operator classes (e.g., $\phi^6 D^2$, $X \phi^4 D^2$, $\psi^2 \phi^5$) contribute to the running of two-fermion operators.
• Explicit Calculation: The authors demonstrate their approach through the explicit calculation of the mixing of $\phi^6 D^2$ operators into $l e \phi^5$ operators. They show that while certain 1PI diagrams vanish, the renormalization of redundant operators (via EOM) generates non-zero contributions to the physical on-shell anomalous dimensions. The final result for this specific channel (Eq. 13) is shown to be in perfect agreement with Ref. [80].
• Validation: The results satisfy non-renormalization theorems (e.g., $\psi^2 \phi^5$ does not mix into $\psi^2 \phi^4 D$ on-shell) and positivity constraints. The authors explicitly verify that the anomalous dimensions in the positivity basis are negative-definite, consistent with previous theoretical expectations [77].
• Data Availability: The full set of RGEs and the relations between redundant and physical operators are made available via a public GitHub repository.

Significance and Scope
The paper claims that this calculation "almost completes" the one-loop renormalization program for the SMEFT at dimension eight. By determining the mixing of bosonic and two-fermion dimension-eight terms into two-fermion operators, the authors have resolved all mixing channels except for the mixing of four-fermion dimension-eight operators into two-fermion ones.

The authors maintain a modest tone regarding the scope of their work:

• They explicitly state that contributions from four-fermion dimension-eight operators and the effects of dimension-eight two-fermion operators on the running of lower-dimensional operators are left for future work.
• They acknowledge that Ref. [80] contains overlapping results but note that Ref. [80] is restricted to loops involving six- and seven-leg operators, which cannot mix into operators with four or fewer legs at one-loop, thereby limiting its scope compared to the present comprehensive analysis.
• The paper emphasizes the technical complexity of the calculation and invites independent scrutiny and reproduction of the results.

In summary, this work provides the necessary theoretical machinery to evolve Wilson coefficients for two-fermion operators at dimension eight, completing a significant portion of the SMEFT renormalization program required for next-generation precision phenomenology.