Skip to content

Conformal Perturbation Theory and Beta Functions

Conformal perturbation theory computes the initial motion away from a CFT using its operator dimensions, OPE coefficients, and integrated correlators. Ultraviolet collisions of insertions generate beta functions, anomalous dimensions, and mixing. The calculation is predictive only after the operator normalization, cutoff, contact terms, and subtraction scheme have been stated. A CFT derivation of this strategy near the Wilson–Fisher fixed point appears in Rychkov and Tan 2015, §§2–3.

Required background. Local RG and Weyl Consistency Conditions supplies source covariance and scheme changes. Conformal OPE Data fixes dimensions and OPE coefficients. Helpful background. Operator Mixing and Renormalization Matrices supplies the matrix treatment of degenerate operators.

Choose unit-normalized scalar primaries Oi\mathcal O_i and write

S=SCFT+igiμdΔiddxOi(x).S=S_{\rm CFT} +\sum_i g^i\mu^{d-\Delta_i} \int d^dx\,\mathcal O_i(x).

The gig^i are dimensionless and

μdgidμ=(Δid)gi+O(g2).\mu\frac{dg^i}{d\mu} =(\Delta_i-d)g^i+O(g^2).

Thus a relevant coupling grows toward the infrared. This linear term is invariant under analytic redefinitions that preserve the fixed point; the relation between scaling dimensions and the linearized RG flow is developed in Cardy 1996, chs. 5 and 9.

At second order, two insertions collide. In the normalization

Oj(x)Ok(0)iCjkixΔj+ΔkΔiOi(0)+,\mathcal O_j(x)\mathcal O_k(0) \sim\sum_i \frac{C_{jk}{}^i}{|x|^{\Delta_j+\Delta_k-\Delta_i}} \mathcal O_i(0)+\cdots,

a logarithm appears when Δj+ΔkΔi=d\Delta_j+\Delta_k-\Delta_i=d. For nearly marginal scalars in a hard-sphere minimal subtraction convention,

βi=(Δid)gi+Sd12Cjkigjgk+O(g3),Sd1=2πd/2Γ(d/2).\beta^i=(\Delta_i-d)g^i +\frac{S_{d-1}}{2}C_{jk}{}^i g^jg^k +O(g^3), \qquad S_{d-1}=\frac{2\pi^{d/2}}{\Gamma(d/2)}.

The factor 1/21/2 compensates the exchange of the two integrated insertions. Changing the sign of the deformation in SS, the normalization of Oi\mathcal O_i, or the subtraction convention changes the displayed quadratic coefficient coherently. The derivation—not the bare formula—is what should be transported between conventions. For marginal deformations, the same contact terms furnish connection data on coupling space and cannot generally be set to zero in every chart Kutasov 1989.

For one nearly marginal coupling with Δ=dϵ\Delta=d-\epsilon,

β(g)=ϵg+Sd12COOOg2+O(g3).\beta(g)=-\epsilon g+\frac{S_{d-1}}{2}C_{\mathcal O\mathcal O}{}^{\mathcal O}g^2+O(g^3).

If the quadratic coefficient is positive, the perturbative fixed point is

g=2ϵSd1COOO+O(ϵ2).g_*=\frac{2\epsilon}{S_{d-1}C_{\mathcal O\mathcal O}{}^{\mathcal O}}+O(\epsilon^2).

This location is scheme dependent beyond the controlled order. Critical exponents evaluated consistently at gg_* can be scheme independent to that order.

Let operators XA\mathcal X_A share quantum numbers. Renormalization defines

[XA]=ZABXB,γAB=(Z1μμZ)AB.[\mathcal X_A]=Z_A{}^B\mathcal X_B, \qquad \gamma_A{}^B=(Z^{-1}\mu\partial_\mu Z)_A{}^B.

The logarithmic divergence of

giμdΔiddxXA(x1)Oi(x)XB(x2)-g^i\mu^{d-\Delta_i}\int d^dx\, \langle\mathcal X_A(x_1)\mathcal O_i(x)\mathcal X_B(x_2)\rangle

determines the leading mixing matrix. Individual diagonal entries depend on basis; eigenvalues at a fixed point are the anomalous dimensions of scaling operators. When dimensions are degenerate at zeroth order, diagonalize the full matrix with the two-point metric rather than correcting each operator independently.

A resonance occurs when dimensions make an integrated OPE term logarithmic. Power divergences are more scheme dependent, while logarithms control universal leading running in the stated basis. Descendants, total derivatives, and redundant operators must be quotiented before interpreting the spectrum.

  1. Normalize all two-point functions and OPE coefficients at the reference CFT.
  2. Excise balls of radius aa around every collision, or declare an equivalent regulator.
  3. Insert the OPE in each collision region and integrate angular factors.
  4. Add the complete local counterterm basis, including source and curvature terms.
  5. Differentiate bare couplings at fixed bare data to obtain βi\beta^i and γAB\gamma_A{}^B.
  6. Check permutation factors and overlapping subdivergences.
  7. Repeat after a coupling or operator-basis change; invariant predictions must agree.

The central flow from anomaly/source data to deformation coefficients is shown below. Inspect the fork between separated-point OPE data and local subtraction data: both are needed for the beta function.

Background sources lead through renormalization to separated-point data, local anomalies and scheme-dependent contact terms, which feed deformation and flow tests

Conformal perturbation combines normalized CFT correlators with regulated coincidence regions and local counterterms. Universal fixed-point predictions appear only after basis, scheme, and truncation errors are controlled. The diagram is schematic.

Its deformation branch has the following structured equivalent:

InputOperationOutputRequired control
Δi\Delta_idimensional analysislinear beta termsource normalization
CjkiC_{jk}{}^iintegrate resonant OPE singularityquadratic beta termangular factor and permutation
XAOiXB\langle\mathcal X_A\mathcal O_i\mathcal X_B\rangleextract logarithmic mixingγAB\gamma_A{}^Btwo-point metric and degeneracy
Local source termssubtract coincident regionsscheme choicecomplete counterterm basis
Perturbative zero of β\betaevaluate invariant observablesfixed-point exponentsorder and remainder estimate

A reproducible benchmark should separate source contacts from universal response. It must expose the regulator, counterterms, truncation order, precision, and a deliberately wrong OPE normalization that fails its checks.

Reading a power divergence as a universal beta coefficient. Universal leading running comes from the logarithmic collision after the scheme is fixed. Power subtractions are more regulator dependent.

Ignoring degenerate mixing. A diagonal correction in an arbitrary basis is not a scaling dimension. Solve the generalized eigenvalue problem using the two-point metric.

Quoting gg_* more accurately than the beta function. A fixed point found at O(ϵ)O(\epsilon) has an O(ϵ2)O(\epsilon^2) uncertainty unless the next order is computed.

Derive the factor Sd1/2S_{d-1}/2 in the quadratic beta function for identical perturbing operators.

Solution

The second-order expansion supplies g2/2g^2/2. In the resonant OPE channel the relative-coordinate integral is adrrd1rd=log(1/a)\int_a dr\,r^{d-1}r^{-d}=\log(1/a), while the angular integral is Sd1S_{d-1}. Multiplying by COOOC_{\mathcal O\mathcal O}{}^{\mathcal O} gives the stated coefficient in the declared subtraction convention.

  • Cardy, J. Scaling and Renormalization in Statistical Physics. Cambridge Lecture Notes in Physics 5. Cambridge University Press, 1996, chs. 5 and 9. Publisher.
  • Kutasov, D. “Geometry on the Space of Conformal Field Theories and Contact Terms.” Physics Letters B 220 (1989): 153–158. DOI.
  • Rychkov, S., and Tan, Z. M. “The ϵ\epsilon-Expansion from Conformal Field Theory.” Journal of Physics A 48, 29FT01 (2015). arXiv. DOI.