One-point functions in 2D and 4D SUSY Janus

This paper calculates one-point functions of marginal operators in 2D and 4D holographic Janus interfaces across various supersymmetry levels, demonstrating that exact agreement between strongly-coupled supergravity and weakly-coupled CFT limits occurs exclusively for half-BPS interfaces, while other configurations only agree to first order in the jump parameter.

The Gist

Imagine the universe as a giant, complex video game. In this game, there are different "worlds" or dimensions where the rules of physics (like how strong forces are) can change depending on where you are.

This paper is about studying a specific kind of "wall" or interface that separates two different regions of this universe. On one side of the wall, the rules are slightly different than on the other side. The authors call these "Janus interfaces," named after the two-faced Roman god who looks in two directions at once.

Here is the breakdown of their discovery using simple analogies:

1. The Two Ways to Look at the Game

The researchers are trying to understand what happens at this wall. They use two different "lenses" to look at the same problem:

• The Strong Lens (Gravity/Supergravity): This is like looking at the game from a massive, cosmic scale where gravity is huge and things are very "heavy" and complex. It's hard to calculate, but it represents the "strongly coupled" world.
• The Weak Lens (Quantum Field Theory/CFT): This is like looking at the game from the perspective of tiny, individual particles where the rules are simple and easy to calculate. This represents the "weakly coupled" world.

Usually, these two lenses give different answers. It's like trying to predict the weather by looking at a single raindrop (weak) versus looking at the entire storm system (strong). They rarely agree perfectly.

2. The "Magic" Wall vs. The "Normal" Wall

The authors tested several types of walls to see if the Strong Lens and the Weak Lens could agree on what happens right at the boundary.

• The Normal Walls (Non-SUSY, N=1, N=2):
  Imagine a wall made of regular bricks. When they looked at these walls, the Strong Lens and the Weak Lens only agreed on the very first, simplest detail (like the color of the bricks). As soon as they tried to look at the finer details (the texture, the mortar), the two lenses gave different answers.

  • Analogy: It's like two people describing a painting. They both agree it's "blue," but one says it's "bright blue" and the other says "navy." They only agree on the broad strokes.

• The "Magic" Wall (Maximally Supersymmetric / N=4):
  Then, they looked at a special, highly symmetrical wall (the "half-BPS" or maximally supersymmetric interface). This wall is like a perfectly crafted piece of art with hidden magical properties.

  • The Result: On this special wall, the Strong Lens and the Weak Lens agreed perfectly. Every single detail matched, from the color to the texture, no matter how complex the calculation got.
  • Analogy: It's like two people describing a perfect circle. One says "it's round," and the other says "it's round." They agree on everything because the object is so perfectly symmetrical that there are no hidden surprises.

3. The "Jump" Parameter

The difference between the two sides of the wall is measured by a "jump" (how much the rules change).

• For the normal walls, the agreement between the two lenses breaks down as the jump gets bigger. They only agree if the jump is tiny.
• For the magic wall, the agreement holds true even if the jump is huge. The math works out perfectly regardless of how different the two sides are.

4. Why Does This Matter?

This discovery is a big deal for physicists because it suggests a hidden "rule of nature" (a non-renormalization theorem).

It tells us that perfect symmetry is special. When a system is perfectly balanced (maximally supersymmetric), the complex, messy rules of the "strong" world and the simple rules of the "weak" world become identical. It's as if the universe has a cheat code that only works when everything is perfectly symmetrical.

Summary

• The Problem: Trying to match complex gravity math with simple particle math at a boundary between two worlds.
• The Finding: For most boundaries, the math only matches a little bit.
• The Surprise: For the most perfectly symmetrical boundary, the math matches exactly, every time.
• The Lesson: Perfect symmetry acts like a bridge, allowing us to understand the complex universe using simple math, but only in those specific, perfectly balanced cases.

In short, the paper proves that in the universe of theoretical physics, perfection is the only thing that stays perfectly consistent across all scales.

Technical Summary

1. Problem Statement

The paper investigates the one-point functions (1-pt functions) of marginal operators dual to space-varying dilatons in holographic Janus interfaces. Janus interfaces are conformal defects where the coupling constants (moduli) of a Conformal Field Theory (CFT) jump across a codimension-1 interface.

The central problem addressed is the matching between weakly-coupled Conformal Field Theory (CFT) limits and strongly-coupled Supergravity (SUGRA) limits for these observables. Specifically, the authors ask:

• Does the 1-pt function of the operator dual to the dilaton ($L'$) match exactly between the weak and strong coupling regimes for supersymmetric (SUSY) Janus interfaces?
• How does the level of preserved supersymmetry ($N=0, 1, 2, 4$ in 4D; $N=0, 4$ in 2D) affect this matching?
• Previous work [1] showed that for non-SUSY Janus in 4D $\mathcal{N}=4$ SYM, the match only holds to the first order of the coupling jump parameter $\gamma$. This paper extends that analysis to SUSY-preserving interfaces in both 4D and 2D.

2. Methodology

The authors employ the AdS/CFT correspondence to compare results from two distinct regimes:

A. Gravity Side (Strong Coupling)

• Setup: They utilize known holographic Janus solutions in Type IIB supergravity.
  • 4D: Solutions for $\mathcal{N}=1, 2, 4$ interfaces embedded in $\mathcal{N}=4$ SYM/$AdS_5 \times S^5$. The $\mathcal{N}=1$ and $\mathcal{N}=2$ solutions are derived from 5D gauged supergravity uplifts, while the $\mathcal{N}=4$ solution is the half-BPS analytic solution.
  • 2D: Solutions for the D1-D5 system ($AdS_3 \times S^3 \times T^4$). They analyze the non-SUSY Janus (bottom-up) and the half-BPS $\mathcal{N}=(4,4)$ SUSY Janus.
• Calculation: They extract the 1-pt function by analyzing the asymptotic expansion of the dilaton field near the AdS boundary. Using the standard holographic dictionary, the subleading term in the dilaton expansion is proportional to the vacuum expectation value (VEV) of the dual operator.

B. Field Theory Side (Weak Coupling)

• Setup:
  • 4D: $\mathcal{N}=4$ SYM with a space-varying gauge coupling $g_{YM}(x)$. The interface is treated via conformal perturbation theory.
  • 2D: The free orbifold CFT $(T^4)^N/S_N$ (the D1-D5 CFT at the orbifold point).
• Calculation:
  • They identify the correct dual operator. In the presence of SUSY interfaces, additional interface Lagrangian terms are added to preserve supersymmetry. The authors rigorously demonstrate that the dual operator remains the fourth superconformal descendant of the primary $\text{tr}(\phi^i \phi^j)$, denoted as $L'$.
  • They calculate the 1-pt function using tree-level propagators (free field theory) and the method of image charges to handle the boundary conditions at the interface.
  • A crucial step involves calculating the contribution of fermions. The interface terms modify fermion boundary conditions, but the authors show that the total derivative terms in the definition of $L'$ exactly cancel the contributions from the symmetrized fermion kinetic terms, leaving the result dependent only on the gauge field image propagator.

3. Key Contributions

1. Extension to SUSY Interfaces: The paper generalizes previous non-SUSY results to $\mathcal{N}=1, 2, 4$ interfaces in 4D and $\mathcal{N}=4$ interfaces in 2D.
2. Operator Identification: It clarifies that despite the presence of interface-specific Lagrangian terms (which modify fermion boundary conditions), the dual operator for the space-varying dilaton remains the same descendant $L'$ across all SUSY levels ($N=0,1,2,4$).
3. Fermion Cancellation Mechanism: The authors provide a detailed calculation showing that the non-trivial boundary conditions for fermions induced by SUSY interface terms do not alter the 1-pt function of $L'$ because of a precise cancellation with total derivative terms in the operator definition.
4. 2D Analysis: They perform the first direct comparison of 1-pt functions for 2D Janus interfaces between the supergravity limit and the free orbifold CFT.

4. Results

4D $\mathcal{N}=4$ SYM Results

• Non-SUSY, $\mathcal{N}=1$, and $\mathcal{N}=2$ Interfaces: The 1-pt function calculated in the weakly-coupled CFT limit matches the strongly-coupled SUGRA result only to the first order in the jump parameter $\gamma$ (or $c$). Higher-order terms in $\gamma$ differ.
  • Gravity Result: $\langle L' \rangle \propto (\gamma - k \gamma^3 + \dots)$
  • CFT Result: $\langle L' \rangle \propto \gamma$ (exact at weak coupling).
• Maximal $\mathcal{N}=4$ Interface: The 1-pt function matches exactly between the weak and strong coupling limits. The gravity result truncates at linear order in $\gamma$, identical to the CFT result.
  • Formula: $\langle L' \rangle = \frac{3N^2}{16\pi^2 z^4} \gamma \, \epsilon(x_3)$.

2D D1-D5 CFT Results

• Non-SUSY Janus: Similar to the 4D non-SUSY case, the match between the SUGRA limit and the free orbifold CFT holds only to the first order in the jump parameter (related to the $T^4$ volume jump).
• Half-BPS ($\mathcal{N}=4$) Janus: The 1-pt function matches exactly between the supergravity calculation and the free orbifold CFT calculation.
  • Formula: $\langle L \rangle = \frac{N\gamma}{2\pi z^2} \epsilon(x)$.

5. Significance and Conclusion

The paper establishes a robust pattern across dimensions and SUSY levels:

• Exact Matching is Exclusive to Maximal SUSY: Exact agreement between weak and strong coupling for interface observables (specifically the 1-pt function of the marginal operator) occurs only for maximally supersymmetric (half-BPS) interfaces.
• Non-Renormalization: For non-maximal SUSY ($N=0, 1, 2$) and non-SUSY interfaces, the observable is not protected beyond the first order of the deformation parameter.
• Theoretical Implication: This reinforces the idea that exact weak/strong coupling matching for interface observables on supersymmetric conformal manifolds is a feature exclusive to maximally SUSY interfaces. This suggests the existence of a supersymmetric non-renormalization theorem specifically for half-BPS interfaces, which protects these quantities from quantum corrections.

The authors conclude that future work should aim to derive this exact matching directly from field theory using supersymmetry localization and explore whether similar phenomena exist for holographic interfaces in other dimensions or for less supersymmetric setups.