pith. sign in

arxiv: 2511.04509 · v2 · submitted 2025-11-06 · 🧮 math-ph · math.MP

Triviality vs perturbation theory: an analysis for mean-field φ⁴-theory in four dimensions

Christoph Kopper , Pierre Wang This is my paper

Pith reviewed 2026-05-17 23:59 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords mean-field approximationphi^4 theoryrenormalization group flowBorel summabilityperturbation theorytrivialityultraviolet cutofffour dimensions
0
0 comments X

The pith

With an ultraviolet cutoff kept, the renormalized mean-field perturbation series for four-dimensional φ⁴ theory is locally Borel summable and asymptotic to the non-perturbative solution.

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

The authors previously constructed a non-perturbative mean-field solution for the O(N) φ⁴ model in four dimensions using renormalization group flow equations. This paper connects that solution to ordinary perturbation theory by maintaining an ultraviolet cutoff. They introduce a renormalized coupling constant g and show that the perturbative solutions satisfy the mean-field flow equations at each order. The central result is a proof that the resulting perturbation series is locally Borel summable, with its sum being asymptotic to the full non-perturbative mean-field solution. A sympathetic reader would care because this supplies a controlled perturbative expansion that reproduces the trivial non-perturbative theory before the cutoff is removed.

Core claim

We have constructed the mean-field trivial solution of the φ⁴ theory O(N) model in four dimensions in two previous papers using the flow equations of the renormalization group. Here we establish a relation between the trivial solutions we constructed and perturbation theory. We show that if an UV-cutoff is maintained, we can define a renormalized coupling constant g and obtain the perturbative solutions of the mean-field flow equations at each order in perturbation theory. We prove the local Borel-summability of the renormalized mean-field perturbation theory in the presence of an UV cutoff and show that it is asymptotic to the non-perturbative solution.

What carries the argument

The mean-field truncation of the renormalization group flow equations, which yields explicit perturbative solutions order by order while preserving the ultraviolet cutoff.

If this is right

  • The perturbative series at any finite order satisfies the mean-field flow equations exactly when the ultraviolet cutoff is held fixed.
  • Local Borel summability allows the perturbative expansion to be resummed to recover the non-perturbative mean-field solution.
  • The relation between perturbation theory and the trivial solution holds only while the ultraviolet cutoff remains finite.
  • Removing the cutoff sends the renormalized coupling to zero, consistent with triviality of the theory.

Where Pith is reading between the lines

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

  • Similar relations between Borel-resummed perturbation theory and non-perturbative solutions may hold in other truncated renormalization-group schemes that retain a cutoff.
  • The results indicate that perturbative calculations remain reliable for extracting the cutoff-dependent physics before the continuum limit is taken.
  • Numerical checks of low-order truncations against the full flow solution could test the rate of asymptotic convergence.

Load-bearing premise

The mean-field truncation and the specific flow equations faithfully capture the ultraviolet behavior of the theory even after the cutoff is introduced.

What would settle it

A numerical computation of the Borel sum of the renormalized perturbative series at moderate coupling strength that deviates from the direct non-perturbative solution of the mean-field flow equations at the same cutoff value.

Figures

Figures reproduced from arXiv: 2511.04509 by Christoph Kopper, Pierre Wang.

Figure 1
Figure 1. Figure 1: The region of analyticity of the Borel-summable function [PITH_FULL_IMAGE:figures/full_fig_p024_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The region of analyticity of the Borel transform of a function satisfying the assumptions [PITH_FULL_IMAGE:figures/full_fig_p025_2.png] view at source ↗
read the original abstract

We have constructed the mean-field trivial solution of the $\varphi^4$ theory $O(N)$ model in four dimensions in two previous papers using the flow equations of the renormalization group. Here we establish a relation between the trivial solutions we constructed and perturbation theory. We show that if an UV-cutoff is maintained, we can define a renormalized coupling constant $g$ and obtain the perturbative solutions of the mean-field flow equations at each order in perturbation theory. We prove the local Borel-summability of the renormalized mean-field perturbation theory in the presence of an UV cutoff and show that it is asymptotic to the non-perturbative solution.

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 claims that, building on prior constructions of the non-perturbative trivial solution of the mean-field O(N) φ⁴ model in four dimensions via renormalization-group flow equations, the introduction of an ultraviolet cutoff allows definition of a renormalized coupling g. From the same flow equations the authors generate the perturbative series order by order, prove its local Borel summability, and establish that the summed series is asymptotic to the non-perturbative trivial solution.

Significance. If the central claims are rigorously established, the work supplies an explicit bridge between perturbative expansions and the trivial non-perturbative fixed point inside a controlled mean-field truncation. This could clarify how cutoff-dependent perturbation theory approximates triviality in four-dimensional scalar models and demonstrates the utility of flow-equation methods for relating perturbative and non-perturbative regimes.

major comments (2)
  1. [§2] §2 (Mean-field flow equations with UV cutoff): The perturbative solutions are generated from the identical flow equations used to define the non-perturbative trivial solution in the authors’ earlier papers. Although an external cutoff is introduced, the text does not supply an independent verification that the cutoff dependence remains faithful to the ultraviolet dynamics at all scales required for the Borel radius. This dependence is load-bearing for the claim that local Borel summability and asymptoticity are properties of the defined theory rather than artifacts of the truncation.
  2. [§4] §4 (Proof of local Borel summability): The manuscript asserts local Borel summability of the renormalized series but provides neither explicit remainder estimates nor bounds on the growth of the perturbative coefficients that would allow verification of the radius of convergence without external reference to the prior works. This gap directly affects the strength of the summability and asymptoticity statements.
minor comments (2)
  1. [Introduction] The notation for the renormalized coupling g is introduced without a clear contrast to the bare coupling in the opening paragraphs; a short clarifying sentence would improve readability.
  2. [References] The two prior papers on the trivial solution should be cited with full bibliographic details and any overlap in technical results should be stated explicitly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below. Where the suggestions identify opportunities for greater clarity or explicitness, we will revise the text accordingly.

read point-by-point responses

  1. Referee: [§2] §2 (Mean-field flow equations with UV cutoff): The perturbative solutions are generated from the identical flow equations used to define the non-perturbative trivial solution in the authors’ earlier papers. Although an external cutoff is introduced, the text does not supply an independent verification that the cutoff dependence remains faithful to the ultraviolet dynamics at all scales required for the Borel radius. This dependence is load-bearing for the claim that local Borel summability and asymptoticity are properties of the defined theory rather than artifacts of the truncation.

    Authors: The UV cutoff is introduced directly into the mean-field flow equations in Section 2 of the present manuscript, and both the non-perturbative trivial solution and the perturbative series are obtained from these same cutoff-regulated equations. The cutoff is a hard momentum cutoff that defines the theory at the ultraviolet scale; the flow equations then govern the evolution to infrared scales while preserving the ultraviolet structure by construction. The local Borel summability and asymptoticity are established strictly inside this cutoff theory, so the radius is determined by the analytic properties of the cutoff-regulated model. To address the referee’s concern, we will add a clarifying paragraph in §2 that explicitly separates the cutoff-regulated construction from the details of the earlier non-perturbative analysis and states why the cutoff choice ensures faithfulness to the ultraviolet dynamics on the scales relevant to the Borel disk. revision: yes

  2. Referee: [§4] §4 (Proof of local Borel summability): The manuscript asserts local Borel summability of the renormalized series but provides neither explicit remainder estimates nor bounds on the growth of the perturbative coefficients that would allow verification of the radius of convergence without external reference to the prior works. This gap directly affects the strength of the summability and asymptoticity statements.

    Authors: Section 4 derives the perturbative coefficients recursively from the cutoff flow equations and proves local Borel summability by constructing the Borel transform and verifying its analyticity in a disk whose radius is controlled by the growth of the coefficients. The growth bounds and remainder estimates are obtained inductively from the structure of the mean-field equations. While these steps are carried out in the manuscript, we acknowledge that the presentation would be strengthened by stating the coefficient bounds and remainder estimates more explicitly. In the revised version we will insert a lemma giving the explicit factorial growth bound on the coefficients and a short outline of the remainder estimate, thereby making the summability argument more self-contained while still building on the flow-equation framework developed in our earlier papers. revision: yes

Circularity Check

1 steps flagged

Borel-summability and asymptotic relation rest on mean-field flow equations defined in authors' prior self-cited papers

specific steps
  1. self citation load bearing [Abstract]
    "We have constructed the mean-field trivial solution of the φ⁴ theory O(N) model in four dimensions in two previous papers using the flow equations of the renormalization group. Here we establish a relation between the trivial solutions we constructed and perturbation theory. We show that if an UV-cutoff is maintained, we can define a renormalized coupling constant g and obtain the perturbative solutions of the mean-field flow equations at each order in perturbation theory. We prove the local Borel-summability of the renormalized mean-field perturbation theory in the presence of an UV cutoff."

    The non-perturbative trivial solution is taken as given from the authors' prior papers that employ the same mean-field flow equations; the perturbative series is then generated from those identical equations after introducing g and the cutoff. The claimed asymptotic relation and summability therefore hold by construction inside the authors' truncated RG framework rather than providing an external check against the full theory.

full rationale

The paper constructs both the non-perturbative trivial solution and the perturbative series from the identical renormalization-group flow equations introduced in the authors' two earlier works. While an external UV cutoff is added here to define the renormalized coupling g, the core relation (perturbative solutions asymptotic to the non-perturbative one, plus local Borel summability) is shown inside that same truncated framework. This creates moderate dependence on the prior self-citations for the load-bearing definitions, but the present paper still performs an independent perturbative expansion and summability proof within the cutoff theory, preventing a full reduction to tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work presupposes the validity of the renormalization-group flow equations in the mean-field approximation and the existence of a well-defined trivial solution constructed in earlier papers; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Renormalization-group flow equations accurately describe the scale dependence of the mean-field φ⁴ theory even in the presence of an explicit UV cutoff.
    Invoked throughout the construction of both the non-perturbative solution and the perturbative expansion.

pith-pipeline@v0.9.0 · 5405 in / 1308 out tokens · 17031 ms · 2026-05-17T23:59:27.982770+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

40 extracted references · 40 canonical work pages

  1. [1]

    Triviality proof for mean-fieldφ 4 4-theories

    Ch. Kopper and P. Wang. “Triviality proof for mean-fieldφ 4 4-theories”. In:J. Math. Phys.66 (2025)

    work page 2025

  2. [2]

    Asymptotically Free Solutions of the Scalar Mean Field Flow Equations

    Ch. Kopper. “Asymptotically Free Solutions of the Scalar Mean Field Flow Equations”. In:Ann. Henri Poincaré23 (2022), pp. 3453–3492

    work page 2022

  3. [3]

    Divergence of the perturbation theory series and quasi-classical theory

    L.N. Lipatov. “Divergence of the perturbation theory series and quasi-classical theory”. In: Sov. Phys. JETP45 (1977), pp. 216–223. 52

    work page 1977

  4. [4]

    Can We Make Sense Out of “Quantum Chromodynamics

    G. ’t Hooft. “Can We Make Sense Out of “Quantum Chromodynamics”?” In:The Whys of Subnuclear Physics. Ed. by A. Zichichi. Boston, MA: Springer US, 1979, pp. 943–982

    work page 1979

  5. [5]

    Decay properties and Borel summability for the Schwinger functions inP(ϕ) 2 theories

    J.-P. Eckman, J. Magnen, and R. Sénéor. “Decay properties and Borel summability for the Schwinger functions inP(ϕ) 2 theories”. In:Commun. Math. Phys.39 (1975), pp. 251–271

    work page 1975

  6. [6]

    Glimm and A

    J. Glimm and A. Jaffe.Quantum Physics: A Functional Integral Point of View. 2nd ed. Springer New York, 1987. Chap. 23

    work page 1987

  7. [7]

    Local existence of the Borel transform in Euclideanφ 4 4

    C. de Calan and V. Rivasseau. “Local existence of the Borel transform in Euclideanφ 4 4”. In: Commun. Math. Phys.82 (1981), pp. 69–100

    work page 1981

  8. [8]

    Bounds on renormalized Feynman graphs

    J. Feldman et al. “Bounds on renormalized Feynman graphs”. In:Commun. Math. Phys.100 (1985), pp. 23–55

    work page 1985

  9. [9]

    Feldman et al.QED: A proof of renormalizability, Lecture notes in Physics

    J. Feldman et al.QED: A proof of renormalizability, Lecture notes in Physics. Vol. 312. Berlin- Heidelberg-New York: Springer Verlag, 1988

    work page 1988

  10. [10]

    Construction and Borel summability of planar4-dimensional Euclidean field theory

    V. Rivasseau. “Construction and Borel summability of planar4-dimensional Euclidean field theory”. In:Commun. Math. Phys.95 (1984), pp. 445–486

    work page 1984

  11. [11]

    Renormalization of spontaneously brokenSU(2)Yang–Mills theory with flow equations

    Ch. Kopper and V.F. Müller. “Renormalization of spontaneously brokenSU(2)Yang–Mills theory with flow equations”. In:Reviews in Mathematical Physics21 (2009), pp. 781–820

    work page 2009

  12. [12]

    Renormalization of SU(2) Yang–Mills theory with flow equations

    A.N. Efremov, R. Guida, and Ch. Kopper. “Renormalization of SU(2) Yang–Mills theory with flow equations”. In:J. Math. Phys.58 (2017)

    work page 2017

  13. [13]

    Perturbative Renormalization with Flow Equations in Minkowski Space

    G. Keller, Ch. Kopper, and C. Schophaus. “Perturbative Renormalization with Flow Equations in Minkowski Space”. In:Helv. Phys. Acta70 (1996), pp. 247–274

    work page 1996

  14. [14]

    Local Borel summability of Euclideanφ 4 in four-dimensions: A Simple proof via differential flow equations

    G. Keller. “Local Borel summability of Euclideanφ 4 in four-dimensions: A Simple proof via differential flow equations”. In:Commun. Math. Phys.161 (1994), pp. 311–322

    work page 1994

  15. [15]

    Renormalization Group Equation for Critical Phenomena

    F.J. Wegner and A. Houghton. “Renormalization Group Equation for Critical Phenomena”. In: Phys. Rev. A8 (1973), pp. 401–412

    work page 1973

  16. [16]

    On the Local Borel Transform of Perturbation Theory

    Ch. Kopper. “On the Local Borel Transform of Perturbation Theory”. In:Commun. Math. Phys. 295 (2010), pp. 669–699

    work page 2010

  17. [17]

    Construction of Gross-Neveu model using Polchinski flow equation

    P. Duch. “Construction of Gross-Neveu model using Polchinski flow equation”. In:arXiv preprint:2403.18562 [math-ph](2024)

    work page arXiv 2024

  18. [18]

    Constructing a weakly-interacting fixed point of the fermionic Polchinski equation

    R.L. Greenblatt. “Constructing a weakly-interacting fixed point of the fermionic Polchinski equation”. In:J. Math. Phys.65 (2024)

    work page 2024

  19. [19]

    Proof of the Triviality ofφ 4 d Field Theory and Some Mean-Field Features of Ising models ford >4

    M. Aizenman. “Proof of the Triviality ofφ 4 d Field Theory and Some Mean-Field Features of Ising models ford >4”. In:Phys. Rev. Letters47 (1981), pp. 1–4

    work page 1981

  20. [20]

    On the triviality ofλϕ 4 4 theories and the approach to the critical point ind≥4 dimensions

    J. Fröhlich. “On the triviality ofλϕ 4 4 theories and the approach to the critical point ind≥4 dimensions”. In:Nucl. Phys. B200 (1982), pp. 281–296

    work page 1982

  21. [21]

    Marginal triviality of the scaling limits of critical 4D Ising andϕ 4 4 models

    M. Aizenman and H. Duminil-Copin. “Marginal triviality of the scaling limits of critical 4D Ising andϕ 4 4 models”. In:Annals of Mathematics194.1 (2021)

    work page 2021

  22. [22]

    A geometric perspective on the scaling limits of critical Ising andϕ 4 d models

    M. Aizenman. “A geometric perspective on the scaling limits of critical Ising andϕ 4 d models”. In: (2021)

    work page 2021

  23. [23]

    Some Special Examples in Renormalizable Field Theory

    T.D. Lee. “Some Special Examples in Renormalizable Field Theory”. In:Phys. Rev.95 (1954), pp. 1329–1334. 53

    work page 1954

  24. [24]

    Perturbative Renormalization by Flow Equations

    V.F. Müller. “Perturbative Renormalization by Flow Equations”. In:Reviews in Mathematical Physics15.05 (2003), pp. 491–558

    work page 2003

  25. [25]

    Functional analysis and probability theory

    M.C. Reed. “Functional analysis and probability theory”. In:Constructive Quantum Field The- ory. Ed. by G. Velo and A. Wightman. Vol. 25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1973, pp. 2–43

    work page 1973

  26. [26]

    Memoire sur la theorie des equations aux derivees partielles et la methode des approximations successives

    E. Picard. “Memoire sur la theorie des equations aux derivees partielles et la methode des approximations successives”. In:J. Math. Pures et Appl.§ (1890), pp. 145–210

    work page

  27. [27]

    Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales

    S. Banach. “Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales”. In:Fund. Math.3 (1922), pp. 133–181

    work page 1922

  28. [28]

    Bauerschmidt, D.C

    R. Bauerschmidt, D.C. Brydges, and G. Slade.Introduction to a Renormalisation Group Method. Lecture Notes in Mathematics. Springer Singapore, 2019

    work page 2019

  29. [29]

    Widder.The Laplace Transform

    D.V. Widder.The Laplace Transform. Princeton U.P., 1941. Chap. 2

    work page 1941

  30. [30]

    A theory of asymptotic series

    G.N. Watson. “A theory of asymptotic series”. In:Philos. Trans. Soc. London, Ser A211 (1912), pp. 279–313

    work page 1912

  31. [31]

    Nevanlinna

    F. Nevanlinna. In:Ann. Acad. Sci. Fenn. Ser.A12 (1918-1919)

    work page 1918

  32. [32]

    An improvement of Watson’s theorem on Borel summability

    A.D. Sokal. “An improvement of Watson’s theorem on Borel summability”. In:J. Math. Phys. 21 (1980), pp. 261–263

    work page 1980

  33. [33]

    Glimm and A

    J. Glimm and A. Jaffe.Quantum Physics: A Functional Integral Point of View. 2nd ed. Springer New York, 1987. Chap. 9,1

    work page 1987

  34. [34]

    Note sur une nouvelle formule de calcul différentiel

    C.F. Faà di Bruno. “Note sur une nouvelle formule de calcul différentiel”. In:Quart. J. Math.1 (1857), pp. 359–360

    work page

  35. [35]

    Comtet.Advanced Combinatorics

    L. Comtet.Advanced Combinatorics. 1970. Chap. 3, pp. 134–135

    work page 1970

  36. [36]

    The number of rrderings of n candidates when ties are permitted

    I.J. Good. “The number of rrderings of n candidates when ties are permitted”. In:Fibonacci Q. 13 (1975), pp. 11–18

    work page 1975

  37. [37]

    Riordan arrays and combinatorial sums

    R. Sprugnoli. “Riordan arrays and combinatorial sums”. In:Discrete Math.132 (1994), pp. 267– 290

    work page 1994

  38. [38]

    Preferential Arrangements

    O.A. Gross. “Preferential Arrangements”. In:Am. Math. Mon.69 (1962), pp. 4–8

    work page 1962

  39. [39]

    The hypercube of resistors, asymptotic expansions, and preferential arrange- ments

    N. Pippenger. “The hypercube of resistors, asymptotic expansions, and preferential arrange- ments”. In:Mathematics Magazine83 (2010), pp. 331–346

    work page 2010

  40. [40]

    Convolutions of Tribonacci, Fuss-Catalan, and Motzkin sequences

    D. Birmajer, J.B. Gil, and M. Weiner. “Convolutions of Tribonacci, Fuss-Catalan, and Motzkin sequences”. In:Fibonacci Quart.52(2014), pp. 54–60. 54

    work page 2014