Aspects of Witten Diagrams for Holographic Defects

This paper investigates the conformal block decomposition of Witten diagrams for holographic defects by employing the split representation of AdS propagators to derive explicit OPE coefficients and recursion relations for tree-level diagrams, as well as closed-form expressions for defect-to-bulk crossing kernels in specific dimensions.

The Gist

Imagine the universe as a giant, invisible stage. In the world of theoretical physics, there is a famous idea called the AdS/CFT correspondence. Think of this as a hologram: a 3D image (the "bulk" of the universe) that is actually encoded on a 2D surface (the "boundary"). Physicists use this to study how particles interact in complex ways by looking at a simpler, flat version of the universe.

Usually, this hologram is a perfect, empty room. But in real life, rooms often have furniture, pillars, or cracks in the wall. In physics, these are called defects. A "defect" is just a lower-dimensional object (like a line, a surface, or a point) sitting inside the larger universe that changes how things interact around it.

This paper is a detailed mathematical manual for calculating how particles behave in a holographic universe that has these "defects" in it. Here is a breakdown of their work using everyday analogies:

1. The Setup: The Holographic Room with a Pillar

The authors are studying a specific type of room: a high-dimensional space (the "bulk") with a lower-dimensional "pillar" (the defect) running through it.

• The Bulk: The main room where most particles live.
• The Defect: A special surface or line inside the room where some particles are stuck or live only on that surface.
• The Goal: They want to understand the "conversation" between particles. If you throw a ball (a particle) from one side of the room to another, how does the presence of the pillar change the path or the sound of the throw?

2. The Tools: "Witten Diagrams" as Blueprints

To figure out these interactions, physicists draw pictures called Witten diagrams.

• Analogy: Imagine you are trying to predict the sound of a bell being struck in a room with a pillar. You can't just listen; you need a blueprint.
• Contact Diagrams: This is like two people shaking hands directly. The paper calculates what happens when two particles interact right at the pillar.
• Exchange Diagrams: This is like two people throwing a ball back and forth. The ball might travel through the main room (the "bulk channel") or it might bounce off the pillar (the "defect channel"). The authors calculated exactly how the "ball" travels in both scenarios.
• Loop Diagrams: This is like a ball that gets stuck in a loop, bouncing around a bit before continuing. The authors looked at these more complex, "noisy" interactions (one-loop diagrams) to see how they change the conversation.

3. The Main Achievement: Breaking Down the Conversation

The core of the paper is about Conformal Block Decomposition.

• The Metaphor: Imagine a complex song played by an orchestra. It's hard to understand the whole song at once. But if you break it down, you can hear the individual notes (the "conformal blocks") that make up the song.
• What they did: The authors took their complex "blueprints" (the Witten diagrams) and broke them down into these individual notes. They figured out exactly which "notes" (mathematical terms) are needed to describe the interaction.
• Why it matters: They found the specific "recipe" (coefficients) for these notes. This allows other physicists to reconstruct the full song (the interaction) without having to draw the complex blueprints every time.

4. The "Crossing" Puzzle

In physics, there is a rule called "crossing symmetry." It's like saying: "It doesn't matter if you describe the ball being thrown from left-to-right or right-to-left; the physics must be the same."

• The Challenge: Sometimes, describing the interaction from the "bulk" perspective looks very different from describing it from the "defect" perspective.
• The Solution: The authors created a "translation dictionary" (called a crossing kernel). This dictionary tells you how to translate a description of the interaction from the "pillar's point of view" to the "room's point of view" and vice versa. They did this specifically for defects of different sizes (points, surfaces) in different dimensions.

5. The "Recursive" Method

Calculating these interactions for every possible scenario is like trying to count every grain of sand on a beach. It takes too long.

• The Trick: The authors found a recursion relation.
• Analogy: Instead of counting every grain of sand, they found a rule that says, "If you know the count for the first pile, you can figure out the count for the second pile, then the third, and so on."
• They calculated the "seed" (the first pile) using a special mathematical tool called the Mellin representation (think of this as a special lens that makes the numbers easier to see), and then used their rule to generate all the other answers automatically.

Summary

In short, this paper is a massive step forward in understanding how the "holographic universe" works when it's not empty, but has obstacles (defects) in it.

1. They drew the blueprints for how particles interact near these obstacles.
2. They broke those blueprints down into simple, understandable building blocks.
3. They created a translation guide to switch between different ways of looking at the same interaction.
4. They invented a shortcut (recursion) to calculate these interactions quickly for any size of obstacle.

This work provides the essential mathematical "parts list" that other scientists will need to build more complex theories about how the universe behaves when it's imperfect or has boundaries.

Technical Summary

Technical Summary: Aspects of Witten Diagrams for Holographic Defects

Problem Statement
This paper addresses the conformal block decomposition of Witten diagrams within the context of Defect Conformal Field Theories (DCFTs). Specifically, it investigates $d$-dimensional CFTs containing a flat $p$-dimensional conformal defect, which breaks the global conformal symmetry $SO(d+1, 1)$ to $SO(p+1, 1) \times SO(d-p)$. The holographic dual of such a system involves a probe $AdS_{p+1}$ brane embedded in an $AdS_{d+1}$ bulk. While the conformal block decomposition of Witten diagrams is well-established for defect-free CFTs and boundary CFTs (BCFTs, where $p=d-1$), a systematic understanding for higher codimension defects ($p < d-1$) remains incomplete. The authors aim to fill this gap by computing explicit block decompositions for various tree-level and one-loop Witten diagrams contributing to two-point functions of bulk scalar operators and specific three-point functions.

Methodology
The primary technical tool employed is the split representation of AdS propagators, adapted to the probe brane setup. This method utilizes the spectral representation of bulk-to-bulk, bulk-to-brane, and brane-to-brane propagators to express Witten diagrams as integrals over conformal partial waves.

Key methodological steps include:

1. Direct Channel Decomposition: For tree-level diagrams, the authors insert the split representation of propagators to factorize the diagrams into products of lower-point functions (e.g., bulk-to-defect or bulk-to-bulk correlators). By integrating over the boundary of the relevant AdS space, they obtain integral representations of partial waves, which are then converted into sums over conformal blocks by deforming the spectral integration contour to pick up poles.
2. Crossed Channel Decomposition: For expanding diagrams in the crossed channel (e.g., a bulk exchange diagram expanded in the defect channel), the authors utilize the equations of motion satisfied by AdS propagators. They apply the relevant Casimir differential operators (bulk or defect channel) to relate exchange diagrams to contact diagrams. This yields recursion relations for the expansion coefficients.
3. Seed Coefficient Computation: To solve the derived recursion relations, the authors compute "seed coefficients" (coefficients of the leading twist operators) using the Mellin space representation of the Witten diagrams. They exploit the pole structure of the Mellin amplitudes and the orthogonality properties of continuous Hahn polynomials to extract these coefficients in closed form.
4. Crossing Kernel Derivation: The paper utilizes the Lorentzian inversion formula for defect CFTs to derive closed-form expressions for the crossing kernel, which maps defect channel partial waves to bulk channel partial waves.

Key Contributions and Results

• Tree-Level Two-Point Functions:

  • Contact Diagrams: The authors derive the explicit defect channel block decomposition for contact diagrams involving two bulk scalars interacting on the brane. They provide closed-form expressions for the OPE coefficients of the exchanged defect operators.
  • Scalar Exchange:
    • Defect Channel: The block decomposition of a tree-level scalar exchange on the brane is computed, yielding explicit coefficients for the exchange of the defect primary and its descendants.
    • Bulk Channel: The decomposition of a bulk scalar exchange diagram (with a vertex on the brane) is derived, providing coefficients for the exchange of the bulk primary and double-twist operators.
  • Spinning Exchange: The bulk channel decomposition for a spin-2 exchange diagram is computed, generalizing previous results to arbitrary external dimensions.

• Crossed Channel Expansions:

  • The paper establishes a recursive method to compute coefficients for crossed-channel expansions (e.g., bulk exchange in the defect channel and vice versa).
  • Explicit closed-form expressions for the seed coefficients are derived using Mellin space techniques. These seeds serve as the necessary inputs to solve the recursion relations for all higher-order coefficients.

• Loop Corrections:

  • The authors analyze specific one-loop diagrams, including bulk exchange with a one-loop corrected one-point function and box diagrams. They demonstrate how these can be decomposed into bulk channel partial waves, identifying the poles corresponding to the exchange of the bulk operator and double-twist operators.

• Three-Point Functions:

  • A tree-level exchange diagram for a three-point function involving one bulk scalar and two defect-localized scalars is decomposed into defect channel blocks.

• Crossing Kernel:

  • Closed-form expressions for the defect-to-bulk channel crossing kernel are derived for zero-dimensional defects in $d=2, 4$ and surface defects in $d=4, 6$. This kernel encodes the decomposition of a defect channel partial wave into bulk channel partial waves.

Significance and Claims
The paper positions its results as a foundational step toward extending the analytic functional approach (Polyakov bootstrap) to general codimension defects. The authors note that while this framework has been developed for BCFTs, it has not yet been detailed for higher codimension defects. By providing explicit expressions for the block decomposition coefficients of tree-level Witten diagrams, the authors claim to supply the necessary "complete basis of analytic functionals" required to constrain CFT data via crossing equations in general DCFTs.

Furthermore, the derivation of the crossing kernel and the recursion relations for crossed-channel coefficients provides the technical machinery needed to analyze the crossing symmetry of defect correlators beyond the leading order. The work is presented as a systematic study within an effective field theory description in AdS, without restricting to specific supersymmetric DCFTs, thereby offering general tools for the holographic bootstrap program.