O(N) BCFT: new data from conformal partial wave expansions

This paper analyzes the large $N$ expansion of the $\mathsf{O}(N)$ boundary conformal field theory in generic bulk dimensions by employing conformal partial wave expansions to prove existing conjectures, reproduce known results, and derive new data including the leading large $N$ expression for the previously unknown OPE coefficient $C_{\sigma\sigma\sigma^3}$.

The Gist

Imagine a vast, invisible city built on the edge of a cliff. This city is a mathematical model of how particles interact, known as the O(N) model. In this paper, the authors are acting like master architects and cartographers trying to draw a complete map of this city, specifically focusing on the "Ordinary Transition"—a specific way the city behaves when it's right up against the cliff's edge.

Here is a breakdown of their work using simple analogies:

1. The Setting: The Cliffside City

Think of the "bulk" of the city as the open space where people (particles) walk around freely. The "boundary" is the cliff edge. In physics, when you have a boundary, the rules of the game change. The authors are studying a version of this city that exists in a world with a specific number of dimensions (between 2 and 4), which is a bit like living in a world that is slightly "thicker" than our flat 2D paper but not quite the full 3D space we know.

They are using a technique called the "Large N expansion." Imagine the city has a massive number of residents (N). Instead of tracking every single person, the authors look at the average behavior of the crowd. This simplifies the math, allowing them to see the big picture without getting lost in the noise of individual interactions.

2. The Tools: Two Ways to Look at the City

To understand the city, the authors use two different "lenses" or ways of describing how things connect:

• The Bulk Lens (Looking from the center): This lens looks at how two people in the middle of the city talk to each other. The authors calculated exactly how these conversations happen. They broke these conversations down into a "symphony" of different notes (called conformal blocks). Each note represents a specific type of interaction or particle exchange.
• The Boundary Lens (Looking from the edge): This lens looks at how the city's residents interact with the cliff edge itself. They calculated how the "sound" of the city echoes off the cliff.

3. The Main Discovery: Decoding the "Spectral Functions"

The core of the paper is about finding the spectral functions. Think of these as the "DNA" or the "recipe" for the city's interactions.

• The authors took the complex equations describing how particles talk to each other and decomposed them into these spectral functions.
• The "Bubble" Problem: One of the hardest parts was dealing with a specific interaction called the "bubble function" (imagine a bubble of air rising through water). The authors proved a long-standing guess (conjecture) about the mathematical shape of this bubble's "DNA" when the city is in an even-numbered dimension. They showed that their calculation matched a prediction made by other scientists years ago.

4. New Data: Finding Hidden Particles

By analyzing these "recipes," the authors discovered new information about the particles living in this city:

• The Knowns: They confirmed the behavior of known particles (like $\phi$ and $\sigma$). They checked their math against existing maps and found that their new, more detailed map matched the old ones perfectly.
• The Unknowns: They found a "missing link" in the city's structure. They calculated a specific number (an OPE coefficient) that describes how three specific particles interact ($\sigma$, $\sigma$, and $\sigma^3$). Before this paper, no one knew this number. It's like discovering the exact price of a rare spice in a recipe that everyone has been cooking with but never measured.
• The Mix-up: They also found that two different types of particles sometimes "mix" together, acting like a single hybrid particle. They calculated exactly how much they mix, and their result matched a previous calculation by other scientists, giving them confidence that their new "missing link" number is correct.

5. The Challenge: The "Tower" of Complexity

The authors found an infinite "tower" of particles contributing to these interactions.

• The Low Floors: For the first few floors of this tower (the simplest particles), they could clearly identify who lived there and how they behaved.
• The High Floors: As they went higher up the tower, the particles started to get crowded and mixed together so much that it became impossible to separate them without more information. It's like trying to hear a single instrument in a massive orchestra where everyone is playing at once; the signal gets too messy to untangle immediately.

6. The Conclusion

The paper is essentially a massive data dump of new, precise numbers describing how this theoretical city works.

• They proved old guesses were right.
• They confirmed old calculations were right.
• They found one brand-new number that no one knew before.
• They showed that while the math gets incredibly messy as you go deeper, the foundation is solid.

In short, they didn't just build a small shed; they drew a highly detailed, mathematically rigorous blueprint for a complex, multi-dimensional city, verifying the known parts and discovering a few new rooms that no one had seen before.

Technical Summary

Technical Summary: O(N) BCFT: new data from conformal partial wave expansions

Problem Statement
The paper addresses the critical $O(N)$ model in the presence of a boundary (BCFT), specifically focusing on the "ordinary" transition within the large $N$ expansion framework. While the bulk critical behavior of the $O(N)$ model is well-studied, extracting precise Boundary Conformal Field Theory (BCFT) data—such as Operator Product Expansion (OPE) coefficients, one-point functions, and scaling dimensions—remains a challenging task. The authors aim to derive complete bulk and boundary conformal block decompositions for the two simplest bulk-bulk two-point functions, $\langle \phi \phi \rangle$ and $\langle \sigma \sigma \rangle$ (where $\phi$ is the fundamental vector field and $\sigma$ is the Hubbard–Stratonovich auxiliary field), and to extract as much BCFT data as possible from these decompositions.

Methodology
The authors employ the spectral representation technique (conformal partial wave expansions) to analyze two-point functions defined on hyperbolic space $H_{d+1}$, which is conformally equivalent to the flat half-space via a Weyl transformation. The methodology proceeds as follows:

1. Spectral Decomposition: The two-point functions are decomposed into a complete basis of conformal partial waves (CPWs) for both the boundary channel (expansion in boundary operators) and the bulk channel (expansion in bulk operators).
2. Inversion Formulas: Using Euclidean inversion formulas, the authors compute the spectral functions (coefficient functions of the CPW expansion) for $\langle \phi \phi \rangle$ and $\langle \sigma \sigma \rangle$. This involves integrating the correlators against CPWs, utilizing integral identities for hypergeometric functions and handling the inversion of the bubble function for the $\sigma$ field.
3. Residue Calculation: By closing the integration contours in the complex scaling dimension plane, the spectral functions are converted into sums of conformal blocks. The residues at the poles of the spectral functions yield the coefficients of the conformal block expansions.
4. Large $N$ Expansion: The analysis is performed at leading and subleading orders in the large $N$ expansion. The authors carefully account for operator mixing, particularly for the tower of operators appearing in the $\sigma \times \sigma$ OPE starting at scaling dimension $\Delta = 6$.
5. Cross-Checks: The derived coefficients are verified by checking the convergence of partial sums of conformal blocks against the exact correlators and by comparing extracted OPE coefficients with existing literature (specifically results from the $\epsilon$-expansion and other large $N$ calculations).

Key Contributions and Results

• Boundary Channel Data:

  • Proof of Conjectures: The authors prove conjectures regarding the boundary spectral function associated with $\langle \delta\sigma \delta\sigma \rangle$ for even dimensions $d$ (odd bulk dimension), confirming results proposed in Dujava et al. [1].
  • Infinite Tower of BOE Coefficients: They derive an infinite tower of Boundary Operator Expansion (BOE) coefficients for the $\sigma$ field, corresponding to boundary primaries with dimensions $\hat{\Delta}_k = d + 1 + 2k$. The squared coefficients $(\hat{b}_{\sigma} \hat{b}_{\sigma_k})^2$ are provided for generic $d$.
  • Displacement Operator: The BOE coefficient for the protected displacement operator ($k=0$) is explicitly calculated and shown to satisfy a Ward identity linking it to the one-point function $\langle \sigma \rangle$.

• Bulk Channel Data:

  • Bulk Spectral Functions: The authors compute the bulk spectral functions for $\langle \phi \phi \rangle$ and $\langle \sigma \sigma \rangle$. A notable technical achievement is the derivation of the spectral function for the connected part of $\langle \sigma \sigma \rangle$, which involves complex hypergeometric functions and double poles in the spectral representation (indicating anomalous dimensions).
  • Conformal Block Decompositions: They derive the full bulk conformal block expansions for the modified correlators. They identify a unique infinite tower of bulk primaries contributing to both $\phi \times \phi$ and $\sigma \times \sigma$ OPEs, with leading dimensions $\Delta_k = 2k$.
  • Operator Mixing: The paper addresses the degeneracy of operators starting at $\Delta = 6$ (mixing between $\sigma^3$ and the double-twist operator $[\sigma\sigma]_{1,0}$). The authors set up the system of equations required to disentangle these contributions.

• Extracted BCFT Data:

  • Known Coefficients: The authors successfully reproduce known results for OPE coefficients $C_{\phi\phi\sigma}$, $C_{\phi\phi\sigma^2}$, $C_{\sigma\sigma\sigma}$, and $C_{\sigma\sigma\sigma^2}$, as well as the anomalous dimension of $\sigma^2$. Crucially, because the method relies on BCFT data (one-point functions) rather than just bulk four-point functions, they are able to fix the signs of these OPE coefficients, not just their squares.
  • New Predictions:
    • A new prediction for the OPE coefficient $C_{\sigma\sigma\sigma^3}$ is derived.
    • A mixing coefficient linking the primaries $\sigma^3$ and $[\sigma\sigma]_{1,0}$ is computed as a byproduct. This result matches a previous computation by Derkachov et al. [3], providing strong validation for the new $C_{\sigma\sigma\sigma^3}$ result.
  • Constraints: The infinite sequence of remaining bulk conformal block coefficients imposes severe constraints on BCFT data, though the authors note that operator mixing prevents the immediate extraction of further individual coefficients without additional input.

Significance and Claims
The paper claims to provide a systematic and rigorous derivation of BCFT data for the ordinary transition of the $O(N)$ model using conformal partial wave expansions. The significance lies in:

1. Completeness: Providing the first complete bulk conformal block decomposition for $\langle \sigma \sigma \rangle$ in this context.
2. Validation: Confirming previous conjectures about spectral functions and reproducing established OPE coefficients with correct signs.
3. Novelty: Offering the first derivation of the OPE coefficient $C_{\sigma\sigma\sigma^3}$ and a mixing coefficient that matches independent results, thereby supporting the reliability of the spectral expansion method for extracting subleading large $N$ data.
4. Methodological Utility: Demonstrating that spectral representations are a powerful tool for extracting BCFT data, capable of handling operator mixing and providing constraints that go beyond standard perturbative approaches.

The authors remain modest regarding the extraction of higher-order data, acknowledging that increasing operator degeneracy and mixing complexity make disentangling the infinite tower of constraints difficult without further theoretical input. They do not propose new experimental tests but suggest that their derived data could serve as a benchmark for future numerical bootstrap studies or higher-order analytical calculations.