Revision 2

Accepted · cosmetic change · record

Changes against revision 1:

Title · changed: Revision 1: Is four-dimensional RG flow a gradient flow of the a-function; Revision 2: Is four-dimensional RG flow a gradient flow of the a-function?
Plain: In four dimensions a certain count of degrees of freedom is proven to be lower at long distances than at short ones. A stronger claim, that the couplings always move steadily downhill along a height function given by this count, is checked only in perturbation theory.
Precise: Jack and Osborn (1990) showed perturbatively that the beta functions $\beta^{j}$ of a 4D renormalizable QFT satisfy $d_{i} a\sim = \chi_{ij}\beta^{j} + (d_{i} w_{j} - d_{j} w_{i})\beta^{j}$ for a function $a\sim(g)$ equal to the a-anomaly at fixed points. Determine whether, beyond perturbation theory, $\chi_{ij}$ is positive definite so that $a\sim$ decreases monotonically along every flow (strong a-theorem). The weak version $a_{\mathrm{UV}} > a_{\mathrm{IR}}$ between fixed points is proven (Komargodski and Schwimmer 2011).
Settled by: A nonperturbative proof that $\chi_{ij}$ is positive definite in unitary 4D QFT, or a unitary flow along which $a\sim$ increases.
Kind: well-posed
Answer type: yes-no
References: (empty)
Literature status: partially-resolved
Status note: $\chi_{ij}$ is positive at leading orders and $a\sim$ has been constructed to high loop order for general gauge theories (Jack and Poole 2015); the nonperturbative statement is open.
Posed since: 1990

Decisions