Super Sum rules for Long-Range Models

✨

This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, complex machine. Physicists try to understand how this machine works by looking at its smallest parts. In the world of quantum physics, there's a specific tool called the Conformal Bootstrap. Think of this tool as a giant puzzle solver. It doesn't need to know every tiny gear inside the machine; it just uses a few basic rules (like "everything must fit together" and "energy must be conserved") to figure out what the machine can and cannot be.

Usually, this puzzle solver is very good at saying, "You can't build a machine with these specific parts," but it's often too vague to say, "This exact machine is the one you're looking for." It leaves a huge gap of possibilities.

This paper introduces a new, super-powered rule to help solve the puzzle, specifically for a very strange, one-dimensional version of our universe.

The Setting: A Flat World with a Hidden Depth

The authors are studying 1D Conformal Field Theories (CFTs). Imagine a world that is just a single line. But, in the world of string theory and quantum gravity, this line is actually the "edge" or "boundary" of a hidden, curved space called AdS₂ (Anti-de Sitter space).

Think of it like this:

The Boundary (1D): A flat, 2D video game screen where characters (particles) move.
The Bulk (AdS₂): The 3D world inside the screen where the "real" physics happens.

The paper asks: How can we tell if the physics happening inside the 3D world is "free" (boring, no interactions) or "interacting" (exciting, particles bumping into each other)?

The Problem: The Missing Rule

In the past, the puzzle solver (the Bootstrap) had a list of rules to check if a machine was valid. But there was one missing rule.

Imagine you are checking a recipe for a cake. You have rules for flour, sugar, and eggs.
But there's a hidden ingredient: Butter.
If the recipe has butter, the cake tastes different. If it doesn't, it's a different cake.
The old rules couldn't detect the butter. They couldn't tell the difference between a cake with butter and a cake without it, as long as the other ingredients were right.

In physics terms, the old rules couldn't distinguish between a "free" theory (no butter) and a theory with a specific type of interaction (butter).

The Solution: The "Super Sum Rule"

The authors discovered a new, "Super" rule. They call it a Super Sum Rule.

Here is the analogy:
Imagine you are listening to a band play music.

The Old Way: You listen to the melody. If the melody sounds right, you assume the band is playing correctly. But you can't tell if they are playing a simple tune or a complex jazz solo that just happens to sound similar.
The New Way (Super Sum Rule): You listen to the silence between the notes. Or, you look at how the sound fades out at the very end of the song.

The authors found that if the "bulk" (the hidden 3D world) is truly free (no particles crashing into each other), the music must fade out in a very specific, strict way. If there is any interaction (any "butter" in the recipe), the music fades out differently.

They created a mathematical formula (the $\tilde{\beta}_0$ functional) that acts like a metal detector.

If you scan a theory with this detector and it beeps, it means there is interaction (scattering) happening in the hidden world.
If it stays silent, it means the hidden world is "transparent"—particles pass right through each other without bumping.

Why is this a Big Deal?

The authors tested this new rule on three famous "models" of physics:

The Long-Range Ising Model: A model for magnets where particles feel each other even if they are far apart.
The O(N) Model: A model for fluids and magnets with many different types of particles.
The Lee-Yang Model: A weird, non-standard model used to understand phase transitions (like water turning to ice).

The Result:
When they applied their new "metal detector" (the Super Sum Rule) to these models, it worked perfectly!

It correctly identified the specific "flavor" of these theories.
It predicted the exact numbers (dimensions and interaction strengths) that describe these theories, matching the results of traditional, heavy-duty calculations (Feynman diagrams).
It even found new, hidden patterns in the data that no one had calculated before.

The "Numerical" Part: Shaving the Space

Finally, they tried to use this rule in a computer simulation to narrow down the list of all possible universes.

Before: The list of possible universes was a giant, messy cloud.
After: By adding the "Super Sum Rule" as a filter, they shaved off a huge chunk of that cloud. The remaining possibilities became much smaller and more precise.

However, they found a catch: The "Long-Range Ising" model (the one they were trying to find) didn't sit perfectly on the edge of the new, smaller cloud. This suggests that while the rule is powerful, the real world might be slightly more complex than their current "free bulk" assumption, perhaps needing a little extra "tuning" (regularization) to fit perfectly.

Summary in a Nutshell

This paper is like finding a new sense for physicists.

Old Sense: "Does the puzzle fit?"
New Super Sense: "Does the puzzle fit and does it have the right 'fading echo' that proves no hidden collisions are happening?"

By using this new sense, they can now pinpoint specific, exotic theories of the universe that were previously lost in a sea of possibilities. It's a major step toward understanding how the "free" parts of the universe (where particles don't interact) relate to the "interacting" parts, and how to mathematically describe them with extreme precision.

1. Problem Statement

The paper addresses the challenge of constraining specific Conformal Field Theories (CFTs) within the Conformal Bootstrap framework. While the bootstrap generally uses locality and unitarity to bound the space of possible CFT data, it often lacks the specificity to isolate particular theories (like the 1D Long-Range Ising model) without making strong, often arbitrary, assumptions.

The authors focus on 1D CFTs arising from Quantum Field Theories (QFTs) in $AdS_2$ . In these systems, mass scales in the bulk become dimensionless moduli in the boundary theory. The central question is: How can one impose specific bulk interactions (e.g., a free bulk field with specific boundary conditions) purely from the perspective of the boundary CFT data?

Specifically, the authors investigate Long-Range Models (such as Long-Range Ising, $O(N)$ , and Lee-Yang), which correspond to free fields in $AdS_2$ with boundary interactions tuned to criticality. These models are characterized by the absence of bulk scattering (transparency) at high energies.

2. Methodology

The authors develop a theoretical framework based on Super Sum Rules derived from the Regge limit of CFT correlators and their holographic duals.

The $\tilde{\beta}_0$ Functional: The authors identify a specific functional, $\tilde{\beta}_0$ , which is "missing" from the standard set of crossing sum rules. Unlike standard functionals that vanish on Generalized Free Fields (GFF), $\tilde{\beta}_0$ is sensitive to contact interactions in the bulk.
Transparency and Scattering: They establish a link between the asymptotic behavior of the CFT correlator $G(z)$ $G (z)$ in the Regge limit ( $z \to \infty$ $z \to \infty$ ) and the bulk $S$ $S$ -matrix.
- If the bulk theory is free (no scattering), the $S$ -matrix is trivial ( $S=1$ ).
- This implies that the effective quartic coupling in the bulk, $g_4^{eff}$ , must vanish.
- Consequently, the sum rule associated with $\tilde{\beta}_0$ must equal zero:
  $\sum_{\Delta} a_{\Delta} \tilde{\beta}_0(\Delta) = 0$
- If scattering occurs, the sum rule measures the effective coupling: $\sum a_{\Delta} \tilde{\beta}_0(\Delta) \propto g_4^{eff}$ .
Perturbative Checks: The authors test these sum rules perturbatively in $\epsilon$ $ϵ$ -expansions for three distinct long-range models:
1. Long-Range Ising (LRI): A scalar field with a $\phi^4$ boundary interaction.
2. Long-Range $O(N)$ : A vector field with $O(N)$ symmetry and quartic interactions.
3. Long-Range Lee-Yang: A non-unitary model with a cubic interaction.
Numerical Bootstrap: They implement the $\tilde{\beta}_0$ sum rule as a constraint in numerical bootstrap simulations to see how it reduces the allowed parameter space for CFT data.

3. Key Contributions

A. Derivation of Super Sum Rules

The paper derives that for CFTs arising from free bulk theories (or theories with specific boundary interactions), the standard crossing sum rules are insufficient. A new "super" sum rule involving the $\tilde{\beta}_0$ functional is required. This functional controls the $1/z$ fall-off of the correlator at infinity, which corresponds to the contact term in the bulk $AdS_2$ action.

Theorem: For a theory with a free bulk description, the sum rule $\sum a_{\Delta} \tilde{\beta}_0(\Delta) = 0$ must hold.
Generalization: For the $O(N)$ model, the authors identify three independent super sum rules ( $\tilde{\omega}_1, \tilde{\omega}_2, \tilde{\omega}_3$ ) corresponding to different bulk interaction structures (e.g., $(\Phi^2)^2$ and $(\Phi_i \leftrightarrow \nabla \Phi_j)^2$ ).

B. Perturbative Verification

The authors perform rigorous perturbative calculations to verify that the Long-Range models satisfy these sum rules:

Long-Range Ising: They show that the sum rule correctly predicts the anomalous dimension of the fundamental operator $\phi^2$ ( $\gamma_0$ ) and the OPE coefficients. A significant technical achievement is the computation of the leading contributions of quadruple-twist operators ( $[\phi^4]_n$ ) to the correlator. They demonstrate that these operators, which individually contribute at higher orders, collectively produce divergent sums that require regularization. The sum of these divergent contributions exactly cancels the contributions from single-trace operators, satisfying the sum rule.
Long-Range $O(N)$ : They derive the leading and next-to-leading order anomalous dimensions for singlet and traceless symmetric operators, finding perfect agreement with known Wilson-Fisher results. They also verify the non-trivial satisfaction of the third functional $\tilde{\omega}_3$ .
Long-Range Lee-Yang: They compute the OPE coefficients for the non-unitary cubic theory, showing that the sum rule correctly fixes the data up to $\mathcal{O}(\epsilon^2)$ .

C. Numerical Applications

The authors apply the $\tilde{\beta}_0$ sum rule to the numerical bootstrap:

Gap Maximization: They find that imposing the sum rule drastically changes the bound on the dimension of the first operator in the $\phi \times \phi$ $ϕ \times ϕ$ OPE ( $\Delta_0$ $Δ_{0}$ ).
- For $\Delta_\phi \geq 1/2$ , the bound becomes $\Delta_0 \leq 2\Delta_\phi$ , saturated by the Generalized Free Boson (instead of the fermion).
- For $\Delta_\phi < 1/2$ , the bound is $\Delta_0 \lesssim 1$ .
Limitations: While the bounds are tighter, the numerical results do not saturate the Long-Range Ising model. The authors attribute this to the need for subtractions (regularization) in the sum rule due to the presence of multi-trace operator towers that do not decay fast enough. This suggests that a single-correlator bootstrap is insufficient to isolate LRI; a mixed-correlator system is likely required.

4. Results

Validation: The super sum rules successfully reproduce the perturbative CFT data (anomalous dimensions and OPE coefficients) for LRI, $O(N)$ , and Lee-Yang models, matching results obtained via direct Feynman diagram calculations.
Quadruple-Twist Operators: The paper provides the first calculation of the leading OPE coefficients for quadruple-twist operators in the Long-Range Ising model, showing they are essential for the convergence and consistency of the sum rules.
Constraint Power: The sum rules significantly reduce the allowed space of CFT data in numerical bootstrap studies, effectively ruling out generic solutions that do not correspond to free bulk theories.
Regge Behavior: The work clarifies the relationship between the Regge boundedness of the double discontinuity and the existence of these sum rules, establishing that "transparency" (no bulk scattering) is a necessary condition for the vanishing of the $\tilde{\beta}_0$ sum.

5. Significance

New Bootstrap Constraints: This work introduces a new class of constraints (Super Sum Rules) that go beyond standard crossing symmetry and unitarity. These rules are specifically tailored to isolate theories with specific bulk properties (free bulk, interacting boundary).
Holographic Dictionary: It strengthens the dictionary between boundary CFT data and bulk scattering amplitudes in $AdS_2$ , showing how the absence of scattering translates into precise algebraic constraints on CFT spectra.
Path to Long-Range Models: While the current numerical bounds do not yet fully isolate the Long-Range Ising model, the paper provides a clear roadmap. It identifies the necessity of handling multi-trace operator towers via regularization and suggests that mixed-correlator bootstraps incorporating these sum rules are the key to isolating these physically important models.
Technical Advancement: The derivation of the $\tilde{\beta}_0$ functional and the handling of divergent sums in the perturbative regime represent significant technical progress in the analytic bootstrap program.

In summary, the paper proposes that Long-Range models are uniquely characterized by the vanishing of specific "super" sum rules derived from the absence of bulk scattering. It validates this hypothesis perturbatively and demonstrates its potential to tighten numerical bounds, offering a promising new direction for the non-perturbative study of long-range critical phenomena.