Holographic two-point functions of heavy operators revisited

This paper revisits the holographic computation of two-point functions for heavy $\frac{1}{2}$-BPS chiral primary operators in $\mathcal{N}=4$ SYM by proposing new boundary terms in the D3-brane action to resolve previous ambiguities for giant gravitons and by calculating correlators for $\Delta \sim N^2$ operators using the Gibbons-Hawking-York term in LLM bubbling geometries.

The Gist

The Big Picture: A Cosmic Mirror

Imagine the universe has a secret mirror. On one side, you have a complex quantum world (like a video game with billions of tiny particles interacting). On the other side, you have a smooth, curved gravity world (like a giant, warped trampoline). This is the AdS/CFT correspondence: a "dictionary" that translates between these two worlds.

Usually, this dictionary is easy to read. If you have a tiny, light particle in the quantum world, it shows up as a simple ripple on the gravity side. But what happens when you have a giant, heavy object?

This paper tackles two specific types of "heavy" objects in the quantum world and asks: How do we calculate the "distance" between two of them using the gravity mirror?

The authors found that previous attempts to answer this were missing a crucial piece of the puzzle. They discovered that to get the right answer, you have to add a special "tax" or "fee" at the very edge of the gravity world.

---

Part 1: The Giant Spinning Tops (The $\Delta \sim N$ Case)

The Scenario:
Imagine a quantum particle that is so heavy it acts like a giant, spinning top (called a "Giant Graviton"). In the gravity world, this isn't a point; it's a giant, rotating bubble (a D3-brane) floating in space.

The Problem:
Physicists tried to calculate how two of these giants "talk" to each other (their two-point function) by measuring the energy of the bubble.

• The Paradox: When they did the math, the energy of the bubble came out to be zero.
• The Analogy: Imagine trying to weigh a spinning top on a scale. If the top is perfectly balanced and spinning in a vacuum, the scale might read zero because the forces cancel out perfectly. But we know the top has mass and energy. The scale was just missing something.

The Solution:
The authors realized the "scale" (the mathematical action) was incomplete.

• The Missing Piece: They found that when you define the rules for this spinning top, you have to add a boundary term. Think of this as a "registration fee" you pay at the edge of the universe where the top enters and exits.
• Why it matters: Without this fee, the math says the top has no energy. With the fee, the math works perfectly. The "fee" accounts for the fact that the top is spinning with a specific amount of momentum.
• The Result: Once they added this boundary fee, the calculation finally matched the quantum world's prediction. The "distance" between the two giants was calculated correctly.

Key Takeaway: You can't just look at the middle of the story; you have to account for the rules at the very edges.

---

Part 2: The Shape-Shifting Universe (The $\Delta \sim N^2$ Case)

The Scenario:
Now, imagine the objects are even heavier. They are so massive that they don't just float in the universe; they reshape the universe itself.

• The Analogy: Imagine dropping a bowling ball on a trampoline. It doesn't just sit there; it creates a deep, permanent dent. In this case, the "heavy" quantum operators create a new, warped geometry called a Lin-Lunin-Maldacena (LLM) bubble. It's like the universe has a unique fingerprint based on these heavy objects.

The Problem:
Physicists wanted to calculate the connection between two of these universe-shaping objects. They tried to calculate the total energy of this warped geometry.

• The Paradox: Again, the math said the total energy of the "bulk" (the middle of the universe) was zero.
• The Reason: Because these shapes are perfectly balanced (supersymmetric), all the internal forces cancel out, just like the spinning top.

The Solution:
The authors applied the same logic as before but on a cosmic scale.

• The Boundary Term: They realized that even though the inside of the universe has zero net energy, the edge of the universe (the boundary) has a specific curvature.
• The Analogy: Think of a soap bubble. The air inside is just air, but the skin of the bubble has tension. If you want to know the energy of the bubble, you have to measure the tension of the skin, not just the air inside.
• The Result: By calculating the tension of this "cosmic skin" (using something called the Gibbons-Hawking-York term), they found the correct energy. This energy perfectly matched the distance formula for the heavy quantum operators.

---

Why Does This Matter?

1. Fixing the Dictionary: This paper fixes a broken part of the AdS/CFT dictionary. It shows us how to translate "heavy" objects correctly, which was previously a mystery.
2. The "Edge" is Everything: The biggest lesson is that in these complex gravity systems, the boundary conditions (the rules at the edge) are just as important as the physics in the middle. If you ignore the edge, you get zero, which is wrong.
3. Future Adventures: The authors argue that this is just the first step. Now that they know how to handle the "fees" at the edge, they can start calculating more complex interactions, like how three of these giants interact (three-point functions). This is like moving from calculating the distance between two cities to calculating the traffic flow between three cities.

Summary in One Sentence

The authors discovered that to correctly calculate the energy of massive, universe-shaping objects in a holographic universe, you must add a special "edge fee" to the math, because the internal energy cancels out to zero, and the real story happens at the boundary.

Technical Summary

1. Problem Statement

The paper addresses the calculation of holographic two-point functions for heavy operators in $\mathcal{N}=4$ $SU(N)$ Super Yang-Mills (SYM) theory using Type IIB supergravity. The study focuses on two distinct regimes of scaling dimensions ($\Delta$):

• $\Delta \sim N$: Operators described by extended objects (Giant Gravitons and Dual Giant Gravitons) rather than Kaluza-Klein (KK) modes.
• $\Delta \sim N^2$: Operators with sufficient energy to backreact on the geometry, described by deformed spacetimes (Lin-Lunin-Maldacena or LLM bubbling geometries).

The Core Paradox:
Previous literature (e.g., [10], [12]) attempted to calculate these correlators by evaluating the on-shell action of the dual gravity configurations. However, a fundamental issue arises:

• For supersymmetric (BPS) configurations like giant gravitons, the sum of the Dirac-Born-Infeld (DBI) and Wess-Zumino (WZ) terms in the D3-brane action vanishes on-shell ($S_{on-shell} = 0$).
• Similarly, for LLM geometries, the bulk supergravity action vanishes on-shell due to supersymmetry (Ricci scalar $R=0$ and self-dual 5-form $F_5^2=0$).
• A zero on-shell action implies a trivial two-point function, contradicting the expected non-trivial power-law behavior $\langle \mathcal{O}(x_1)\mathcal{O}(x_2) \rangle \sim |x_1 - x_2|^{-2\Delta}$.
• Previous attempts to resolve this using Polyakov formulations (einbeins) or partial Legendre transforms were shown by the author to be flawed or insufficient.

2. Methodology

The author proposes a unified approach based on boundary terms required to make the variational problem well-defined in the path integral formalism.

A. Regime $\Delta \sim N$ (Giant Gravitons)

• Setup: The author considers D3-branes wrapping $S^3 \subset S^5$ (Giant Gravitons) and $S^3 \subset AdS_5$ (Dual Giant Gravitons).
• Path Integral Argument: The calculation of the two-point function involves a path integral over the brane embedding coordinates (specifically the angular coordinate $\phi$) with Neumann boundary conditions. This fixes the angular momentum $k$ at the asymptotic boundaries.
• Variational Issue: The standard action $S$ yields a non-vanishing boundary variation $\delta S \propto k \delta \phi$ at the endpoints when Neumann conditions are imposed.
• Resolution: The author argues that the action must be modified by adding a boundary term to cancel this variation:
  $$S_N = S - k \phi(t) \Big|_{t_i}^{t_f}$$
  This term arises naturally from the path integral formulation where the conjugate momentum is fixed at the boundaries.
• Generalization: This logic is extended to $1/4$- and $1/8$-BPS configurations using Mikhailov's construction, showing that the DBI and WZ cancellation holds generally, making the boundary term essential for any non-zero result.

B. Regime $\Delta \sim N^2$ (LLM Geometries)

• Setup: The author considers the two-point function of heavy operators dual to LLM bubbling geometries.
• Action: The calculation uses the Type IIB pseudo-action:
  $$S_{LLM} = S_{bulk} + S_{GHY}$$
  where $S_{bulk} = \frac{1}{2\kappa^2} \int d^{10}x \sqrt{-g} (R - \frac{1}{4}F_5^2)$ and $S_{GHY}$ is the Gibbons-Hawking-York (GHY) boundary term.
• Supersymmetry Cancellation: The bulk term $S_{bulk}$ vanishes on-shell for these half-BPS backgrounds.
• Resolution: The entire contribution to the on-shell action comes from the GHY boundary term, regularized by subtracting the pure $AdS_5 \times S^5$ background.
• Calculation: The author performs a detailed asymptotic expansion of the LLM metric near the boundary ($y^2 + x_1^2 + x_2^2 \to \infty$) in terms of multipole moments of the "droplet" (eigenvalue distribution).

3. Key Contributions

1. Identification of Missing Boundary Terms: The paper proves that previous calculations failed because they omitted necessary boundary terms. For giant gravitons, these are terms fixing the angular momentum; for LLM geometries, they are the GHY terms.
2. Refutation of Previous Prescriptions: The author explicitly demonstrates the flaws in the "einbein" method [10] and the "partial Legendre transform" method [12], showing that solving the equations of motion correctly still yields zero without the specific boundary terms derived in this work.
3. Derivation of Boundary Terms for BPS Configurations: The paper derives the specific form of the boundary term for $1/2$, $1/4$, and $1/8$-BPS giant gravitons, establishing that the non-zero on-shell action is entirely due to these boundary contributions.
4. Direct 10D Supergravity Calculation: For the $\Delta \sim N^2$ case, the paper provides the first direct calculation of the two-point function from 10D supergravity in the LLM background without relying on dimensional reduction to 5D, confirming that the bulk action vanishes and the correlator is purely a boundary effect.

4. Key Results

• Giant Gravitons ($\Delta \sim N$):

  • The corrected on-shell action is $S_{on-shell} = -k(\tau_f - \tau_i)$.
  • After Wick rotation and relating the global time cutoffs to the boundary insertion points $x_1, x_2$, the action yields:
    $$\langle \mathcal{O}_k(x_1) \mathcal{O}_k(x_2) \rangle \sim \left( \frac{\epsilon}{|x_1 - x_2|} \right)^{2k}$$
  • This perfectly reproduces the expected conformal dimension behavior.

• Heavy Operators ($\Delta \sim N^2$):

  • The on-shell GHY term evaluates to:
    $$S_{on-shell}^{GHY} = -\Delta \int dt$$
  • This leads to the correlator:
    $$\langle \mathcal{O}_\Delta(x_1) \mathcal{O}_\Delta(x_2) \rangle \sim \left( \frac{\epsilon}{|x_1 - x_2|} \right)^{2\Delta}$$
  • The calculation confirms that the coordinate dependence of the correlator arises entirely from the boundary term, while the bulk contribution vanishes due to supersymmetry.

5. Significance

• Consistency of Holography: The paper resolves a long-standing paradox where BPS states appeared to have vanishing two-point functions in supergravity. It establishes that the holographic dictionary for heavy operators requires careful treatment of boundary conditions and boundary terms.
• Prerequisite for Three-Point Functions: The author argues that obtaining a non-zero, well-defined on-shell action is a necessary prerequisite for calculating three-point functions (e.g., extremal correlators) using the "geodesic approximation" or "minimal surface" methods in the bulk. Without the correct boundary terms, the variational problem for three-point functions (where geodesics meet in the bulk) would be ill-defined.
• Methodological Framework: The work provides a robust framework for handling heavy operators in AdS/CFT, distinguishing between the "probe" limit ($\Delta \sim N$) and the "backreacted" limit ($\Delta \sim N^2$), and showing that both rely on boundary terms to generate physical correlators.
• Normalization: While the paper successfully reproduces the coordinate dependence, it notes that recovering the precise normalization (the prefactor involving $N$) may require evaluating topological terms in the action, a direction for future research.

In summary, this paper corrects the holographic computation of heavy operator correlators by demonstrating that boundary terms are not optional additions but necessary components of the action to ensure a well-defined variational principle and to reproduce the correct physical results in supersymmetric backgrounds.