Pith. sign in

REVIEW 56 references

Renormalon-like factorial enhancements to power expansion/OPE in a super-renormalizable 2D $O(N)$ quartic model

T0 review · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper shows that the large-p² expansion in a 2D large-N O(N) quartic model is divergent: OPE coefficient functions grow like n!, and their cancellation with condensates only happens off-diagonally across powers.

desk verdict Likely-true calculation, but the central Mellin-Barnes all-pole cancellation is asserted, not proved, and it carries the n! asymptotics. read the letter →

arxiv 2502.02031 v5 pith:RREKBI3D submitted 2025-02-04 hep-th hep-phmath-phmath.MP

Yizhuang Liu This is my paper · ORCID
classification hep-thhep-phmath-phmath.MP
keywords renormalon-likefactorialenhancementsuper-renormalizableQFToperatorproductexpansionlarge-N2DO(N)quarticmodelbubblechainBorelnon-summabilityMellin-Barnesrepresentation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that a super-renormalizable quantum field theory — a two-dimensional O(N) quartic scalar model in the large-N limit — has a large-momentum power expansion that is divergent: at the n-th power, the OPE coefficient function of the identity operator grows like n! times the n-th power of the coupling. The factorial growth comes from logarithms inside bubble chains being amplified by the chains, realized through a novel 1/ε × ε effect in dimensional regularization, and it appears in the operator condensates as well. The two kinds of growth cancel only between different powers, so at any fixed power the factorial enhancement survives, and the momentum-space OPE is argued to be Borel non-summable even though the correlation function itself is perfectly well defined. If true, this gives an explicit model where OPE divergence arises from renormalon-like factorial enhancements rather than from multi-particle thresholds, and it ties the divergence to the way short-distance-scheme operators over-subtract in the infrared. A sympathetic reader would care because the same mechanism should operate in any super-renormalizable theory whose logarithms can be iterated along chain-like structures.

What carries the argument

The engine of the argument is the massive bubble chain and its Mellin-Barnes representation. In the large-N expansion the next-to-leading-order two-point function contains the geometric chain gF/(1+gF), where F(k²) is the one-bubble integral F(k²) = (1/(4πk²)) (1/A) ln((A+1)/(A−1)) with A = sqrt(1+4m²/k²); each bubble carries a large-momentum logarithm, and a chain of n bubbles raises that logarithm to the n-th power. Factorial growth is produced by a 1/ε × ε effect: the IR subtractions of individual bubbles (operator UV poles proportional to 1/ε) multiply the O(ε) analytic parts of the subtracted integrals, leaving logarithms at every power; the n-th derivative at t = 0 of the resulting digamma functions ψ(1−n−t) and ψ(n+t) then extracts n! from their t = ±1, ±2 poles. The Mellin-Barnes representation makes the cancellation pattern visible: shifting contours, the hard contribution H_{0,k} and the operator contributions O_{n+k+q} possess poles at t = q ∈ Z that cancel exactly against each other (Eqs. (3.117)–(3.118)), which is the off-diagonal cancellation; the surviving t = 0 residue gives Eqs. (3.119)–(3.121) and the n! asymptotics. The digamma residue extraction and the t ∈ Z pole cancellations are the identities carrying the whole claim.

What would settle it

A concrete numerical and symbolic check would settle the claim: evaluate the full massive bubble-chain two-point function of Eq. (3.4) at large p², extract the coefficient of the fixed power (m²/p²)^n for n = 4 through about 12, and compare the n-dependence with the predicted n! asymptotics of Eq. (3.143) including its Laguerre-polynomial and $e^{{−8πm²/g}}$ factors; growth slower than n! (bounded or exponential) would refute the divergence claim. Alternatively, compute the residues at t = 1 and t = 2 in Eqs. (3.117)–(3.118) symbolically for general k and n: a single un-cancelled pole at any integer q ≥ 1 would change the asymptotic form, and the central conclusion would fall.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a concrete asymptotic formula: at next-to-leading order in 1/N, the n-th power coefficient of the identity operator in the large-p² OPE of the scalar two-point function behaves, for large n, as C_{I,NL}^{(n)}(p²) ~ −(g/(4π))^{n+1}(p²)^{−n}(m²/p²) $e^{{−8πm²/g}}$ n! L_n(4πm²/g), where L_n is the Laguerre polynomial (Eq. (3.143)). The factorial growth is power-changing, since the leading n! term shifts the power from (p²)^{−n} to (p²)^{−(n+1)}, and identical factorial growths are shown to live in the operator condensates ⟨O_n⟩. The author demonstrates that the growths cancel between coefficient functions and operators only off-diagonally: the leading IR renormalon of the coefficient function is cancelled by the UV renormalon of O_{n+1}, the subleading one by O_{n+2}, and so on, so that at any fixed power the enhancement is never removed. The conclusion is that the large-p² power expansion of the two-point function is divergent and Borel non-summable, with an infinite-order singularity at Borel parameter t = 1, even though the full two-point function is finite and unambiguous. Two independent computations — IR-renormalized massless bubble chains and a Mellin-Barnes representation of the full massive chain — are shown to agree on the coefficient functions, the operator condensates, and the cancellation pattern.

Load-bearing premise

The load-bearing premises are that all integer poles t ∈ Z_{≥0} cancel exactly between the hard and operator Mellin-Barnes contributions, stated in Section 3.3 without a complete proof, and that the MS-scheme finite conversion parts are free of factorial growth, argued but not exhaustively proven in Appendix C.

Editorial extensions

If this is right

  • At any fixed power n of 1/p², the identity-operator coefficient function retains a non-alternating n! growth, with the explicit form of Eq. (3.143) including an exponentially small factor e^{−8πm²/g}.
  • The factorial growths cancel between coefficient functions and operators only off-diagonally: the s = 1 IR renormalon of the coefficient function is cancelled by UV renormalons of higher operators O_{n+1}, O_{n+2}, so no fixed-power cancellation occurs.
  • The momentum-space OPE is divergent and Borel non-summable, with an infinite-order singularity at t = 1, yet the summed series is free of Borel ambiguity along the (1±i0)ℝ integration rays.
  • Restoring convergence would require subtracting factorial growths from operators and adding them back into coefficient functions, demanding infinitely many operator redefinitions that a single Borel prescription cannot achieve.
  • In coordinate space the extra 1/(n!)² suppression per power wins over the single n!, so the coordinate-space expansion remains convergent at least at large N.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the off-diagonal cancellation pattern is generic, any super-renormalizable theory in which single-scale logarithms can be amplified along chain-like structures should show the same fixed-power n! growth; the 2D Gross-Neveu model, whose σ-condensate analysis appears in Appendix D, is the natural next test.
  • The paper's over-subtraction reading suggests a scheme-dependence test: in a scheme that subtracts less aggressively than MS-like local poles, the factorial growth might be redistributed between coefficient functions and operators or postponed to larger n, which would identify the divergence as a property of short-distance-scheme operators rather than of the correlator itself.
  • Because of the e^{−8πm²/g} prefactor, the divergence is exponentially invisible at small coupling, so fixed-power truncations of the OPE should stay numerically accurate until n is of order 1/g; the divergence becomes a practical obstruction only in the double-scaling regime.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the factorial-asymptotics claim is derived from the stated action by explicit diagrammatic and Mellin-Barnes calculations, with no fitted parameter renamed as a prediction.

full rationale

The derivation starts from the explicit action (3.2), the exact next-to-leading-order large-N expression (3.4), and the one-loop bubble function F(k^2) (3.5). The central factorial asymptotics, Eq. (3.143), is obtained by explicit Mellin-Barnes manipulations, residue shifts, and known summation identities; no parameter is fitted to the claimed n! growth, and no quantity is defined in terms of the asymptotic result it is supposed to predict. The two computational routes (IR-subtracted bubble chain and Mellin-Barnes) are cross-checked against each other in Eqs. (3.121)-(3.122) and Eqs. (3.131)-(3.132), but this is internal consistency checking, not circular reasoning. Self-citations [37,38] are used for Mellin-Barnes technique, but the required representations are written out explicitly in Eqs. (3.93)-(3.98), so no load-bearing physical assertion is imported solely by citation. The main weakness is the asserted but not fully demonstrated cancellation of all t in Z_{>=0} poles in Sec. 3.3 ("one can show more: not only the t=0 poles, but all the t in Z>=0 poles also completely cancel"). This is an omitted proof and a genuine correctness risk, since a missed residue could alter the asymptotic coefficient, but it is not a circular reduction: the claim is not assumed as an input, nor is the conclusion defined in terms of it. Similarly, the scheme-conversion arguments in Appendix C are stated without exhaustive proof, but they concern finite scheme-dependent pieces and are not fitted to force the factorial growth. No data-fitting, no renaming of a known result, and no imported uniqueness theorem appear in the argument chain. The paper is therefore self-contained in the sense relevant to circularity, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The calculation introduces no fitted parameters or new physical entities. It rests on standard QFT domain assumptions (validity of IR-renormalized perturbation theory and large-N resummation) plus two paper-specific technical assumptions about Mellin-Barnes pole cancellation and factorial-free scheme conversions.

assumptions (5)
  • domain assumption IR renormalized massless perturbation theory in dimensional regularization computes the correct OPE coefficient functions for short-distance-scheme operators in the massive theory.
    Assumed throughout Secs. 2 and 3 (following Refs. [5,6,7]); needed to justify the coefficient functions and operator condensates extracted from massless integrals.
  • domain assumption The 1/N next-to-leading-order two-point function is exactly the bubble-chain expression in Eq. (3.4), with the bubble function F(k^2) of Eq. (3.5).
    Standard large-N resummation in the O(N) model; the paper treats this diagrammatic sum as the exact NLO object, and the entire derivation starts from it.
  • ad hoc to paper Mellin-Barnes contour deformations and the cancellation of all t in Z poles between hard and operator contributions (Eqs. 3.109-3.118) are valid for the integrands.
    Stated as 'one can show' (Sec. 3.3) with only partial demonstration; the large-n factorial asymptotics depend critically on this cancellation.
  • ad hoc to paper The finite scheme-conversion terms between the 'minimally-short-distance scheme' and the MS scheme contain no factorial growth.
    Assumed in Sec. 3.3 and argued in App. C for the leading cases, but not proven for all orders; the divergence conclusion relies on this being true.
  • standard math Standard summation formulas for Stirling numbers and digamma pole expansions, e.g., Eq. (3.19), are used to evaluate binomial sums.
    These are textbook identities applied to the residue sums; no new mathematics is introduced.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Renormalon-like factorial enhancements to power expansion/OPE in a super-renormalizable 2D $O(N)$ quartic model." pith.science (2026). https://pith.science/paper/RREKBI3D

@misc{pith2026250202031,
  author       = {Pith},
  title        = {Pith review of: Renormalon-like factorial enhancements to power expansion/OPE in a super-renormalizable 2D $O(N)$ quartic model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RREKBI3D}},
  note         = {Machine review of arXiv:2502.02031}
}
abstract

In this work, we investigate the effects of logarithms on the asymptotic behavior of power expansion/OPE in supper-renormalizable QFTs. We performed a careful investigation of the large $p^2$ expansion of a scalar-scalar two-point function at the next-to-leading order in the large-$N$ expansion, in a large-$N$ $O(N)$ quartic model that is populated by logarithms. We show that because the large-$p^2$ logarithms of the individual bubbles can be amplified by bubble-chains, there are factorial enhancements to the power expansion. We show how the factorial enhancements appear separately in the coefficient functions and operator condensates, and demonstrate how they are cancelled off-diagonally across different powers. Restricted to any given power, the factorial enhancements are no-longer canceled. The large-$p^2$ power expansion is divergent.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 38 canonical work pages

  1. [38]

    Liu, JHEP 09, 093 (2024) , arXiv:2403.06787 [hep-th]

    Y. Liu, JHEP 09, 093 (2024) , arXiv:2403.06787 [hep-th]

    arXiv 2024

  2. [1]

    K. G. Wilson, Phys. Rev. D 3, 1818 (1971)

    work page 1971

  3. [2]

    Luscher and G

    M. Luscher and G. Mack, Commun. Math. Phys. 41, 203 (1975)

    work page 1975

  4. [3]

    Mack, Commun

    G. Mack, Commun. Math. Phys. 53, 155 (1977)

    work page 1977

  5. [4]

    Kravchuk, J

    P. Kravchuk, J. Qiao, and S. Rychkov, JHEP 08, 094 (2021) , arXiv:2104.02090 [hep-th]

    arXiv 2021

  6. [5]

    V. A. Novikov, M. A. Shifman, A. I. Vainshtein, and V. I. Zakharo v, Nucl. Phys. B 249, 445 (1985)

    work page 1985

  7. [6]

    A. B. Zamolodchikov, Nucl. Phys. B 348, 619 (1991)

    work page 1991

  8. [7]

    S. L. Lukyanov and A. B. Zamolodchikov, Nucl. Phys. B 493, 571 (1997) , arXiv:hep-th/9611238

    arXiv 1997

Show all 56 references
  1. [8]

    K. G. Chetyrkin, F. V. Tkachov, and S. G. Gorishnii, Phys. Lett. B 119, 407 (1982)

    1982

  2. [9]

    K. G. Chetyrkin, Phys. Lett. B 126, 371 (1983)

    1983

  3. [10]

    Gell-Mann and F

    M. Gell-Mann and F. E. Low, Phys. Rev. 95, 1300 (1954)

    1954

  4. [11]

    C. G. Callan, Phys. Rev. D 2, 1541 (1970)

    1970

  5. [12]

    D. J. Gross and F. Wilczek, Phys. Rev. Lett. 30, 1343 (1973)

    1973

  6. [13]

    H. D. Politzer, Phys. Rev. Lett. 30, 1346 (1973) . – 72 –

    1973

  7. [14]

    Ahlers, A

    G. Ahlers, A. Kornblit, and H. J. Guggenheim, Phys. Rev. Lett. 34, 1227 (1975)

    1975

  8. [15]

    Gawedzki and A

    K. Gawedzki and A. Kupiainen, in Summer School in Theoretical Physics, Session XLIII: Critical Phenomena, Random Systems, Gauge Theories (1984)

    1984

  9. [16]

    Gawedzki and A

    K. Gawedzki and A. Kupiainen, Phys. Rev. Lett. 54, 92 (1985)

    1985

  10. [17]

    Gawedzki and A

    K. Gawedzki and A. Kupiainen, Commun. Math. Phys. 102, 1 (1985)

    1985

  11. [18]

    Feldman, J

    J. Feldman, J. Magnen, V. Rivasseau, and R. Seneor, Commun. Math. Phys. 103, 67 (1986)

    1986

  12. [19]

    Slade and A

    G. Slade and A. Tomberg, Communications in Mathematical Physics 342, 675–737 (2015)

    2015

  13. [20]

    ’t Hooft, Subnucl

    G. ’t Hooft, Subnucl. Ser. 15, 943 (1979)

    1979

  14. [21]

    Parisi, Nucl

    G. Parisi, Nucl. Phys. B 150, 163 (1979)

    1979

  15. [22]

    Parisi, Phys

    G. Parisi, Phys. Lett. B 76, 65 (1978)

    1978

  16. [23]

    V. A. Novikov, M. A. Shifman, A. I. Vainshtein, and V. I. Zakhar ov, Nucl. Phys. B 174, 378 (1980)

    1980

  17. [24]

    M. A. Shifman, A. I. Vainshtein, and V. I. Zakharov, Nucl. Phys. B 147, 385 (1979)

    1979

  18. [25]

    David, Nucl

    F. David, Nucl. Phys. B 234, 237 (1984)

    1984

  19. [26]

    David, Nucl

    F. David, Nucl. Phys. B 263, 637 (1986)

    1986

  20. [27]

    A. H. Mueller, Nucl. Phys. B 250, 327 (1985)

    1985

  21. [28]

    Ji, Nucl

    X.-D. Ji, Nucl. Phys. B 448, 51 (1995) , arXiv:hep-ph/9411312

    1995 arXiv

  22. [29]

    Beneke, Phys

    M. Beneke, Phys. Rept. 317, 1 (1999) , arXiv:hep-ph/9807443

    1999 arXiv

  23. [30]

    Beneke, V

    M. Beneke, V. M. Braun, and N. Kivel, Phys. Lett. B 443, 308 (1998) , arXiv:hep-ph/9809287

    1998 arXiv

  24. [31]

    V. M. Braun, E. Gardi, and S. Gottwald, Nucl. Phys. B 685, 171 (2004) , arXiv:hep-ph/0401158

    2004 arXiv

  25. [32]

    Shifman, Int

    M. Shifman, Int. J. Mod. Phys. A 30, 1543001 (2015) , arXiv:1310.1966 [hep-th]

    2015 arXiv

  26. [33]

    G. V. Dunne, M. Shifman, and M. Unsal, Phys. Rev. Lett. 114, 191601 (2015) , arXiv:1502.06680 [hep-th]

    2015 arXiv

  27. [34]

    Bauer, G

    C. Bauer, G. S. Bali, and A. Pineda, Phys. Rev. Lett. 108, 242002 (2012) , arXiv:1111.3946 [hep-ph]

    2012 arXiv

  28. [35]

    G. S. Bali, C. Bauer, and A. Pineda, Phys. Rev. D 89, 054505 (2014) , arXiv:1401.7999 [hep-ph]

    2014 arXiv

  29. [36]

    David, Nucl

    F. David, Nucl. Phys. B 209, 433 (1982)

    1982

  30. [37]

    Marino and R

    M. Marino and R. Miravitllas, (2024), arXiv:2402.19356 [hep-th]

    2024 arXiv

  31. [39]

    Mari˜ no and T

    M. Mari˜ no and T. Reis, JHEP 07, 216 (2020) , arXiv:1912.06228 [hep-th]

    2020 arXiv

  32. [40]

    M. A. Shifman, in Workshop on Continuous Advances in QCD (1994) arXiv:hep-ph/9405246

    1994 arXiv

  33. [41]

    Marino, R

    M. Marino, R. Miravitllas, and T. Reis, (2023), arXiv:2302.08363 [hep-th]

    2023 arXiv

  34. [42]

    Eckmann, J

    J.-P. Eckmann, J. Magnen, and R. S´ en´ eor, Communications in Mathematical Physics 39, 251 (1975). – 73 –

    1975

  35. [43]

    Chang, Phys

    S.-J. Chang, Phys. Rev. D 13, 2778 (1976) , [Erratum: Phys.Rev.D 16, 1979 (1977)]

    1976

  36. [44]

    T. T. Wu, B. M. McCoy, C. A. Tracy, and E. Barouch, Phys. Rev. B 13, 316 (1976)

    1976

  37. [45]

    A. M. Polyakov, Phys. Lett. B 59, 79 (1975)

    1975

  38. [46]

    Palanques-Mestre and P

    A. Palanques-Mestre and P. Pascual, Commun. Math. Phys. 95, 277 (1984)

    1984

  39. [47]

    Beneke and V

    M. Beneke and V. M. Braun, Nucl. Phys. B 426, 301 (1994) , arXiv:hep-ph/9402364

    1994 arXiv

  40. [48]

    Beneke and V

    M. Beneke and V. M. Braun, Nucl. Phys. B 454, 253 (1995) , arXiv:hep-ph/9506452

    1995 arXiv

  41. [49]

    Boito, I

    D. Boito, I. Caprini, M. Golterman, K. Maltman, and S. Peris, Phys. Rev. D 97, 054007 (2018) , arXiv:1711.10316 [hep-ph]

    2018 arXiv

  42. [50]

    de Rafael, Nucl

    E. de Rafael, Nucl. Phys. B Proc. Suppl. 207-208, 290 (2010) , arXiv:1010.4657 [hep-th]

    2010 arXiv

  43. [51]

    F. A. Smirnov, Form-factors in completely integrable models of quantum fie ld theory, Vol. 14 (1992)

    1992

  44. [52]

    B. Berg, M. Karowski, and P. Weisz, Phys. Rev. D 19, 2477 (1979)

    1979

  45. [53]

    Marino, (2025), arXiv:2504.12044 [hep-th]

    M. Marino, (2025), arXiv:2504.12044 [hep-th]

    2025 arXiv

  46. [54]

    Feldman, J

    J. Feldman, J. Magnen, V. Rivasseau, and R. Seneor, Commun. Math. Phys. 100, 23 (1985)

    1985

  47. [55]

    Rivasseau, From Perturbative to Constructive Renormalization (Princeton University Press, 2014)

    V. Rivasseau, From Perturbative to Constructive Renormalization (Princeton University Press, 2014)

    2014

  48. [56]

    Marino, R

    M. Marino, R. Miravitllas, and T. Reis, Eur. Phys. J. ST 230, 2641 (2021) , arXiv:2102.03078 [hep-th] . – 74 –

    2021 arXiv

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.