Four-Dimensional a-Type Flow Constraints

For a unitary relativistic RG flow between four-dimensional conformal fixed points, the Euler-anomaly coefficient obeys $a_{\rm UV}>a_{\rm IR}$ unless the flow is trivial. Spherical entanglement exposes $a$ through its universal logarithm, while dilaton scattering and null-cone entropic arguments establish irreversibility under specific hypotheses. No arbitrary finite term in a four-dimensional entropy is an $a$-function.

Required background. Anomaly coefficients and central charges fixes the $a$ and $c$ conventions; monotonicity and flow constraints states the CFT theorem; information measures along RG flows fixes the regional comparison.

Helpful background. Universal terms and geometry explains spherical logarithms.

The a-type endpoint data

With standard four-dimensional anomaly conventions,

$$\langle T^\mu{}_{\mu}\rangle =\frac{1}{16\pi^2} \left(c,W_{\mu\nu\rho\sigma}^2-a,E_4+\text{scheme-dependent terms}\right).$$

For a spherical entangling surface in flat space, the CFT vacuum entropy contains

$$S_{\rm sphere}(R) =\alpha_2\frac{R^2}{\epsilon^2} -4a\log\frac{R}{\epsilon} +\text{finite convention-dependent terms}.$$

Thus the logarithmic coefficient selects $a$, not the Weyl-squared coefficient $c$. The endpoint theorem is

$$a_{\rm UV}>a_{\rm IR}$$

for a nontrivial flow satisfying the standard unitarity, locality, and relativistic assumptions.

The spherical logarithm and its separation from extrinsic-geometry terms are derived in Solodukhin 2008, pp. 306–308.

The chapter map places this as an endpoint theorem. A finite crossover function needs further construction.

The $a$ coefficient is a fixed-point anchor. Spherical logarithms, a dilaton proof, and a null-cone entropic proof constrain the endpoint ordering; they do not make every finite spherical subtraction a universal interpolant. Schematic and not to scale.

Dilaton route

Komargodski and Schwimmer 2011, §§ 3–4 couple the theory to a compensating dilaton. Anomaly matching fixes a Wess–Zumino interaction proportional to $a_{\rm UV}-a_{\rm IR}$. Analyticity, unitarity, and a dispersion relation for forward dilaton scattering turn the positive absorptive part into the endpoint inequality.

This route proves the theorem but does not identify an ordinary spatial partial trace as the RG map. Its central positive object is a scattering spectral integral. The information-theoretic connection is the shared statement of irreversibility, not an equality of mechanisms.

Entropic route

Casini, Testé, and Torroba 2017, pp. 2–4 use strong subadditivity, Lorentz symmetry, and the Markov property of the CFT vacuum for regions whose boundaries lie on a null cone. The Markov subtraction cancels local geometric terms that otherwise obstruct the continuum limit. The resulting inequality isolates the universal endpoint contribution and recovers the $a$ theorem.

The null construction is essential. A naive comparison of concentric equal-time spheres leaves curvature-dependent divergences and does not by itself prove monotonicity. Nor does the entropic argument imply that every deformed theory has a unique, positive, locally monotone $a(R)$ independent of prescription.

Free-field endpoint check

In the common normalization,

$$a_{\rm scalar}=\frac{1}{360}, \qquad a_{\rm Weyl}=\frac{11}{720}, \qquad a_{\rm vector}=\frac{31}{180}.$$

Giving a free conformal field a mass produces a gapped IR with $a_{\rm IR}=0$. The endpoint inequality is immediate. The nontrivial numerical task is to recover the spherical logarithm before the mass scale is reached while separating power divergences and zero-mode or gauge subtleties. These values are normalization checks, not evidence that a guessed finite function is monotone at every $mR$.

Boundaries of the claim

The theorem does not state that $c_{\rm UV}>c_{\rm IR}$; $c$ can behave differently. It also does not cover arbitrary nonunitary flows, theories without a standard local stress tensor, or flows that do not approach conformal endpoints without additional hypotheses. Supersymmetric localization may calculate endpoint anomalies exactly, but that computational method is distinct from the general proof.

Validity map for four-dimensional irreversibility. The theorem branch requires the four-dimensional relativistic hypotheses and the Euler-anomaly endpoint identification. A finite entropy curve without those inputs remains scheme-dependent evidence. Schematic and not to scale.

Common pitfalls

Replacing a by c. The universal spherical logarithm in four dimensions selects the Euler coefficient $a$. The Weyl coefficient $c$ is different and has no analogous general ordering theorem.

Claiming a purely entropic proof from concentric spheres. The successful proof uses null-cone geometry and the CFT vacuum Markov property. Those ingredients control the local terms.

References

• Casini, Horacio, Eduardo Testé, and Gonzalo Torroba. “Markov Property of the Conformal Field Theory Vacuum and the a Theorem.” Physical Review Letters 118 (2017): 261602. DOI.
• Komargodski, Zohar, and Adam Schwimmer. “On Renormalization Group Flows in Four Dimensions.” Journal of High Energy Physics 2011, no. 12 (2011): 099. DOI.
• Solodukhin, Sergey N. “Entanglement Entropy, Conformal Invariance and Extrinsic Geometry.” Physics Letters B 665 (2008): 305–309. DOI.