Skip to content

Unitarity Bounds and Null States

Unitarity bounds are positivity theorems for conformal representations, not dimensional estimates. In a reflection-positive Euclidean CFT, radial conjugation makes translations adjoint to special conformal transformations. Descendant norms can then be reduced to the conformal algebra. For a symmetric traceless primary of spin 1\ell\geq1, level-one positivity gives Δ+d2\Delta\geq\ell+d-2; a scalar requires a separate level-two calculation and obeys Δ(d2)/2\Delta\geq(d-2)/2 unless it is the identity. Saturation creates a null descendant and hence a short module.

Required background. Primaries, Descendants, and Conformal Multiplets supplies descendant levels and quotient modules. Hilbert Space, Positivity, and Unitary Evolution supplies positive inner products and adjoints. Helpful background. Forms, Adjoints, and Isometries supplies Gram matrices and positive-semidefinite quotients.

The derivation on this page assumes:

  1. a local Euclidean CFT in d3d\geq3 satisfying reflection positivity;
  2. radial quantization and the state–operator correspondence;
  3. a positive-energy spectrum of DD with finite-dimensional rotation eigenspaces;
  4. a primary state in an irreducible finite-dimensional representation of SO(d)SO(d) or Spin(d)\operatorname{Spin}(d);
  5. the radial adjoint D=DD^\dagger=D, Pμ=KμP_\mu^\dagger=K_\mu, and Mμν=MμνM_{\mu\nu}^\dagger=-M_{\mu\nu}; and
  6. quotienting of zero-norm states so that the physical inner product is positive definite.

After Osterwalder–Schrader continuation these conditions correspond to a unitary positive-energy Lorentzian theory, but that continuation is an additional theorem-level step. Nonunitary, logarithmic, gauge-fixed, defect, or nonlocal sectors can violate one or more assumptions. The standard derivation and its CFT interpretation are given in Simmons-Duffin 2017, §§ 7.1–7.3 and Poland, Rychkov, and Vichi 2019, § III.E.

Level-one positivity for spinning primaries

Section titled “Level-one positivity for spinning primaries”

Let O,a\lvert\mathcal O,a\rangle be a primary of dimension Δ\Delta in a rotation irrep RR. Choose an orthonormal basis, O,aO,b=δab\langle\mathcal O,a\vert\mathcal O,b\rangle=\delta_{ab}. The level-one Gram matrix is

O,aKμPνO,b=O,a[Kμ,Pν]O,b=2[Δδμνδab(Sμν)bcδac].\begin{aligned} \langle\mathcal O,a\rvert K_\mu P_\nu \lvert\mathcal O,b\rangle &=\langle\mathcal O,a\rvert[K_\mu,P_\nu] \lvert\mathcal O,b\rangle\\ &=2\left[ \Delta\delta_{\mu\nu}\delta_{ab} -(S_{\mu\nu})_b{}^c\delta_{ac} \right]. \end{aligned}

Decompose VRV\otimes R into irreducible rotation representations RR'. With the anti-Hermitian rotation matrices used here, define the positive quadratic Casimir by

C2(R)1R=12SμνSμν.C_2(R)\mathbf1_R=-\frac12S_{\mu\nu}S_{\mu\nu}.

The spin term is diagonal on each component, and its eigenvalue gives

λR=2[Δ+12(C2(R)C2(R)C2(V))].\lambda_{R'} =2\left[ \Delta+\frac12\bigl(C_2(R')-C_2(R)-C_2(V)\bigr) \right].

Every λR\lambda_{R'} must be nonnegative. For a symmetric traceless rank-\ell representation, C2([])=(+d2)C_2([\ell])=\ell(\ell+d-2) and

V[]=[+1][,1][1]V\otimes[\ell] =[\ell+1]\oplus[\ell,1]\oplus[\ell-1]

in generic dd. The [1][\ell-1] component is the divergence. Its eigenvalue is

λ[1]=2[Δ(+d2)],\lambda_{[\ell-1]}=2\bigl[\Delta-(\ell+d-2)\bigr],

so positivity implies

Δ+d2(1).\boxed{\Delta\geq\ell+d-2\qquad(\ell\geq1).}

The other level-one channels give weaker inequalities once this bound holds. At saturation, the projected descendant has zero norm. Positivity then makes it orthogonal to the whole physical space, and the quotient imposes

Pμ1Oμ1μ=0μ1Oμ1μ(x)=0.P^{\mu_1}\lvert\mathcal O_{\mu_1\cdots\mu_\ell}\rangle=0 \quad\Longleftrightarrow\quad \partial^{\mu_1}\mathcal O_{\mu_1\cdots\mu_\ell}(x)=0.

For =1\ell=1, this gives a conserved current with Δ=d1\Delta=d-1; for =2\ell=2, a conserved symmetric traceless stress tensor has Δ=d\Delta=d. The level-one calculation supplies the inequality. The classification theorem for positive-energy conformal representations ensures that no higher descendant imposes a stronger bound on these symmetric traceless modules; it is not enough merely to inspect the first level and assume the rest.

For a scalar primary, level one gives only

OKμPνO=2ΔδμνOO,\langle\mathcal O\rvert K_\mu P_\nu\lvert\mathcal O\rangle =2\Delta\delta_{\mu\nu}\langle\mathcal O\vert\mathcal O\rangle,

and hence Δ0\Delta\geq0. The sharper bound comes from the scalar trace at level two. Using the algebra and MμνO=KμO=0M_{\mu\nu}\lvert\mathcal O\rangle=K_\mu\lvert\mathcal O\rangle=0,

KμP2O=4(Δd22)PμO.K_\mu P^2\lvert\mathcal O\rangle =4\left(\Delta-\frac{d-2}{2}\right)P_\mu\lvert\mathcal O\rangle.

Applying KμK^\mu once more gives the exact norm

P2O2=8dΔ(Δd22)O2.\lVert P^2\lvert\mathcal O\rangle\rVert^2 =8d\,\Delta \left(\Delta-\frac{d-2}{2}\right) \lVert\mathcal O\rVert^2.

Together with Δ0\Delta\geq0, positivity allows Δ=0\Delta=0 or

Δd22.\boxed{\Delta\geq\frac{d-2}{2}.}

In an irreducible CFT with a unique invariant vacuum, a scalar primary at Δ=0\Delta=0 is the identity. At the nontrivial saturation value, P2OP^2\lvert\mathcal O\rangle is null and

2O=0.\partial^2\mathcal O=0.

This is the free massless scalar equation. The resulting CFT sector has additional consequences—for example, Wick-like structures under standard locality assumptions—but those do not follow from the norm polynomial alone.

The figure separates the positivity step from the local equation. Inspect the branch at which a descendant becomes both singular and zero norm.

A conformal primary generates a long descendant module; positivity drives a selected descendant norm to zero at a unitarity threshold, after which its entire submodule is quotiented and the state–operator correspondence yields conservation or a free equation.

For a symmetric traceless spin-1\ell\geq1 primary, the level-one divergence becomes null at Δ=+d2\Delta=\ell+d-2 and yields conservation. For a scalar, the level-two trace becomes null at Δ=(d2)/2\Delta=(d-2)/2 and yields the free equation. The diagram is schematic; nullness requires the positive radial form and is stronger than algebraic reducibility alone.

StepSymmetric traceless spin 1\ell\geq1ScalarLogical input
Candidate descendantLevel-one divergence POP\mathbin{\cdot}\mathcal OLevel-two trace P2OP^2\mathcal ORotation decomposition
Norm factor controlling the thresholdΔ(+d2)\Delta-(\ell+d-2)Δ[Δ(d2)/2]\Delta[\Delta-(d-2)/2]Conformal commutators and P=KP^\dagger=K
Positivity conclusionΔ+d2\Delta\geq\ell+d-2Δ=0\Delta=0 or Δ(d2)/2\Delta\geq(d-2)/2Positive radial inner product
Saturation equationO=0\partial\mathbin{\cdot}\mathcal O=02O=0\partial^2\mathcal O=0Null quotient plus state–operator correspondence
Entire submodule removedDescendants of the divergenceDescendants of P2OP^2\mathcal OIrreducible short-module quotient

The following table is designed for use before interpreting a measured or computed scaling dimension. Its representation labels are irreducible SO(d)SO(d) or Spin(d)\operatorname{Spin}(d) rotation labels in reflection-positive Euclidean radial quantization; Lorentzian finite-dimensional field labels require continuation to the corresponding real form. Its entries are representation-theoretic constraints; they do not prove that a local CFT realizing the representation exists.

Primary in a reflection-positive d3d\geq3 CFTBound or saturation valueFirst null componentLocal conclusion at saturationNecessary qualifications and failure modeProof status and source
Identity-sector scalarΔ=0\Delta=0Pμ1=0P_\mu\mathbf1=0Constant identity operatorIdentifying every dimension-zero scalar with the identity also uses irreducibility and a unique invariant vacuumPositive-energy representation result under the page hypotheses: Simmons-Duffin 2017, § 7.3
Nonidentity scalarΔ(d2)/2\Delta\geq(d-2)/2P2OP^2\mathcal O at equality2O=0\partial^2\mathcal O=0The level-one test gives only Δ0\Delta\geq0; nonunitary scalars may lie below the boundLevel-two Gram theorem plus representation classification: Poland, Rychkov, and Vichi 2019, § III.E
Fundamental spinorΔ(d1)/2\Delta\geq(d-1)/2Gamma-trace γμPμψ\gamma^\mu P_\mu\psi at equalityMassless Dirac equationChirality and reality depend on dimension and signature; the statement is for the appropriate Spin irrepPositive-energy representation bound: Minwalla 1998, § 2, pp. 792–794
Symmetric traceless rank 1\ell\geq1Δ+d2\Delta\geq\ell+d-2Divergence at equalityGeneralized conservation; ordinary current for =1\ell=1, stress-tensor form for =2\ell=2Conservation follows only after the zero-norm quotient; a generic operator at the same dimension in a nonunitary theory need not be conservedLevel-one Gram theorem plus sufficiency classification: Simmons-Duffin 2017, § 7.3
Mixed-symmetry highest weight with 1==p>p+1\ell_1=\cdots=\ell_p>\lvert\ell_{p+1}\rvertΔ1+dp1\Delta\geq\ell_1+d-p-1Representation-specific generalized divergenceMixed-symmetry conservation equationHighest-weight conventions and low-dimensional dualities must be translated before applying the formulaPositive-energy representation bound in the stated highest-weight convention: Dolan 2006, §§ 2–3
Any representation below its applicable boundForbidden in a positive-energy unitary moduleNegative-norm descendant before quotientNo unitary CFT operator with those labelsIt may occur in a nonunitary or gauge-dependent space, where the positive-form hypothesis is absentDirect consequence of a negative Gram eigenvalue: Dolan 2006, Appendix C

The table deliberately separates “allowed representation” from “realized CFT.” Crossing symmetry, OPE associativity, locality, and the existence of a stress tensor impose additional conditions that a single conformal module does not see.

Nonunitary fixed points. The Lee–Yang CFT has operators below unitary bounds because reflection positivity is absent Poland, Rychkov, and Vichi 2019, § VIII. This does not contradict the inequalities; it violates their first hypothesis.

Gauge-fixed fields. A gauge potential or ghost may live in an indefinite auxiliary state space. Apply positivity only to gauge-invariant physical operators after the relevant quotient, not to every gauge-fixed field component.

Logarithmic modules. If DD has Jordan blocks, the inner product and module decomposition need not be diagonalizable in the form assumed above. A zero norm does not automatically define a decoupled direct summand.

Dimension alone. A spin-one operator with Δ=d1\Delta=d-1 is conserved in the positive irreducible conformal module described above. Without conformal symmetry, radial positivity, and the null quotient, the numerical equality alone is not a conservation proof.

This page derives analytic representation bounds. Descendant Gram Matrices constructs the radial inner product in detail, tracks basis and normalization, and checks the scalar and spinning matrices level by level. That page owns the explicit reflection-positive Gram construction; the present result supplies the target eigenvalues and null channels. Conserved Currents and the Stress Tensor then adds Ward identities and normalization data that representation theory alone cannot fix.

Derive the scalar level-two norm from the two intermediate identities

KμP2O=4(Δd22)PμO,KμPμO=2dΔO.K_\mu P^2\lvert\mathcal O\rangle =4\left(\Delta-\frac{d-2}{2}\right)P_\mu\lvert\mathcal O\rangle, \qquad K^\mu P_\mu\lvert\mathcal O\rangle=2d\Delta\lvert\mathcal O\rangle.
Solution

Using (P2)=K2(P^2)^\dagger=K^2 and applying the first identity followed by the second,

OK2P2O=4(Δd22)OKμPμO=8dΔ(Δd22)O2.\langle\mathcal O\rvert K^2P^2\lvert\mathcal O\rangle =4\left(\Delta-\frac{d-2}{2}\right) \langle\mathcal O\rvert K^\mu P_\mu\lvert\mathcal O\rangle =8d\Delta\left(\Delta-\frac{d-2}{2}\right) \lVert\mathcal O\rVert^2.

Explain why the current bound follows from the [1][\ell-1] channel rather than the [+1][\ell+1] channel.

Solution

For R=[]R=[\ell], the Casimir shift in the [1][\ell-1] channel is (+d2)-(\ell+d-2), so its Gram eigenvalue is 2[Δ(+d2)]2[\Delta-(\ell+d-2)]. The [+1][\ell+1] shift is ++\ell, giving 2(Δ+)2(\Delta+\ell), which is already positive for positive Δ\Delta. The divergence channel therefore reaches zero first.

  • Dolan, F. A. “Character Formulae and Partition Functions in Higher Dimensional Conformal Field Theory.” Journal of Mathematical Physics 47 (2006): 062303. DOI; Open PDF
  • Minwalla, Shiraz. “Restrictions Imposed by Superconformal Invariance on Quantum Field Theories.” Advances in Theoretical and Mathematical Physics 2 (1998): 783–851. DOI; Open PDF
  • Poland, David, Slava Rychkov, and Alessandro Vichi. “The Conformal Bootstrap: Theory, Numerical Techniques, and Applications.” Reviews of Modern Physics 91 (2019): 015002. DOI; Open PDF
  • Simmons-Duffin, David. “TASI Lectures on the Conformal Bootstrap.” In New Frontiers in Fields and Strings, 1–74. Singapore: World Scientific, 2017. DOI; Open PDF