Three-loop renormalization of the N=1, N=2, N=4 supersymmetric Yang-Mills theories

This paper calculates the three-loop renormalization constants for N=1, N=2, and N=4 supersymmetric Yang-Mills theories in an arbitrary covariant gauge using the dimensional reduction scheme, confirming the scheme's validity up to the third order of perturbation theory by demonstrating consistent beta-functions for N=1 and N=4 models.

The Gist

Imagine you are trying to build a perfect, invisible Lego castle. This castle represents the universe at its most fundamental level, governed by rules called Supersymmetry. In this world, every "particle" (like an electron) has a "super-partner" (like a selectron) that acts like a mirror image, keeping the structure balanced.

The paper you provided is a report from a physicist, V. N. Velizhanin, who is checking if the blueprints for this castle are still accurate after adding three layers of complexity.

Here is the story of the paper, broken down into simple concepts:

1. The Problem: The "Dimensional Reduction" Glitch

To do the math for these tiny particles, physicists use a trick called Dimensional Reduction (DR).

• The Analogy: Imagine you are trying to calculate the weight of a 3D object, but your calculator only understands 2D shapes. So, you pretend the object is flat, do the math, and then "fold" the result back up to 3D.
• The Issue: In the 1980s, a physicist named Siegel proposed this trick for Supersymmetry. It worked great for simple calculations. But later, some researchers claimed that if you tried to do very complex calculations (specifically, looking at how particles interact in groups of three), the math would break. They said the "folding" trick caused the super-partners to lose their balance, meaning the theory was broken.

2. The Investigation: Re-doing the Homework

Velizhanin decided to check this claim. He went back to the drawing board to calculate the "Renormalization Constants."

• What are those? Think of them as the adjustment knobs on a radio. As you turn the volume up (adding more energy or complexity), static (mathematical infinities) starts to appear. Renormalization is the process of turning the knobs to cancel out the static so you get a clear signal.
• The Conflict: Previous studies said that if you calculated the static using different types of interactions (like a "fermion-fermion-vector" interaction vs. a "fermion-fermion-scalar" interaction), you would get different knob settings. If the knobs don't match, the radio is broken, and the theory is wrong.

3. The Discovery: The Glitch Was a False Alarm

Velizhanin ran the calculations again, but this time he was extremely careful, checking the math in different "gauge" settings (different ways of looking at the problem).

• The Result: He found that for the specific theories of N=1, N=2, and N=4 (which are different versions of the Supersymmetric Lego castle), the knob settings did match.
• The "Aha!" Moment: The previous researchers who claimed the theory was broken had missed a subtle detail in the math. When you fix that detail, the "fermion-fermion-vector" math and the "fermion-fermion-scalar" math give the exact same answer.

4. The Conclusion: The Castle is Safe

The paper concludes that the "Dimensional Reduction" trick works perfectly up to three loops (three layers of complexity).

• Why does this matter? It means we can trust our blueprints for these theories. It gives physicists the confidence to move on to even harder calculations (four loops and beyond) without worrying that the foundation is crumbling.
• The Real-World Win: The author mentions that these new, corrected numbers were immediately used to solve a famous puzzle about the "Konishi operator" (a specific property of the N=4 theory), and the answer matched predictions from string theory. This proves the math is solid.

Summary in a Nutshell

Think of the universe as a delicate house of cards.

1. Old View: Some people said, "If you stack three cards high, the house will fall because our measuring tape is broken."
2. Velizhanin's View: "Wait, let me measure again with a better ruler."
3. The Outcome: "Actually, the house is stable! The measuring tape works fine. We can keep building higher."

This paper is essentially a "Quality Control" report that cleared the name of a mathematical tool, allowing physicists to continue their work on the fundamental laws of the universe with renewed confidence.

Technical Summary

Here is a detailed technical summary of the paper "Three-loop renormalization of the N = 1, N = 2, N = 4 supersymmetric Yang-Mills theories" by V. N. Velizhanin.

1. Problem Statement

The paper addresses a critical inconsistency in the Dimensional Reduction (DR) regularization scheme, proposed by Siegel for supersymmetric (SUSY) theories. While DR is essential for preserving supersymmetry in dimensional regularization, previous studies (specifically Refs. [5, 6]) claimed that the scheme fails at the three-loop level.

• The Conflict: Previous calculations suggested that the three-loop $\beta$-functions derived from different triple vertices (specifically the fermion-fermion-vector vertex vs. the fermion-fermion-scalar Yukawa vertex) yielded different results.
• The Implication: If the $\beta$-functions differ, it implies that gauge and Yukawa coupling constants are renormalized differently, violating supersymmetry. This would render the DR scheme invalid for high-order perturbative calculations in $N=1, 2, 4$ SYM theories.
• The Goal: To re-evaluate these three-loop renormalization constants in an arbitrary covariant gauge to determine if the DR scheme is consistent up to the third order of perturbation theory.

2. Methodology

The author employs a rigorous computational approach using the Minimal Subtraction (MS)-like scheme within the Dimensional Reduction framework.

• Theoretical Framework:
  • Utilizes the multiplicative renormalizability of Green's functions.
  • Relates bare and renormalized quantities via renormalization constants ($Z_\Gamma$).
  • Calculates the $\beta$-function using the relation: $\beta_{jjk}(g^2) = g^2 [2\gamma_{jjk} - 2\gamma_j - \gamma_k]$, where $\gamma$ represents anomalous dimensions derived from the $1/\epsilon$ poles of the renormalization constants.
• Computational Tools:
  • Diagram Generation: Used QGRAF to generate all Feynman diagrams.
  • Algebraic Manipulation: Used FORM and the MINCER package to compute unrenormalized three-loop one-particle-irreducible (1PI) diagrams.
  • Color Algebra: Used the COLOR package to evaluate color traces.
  • Gauge Choice: Calculations were performed with an arbitrary gauge fixing parameter $\alpha$ (propagator: $(g_{\mu\nu} - (1-\alpha)q_\mu q_\nu/q^2)/q^2$).
• Specific Vertices Analyzed:
  • Gauge vertices: Fermion-fermion-vector, Scalar-scalar-vector, Ghost-ghost-vector.
  • Yukawa vertex: Fermion-fermion-scalar.
• Infrared Rearrangement: The calculation of renormalization constants was reduced to massless propagator-type diagrams by nullifying external momenta.

3. Key Contributions and Corrections

The paper makes two major technical contributions that correct previous literature:

A. Correction of the Yukawa Vertex Calculation

The author identified a subtle error in the treatment of the Yukawa vertex matrices ($\alpha_r$ and $\beta_r$) in previous works (specifically Ref. [19]).

• The Issue: Previous calculations assumed the trace relation $\text{tr}[\alpha_r \beta_t] = 0$ holds generally. This is true for $N=4$ SYM but false for $N=1$ and $N=2$ SYM, where these are not matrices in the same sense.
• The Fix: The author recomputed the renormalization treating $\text{tr}[\alpha_r \beta_t]$ as an independent parameter.
  • For $N=4$: The term vanishes naturally.
  • For $N=1$: The term vanishes due to the presence of $\epsilon$-scalars inside the loop.
  • For $N=2$: The term is non-zero but exactly cancels the $\zeta_3$-term and other coefficients in the original $\beta$-function expression, resulting in a vanishing three-loop $\beta$-function for the Yukawa coupling.
• Result: This correction leads to a unified formula (Eq. 12) for the $\beta$-function that is consistent across all dimensions and SUSY levels.

B. Verification of $\beta$-Function Equivalence

The author recalculated the three-loop $\beta$-functions for $N=1, 2, 4$ SYM theories in $D=4$ (and $D=6, 10$ for $N=1$).

• Finding: The $\beta$-functions derived from the gauge vertices and the Yukawa vertex are identical for $D=4$ and $D=10$.
• Contradiction: This directly contradicts the claims in Refs. [5, 6], which stated the results were different. The author notes that the discrepancy in Ref. [5] was likely due to the incorrect matrix trace assumption mentioned above.

4. Results

The paper provides explicit, high-precision results for the renormalization constants ($Z$) and $\beta$-functions:

1. Consistency of DR Scheme: The three-loop $\beta$-functions are identical for all triple vertices in $N=1, 2, 4$ SYM theories. This confirms that the gauge and Yukawa couplings are renormalized in the same way.
2. Validity Limit: The DR scheme works correctly and preserves supersymmetry up to three loops in these models.
3. Explicit Formulas:
   • The paper derives the general three-loop $\beta$-function for arbitrary dimension $D$ (Eq. 12).
   • Appendix: Provides the full three-loop renormalization constants ($Z_g, Z_f, Z_s, Z_{gh}$) for Vector, Fermion, Scalar, and Ghost fields for $N=4$, $N=2$, and $N=1$ SYM theories in the arbitrary covariant gauge. These expressions include terms up to $1/\epsilon^3$and involve the quadratic Casimir$C_A$, the quartic Casimir$\hat{d}_{44}$, and Riemann zeta values ($\zeta_3$).

5. Significance

• Validation of Higher-Order Calculations: By proving the DR scheme is consistent up to three loops, the paper validates the use of this scheme for future four-loop computations.
• Konishi Operator: The author notes that these renormalization constants were immediately utilized to calculate the full four-loop anomalous dimension of the Konishi operator in $N=4$ SYM. This result matched independent calculations using superfield and superstring methods, further cementing the reliability of the DR scheme.
• Resolution of Controversy: The paper resolves a long-standing ambiguity regarding the validity of dimensional reduction in supersymmetric theories, clarifying that previous claims of its failure were due to calculation errors rather than a fundamental flaw in the scheme.

In summary, Velizhanin's work provides the necessary technical foundation to trust Dimensional Reduction for high-precision perturbative calculations in supersymmetric gauge theories, correcting previous misconceptions and providing the explicit renormalization constants required for four-loop analysis.