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

v3 · 2026-09-06 · History

Domain-specific #

1425

Origin domain

quantum field theory

Subdomain

renormalization group

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.

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) — more general patterns this builds on

• C-Theorem is part of Renormalization Prime

  prime:renormalization is the minimal parent because the theorem constrains renormalization-group flow.

Hierarchy paths (3) — routes to 3 parentless roots

• C-Theorem → Renormalization → Abstraction

Show alternative paths (2)

Neighborhood in Abstraction Space

C-Theorem sits in a sparse region of the domain-specific corpus (72^nd 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