Bootstrap Equation in QFT and CFT

• Bootstrap Equation is a nontrivial consistency condition that enforces crossing symmetry, unitarity, and locality in quantum field theory, constraining OPEs and correlators.
• It employs analytic techniques like the edge-of-the-wedge theorem and conformal blocks to derive nonperturbative insights and determine operator scaling dimensions in CFT.
• Variants extend to crosscap, BMS, momentum-space, and cosmological contexts, highlighting broad applications from statistical mechanics to quantum error correction.

A bootstrap equation is a nontrivial consistency relation imposed by symmetry, locality, and/or other structural principles in quantum field theory (QFT), statistical mechanics, or mathematical physics. In practice, "bootstrap equations" appear as constraints—most often on correlation functions, operator product expansions (OPEs), or algebraic data—whose solutions carve out the admissible space of consistent theories. The most celebrated examples arise in conformal field theory (CFT), where bootstrap equations encode crossing symmetry, unitarity, and other properties that can nonperturbatively determine or constrain OPE coefficients and scaling dimensions. The term also generalizes to other settings, including quantum error correction, integrable systems, cosmology, and algebraic structures.

1. Conceptual Foundations and Axiomatic Formulation

The bootstrap equation's archetype emerges from the Wightman-axiomatic framework for CFT, leveraging symmetry principles such as PCT invariance, locality, and the operator-state correspondence. In the context of a nonderivative conformal scalar $\phi(x)$ of scaling dimension $\Delta$, the Wightman axioms specify:

1. Hilbert space and vacuum: A separable $\mathcal{H}$ with a unique, conformally invariant vacuum $|0\rangle$.
2. Spectral condition: Support of $\tilde{\phi}(p)$ restricted to the closed forward light-cone, $p^2\ge0$, $p^0\ge0$.
3. Microcausality: $[\mathcal{A}(x),\mathcal{B}(y)] = 0$ when $(x-y)^2<0$ for any local bosonic fields $\mathcal{A},\mathcal{B}$.
4. Conformal covariance and OPE: $\phi(x)$ transforms as primary of dimension $\Delta$ and admits an OPE converging in the sense of distributions.

A pivotal structural input is Jost's equivalence between PCT invariance and Weak Local Commutativity (WLC). This provides that at special "Jost points," the $n$-point Wightman function is symmetric under complete reversal of operator ordering,

$W_n(x_1,\ldots,x_n) = W_n(x_n,\ldots,x_1).$

Specializing to four points, this symmetry is interpreted as crossing symmetry—the underpinning of the conformal bootstrap equation (Maharana, 2021).

2. Four-Point Functions and Crossing Symmetry

The primary nonlinear content of the bootstrap equation is evident for four-point functions, where crossing symmetry equates OPE decompositions in distinct pairwise "channels." For a scalar four-point correlator, after factorizing kinematical prefactors and expressing in terms of conformal cross-ratios $u, v$,

$$\langle \phi(x_1)\phi(x_2)\phi(x_3)\phi(x_4)\rangle = \frac{1}{(x_{12}^2)^{\Delta}(x_{34}^2)^{\Delta}} \sum_{p} f_{12p} f_{34p} G_{\Delta_p, \ell_p}(u, v),$$

where $f_{ijk}$ are the OPE coefficients, and $G_{\Delta,\ell}(u,v)$ are the conformal blocks. The crossing/ bootstrap equation then reads

$$\sum_{p} f_{12p}f_{34p} G_{\Delta_p,\ell_p}(u,v) = \sum_{q} f_{14q} f_{23q} G_{\Delta_q,\ell_q}(v,u).$$

This equation embodies an infinite set of nontrivial relations among the OPE coefficients and scaling dimensions. The analytic justification relies on the edge-of-the-wedge theorem and the properties of Wightman functions as boundary values of analytic functions in tube domains. Crossing symmetry is thereby elevated from an intuitive property to an analytically rigorous axiom (Maharana, 2021).

3. Variants and Extensions: Crosscap, BMS, Momentum-space, and Cosmological Bootstrap Equations

Crosscap Bootstrap: On real projective spaces, the bootstrap equation is adapted to account for involutions and parity properties. For a scalar on $\mathbb{RP}^d$, the two-point function must satisfy a crossing relation that involves a sum over scalar primaries, their OPE coefficients, one-point functions, and involution parities:

$$\sum_{k} C_{\phi\phi O_k}A_k \left[\eta^{\Delta_k/2}{}_2F_1\left(\cdots;\eta\right) - \epsilon (1-\eta)^{\Delta_k/2}{}_2F_1\left(\cdots;1-\eta\right)\right] = 0$$

with $\epsilon$ the involution parity (Hasegawa et al., 2018).

BMS Bootstrap: In two-dimensional theories with BMS$_3$ (Bondi-Metzner-Sachs) symmetry, the bootstrap equation involves blocks constructed from the highest-weight representations of the BMS algebra, giving rise to a crossing equation structurally analogous to that of CFTs, but with BMS blocks depending on cross-ratios $(x, t)$ and involving distinct exponential structures (Bagchi et al., 2016).

Momentum-space Bootstrap: In two-dimensional CFT, a new class of bootstrap equations arises in momentum space, using analyticity of the commutator rather than permutation symmetry of Wightman correlators. The resulting crossing equation relates OPE expansions with integrals and kernels, involving basis functions such as Jacobi polynomials and capturing spectral data through orthogonal projections. The relation to position-space bootstrap is mediated via integral transforms involving block discontinuities (Gillioz, 28 Feb 2025).

Cosmological Bootstrap: In the context of cosmological correlators, the bootstrap equation appears as a consistency relation among seed integrals representing multiple massive exchanges. The equation is phrased in terms of multi-variable partial differential equations, their boundary conditions, and analytic solutions in terms of generalized hypergeometric functions, directly yielding observable signatures in primordial non-Gaussianity (Aoki et al., 2024).

A fully general, position-independent version is captured via harmonic analysis on the conformal group and solved in terms of $6j$-symbols of $SO(d+1,1)$, reflecting group-theoretic crossing symmetry in cosmological settings (Bissi et al., 2023).

4. Algebraic and Functional Bootstrap Equations

Vertex Algebra Bootstrap: In two-dimensional CFT, the bootstrap equation underlies the real-analytic structure of full vertex algebras. Given a graded vector space $F$ and the field map $Y(-,z)$, self-consistency of four-point correlators demands that all different parenthesized compositions (e.g., s-, t-, and u-channels) reconstructed from operator insertions match expansions derived from a single real-analytic function. Formally, for any parenthesization $A$,

$S_A = e_A \circ \mathcal{S}$

where $e_A$ is a formal expansion and $S_A$ is the parenthesized correlator (Moriwaki, 2020).

Analytic Functional Bootstrap: Linear functionals acting on the bootstrap equation define extremal conditions that probe the spectrum and OPE density bounds. For example, in 1D CFT, extremal functionals yield nonperturbative sum rules, lower and upper bounds on operator densities, and reconstruct Polyakov blocks as crossing-symmetrized AdS Witten diagrams. These functional equations provide not only consistency constraints but also a pathway to derive sharp analytic and numerical bootstrap bounds (Mazac et al., 2018, Li, 2023).

5. Generalizations: Quantum Codes and Moduli-Space Bootstrap Equations

Quantum Bootstrap Product Codes: In quantum error correction, the bootstrap equation takes a homological form as a consistency (CSS) chain complex condition for quantum codes constructed beyond tensor products. In this new "Quantum Bootstrap Product" approach, the equation

$R_{I_t}[\partial_1^{(p,q,w)}]\;\partial_2^l = 0$

imposes compatibility among boundary maps, generating richer code structures such as fork complexes that go beyond homological product codes and fracton codes. Solutions yield new classes of codes with improved parameters and insights into topological order (Li, 29 Jan 2026).

Moduli Space Bootstrap: In CFTs with continuous families of vacua (moduli spaces), the bootstrap equation connects OPE expansions at short distances with spectra and matrix elements in the spontaneously broken phase. Concretely, for scalar primaries $O_i$, $O_j$,

$$\sum_k C_{ij}^{~k}\,\xi_k\,|x|^{-(\Delta_i+\Delta_j)+\Delta_k} = \xi_i\,\xi_j + \sum_n F_{i\to n}\,F_{j\to n}\,K_n(x)$$

where $\xi_k$ are one-point functions, $F_{i\to n}$ are form factors, and $K_n(x)$ are propagators of asymptotic states. This relation encodes intricate constraints between OPE data and S-matrix elements in the broken vacuum (Cuomo et al., 2024).

6. Structural and Mathematical Analysis

The underlying mathematical structure of bootstrap equations varies with context:

• Conformal Blocks and Total Positivity: The properties of the conformal block kernels, especially their total positivity, are crucial in proving analytic bootstrap bounds and ensuring the variation-diminishing property required for rigorous positivity of OPE constraints (Li, 2023).
• Analytic Continuation and Uniqueness: The edge-of-the-wedge theorem and local conformal invariance uniquely extend solutions between different OPE channels, ensuring that bootstrap equations define consistent analytic continuations of OPE data (Maharana, 2021, Moriwaki, 2020).
• Symmetry and Representation Theory: Bootstrap equations are tied to deep aspects of symmetry—the explicit form of the equations is determined by the representation theory of the relevant symmetry algebra (conformal, BMS, etc.), and their solutions often encode combinatorial properties such as $S_4$-symmetry or the pentagon identity in harmonic analysis (Moriwaki, 2020, Bissi et al., 2023).

7. Phenomenological and Applied Implications

Bootstrap equations serve both as nonperturbative constraints and as computational frameworks with significant impact across subfields:

• CFT and Statistical Mechanics: They are the cornerstone of the modern conformal bootstrap program, enabling the determination of operator spectra with high precision in models such as the 3D Ising CFT via numerical and analytic methods (Mazac et al., 2018).
• Cosmology and Collider Physics: In inflationary cosmology, bootstrap equations directly yield analytic forms for observable correlators (primordial non-Gaussianity), providing a bridge between fundamental symmetry and precision phenomenology (Aoki et al., 2024).
• Quantum Information: In quantum coding theory, bootstrap-based constructions (QBP) yield new classes of quantum codes with improved self-correction and code rates, unifying and generalizing previous coding paradigms (Li, 29 Jan 2026).
• Field Theories on Manifolds and Moduli Spaces: By manifesting consistency of operator expansions across different vacua or geometries, bootstrap equations expose deep interrelations between flat-space data, curvature effects, and broken symmetry phases (Hasegawa et al., 2018, Cuomo et al., 2024).

In summary, the bootstrap equation transcends its origins in CFT, providing a unifying consistency condition that informs the structure, existence, and constraints of a broad array of physical and mathematical frameworks. Its many incarnations exemplify the power of symmetry, analyticity, and locality as organizing principles in modern theoretical physics.