research29 min studyLesson 79 in Physics

Conformal field theory and the bootstrap

Derive a scalar two-point function from symmetry and understand how crossing constrains a theory.

On this page

What you’ll understand

  • Derive the position dependence of an identical scalar primary's two-point function.
  • State the assumptions behind a scalar unitarity bound.
  • Interpret crossing equations as constraints rather than a claim that every conformal theory is solved.

At a scale-invariant fixed point, dimensionful correlation lengths can disappear and symmetry becomes unusually predictive. Conformal field theory adds transformations that preserve local angles and strongly restricts correlation functions. We work in a flat Euclidean, unitary conformal theory in dimension d greater than two unless stated otherwise. Scale invariance alone is not assumed to imply conformal invariance without the additional hypotheses of an appropriate theorem.

Let symmetry determine a function

Take a nonidentity scalar primary OO of dimension Δ\Delta. Translation invariance makes its two-point function depend only on separation, and rotation invariance reduces that dependence to r=∣x∣r=|x|. Under a dilation, each insertion contributes a factor set by its dimension. The correlator must therefore satisfy G(λr)=λ−2ΔG(r)G(\lambda r)=\lambda^{-2\Delta}G(r). Differentiating with respect to the positive scale factor at one gives an ordinary differential equation, rG′(r)=−2ΔG(r)rG'(r)=-2\Delta G(r).

Solving gives G(r)=CO/r2ΔG(r)=C_O/r^{2\Delta} away from coincident points. The coefficient depends on the chosen operator normalization and can be set to one for a suitable nonzero operator. Contact terms at coincident points require separate distributional care. Special conformal symmetry further restricts two-point functions of different primaries: in an orthogonal basis their correlator vanishes unless the dimensions and other quantum numbers match appropriately. These are symmetry statements, not perturbative approximations.

⟨O(x)O(0)⟩=CO∣x∣2Δ,x≠0\langle O(x)O(0)\rangle=\frac{C_O}{|x|^{2\Delta}},\qquad x\ne0
Identical scalar primary in a flat Euclidean CFT, with a convention for its normalization. For a complex operator one normally pairs O with its adjoint; contact terms are excluded here.↔ Scroll wide equations horizontally.

States, descendants, and positivity

Radial quantization treats distance from an insertion as a time-like ordering coordinate. A local primary creates a state, and derivatives create descendant states. Reflection positivity translates into nonnegative norms of the physical states in this Euclidean construction. Computing norms using the conformal algebra then bounds allowed dimensions. For a nonidentity scalar primary in a unitary theory with d>2d>2, the bound is Δ≥(d−2)/2\Delta\ge(d-2)/2.

The identity is an important exception: its dimension is zero and it is not constrained by that nonidentity bound. Saturation by a scalar produces a null descendant and the corresponding free-field equation under the usual unitary CFT assumptions. In nonunitary theories or in two dimensions the representation analysis changes. A number called an anomalous dimension cannot be assigned arbitrarily while maintaining positivity and crossing; it is part of the consistent operator spectrum of a particular theory.

Δscalar≥d−22(d>2, unitary, O≠1),Δfree scalar=d−22\Delta_{\mathrm{scalar}}\ge\frac{d-2}{2}\quad(d>2,\ \mathrm{unitary},\ O\ne\mathbf1),\qquad \Delta_{\mathrm{free\ scalar}}=\frac{d-2}{2}
Scalar primary unitarity bound in the stated setting. The identity has Δ = 0 and is excluded; saturation identifies a free scalar sector under the standard assumptions.↔ Scroll wide equations horizontally.

Crossing compares two decompositions of one observable

The operator product expansion expresses nearby insertions as a sum over local operators and their descendants. Applying it in different pairings of a four-point function must give the same result. Conformal blocks package the descendant contributions of each primary, leaving scaling dimensions and three-point coefficients as the unknown data. For identical scalars the squared coefficients are nonnegative in a suitable unitary normalization, giving numerical bootstrap methods something stronger than an arbitrary fitting problem.

A bootstrap bound excludes spectra inconsistent with crossing and the imposed assumptions. A small allowed island can become very informative, but it depends on assumptions such as symmetry, gaps, and which correlators were included. Finite derivative or spin truncations and numerical tolerances must be reported. Some special CFTs are exactly solvable; generic interacting higher-dimensional CFTs are not. The research achievement is often a rigorous or systematically strengthened constraint, not a full closed-form answer for every correlation function.

vΔG(u,v)=uΔG(v,u),u=x122x342x132x242,v=x142x232x132x242v^\Delta\mathcal G(u,v)=u^\Delta\mathcal G(v,u),\qquad u=\frac{x_{12}^2x_{34}^2}{x_{13}^2x_{24}^2},\quad v=\frac{x_{14}^2x_{23}^2}{x_{13}^2x_{24}^2}
Crossing relation for identical scalars when the four-point function is written as G(u,v)/(x₁₂² x₃₄²)^Δ. Here xᵢⱼ² is the Euclidean squared separation and points are distinct.↔ Scroll wide equations horizontally.

Read a scaling dimension from a ratio

An identical scalar primary has G(2r)/G(r) = 1/16 away from contact points. Determine Δ, then test the d = 3 scalar bound.

  1. The power law gives G(2r)/G(r)=2−2ΔG(2r)/G(r)=2^{-2\Delta}. The unknown normalization cancels.

  2. Since 1/16 = 2⁻⁴, equate the exponents: 2Δ = 4 and Δ = 2.

  3. For d = 3 the nonidentity scalar bound is Δ ≥ 1/2, so this value passes that necessary condition. It does not by itself construct a crossing-consistent operator spectrum.

The result

A scaling ratio determines a dimension under the CFT assumptions. Satisfying one unitarity inequality is necessary information, not a complete proof that the proposed CFT exists.

Explore the model

Interactive lab

Interactive lab · function

Observe a simple homogeneous function

Use y = ax² with positive x and compare f(2x) to f(x): the ratio is four for nonzero a. The tangent readout verifies x f′(x) = 2f(x). This elementary positive-power example illustrates homogeneity; it does not draw the inverse-power CFT correlator or solve crossing equations.

Observe a simple homogeneous functionThis lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Current readings: y at chosen x: 0.608; Tangent slope · 2ax: 1.35; Signed area · ax³/3: 0.182. All parameters are adjustable with the labeled controls below.−2.4−1.201.22.4−9−4.504.59xy(x, ax²)
y = ax²TangentSigned integral
y at chosen x
0.608
Tangent slope · 2ax
1.35
Signed area · ax³/3
0.182
t = 0 s

This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA scaling law constrains an entire function, while its exponent and physical interpretation come from the theory.

Check your understanding

In a unitary three-dimensional CFT, what can be concluded about a proposed nonidentity scalar primary with Δ = 0.3?

Try it yourself

For a free scalar in four dimensions, use the bound-saturating dimension to predict G(3r)/G(r). Explain one assumption required before using this ratio on data.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The free scalar dimension is (d − 2)/2; the two-point exponent is twice that dimension.

Compare with the solution

In d = 4, Δ = 1, so the ratio is 3⁻² = 1/9. The data must be in the scale-invariant regime for the correctly identified operator, away from contact points and finite-size or cutoff effects. An arbitrary massive scalar correlator does not have that exact power law at every distance.

Take it with you

  • Symmetry determines two- and three-point shapes more strongly than generic QFT dynamics.
  • Unitarity bounds require a stated representation and assumptions.
  • Crossing constrains spectra and coefficients; a numerical allowed region is not automatically a unique solved theory.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.