REVIEW 2 major objections 4 minor 39 references
Closed-form thermal threshold functions for the proper-time renormalisation group
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper derives closed-form thermal threshold functions for the proper-time renormalisation group, replacing numerical Matsubara evaluation with rapidly convergent Bessel winding-number series and reducing every higher threshold to a…
desk verdict The closed-form Bessel threshold functions and the cross-family identity are real, but the finite-temperature anomalous dimension (Eq. 44) is asserted without derivation and the LPA' scan rests on it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the modular inversion of the $\theta$ function that appears when each Matsubara term is written as a Mellin-Laplace transform: $\sum_{n\in\mathbb{Z}} e^{-4\pi^2\tau^2 t n^2} = \frac{1}{2\tau\sqrt{\pi t}} \sum_{\ell\in\mathbb{Z}} e^{-\ell^2/(4\tau^2 t)}$. This trades the slowly convergent sum over Matsubara modes for an exponentially convergent sum over thermal windings, each carrying a modified Bessel function $K_{m-2}(\ell\sqrt{1+w}/\tau)$. The central algebraic identity is established at the integrand level: differentiating the proper-time kernel $u^m e^{-u}/\Gamma(m)$ with respect to $w$ simply raises the kernel parameter $m$, reproducing the same kernel at parameter $m+n$ up to a binomial factor. The proper-time kernel $F(u;m) = 2u^m e^{-u}/\Gamma(m)$ is the named central object, and the closed forms (12) and (22) are what carry every subsequent flow calculation.
What would settle it
Evaluate the right-hand side of the Matsubara representation (11) by direct numerical summation at a non-special value of the regulator parameter, say m=3.7, w=0.5, tau=0.5, and compare with the Bessel closed form (12) to high precision; any disagreement beyond summation tolerance would contradict the central claim. Separately, compute the finite-temperature anomalous dimension by a direct derivative expansion of the proper-time two-point function without assuming uniform Z_k, and see whether the LPA' fixed point (48)-(50) shifts beyond the regulator spread.
Extended reading notes
Core claim
The central claim is that the thermal threshold function $L_0^{(m)}(w;\tau)$ has the closed form $L_0^{(m)}(w;\tau) = \frac{1}{16\pi^2\Gamma(m)}\left[\frac{\Gamma(m-2)}{(1+w)^{m-2}} + 4\sum_{\ell\ge1}\left(\frac{\ell}{2\tau\sqrt{1+w}}\right)^{m-2} K_{m-2}\left(\frac{\ell\sqrt{1+w}}{\tau}\right)\right]$, obtained by Poisson-resumming the Matsubara sum into a sum over windings around the thermal circle. The companion identity $L_n^{(m)}(w;\tau) = \binom{m+n-1}{n} L_0^{(m+n)}(w;\tau)$ follows already from the kernel integrand and makes every derivative-level threshold a shifted copy of the same basic function. For the sharp proper-time regulator, the $m\to\infty$ endpoint, the closed form factorises exactly into $e^{-w}/(16\pi^2)$ times a thermal $\theta$ function, with the field and temperature dependences separating. At $m=5/2$ the threshold coincides identically with the exact-flow coth form at all temperatures, not only in the high-temperature or zero-temperature limits. The author presents these results as the complete analytic infrastructure of the finite-temperature PTRG at LPA and LPA'.
Load-bearing premise
The load-bearing premise is that the finite-temperature anomalous-dimension formula (44) remains valid when the kinetic term is taken uniform in the field and when the finite-temperature difference between spatial and temporal wave-function renormalisation is neglected; the paper states this as an untested limitation.
Editorial extensions
If this is right
- Every LPA and LPA' computation at finite temperature in the O(N) scalar theory can be evaluated with exponentially convergent Bessel sums instead of numerical Matsubara sums, at cost independent of the number of modes.
- The sharp regulator endpoint factorises, so the field and temperature dependence are separately exact and the scheme has exponential rather than algebraic decoupling.
- Because of the identity (22), one implementation of $L_0$ at real $m$ evaluates every threshold function of every family member, and derivative-expansion coefficients inherit the same convergence.
- The LPA' fixed point can be tracked as a continuous function of the regulator parameter; the paper finds both the anomalous dimension and the correlation-length exponent smooth and bounded, with the exponent varying by about 1.3% while the anomalous dimension varies by about 30% across the family.
- At $m=5/2$ the proper-time PTRG is identically, not just asymptotically, the thermal exact flow with the optimised regulator, so the two schemes coincide exactly at this point for all temperatures.
Reading between the lines
- The same modular-resummation route suggests closed forms for any regulator kernel of Laplace type, since the only property used is that the kernel enters the integrand as an exponential; the paper does not explore broader kernel classes.
- A natural test is to compute the finite-temperature anomalous dimension without the uniform-$Z_k$ assumption and ask whether the smoothness of the regulator scan survives; the paper flags this as its main open limitation.
- Because the closed forms make regulator scans effectively free, they could be used to quantify scheme dependence of first-order-transition observables, including the non-convex region whose scheme dependence the paper explicitly notes.
- The integrand-level proof of the cross-family identity hints that derivative-expansion coefficients in broader proper-time constructions may share the same shifted-parameter structure, not just the threshold functions computed here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops closed-form expressions for the thermal threshold functions of the finite-temperature proper-time renormalisation group (PTRG). Starting from the Matsubara representation of L_0^{(m)}, it applies Poisson resummation and Mellin-Barnes techniques to obtain a winding-number series of modified Bessel functions (Eq. 12), proves the cross-family identity L_n^{(m)} = binom(m+n-1,n) L_0^{(m+n)} (Eq. 22), derives the m→∞ sharp-kernel endpoint in factorised form (Eq. 15), and checks these results against the zero-temperature limit, dimensional reduction, heavy-mode decoupling, and one-loop thermal perturbation theory. It then assembles LPA and LPA' flows for the O(N) scalar theory, states a finite-temperature anomalous-dimension formula (Eq. 44), and uses it to scan the LPA' quartic fixed point continuously in the regulator parameter m (Figs. 3 and 4).
Significance. The threshold-function calculus is a genuine technical advance if the main derivation is accepted. Appendix A is self-contained and complete: the Gaussian momentum integral, Mellin-Barnes representation, Poisson inversion, and Bessel integral are all exhibited, and Eq. (22) is proved at the level of the kernel integrand before any integration. The closed forms contain no fitted constants; the only free parameter is the regulator label m. The exact finite-τ equality with the Wetterich threshold at m=5/2, the sharp-regulator factorisation, and the frozen-curvature one-loop completeness check (Eq. 34) are strong internal consistency tests. The finite-temperature anomalous dimension and the continuous regulator scan, by contrast, are not yet on the same footing: Eq. (44) is asserted rather than derived, and the subsequent fixed-point results inherit that gap.
major comments (2)
- [§4.2, Eq. (44)] Equation (44), the finite-temperature anomalous dimension, is introduced with the phrase 'Expanding ... gives' and no derivation is shown. This is the load-bearing new ingredient of the LPA' section: the quadratic fixed-point equation (48), the eigenvalue formulas (49)-(50), and the continuous regulator scan in Figs. 3 and 4 all presuppose it. At finite temperature the O(p^2) projection of the proper-time heat-kernel trace is not automatically the T=0 formula with τ-dependent L_3: the discrete p_0 direction, the Z_k^{-3/2} prefactor produced by the Gaussian spatial-momentum integral when Z_k ≠ 1, and the O(4)-breaking split Z_spatial ≠ Z_temporal can all generate additional contributions. The paper's own Sec. 5 limitation statement concedes that the split is untested. Please provide the projection calculation from Eqs. (2) and (43), keeping all η-dependent and Z-dependent terms, or explicitly label Eq. (44) and the fixed-point results that depend on it as conjectural.
- [§4.2, Eqs. (46)-(50)] The claim that the LPA' fixed point varies smoothly with 'no special or pathological point anywhere on the line' is a property of the specific two-coupling, uniform-Z_k truncated system, not of the PTRG itself. Conditional on Eq. (44) and the high-temperature power laws (41), the algebra from (46) to (50) is internally consistent, but if Eq. (44) is modified by O(4)-splitting or Z-dependent terms, the cancellation that produces the closed quadratic (48) will not necessarily survive. The discussion should therefore separate the robust threshold-function calculus from the truncation-dependent fixed-point scan, and the comparison with the Ising values in Sec. 4.2 should be presented as an assessment of the two-coupling truncation, not as a regulator-dependence result of the full theory.
minor comments (4)
- [§3.1, Eq. (16)] The claim that the m→∞ limit at fixed physical scales approaches the sharp-kernel threshold with O(1/m) corrections is stated without proof for finite τ; because the limit is taken after the ℓ-sum in Eq. (12), please provide the uniform large-order Bessel asymptotics or a suitable reference.
- [§3.1, Eq. (13)] As printed, the Poisson inversion factor (2τ√π t)^{-1} is the standard one; a one-line derivation or an explicit normalisation convention would remove any ambiguity.
- [§3.1, notation] The symbol τ denotes both the imaginary-time coordinate in Eq. (9) and the dimensionless temperature T/k from Eq. (10) onward; the re-use is flagged in the text, but a distinct symbol for one of the two quantities would improve readability.
- [§5] The phrases 'complete analytic infrastructure' and 'complete map of the regulator dependence' overstate the status of the LPA' results given the unresolved status of Eq. (44); I suggest softening these summary statements.
Circularity Check
No significant circularity: the closed-form threshold derivation is self-contained, and the finite-temperature anomalous-dimension formula is an asserted extension rather than a circular step.
full rationale
The central results, Eqs. (12) and (22), are derived directly from the defining proper-time flow (2) by explicit Gaussian momentum integration, Mellin–Barnes representation, Poisson resummation of the Matsubara sum, and a standard Bessel integral; the cross-family identity (22) is proven from the linearity of the defining integral at the level of the integrand, Eq. (25), and is not assumed. No parameter is fitted to any target quantity: m is a scheme label, and the fixed-point results (47)–(50) are solved algebraically from the derived threshold functions rather than adjusted to benchmarks. The comparisons against the exact Wetterich flow, one-loop thermal perturbation theory, and known T=0 thresholds are genuinely external checks, not inputs. The only in-scope caveat is Eq. (44), the finite-temperature anomalous dimension, which is introduced by analogy to the T=0 construction of [22] rather than re-derived in the paper; this is a derivation-gap/correctness concern, not a case of a prediction being equivalent to its inputs by construction or by self-citation. Likewise, the Section 5 limitation about Z_spatial ≠ Z_temporal is an acknowledged boundary on the LPA′ application, not a circular step. Because the paper's central derivation reduces neither to a fitted quantity nor to a load-bearing self-citation chain, the appropriate finding is no significant circularity.
Assumptions & free parameters
free parameters (1)
- m =
not fitted; scanned over (2, infinity)
assumptions (6)
- standard math Poisson summation formula (Jacobi theta modular inversion), Eq. (13)
- standard math Mellin-Barnes integral representation (53) and tabulated Bessel integral (55)
- domain assumption Thermal field theory on R^3 x S^1 with Matsubara frequencies omega_n = 2 pi n T
- domain assumption PTRG flow equation (2) as the defining approximation
- domain assumption Uniform-Z_k LPA' truncation ignoring field dependence and O(4)-breaking Z_spatial != Z_temporal
- ad hoc to paper The T=0 heat-kernel construction of eta [22] extends to finite T by inserting tau-dependence through L_3, with no additional eta-dependent or O(4)-splitting terms
Cite this review
Pith. "Pith review of Closed-form thermal threshold functions for the proper-time renormalisation group." pith.science (2026). https://pith.science/paper/UE5NDBBE
@misc{pith2026260809803,
author = {Pith},
title = {Pith review of: Closed-form thermal threshold functions for the proper-time renormalisation group},
year = {2026},
howpublished = {\url{https://pith.science/paper/UE5NDBBE}},
note = {Machine review of arXiv:2608.09803}
}
abstract
We derive closed-form expressions for the thermal threshold functions of the finite-temperature proper-time renormalisation group (PTRG): until now these have been evaluated numerically, Matsubara mode by Matsubara mode. For the standard one-parameter regulator family, Poisson resummation of the Matsubara sum yields a rapidly convergent winding-number series of modified Bessel functions, and a single algebraic identity reduces every higher threshold function to this same closed form at a shifted kernel parameter. The sharp proper-time regulator, recovered as the exact $m\to\infty$ endpoint of the family with a controlled $O(1/m)$ approach, factorises into a field-dependent and a purely thermal piece. Built on them, the local potential approximation (LPA) and its refinement to a running anomalous dimension (LPA$'$) for the $O(N)$-symmetric theory reduce to established results, all cross-checked against the exact Wetterich equation with the optimised regulator. Two findings go beyond reduction. First, the known zero-temperature anomalous-dimension construction is extended here to finite temperature. Second, because the closed form holds for any real regulator parameter, the refined truncation's fixed point can for the first time be tracked as a continuous function of the regulator, rather than at a handful of isolated points, and is found to vary smoothly and remain bounded, with no special or pathological point anywhere on the line.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[22]
On Exact Proper Time Wilsonian RG Flows.Eur
Alfio Bonanno, Stefan Lippoldt, Roberto Percacci, and Gian Paolo Vacca. On Exact Proper Time Wilsonian RG Flows.Eur. Phys. J. C, 80(3):249, 2020
work page 2020
-
[1]
V. A. Kuzmin, V. A. Rubakov, and M. E. Shaposhnikov. On the Anomalous Electroweak Baryon Number Nonconservation in the Early Universe.Phys. Lett. B, 155:36, 1985
work page 1985
-
[2]
Morrissey and Michael J
David E. Morrissey and Michael J. Ramsey-Musolf. Electroweak baryogenesis.New J. Phys., 14:125003, 2012
2012
-
[3]
Detecting gravitational waves from cosmological phase transitions with LISA: an update.JCAP, 03:024, 2020
Chiara Caprini et al. Detecting gravitational waves from cosmological phase transitions with LISA: an update.JCAP, 03:024, 2020
2020
-
[4]
The Effective potential and first order phase transitions: Beyond leading-order.Phys
Peter Brockway Arnold and Olivier Espinosa. The Effective potential and first order phase transitions: Beyond leading-order.Phys. Rev. D, 47:3546, 1993. [Erratum: Phys.Rev.D 50, 6662 (1994)]
work page 1994
-
[5]
K. Kajantie, M. Laine, K. Rummukainen, and Mikhail E. Shaposhnikov. Is there a hot electroweak phase transition atm H ≳m W ?Phys. Rev. Lett., 77:2887–2890, 1996
work page 1996
-
[6]
Exact evolution equation for the effective potential.Phys
Christof Wetterich. Exact evolution equation for the effective potential.Phys. Lett. B, 301:90–94, 1993
1993
-
[7]
Nonperturbative renormalization flow in quantum field theory and statistical physics.Phys
Juergen Berges, Nikolaos Tetradis, and Christof Wetterich. Nonperturbative renormalization flow in quantum field theory and statistical physics.Phys. Rept., 363:223–386, 2002
work page 2002
Show all 39 references
-
[8]
The Asymptotic Safety Scenario in Quantum Gravity
Max Niedermaier and Martin Reuter. The Asymptotic Safety Scenario in Quantum Gravity. Living Rev. Rel., 9:5–173, 2006
2006
-
[9]
Asymptotically safe quantum gravity and its phenomenology – a review
Astrid Eichhorn. Asymptotically safe quantum gravity and its phenomenology – a review. 6 2026
2026
-
[10]
Quantum Einstein Gravity.New J
Martin Reuter and Frank Saueressig. Quantum Einstein Gravity.New J. Phys., 14:055022, 2012
2012
-
[11]
Pawlowski, Roberto Percacci, Martin Reuter, Frank Saueressig, and Gian Paolo Vacca
Alfio Bonanno, Astrid Eichhorn, Holger Gies, Jan M. Pawlowski, Roberto Percacci, Martin Reuter, Frank Saueressig, and Gian Paolo Vacca. Critical reflections on asymptotically safe gravity.Front. in Phys., 8:269, 2020
2020
-
[12]
Daniel F. Litim. Optimized renormalization group flows.Phys. Rev. D, 64:105007, 2001
2001
-
[13]
Daniel F. Litim. Critical exponents from optimized renormalization group flows.Nucl. Phys. B, 631:128–158, 2002
2002
-
[14]
Oleszczuk
M. Oleszczuk. A Symmetry preserving cutoff regularization.Z. Phys. C, 64:533–538, 1994
1994
-
[15]
On connection between momentum cutoff and the proper time regularizations
Sen-Ben Liao. On connection between momentum cutoff and the proper time regularizations. Phys. Rev. D, 53:2020–2036, 1996
2020
-
[16]
Litim and Jan M
Daniel F. Litim and Jan M. Pawlowski. Completeness and consistency of renormalisation group flows.Phys. Rev. D, 66:025030, 2002
2002
-
[17]
Litim and Jan M
Daniel F. Litim and Jan M. Pawlowski. Perturbation theory and renormalization group equations.Phys. Rev. D, 65:081701, 2002
2002
-
[18]
Universal content of the proper time flow in scalar and Yang-Mills theories.Phys
Gabriele Giacometti, Daniele Rizzo, and Dario Zappal` a. Universal content of the proper time flow in scalar and Yang-Mills theories.Phys. Rev. D, 113(4):045020, 2026
2026
-
[19]
Towards an accurate determination of the critical exponents with the renormalization group flow equations.Phys
Alfio Bonanno and Dario Zappal` a. Towards an accurate determination of the critical exponents with the renormalization group flow equations.Phys. Lett. B, 504:181–187, 2001. 20
2001
-
[20]
Mazza and D
M. Mazza and D. Zappal` a. Proper time regulator and renormalization group flow.Phys. Rev. D, 64:105013, 2001
2001
-
[21]
Litim and Dario Zappal` a
Daniel F. Litim and Dario Zappal` a. Ising exponents from the functional renormalisation group.Phys. Rev. D, 83:085009, 2011
2011
-
[23]
Spontaneous symmetry breaking and proper time flow equations.Nucl
Alfio Bonanno and Giuseppe Lacagnina. Spontaneous symmetry breaking and proper time flow equations.Nucl. Phys. B, 693:36–50, 2004
2004
-
[24]
O. Bohr, B. J. Schaefer, and J. Wambach. Renormalization group flow equations and the phase transition in O(N) models.Int. J. Mod. Phys. A, 16:3823–3852, 2001
2001
-
[25]
B. J. Schaefer, O. Bohr, and J. Wambach. Finite temperature gluon condensate with renormalization group flow equations.Phys. Rev. D, 65:105008, 2002
2002
-
[26]
Proper time flow equation for gravity.JHEP, 02:035, 2005
Alfio Bonanno and Martin Reuter. Proper time flow equation for gravity.JHEP, 02:035, 2005
2005
-
[27]
Gauge and parametrization depen- dence of quantum Einstein gravity within the proper time flow.Phys
Alfio Bonanno, Giovanni Oglialoro, and Dario Zappal` a. Gauge and parametrization depen- dence of quantum Einstein gravity within the proper time flow.Phys. Rev. D, 112(2):026002, 2025
2025
-
[28]
Bonanno, Roman A
Alfio M. Bonanno, Roman A. Konoplya, Giovanni Oglialoro, and Andrea Spina. Regular black holes from proper-time flow in quantum gravity and their quasinormal modes, shadow and Hawking radiation.JCAP, 12:042, 2025
2025
-
[29]
E. M. Glaviano and A. Bonanno. Proper-time flow equation and non-local truncations in quantum gravity. In17th Marcel Grossmann Meeting: On Recent Developments in Theoretical and Experimental General Relativity, Gravitation, and Relativistic Field Theories, 10 2024
2024
-
[30]
Quantum gravity contributions to the gauge and Yukawa couplings in proper time flow.Phys
Gabriele Giacometti, Kamila Kowalska, Daniele Rizzo, Enrico Maria Sessolo, and Dario Zappal` a. Quantum gravity contributions to the gauge and Yukawa couplings in proper time flow.Phys. Rev. D, 114(1):016020, 2026
2026
-
[31]
The Phase diagram of the quark meson model.Nucl
Bernd-Jochen Schaefer and Jochen Wambach. The Phase diagram of the quark meson model.Nucl. Phys. A, 757:479–492, 2005
2005
-
[32]
A New approach to quantum statistical mechanics.Prog
Takeo Matsubara. A New approach to quantum statistical mechanics.Prog. Theor. Phys., 14:351–378, 1955
1955
-
[33]
Naturalness and UV sensitivity in Kaluza-Klein theories.Phys
Carlo Branchina, Vincenzo Branchina, and Filippo Contino. Naturalness and UV sensitivity in Kaluza-Klein theories.Phys. Rev. D, 108(4):045007, 2023
2023
-
[34]
https://dlmf.nist.gov/, Release 1.2.7 of 2026-06-15
NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.2.7 of 2026-06-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds
2026
-
[35]
Carazzone
Thomas Appelquist and J. Carazzone. Infrared Singularities and Massive Fields.Phys. Rev. D, 11:2856, 1975
1975
-
[36]
Dolan and R
L. Dolan and R. Jackiw. Symmetry Behavior at Finite Temperature.Phys. Rev. D, 9:3320–3341, 1974. 21
1974
-
[37]
Critical phenomena and renormalization group theory
Andrea Pelissetto and Ettore Vicari. Critical phenomena and renormalization group theory. Phys. Rept., 368:549–727, 2002
2002
-
[38]
Optimization of the derivative expansion in the nonperturbative renormalization group.Phys
Leonie Canet, Bertrand Delamotte, Dominique Mouhanna, and Julien Vidal. Optimization of the derivative expansion in the nonperturbative renormalization group.Phys. Rev. D, 67:065004, 2003
2003
-
[39]
Convergence of Nonperturbative Approximations to the Renormalization Group.Phys
Ivan Balog, Hugues Chat´ e, Bertrand Delamotte, Maroje Marohnic, and Nicol´ as Wschebor. Convergence of Nonperturbative Approximations to the Renormalization Group.Phys. Rev. Lett., 123(24):240604, 2019. 22
2019
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.