---
title: Stress Tensor Bootstrap in CFTs
url: https://www.emergentmind.com/topics/stress-tensor-bootstrap
type: topic
---

# Stress Tensor Bootstrap in CFTs

Searching arXiv for recent and foundational papers on the stress tensor bootstrap to ground the article in the current literature.
Stress tensor bootstrap denotes a family of bootstrap programs centered on the stress tensor \(T_{\mu\nu}\) or, in supersymmetric settings, on the universal stress-tensor multiplet. In the standard conformal-bootstrap usage, it studies crossing-symmetric, unitary correlators such as \(\langle TTTT\rangle\) or universal four-point functions of stress-tensor-multiplet primaries, using conservation, Ward identities, tensor-structure analysis, and optimization to constrain central charges, OPE coefficients, and low-lying spectra. In adjacent usages, the term also refers to analytic reconstruction of multi-stress-tensor sectors in heavy-light correlators and to symbol or form-factor bootstraps with stress-tensor-multiplet insertions; these are related by bootstrap logic but are kinematically distinct problems [1708.05718], [1507.05637], [1910.06357], [2204.11901].

## 1. Universal role and scope

In parity-preserving three-dimensional CFTs, the stress tensor is a conserved spin-2, parity-even, traceless symmetric operator of scaling dimension \(\Delta_T=3\), and every local CFT necessarily contains it. This makes the correlator \(\langle TTTT\rangle\) unusually universal: unlike scalar-bootstrap studies, which depend on the existence of a chosen scalar, stress-tensor bootstrap probes essentially all local, unitary 3d CFTs with parity symmetry [1708.05718], [2602.13383].

A closely analogous universality appears in supersymmetric theories. In six-dimensional \((2,0)\) SCFTs, every local interacting theory contains the half-BPS stress-tensor multiplet \(D[2,0]\), whose superconformal primary is a scalar \(\Phi^{IJ}\) of scaling dimension \(\Delta_\Phi=4\) in the \(\mathbf{14}\) of \(\mathfrak{so}(5)_R\). Bootstrapping the four-point function of \(\Phi\) is therefore equivalent to bootstrapping the stress-tensor-multiplet four-point function, but in a technically simpler representation [1507.05637]. In 4d \(\mathcal N=2\) SCFTs, the mixed correlator \(\langle J J \phi \phi^\dagger\rangle\), with \(J\) the superconformal primary of the stress-tensor multiplet and \(\phi\) a chiral primary, plays an analogous role as a natural mixed-correlator stress-tensor system [2301.02782].

This universality is the central reason the stress tensor occupies a special place in bootstrap theory. It couples locality, conservation, and energy transport to the algebraic structure of crossing. A plausible implication is that stress-tensor bootstrap bounds can reveal features of the global CFT landscape that scalar-only systems do not directly access.

## 2. Core structures and numerical formulation

The general bootstrap logic used in stress-tensor studies follows the standard optimization-based pattern: identify observables and consistency equations, supplement them with positivity or unitarity conditions, formulate an optimization problem, and compute rigorous bounds. In the conformal-bootstrap setting, this is the same general machinery described for scalar correlators by the schematic crossing equation
\[
\sum_{\Delta,\ell} a_{\Delta,\ell}\,F_{\Delta,\ell}(z,\bar z)=0,
\]
with positivity of OPE-squared data in unitary theories and exclusion or optimization implemented through linear functionals and semidefinite programming [2401.00350].

For 3d stress-tensor bootstrap, the schematic OPE is
\[
T\times T \sim \mathbf{1}+T+\sum_{\mathcal O}\lambda_{TT\mathcal O}\,\mathcal O.
\]
Because \(T\) is parity-even, spin-2, conserved, and a singlet, only specific exchanged representations can appear. In parity-preserving 3d CFTs, the stress-tensor three-point function has two independent parity-even structures, conventionally written as
\[
\langle TTT\rangle = \lambda_B \langle TTT\rangle_B + \lambda_F \langle TTT\rangle_F ,
\]
or equivalently in a normalization with coefficients \(n_B,n_F\). The average null energy condition implies
\[
\lambda_B\ge 0,\qquad \lambda_F\ge 0,
\]
and the collider-angle parametrization
\[
\theta \equiv \tan^{-1}\frac{\lambda_F}{\lambda_B},\qquad \theta\in\left[0,\frac{\pi}{2}\right]
\]
packages the bosonic versus fermionic admixture of \(\langle TTT\rangle\) [2602.13383].

The spinning crossing equations are matrix-valued because multiple \(TT\mathcal O\) structures can occur. In 3d they are written schematically as
\[
\sum_{\mathcal O\in T\times T} \lambda_{TT\mathcal O}^{\,T}\,\vec V_{\mathcal O}\,\lambda_{TT\mathcal O}=0.
\]
A major technical issue is the choice of a strictly linearly independent set of tensor structures and crossing equations. In the mixed \(\{\sigma,\epsilon,T\}\) system, conserved three-point structures must remain linearly independent for all allowed \(\Delta\), including asymptotically as \(\Delta\to\infty\), and the conservation equations reduce spinning correlators to “bulk”, “line”, and “point” functional degrees of freedom. For \(\langle TTTT\rangle\), after imposing conformal symmetry, parity, permutation symmetry, and conservation, the independent data consist of \(5\) bulk, \(9\) line, and \(8\) point degrees of freedom; redundant line or point equations can produce near-flat directions and can even fake exclusions of the true Ising region [2411.15300].

This technical layer is not peripheral. In stress-tensor bootstrap, conservation and basis independence are themselves part of the bootstrap data. They determine which positivity statements and which derivative functionals are mathematically meaningful.

## 3. Universal three-dimensional stress-tensor bootstrap

The first systematic 3d single-correlator stress-tensor bootstrap analyzed the crossing equations for \(\langle TTTT\rangle\) in the most general parity-preserving, unitary 3d CFT. A central result was that, with no additional assumptions, the numerical bootstrap reproduced the conformal collider bounds from Euclidean crossing:
\[
0\le \theta \le \frac{\pi}{2}
\quad\Leftrightarrow\quad
n_B,n_F\ge 0.
\]
The same analysis produced universal upper bounds on the lightest parity-even and parity-odd scalar operators in the \(T\times T\) OPE,
\[
\Delta_{\rm even}\le 7,\qquad \Delta_{\rm odd}\le 11.78,
\]
and showed that upper bounds on \(C_T\) appear only after one excludes large-\(N\) or mean-field-like spectra by imposing sufficiently strong scalar or spin-2 gaps [1708.05718].

Later work used the same universal \(\langle TTTT\rangle\) system in a different way: not to isolate one target theory, but to scan the global space of local, unitary, parity-preserving 3d CFTs by optimizing OPE coefficients such as \(\lambda_{TT+}\) and \(\lambda_{TT-}\) as functions of the leading parity-even and parity-odd singlet scalar dimensions
\[
\Delta_+,\qquad \Delta_-.
\]
The resulting landscape exhibits sharp kinks, ridges, corners, and intersections. Several boundary points correspond to known theories: stress tensor mean field theory at \((6,7)\), free real scalar at \((1,11)\), free Majorana fermion at \((6,1)\), the 3d Ising CFT near \(\Delta_+=1.41262528(29)\) and \(\Delta_-\lesssim 10.93\), and the large-\(N\) limit of the \(O(N)\) family at \((2,7)\). Interior structures include the free Dirac fermion and large-\(N_f\) QED\(_3\) at \((4,2)\), the Gross–Neveu–Yukawa large-\(N\) point at \((2,1)\), and the chiral Ising large-\(N\) point at \((2,2)\) [2602.13383].

The “CFT cartography” program proposed in that work interprets these optimized surfaces as geometry of the CFT landscape itself. The paper is careful not to identify every ridge with a known theory, and it explicitly lists caveats: finite numerical order, single-correlator limitations, restricted visible spectrum, and possible “sharing” effects when extra low-lying spin-2 operators are present. Even with those caveats, a clear implication is that \(\langle TTTT\rangle\) alone already contains far more theory-discriminating information than one might expect from a universal single-correlator system.

## 4. Mixed-correlator bootstrap of the 3d Ising stress tensor

A major development was the first high-precision 3d Ising bootstrap that treated the stress tensor as an external operator on the same footing as the leading \(\mathbb Z_2\)-odd and \(\mathbb Z_2\)-even scalars \(\sigma\) and \(\epsilon\). The full set of nonvanishing four-point functions imposed simultaneously is
\[
\{\<\sigma\sigma\sigma\sigma\>,\<\sigma\sigma\epsilon\epsilon\>,\<\epsilon\epsilon\epsilon\epsilon\>,\<\sigma\sigma\epsilon T\>,\<\epsilon\epsilon\epsilon T\>,\<\sigma\sigma TT\>,\<\epsilon\epsilon TT\>, \<\epsilon TTT\>,\<TTTT\>\}.
\]
This enlargement accesses sectors invisible in the earlier scalar-only system, including \(\mathbb Z_2\)-even odd-spin operators, parity-odd operators, \(\langle TT\epsilon\rangle\), and the two independent structures of \(\langle TTT\rangle\) [2411.15300].

The numerical consequences are substantial. At \(\Lambda=43\), the allowed Ising island in \((\Delta_\sigma,\Delta_\epsilon)\) is roughly \(40\)–\(50\times\) smaller than in the previous \(\sigma\)-\(\epsilon\) mixed-scalar bootstrap. The final values reported are
\[
\Delta_\sigma = 0.518148806(24),\qquad \Delta_\epsilon = 1.41262528(29),
\]
\[
c_T = 0.946538675(42),\qquad \lambda_{TT\epsilon}=0.95331513(42),
\]
\[
n_B = 0.933444559(75),\qquad n_F = 0.013094116(33).
\]
The same analysis gives the Ising bound
\[
\Delta_- \le 10.9293
\]
for the lightest parity-odd scalar in the \(\mathbb Z_2\)-even sector visible to \(T\times T\) [2411.15300].

Methodologically, the paper codifies a concrete 3d spinning-bootstrap toolkit. It solves conservation before bootstrapping, works in explicit \(q\)-basis and \(\mathrm{SO}(3)_r\) bases, uses the coordinates
\[
z = \frac{(1+y)^2}{2(1+y^2)},\quad \bar z = \frac{(1+\bar y)^2}{2(1+\bar y^2)}, \qquad
w = \frac{y+\bar y}{2},\quad s = \left(\frac{y-\bar y}{2}\right)^2,
\]
and at \(\Lambda=43\) reaches \(7991\) functional components. The implementation relied on `blocks_3d`, improved interpolation for blocks, optimized memory use by more than \(10\times\), and large SDPs run on \(16\) nodes with \(128\) cores each. These are not merely engineering details: the paper presents them as necessary conditions for stable dual feasible jumps and for the reliability of the mixed stress-tensor system.

The conceptual lesson is that conserved operators are bootstrap-efficient. They come with protected dimensions, Ward identities, shared OPE parameters across several correlators, and access to otherwise hidden sectors.

## 5. Supersymmetric stress-tensor multiplets

In 6d \((2,0)\) SCFTs, the stress-tensor bootstrap is formulated as the crossing problem for the universal four-point function of the scalar superconformal primary \(\Phi^{IJ}\) in the stress-tensor multiplet \(D[2,0]\). Superconformal Ward identities reduce the correlator to one two-variable function \(a(z,\bar z)\) and one meromorphic one-variable function \(h(z)\). Defining
\[
g(z)\coloneqq -z^2 h'(z),
\]
the meromorphic crossing equation becomes
\[
g(z)=g\!\left(\frac{z}{z-1}\right)=\left(\frac{z}{z-1}\right)^4 g(1-z),
\]
which is exactly the crossing equation for a 2d chiral operator of dimension two. The 2d chiral-algebra identification fixes \(h(z)\) completely in terms of the central charge \(c\), with \(\beta_3=8/c\); the remaining bootstrap problem is the crossing equation for the unknown dynamical function \(a^u(z,\bar z)\) [1507.05637].

Numerically, this leads to a strong lower bound on the central charge. The strongest rigorous bound reported is
\[
c>21.45,
\]
and the sequence of bounds extrapolates convincingly to
\[
c_{\min}=25,
\]
which is exactly the \(A_1\) value. The paper therefore argues that every interacting unitary \((2,0)\) SCFT without higher-spin currents satisfies \(c\ge 25\), with saturation by the \(A_1\) theory. At \(c=25\), the stress-tensor-multiplet four-point function is argued to be the unique unitary solution of the crossing equation. The paper also estimates the lightest unprotected scalar in the \(A_1\) theory to lie in the interval
\[
6.387<\Delta_0<6.443
\]
[1507.05637].

A distinct but related 4d \(\mathcal N=2\) development computes the \(s\)-channel superconformal partial waves for the mixed correlator
\[
\langle J J \phi \phi^\dagger\rangle,
\]
where \(J\) is the superconformal primary of the stress-tensor multiplet and \(\phi\) is a chiral primary. The exchanged generic long multiplet is
\[
\mathcal A^\Delta_{0,0(\tfrac l2,\tfrac l2)},
\]
and the resulting superblocks are expressed as finite sums of ordinary bosonic conformal blocks. For odd \(l\), the block is a linear combination of \(g_{\Delta+1,l\pm1}\) and \(g_{\Delta+3,l\pm1}\); for even \(l\), it takes the form
\[
\mathcal G_{\Delta,l,\text{even}}^{\mathcal N=2|JJ;\phi\phi^\dagger}
= c_0\,g_{\Delta,l}+c_1\,g_{\Delta+2,l+2}+c_2\,g_{\Delta+2,l}+c_3\,g_{\Delta+2,l-2}+c_4\,g_{\Delta+4,l}.
\]
The paper explicitly states that this is only part of a full mixed-correlator bootstrap, because the crossed-channel decomposition is still needed [2301.02782].

Together, these supersymmetric results show that stress-tensor bootstrap is not tied to one kinematic or symmetry class. In maximally constrained settings, protected subsectors can reduce the unknown data dramatically and convert the universal stress-tensor multiplet into an exceptionally rigid bootstrap object.

## 6. Analytic heavy-light and large-\(C_T\) stress-tensor sectors

A different branch of stress-tensor bootstrap studies heavy-heavy-light-light correlators in large-\(C_T\) CFTs. In even spacetime dimension, the leading minimal-twist \(k\)-stress-tensor contribution to the near-lightcone correlator is captured by the ansatz
\[
g^{(k)}(z,\bar z)\sim_{z\to1} \frac{(1-\bar z)^{k\left(\frac d2-1\right)}}{[(1-z)(1-\bar z)]^{\Delta_L}}
\sum_{\{i_p\}} a_{i_1\cdots i_k}\, f_{i_1}(z)\cdots f_{i_k}(z),\qquad
\sum_{p=1}^k i_p = k\frac{d+2}{2},
\]
with
\[
f_a(z)=(1-z)^a\,{}_2F_1(a,a;2a;1-z).
\]
Crossing determines the coefficients recursively: stress-tensor exchange fixes heavy-light double-twist anomalous dimensions and OPE coefficients at order \(\mu\), those determine the double-stress ansatz at order \(\mu^2\), and so on. This program yields explicit double-stress data in \(d=4\) and \(d=6\), triple-stress data in \(d=4\), and evidence for exponentiation of the near-lightcone stress-tensor sector, analogous in spirit to the 2d Virasoro vacuum block [1909.05775].

A complementary “back-and-forth” Lorentzian inversion program turns this into a recursive algorithm. Starting from the universal stress-tensor OPE coefficient
\[
c_{\Delta=d,J=2} = \mu \frac{\Delta_L\Gamma(\frac d2+1)^2}{4\Gamma(d+2)},
\]
one inverts to obtain large-spin heavy-light double-twist data; reconstructs the crossed correlator; inverts back to isolate the lowest-twist \(T^2\) family; and then iterates to \(T^3\) and higher. In general dimension, this gives a closed formula for the order-\(\mu\) anomalous dimensions of \([\mathcal O_H\mathcal O_L]_{n',J'}\); in \(d=4\), it yields exact lowest-twist double-stress-tensor OPE coefficients and low-spin triple-stress-tensor data [1910.06357].

The finite-spin refinement of this program shows that order-\(\mu\) stress-tensor exchange fixes finite-spin heavy-light anomalous dimensions in \(d=4\), and in general dimension gives a universal formula for \(\tilde\gamma^{(1)}_{n,J}\). This in turn resolves the interpretation of poles in \(\Delta_L\) appearing in lowest-twist double-stress-tensor OPE coefficients: they signal mixing with double-trace operators \([\mathcal O_L\mathcal O_L]_{n,J}\). The paper verifies the residue relation
\[
\gamma^{\rm mix}c^{\rm mix} = -2\,{\rm Res}_{\Delta_L=\Delta_L^{\rm pole}}\,c_{T^2},
\]
and analyzes the \(d=2\) case separately, where Virasoro symmetry implies the uniqueness of the double-stress-tensor contribution [2004.04758].

A related large-\(C_T\) study of heavy-heavy-light-light correlators isolates the stress-tensor sector as the contribution of the identity, the stress tensor, and all multi-stress-tensor primaries. It bootstraps an ansatz for the lightcone functions \(g^{(k,m)}(z)\), determines the higher-spin double-stress OPE coefficients through twist \(10\), and shows that crossing leaves unfixed only the OPE coefficients of multi-stress tensors with spin \(0\) and \(2\). In holographic CFTs, a bulk phase shift then fixes the spin-2 ambiguities, leaving only spin-0 data undetermined [2002.12254].

The Lorentzian inversion formula also enters a more conventional analytic-bootstrap setting. Nonperturbative-in-spin terms, exponentially suppressed at large spin but numerically important at low spin, are essential if one wants the analytically continued leading double-twist trajectory to reproduce the spin-2 stress tensor accurately. In the 3d Ising model, including these terms yields
\[
\tau_{[\sigma\sigma]_{0,2}}=1.000060(2),
\]
reproducing the stress-tensor twist at the \(10^{-5}\) level. In the 3d \(O(2)\) model, imposing that the singlet leading trajectory contains the exact stress tensor predicts
\[
f_{\phi\phi t}\in(0.857,0.951),
\]
improved to
\[
f_{\phi\phi t}\in(0.883,0.901)
\]
with Monte Carlo inputs [1904.00032].

This analytic line of work shows that “stress tensor bootstrap” is not limited to direct semidefinite studies of \(\langle TTTT\rangle\). It also includes recursive reconstruction of universal multi-stress sectors and precision low-spin constraints extracted from large-spin analyticity.

## 7. Form-factor and non-CFT extensions

In planar \(\mathcal N=4\) supersymmetric Yang–Mills theory, “stress-tensor bootstrap” often refers to a different class of problems: the bootstrap of form factors of the chiral stress-tensor multiplet. One major result bootstraps the three-point MHV form factor through six, seven, and eight loops. The object actually bootstrapped is the BDS-like normalized quantity \(\mathcal E^{(L)}\), using a function space \(\mathcal C\) characterized by symbol-letter constraints, integrability, extended-Steinmann-like pair restrictions, a genuinely new triple-adjacency rule, a coaction principle on first coproduct entries, multiple-final-entry conditions, and near-collinear FFOPE data. Through eight loops, the answer is fixed by the \(T^2\ln^k T\) data with \(k\ge L-3\), and the paper interprets the resulting structure through an antipodal duality with the six-point amplitude [2204.11901].

The program extends beyond MHV. A later work bootstraps the two-loop four-point NMHV ratio function for the chiral stress-tensor form factor at symbol level. Starting from a finite one-mass two-loop integral space, it imposes finiteness, Galois symmetry, parity, dihedral symmetry, spurious-pole cancellation, ordinary collinear behavior, and finally triple-collinear consistency, which is the decisive condition fixing the remaining parameters. The final symbol contains \(78\) letters, all drawn from the previously identified \(88\)-letter alphabet for the four-point MHV stress-tensor form factor. This is the first multi-loop non-MHV stress-tensor form factor obtained in this way [2605.28955].

There is also a non-conformal, spectral version of stress-tensor bootstrap for gapped QFTs. In that framework, one studies the Wightman two-point function of the stress tensor, decomposes the spectral density into the trace part \(\rho_\Theta(s)\) and the spin-2 part \(\rho_{\hat T}^2(s)\), and uses positivity,
\[
\rho_\Theta(s)\ge 0,\qquad \rho_{\hat T}^2(s)\ge 0,
\]
together with semidefinite positivity matrices mixing stress-tensor-created states, two-particle form factors, and partial-wave S-matrix elements. In \(d\ge 3\), the UV and IR stress-tensor central charges are encoded in the asymptotics of \(\rho_{\hat T}^2(s)\); in \(d=2\), one instead obtains the exact sum rule
\[
c_{UV}-c_{IR}=12\pi \int \frac{ds}{s^2}\rho_\Theta(s),
\]
re-deriving the \(2d\) \(c\)-theorem [2012.08538].

These broader usages are not standard spinning-correlator conformal bootstrap. They nevertheless belong to the history of the subject because they retain the same basic idea: the stress tensor or stress-tensor multiplet is treated as a universal observable whose analyticity, positivity, and consistency conditions constrain the admissible theory space.

Source: https://www.emergentmind.com/topics/stress-tensor-bootstrap