Axion EFT in the BMHV Scheme: Flavor Currents, Evanescent Operators and Ward Identities

This paper presents a systematic two-loop analysis of axion effective field theory within the BMHV scheme, demonstrating how evanescent operators arising from the non-anticommuting nature of $\gamma_5$ violate naive Ward identities and deriving the necessary finite renormalization to restore consistency and correctly recover the axial anomaly.

The Gist

Imagine you are trying to build a perfect, scale-model city (the universe) using a specific set of blueprints (Quantum Field Theory). You want to predict how tiny particles interact, but when you try to do the math, you hit a wall: the numbers get infinitely huge and break your calculator.

To fix this, physicists use a clever trick called Dimensional Regularization. Think of it like this: To measure the volume of a very complex, jagged rock, it's hard to do it in 3D. So, you temporarily pretend the rock exists in a "fuzzy" 4th dimension where the jagged edges smooth out, do your math, and then shrink it back down to 3D.

However, there's a catch. One of the most important particles in this model, the Axion (a hypothetical particle that might solve mysteries like dark matter), has a special "handedness" or chirality. In our normal 4D world, this handedness is like a left hand and a right hand being perfect mirror images that don't mix. But in that "fuzzy" extra dimension, the rules get blurry. The "left hand" starts to look a bit like the "right hand," and the math gets confused. This is the problem with the $\gamma_5$ matrix (the mathematical symbol for this handedness).

The Two Approaches: The "Naive" Way vs. The "Strict" Way

Physicists have two main ways to handle this blurriness:

1. The Naive Way (NDR): "Let's just pretend the extra dimension doesn't exist and that left and right hands are still perfect mirrors." This is easy and fast, but it's technically a lie. It works for simple things, but if you want to build a skyscraper (do high-precision, multi-loop calculations), the lie eventually causes the building to collapse.
2. The Strict Way (BMHV): This is the method used in this paper. It admits the truth: "Okay, in the extra dimension, left and right hands do get mixed up." To make the math work, they split the universe into two parts:
   • The Real 4D World: Where the physics we know lives.
   • The "Evanescent" Dimension: A ghostly, extra space that only exists to do the math. It vanishes when you shrink back to 4D, but while it's there, it creates "ghost" interactions.

The Problem: Ghosts in the Machine

In the Strict Way (BMHV), because of this split, the fundamental rules of symmetry (called Ward Identities) get broken.

Think of a Ward Identity like a conservation law. It's like saying, "If you put 5 dollars into a vending machine, you must get 5 dollars worth of snacks out." In the Strict Way, because of the "ghost" extra dimension, the machine seems to eat a few cents. The math says you put in 5, but you only get 4.99.

This happens because of Evanescent Operators.

• Analogy: Imagine you are baking a cake (the physical particle). You add a pinch of "ghost flour" (the evanescent operator) to make the batter smooth in the extra dimension. In the real 4D world, this ghost flour is supposed to vanish. But, it turns out that this ghost flour leaves a tiny, invisible residue that changes the taste of the cake. If you ignore it, your cake (the prediction) will be wrong.

What This Paper Does

The authors of this paper are like master chefs who decided to bake the Axion cake using the Strict Way (BMHV) but wanted to make sure the recipe was perfect.

1. They tracked the Ghosts: They didn't just ignore the "ghost flour." They wrote down exactly how the evanescent operators (the ghosts) interact with the real particles. They calculated these interactions up to two loops (which is like checking the recipe not just once, but twice, with extreme precision).
2. They Fixed the Machine: They found that the "ghost flour" was indeed breaking the vending machine (the Ward Identity). But, they discovered a specific finite counterterm (a secret ingredient) they could add to the recipe.
   • Analogy: If the machine was eating 1 cent, they realized they needed to add a "magic 1-cent coin" to the input. Once they added this specific correction, the machine worked perfectly again. The left and right hands were restored to their proper roles, and the conservation laws held true.
3. They Proved it Works: They showed that if you use this corrected recipe, the Axion behaves exactly as it should, matching the predictions of the "Naive" way but with the mathematical rigor of the "Strict" way.

Why Does This Matter?

You might ask, "Who cares about a ghost flour in a math recipe?"

• Precision is Key: Modern experiments (like those at the Large Hadron Collider) are so sensitive that they can detect differences smaller than a single atom. If we use the "Naive" way, our predictions might be slightly off, leading us to miss new physics or misinterpret data.
• Axions are Hot: Axions are a leading candidate for Dark Matter. To find them, we need to know exactly how they interact with other particles. This paper provides the "gold standard" math to ensure our predictions for Axion behavior are rock-solid.
• The Blueprint is Safe: By proving that the Strict Way (BMHV) can be made to work with the right corrections, the authors have given physicists a safe, reliable tool to calculate complex interactions without fear of mathematical errors.

The Takeaway

This paper is a technical manual for fixing a broken calculator. It shows that if you want to do high-level physics with Axions, you can't just guess how the math works in extra dimensions. You have to acknowledge the "ghosts" (evanescent operators), calculate exactly how they mess things up, and then add the precise "correction factor" to restore the laws of physics.

They didn't just find the error; they built a bridge between the messy, complex math of the extra dimensions and the clean, beautiful physics of our 4D world, ensuring that our understanding of the universe remains consistent, no matter how deep we dig.

Technical Summary

1. Problem Statement

The paper addresses a critical challenge in high-precision quantum field theory (QFT) calculations involving chiral fermions and axion-like particles (ALPs): the consistent treatment of the $\gamma_5$ matrix in dimensional regularization (DimReg).

• The Core Issue: In $d \neq 4$ dimensions, the definition of $\gamma_5$ is ambiguous. The commonly used Naive Dimensional Regularization (NDR) scheme assumes $\gamma_5$ anticommutes with all $\gamma_\mu$, which leads to mathematical inconsistencies (e.g., violation of trace cyclicity) and incorrect results for chiral anomalies at higher loop orders.
• The BMHV Context: The Breitenlohner–Maison–'t Hooft–Veltman (BMHV) scheme provides a mathematically consistent framework by splitting the $d$-dimensional space into a 4-dimensional subspace and an evanescent $(d-4)$-dimensional subspace. However, this explicit separation breaks chiral symmetries and Ward Identities (WIs) at the intermediate stages of calculation due to the emergence of evanescent operators (operators that vanish as $d \to 4$ but contribute to loop corrections).
• Gap in Literature: While the BMHV scheme has been applied to the Standard Model (SM) and renormalizable chiral gauge theories, its application to Axion Effective Field Theory (Axion EFT)—specifically regarding the renormalization of dimension-five fermionic operators and flavor currents—had not been systematically explored. Existing Axion EFT studies largely relied on NDR, risking scheme-dependent ambiguities in multi-loop calculations.

2. Methodology

The authors employ a rigorous, diagrammatic approach within the BMHV scheme to analyze the renormalization of Axion EFT operators up to two-loop order ($O(\alpha_s^2)$).

• Framework Setup:

  • They start with the Axion EFT Lagrangian at the Peccei-Quinn scale, focusing on dimension-five operators coupling the axion to SM fermions ($O^{(\psi)}_{ij} \sim \partial_\mu a \bar{\Psi}_i \gamma^\mu \Psi_j$).
  • They decompose the Dirac algebra into 4D ($\tilde{\gamma}_\mu$) and evanescent ($\hat{\gamma}_\mu$) components.
  • They derive the Bare Ward Identities for chiral flavor currents, explicitly identifying the terms that break the naive 4D conservation laws. These breaking terms are identified as evanescent operators ($O_E$).

• Computational Strategy:

  • Diagrammatic Calculation: They perform explicit one-loop ($O(\alpha_s)$) and two-loop ($O(\alpha_s^2)$) calculations of Green's functions with operator insertions (fermion self-energies and vertex corrections).
  • Automation: The calculation utilizes a modern workflow: FeynRules for Feynman rules, QGRAF for diagram generation, FORM for Dirac/color algebra and tensor reduction, and Kira/Reduze for Integration-by-Parts (IBP) reduction to master integrals.
  • Verification: They verify that the bare Ward identities (including evanescent contributions) hold exactly in $d$-dimensions up to $O(\alpha_s^2)$.

• Renormalization Procedure:

  • They derive the Renormalized Ward Identities by introducing renormalization constants for the currents and evanescent operators.
  • They demonstrate how evanescent operators mix into physical operators.
  • They calculate the necessary finite renormalization constants ($Z_{finite}$) to project the BMHV results back onto the physical 4D basis, thereby restoring the standard 4D Ward identities and the Adler-Bell-Jackiw (ABJ) anomaly structure.

3. Key Contributions

1. First BMHV Application to Axion EFT: This is the first systematic application of the BMHV scheme to Axion EFT, providing a robust alternative to NDR for calculating Wilson coefficients and Renormalization Group Evolutions (RGEs).
2. Explicit Derivation of Evanescent Operators: The authors explicitly derive the form of the evanescent operators arising from the non-anticommuting nature of $\gamma_5$ in the context of flavor currents. They show that for axial currents, these operators are non-trivial and essential for maintaining consistency.
3. Two-Loop Verification: They provide a complete two-loop ($O(\alpha_s^2)$) verification of the Ward identities in the BMHV scheme, including both pole ($1/\epsilon$) and finite terms. This serves as a non-trivial consistency check of the formalism.
4. Finite Renormalization and Anomaly Recovery: They derive the specific finite renormalization factors required to restore the 4D Ward identities. This allows them to recover the correct structure of the axial current renormalization and the ABJ anomaly ($G\tilde{G}$) within the BMHV framework.
5. Anomalous Dimension Matrix (ADM): They compute the ADM for the physical currents and the anomaly operator, showing how non-singlet and singlet currents mix due to the trace of the flavor generators ($Tr(t_a) \neq 0$).

4. Key Results

• Ward Identity Structure:

  • Vector Currents: The vector Ward identities remain unbroken in BMHV (similar to NDR) because the evanescent contributions are total derivatives that vanish in physical matrix elements.
  • Axial Currents: The axial Ward identities are violated in $d$-dimensions by an evanescent operator $O_E$. The bare identity is:
    $$\partial_\mu j^\mu_A = (O_{eom})_A + O_E$$
  • Renormalization: The evanescent operator $O_E$ mixes into the physical axial current. The renormalized physical current $j^R_A$ is related to the MS current $[j_A]$ by a finite renormalization factor $z_A$:
    $$j^R_A = z_A [j_A] + \dots$$
    where $z_A$ is determined by the projection of $O_E$ onto physical states.

• Two-Loop Coefficients:

  • The authors provide explicit expressions for the pole coefficients ($1/\epsilon^2, 1/\epsilon$) and finite parts for fermion self-energies, current insertions, and evanescent operator insertions.
  • They confirm that the finite renormalization $z_A$ matches the original Larin result (up to $O(\alpha_s^2)$), validating their independent derivation.

• Anomaly Recovery:

  • By applying the finite renormalization, they recover the standard ABJ anomaly equation in 4D:
    $$\partial_\mu j^\mu_{A,R} = [O_{eom}]_R - 2 T_F Tr(t_a) \frac{\alpha_s}{4\pi} (G\tilde{G})_R$$
  • They demonstrate that the anomaly coefficient is scheme-independent and receives no perturbative corrections beyond the one-loop level, consistent with the Adler-Bardeen theorem.

• Scheme Comparison (NDR vs. BMHV):

  • The paper highlights that while NDR can yield correct results at one-loop, it fails to satisfy the canonical axial Ward identity at two-loops without ad-hoc finite renormalization. In contrast, the BMHV approach naturally incorporates the necessary evanescent operators to maintain consistency order-by-order.

5. Significance

• Theoretical Robustness: This work establishes a mathematically consistent and transparent framework for multi-loop calculations in Axion EFT. It resolves ambiguities associated with $\gamma_5$ handling, ensuring that physical observables (like decay rates or scattering cross-sections involving axions) are scheme-independent.
• Phenomenological Impact: As experimental searches for axions (especially at the GeV scale) become more precise, the need for high-order QCD corrections ($O(\alpha_s^2)$ and beyond) is critical. The derived anomalous dimensions and finite renormalization constants are essential inputs for accurate Renormalization Group Evolution (RGE) of Wilson coefficients from the high UV scale down to the electroweak or hadronic scale.
• General Applicability: The methodology developed here (explicit identification of evanescent operators and their mixing) is not limited to Axions. It provides a blueprint for handling chiral currents in any BSM EFT or SM process where high-precision QCD corrections are required.
• Future Directions: The authors note that this framework can be extended to include electroweak gauge boson corrections, which are currently unexplored in the context of flavor-current renormalization.

In summary, the paper bridges the gap between formal dimensional regularization techniques and practical phenomenological calculations, demonstrating that the BMHV scheme, when combined with a systematic treatment of evanescent operators, offers a superior and rigorous path for precision Axion physics.