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.
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
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.
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.
Instantiates / Related Primes¶
prime:renormalization is the minimal parent because the theorem constrains renormalization-group flow. prime:monotonicity is related if present as a catalog surface, and prime: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) — more general patterns this builds on
-
C-Theorem is part of Renormalization Prime
prime:renormalizationis the minimal parent because the theorem constrains renormalization-group flow.prime:monotonicityis related if present as a catalog surface, andprime:scale_invariancedescribes fixed points, but neither alone identifies the flow mechanism. Only Renormalization is proposed.
Hierarchy paths (3) — routes to 3 parentless roots
- C-Theorem → Renormalization → Abstraction
- C-Theorem → Renormalization → Invariance
- C-Theorem → Renormalization → Scaling and Scale Dependence → Scale
Neighborhood in Abstraction Space¶
C-Theorem sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Relativistic Fields & Spacetime Singularities (10 abstractions)
Nearest neighbors
- Conformal Gravity — 0.86
- Unruh Effect — 0.85
- Black Hole No-Hair Theorem — 0.84
- Schwarzschild Metric — 0.83
- Schrödinger Equation — 0.83
Computed from structural-signature embeddings · 2026-09-08
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