Strong coupling expansion of $1\over 2$BPS Wilson loop in SYM theory and 2-loop Green-Schwarz string in AdS$_5 \times $S$^5$

This paper investigates the 2-loop correction to the Green-Schwarz string partition function near an AdS$_2$ minimal surface to reproduce the subleading term in the strong coupling expansion of the $1/2$BPS Wilson loop in${\cal N}=4$ SYM, finding that a UV logarithmic divergence necessitates a specific subtraction prescription to match the gauge theory result and thereby refine the testing of AdS/CFT duality at strong coupling.

The Gist

Here is an explanation of the paper "Strong coupling expansion of 1/2 BPS Wilson loop in SYM theory and 2-loop Green-Schwarz string in AdS5 x S5" using simple language and creative analogies.

The Big Picture: Two Sides of the Same Coin

Imagine the universe is described by two different languages.

1. Language A (The Gauge Theory): This is like a very precise, rule-based video game code. It's easy to run on a computer, but when you try to simulate the most extreme levels (strong coupling), the numbers get huge and messy.
2. Language B (The String Theory): This is like a physics simulation of vibrating strings in a curved, 10-dimensional universe. It's beautiful and geometric, but the math is incredibly hard to solve, especially when you try to add "quantum corrections" (tiny ripples on the strings).

The AdS/CFT duality is the "Rosetta Stone" that claims these two languages describe the exact same reality. If you translate a result from Language A, it should match the result from Language B perfectly.

The Specific Problem: The "Wilson Loop"

In this paper, the authors are testing this translation using a specific object called a Wilson Loop.

• Analogy: Imagine drawing a perfect circle on a piece of paper. In the "video game" (Language A), we can calculate the exact energy of this circle using a famous formula involving a Bessel function (a specific type of mathematical curve).
• The Translation: When we translate this circle into the "string world" (Language B), it looks like a string stretching out into a curved, funnel-shaped universe (AdS space) and ending on that circle at the rim.

The Challenge: The "1-Loop" vs. "2-Loop" Gap

The authors are trying to check if the translation works at a very high level of precision.

1. The "1-Loop" (Semiclassical) Check:

   • Imagine the string is a smooth, taut rubber band. The energy of this smooth band matches the video game result perfectly. This was already known.
   • Analogy: It's like calculating the weight of a car by just looking at its blueprints. It works for the main structure.

2. The "2-Loop" (Quantum) Check:

   • Now, we need to account for the fact that the rubber band isn't perfectly smooth; it's made of atoms and jiggles. These tiny quantum jiggles create a "correction" to the energy.
   • The video game (Language A) gives us a very specific number for this correction: $-3/16\pi T$.
   • The authors tried to calculate this same correction using the string theory math (Language B).

The Plot Twist: The "Infinite Noise"

When the authors did the string math, they hit a snag.

• The Problem: In string theory, when you zoom in on the tiny jiggles, you often encounter "infinities" (mathematical explosions). Usually, these infinities cancel each other out, leaving a clean answer.
• The Discovery: In this specific case (the circular loop), the infinities did not cancel out. Instead, they left behind a "logarithmic divergence"—a persistent, annoying noise that makes the final number undefined.
• Analogy: Imagine you are trying to measure the exact temperature of a cup of coffee. You have a perfect thermometer (the video game result). But when you try to measure it with your own method (string theory), your thermometer keeps picking up static noise from a nearby radio. You can't get a reading because the noise is too loud.

The Solution: The "Subtraction Prescription"

The authors realized that to make the string theory match the video game, they couldn't just do the math as usual. They had to invent a specific rule to "subtract" the noise.

• The Fix: They proposed a specific way to handle the math (a "subtraction prescription") that effectively turns down the radio static.
• The Catch: This rule isn't automatic. It requires a specific choice of how to define the "zero point" of the measurement.
• The "Supersymmetry" Clue: They found that if they assumed the universe has a hidden symmetry (called supersymmetry) that forces the "boson" particles and "fermion" particles to behave in a perfectly balanced way, the math suddenly works.
  • Analogy: It's like realizing that the static noise on your thermometer is actually caused by a mismatch in the batteries. If you swap the batteries to a specific brand (enforcing the symmetry rule), the noise disappears, and the reading matches the video game perfectly.

The Conclusion: What Does This Mean?

1. It's Not Automatic: You can't just plug the string theory equations into a computer and expect them to match the video game. The theory is "sick" (has infinities) at this level of detail.
2. We Need a Doctor: To cure the theory and make it match reality, we need to add "counterterms" (like medicine) to fix the infinities.
3. The Prescription: The paper suggests that the "medicine" required is dictated by the hidden symmetries of the universe. If we apply this specific fix, the string theory prediction matches the video game prediction exactly.

Summary for the Everyday Reader

Think of this paper as a team of mechanics trying to tune a race car (String Theory) to match the performance data of a simulation (Gauge Theory).

• They found that the car's engine has a weird rattle (the UV divergence) that the simulation doesn't show.
• Instead of giving up, they figured out that if they tighten a specific bolt based on the car's design blueprint (Supersymmetry), the rattle stops.
• Once the rattle is gone, the car's speed matches the simulation perfectly.

The takeaway: The universe is consistent, but to see that consistency in the math of strings, we have to be very careful about how we handle the "noise" of quantum mechanics. We need a specific set of rules to clean up the math before we can trust the results.

Technical Summary

Here is a detailed technical summary of the paper "Strong coupling expansion of 1/2 BPS Wilson loop in SYM theory and 2-loop Green-Schwarz string in AdS$_5 \times S^5$."

1. Problem Statement

The paper addresses a specific challenge in the AdS/CFT correspondence: verifying the duality between $\mathcal{N}=4$ Super Yang-Mills (SYM) theory and Type IIB superstring theory on $AdS_5 \times S^5$ at the strong coupling (large 't Hooft coupling $\lambda$) and two-loop order in the string worldsheet expansion.

• The Benchmark: The exact expectation value of the 1/2 BPS circular Wilson loop in $\mathcal{N}=4$ SYM is known via localization. In the planar limit and large $\lambda$, it expands as:
  $$\langle W \rangle \sim \frac{1}{g_s} \sqrt{\frac{T}{2\pi}} e^{2\pi T} \left( 1 - \frac{3}{16\pi T} + \dots \right)$$
  where $T = \sqrt{\lambda}/2\pi$ is the string tension.
• The Discrepancy: The exponential term $e^{2\pi T}$ corresponds to the classical string action. The prefactor $\sqrt{T}$ and the $1$(leading order) correspond to the 1-loop string correction. The term proportional to$T^{-1}$(specifically$-\frac{3}{16\pi T}$) should correspond to the 2-loop correction in the string partition function.
• The Obstacle: The Green-Schwarz (GS) string action is formally non-renormalizable in 2D. While 1-loop corrections are well-understood, 2-loop calculations suffer from UV divergences (poles in dimensional regularization) and scheme dependence. It is unclear how to subtract these divergences to match the finite, scheme-independent result from the gauge theory side without a rigorous prescription derived from integrability or symmetry.

2. Methodology

The authors perform a direct calculation of the 2-loop correction to the string free energy near the $AdS_2$ minimal surface ending on the boundary circle.

• Setup:

  • They expand the $AdS_5 \times S^5$ GS action in the static gauge (fixing worldsheet coordinates to target space coordinates) and an adapted $\kappa$-symmetry gauge.
  • The expansion is carried out to quartic order in the fluctuation fields (3 massive bosons $x^i$ in $AdS_5$, 5 massless bosons $y^a$ in $S^5$, and 8 Majorana fermions $\theta$).
  • Crucially, in this specific gauge, cubic interaction terms vanish. Consequently, the 2-loop free energy is determined solely by "double-bubble" diagrams (products of two propagators).

• Regularization Scheme:

  • The authors employ Dimensional Reduction (DRED) regularization.
  • They treat the spacetime dimension as $d = 2 - 2\epsilon$ (specifically $AdS_{1+d}$) while keeping the number of fermionic components and gamma matrix algebra in their original 2D form.
  • This allows them to isolate UV divergences (poles in $1/\epsilon$) while preserving the tensor structure of the interactions.

• Propagators:

  • They utilize the coincident-point limits of the $AdS_{1+d}$ propagators for massive scalars ($m^2=2$) and fermions ($m=1$).
  • Key quantities calculated are the constant factors $G$ (bosonic) and $S$ (fermionic) representing the coincident propagator values, which contain the $1/\epsilon$poles and finite constants ($a_b, a_f$).

3. Key Contributions and Calculations

A. Expansion of the Action

The authors derive the explicit quartic interaction Lagrangian ($L_4$) containing:

1. Pure Bosonic terms: Quartic in $x^i$ (massive) and $y^a$ (massless).
2. Mixed terms: $x^2 \theta^2$.
3. Pure Fermionic terms: $\theta^4$.
   They note that massless $y^a$ fields do not contribute to the 2-loop free energy in this regularization scheme because derivatives of massless propagators vanish at coincident points.

B. Calculation of 2-Loop Coefficients

The 2-loop free energy coefficient $f_2$ is expressed as a linear combination of products of propagator constants:
$$f_2 = q_b G^2 + q_{bf} G S + q_f S^2$$
where $q_b, q_{bf}, q_f$ are coefficients derived from the interaction vertices and the number of fields ($N_x=3, N_\theta=16$).

C. Analysis of Divergences

Upon expanding in $\epsilon \to 0$:

• **Double Poles ($1/\epsilon^2$):** These cancel out automatically in each sector (bosonic, mixed, fermionic) due to the constant curvature of$AdS_5$ and residual supersymmetry.
• Single Poles ($1/\epsilon$): These do not cancel. The result contains a non-zero UV logarithmic divergence:
  $$f_2 \sim -\frac{11}{32\pi^2} \frac{1}{\bar{\epsilon}} + f_{2, \text{fin}}$$
  where $\bar{\epsilon}$ includes the Euler-Mascheroni constant and $\log(4\pi)$.

D. The Finite Part and Scheme Dependence

The finite part $f_{2, \text{fin}}$ depends on the scheme-dependent constants $a_b$ and $a_f$ appearing in the finite parts of the propagators $G$ and $S$.

• Standard Calculation: Using standard values ($a_b=2, a_f=1$), the finite part is calculated as $f_{2, \text{fin}} = \frac{9}{32\pi^2}$.
• Comparison with SYM: The gauge theory prediction requires $f_{2, \text{fin}} = \frac{3}{32\pi^2}$. The standard string calculation yields a value 3 times larger than the SYM prediction.

4. Results and Resolution

The paper concludes that the mismatch arises from the ambiguity in the regularization scheme and the subtraction of UV poles.

1. Subtraction Prescription: The authors propose that the UV pole ($1/\bar{\epsilon}$) must be subtracted (renormalized) via a counterterm required by the underlying symmetries (integrability/supersymmetry).
2. Supersymmetry Relation: To match the SYM result, the authors conjecture a specific relation between the finite parts of the bosonic and fermionic propagators in the coincident limit, motivated by the requirement of preserving 2D supersymmetry:
   $$G = -S \implies a_b = a_f = 1$$
3. Final Match: Under this specific scheme choice ($a_b=a_f=1$), the finite part of the string calculation becomes:
   $$f_{2, \text{fin}} = \frac{3}{32\pi^2}$$
   This exactly matches the coefficient derived from the localization result in $\mathcal{N}=4$ SYM.

5. Significance

• Validation of AdS/CFT at Strong Coupling: This work provides a non-trivial check of the AdS/CFT duality beyond the semiclassical (1-loop) approximation. It demonstrates that the string theory side can reproduce the $T^{-1}$ correction of the gauge theory, provided the correct renormalization scheme is chosen.
• Role of Counterterms: It highlights that the GS string action requires specific higher-derivative counterterms at the 2-loop level to be consistent with quantum integrability and supersymmetry. The coefficients of these counterterms are not arbitrary but are fixed by the requirement to match gauge theory observables.
• Regularization Ambiguity: The paper underscores that in curved backgrounds like $AdS_2$, the choice of regularization (specifically how one treats the finite parts of coincident propagators) is critical. Standard dimensional reduction does not automatically yield the correct physical result without imposing symmetry constraints on the finite parts.
• Future Directions: The authors suggest that similar calculations for other observables (e.g., latitude Wilson loops) or in other dualities (like ABJM theory in $AdS_4 \times CP^3$) could further clarify the structure of these counterterms and the uniqueness of the renormalization scheme.

In summary, the paper resolves a potential discrepancy between string theory and gauge theory at the 2-loop level by demonstrating that the UV divergence requires a specific subtraction scheme consistent with supersymmetry, which then leads to an exact match with the known localization result.