Skip to content

Scaling Dimensions, Correlators, and Critical Exponents

The previous page ended with the simplest continuum correlators of the critical Ising theory: free chiral Majorana fermions and the energy bilinear. This page steps back and explains the general logic behind those formulas. At a continuous phase transition, the correlation length is infinite, so the long-distance theory has no preferred scale. Local observables reorganize into scaling fields, and their correlation functions become homogeneous functions of the separations.

The central number attached to a scaling field is its scaling dimension. For the two-dimensional Ising spin field,

⟨σ(z1,zˉ1)σ(z2,zˉ2)⟩=Cσ∣z1−z2∣1/4,\langle \sigma(z_1,\bar z_1)\sigma(z_2,\bar z_2)\rangle ={C_\sigma\over |z_1-z_2|^{1/4}},

so the spin field has

Δσ=18.\Delta_\sigma={1\over8}.

The spin dimension fixes the anomalous exponent and the critical isotherm. Together with the thermal correlation-length exponent, it also determines the magnetization and susceptibility exponents. The energy dimension fixes that correlation-length exponent and controls the singular specific heat. This page makes the operator-to-exponent dictionary precise, including its scaling assumptions and logarithmic exceptions.

Required background. Lesson 11 supplies the critical Ising spin, energy, and Majorana correlators used as the main examples.

Helpful background. Lesson 4 introduces critical power laws, and Lesson 5 develops RG eigenvalues and anomalous dimensions perturbatively.

A microscopic lattice observable is usually not a pure scaling field. Instead, near a critical point it expands into a sum of continuum scaling fields:

Olat(i)∼∑kckaΔkOk(x),x=ai,O_{\rm lat}(i) \sim \sum_k c_k a^{\Delta_k} O_k(x), \qquad x=ai,

where aa is the lattice spacing. At long distance the term with the smallest scaling dimension compatible with the symmetries dominates.

For the Ising spin variable,

σi∼cσaΔσσ(x)+⋯ .\sigma_i \sim c_\sigma a^{\Delta_\sigma}\sigma(x)+\cdots.

For the nearest-neighbor energy density, one first subtracts the expectation value in order to remove the identity operator:

Ei−⟨E⟩∼cϵaΔϵ(ϵ(x)−⟨ϵ⟩)+⋯ .E_i-\langle E\rangle \sim c_\epsilon a^{\Delta_\epsilon} \bigl(\epsilon(x)-\langle\epsilon\rangle\bigr)+\cdots.

The identity has dimension zero and contributes to one-point functions, but it is not the thermal perturbation that changes the critical theory. The energy field ϵ\epsilon is the leading nontrivial scalar even under the Ising spin flip.

At the critical point, dilation acts diagonally on scaling fields:

Oi(x)↦λΔiOi(λx).O_i(x)\mapsto \lambda^{\Delta_i}O_i(\lambda x).

Away from the critical point the statement holds only inside the scaling window

a≪∣x∣≪ξ,a\ll |x|\ll \xi,

where ξ\xi is the correlation length.

Two-point functions and anomalous dimensions

Section titled “Two-point functions and anomalous dimensions”

Let OO be a scalar scaling field. Translation and rotation invariance imply

G2(x)=⟨O(x)O(0)⟩=G2(r),r=∣x∣.G_2(x)=\langle O(x)O(0)\rangle=G_2(r), \qquad r=|x|.

Scale covariance of the vacuum correlator gives

G2(λr)=λ−2ΔOG2(r).G_2(\lambda r)=\lambda^{-2\Delta_O}G_2(r).

The solution is

⟨O(x)O(0)⟩=CO∣x∣2ΔO.\boxed{ \langle O(x)O(0)\rangle={C_O\over |x|^{2\Delta_O}}. }

The normalization constant COC_O changes if we rescale the operator. The exponent ΔO\Delta_O does not.

The dilation below compares two separations on the same ray: doubling the distance multiplies the correlator by 2−2ΔO2^{-2\Delta_O}.

Doubling the separation of scalar insertions multiplies their critical correlator by two to the power minus twice the scaling dimension

For separated scalar insertions in a translation-, rotation- and scale-invariant state, G2(2r)=2−2ΔOG2(r)G_2(2r)=2^{-2\Delta_O}G_2(r). The marked distances have the exact ratio two; the drawing illustrates the homogeneity argument, not measured correlator data.

For the critical Ising spin field,

⟨σ(x)σ(0)⟩∼1∣x∣1/4,\langle \sigma(x)\sigma(0)\rangle\sim {1\over |x|^{1/4}},

hence

2Δσ=14,Δσ=18.2\Delta_\sigma={1\over4}, \qquad \Delta_\sigma={1\over8}.

In the language of critical phenomena one often writes the order-parameter correlator as

⟨σ(x)σ(0)⟩∼1∣x∣d−2+η.\langle \sigma(x)\sigma(0)\rangle\sim {1\over |x|^{d-2+\eta}}.

Comparing the two forms gives

2Δσ=d−2+η.\boxed{ 2\Delta_\sigma=d-2+\eta. }

Thus η\eta is simply another way of measuring the anomalous part of the scaling dimension of the order parameter. For the two-dimensional Ising model,

d=2,Δσ=18,η=14.d=2, \qquad \Delta_\sigma={1\over8}, \qquad \eta={1\over4}.

The critical Ising theory has a small set of basic fields that already explain many of the exact exponents. The spin field and the disorder field have the same scaling dimension,

Δσ=Δμ=18.\Delta_\sigma=\Delta_\mu={1\over8}.

The Majorana fermions are chiral fields with weights

(hψ,hˉψ)=(12,0),(hψˉ,hˉψˉ)=(0,12),(h_\psi,\bar h_\psi)=\left({1\over2},0\right), \qquad (h_{\bar\psi},\bar h_{\bar\psi})=\left(0,{1\over2}\right),

so Δψ=Δψˉ=1/2\Delta_\psi=\Delta_{\bar\psi}=1/2. The energy field is the mass operator,

ϵ(z,zˉ)=iψ(z)ψˉ(zˉ)=−2πu(z,zˉ)v(z,zˉ),\epsilon(z,\bar z)=i\psi(z)\bar\psi(\bar z)=-2\pi u(z,\bar z)v(z,\bar z),

with precisely the field phases and unit normalization fixed in Lesson 11. With

⟨ψ(z)ψ(w)⟩=1z−w,⟨ψˉ(zˉ)ψˉ(wˉ)⟩=1zˉ−wˉ,\langle \psi(z)\psi(w)\rangle={1\over z-w}, \qquad \langle \bar\psi(\bar z)\bar\psi(\bar w)\rangle={1\over \bar z-\bar w},

The factor i2i^2 cancels the fermionic crossing sign, so Wick contraction gives

⟨ϵ(z,zˉ)ϵ(0,0)⟩=1z1zˉ=1∣z∣2.\langle \epsilon(z,\bar z)\epsilon(0,0)\rangle = {1\over z}{1\over \bar z} ={1\over |z|^2}.

Therefore

Δϵ=1.\boxed{\Delta_\epsilon=1.}

The fields used in the exponent calculation are summarized here; the chiral weights obey Δ=h+hˉ\Delta=h+\bar h.

Continuum fieldChiral weights (h,hˉ)(h,\bar h)Scaling dimensionPhysical role
Spin σ\sigma and disorder μ\mu(1/16,1/16)(1/16,1/16)1/81/8Order and disorder observables
Energy ϵ=iψψˉ\epsilon=i\psi\bar\psi(1/2,1/2)(1/2,1/2)11Thermal perturbation
Majorana fields ψ\psi, ψˉ\bar\psi(1/2,0)(1/2,0), (0,1/2)(0,1/2)1/21/2Chiral fermion correlators

The spin field σ\sigma is not a local polynomial in ψ\psi and ψˉ\bar\psi. It is a twist field: continuing a fermion once around a spin insertion changes its sign. This local monodromy is the continuum version of the order–disorder branch-cut construction. The energy field and spin/disorder weights are developed in Di Francesco, Mathieu and Sénéchal 1997, §§12.2.1–12.2.2, pp. 443–445.

For scaling fields OiO_i,

Gn(x1,…,xn)=⟨O1(x1)⋯On(xn)⟩G_n(x_1,\ldots,x_n)=\langle O_1(x_1)\cdots O_n(x_n)\rangle

obeys the homogeneity law

Gn(λx1,…,λxn)=λ−∑iΔiGn(x1,…,xn).G_n(\lambda x_1,\ldots,\lambda x_n) = \lambda^{-\sum_i \Delta_i}G_n(x_1,\ldots,x_n).

This is powerful, but it does not determine all multi-point functions. Translation invariance removes one vector, rotation invariance removes an overall orientation, and scale invariance removes one length. For three or more points there can still be dimensionless shape data.

For example, scale invariance alone permits a three-point function of scalar fields to be written schematically as

⟨O1(x1)O2(x2)O3(x3)⟩=∣x12∣−Δ1−Δ2−Δ3F123(∣x13∣∣x12∣,∣x23∣∣x12∣).\langle O_1(x_1)O_2(x_2)O_3(x_3)\rangle = {|x_{12}|^{-\Delta_1-\Delta_2-\Delta_3}} F_{123}\left({|x_{13}|\over |x_{12}|},{|x_{23}|\over |x_{12}|}\right).

The two ratios determine the triangle’s shape and satisfy its triangle inequalities; its angles are not additional independent variables. Scale invariance fixes the total degree of homogeneity, but it does not fix F123F_{123}.

Full conformal invariance is stronger. For scalar primary operators it fixes the three-point function up to one coefficient:

⟨O1(x1)O2(x2)O3(x3)⟩=C123∣x12∣Δ1+Δ2−Δ3∣x23∣Δ2+Δ3−Δ1∣x31∣Δ3+Δ1−Δ2.\langle O_1(x_1)O_2(x_2)O_3(x_3)\rangle ={C_{123}\over |x_{12}|^{\Delta_1+\Delta_2-\Delta_3} |x_{23}|^{\Delta_2+\Delta_3-\Delta_1} |x_{31}|^{\Delta_3+\Delta_1-\Delta_2}} .

This separated-point formula follows from the connected conformal Ward identities; a derivation appears in Rychkov 2016, §2.2.2, preprint p. 26, PDF. The important distinction is that similarity transformations leave arbitrary triangle-shape dependence, whereas special conformal transformations remove it from scalar three-point functions. For four points, even conformal invariance leaves nontrivial functions of cross ratios. In two-dimensional complex coordinates, write the basic complex cross ratio as ζ\zeta, distinct from the anomalous exponent η\eta:

ζ=z12z34z13z24.\zeta={z_{12}z_{34}\over z_{13}z_{24}}.

In the diagram, compare the two numerator pairs with the two denominator pairs. Their complex ratio is unchanged by a common Möbius transformation.

Solid numerator pairs and dashed denominator pairs combine into the Möbius-invariant complex cross ratio of four points

After the scalar covariance prefactor is removed, the global conformal group leaves dependence on ζ\zeta and ζˉ\bar\zeta. The schematic point configuration distinguishes numerator and denominator pairs; the differences zijz_{ij} are complex numbers, not only the drawn segment lengths.

The remaining function of ζ\zeta and ζˉ\bar\zeta contains dynamical information: operator product coefficients, exchanged scaling fields, and the consistency constraints that later become crossing symmetry. The general four-point prefactor and cross-ratio dependence are given in Rychkov 2016, §2.2.3, preprint p. 27, PDF.

Moving the Ising model away from criticality introduces a relevant perturbation. In continuum notation,

S=S∗+τ∫ddx ϵ(x)+⋯ ,S=S_*+\tau\int d^d x\,\epsilon(x)+\cdots,

where τ\tau is a signed thermal scaling coupling. Its sign depends on the fixed energy-operator convention. Here ϵ=−2πuv\epsilon=-2\pi uv, whereas the Majorana action in Lesson 9 contains −muv-muv. Thus in the two-dimensional Ising scaling limit,

m=2πτ,τ=2(K−Kc)πato leading scaling order.m=2\pi\tau,\qquad \tau={2(K-K_c)\over\pi a} \quad\text{to leading scaling order}.

Consequently τ>0\tau>0 is the ordered side. At fixed exchange J>0J>0, K=J/TK=J/T decreases when temperature increases, so τ\tau has the opposite sign to T−TcT-T_c. This sign convention does not affect the critical exponents.

More generally, the action coefficient τ\tau has length dimension L−ytL^{-y_t} and RG eigenvalue

yt=d−Δϵ.y_t=d-\Delta_\epsilon.

The correlation length is the scale at which the effective dimensionless perturbation becomes order one:

∣τ∣ξyt∼1.|\tau|\xi^{y_t}\sim 1.

Introduce the dimensionless microscopic scaling field τ^=aytτ\hat\tau=a^{y_t}\tau. Then

ξa∝∣τ^∣−ν,ν=1d−Δϵ.\boxed{ {\xi\over a}\propto |\hat\tau|^{-\nu}, \qquad \nu={1\over d-\Delta_\epsilon}. }

For the two-dimensional Ising model,

d=2,Δϵ=1,ν=1.d=2, \qquad \Delta_\epsilon=1, \qquad \nu=1.

The relativistic Majorana excitation gap is nonnegative, while its mass parameter is signed:

Egap=∣m∣,ξψ=1∣m∣.E_{\rm gap}=|m|,\qquad \xi_\psi={1\over |m|}.

Here the continuum velocity is one and ξψ\xi_\psi is the fermion’s exponential decay length. For a different operator OO, the exponential length ξO\xi_O is set by the lightest state with nonzero overlap with OO. For example, Wick contraction of the free massive energy bilinear gives a correlator proportional to

m2[K1(∣m∣r)2−K0(∣m∣r)2],m^2\bigl[K_1(|m|r)^2-K_0(|m|r)^2\bigr],

where KνK_\nu is a modified Bessel function. Each massive propagator comes from the scalar K0K_0 kernel and its derivative, so the bilinear has a two-particle threshold and decays as e−2∣m∣re^{-2|m|r} times a power: ξϵ=1/(2∣m∣)\xi_\epsilon=1/(2|m|). The Gaussian kernel and fermionic contraction are explained in Di Francesco, Mathieu and Sénéchal 1997, §§2.3.4–2.3.5, pp. 34–36. These channel-dependent amplitudes leave ν=1\nu=1 unchanged. In scaling estimates below, ξ\xi denotes a characteristic length proportional to ∣m∣−1|m|^{-1}; it is not asserted to equal every ξO\xi_O.

The singular specific heat is controlled by energy fluctuations. For f=−V−1log⁡Zf=-V^{-1}\log Z and the linear thermal source above, −∂τ2f-\partial_\tau^2 f is the integrated connected energy correlator. Converting to physical temperature supplies nonuniversal factors and regular background terms; its leading singular part is therefore

Csing∼∫ddx ⟨ϵ(x)ϵ(0)⟩c.C_{\rm sing} \sim \int d^d x\,\langle \epsilon(x)\epsilon(0)\rangle_c.

The connected correlator is used because the identity contribution has been subtracted. Near the fixed point,

⟨ϵ(x)ϵ(0)⟩c∼1∣x∣2Δϵ(a≪∣x∣≪ξ).\langle \epsilon(x)\epsilon(0)\rangle_c\sim {1\over |x|^{2\Delta_\epsilon}} \qquad (a\ll |x|\ll \xi).

Thus

Csing∼∫aξdr rd−1−2Δϵ.C_{\rm sing} \sim \int_a^\xi dr\,r^{d-1-2\Delta_\epsilon}.

The annulus below shows the range that generates the two-dimensional logarithm. Inspect how every equal interval of log⁡r\log r contributes equally.

In two dimensions, integrating the inverse-square energy correlator over the annulus from a to xi gives equal contributions per logarithmic radial interval

For d=2d=2 and Δϵ=1\Delta_\epsilon=1, the scaling-window estimate is 2πCϵ∫aξdr/r=2πCϵlog⁡(ξ/a)2\pi C_\epsilon\int_a^\xi dr/r=2\pi C_\epsilon\log(\xi/a). The unit-normalized field has Cϵ=1C_\epsilon=1. The sharp annulus approximates the microscopic and massive crossovers; its radii are schematic, and the exact heat-capacity background is not determined by this estimate.

Writing p=d−2Δϵp=d-2\Delta_\epsilon, the regulated radial integral gives

∫aξdr rp−1∼{ξp/p,p>0,log⁡(ξ/a),p=0,CUV−ξp/∣p∣,p<0.\int_a^\xi dr\,r^{p-1} \sim \begin{cases} \xi^p/p, & p>0,\\ \log(\xi/a), & p=0,\\ C_{\rm UV}-\xi^p/|p|, & p<0. \end{cases}

For p<0p<0, the constant CUVC_{\rm UV} belongs to the cutoff-dependent analytic background. The remaining ξp\xi^p term can give a finite nonanalytic correction, such as a cusp or a singularity in a higher derivative. This is not guaranteed by the exponent alone: an even integer power with matching phase amplitudes can be analytic, and a singular amplitude can vanish. Thus UV dominance permits, but does not prove, a residual nonanalyticity.

For the two-dimensional Ising model,

d=2,Δϵ=1,d=2, \qquad \Delta_\epsilon=1,

so the energy integral is logarithmic:

Csing∼log⁡ξa∼−log⁡∣τ^∣.\boxed{ C_{\rm sing}\sim \log {\xi\over a}\sim -\log |\hat\tau|. }

This is why the specific-heat exponent is quoted as α=0\alpha=0 but the singularity is still present.

The same conclusion is consistent with hyperscaling, provided the fixed point is below its upper critical dimension and no dangerously irrelevant coupling changes the free-energy scaling. At the level of leading powers, one correlation volume contributes an order-one free energy:

adfsing∼(a/ξ)d∼∣τ^∣dν,up to logarithms.a^d f_{\rm sing}\sim (a/\xi)^d\sim |\hat\tau|^{d\nu}, \qquad\text{up to logarithms}.

Logarithms cannot be discarded when differentiating at α=0\alpha=0. For one two-dimensional Majorana field, the Pfaffian supplies the factor one-half. With a circular momentum cutoff Λ\Lambda and a mass-independent measure, radial integration gives

f(m)−f(0)=−12∫∣k∣<Λd2k(2π)2log⁡(1+m2k2),fsing(m)=m24πlog⁡∣m∣Λ(∣m∣≪Λ),\begin{aligned} f(m)-f(0) &=-{1\over2}\int_{|k|<\Lambda}{d^2k\over(2\pi)^2} \log\left(1+{m^2\over k^2}\right),\\ f_{\rm sing}(m) &={m^2\over4\pi}\log{|m|\over\Lambda} \quad (|m|\ll\Lambda), \end{aligned}

up to terms analytic in m2m^2. The negative second thermal derivative has precisely the logarithmic divergence above. If the leading heat-capacity power is Csing∼∣τ^∣−αC_{\rm sing}\sim |\hat\tau|^{-\alpha}, then

α=2−dν.\boxed{\alpha=2-d\nu.}

For two-dimensional Ising, d=2d=2 and ν=1\nu=1, so α=0\alpha=0. The exponent relation alone does not determine the logarithm. The critical-exponents and hyperscaling page develops the underlying RG assumptions and their failure cases.

At the fixed point, a two-point function is a pure power. Away from criticality, the correlation length can appear. Work in a clustering infinite-volume phase. On the ordered side this means selecting a pure phase, for example by taking the thermodynamic limit before h→0+h\to0^+ or h→0−h\to0^-. If OO has a nonzero one-point function, its massive scaling law applies to the connected correlator:

⟨O(r)O(0)⟩τ,c=1r2ΔOΦO,c(rξ).\boxed{ \langle O(r)O(0)\rangle_{\tau,c} ={1\over r^{2\Delta_O}} \Phi_{O,c}\left({r\over \xi}\right). }

For r≪ξr\ll \xi, the scaling function tends to a constant and the critical power law is recovered. For r≫ξr\gg \xi, the connected correlator in a massive phase decays exponentially, up to powers of r/ξr/\xi. When ⟨O⟩=0\langle O\rangle=0, the full and connected correlators coincide.

The following illustration separates the curvature of a critical power law from an exponential tail on the same axes. It uses declared elementary functions to show the distinction.

On logarithmic-correlator versus distance axes, the critical power law is curved and an illustrative exponential factor increasingly lowers the massive curve

Quantitative illustration on dimensionless axes: R=r/r0R=r/r_0, ξ/r0=12\xi/r_0=12, and C~=r01/4C\widetilde C=r_0^{1/4}C. The curves are log⁡C~crit=−14log⁡R\log\widetilde C_{\rm crit}=-\tfrac14\log R and log⁡C~ill=−14log⁡R−R/12\log\widetilde C_{\rm ill}=-\tfrac14\log R-R/12, for 1≤R≤601\le R\le60. Here r0r_0 is a reference length in the scaling regime. The illustrative curve demonstrates an exponential tail; it is not the exact Ising correlator or scaling function for either phase.

For the Ising spin field, it is also useful to retain the full correlator:

⟨σ(r)σ(0)⟩τ=1r1/4Φord/dis(rξ),\langle \sigma(r)\sigma(0)\rangle_\tau ={1\over r^{1/4}} \Phi_{\rm ord/dis}\left({r\over \xi}\right),

where Φord\Phi_{\rm ord} denotes τ>0\tau>0 and Φdis\Phi_{\rm dis} denotes τ<0\tau<0 in the present convention. In the disordered phase Φdis\Phi_{\rm dis} decays exponentially. In a selected ordered phase, cluster decomposition requires the full spin correlator to approach M2M^2; equivalently Φord(s)∼Bords2Δσ\Phi_{\rm ord}(s)\sim B_{\rm ord}s^{2\Delta_\sigma} as s→∞s\to\infty. The scaling form then implies

aΔσ∣M∣∝(a/ξ)Δσ∝∣τ^∣νΔσ.a^{\Delta_\sigma}|M|\propto (a/\xi)^{\Delta_\sigma} \propto |\hat\tau|^{\nu\Delta_\sigma}.

Therefore the magnetization exponent is

βmag=νΔσ.\boxed{\beta_{\rm mag}=\nu\Delta_\sigma.}

The subscript keeps this exponent distinct from the inverse temperature often denoted by β\beta.

The two relevant Ising perturbations are the thermal field and the magnetic field:

S=S∗+τ∫ddx ϵ(x)−h∫ddx σ(x)+⋯ .S=S_*+\tau\int d^d x\,\epsilon(x)-h\int d^d x\,\sigma(x)+\cdots.

Their RG eigenvalues are

yt=d−Δϵ,yh=d−Δσ.y_t=d-\Delta_\epsilon, \qquad y_h=d-\Delta_\sigma.

For the displayed magnetic source sign, M=⟨σ⟩=−∂hfM=\langle\sigma\rangle=-\partial_h f and χ=∂hM=−∂h2f≥0\chi=\partial_hM=-\partial_h^2f\ge0. First, the zero-field susceptibility within a clustering phase is the integrated connected spin correlator. If d−2Δσ>0d-2\Delta_\sigma>0, its long-distance contribution dominates:

χ∼∫ξddx ⟨σ(x)σ(0)⟩c∼ξd−2Δσ,\chi\sim \int^{\xi}d^d x\, \langle\sigma(x)\sigma(0)\rangle_c \sim \xi^{d-2\Delta_\sigma},

which gives γ=ν(d−2Δσ)\gamma=\nu(d-2\Delta_\sigma). Second, define h^=ayhh\hat h=a^{y_h}h and f^=adf\hat f=a^d f. The leading homogeneous scaling part obeys

f^sing(τ^,h^)=b−df^sing(τ^byt,h^byh).\hat f_{\rm sing}(\hat\tau,\hat h) =b^{-d}\hat f_{\rm sing}(\hat\tau b^{y_t},\hat h b^{y_h}).

At a thermal logarithmic resonance this relation may contain an additive analytic term; the τ^2log⁡∣τ^∣\hat\tau^2\log|\hat\tau| example above has that property. Along the critical isotherm τ^=0\hat\tau=0 that thermal term vanishes. Choosing b=∣h^∣−1/yhb=|\hat h|^{-1/y_h} and differentiating with respect to the magnetic field gives

aΔσ∣M∣∝∣h^∣(d−yh)/yh.a^{\Delta_\sigma}|M|\propto |\hat h|^{(d-y_h)/y_h}.

Hence δ=yh/(d−yh)=(d−Δσ)/Δσ\delta=y_h/(d-y_h)=(d-\Delta_\sigma)/\Delta_\sigma. The sign of MM follows the sign of the physical field hh.

Assuming hyperscaling and no dangerously irrelevant variable, the standard exponents are

ν=1d−Δϵ,\nu={1\over d-\Delta_\epsilon}, η=2Δσ−d+2,\eta=2\Delta_\sigma-d+2, α=2−dν,\alpha=2-d\nu, βmag=νΔσ,\beta_{\rm mag}=\nu\Delta_\sigma, γ=ν(d−2Δσ),\gamma=\nu(d-2\Delta_\sigma),

and

δ=d−ΔσΔσ.\delta={d-\Delta_\sigma\over \Delta_\sigma}.

For the two-dimensional Ising dimensions,

d=2,Δσ=18,Δϵ=1,d=2, \qquad \Delta_\sigma={1\over8}, \qquad \Delta_\epsilon=1,

we obtain

ν=1,η=14,α=0 with a logarithm,βmag=18,γ=74,δ=15.\boxed{ \nu=1, \qquad \eta={1\over4}, \qquad \alpha=0\text{ with a logarithm}, \qquad \beta_{\rm mag}={1\over8}, \qquad \gamma={7\over4}, \qquad \delta=15. }

This is the operator-dimension dictionary in action. The thermodynamic exponents are not independent mysteries; they are consequences of the scaling dimensions of the relevant operators.

At a critical point, long-distance observables organize into scaling fields. Their two-point functions obey

⟨O(x)O(0)⟩∼∣x∣−2ΔO.\langle O(x)O(0)\rangle\sim |x|^{-2\Delta_O}.

For the two-dimensional Ising fixed point,

Δσ=Δμ=18,Δϵ=1,Δψ=12.\Delta_\sigma=\Delta_\mu={1\over8}, \qquad \Delta_\epsilon=1, \qquad \Delta_\psi={1\over2}.

The energy dimension gives the correlation-length exponent and controls the specific-heat singularity. The spin dimension gives the anomalous exponent and critical isotherm; together with the thermal exponent, it also gives the magnetization and susceptibility exponents. Multi-point functions are homogeneous, but their remaining dependence on dimensionless shapes is where the operator algebra begins to appear. The next pages sharpen this by deriving conformal symmetry and then the OPE.

Scaling dimensions need not be engineering dimensions. They coincide at a suitable Gaussian fixed point, but interactions generally add anomalous dimensions and shift the powers in correlation functions.

Distinguish exponent names from scaling couplings. The exponent βmag\beta_{\rm mag} is not inverse temperature. Here τ\tau is the signed, dimensionful thermal coupling and τ^\hat\tau its dimensionless counterpart; positive τ\tau is ordered because of the chosen energy-field phase.

The value α=0\alpha=0 does not specify the singularity by itself. In the two-dimensional Ising model the specific heat is logarithmic because the energy–energy integral is marginal.

Scale invariance fixes homogeneity, not all shape dependence. Conformal invariance is the stronger statement that fixes scalar three-point functions and reduces four-point functions to functions of conformal cross ratios.

Select a clustering phase before using massive connected decay. In a pure ordered phase, ⟨σ(r)σ(0)⟩→M2\langle\sigma(r)\sigma(0)\rangle\to M^2 and the connected correlator decays. In the symmetric mixture of the two ordered phases, ⟨σ⟩=0\langle\sigma\rangle=0 but the pair limit remains M2M^2; subtracting that mixture’s one-point function does not remove the long-range term.

Let OO be a scalar scaling field of dimension Δ\Delta in a translation- and rotation-invariant critical theory. Show that

⟨O(x)O(0)⟩=C∣x∣2Δ.\langle O(x)O(0)\rangle={C\over |x|^{2\Delta}}.
Solution

Let F(r)=⟨O(x)O(0)⟩F(r)=\langle O(x)O(0)\rangle, where r=∣x∣r=|x|. Scale covariance gives

F(λr)=λ−2ΔF(r).F(\lambda r)=\lambda^{-2\Delta}F(r).

Set r=1r=1 and choose λ=r\lambda=r. Then

F(r)=F(λ⋅1)=λ−2ΔF(1)=Cr−2Δ.F(r)=F(\lambda\cdot 1)=\lambda^{-2\Delta}F(1)=C r^{-2\Delta}.

Thus

F(r)=Cr2Δ.F(r)={C\over r^{2\Delta}}.

Exercise 2: Energy fluctuations and specific heat

Section titled “Exercise 2: Energy fluctuations and specific heat”

Use the energy correlator

⟨ϵ(x)ϵ(0)⟩c∼∣x∣−2Δϵ\langle \epsilon(x)\epsilon(0)\rangle_c\sim {|x|}^{-2\Delta_\epsilon}

to determine the singular scaling of

Csing∼∫aξdr rd−1−2Δϵ.C_{\rm sing}\sim \int_a^\xi dr\,r^{d-1-2\Delta_\epsilon}.

Apply the result to the two-dimensional Ising model.

Solution

If d−2Δϵ≠0d-2\Delta_\epsilon\ne0, then

∫aξdr rd−1−2Δϵ=ξd−2Δϵ−ad−2Δϵd−2Δϵ.\int_a^\xi dr\,r^{d-1-2\Delta_\epsilon} ={\xi^{d-2\Delta_\epsilon}-a^{d-2\Delta_\epsilon}\over d-2\Delta_\epsilon}.

For d>2Δϵd>2\Delta_\epsilon, the ξ\xi term dominates. For d<2Δϵd<2\Delta_\epsilon, the first term vanishes as ξ→∞\xi\to\infty while the cutoff term contributes to the analytic background. The remaining power ξd−2Δϵ\xi^{d-2\Delta_\epsilon} can produce a finite cusp or a singularity in a higher derivative, but need not be nonanalytic: its exponent and phase amplitudes must be checked. For d=2Δϵd=2\Delta_\epsilon,

∫aξdrr=log⁡(ξ/a).\int_a^\xi {dr\over r}=\log(\xi/a).

In the two-dimensional Ising model, d=2d=2 and Δϵ=1\Delta_\epsilon=1, so

Csing∼log⁡(ξ/a)∼−log⁡∣τ^∣.C_{\rm sing}\sim \log(\xi/a)\sim -\log |\hat\tau|.

Exercise 3: The two-dimensional Ising exponent dictionary

Section titled “Exercise 3: The two-dimensional Ising exponent dictionary”

Using d=2d=2, Δσ=1/8\Delta_\sigma=1/8, and Δϵ=1\Delta_\epsilon=1, compute ν\nu, η\eta, α\alpha, βmag\beta_{\rm mag}, γ\gamma, and δ\delta.

Solution

The correlation-length exponent is

ν=1d−Δϵ=12−1=1.\nu={1\over d-\Delta_\epsilon}={1\over2-1}=1.

The anomalous-dimension exponent is

η=2Δσ−d+2=14.\eta=2\Delta_\sigma-d+2={1\over4}.

The specific-heat exponent is

α=2−dν=2−2=0,\alpha=2-d\nu=2-2=0,

with a logarithmic singularity. The magnetization exponent is

βmag=νΔσ=18.\beta_{\rm mag}=\nu\Delta_\sigma={1\over8}.

The susceptibility exponent is

γ=ν(d−2Δσ)=2−14=74.\gamma=\nu(d-2\Delta_\sigma)=2-{1\over4}={7\over4}.

Finally,

δ=d−ΔσΔσ=2−1/81/8=15.\delta={d-\Delta_\sigma\over \Delta_\sigma} ={2-1/8\over 1/8}=15.

Exercise 4: Energy dimension from Majorana fields

Section titled “Exercise 4: Energy dimension from Majorana fields”

Assume

⟨ψ(z)ψ(0)⟩=1z,⟨ψˉ(zˉ)ψˉ(0)⟩=1zˉ.\langle \psi(z)\psi(0)\rangle={1\over z}, \qquad \langle \bar\psi(\bar z)\bar\psi(0)\rangle={1\over \bar z}.

If ϵ∼iψψˉ\epsilon\sim i\psi\bar\psi, show that Δϵ=1\Delta_\epsilon=1.

Solution

Wick contraction gives

⟨ϵ(z,zˉ)ϵ(0,0)⟩∝⟨ψ(z)ψ(0)⟩⟨ψˉ(zˉ)ψˉ(0)⟩=1zzˉ=1∣z∣2.\langle \epsilon(z,\bar z)\epsilon(0,0)\rangle \propto \langle \psi(z)\psi(0)\rangle \langle \bar\psi(\bar z)\bar\psi(0)\rangle ={1\over z\bar z} ={1\over |z|^2}.

A scalar operator with dimension Δ\Delta has two-point function ∣z∣−2Δ|z|^{-2\Delta}. Therefore 2Δϵ=22\Delta_\epsilon=2, and

Δϵ=1.\Delta_\epsilon=1.
  • P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory. Graduate Texts in Contemporary Physics, Springer, New York (1997). DOI: 10.1007/978-1-4612-2256-9.
  • S. Rychkov, EPFL Lectures on Conformal Field Theory in D ≥ 3 Dimensions (2016), arXiv:1601.05000v2. Stable preprint; Open PDF. Page locators above refer to this preprint version.
  • J. Cardy, Scaling and Renormalization in Statistical Physics. Cambridge Lecture Notes in Physics 5, Cambridge University Press (1996). DOI: 10.1017/CBO9781316036440. A compact route from scaling hypotheses to critical exponents.
  • B. M. McCoy and T. T. Wu, The Two-Dimensional Ising Model. Harvard University Press, Cambridge, MA (1973). DOI: 10.4159/harvard.9780674180758. The exact lattice solution and correlation-function results.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.