Matching $A$ with $F$ in long-range QFTs

Lorenzo Benfatto; Omar Zanusso

arxiv: 2605.21326 · v3 · pith:GFP5U2Z2new · submitted 2026-05-20 · ✦ hep-th · cond-mat.stat-mech

Matching A with F in long-range QFTs

Lorenzo Benfatto , Omar Zanusso This is my paper

Pith reviewed 2026-05-22 09:42 UTC · model grok-4.3

classification ✦ hep-th cond-mat.stat-mech

keywords long-range QFTA-theoremrenormalization group flowsphere free energyZamolodchikov metricmultiscalar phi^4conformal invarianceO(N) model

0 comments

The pith

The renormalization group flow in long-range multiscalar theories obeys a gradient equation up to three loops and matches the sphere free energy at leading order.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies long-range multiscalar φ⁴ theories that are unitary in two and three dimensions and believed to reach conformal fixed points. It constructs a scalar function A and a positive-definite metric G from the perturbative beta functions and shows that the flow satisfies the gradient equation ∂_I A = G_IJ β^J through third order in the couplings. The same A and G are then shown to coincide, at the first nontrivial order, with the sphere free energy tilde F and Zamolodchikov's metric C for the O(N) vector model and the hypercubic H_N model. This matching supplies a perturbative proof of the tilde F-theorem at leading nontrivial order.

Core claim

In the long-range multiscalar φ⁴ theory the renormalization group flow satisfies the gradient structure ∂_I A = G_IJ β^J up to the third loop order in the coupling, where A and G_IJ are built directly from the beta functions. These quantities match the sphere free-energy tilde F and Zamolodchikov's metric C_IJ to leading nontrivial order in the long-range O(N) and H_N models.

What carries the argument

The gradient equation ∂_I A = G_IJ β^J constructed from the beta functions of the long-range theory.

If this is right

The quantity A decreases monotonically along renormalization-group trajectories up to three-loop order.
The sphere free energy tilde F is monotonic along the flow at leading nontrivial order.
The metric G_IJ is positive definite at this perturbative order, ensuring the gradient property holds.
The matching supplies a perturbative demonstration of the tilde F-theorem for these long-range models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the matching persists at higher orders it would suggest that the gradient structure survives non-perturbatively in these unitary long-range theories.
The same construction could be tested in other long-range scalar models that remain unitary and conformal at their fixed points.
A direct non-perturbative computation of the sphere free energy in d=2 or d=3 for the long-range O(N) model would provide an independent check of the leading-order match.

Load-bearing premise

The long-range theory is unitary in d=2,3 and conformally invariant at its fixed points, allowing identification of the sphere free-energy tilde F and the Zamolodchikov metric C_IJ with the perturbative A and G.

What would settle it

An explicit four-loop computation that produces a mismatch between the coefficient of the perturbative A and the corresponding coefficient of the sphere free energy tilde F in either the O(N) or H_N model.

read the original abstract

Irreversibility theorems -- such as the $A$-theorem -- establish a hierarchy among fixed points of the renormalization group flow. The strongest thesis of this type of theorems would be that there exists a scalar function $A$ (generally suggested by the topological Weyl anomaly) and a positive definite metric $G_{IJ}$ in the space of couplings such that the renormalization group flow satisfies a gradient equation, $\partial_I A= G_{IJ}\beta^J$, in which case $A$ is locally monotonic along the flow. In this paper we consider the long-range multiscalar $\phi^4$ theory, a theory without a local energy-momentum tensor that is unitary in $d=2,3$ and that is believed to be conformally invariant at fixed points, and show that its renormalization group flow satisfies the gradient structure up to the third loop order in the coupling. We also show that $A$ and $G_{IJ}$ can be matched to the leading nontrivial order with the sphere free-energy $\tilde{F}$ and Zamolodchikov's metric $C_{IJ}$ of the corresponding conformal theory concentrating on the examples of the long-range vector $O(N)$ and hypercubic $H_N$ models. Our results imply a perturbative proof of the $\tilde{F}$-theorem at the leading nontrivial order. We conclude the paper discussing briefly whether this result should hold to the next orders in perturbation theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows a perturbative gradient flow for long-range phi^4 models up to three loops and matches A to F-tilde at leading order, but the C_IJ identification rests on an assumption that needs more justification without a local EMT.

read the letter

The punchline is that this work takes long-range multiscalar models without a local energy-momentum tensor and verifies that their RG flow obeys a gradient equation with a scalar A up to third order in the coupling. They also match A to the sphere free energy F-tilde and the metric G to C_IJ at the first nontrivial order for the O(N) vector and hypercubic models, which gives a perturbative version of the F-tilde theorem in this setting. That is the concrete advance over the usual local A-theorem literature. The three-loop calculation is the part that stands out: they extract the beta functions explicitly and check the gradient property directly from them, which is reproducible work and avoids just assuming the structure. The order-by-order matching to F-tilde is also done cleanly without forcing it by definition. The main soft spot is the handling of Zamolodchikov's metric. The paper notes the absence of a local EMT, yet still identifies G_IJ with C_IJ extracted in the usual way from the conformal theory. Without an alternative definition or regularization spelled out for the non-local case, that step relies on the assumption that conformal invariance at the fixed points lets the same extraction go through. It is not fatal for the leading-order perturbative claim, but it is the place where a referee would likely ask for more detail. This is a paper for people already working on monotonicity theorems or on long-range critical points in condensed matter. A reader who knows the standard gradient-flow results will see the value in the extension and the explicit checks. It has enough new calculation to deserve a serious referee rather than a desk reject; the loop work is the part that needs external scrutiny even if higher orders remain open.

Referee Report

1 major / 2 minor

Summary. The manuscript examines the renormalization group flow in long-range multiscalar φ⁴ theories, which lack a local energy-momentum tensor but are unitary in d=2,3 and conformally invariant at fixed points. It claims that the flow obeys the gradient equation ∂_I A = G_IJ β^J up to third loop order, and that the perturbatively constructed A and G_IJ match the sphere free energy F̃ and Zamolodchikov metric C_IJ at leading nontrivial order for the long-range O(N) vector and H_N hypercubic models, yielding a perturbative proof of the F̃-theorem at that order.

Significance. If the central results hold, the work supplies concrete perturbative evidence for a gradient structure in RG flows of theories without local EMTs and supports irreversibility theorems in long-range QFTs. The explicit three-loop verification of the gradient property and the order-by-order matching to conformal data constitute verifiable strengths that go beyond abstract claims.

major comments (1)

[matching discussion after three-loop results] In the discussion of the matching between the perturbatively defined G_IJ and Zamolodchikov's C_IJ (following the three-loop gradient verification), the identification is performed at leading nontrivial order. However, the manuscript explicitly notes the absence of a local energy-momentum tensor. The standard extraction of C_IJ from the two-point function of the local EMT is therefore unavailable, and no alternative definition, regularization, or non-local analogue is supplied. This leaves the claimed matching dependent on an implicit assumption about the realization of conformal invariance, which is load-bearing for the central matching result.

minor comments (2)

[abstract and introduction] The abstract and introduction use both F and F̃; a single consistent notation with an explicit definition of the tilde version should be adopted throughout to avoid reader confusion.
[introduction] The statement that the long-range theory is 'believed to be conformally invariant at fixed points' is repeated; a brief reference to the supporting literature or a short justification would strengthen the setup for the matching claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. We appreciate the positive assessment of the three-loop verification of the gradient structure and the significance for long-range QFTs. We address the single major comment below and have incorporated a clarification in the revised version.

read point-by-point responses

Referee: In the discussion of the matching between the perturbatively defined G_IJ and Zamolodchikov's C_IJ (following the three-loop gradient verification), the identification is performed at leading nontrivial order. However, the manuscript explicitly notes the absence of a local energy-momentum tensor. The standard extraction of C_IJ from the two-point function of the local EMT is therefore unavailable, and no alternative definition, regularization, or non-local analogue is supplied. This leaves the claimed matching dependent on an implicit assumption about the realization of conformal invariance, which is load-bearing for the central matching result.

Authors: We thank the referee for this observation. The manuscript does note the absence of a local EMT, which indeed prevents the standard definition of C_IJ from the stress-tensor two-point function. In long-range theories that remain conformally invariant at fixed points, however, C_IJ admits a definition via the two-point functions of the marginal scalar operators that generate the deformations, as employed in the literature on non-local CFTs. Our matching proceeds by direct perturbative comparison: the G_IJ extracted from the three-loop beta functions is shown to coincide with this C_IJ at the leading nontrivial order for the O(N) and H_N models. This is not an implicit assumption but follows from the explicit order-by-order agreement between the RG-derived quantities and the conformal data. To address the concern and make the construction fully explicit, we have added a short clarifying paragraph (new text in Section 4) that recalls the operator-based definition of the Zamolodchikov metric in the long-range setting, together with references to prior works that use analogous non-local realizations. We believe this revision removes any ambiguity while leaving the central results unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit loop computations provide independent content

full rationale

The paper constructs A and G_IJ explicitly from the beta functions via perturbative expansion up to three loops and verifies the gradient equation by direct calculation. The matching of these quantities to F-tilde and C_IJ is performed by comparing the resulting perturbative series term-by-term against independent expressions for the sphere free energy and Zamolodchikov metric in the conformal theory. No step reduces the claimed result to a fit, a self-citation chain, or a definitional identity; the central claims rest on explicit diagrammatic computations whose validity is independent of the final matching. The noted absence of a local EMT affects the interpretation of C_IJ but does not create a circular reduction within the derivation itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on perturbative expansion of beta functions, unitarity in d=2,3, and conformal invariance at fixed points; no new free parameters or invented entities are introduced beyond standard loop-order counting.

axioms (1)

domain assumption The long-range multiscalar φ⁴ theory is unitary in d=2,3 and conformally invariant at fixed points.
Invoked to justify use of sphere free-energy F-tilde and Zamolodchikov metric C_IJ.

pith-pipeline@v0.9.0 · 5791 in / 1292 out tokens · 42781 ms · 2026-05-22T09:42:57.967116+00:00 · methodology

Review history (2 revisions) →