REVIEW 4 minor 16 references
Finite path integral limits work in cases where the perturbative series is not Borel summable
T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5
Pith's one-line read Finite integral limits turn a non-Borel-summable double-well series into an absolutely convergent one that recovers the exact answer, even when expanded about only one minimum.
desk verdict Clean, fully explicit toy-model proof that finite cutoffs convert a non-Borel double-well integral into absolutely convergent series that recover the exact answer, even from a single-minimum expansion. 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
Finite path-integral cutoffs ±L: the replacement of infinite integration limits by a finite L before the power series in the coupling is formed, followed by exact summation and only then the limit L o∞.
What would settle it
Sum the finite-L series numerically to high order for a large but finite L and a chosen strong coupling, then verify that the result approaches the known closed-form Bessel expression as L is increased further; any residual systematic deviation that survives the L o∞ limit would falsify the claim.
Extended reading notes
Core claim
Under finite integral limits from −L to L the two perturbative expansions (about the origin and about one minimum) of the double-well integral are absolutely convergent for every positive coupling. Their sums, once the limit L o∞ is taken, equal the exact analytic value of the original integral, so an expansion performed about a single minimum already encodes the contribution of both wells.
Load-bearing premise
The elementary one-dimensional double-well integral already contains the essential mechanism that makes realistic systems with non-trivial vacua produce non-Borel-summable series, so success on this toy model is informative for those harder cases.
Editorial extensions
If this is right
- Absolutely convergent strong-coupling series exist for non-Borel-summable models with degenerate vacua once the integration limits are kept finite.
- A perturbative expansion performed about only one vacuum can still reproduce the full non-perturbative content of a double well after the cutoff is removed.
- The finite-limit procedure previously applied to the Borel-summable anharmonic oscillator extends without change to a non-Borel case.
- Analytic summation of the finite-L series followed by L o∞ yields the exact closed form without any Borel transform or resummation step.
Reading between the lines
- The same finite-cutoff device may supply a practical way to resolve infrared-renormalon ambiguities in QCD without explicitly introducing a condensate vacuum.
- Energy eigenvalues of the quantum double-well potential could be extracted from a convergent finite-L series rather than multi-instanton calculus.
- Absolute convergence for every coupling suggests that the radius of convergence is controlled only by the cutoff size, independent of vacuum topology.
- The method could be checked on other non-Borel systems whose exact answers are known, such as certain sine-Gordon observables.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the elementary integral I=∫_{-∞}^∞ exp((a/2)x^{2}-λx^{4})dx (a>0, λ>0), whose integrand has a double-well shape. The standard expansion about one minimum produces a non-Borel-summable asymptotic series in λ (singularity of the Borel transform on the positive real axis). Under finite limits ±L the author constructs two power series in λ—one by expanding about the local maximum at x=0 and one by expanding about a single minimum—proves both are absolutely convergent for every λ>0 by the ratio test, sums them in closed form, and shows that lim_{L o∞} recovers exactly the known analytic expression involving modified Bessel functions I_{±1/4}. The result is presented as a first illustration that finite path-integral limits remain effective when the series is not Borel summable.
Significance. If the explicit constructions hold (they do), the work supplies a clean, fully checkable demonstration that absolute convergence and exact recovery of the non-perturbative answer are possible even for a non-Borel-summable series generated by a degenerate vacuum. Strengths include the complete algebraic transparency of every step (binomial expansions, incomplete-gamma and hypergeometric representations, ratio-test limits (20) and (35), term-by-term summation, and the final L o∞ limits that match the independent closed form (2)), the fact that the one-minimum expansion already captures both wells, and the absence of any fitted parameters. The paper correctly frames itself as a toy-model first step toward the QM double-well energy series and IR renormalons; that limited scope does not diminish the internal result.
minor comments (4)
- Several typographical errors should be corrected before publication: “Aknowledgments” (p. 13), “expnasions” in the title of Ref. [8], “the the” (p. 12, line 3 of the penultimate paragraph), and the inconsistent capitalization of “Series” versus “series” in the notation I_series(L).
- In Sec. 3.2 the finite-L integral is written over y∈[-L,L] after the shift x=x_{+}+y. While the subsequent L o∞ limit is exact, a short remark clarifying that the finite-L domain is not symmetric about the original origin (and therefore does not yet “see” both wells equally for moderate L) would help readers who wish to evaluate the truncated series numerically.
- The incomplete-gamma and _{2}F_{2} representations (18), (34) are correct but become cumbersome for practical high-order evaluation. A brief note on the numerical stability of these special functions for large L and large order would improve usability.
- References [8] and [9] are the author’s own preceding works; a sentence or two situating the present calculation more explicitly against the Borel-summable anharmonic-oscillator case treated in [9] would sharpen the logical progression for the reader.
Circularity Check
No circularity: both finite-L series are derived from the integral definition and independently recover the known closed form after L o∞.
full rationale
The paper’s central claim is fully internal and self-contained. The target closed form (2) is an independent textbook expression involving modified Bessel functions of the first kind; it is not fitted or defined from the series. Under finite limits the expansions about x=0 (17)–(18) and about one minimum (31)–(34) are obtained by ordinary power-series expansion of the integrand, absolute convergence is proved by the ratio test ((20) and (35)), and the infinite sums are performed via incomplete-gamma / hypergeometric identities that yield, after lim L o∞, exactly (2). No free parameter is adjusted to the answer, no uniqueness theorem is imported from the author’s prior work, and the self-citations [8,9] are used only for motivational context (the Borel-summable anharmonic oscillator). The derivation therefore does not reduce to its inputs by construction.
Assumptions & free parameters
assumptions (3)
- standard math The incomplete-gamma series representation γ(α,x)=∑(-1)^m x^{α+m}/(m!(α+m)) is valid for the arguments that appear after the finite-L expansion.
- standard math The ratio test lim |c_{q+1}/c_q|=0 implies absolute convergence of the power series in λ for any finite L.
- domain assumption An improper integral ∫_{-∞}^∞ f(x) dx is defined as lim_{L o∞} ∫_{-L}^L f(x) dx, so performing the perturbative expansion inside the finite integral and then taking the limit is legitimate.
Cite this review
Pith. "Pith review of Finite path integral limits work in cases where the perturbative series is not Borel summable." pith.science (2026). https://pith.science/paper/7PT2HYNN
@misc{pith2026260703439,
author = {Pith},
title = {Pith review of: Finite path integral limits work in cases where the perturbative series is not Borel summable},
year = {2026},
howpublished = {\url{https://pith.science/paper/7PT2HYNN}},
note = {Machine review of arXiv:2607.03439}
}
abstract
The perturbative expansion in powers of the coupling of observables in quantum field theory and quantum mechanics is known to yield an asymptotic series. If the original physical system is well-behaved and a finite observable is expected, this can often be calculated via a Borel resummation of the asymptotic series. However, there are cases where a system is well-behaved and the series is not Borel summable. This typically occurs when the physical system has a non-trivial vacuum structure. It has recently been shown that if the perturbative series is carried out under finite path integral limits, one can obtain a convergent series that yields observables even at strong coupling. This was recently used to obtain the energy at strong coupling for the anharmonic oscillator. This is a Borel summable case so the question is whether finite path integral limits work when the series is not Borel summable. To begin answering this question we consider a simple non-Borel summable case: the series stemming from a basic integral where the function has a double-well shape and hence two minima. The integral has an exact analytical expression that the series can be compared to. Under finite integral limits that run from $-L$ to $L$, where $L$ is finite, positive and real, we develop two perturbative series in powers of the coupling: one by expanding the integral about the local maximum at the origin and the other by expanding it about one of the minima. In both cases, we obtain an absolutely convergent series and the series sums to the exact analytical expression of the original integral in the infinite $L$ limit. It is significant that a perturbative expansion about one of the minima reproduces the exact analytical expression because this implies that it captures the full effect of both minima.
Reference graph
Works this paper leans on
-
[1]
Dyson,Divergence of perturbation theory in quantum electrodynamics, Phys
F. Dyson,Divergence of perturbation theory in quantum electrodynamics, Phys. Rev.85, 631 (1952)
1952
-
[2]
Le Guillou and J
J.C. Le Guillou and J. Zinn-Justin (eds.),Large-order behaviour of perturbation theory, (North-Holland, Amsterdam, Netherlands, 1990)
1990
-
[3]
A. J. MacKane,Perturbative expansions at large order: Results for scalar fields revisited, J. Phys. A52, 055401 (2019) [arXiv:1807.00656]
arXiv 2019
-
[4]
Mari˜ no,Instantons and Large N, (Cambridge University Press, Cambridge, UK, 2015)
M. Mari˜ no,Instantons and Large N, (Cambridge University Press, Cambridge, UK, 2015)
2015
-
[5]
Strocchi,An Introduction to Non-Perturbative Foundations of Quantum Field Theory , (Oxford University Press, Oxford, UK, 2013)
F. Strocchi,An Introduction to Non-Perturbative Foundations of Quantum Field Theory , (Oxford University Press, Oxford, UK, 2013)
2013
-
[6]
Ioffe, V
B. Ioffe, V. Fadin and L. Lipatov,Quantum Chromodynamics, (Cambridge University Press, Cambridge, UK, 2010)
2010
-
[7]
Beneke,Renormalons, Phys
M. Beneke,Renormalons, Phys. Rep.317,1 (1999)
1999
-
[8]
Edery,Two types of series expnasions valid at strong coupling, JHEP09, 063 (2024) [arXiv:2406.01454]
A. Edery,Two types of series expnasions valid at strong coupling, JHEP09, 063 (2024) [arXiv:2406.01454]. 13
arXiv 2024
Show all 16 references
-
[9]
Edery,Convergent perturbative series via finite path integral limits: application to energy at strong coupling of the anharmonic oscillator, JHEP02,187 (2026) [arXiv: 2507.08782]
A. Edery,Convergent perturbative series via finite path integral limits: application to energy at strong coupling of the anharmonic oscillator, JHEP02,187 (2026) [arXiv: 2507.08782]
2026
-
[10]
Bender and T.T
C.M. Bender and T.T. Wu,Anharmonic Oscillator, Phys. Rev.184, 1231 (1969)
1969
-
[11]
Bender and T.T
C.M. Bender and T.T. Wu,Anharmonic Oscillator.2: a study of perturbation theory at large order, Phys. Rev. D7, 1620 (1973)
1973
-
[12]
Bender and T.T
C.M. Bender and T.T. Wu,Statistical analysis of Feynman diagrams, Phys. Rev. Lett. 37, 117 (1976)
1976
-
[13]
Graffi, V
S. Graffi, V. Grecchi and B. Simon,Borel summability: application to the anharmonic oscillator, Phys. Lett. B32, 631 (1970)
1970
-
[14]
Gradshteyn and I.M
L.S. Gradshteyn and I.M. Ryzhik,Table of Integrals, Series and Products, Sixth Ed., (Academic Press, San Diego, USA, 2000)
2000
-
[15]
Zinn-Justin,Multi-instanton contributions in quantum mechanics
J. Zinn-Justin,Multi-instanton contributions in quantum mechanics. 2., Nucl. Phys. B 218, 333 (1983)
1983
-
[16]
Caprini,Renormalization-scheme variation of a QCD perturbation expansion with tamed large-order behavior, Phys
I. Caprini,Renormalization-scheme variation of a QCD perturbation expansion with tamed large-order behavior, Phys. Rev. D98, 056016 (2018) [arXiv:1806.10325]. 14
2018 arXiv
Reviewed July 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.