# Explanation of Cardy's “a theorem”

There seems to have been some discussion of Cardy's "a-theorem" recently:

“It is shown that, for d even, the one-point function of the trace of the stress tensor on the sphere, Sd, when suitably regularized, defines a c-function, which, at least to one loop order, is decreasing along RG trajectories and is stationary at RG fixed points, where it is proportional to the usual conformal anomaly.” said Cardy. “It is shown that the existence of such a c-function, if it satisfies these properties to all orders, is consistent with the expected behavior of QCD in four dimensions.”

I would appreciate it if someone could give a reasonbly concise explanation of what the theorem states and implies, at a level for someone with a superficial understanding of quantum field theory.

For example, what is the sphere in the above quote and how does the existence of the c-function lead to the main conclusion of the a-theorem which is purportedly:

"... a multitude of avenues in which quantum fields can be energetically excited (a) is always greater at high energies than at low energies. "

Edit: I think I found what I needed. Section 4.4 of David Tong's string theory notes gives a nice explanation of the trace anomaly and the "a" and "c" theorems. I assume the sphere they were talking about in the Nature article is just the $S^4$ of Euclidean compactified spacetime, in which case "a" is its Euler characteristic.

-
More on a-theorem: theoreticalphysics.stackexchange.com/q/531/189 –  Qmechanic Nov 17 '11 at 13:09
@Qmechanic: thanks - I'll keep an eye on that –  twistor59 Nov 17 '11 at 20:18
You might want to try your luck on our site, your question is distinct from the recent question Qmechanic mentions. –  user566 Nov 17 '11 at 20:52
Comment to update(v2): Although David Tong's notes are excellent in other respect, a quick browsing only seemed to reveal $a$ mentioned on p.87. Concerning the $a$ theorem, if you haven't already, go watch Zohar Komargodski's video talk pirsa.org/displayFlash.php?id=11110115 –  Qmechanic Nov 20 '11 at 15:19

Very loosely, what Cardy's $a$ theorem says is that when you measure a system at low energies you can see fewer degrees of freedom than when you measure it at high energies. For example if I take a salt crystal and hit with a high energy gamma ray I can knock at a chlorine nucleus, sodium nucleus, an inner shell electron an outer shell electron, I can excite spins. All sorts of degrees of freedom. But if I hit the salt crystal with something really low energy, like a slow moving neutron or something, all I can excite is a low energy phonon. So low energy means less degrees of freedom.
So in some sense the question is how to count degrees of freedom. Apparently a lot of the obvious guesses in (3+1)d are wrong. And the prescription provided by the $a$-theorem is kind of weird. For example a free gauge field (like E&M) has exactly 62 times as much "degrees of freedom" as a free scalar (like the Higgs boson). Not exactly what you would guess! But apparently if you try to count with that 62 changed to 61 or 63 you can find examples where there are more low energy "degrees of freedom" than at high energy. And now its proven.