C-Theorem¶

Zamolodchikov's two-dimensional field-theory theorem supplies a monotone c-function along renormalization-group flow whose fixed-point value is the conformal central charge.

Version: v4 · 2026-09-19 · History
Domain-specific #: 1425
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Quantum Field Theory, Renormalization Group → Mathematics
Aliases: Zamolodchikov C-Theorem

Core Idea¶

The C-theorem is Zamolodchikov's irreversibility result for an appropriate class of two-dimensional, unitary, local, relativistic quantum field theories. It constructs a real c-function from stress-energy-tensor correlation functions such that, when the renormalization-group parameter is oriented from ultraviolet to infrared, the function does not increase. It is stationary at renormalization-group fixed points, where its value equals the Virasoro central charge of the corresponding conformal field theory.^[1]

In coupling coordinates \(g^i\) with beta functions \(\beta^i\), the monotonicity can be expressed schematically as

\[ \frac{dc}{dt}=-G_{ij}(g)\,\beta^i\beta^j\le 0, \]

where positivity of the relevant metric under the theorem's assumptions provides the sign. Conventions for \(t\) differ; reversing the flow parameter reverses the displayed derivative. The invariant statement is \(c_{\mathrm{UV}}\ge c_{\mathrm{IR}}\) along a nontrivial flow between conformal fixed points.^[1]

The theorem does not literally count fields at every intermediate scale. It gives a monotone quantity with central-charge endpoints, supporting a precise sense in which two-dimensional RG flow has an irreversible ordering.

How would you explain it like I'm…

No faithful explanation at this level. Two of three generators judged it unreachable: a child-level picture says the number of things goes down as you zoom out, but the c-function explicitly does not count fields at intermediate scales; it is a monotone quantity equal to the central charge only at fixed points.

The One-Way Zoom Number

The C-theorem is a result about certain simplified physics theories set in a world with one space direction and time. Physicists describe how a theory looks at different zoom levels, from very tiny distances to very large ones; this change is called the renormalization-group flow. Zamolodchikov found a number, called the c-function, that can never increase as you zoom out from tiny to large. At special "still points" where zooming doesn't change the theory, the number equals a known value called the central charge. That means you can't flow back from the zoomed-out theory to the zoomed-in one, so the flow has a one-way direction.

Irreversibility of 2D RG Flow

The C-theorem, proved by Zamolodchikov, concerns two-dimensional quantum field theories that are unitary, local, and relativistic. Renormalization-group (RG) flow describes how a theory's effective description changes as you go from short distances (the ultraviolet, UV) to long distances (the infrared, IR). The theorem builds a real-valued c-function out of correlation functions of the stress-energy tensor and shows it never increases when the flow runs from UV to IR. At fixed points, where the theory becomes scale-invariant (a conformal field theory), the c-function stops changing and equals that theory's Virasoro central charge. So for any flow between two fixed points, c_UV ≥ c_IR, making the flow irreversible. It is tempting to think c simply counts the number of fields at each scale, but the theorem does not say that; it only guarantees a monotone quantity with central-charge values at the endpoints.

Zamolodchikov's C-theorem is an irreversibility result for a suitable class of two-dimensional, unitary, local, relativistic quantum field theories. From correlation functions of the stress-energy tensor it constructs a real c-function on the space of theories that does not increase when the renormalization-group parameter is oriented from ultraviolet to infrared. The c-function is stationary at RG fixed points, where it equals the Virasoro central charge of the corresponding conformal field theory. In coupling coordinates g^i with beta functions β^i, monotonicity can be written schematically as dc/dt = −G_ij(g) β^i β^j ≤ 0, with the sign supplied by positivity of the metric G under the theorem's assumptions. Conventions for the flow parameter t differ, and reversing it flips the sign of that derivative, so the invariant content is c_UV ≥ c_IR along any nontrivial flow between conformal fixed points. The theorem does not literally count degrees of freedom or fields at each intermediate scale. What it provides is a monotone function with central-charge endpoints, giving a precise sense in which two-dimensional RG flow has an irreversible ordering.

Structural Signature¶

Recognition roles:

Two-dimensional QFT: the spacetime dimension and local relativistic field-theory setting.
Coupling space: coordinates \(g^i\) on theories connected by RG evolution.
Beta-vector field: \(\beta^i(g)\) generates scale flow.
Stress-tensor correlators: supply the construction of the c-function and positive metric.
Monotone function: \(c(g)\) decreases or remains constant toward the infrared.
Fixed points: \(\beta^i=0\) make the function stationary.
Endpoint identification: fixed-point \(c\) equals conformal central charge.
Assumption boundary: unitarity/reflection positivity, locality, conservation, and infrared regularity conditions matter.

Recognition test. A result is an instance only when it supplies a sign-controlled c-function for two-dimensional RG flow and identifies its fixed-point value with central charge. Generic statements that coarse-graining loses detail are not the C-theorem.

What It Is Not¶

The C-theorem is not the four-dimensional A-theorem. Higher-dimensional analogues use different anomaly coefficients and proofs. It is not “the central charge decreases at every scale” without qualification: away from a conformal fixed point the theorem uses a constructed c-function, while central charge is the endpoint CFT quantity.

It is not a universal theorem for nonunitary, nonlocal, disordered, boundary, or nonrelativistic systems. Generalizations may exist under changed hypotheses, but they require separate statements. It does not say every individual coupling is monotone, nor that beta functions cannot curve in coupling space. One scalar orders the flow even while individual coordinates can behave nonmonotonically.

Finally, it is not identical to scale invariance or universality. Those describe fixed-point or shared-behavior properties; the C-theorem constrains directed motion between theories.

Scope of Application¶

The theorem organizes two-dimensional RG trajectories and comparisons between ultraviolet and infrared conformal theories. It constrains candidate flows: if two fixed points are connected by a flow satisfying the assumptions, the UV central charge cannot be smaller than the IR central charge. This provides a consistency test for proposed deformations and phase descriptions.^[1]

The c-function and related gradient formulas also structure the geometry of coupling space. Friedan and Konechny proved a nonperturbative gradient formula under explicit stress-energy and infrared assumptions, sharpening how beta functions relate to derivatives of the c-function.^[2] Such refinements preserve the role package but do not remove the hypotheses.

In applications, the theorem is most useful as a veto and ordering principle. It can eliminate an alleged direction of flow even when no closed-form trajectory is known. It can also expose a mistaken identification of the infrared theory when anomaly or central-charge data are available independently. Neither use requires interpreting every intermediate value as a literal census.

Clarity¶

The theorem makes three levels distinct: a running QFT along the flow, fixed-point conformal theories, and the scalar c-function linking them. Writing c_UV >= c_IR is an endpoint consequence, not the whole theorem. A claimed counterexample must specify the flow orientation and verify that its theory satisfies the assumption set.

The language of “degrees of freedom” is interpretive. At fixed points the central charge has precise algebraic and correlation-function meanings. Away from fixed points, c is a monotone measure constructed from correlations. Calling it a literal integer count would overstate the result.

Manages Complexity¶

An RG flow can traverse a high-dimensional space of couplings. The theorem compresses that motion into one Lyapunov-like scalar. A single inequality rules out cycles compatible with strict decrease and orders candidate fixed-point endpoints without solving the full flow.

The compression is intentionally coarse. Different theories or trajectories can share c-values, and c alone does not reconstruct operator spectra, symmetries, or correlation functions. It manages one question—directed irreversibility—not full theory equivalence.

This limitation is part of the abstraction's value. By refusing to encode the entire theory, the scalar remains comparable across a trajectory. Other invariants must carry information about symmetry, operator content, or topological sectors. An analyst should therefore combine the C-theorem with, rather than substitute it for, detailed fixed-point and deformation analysis.

Abstract Reasoning¶

If a nontrivial admissible RG trajectory connects fixed points, monotonicity implies \(c_{UV}>c_{IR}\) unless the flow remains stationary in the relevant sense. If proposed endpoint data reverse this order, at least one of the connection, assumptions, or central-charge assignments is wrong.

The derivative formula explains why fixed points are stationary: beta functions vanish. Conversely, a stationary value needs careful handling before being declared a conformal fixed point; modern gradient results state additional conditions.^[2] The theorem supports an ordering inference, not arbitrary reconstruction of beta functions from c.

Knowledge Transfer¶

Literal transfer occurs across two-dimensional field theories satisfying the same stress-tensor and positivity framework. The same c-function roles can compare different deformations and fixed points. Dimension-dependent analogues transfer the research question but not the exact theorem: the four-dimensional A-theorem changes both quantity and proof.

The parent Renormalization transfers more broadly. Calling any decreasing performance metric a “c-function” is metaphor unless coupling flow, beta functions, fixed points, and central charges remain.

Examples¶

Massive deformation. A relevant perturbation of a UV conformal field theory can generate a massive infrared theory. With the conventional normalization, a trivially gapped IR fixed point has \(c_{IR}=0\), so the theorem requires nonnegative UV central charge and a nonincrease along the flow. This illustrates endpoint ordering without pretending c is a particle count.

Minimal-model flows. Two-dimensional unitary minimal models have discrete central charges below one. A proposed relevant flow from a model of higher central charge to one of lower central charge is compatible with the theorem; the reverse direction is not an admissible UV-to-IR flow under the same assumptions. The example uses only the ordering principle, not a claim that every pair is connected.

Nonexample. A four-dimensional flow governed by the A-anomaly coefficient may express an analogous irreversibility theorem, but it is not a direct instance of Zamolodchikov's two-dimensional c-function.

Structural Tensions¶

Endpoint precision versus intermediate interpretation: central charge is exact at fixed points, while “degree count” between them is heuristic. Diagnostic: classify the claim as fixed-point algebra or intermediate-scale interpretation.
Monotonic scalar versus complex trajectory: c orders flow but does not specify its path. Diagnostic: determine whether the conclusion needs more than endpoint order.
Universality versus assumptions: the result is broad within its class but not assumption-free. Diagnostic: verify dimension, unitarity, locality, and infrared behavior.
Autonomy versus reduction: Renormalization supplies flows and fixed points, but not a positive c-function or central-charge endpoint. Diagnostic: remove those theorem-specific roles; if the claim reduces to generic RG flow, the residual is autonomous.

Structural–Framed Character¶

The C-theorem is highly structural: a vector field on theory space admits a monotone scalar tied to fixed-point invariants. Its frame is nevertheless specialist quantum field theory. Stress tensors, beta functions, reflection positivity, and Virasoro central charge are indispensable. It is descriptive, with no institutional or evaluative content.

Structural Core vs. Domain Accent¶

The portable core is a Lyapunov-like monotone ordering trajectories and becoming stationary at fixed points. The domain accent is the two-dimensional QFT construction and central-charge identification. Without it, one has generic monotonicity, not the C-theorem.

Uses in statistical mechanics and conformal field theory retain the same QFT/RG substrate. The candidate therefore remains domain-specific.

This entry is part of Renormalization.

Renormalization is the broader abstraction this entry instantiates because the theorem constrains renormalization-group flow. prime:monotonicity is related if present as a catalog surface, and Scale Invariance describes fixed points, but neither alone identifies the flow mechanism. Only Renormalization is proposed.

Relationships to Other Abstractions¶

Current abstraction C-Theorem Domain-specific

Parents (1) — outgoing typed relations

C-Theorem includes Renormalization Prime

prime:renormalization is the broader abstraction this entry instantiates because the theorem constrains renormalization-group flow.

Hierarchy paths (3) — routes to 3 parentless roots

C-Theorem → includes Renormalization → is a kind of Abstraction

Show alternative paths (2)

Neighborhood in Abstraction Space¶

C-Theorem sits in a sparse region of the domain-specific corpus (69^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With¶

A-theorem: a four-dimensional anomaly-coefficient analogue.
F-theorem: an odd-dimensional sphere-free-energy analogue.
Scale invariance: a fixed-point property rather than a directed-flow theorem.
Universality: shared infrared behavior across microscopic models.
Beta function: the vector field generating flow, not the monotone c-function.
Central charge: the fixed-point value, not automatically a running quantity away from conformality.

References¶

[1] A. B. Zamolodchikov, “Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,” JETP Letters 43 (1986), 730–732. CERN bibliographic record: https://cds.cern.ch/record/437291 registry ↩a ↩b ↩c

[2] Daniel Friedan and Anatoly Konechny, “Gradient Formula for the Beta-Function of 2D Quantum Field Theory,” Journal of Physics A 43 (2010), 215401. https://doi.org/10.1088/1751-8113/43/21/215401 registry ↩a ↩b Show verification details