Semileptonic weak Hamiltonian to $\mathcal{O}(\alpha \alpha_s(\mu_{\mathrm{Lattice}}))$ in momentum-space subtraction schemes

This paper calculates the $\mathcal{O}(\alpha\alpha_s)$ perturbative conversion between the $\bar{\rm MS}$ scheme and momentum-space subtraction schemes for semileptonic weak Hamiltonians, demonstrating how judicious choices of projectors eliminate artificial scale dependence caused by Ward identity violations and yield Wilson coefficients with significantly reduced renormalization scale sensitivity.

The Gist

Imagine the Standard Model of particle physics as a giant, incredibly precise recipe book for how the universe works. One of the most important "dishes" in this book involves particles called mesons and nuclei decaying (breaking apart) in a specific way. Physicists use these decays to test if their recipe book is perfect, specifically by checking a mathematical rule called "CKM unitarity."

To get the recipe right, they need to account for tiny, messy ingredients like electromagnetic forces (light) and strong nuclear forces (glue). The problem is that these forces interact in complex ways, and when physicists try to calculate them using computers (specifically a method called "lattice QCD"), they run into a problem of translation.

The Translation Problem: Different Dialects

Think of the different ways physicists calculate these forces as different dialects of the same language.

• The MS Scheme: This is the "standard textbook" dialect. It's great for high-level theory and keeping things organized, but it's hard to use directly on the computer simulations (the lattice).
• The RI Schemes (MOM/SMOM): These are the "field dialects" used by the computer simulations. They are practical for the lattice but need to be translated back to the textbook dialect to make sense of the final result.

The paper focuses on the translation dictionary between these two dialects. Specifically, they are looking at the "O(ααs)" level, which is a fancy way of saying they are calculating the corrections when both light (electromagnetism) and glue (strong force) interact at the same time.

The "Broken Compass" (The Old Way)

For a long time, physicists used a standard tool (a "projector") to help translate between these dialects. The authors of this paper discovered that this old tool was slightly broken.

The Analogy: Imagine you are trying to translate a sentence, but your dictionary has a typo. When you translate a sentence that should be pure "glue" (no light), your dictionary accidentally adds a little bit of "light" to the translation.

• The Consequence: This creates an "artificial scale dependence." In plain English, it means the answer changes depending on an arbitrary setting you chose for the calculation, even though the real physics shouldn't care about that setting. It's like a map that says "North" changes depending on what time of day you look at it. This introduces unnecessary errors and uncertainty into the final result.

The "New Compass" (The Solution)

The authors realized the old tool violated a fundamental rule of physics called a Ward Identity. Think of this identity as a "Law of Conservation" that says, "If there is no light involved, the glue shouldn't change the rules."

To fix this, they designed two new projectors (new translation tools):

1. RI-MOM: A new way to translate for one type of momentum setup.
2. RI-SMOM: A new way for a symmetric setup.

These new tools are "judiciously chosen" to respect the Law of Conservation. When they use these new tools:

• The "glue-only" corrections vanish (as they should).
• The artificial "North changes with time" problem disappears.
• The final result becomes much more stable and precise.

The Results: A Sharper Picture

The authors did the heavy math (two-loop calculations, which is like solving a puzzle with millions of pieces) to prove their new tools work.

• Old Method: When they used the old projector, the final answer wobbled significantly as they changed the calculation settings. It looked like there was a huge uncertainty (about ±0.5%).
• New Method: When they used their new projectors, the wobble almost vanished. The uncertainty dropped to a tiny fraction (±0.0002).

Why This Matters (According to the Paper)

The paper concludes that by using these new, "Ward-identity-preserving" projectors, physicists can:

1. Reduce Errors: The calculations for semi-leptonic decays (like those used to test the CKM matrix) become much more precise.
2. Better Lattice Matching: It allows for a cleaner connection between computer simulations (lattice) and theoretical predictions (MS scheme).
3. Future Proofing: It sets a better standard for future work, ensuring that when they combine different types of corrections (light and glue), they aren't accidentally adding "fake" noise to their data.

In short, the authors didn't discover a new particle or a new force. Instead, they fixed the ruler physicists use to measure these forces. By making the ruler more accurate, the measurements of the universe's fundamental constants become sharper, helping to ensure the Standard Model's recipe book is truly correct.

Technical Summary

1. Problem Statement

The precision test of the Standard Model (SM) via the CKM unitarity triangle relies heavily on the accurate extraction of CKM matrix elements (specifically $V_{ud}$ and $V_{us}$) from semi-leptonic meson decays and nuclear beta decays. This extraction requires a systematic treatment of both strong ($\alpha_s$) and electromagnetic ($\alpha$) corrections.

A critical bottleneck exists in the non-perturbative determination of decay constants and form factors using Lattice QCD. While momentum-space subtraction schemes (RI schemes) are ideal for lattice calculations because they are regulator-independent, the standard definitions of these schemes (specifically RI'-MOM and RI-SMOM) suffer from a theoretical flaw when applied to semi-leptonic operators in the presence of QED:

• Artificial Scale Dependence: The conventional projectors used to define these schemes violate a Ward identity in the pure QCD limit ($\alpha \to 0$).
• Consequence: This violation introduces artificial, non-vanishing QCD corrections ($O(\alpha_s)$ and $O(\alpha_s^2)$) into the conversion factors between the lattice scheme and the continuum $\overline{\text{MS}}$ scheme. These corrections generate an artificial dependence on the lattice matching scale ($\mu_L$) that only formally disappears if all orders of perturbation theory are summed. In practice, this leads to large theoretical uncertainties and poor perturbative convergence.

2. Methodology

The authors perform a two-loop perturbative calculation to address these issues. The methodology involves:

• Renormalization Schemes: They compare the standard $\overline{\text{MS}}$ scheme with momentum-space subtraction schemes: RI'-MOM, RI-MOM, RI-SMOM, and RI-SMOM.
• Projector Analysis: The core of the work is the analysis of the Dirac projectors ($P$) used to define the renormalization conditions for the four-point Green's function.
  • They demonstrate that the conventional projector (Eq. 2.19) fails to preserve the Ward identity for the conserved vector current in the pure QCD limit.
  • They derive new projectors (Eqs. 2.20 and 2.21) by expanding the four-point function in a basis of Lorentz-invariant structures and imposing conditions that ensure the Ward identity holds ($Z_{OO}^{RI} = 1 + O(\alpha)$).
• Two-Loop Calculation:
  • They calculate the $O(\alpha \alpha_s)$ conversion factors between the $\overline{\text{MS}}$ scheme and the new RI schemes.
  • The calculation involves 21 relevant Feynman diagrams.
  • They utilize dimensional regularization with an anticommuting $\gamma_5$ to avoid ambiguities.
  • Tensor integrals are reduced to scalar form factors using Passarino-Veltman decomposition.
  • Integration-by-Parts (IBP) reduction is performed using Reduze 2 and FIRE6 to reduce integrals to a set of Master Integrals.
  • Master integrals are evaluated using analytical results from literature and numerical evaluations via PySecDec where analytical results were unavailable or incomplete.
• Renormalization Group (RG) Improvement: The authors combine the two-loop matching corrections with known one-loop electroweak matching and two-loop anomalous dimensions. They evolve the Wilson coefficients from the electroweak scale ($\mu_W$) down to the lattice scale ($\mu_L$) using RG equations, summing leading-log (LL) and next-to-leading-log (NLL) strong corrections to the electromagnetic contributions.

3. Key Contributions

• Identification of the Ward Identity Violation: The paper explicitly traces the artificial scale dependence in standard RI schemes to the violation of the Ward identity by conventional projectors in the $\alpha \to 0$ limit.
• Definition of New Schemes: The authors define two new, improved schemes:
  • RI-MOM: A momentum-space scheme using a modified projector for symmetric kinematics ($p_1=p_2=p_3=p_4$).
  • RI-SMOM: A symmetric momentum-space scheme using a modified projector for asymmetric kinematics ($p_1=p_3, p_2=p_4$).
• Proof of Pure QCD Vanishing: They prove that with these new projectors, the conversion factors between the new RI schemes and $\overline{\text{MS}}$ contain no pure QCD corrections ($O(\alpha_s)$ and $O(\alpha_s^2)$ terms vanish). The conversion is driven solely by electromagnetic effects ($O(\alpha)$).
• Explicit Two-Loop Results: They provide the explicit analytical expressions for the conversion factors at $O(\alpha \alpha_s)$ for both the new and conventional schemes.
• Scheme Conversion to W-Mass: They provide the one-loop conversion factor between the $\overline{\text{MS}}$ scheme and the traditional W-mass renormalization scheme, facilitating comparison with older literature.

4. Results

• Suppression of Scale Dependence:
  • Conventional Schemes (RI'-MOM): The residual scale dependence of the Wilson coefficient is significant (approx. $\pm 0.5\%$ uncertainty) due to the uncancelled $O(\alpha_s)$ terms. Figure 4 in the paper illustrates this large variation with the matching scale $\mu_L$.
  • New Schemes (RI-MOM & RI-SMOM): The residual scale dependence is dramatically reduced to approximately $\pm 2 \times 10^{-4}$. The artificial dependence on $\mu_L$ is effectively removed because the pure QCD contributions to the conversion factor are zero.
• Perturbative Convergence: The new schemes exhibit excellent perturbative convergence. The inclusion of LL and NLL QCD corrections to the electromagnetic terms stabilizes the result, whereas the conventional schemes show poor convergence.
• Numerical Stability: The results show that the Wilson coefficients in the new schemes are free from the "artificial" running induced by the truncation of the perturbation series, making them far more suitable for high-precision lattice QCD matching.

5. Significance

• Precision CKM Unitarity: By eliminating the artificial scale dependence and reducing theoretical uncertainties, these new schemes allow for a more precise determination of CKM matrix elements ($V_{ud}, V_{us}$). This is crucial for testing the unitarity of the CKM matrix, a primary probe for New Physics.
• Lattice QCD Implementation: The proposed schemes are directly implementable on the lattice. The paper provides the necessary perturbative matching factors to connect lattice results (computed in RI-MOM/RI-SMOM) to the continuum $\overline{\text{MS}}$ scheme used in phenomenology.
• Theoretical Consistency: The work resolves a conceptual issue regarding the renormalization of semi-leptonic operators in the presence of QED. It establishes that preserving the Ward identity is not just a formal requirement but a practical necessity for reducing theoretical errors in multi-scale problems.
• Future Directions: The authors argue that these new schemes should replace conventional RI schemes in future semi-leptonic decay analyses. They also outline the path forward, noting that the evaluation of three-loop anomalous dimensions and two-loop electroweak matching is required to complete the NLL QCD corrections.

In summary, this paper provides a rigorous theoretical framework and explicit calculation to fix a long-standing issue in the renormalization of semi-leptonic operators, offering a path to significantly higher precision in Standard Model tests via lattice QCD.