Conformal field theory and the bootstrap
Derive a scalar two-point function from symmetry and understand how crossing constrains a theory.
On this page
The question for today
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 of dimension . Translation invariance makes its two-point function depend only on separation, and rotation invariance reduces that dependence to . Under a dilation, each insertion contributes a factor set by its dimension. The correlator must therefore satisfy . Differentiating with respect to the positive scale factor at one gives an ordinary differential equation, .
Solving gives 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.
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 , the bound is .
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.
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.
Work it through
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.
The power law gives . The unknown normalization cancels.
Since 1/16 = 2⁻⁴, equate the exponents: 2Δ = 4 and Δ = 2.
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.
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.
The living notebook
Explore the model
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.
- y at chosen x
- 0.608
- Tangent slope · 2ax
- 1.35
- Signed area · ax³/3
- 0.182
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.
Pause & reason
Check your understanding
Your turn
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.
Keep the idea
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.