Skip to content

Cylinder and Finite-Size Scaling

Why the cylinder is not just a change of coordinates

Section titled “Why the cylinder is not just a change of coordinates”

The cylinder is one of the most important backgrounds in CFT. On the plane, local operators are inserted at points. On the cylinder, the same operators become states, and their scaling dimensions become energy levels. This is the cleanest way to see why a CFT spectrum is physical data rather than a bookkeeping device.

For AdS/CFT, the cylinder is unavoidable. The conformal boundary of global AdSd+1_{d+1} is

Sd1×Rt.S^{d-1}\times \mathbb R_t .

Thus a CFT placed on Sd1×RS^{d-1}\times\mathbb R is not an optional finite-volume version of the theory; it is the Hamiltonian frame naturally used by global AdS. The dictionary

ΔOEglobal AdS\Delta_{\mathcal O} \quad\longleftrightarrow\quad E_{\rm global\ AdS}

is really the statement that radial quantization turns dilatations on flat space into time translations on the cylinder.

The goal of this page is to make this statement precise, first in any dimension and then in the especially powerful two-dimensional case.


The plane-cylinder Weyl map in any dimension

Section titled “The plane-cylinder Weyl map in any dimension”

Start with Euclidean flat space in polar coordinates,

dsRd2=dr2+r2dΩd12.ds^2_{\mathbb R^d}=dr^2+r^2d\Omega_{d-1}^2.

Introduce the logarithmic radial coordinate

r=Reτ/R,τ=RlogrR.r=R e^{\tau/R}, \qquad \tau=R\log\frac rR.

Then

dsRd2=e2τ/R(dτ2+R2dΩd12).ds^2_{\mathbb R^d} =e^{2\tau/R}\left(d\tau^2+R^2d\Omega_{d-1}^2\right).

So punctured flat space is Weyl-equivalent to the cylinder

Rd{0}SRd1×Rτ,\mathbb R^d\setminus\{0\} \simeq S^{d-1}_R\times\mathbb R_\tau,

up to the Weyl factor e2τ/Re^{2\tau/R}. A CFT is designed precisely to survive such Weyl transformations, modulo anomalies that will be discussed later.

The dilatation operator DD on flat space becomes the cylinder Hamiltonian. If RR is the radius of the spatial sphere, then a scalar primary operator O\mathcal O of dimension Δ\Delta creates a cylinder state whose excitation energy is

EOE0=ΔR.E_{\mathcal O}-E_0=\frac{\Delta}{R}.

In two dimensions, the spatial cylinder is usually written with circumference L=2πRL=2\pi R, so this becomes

EOE0=2πLΔO.E_{\mathcal O}-E_0=\frac{2\pi}{L}\Delta_{\mathcal O}.

This is the simplest quantitative form of the state-operator correspondence.

The exponential map from the plane to the Euclidean cylinder.

The exponential map z=e2πw/Lz=e^{2\pi w/L} turns radial evolution on the plane into Euclidean time evolution on the cylinder w=τ+iσw=\tau+i\sigma, with σσ+L\sigma\sim\sigma+L. In two dimensions, primary dimensions become cylinder excitation energies via EOE0=2πΔO/LE_{\mathcal O}-E_0=2\pi\Delta_{\mathcal O}/L, while the vacuum carries the universal Casimir energy E0=πc/(6L)E_0=-\pi c/(6L).


The Weyl factor in the metric tells us how to relate local operators on the plane and on the cylinder. For a scalar primary of dimension Δ\Delta, a convenient convention is

Ocyl(τ,n)=eΔτ/RORd ⁣(Reτ/Rn),nSd1.\mathcal O_{\rm cyl}(\tau,n) = e^{\Delta\tau/R}\, \mathcal O_{\mathbb R^d}\!\left(R e^{\tau/R}n\right), \qquad n\in S^{d-1}.

This is not an arbitrary normalization. It is exactly the factor needed to remove the local Weyl rescaling of distances. In even dimensions, the Weyl anomaly affects the partition function and stress-tensor expectation values on curved backgrounds, but separated primary correlators transform by the local Weyl factors. Contact terms require more care; ordinary separated-point correlators do not.

The cylinder state associated with a local operator is

O=ORd(0)0.|\mathcal O\rangle=\mathcal O_{\mathbb R^d}(0)|0\rangle .

Because the cylinder Hamiltonian is Hcyl=D/RH_{\rm cyl}=D/R, and because

DO=ΔOO,D|\mathcal O\rangle=\Delta_{\mathcal O}|\mathcal O\rangle,

we get

HcylO=ΔORO.H_{\rm cyl}|\mathcal O\rangle = \frac{\Delta_{\mathcal O}}{R}|\mathcal O\rangle.

Descendants are obtained by acting with translations PμP_\mu. Since

[D,Pμ]=Pμ,[D,P_\mu]=P_\mu,

a descendant at level NN has excitation energy

EO,NE0=ΔO+NR.E_{\mathcal O,N}-E_0 = \frac{\Delta_{\mathcal O}+N}{R}.

The descendants are not merely extra states. They are the Hamiltonian tower that sits above a primary on the cylinder. In AdS language, they are the global-mode excitations of the same bulk representation.


Cylinder two-point functions in any dimension

Section titled “Cylinder two-point functions in any dimension”

Let a scalar primary have flat-space two-point function

O(x1)O(x2)Rd=COx122Δ.\langle \mathcal O(x_1)\mathcal O(x_2)\rangle_{\mathbb R^d} = \frac{C_{\mathcal O}}{|x_{12}|^{2\Delta}}.

Set

xi=Reτi/Rni,ni2=1.x_i=R e^{\tau_i/R}n_i, \qquad n_i^2=1.

Then

x122=2R2e(τ1+τ2)/R(coshτ12Rn1n2),|x_{12}|^2 = 2R^2e^{(\tau_1+\tau_2)/R} \left( \cosh\frac{\tau_{12}}{R}-n_1\cdot n_2 \right),

where τ12=τ1τ2\tau_{12}=\tau_1-\tau_2. Multiplying by the Weyl factors from the two cylinder operators gives

O(τ1,n1)O(τ2,n2)cyl=CO[2R2(coshτ12Rn1n2)]Δ.\boxed{ \langle \mathcal O(\tau_1,n_1)\mathcal O(\tau_2,n_2)\rangle_{\rm cyl} = \frac{C_{\mathcal O}}{ \left[ 2R^2\left(\cosh\frac{\tau_{12}}{R}-n_1\cdot n_2\right) \right]^\Delta }. }

For large Euclidean time separation,

τ12R,|\tau_{12}|\gg R,

the correlator decays as

O(τ1,n1)O(τ2,n2)cylexp(ΔRτ12).\langle \mathcal O(\tau_1,n_1)\mathcal O(\tau_2,n_2)\rangle_{\rm cyl} \sim \exp\left(-\frac{\Delta}{R}|\tau_{12}|\right).

This is the spectral decomposition in disguise. The power law on Rd\mathbb R^d has become exponential decay on the cylinder because the cylinder has a Hamiltonian with discrete energy levels.

This is one of the most useful mental translations in CFT:

power law on the planeenergy gap on the cylinder.\text{power law on the plane} \quad\Longleftrightarrow\quad \text{energy gap on the cylinder}.

The word “gap” here must be understood carefully. The gap is a finite-size gap caused by compactifying space to Sd1S^{d-1}. It vanishes as RR\to\infty. It is not a flat-space mass gap.


Finite-size scaling is most powerful when the CFT is slightly deformed. Suppose the fixed point is perturbed by a relevant scalar operator,

S=SCFT+g~ddxOg(x),Δg<d.S=S_{\rm CFT}+\tilde g\int d^d x\, \mathcal O_g(x), \qquad \Delta_g<d.

The coupling has mass dimension

[g~]=dΔg.[\tilde g]=d-\Delta_g.

On a sphere of radius RR, the only dimensionless coupling that can appear in universal quantities is therefore

gR=g~RdΔg.g_R=\tilde g R^{d-\Delta_g}.

This implies the scaling form

En(R,g~)E0(R,g~)=1RFn(gR),E_n(R,\tilde g)-E_0(R,\tilde g) = \frac{1}{R}\,F_n(g_R),

where FnF_n is universal once the operator normalization and the coupling convention are fixed. At the conformal point,

Fn(0)=Δn.F_n(0)=\Delta_n.

In infinite volume, the same deformation generates a correlation length

ξg~1/(dΔg).\xi\sim |\tilde g|^{-1/(d-\Delta_g)}.

Thus finite-size scaling can be phrased in either of two equivalent ways:

gR=g~RdΔgRξ.g_R=\tilde g R^{d-\Delta_g} \qquad\Longleftrightarrow\qquad \frac{R}{\xi}.

The CFT regime is RξR\ll \xi, the massive or gapped regime is RξR\gg \xi, and the crossover between them is encoded by universal scaling functions. This is the continuum version of the finite-size scaling window used in numerical studies of critical systems.


In two-dimensional Euclidean CFT, use complex plane coordinate zz and cylinder coordinate

w=τ+iσ,wˉ=τiσ,σσ+L.w=\tau+i\sigma, \qquad \bar w=\tau-i\sigma, \qquad \sigma\sim\sigma+L.

The exponential map is

z=e2πw/L,zˉ=e2πwˉ/L.z=e^{2\pi w/L}, \qquad \bar z=e^{2\pi \bar w/L}.

The real part of ww is logarithmic radial time; the imaginary part of ww is the angular coordinate. Circles around the origin in the zz-plane become constant-τ\tau spatial circles on the cylinder.

A primary operator of weights (h,hˉ)(h,\bar h) transforms as

Ocyl(w,wˉ)=(dzdw)h(dzˉdwˉ)hˉOplane(z,zˉ).\mathcal O_{\rm cyl}(w,\bar w) = \left(\frac{dz}{dw}\right)^h \left(\frac{d\bar z}{d\bar w}\right)^{\bar h} \mathcal O_{\rm plane}(z,\bar z).

Since

dzdw=2πLz,dzˉdwˉ=2πLzˉ,\frac{dz}{dw}=\frac{2\pi}{L}z, \qquad \frac{d\bar z}{d\bar w}=\frac{2\pi}{L}\bar z,

we have

Ocyl(w,wˉ)=(2πL)h+hˉzhzˉhˉOplane(z,zˉ).\mathcal O_{\rm cyl}(w,\bar w) = \left(\frac{2\pi}{L}\right)^{h+\bar h} z^h\bar z^{\bar h}\mathcal O_{\rm plane}(z,\bar z).

This formula is worth absorbing. It says that the same local operator has different coordinate representatives on the plane and on the cylinder, because the Weyl factor rescales local lengths.


On the plane, normalize a primary by

O(z1,zˉ1)O(z2,zˉ2)C=1z122hzˉ122hˉ.\langle \mathcal O(z_1,\bar z_1)\mathcal O(z_2,\bar z_2)\rangle_{\mathbb C} = \frac{1}{z_{12}^{2h}\bar z_{12}^{2\bar h}}.

Using z=e2πw/Lz=e^{2\pi w/L}, one obtains the cylinder correlator

O(w1,wˉ1)O(w2,wˉ2)cyl=[π/Lsinh(πw12L)]2h[π/Lsinh(πwˉ12L)]2hˉ\boxed{ \langle \mathcal O(w_1,\bar w_1)\mathcal O(w_2,\bar w_2)\rangle_{\rm cyl} = \left[\frac{\pi/L}{\sinh\left(\frac{\pi w_{12}}{L}\right)}\right]^{2h} \left[\frac{\pi/L}{\sinh\left(\frac{\pi \bar w_{12}}{L}\right)}\right]^{2\bar h} }

where

w12=w1w2,wˉ12=wˉ1wˉ2.w_{12}=w_1-w_2, \qquad \bar w_{12}=\bar w_1-\bar w_2.

For equal Euclidean time, τ1=τ2\tau_1=\tau_2, and for a scalar operator with h=hˉ=Δ/2h=\bar h=\Delta/2, this becomes

O(0,σ)O(0,0)cyl=[π/Lsin(πσ/L)]2Δ.\langle \mathcal O(0,\sigma)\mathcal O(0,0)\rangle_{\rm cyl} = \left[\frac{\pi/L}{\left|\sin(\pi\sigma/L)\right|}\right]^{2\Delta}.

The power law on the plane has turned into a periodic power law on the circle. At separations much smaller than LL, this reduces to the flat-space answer,

[π/Lsin(πσ/L)]2Δ1σ2ΔσL.\left[\frac{\pi/L}{\sin(\pi\sigma/L)}\right]^{2\Delta} \sim \frac{1}{|\sigma|^{2\Delta}} \qquad |\sigma|\ll L.

At large Euclidean time separation, take τ12L\tau_{12}\gg L with fixed σ12\sigma_{12}. Then

O(τ,σ)O(0,0)cylexp(2πΔLτ).\langle \mathcal O(\tau,\sigma)\mathcal O(0,0)\rangle_{\rm cyl} \sim \exp\left(-\frac{2\pi\Delta}{L}\tau\right).

The exponential decay directly reads off the excitation energy

EOE0=2πΔL.E_{\mathcal O}-E_0=\frac{2\pi\Delta}{L}.

So the cylinder correlator is not merely a useful formula; it is the bridge between local CFT data and Hamiltonian spectroscopy.


Stress tensor, Schwarzian derivative, and Casimir energy

Section titled “Stress tensor, Schwarzian derivative, and Casimir energy”

The stress tensor is not an ordinary primary field. In two dimensions, under a holomorphic coordinate transformation z=z(w)z=z(w), it transforms as

Tcyl(w)=(dzdw)2Tplane(z)+c12{z,w},T_{\rm cyl}(w) = \left(\frac{dz}{dw}\right)^2T_{\rm plane}(z) + \frac{c}{12}\{z,w\},

where the Schwarzian derivative is

{z,w}=z(w)z(w)32(z(w)z(w))2.\{z,w\} = \frac{z'''(w)}{z'(w)} - \frac32\left(\frac{z''(w)}{z'(w)}\right)^2.

For

z=eaw,a=2πL,z=e^{aw}, \qquad a=\frac{2\pi}{L},

we have

zz=a2,zz=a,{z,w}=12a2.\frac{z'''}{z'}=a^2, \qquad \frac{z''}{z'}=a, \qquad \{z,w\}=-\frac12a^2.

Therefore

Tcyl(w)=(2πL)2(z2Tplane(z)c24).T_{\rm cyl}(w) = \left(\frac{2\pi}{L}\right)^2 \left(z^2T_{\rm plane}(z)-\frac{c}{24}\right).

Since the plane vacuum has Tplane=0\langle T_{\rm plane}\rangle=0, the cylinder vacuum has a nonzero stress-tensor expectation value,

Tcyl=c24(2πL)2,Tˉcyl=c24(2πL)2.\langle T_{\rm cyl}\rangle = -\frac{c}{24}\left(\frac{2\pi}{L}\right)^2, \qquad \langle \bar T_{\rm cyl}\rangle = -\frac{c}{24}\left(\frac{2\pi}{L}\right)^2.

In Virasoro language, the cylinder Hamiltonian and momentum are

Hcyl=2πL(L0+Lˉ0c12),H_{\rm cyl} = \frac{2\pi}{L}\left(L_0+\bar L_0-\frac{c}{12}\right), Pcyl=2πL(L0Lˉ0).P_{\rm cyl} = \frac{2\pi}{L}\left(L_0-\bar L_0\right).

Thus a state associated with a primary of weights (h,hˉ)(h,\bar h) and descendant levels (N,Nˉ)(N,\bar N) has

Eh,hˉ;N,Nˉ=2πL(h+hˉ+N+Nˉc12),E_{h,\bar h;N,\bar N} = \frac{2\pi}{L} \left( h+\bar h+N+\bar N-\frac{c}{12} \right), Ph,hˉ;N,Nˉ=2πL(hhˉ+NNˉ).P_{h,\bar h;N,\bar N} = \frac{2\pi}{L} \left( h-\bar h+N-\bar N \right).

The vacuum energy is

E0=πc6L\boxed{ E_0=-\frac{\pi c}{6L} }

for a unitary CFT on a spatial circle of circumference LL in relativistic units. This is the universal Casimir energy.

The word “universal” needs one caution. In a lattice model, the total ground-state energy also contains a nonuniversal extensive contribution,

E0lattice(L)=ϵLπcv6L+o(L1),E_0^{\rm lattice}(L) = \epsilon_\infty L -\frac{\pi c v}{6L} +o(L^{-1}),

where vv is the emergent low-energy velocity. The coefficient of 1/L1/L is universal; the bulk energy density ϵ\epsilon_\infty is not.


At a critical point, the infinite system has no intrinsic length scale. If the system is placed in a finite spatial box of size LL, then LL becomes the only infrared scale. This is the logic of finite-size scaling.

Suppose a quantity QQ has scaling dimension qq. Near a CFT fixed point deformed by couplings gig_i to operators of dimensions Δi\Delta_i, define the RG exponents

yi=dΔi.y_i=d-\Delta_i.

Then finite-size scaling says

Q(L,{gi})=LqΦQ(g1Ly1,g2Ly2,),Q(L,\{g_i\}) = L^{-q}\Phi_Q\left(g_1L^{y_1},g_2L^{y_2},\ldots\right),

up to corrections from irrelevant operators. At the fixed point, all gi=0g_i=0, so

Q(L)Lq.Q(L)\propto L^{-q}.

For energy levels in a relativistic CFT,

En(L)E0(L)1L.E_n(L)-E_0(L)\propto \frac1L.

The proportionality constants are not arbitrary: in two dimensions, they are the scaling dimensions.

For a critical quantum chain with velocity vv, the universal CFT predictions are

En(L)E0(L)=2πvLΔn+o(L1)\boxed{ E_n(L)-E_0(L) = \frac{2\pi v}{L}\Delta_n+o(L^{-1}) }

and

Pn(L)P0(L)=2πLsn+o(L1)\boxed{ P_n(L)-P_0(L) = \frac{2\pi}{L}s_n+o(L^{-1}) }

where

Δn=hn+hˉn,sn=hnhˉn.\Delta_n=h_n+\bar h_n, \qquad s_n=h_n-\bar h_n.

The ground-state energy behaves as

E0(L)=ϵLπcv6L+o(L1)\boxed{ E_0(L)=\epsilon_\infty L-\frac{\pi c v}{6L}+o(L^{-1}) }

for periodic boundary conditions. These three formulas are among the most useful practical bridges between numerical many-body physics and CFT. They allow one to extract the central charge, operator dimensions, and spins from finite-size spectra.


There are two common cylinders in CFT, and they mean different things.

GeometryPeriodic directionPhysical meaning
Sd1×RτS^{d-1}\times\mathbb R_\tauspaceHamiltonian quantization on a compact spatial slice
Rd1×Sβ1\mathbb R^{d-1}\times S^1_\betaEuclidean timethermal ensemble at temperature T=1/βT=1/\beta

In two-dimensional CFT, exchanging space and Euclidean time often looks like a simple modular transformation. In higher-dimensional CFT, the distinction is sharper: the spatial sphere Sd1S^{d-1} is the natural boundary of global AdS, while the thermal circle is the natural setting for black branes, black holes, and real-time response.

The present page is about the first cylinder. Thermal CFT comes later.


The global AdS metric may be written schematically as

dsAdS2=RAdS2[cosh2ρdt2+dρ2+sinh2ρdΩd12].ds^2_{\rm AdS} = R_{\rm AdS}^2 \left[ -\cosh^2\rho\,dt^2+d\rho^2+\sinh^2\rho\,d\Omega_{d-1}^2 \right].

At large ρ\rho, the conformal boundary is

Sd1×Rt.S^{d-1}\times\mathbb R_t.

This is the Lorentzian cylinder. The CFT Hamiltonian on the cylinder is therefore the natural boundary dual of global AdS time translation. The state created by a primary operator O\mathcal O corresponds to a one-particle bulk state whose global AdS energy is

EbulkRAdS=ΔO.E_{\rm bulk}R_{\rm AdS}=\Delta_{\mathcal O}.

Descendants correspond to acting with boundary momentum generators; in global AdS language, they are higher oscillator modes of the same bulk representation.

For large-NN holographic CFTs, the cylinder spectrum organizes itself as follows:

single-trace primarysingle-particle bulk field,multi-trace primarymulti-particle bulk state,Tμνgraviton,Jμbulk gauge field.\begin{array}{ccl} \text{single-trace primary} &\longleftrightarrow& \text{single-particle bulk field},\\ \text{multi-trace primary} &\longleftrightarrow& \text{multi-particle bulk state},\\ T_{\mu\nu} &\longleftrightarrow& \text{graviton},\\ J_\mu &\longleftrightarrow& \text{bulk gauge field}. \end{array}

The cylinder is where this dictionary becomes Hamiltonian physics.


The first pitfall is to confuse a finite-size gap with a mass gap. A massive theory has a correlation length ξ\xi that remains finite as LL\to\infty. A CFT on a finite circle has a gap proportional to 1/L1/L, which vanishes in the infinite-volume limit. The finite gap is caused by the box, not by a mass.

The second pitfall is to forget the Casimir shift. On the plane, the vacuum has zero scaling dimension. On the cylinder, the vacuum energy is shifted by the Schwarzian term. In two dimensions this shift is fixed by cc.

The third pitfall is to use finite-size formulas without the velocity vv in lattice systems. A continuum relativistic CFT sets v=1v=1. A critical spin chain or condensed-matter realization generally has a nonuniversal velocity that must be measured or fixed separately.


Starting from

dsRd2=dr2+r2dΩd12,r=Reτ/R,ds^2_{\mathbb R^d}=dr^2+r^2d\Omega_{d-1}^2, \qquad r=R e^{\tau/R},

show that

dsRd2=e2τ/R(dτ2+R2dΩd12).ds^2_{\mathbb R^d} =e^{2\tau/R}\left(d\tau^2+R^2d\Omega_{d-1}^2\right).
Solution

From r=Reτ/Rr=R e^{\tau/R}, we get

dr=eτ/Rdτ.dr=e^{\tau/R}d\tau.

Therefore

dr2=e2τ/Rdτ2,r2dΩd12=R2e2τ/RdΩd12.dr^2=e^{2\tau/R}d\tau^2, \qquad r^2d\Omega_{d-1}^2=R^2e^{2\tau/R}d\Omega_{d-1}^2.

Adding the two terms gives

dsRd2=e2τ/R(dτ2+R2dΩd12).ds^2_{\mathbb R^d} =e^{2\tau/R}\left(d\tau^2+R^2d\Omega_{d-1}^2\right).

Thus flat space minus the origin is Weyl-equivalent to the cylinder.

Exercise 2 — Derive the cylinder two-point function in any dimension

Section titled “Exercise 2 — Derive the cylinder two-point function in any dimension”

Use

O(x1)O(x2)=COx122Δ,xi=Reτi/Rni,\langle \mathcal O(x_1)\mathcal O(x_2)\rangle = \frac{C_{\mathcal O}}{|x_{12}|^{2\Delta}}, \qquad x_i=R e^{\tau_i/R}n_i,

to derive the cylinder correlator

O(τ1,n1)O(τ2,n2)cyl=CO[2R2(coshτ12Rn1n2)]Δ.\langle \mathcal O(\tau_1,n_1)\mathcal O(\tau_2,n_2)\rangle_{\rm cyl} = \frac{C_{\mathcal O}}{ \left[ 2R^2\left(\cosh\frac{\tau_{12}}{R}-n_1\cdot n_2\right) \right]^\Delta }.
Solution

We compute

x122=R2e2τ1/R+R2e2τ2/R2R2e(τ1+τ2)/Rn1n2.|x_{12}|^2 = R^2e^{2\tau_1/R}+R^2e^{2\tau_2/R} -2R^2e^{(\tau_1+\tau_2)/R}n_1\cdot n_2.

Factor out R2e(τ1+τ2)/RR^2e^{(\tau_1+\tau_2)/R}:

x122=R2e(τ1+τ2)/R(eτ12/R+eτ12/R2n1n2).|x_{12}|^2 = R^2e^{(\tau_1+\tau_2)/R} \left( e^{\tau_{12}/R}+e^{-\tau_{12}/R}-2n_1\cdot n_2 \right).

Using ea+ea=2coshae^a+e^{-a}=2\cosh a,

x122=2R2e(τ1+τ2)/R(coshτ12Rn1n2).|x_{12}|^2 = 2R^2e^{(\tau_1+\tau_2)/R} \left( \cosh\frac{\tau_{12}}{R}-n_1\cdot n_2 \right).

A scalar primary satisfies

Ocyl(τ,n)=eΔτ/RORd(Reτ/Rn).\mathcal O_{\rm cyl}(\tau,n) = e^{\Delta\tau/R}\mathcal O_{\mathbb R^d}(R e^{\tau/R}n).

Multiplying the plane correlator by eΔ(τ1+τ2)/Re^{\Delta(\tau_1+\tau_2)/R} cancels the exponential factor in x122Δ|x_{12}|^{2\Delta} and gives the desired expression.

Exercise 3 — Derive the two-dimensional cylinder two-point function

Section titled “Exercise 3 — Derive the two-dimensional cylinder two-point function”

Starting from

O(z1,zˉ1)O(z2,zˉ2)=1z122hzˉ122hˉ,\langle \mathcal O(z_1,\bar z_1)\mathcal O(z_2,\bar z_2)\rangle = \frac{1}{z_{12}^{2h}\bar z_{12}^{2\bar h}},

and using

z=e2πw/L,z=e^{2\pi w/L},

derive the two-dimensional cylinder two-point function.

Solution

A primary transforms as

Ocyl(w,wˉ)=(dzdw)h(dzˉdwˉ)hˉOplane(z,zˉ).\mathcal O_{\rm cyl}(w,\bar w) = \left(\frac{dz}{dw}\right)^h \left(\frac{d\bar z}{d\bar w}\right)^{\bar h} \mathcal O_{\rm plane}(z,\bar z).

For z=e2πw/Lz=e^{2\pi w/L},

dzdw=2πLz.\frac{dz}{dw}=\frac{2\pi}{L}z.

Also,

z1z2=eπ(w1+w2)/L(eπw12/Leπw12/L)=2eπ(w1+w2)/Lsinh(πw12L).z_1-z_2 = e^{\pi(w_1+w_2)/L} \left(e^{\pi w_{12}/L}-e^{-\pi w_{12}/L}\right) = 2e^{\pi(w_1+w_2)/L} \sinh\left(\frac{\pi w_{12}}{L}\right).

Therefore

(dz1dw1dz2dw2)h(z1z2)2h=[π/Lsinh(πw12L)]2h.\frac{\left(\frac{dz_1}{dw_1}\frac{dz_2}{dw_2}\right)^h}{(z_1-z_2)^{2h}} = \left[ \frac{\pi/L}{\sinh\left(\frac{\pi w_{12}}{L}\right)} \right]^{2h}.

The antiholomorphic part is identical, so

O(w1,wˉ1)O(w2,wˉ2)cyl=[π/Lsinh(πw12L)]2h[π/Lsinh(πwˉ12L)]2hˉ.\langle \mathcal O(w_1,\bar w_1)\mathcal O(w_2,\bar w_2)\rangle_{\rm cyl} = \left[ \frac{\pi/L}{\sinh\left(\frac{\pi w_{12}}{L}\right)} \right]^{2h} \left[ \frac{\pi/L}{\sinh\left(\frac{\pi \bar w_{12}}{L}\right)} \right]^{2\bar h}.

Exercise 4 — Compute the Schwarzian shift

Section titled “Exercise 4 — Compute the Schwarzian shift”

For

z=eaw,z=e^{aw},

compute {z,w}\{z,w\} and use it to show that the plane vacuum has nonzero cylinder energy.

Solution

We have

z=az,z=a2z,z=a3z.z'=az, \qquad z''=a^2z, \qquad z'''=a^3z.

Thus

zz=a2,zz=a,\frac{z'''}{z'}=a^2, \qquad \frac{z''}{z'}=a,

and

{z,w}=a232a2=12a2.\{z,w\} = a^2-\frac32a^2 = -\frac12a^2.

The stress tensor transforms as

Tcyl(w)=(dzdw)2Tplane(z)+c12{z,w}.T_{\rm cyl}(w) = \left(\frac{dz}{dw}\right)^2T_{\rm plane}(z) + \frac{c}{12}\{z,w\}.

Since Tplane=0\langle T_{\rm plane}\rangle=0 in the plane vacuum,

Tcyl=c24a2.\langle T_{\rm cyl}\rangle = -\frac{c}{24}a^2.

With a=2π/La=2\pi/L, this gives the chiral vacuum shift. Combining the holomorphic and antiholomorphic sectors gives

Hcyl=2πL(L0+Lˉ0c12),H_{\rm cyl} = \frac{2\pi}{L}\left(L_0+\bar L_0-\frac{c}{12}\right),

so the vacuum energy is

E0=πc6L.E_0=-\frac{\pi c}{6L}.

Exercise 5 — Extract CFT data from finite-size energies

Section titled “Exercise 5 — Extract CFT data from finite-size energies”

A critical periodic spin chain has low-energy spectrum

En(L)E0(L)=2πvLΔn+o(L1),E_n(L)-E_0(L)=\frac{2\pi v}{L}\Delta_n+o(L^{-1}),

and ground-state energy

E0(L)=ϵLπcv6L+o(L1).E_0(L)=\epsilon_\infty L-\frac{\pi c v}{6L}+o(L^{-1}).

Assume vv is known. Explain how to extract Δn\Delta_n and cc from numerical data at several large values of LL.

Solution

For each excited level,

Δn(L)=L2πv[En(L)E0(L)].\Delta_n(L) = \frac{L}{2\pi v}\left[E_n(L)-E_0(L)\right].

As LL\to\infty, this approaches the scaling dimension Δn\Delta_n. In practice one fits

Δn(L)=Δn+aLω+,\Delta_n(L)=\Delta_n+aL^{-\omega}+\cdots,

where ω>0\omega>0 is controlled by irrelevant operators.

For the central charge, first fit the extensive part ϵL\epsilon_\infty L. Then compute

c(L)=6Lπv[E0(L)ϵL].c(L) = -\frac{6L}{\pi v}\left[E_0(L)-\epsilon_\infty L\right].

As LL\to\infty, c(L)c(L) approaches cc. In real numerical work, ϵ\epsilon_\infty, cc, and correction terms are often fit simultaneously.

Exercise 6 — Why the finite cylinder is not massive

Section titled “Exercise 6 — Why the finite cylinder is not massive”

A scalar two-point function on the cylinder decays at large Euclidean time as

O(τ)O(0)cylexp(2πΔLτ).\langle \mathcal O(\tau)\mathcal O(0)\rangle_{\rm cyl} \sim \exp\left(-\frac{2\pi\Delta}{L}\tau\right).

Explain why this exponential decay does not mean that the CFT has developed a mass gap.

Solution

The decay exponent is

EOE0=2πΔL.E_{\mathcal O}-E_0=\frac{2\pi\Delta}{L}.

This gap is caused by compactifying space to a circle of circumference LL. It vanishes as LL\to\infty:

limL2πΔL=0.\lim_{L\to\infty}\frac{2\pi\Delta}{L}=0.

A genuine mass gap would remain finite in the infinite-volume limit. Therefore the finite cylinder has a discrete spectrum, but the underlying infinite-volume CFT remains gapless.


The cylinder turns scale into time:

DplaneHcyl.D_{\rm plane} \quad\longrightarrow\quad H_{\rm cyl}.

In two dimensions this gives exact and extremely useful formulas:

EnE0=2πLΔn,PnP0=2πLsn,E0=πc6L.E_n-E_0=\frac{2\pi}{L}\Delta_n, \qquad P_n-P_0=\frac{2\pi}{L}s_n, \qquad E_0=-\frac{\pi c}{6L}.

For AdS/CFT, this is the first Hamiltonian form of the dictionary: CFT scaling dimensions are global AdS energies.

For the 2D cylinder, finite-size scaling, and the central charge, see Di Francesco, Mathieu, and Sénéchal on radial quantization, modular invariance, and finite-size scaling. For the higher-dimensional cylinder, the most useful companions are modern conformal bootstrap lecture notes, where the cylinder is treated as the natural Hilbert-space quantization of a CFT. The next pages will use this cylinder picture to discuss Weyl anomalies, thermal CFT, and entanglement.