A note on momentum subtraction schemes for quark bilinears and semileptonic operators

This paper extends the RI/SMOM renormalization scheme to semi-leptonic operators by utilizing chirally symmetric massless QCD to relate them to protected vector currents, demonstrating the equivalence of a new family of projectors with recent results relevant for calculating Wilson coefficients.

The Gist

Imagine you are trying to measure the weight of a very specific, tiny object inside a complex machine. In the world of particle physics, this "object" is a mathematical rule (an operator) that describes how quarks (the building blocks of matter) interact with leptons (like electrons and neutrinos) during a process called a "semi-leptonic decay."

Physicists use supercomputers (Lattice QCD) to simulate these interactions. However, the raw numbers coming out of the computer are "dirty"—they contain mathematical noise and depend on the specific rules of the simulation. To get the true, physical answer, they need to "clean" these numbers using a process called renormalization. Think of this like calibrating a scale: you need a known standard to ensure your measurement is accurate.

Here is what this paper does, broken down into simple concepts:

1. The Problem: A Messy Calibration

In the past, physicists had a standard way to clean these numbers (called the RI/SMOM scheme). However, when they tried to apply this standard to the specific "semi-leptonic" interactions (where quarks turn into other particles while emitting a neutrino), the calibration got messy.

The old method used a "single-lens" approach (a single-trace projector). It was like trying to focus a camera with a lens that was slightly warped. While it worked for some things, it introduced unnecessary errors and made the math for the final answer (the Wilson coefficient) much harder to calculate. It was as if the scale was telling you the weight was "10 grams plus a little bit of mystery."

2. The Solution: A New, Sharper Lens

The authors of this paper propose a new way to set up the calibration. They introduce a family of new "lenses" (mathematical tools called projectors) that are double-trace.

• The Analogy: Imagine you are trying to measure the volume of water in a bucket. The old method tried to measure it by looking at the water from one angle, which made the surface ripples confusing. The new method looks at the water from two angles simultaneously (a double-trace), allowing them to cancel out the ripples and see the true level immediately.
• The Result: With this new setup, the "mystery bit" disappears. The math shows that the calibration factor is exactly 1 (perfectly clean) for the quark part of the interaction. This means the "scale" is perfectly balanced without needing extra adjustments.

3. Why This Matters: The "Ward Identity"

The paper leans heavily on a fundamental rule of physics called the Ward Identity. You can think of this as a law of conservation, similar to how money in a bank account must balance: if you put money in, it has to come out somewhere else.

• In the old, messy method, the math didn't respect this balance perfectly, leading to errors.
• The new method the authors designed is built specifically to respect this balance perfectly. Because the math respects the "law of conservation" so well, the messy corrections vanish.

4. The Connection to Previous Work

The authors acknowledge that another team (Reference [2] in the paper) had already found a way to fix this problem, but they used a slightly different mathematical recipe (a "single-trace" approach).

The authors of this paper say: "We found a different recipe (the double-trace approach) that is actually simpler and more elegant, but it gives you the exact same result."

They prove this using a mathematical trick called a Fierz identity.

• The Analogy: Imagine two chefs making the same cake. Chef A uses a square pan, and Chef B uses a round pan. They look different, but if you cut the cakes into specific shapes and rearrange them, you realize they are made of the exact same ingredients in the exact same proportions. This paper proves that their "round pan" method is mathematically identical to Chef A's "square pan" method.

Summary

In short, this paper is a technical guide for physicists who simulate particle interactions. It says:

1. We have found a cleaner, more direct way to calibrate the math for semi-leptonic decays.
2. This new way ensures that the "noise" in the calculation is zero, making the final results more precise.
3. Even though our math looks different from a similar recent paper, we prove it leads to the exact same destination.

This allows physicists to calculate the properties of particle decays (like those of the Tau particle or Kaons) with higher precision, which is crucial for testing the Standard Model of physics.

Technical Summary

Technical Summary: A Note on Momentum Subtraction Schemes for Quark Bilinears and Semileptonic Operators

Problem Statement
The increasing precision of Lattice QCD simulations necessitates rigorous renormalization schemes for operators relevant to phenomenology, particularly semi-leptonic operators involved in hadronic $\tau$ decays and transitions such as $\pi\ell2$, $\pi\ell3$, $K\ell2$, and $K\ell3$. While the Weak Effective Field Theory (EFT) describes these processes via a product of Wilson coefficients and four-fermion operators, the renormalization of the four-fermion operator $O_{rs}(x)$ cannot simply be treated as the product of renormalized currents beyond the isospin limit.

Standard $\overline{\text{MS}}$ schemes are not directly applicable to Lattice QCD without an intermediate matching step. Regularization Invariant (RI) momentum subtraction schemes offer a bridge between lattice and perturbation theory. However, previous definitions of RI schemes for semi-leptonic operators (specifically in Ref. [34]) utilized a single-trace convention inherited from four-quark operators. This led to a non-minimal renormalization in pure QCD, where the operator normalization deviates from unity at $O(\alpha)$. Although Ref. [2] rectified this by deriving an appropriate single-trace projector to ensure $Z_V = 1 + O(\alpha^2)$, the resulting projectors were less compact and the connection to the simpler bilinear operator case was obscured.

Methodology
The authors work within massless QCD with exact chiral symmetry, assuming a lattice discretization that preserves chiral symmetry at a finite cutoff. The study focuses on the renormalization of the flavor-changing vector current and its promotion to the semi-leptonic four-fermion operator.

The core methodology involves:

1. Ward Identity Analysis: The authors utilize the Ward identities of isosymmetric QCD, which protect the vector current from renormalization ($Z_V=1$) in the continuum limit. They analyze the amputated Green's functions for vector ($V$), axial ($A$), and left-handed ($L$) currents.
2. Projector Construction: The authors derive a family of projectors for the RI/SMOM (Symmetric Momentum) schemes. They employ a double-trace prescription for the semi-leptonic operator, defined as $P[\Lambda_O] \equiv P_{\beta\alpha\delta\gamma,ba} [\Lambda_O]_{\alpha\beta\gamma\delta,ab}$.
3. Kinematic Configurations: The study examines both "exceptional" kinematics ($q=0$, RI/MOM) and "non-exceptional" kinematics ($q^2 = -\mu^2$, RI/SMOM).
4. Equivalence Proof: Using Fierz identities, the authors demonstrate that their double-trace projectors are mathematically equivalent to the single-trace projectors derived in Ref. [2].

Key Contributions and Results

• Double-Trace Projectors: The primary contribution is the reformulation of the RI/SMOM schemes using a double-trace projector. This results in a more compact mathematical expression compared to the single-trace form in Ref. [2] and establishes a clearer conceptual link to the renormalization of bilinear operators.
• Preservation of Ward Identity: The derived projectors satisfy the condition that the renormalization constant for the vector current, $Z_V$, is exactly 1 to all orders in perturbation theory (within the pure QCD limit). Specifically, for the SMOM kinematics, the authors derive a family of projectors parameterized by $y$ (or $x$):
  $$P_{\mu}^{\text{RI/SMOM}_y} = \frac{1}{2N_c p^2} (y \not{p} + (y-1)\not{p}') q_\mu$$
  This family includes the specific case $y=1/2$ (corresponding to $x=1/2$ in Ref. [2]), which was previously identified as preserving the Ward identity.
• Equivalence to Ref. [2]: Through explicit algebraic manipulation using Fierz identities, the authors prove that their double-trace projectors yield the same physical results as the single-trace projectors in Ref. [2]. Consequently, the Wilson coefficients calculated in Ref. [2] are directly applicable to the projectors proposed in this work.
• Extension to Semileptonic Operators: The paper demonstrates how the renormalization conditions for the vector bilinear can be consistently promoted to the semi-leptonic four-fermion operator. In the isospin limit, the renormalization of the semi-leptonic operator is entirely fixed by the vector component $Z_V$.

Significance and Claims
The paper claims that by adopting these double-trace projectors, the renormalization of the semi-leptonic operator in pure QCD becomes "minimal," meaning the normalization is $1 + O(\alpha)$ (specifically $1 + O(\alpha^2)$ if $Z_V=1$ is enforced). This property is crucial for the perturbative calculation of Wilson coefficients.

The authors emphasize that choosing schemes where $Z_V = 1$ leads to:

1. Reduced Scale Dependence: The Wilson coefficients exhibit smaller dependence on the renormalization scale.
2. Improved Systematic Error Assessment: The reduction in scale dependence allows for a better estimation of systematic errors arising from missing higher-order terms in perturbation theory, which is vital for high-precision Lattice QCD predictions.

The work does not introduce new physical predictions or experimental proposals but rather refines the theoretical framework (renormalization schemes) used to extract physical quantities from Lattice QCD simulations, ensuring consistency with the Ward identities and simplifying the connection between bilinear and four-fermion operator treatments.