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.

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

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.

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.

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. Such refinements preserve the role package but do not remove the hypotheses.

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.

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.

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.

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.

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