nLab c-theorem

The Zamolodchikov -theorem

Context

Quantum field theory

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

The Zamolodchikov cc-theorem

Idea

The fixed point of a renormalization-group (RG) transform applied to a field theory should, intuitively, be described by a theory which is scale-invariant. The Zamolodchikov cc-theorem makes this precise: for any renormalizable 2D field theory, there exists a function c(g)c(g) of its coupling constants g=(g 1,g 2,)g = (g_1,g_2,\ldots) which

  • decreases monotonically with successive RG transforms, and
  • at the fixed point of the RG, is equal to the central charge of the conformal field theory which describes that critical point.
Cardy (1996) observes,

The cc-theorem has the interpretation that renormalization group flows go ‘downhill’. In particular, it rules out the existence (for systems satisfying reflection positivity) of limit cycles and other esoteric behaviour in renormalization group flows. It also severely restricts the possible fixed points to which unstable directions at a given fixed point may flow. … An appealing physical interpretation of the [c(g)][c(g)]-function is as a kind of entropy of information about the critical system. Under renormalization, information is lost about the short distance behaviour of the correlation functions. However, this cannot be taken too literally—for example, even at infinite temperature a block spin transformation results in loss of information about the microstates of the system, yet no renormalization group flow takes place. Presumably, a more complete interpretation along these lines needs to account for the fact that the central charge is sensitive to only the effectively gapless degrees of freedom.

Attempts to find analogues for the 2D cc-theorem in higher dimensions have involved versions of holographic duality such as the AdS/CFT correspondence. See Myers and Sinha (2010), (2011).

Proof

We follow the original proof given by Zamolodchikov (1986).

We start with a field theory whose action functional is an integral of a local Lagrangian density:

S=(g,a,x)dx, S = \int \mathcal{L}(g,a,x) d x,

where aa is the ultraviolet cutoff of the theory. The basic assumption of RG is that there exists a single-parameter family of transformations on QQ, the space of coupling constants,

R t:QQ, R_t: Q \rightarrow Q,

which has the property that a field theory with the action S(R tg,e ta)S(R_t g, e^t a) is equivalent to the original theory with action S(g,a)S(g, a). Here, equivalence means that the correlation functions of the two theories agree, as long as we consider scales larger than the renormalized UV cutoff, xe tax \gg e^t a. The RG flow is described by the beta functions:

dg i=β i(g)dt. d g^i = \beta^i(g) \,d t.

At the fixed points, β i(g)=0\beta^i(g) = 0. (The beta functions in RG theory should not be confused with the Euler beta function). Here, we are using the term in the same sense as when people say, “The beta function in QCD is negative.”

The local energy-momentum tensor T μν(x)=T νμ(x)T_{\mu\nu}(x) = T_{\nu\mu}(x) satisfies the conservation equation μT μν=0\partial_\mu T_{\mu\nu} = 0. Define the complex coordinates

(z,z¯)=(x 1+ix 2,x 1ix 2) (z, \bar{z}) = (x^1 + i x^2, x^1 - i x^2)

and define T=T zzT = T_{zz}, Θ=T zz¯\Theta = T_{z\bar{z}}. The local scalar fields are given by

Φ i(g,x)=g i(g,a,x).\Phi_i(g,x) = \frac{\partial}{\partial g^i} \mathcal{L}(g,a,x).

If the field theory is renormalizable, we can expand the field Θ\Theta in the basis given by the Φ i\Phi_i:

Θ=β i(g)Φ i.\Theta = \beta^i(g) \Phi_i.

Take a convenient distance scale x 0x_0, significantly larger than the UV cutoff of the theory. This arbitrary value is the “normalization point”. Define

C(g)=2z 4T(x)T(0)| x 2=x 0 2 C(g) = 2z^4 \left.\langle T(x) T(0) \rangle\right|_{x^2 = x_0^2}
H i(g)=z 2x 2T(x)Φ i(0)| x 2=x 0 2 H_i(g) = z^2 x^2 \left.\langle T(x) \Phi_i(0) \rangle\right|_{x^2 = x_0^2}
G ij(g)=x 4Φ i(x)Φ j(0)| x 2=x 0 2 G_{i j}(g) = x^4 \left.\langle \Phi_i(x) \Phi_j(0) \rangle\right|_{x^2 = x_0^2}

The positivity condition of the field theory implies that the symmetric matrix G ij(g)G_{i j}(g) is positive definite, and that we can use it as the metric in the space of coupling constants.

The Callan–Symanzik equation describes how the nn-point correlation functions vary under the RG transform. For our purposes, the scaling matrix γ\gamma which appears in the Callan-Symanzik equation is given by

γ i j(g)Φ j=(a2aβ kg k)Φ i=( iβ j)Φ j. \gamma_i^{\,j} (g) \Phi_j = \left(\frac{a}{2} \frac{\partial}{\partial a} - \beta^k \frac{\partial}{\partial g^k}\right) \Phi_i = (\partial_i \beta^j) \Phi_j.

We combine our expansion of the field Θ\Theta with the conservation condition μT μν=0\partial_\mu T_{\mu\nu} = 0 and the Callan–Symanzik equation to get

12β i iC=3β iH i+β iβ k kH i+β k( kβ i)H i, \frac{1}{2} \beta^i\partial_i C = -3\beta^i H_i + \beta^i\beta^k\partial_k H_i + \beta^k(\partial_k \beta^i) H_i,

and

β k kH i+( iβ k)H kH i=2β kG ik+β jβ kG ij+β j( iβ k)G jk+β j( jβ k)G ik, \beta^k \partial_k H_i + (\partial_i \beta^k)H_k - H_i = -2\beta^k G_{i k} + \beta^j \beta^k G_{i j} + \beta^j (\partial_i \beta^k) G_{j k} + \beta^j (\partial_j \beta^k) G_{i k},

where we have written i\partial_i for the derivative in the coupling-constant space, /g i\partial/\partial g^i.

For the function

c(g)=C(g)+4β iH i=6β iβ jG ij,c(g) = C(g) + 4\beta^i H_i = 6\beta^i \beta^j G_{i j},

we have that

β i ic(g)=12β iβ jG ij.\beta^i \partial_i c(g) = -12 \beta^i \beta^j G_{i j}.

This verifies that

dcdt=β i(g) ic(g)0, \frac{d c}{d t} = \beta^i(g) \partial_i c(g) \leq 0,

establishing that the function c(g)c(g) decreases monotonically as we apply the RG transform.

Consider a fixed point g *g_*, and choose a coordinate system centered on that point, so that the metric becomes

G ij(g)=δ ij+𝒪(g 2). G_{i j}(g) = \delta_{i j} + \mathcal{O}(g^2).

Near the fixed point, we can calculate c(g)c(g) using perturbation theory. This calculation results in

c(g)=c˜(g *)3(2d i)g ig i+2C ijkg ig jg k+𝒪(g 4). c(g) = \tilde{c}(g_*) - 3(2 - d_i) g^i g^i + 2C_{i j k} g^i g^j g^k + \mathcal{O}(g^4).

We have written d id_i for the anomalous dimension?s of the vectors Φ i(g *,x)\Phi_i(g_*, x), which at the fixed point are conformal fields. It then follows that the 2D field theory at the fixed point has conformal symmetry, with an infinite set of generators

{L n|n=0,±1,±2,}\{L_n | n = 0, \pm 1, \pm 2, \ldots \}

which satisfy the Virasoro algebra

[L n,L m]=(nm)L n+m+c˜12(n 3n)δ n+m,0. [L_n, L_m] = (n - m)L_{n+m} + \frac{\tilde{c}}{12}(n^3 - n) \delta_{n+m,0}.

The fixed-point value of the cc-function becomes the central charge of the Virasoro algebra. The central charge is the numerical coefficient in the correlation function

T(z)T(0)=z 4c˜(g *)/2.\langle T(z) T(0) \rangle = z^{-4} \tilde{c}(g_*) / 2.

Near the fixed point, we can also compute the beta functions in perturbation theory.

β i(g)=2d i2g i12C ijkg jg k+𝒪(g 3). \beta^i(g) = \frac{2 - d_i}{2} g^i - \frac{1}{2} C_{i j k} g^j g^k + \mathcal{O}(g^3).

Note that to maintain consistency of indices across both sides of this equation, we do not sum over ii in the first term. If the perturbations are “soft”, satisfying |2d i|1|2 - d_i| \ll 1, then the coefficients C ijkC_{i j k} form the structure constants of a CFT operator algebra. Raising the indices on G ijG_{i j} by G ikG kj=δ j iG^{i k}G_{k j} = \delta^i_{\,j}, we can write

β i(g)=112G ij(g) jc(g).\beta^i(g) = -\frac{1}{12} G^{i j}(g) \partial_j c(g).

References

  • A. B. Zamolodchikov (1986), “Irreversibility” of the Flux of the Renormalization Group in a 2-D Field Theory, JETP Lett. 43: 730–732. (pdf)
  • J. Cardy (1996), Scaling and Renormalization in Statistical Physics. Cambridge Lecture Notes in Physics.
  • J. Cardy (2010), The Ubiquitous ‘c’: From the Stefan–Boltzmann Law to Quantum Information, J.Stat.Mech. 2010: P10004, (arXiv:1008.2331)
  • R. C. Myers and A. Sinha (2010), Seeing a cc-theorem with holography, Physical Review D 82: 046006, (arXiv:1006.1263)
  • R. C. Myers and A. Sinha (2011), Holographic cc-theorems in arbitrary dimensions, Journal of High Energy Physics 2011, 1: 1–53, (arXiv:1011.5819)
  • Z. Komargodski and A. Schwimmer (2011), On renormalization group flows in four dimensions, (arXiv:1107.3987)
  • Wikipedia, Callan–Symanzik equation

Last revised on August 2, 2012 at 20:34:26. See the history of this page for a list of all contributions to it.