Bootstrapping ABJM theory

This paper establishes a bootstrap framework based on exact functional relations in the Fermi-gas formulation of ABJM theory to analytically derive instanton corrections to the free energy and supersymmetric Wilson loops, thereby confirming previously conjectural results and revealing novel nonperturbative structures.

The Gist

Imagine you are trying to understand the weather in a city that is so complex, so chaotic, and so full of invisible forces that no single thermometer or barometer can tell you the whole story. This is essentially what physicists face when they study ABJM theory, a highly sophisticated model of the universe that describes how tiny, vibrating strings and membranes behave in a three-dimensional world.

For years, scientists have had a "cheat code" to solve parts of this puzzle called Supersymmetric Localization. It's like having a magical map that turns a chaotic, infinite storm into a neat, finite list of numbers (a matrix integral). But reading that list is still incredibly hard. It's like having a recipe written in a secret code where the ingredients change depending on how many people you are feeding.

This paper is about a new way to decode that recipe, not by guessing or using supercomputers to crunch numbers, but by using a clever logic game called Bootstrapping.

Here is the story of what they did, explained simply:

1. The Problem: The "Fermi Gas" Mystery

The authors started by looking at the universe through a specific lens called the Fermi Gas picture. Imagine the particles in this theory not as individual dots, but as a gas of invisible, jittery particles trapped in a box.

• The Goal: They wanted to calculate two very important things:
  1. The Free Energy: How much "effort" or energy the whole system needs to exist.
  2. Wilson Loops: Think of these as invisible rubber bands stretched around the particles. Depending on how you stretch them (1/2 BPS vs. 1/6 BPS), they reveal different secrets about the universe.

2. The Old Way: Guessing and Checking

Previously, scientists tried to figure out the behavior of this gas by:

• Semiclassical approximations: Looking at the gas when it's calm (which misses the wild, quantum storms).
• Topological Strings: Using a different, related theory (like looking at a shadow to guess the shape of the object casting it).
• Numerical Fitting: Running massive computer simulations to see what the numbers look like, then guessing the formula that fits them.

It was like trying to figure out the lyrics to a song by listening to a very fuzzy recording and guessing the words. It worked, but no one could prove why the lyrics were what they were.

3. The New Way: The "Bootstrap"

The authors decided to stop guessing and start using logic constraints. They treated the system like a puzzle where every piece must fit perfectly with its neighbors.

The Analogy: The Echo Chamber
Imagine you are in a room with perfect acoustics (the "Grand Canonical Ensemble"). You shout a sound (a mathematical function), and it echoes back.

• The paper uses a special rule: The echo must make sense.
• If you shout a specific pattern, the echo must return in a way that doesn't contradict the original shout.
• If the echo is "noisy" or "oscillating" in a way that shouldn't happen, it means your guess for the original pattern was wrong.

By demanding that the "echo" (the mathematical consistency of the theory) remains smooth and logical, they were able to force the solution to reveal itself. They didn't need to know the whole song; they just needed to know that the song must follow the rules of physics.

4. The Big Discoveries

Using this "Echo Chamber" logic, they cracked the code for two different types of "rubber bands" (Wilson loops):

• The 1/2 BPS Loop (The "Simple" Band):
  They found that this loop is surprisingly simple. It only interacts with "World-Sheet Instantons."

  • Metaphor: Imagine this loop is a rubber band floating on the surface of a pond. It only feels the ripples on the surface (strings). It doesn't care about what's happening deep underwater.

• The 1/6 BPS Loop (The "Complex" Band):
  This one is much more complicated. It interacts with both the surface ripples and the deep underwater currents.

  • Metaphor: This rubber band is heavy and sinks. It feels the surface ripples, but it also feels the "Membrane Instantons"—the massive, deep-sea currents (membranes) that the other loop ignores.
  • The Surprise: The authors proved that even though this loop is complex, the deep-sea currents follow a universal rule. No matter how many times you wrap the rubber band, the deep currents behave in the exact same, predictable way. This was a huge discovery that previous computer simulations hinted at but couldn't prove.

5. Why This Matters

Before this paper, we had a "conjecture" (a very educated guess) about how these loops behaved. We had the numbers, but we didn't have the proof.

This paper is the proof.

• They took the "fuzzy recording" and used the rules of the game to reconstruct the exact lyrics.
• They showed that the "deep sea" (membrane instantons) and the "surface" (world-sheet instantons) are connected in a beautiful, mathematical dance that was previously hidden.
• They proved that the universe, even in its most chaotic quantum states, follows strict, logical rules that can be derived from first principles without needing to guess.

In a Nutshell

The authors built a logical machine that takes the known rules of the ABJM universe and forces the unknown parts to reveal themselves. They showed that the "rubber bands" of the universe are not random; they are governed by a hidden, elegant structure where the surface and the deep are linked in a way that only a few people suspected. They turned a mystery into a solved puzzle, proving that the universe is more orderly than we thought.

Technical Summary

1. Problem Statement

The paper addresses the challenge of deriving exact nonperturbative corrections to observables in ABJM theory (a 3D $\mathcal{N}=6$ superconformal Chern-Simons-matter theory) directly from its matrix model formulation.

• Context: Supersymmetric localization reduces the partition function and Wilson loop expectation values to finite-dimensional matrix integrals. In the large-$N$ limit, these observables decompose into a perturbative part (governed by Airy functions) and nonperturbative instanton corrections (exponentially suppressed terms).
• The Gap: While the structure of these nonperturbative corrections (world-sheet instantons, membrane instantons, and bound states) has been extensively studied via refined topological string theory and high-precision numerical fitting, no first-principles analytic derivation exists starting directly from the localization matrix integrals. Previous results for the free energy and Wilson loops (specifically 1/2 and 1/6 BPS) remain largely conjectural.
• Specific Challenge: The 1/6 BPS Wilson loop is particularly difficult because it lacks a known topological string interpretation, and its nonperturbative structure is more intricate than that of the 1/2 BPS loop or the free energy.

2. Methodology: The Bootstrap Framework

The authors develop a bootstrap framework within the Fermi-gas formulation of the ABJM matrix model. Instead of relying on dualities to topological strings, they exploit exact functional relations and consistency conditions inherent to the matrix model.

Key Steps:

1. Fermi-Gas Reformulation: The partition function $Z(N,k)$ and Wilson loops are expressed as integrals over a grand canonical ensemble with chemical potential $\mu$. The grand potential $J(\mu, k)$ and Wilson loop generating functions are expanded in terms of instanton sectors ($e^{-(4m/k + 2\ell)\mu}$).
2. Operator Representation: The authors utilize the operator formalism where the partition function is a determinant $\det(1 + z\rho)$ and Wilson loops involve traces of operators. They introduce an auxiliary function $\psi(x|z)$ satisfying a Baxter equation (derived from the kernel of the density matrix).
3. Exact Functional Relations:
   • They define two key auxiliary functions: $F(z)$ (related to the ratio of grand partition functions under a shift $\mu \to \mu + i\pi$) and $\Phi(z)$ (related to the phase of the Baxter function).
   • Using quantization conditions derived from the consistency of the Baxter equation for integer $k$, they establish exact functional relations between $F(z)$ and $\Phi(z)$.
4. Consistency Condition (The Bootstrap):
   • The core of the method is the grand-canonical averaging relation: $W_n(\mu, k) = \langle W_n^{1/6}(\mu, k) \rangle_{GC}$.
   • The authors impose a consistency condition: The coefficients of the nonperturbative expansion of the Wilson loop (in terms of effective chemical potential $\mu_{\text{eff}}$) must be slowly varying functions of $\mu_{\text{eff}}$ and independent of the rapidly oscillating phase $\phi(\mu_{\text{eff}})$ that arises from the grand-canonical sum.
   • By demanding that the "fast oscillating" terms in the expansion cancel out, they derive a system of linear equations that uniquely determines the unknown coefficient functions.

3. Key Contributions and Results

A. Derivation of the Effective Chemical Potential

• The authors analytically derive the redefinition of the chemical potential $\mu \to \mu_{\text{eff}}$ (previously conjectured in [27]).
• They prove that the bound-state contributions to the grand potential can be absorbed into $\mu_{\text{eff}}$.
• Result: They explicitly calculate the coefficients $a_\ell(k)$ in the expansion of $\mu_{\text{eff}}$ (Eq. 3.29), confirming previous conjectures derived from topological string theory.

B. Free Energy and Grand Potential

• The bootstrap method provides a first-principles derivation of the nonperturbative coefficients $f_{m,\ell}(\mu)$ for the grand potential.
• Result: They confirm that:
  • World-sheet instanton coefficients $f_{m,0}$ are constants $d_m(k)$ (related to Gopakumar-Vafa invariants).
  • Membrane instanton coefficients $f_{0,\ell}$ are linear in $\mu_{\text{eff}}$.
  • Bound-state coefficients are not independent but determined by the world-sheet and membrane coefficients.

C. 1/2 BPS Wilson Loops

• The authors derive the full nonperturbative expansion for 1/2 BPS Wilson loops.
• Key Finding: The 1/2 BPS loop receives contributions only from world-sheet instantons ($Q_w = e^{-4\mu_{\text{eff}}/k}$). The membrane instanton contributions ($Q_m = e^{-2\mu_{\text{eff}}}$) vanish identically in the final expression.
• This confirms the conjecture (2.32) that membrane effects are absorbed into the redefinition of the phase, providing an analytic proof of the relation to open topological string amplitudes (Ooguri-Vafa invariants).

D. 1/6 BPS Wilson Loops (Novel Result)

• This is the most significant new result. The 1/6 BPS loop is shown to have a qualitatively different structure:
  • It receives contributions from both world-sheet and membrane instantons.
  • The membrane contributions are governed by two universal functions ($f_m$ and $V_m$) that are independent of the winding number $n$.
• Pole Cancellation Mechanism: The authors demonstrate that the spurious poles appearing in the world-sheet coefficients (at rational $k$) are exactly cancelled by the membrane coefficients. This consistency condition allows them to bootstrap the membrane coefficients $\tilde{b}_\ell(k)$, which were previously undetermined analytically.
• They provide explicit analytic expressions for the coefficients of the 1/6 BPS loop up to high orders in the instanton expansion.

4. Significance

• First-Principles Derivation: The paper moves beyond conjectures and numerical fitting, providing rigorous analytic derivations of nonperturbative structures directly from the matrix model.
• Resolution of Structural Differences: It elucidates the fundamental difference between 1/2 and 1/6 BPS Wilson loops: the former is purely world-sheet dominated (in the effective description), while the latter intrinsically involves membrane instantons.
• Validation of Dualities: The results provide strong evidence for the intricate web of dualities between ABJM theory, refined topological strings, and M-theory, showing that the matrix model alone encodes this rich structure.
• Methodological Advancement: The "bootstrap" technique using consistency conditions on grand-canonical averages offers a powerful new tool for studying nonperturbative effects in other supersymmetric gauge theories where direct integration is intractable.

5. Limitations and Future Directions

• Undetermined Coefficients: The membrane coefficient $\tilde{c}_\ell(k)$ (the constant term in the membrane expansion) remains undetermined because it does not affect the Wilson loops studied in this work.
• Singularities: The paper notes a mismatch between the matrix model (which has poles at $k=2n$) and holographic predictions (which remain finite) for specific values of $k$, an issue requiring further investigation.
• Generalization: The authors suggest extending this framework to latitude Wilson loops and theories with deformations (real masses, squashing).

In summary, this work successfully "bootstraps" the nonperturbative sector of ABJM theory, transforming conjectural results into derived facts and revealing deep structural insights into the nature of instanton effects in 3D gauge theories.