pith. sign in

arxiv: 2603.09799 · v2 · pith:37FWY6NEnew · submitted 2026-03-10 · ✦ hep-th

The scheme independent 3-sphere free energy is not a monotone F-function

Giacomo Santoni , Francesco Scardino This is my paper

Pith reviewed 2026-05-21 11:38 UTC · model grok-4.3

classification ✦ hep-th
keywords scheme independencethree-sphere free energyF-theoremrenormalization group flowmassive scalar fieldconformal perturbation theorymonotonicity
0
0 comments X

The pith

The scheme-independent three-sphere free energy is not a monotone F-function along renormalization group flows.

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

The paper examines a scheme-independent quantity derived from the three-sphere partition function in three-dimensional quantum field theories by removing local counterterm ambiguities. This quantity coincides with the F-invariant at conformal fixed points and decreases under small relevant deformations according to conformal perturbation theory. However, an exact computation for the free massive scalar field on the three-sphere reveals that the quantity decreases below its infrared value during the flow before returning to it. This demonstrates that the counterterm-subtracted sphere free energy does not serve as a monotone interpolant for the F-function across the entire renormalization group trajectory. The authors identify the second-order differential operator used to remove ambiguities as the source of this non-monotonic behavior.

Core claim

The natural scheme-independent quantity obtained from the three-sphere partition function equals the standard F at conformal fixed points. Conformal perturbation theory shows it decreases at order g squared under relevant deformations. Yet for the free massive scalar, exact analysis on S^3 shows the quantity is not monotone: it dips below the infrared value and returns to it. The obstruction lies in the second-order differential operator needed to eliminate local ambiguities.

What carries the argument

The scheme-independent 3-sphere free energy obtained by applying a second-order differential operator to remove local counterterm ambiguities from the partition function.

Load-bearing premise

The local counterterm ambiguities in the three-sphere partition function can be removed by a second-order differential operator in such a way that the resulting scheme-independent quantity remains a valid monotone interpolant for the F-function along arbitrary RG flows.

What would settle it

An explicit computation of the scheme-independent sphere free energy for the free massive scalar that shows the quantity never falls below its infrared fixed-point value for any mass parameter.

Figures

Figures reproduced from arXiv: 2603.09799 by Francesco Scardino, Giacomo Santoni.

Figure 1
Figure 1. Figure 1: FIG. 1. (a) Thermodynamic [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

We study the natural scheme-independent quantity obtained from the three-sphere partition function of a $(2+1)$-dimensional quantum field theory by removing all local counterterm ambiguities. At conformal fixed points this quantity equals the standard $F$-theorem invariant. Conformal perturbation theory shows that it locally decreases at $O(g^2)$ under any relevant scalar deformation of a three-dimensional CFT. However, an exact analysis of the free massive scalar on $S^3$ shows that this sphere-free-energy interpolant is not monotone along the full renormalization-group flow: it dips below its infrared value and then returns to it. Thus the natural counterterm-subtracted quantity built from sphere thermodynamics is not, by itself, a monotone $F$-function. We trace the obstruction to the second-order differential operator required to eliminate the local ambiguities.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript studies the scheme-independent quantity obtained from the three-sphere partition function of a (2+1)d QFT after removing all local counterterm ambiguities via a second-order differential operator. At conformal fixed points this quantity reduces to the standard F-invariant. Conformal perturbation theory establishes a local decrease at O(g²) under relevant scalar deformations. An exact computation for the free massive scalar on S³ is then used to show that the interpolant is nevertheless non-monotone along the complete RG flow: it falls below its infrared value before recovering. The obstruction is traced directly to the second-order operator required for scheme independence.

Significance. If the central claim holds, the result shows that the most natural counterterm-subtracted sphere free energy does not furnish a monotone F-function, thereby constraining attempts to prove an F-theorem in three dimensions via sphere thermodynamics alone. The manuscript is strengthened by the combination of a perturbative local analysis with a fully non-perturbative exact counterexample on the free massive scalar, together with an explicit identification of the differential operator as the source of non-monotonicity. These elements provide a concrete, falsifiable obstruction that future constructions of monotone F-functions must circumvent.

major comments (2)
  1. [§3] §3 (exact free-scalar analysis): the claim that the scheme-independent quantity dips below its IR value relies on the explicit action of the second-order differential operator on the known S³ partition function of the massive scalar. The manuscript should display the resulting interpolating function (or at least its minimum value relative to the IR limit) as a function of the dimensionless mass parameter mR so that the non-monotonicity can be verified independently.
  2. [§2] §2 (conformal perturbation theory): while the O(g²) decrease is demonstrated, the coefficient obtained after the differential operator is applied should be compared quantitatively with the standard F-theorem coefficient for the same deformation; any discrepancy would clarify whether scheme independence modifies the local monotonicity strength.
minor comments (2)
  1. [Abstract] The abstract refers to 'an exact analysis' without naming the model; inserting 'free massive scalar' would improve immediate clarity.
  2. [§1] Notation for the second-order differential operator (e.g., its explicit form in terms of derivatives with respect to the radius or curvature) should be introduced once in the main text and used consistently thereafter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major comment below and have revised the manuscript to incorporate the suggested improvements.

read point-by-point responses

  1. Referee: [§3] §3 (exact free-scalar analysis): the claim that the scheme-independent quantity dips below its IR value relies on the explicit action of the second-order differential operator on the known S³ partition function of the massive scalar. The manuscript should display the resulting interpolating function (or at least its minimum value relative to the IR limit) as a function of the dimensionless mass parameter mR so that the non-monotonicity can be verified independently.

    Authors: We agree that an explicit display of the interpolating function would allow independent verification. In the revised manuscript we have added a new figure in §3 plotting the scheme-independent quantity versus the dimensionless mass mR. The plot confirms that the quantity falls below its infrared value, reaches a minimum, and then recovers to the IR limit as mR → ∞. We have also inserted the closed-form expression obtained by applying the second-order operator to the known massive-scalar partition function. revision: yes

  2. Referee: [§2] §2 (conformal perturbation theory): while the O(g²) decrease is demonstrated, the coefficient obtained after the differential operator is applied should be compared quantitatively with the standard F-theorem coefficient for the same deformation; any discrepancy would clarify whether scheme independence modifies the local monotonicity strength.

    Authors: We have carried out the requested comparison. Because the second-order differential operator annihilates the constant term and does not affect the leading O(g²) correction arising from the relevant deformation, the coefficient in the scheme-independent quantity is numerically identical to the standard coefficient that appears in the literature on the F-theorem for the same scalar deformation. A short paragraph documenting this equality has been added to the revised §2. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central result is an explicit counterexample: after defining a scheme-independent quantity by subtracting local counterterm ambiguities via a second-order differential operator, the exact solution for the free massive scalar on S^3 shows the quantity is non-monotone along the full RG flow. This computation is independent of any fitted parameters, self-referential definitions, or load-bearing self-citations. Conformal perturbation theory at O(g^2) provides separate local evidence of decrease. The derivation chain is self-contained against external benchmarks (free-field partition functions) and does not reduce any prediction to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central claim rests on standard QFT assumptions about the sphere partition function and the validity of the exact free-scalar solution; no explicit free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption The three-sphere partition function of a 3D QFT is well-defined up to local counterterms that can be subtracted by a differential operator
    Invoked when defining the scheme-independent quantity

pith-pipeline@v0.9.0 · 5667 in / 1264 out tokens · 83164 ms · 2026-05-21T11:38:23.370854+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 7 internal anchors

  1. [1]

    D. L. Jafferis, I. R. Klebanov, S. S. Pufu, and B. R. Safdi, Towards theF-theorem:N=2field theories on the three- sphere, JHEP06, 102, arXiv:1103.1181 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    I. R. Klebanov, S. S. Pufu, and B. R. Safdi,F-theorem without supersymmetry, JHEP10, 038, arXiv:1105.4598 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    On the RG running of the entanglement entropy of a circle

    H. Casini and M. Huerta, On the rg running of the en- tanglement entropy of a circle, Phys. Rev. D85, 125016 (2012), arXiv:1202.5650 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  4. [4]

    irreversibility

    A. B. Zamolodchikov, “irreversibility” of the flux of the renormalization group in a 2d field theory, JETP Lett. 43, 730 (1986), english translation of Pis’ma Zh. Eksp. Teor. Fiz. 43 (1986) 565–567

    work page 1986

  5. [5]

    Affleck, Universal term in the free energy at a critical point and the conformal anomaly, Phys

    I. Affleck, Universal term in the free energy at a critical point and the conformal anomaly, Phys. Rev. Lett.56, 746 (1986)

    work page 1986

  6. [6]

    H. W. J. Blöte, J. L. Cardy, and M. P. Nightingale, Con- formalinvariance, thecentralcharge, anduniversalfinite- size amplitudes at criticality, Phys. Rev. Lett.56, 742 (1986)

    work page 1986

  7. [7]

    Scale invariance vs conformal invariance

    Y. Nakayama, Scale invariance vs conformal invariance, Phys. Rept.569, 1 (2015), arXiv:1302.0884 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  8. [8]

    N. D. Birrell and P. C. W. Davies,Quantum Fields in Curved Space, Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 1982)

    work page 1982

  9. [9]

    D. V. Vassilevich, Heat kernel expansion: user’s manual, Phys. Rept.388, 279 (2003), arXiv:hep-th/0306138

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  10. [10]

    S. S. Pufu, The f-theorem and f-maximization, Journal of Physics A: Mathematical and Theoretical50, 443008 (2017), arXiv:1608.02960 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  11. [11]

    Abramowitz and I

    M. Abramowitz and I. A. Stegun, eds.,Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards Ap- plied Mathematics Series, Vol. 55 (U.S. Government Printing Office, 1965)

    work page 1965

  12. [12]

    I. S. Gradshteyn and I. M. Ryzhik,Table of Integrals, Series, and Products, 7th ed., edited by A. Jeffrey and D. Zwillinger (Academic Press, 2007)

    work page 2007

  13. [13]

    On Renormalization Group Flows in Four Dimensions

    Z. Komargodski and A. Schwimmer, On renormaliza- tion group flows in four dimensions, JHEP12, 099, arXiv:1107.3987 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    Santoni and F

    G. Santoni and F. Scardino, (to appear),

    work page