arxiv: 2605.08867 · v1 · submitted 2026-05-09 · 🧮 math-ph · hep-th· math.CV· math.MP

Recognition: 2 theorem links

· Lean Theorem

Picard-Lefschetz theory and alien calculus: a case study

Si Li, Xinxing Tang, Yong Li

Pith reviewed 2026-05-12 01:35 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.CVmath.MP

keywords Picard-Lefschetz theoryalien calculusresurgenceStokes phenomenaLefschetz thimblesAiry integralBessel integralGamma integral

0 comments

The pith

Picard-Lefschetz thimble crossings reproduce the Stokes jumps given by alien operators in three exponential integrals.

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

The paper compares geometric and analytic approaches to Stokes phenomena in three elementary one-dimensional integrals. On the geometric side it tracks how Lefschetz thimbles connect when a phase parameter crosses a Stokes ray. On the analytic side it locates the Borel-plane singularities of the saddle expansions and applies alien operators to extract the identical transition coefficients. The agreement in the Airy, Bessel and Gamma models supplies concrete finite-dimensional evidence that thimble wall-crossing and alien calculus encode the same data.

Core claim

In each of the three models the intersection numbers of Lefschetz thimbles at Stokes phases equal the Stokes coefficients recovered by the action of alien operators on the Borel transforms of the formal saddle expansions.

What carries the argument

Lefschetz thimbles attached to the critical points of the phase function, whose intersections at Stokes rays determine the same jumps that alien operators extract from the Borel singularities.

If this is right

The geometric intersection data of thimbles can be used to compute Stokes coefficients without constructing the Borel plane.
Alien operators acquire a direct geometric interpretation as jumps between thimble bases.
The correspondence supplies a practical method for verifying resurgence predictions in low-dimensional integrals before moving to higher-dimensional cases.
The Stokes coefficients in these models turn out to be simple integers or rationals, consistent with both pictures.

Where Pith is reading between the lines

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

If the match persists in higher-dimensional or infinite-dimensional settings, resurgence computations in quantum field theory could be replaced by thimble geometry.
The dictionary suggests that wall-crossing formulas in Picard-Lefschetz theory may be re-derived from the algebra of alien derivatives.
One could test the correspondence by adding more critical points or by deforming the phase function to a non-polynomial example.

Load-bearing premise

The three selected one-dimensional models are representative and the explicit calculations of connecting trajectories and alien actions contain no algebraic or numerical mistakes.

What would settle it

Any algebraic or numerical discrepancy between the Stokes coefficients obtained from thimble intersections and those obtained from alien operators in the Airy, Bessel or Gamma model.

read the original abstract

We compare Picard--Lefschetz theory and resurgence in three basic one-dimensional exponential integrals: the Airy model, the Bessel model, and the Gamma model. On the Picard--Lefschetz side, we describe the Lefschetz thimbles and compute the connecting trajectories between critical points appearing at Stokes phases. On the resurgent side, we analyze the Borel singularities of the saddle expansions and use alien operators to recover the same Stokes coefficients. These examples serve as explicit finite-dimensional test cases for the dictionary between thimble wall-crossing and alien calculus.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit side-by-side calculations showing that thimble connecting trajectories and alien operators produce matching Stokes coefficients on the Airy, Bessel, and Gamma integrals.

read the letter

The main contribution is the concrete matching on three standard one-dimensional integrals. The authors track the Lefschetz thimbles and the trajectories that connect critical points at Stokes phases, then compute the same coefficients from the Borel-plane singularities using alien operators. They report agreement in each case. This moves the dictionary between the two formalisms from general statements to specific numbers that can be inspected directly.

Referee Report

2 major / 2 minor

Summary. The manuscript compares Picard-Lefschetz theory and resurgence in three one-dimensional exponential integrals: the Airy, Bessel, and Gamma models. On the Picard-Lefschetz side, it describes the Lefschetz thimbles and computes the connecting trajectories between critical points at Stokes phases. On the resurgent side, it analyzes the Borel singularities of the saddle expansions and applies alien operators to recover the same Stokes coefficients. These examples are presented as explicit finite-dimensional test cases for the dictionary between thimble wall-crossing and alien calculus.

Significance. If the explicit matchings hold without algebraic or normalization discrepancies, the work supplies concrete, checkable benchmarks that illustrate the correspondence between geometric (thimble) and analytic (resurgent) treatments of Stokes phenomena. The restriction to simple, well-studied one-dimensional models is a strength, as it permits direct side-by-side computation and can serve as a reference for more general applications.

major comments (2)

[Airy model] Airy model section: the central claim requires that the Stokes coefficient obtained from the Picard-Lefschetz connecting trajectory exactly equals the coefficient recovered via the alien operator on the Borel plane. The manuscript must supply the full intermediate steps (contour deformation, phase choice, and normalization) for this model so that the equality can be independently verified; an undetected discrepancy in any of these choices would mean the example fails to demonstrate the claimed dictionary.
[Bessel and Gamma models] Bessel and Gamma models: analogous explicit verification is needed for the Stokes coefficients, including the precise definitions of the integration contours, branch cuts, and the Stokes phases at which the connecting trajectories appear. Without these details, the side-by-side comparison cannot be confirmed to be free of algebraic or normalization errors.

minor comments (2)

[Introduction] The introduction could include a short reminder of the definition of the alien operator and its action on the Borel plane to make the resurgent-side calculations more self-contained.
[Figures] Figure captions for the thimble diagrams should explicitly label the critical points and the Stokes phases to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to incorporate the requested explicit details, thereby strengthening the verifiability of the claimed dictionary between Picard-Lefschetz theory and alien calculus.

read point-by-point responses

Referee: [Airy model] Airy model section: the central claim requires that the Stokes coefficient obtained from the Picard-Lefschetz connecting trajectory exactly equals the coefficient recovered via the alien operator on the Borel plane. The manuscript must supply the full intermediate steps (contour deformation, phase choice, and normalization) for this model so that the equality can be independently verified; an undetected discrepancy in any of these choices would mean the example fails to demonstrate the claimed dictionary.

Authors: We agree that the full intermediate steps must be supplied for independent verification. In the revised manuscript we will expand the Airy model section with an explicit, step-by-step account of the contour deformations on the Lefschetz-thimble side, the precise choice of Stokes phases, and the normalization conventions used when applying the alien operator to the Borel singularities. These additions will allow direct confirmation that the two Stokes coefficients coincide without algebraic or normalization discrepancies. revision: yes
Referee: [Bessel and Gamma models] Bessel and Gamma models: analogous explicit verification is needed for the Stokes coefficients, including the precise definitions of the integration contours, branch cuts, and the Stokes phases at which the connecting trajectories appear. Without these details, the side-by-side comparison cannot be confirmed to be free of algebraic or normalization errors.

Authors: We concur that the same level of explicit detail is required for the Bessel and Gamma models. The revised version will include complete specifications of the integration contours, the locations and choices of branch cuts, and the exact Stokes phases at which the connecting trajectories appear, together with the corresponding alien-operator calculations. This will permit independent verification that the Stokes coefficients match in each case. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit side-by-side verification on standard integrals

full rationale

The paper performs independent computations of Lefschetz thimbles, connecting trajectories, Borel singularities, and alien operators on the Airy, Bessel, and Gamma models, then reports that the resulting Stokes coefficients match. This is presented as a direct comparison and test case rather than a derivation whose central result reduces to its own inputs by construction. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the described chain; the matching is an external check on known integrals and therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on established theory of Picard-Lefschetz thimbles and resurgence without introducing new free parameters or postulated entities.

axioms (1)

standard math Standard analytic properties of exponential integrals and their asymptotic expansions hold for the Airy, Bessel, and Gamma models.
Invoked throughout the comparison of thimble jumps and Borel singularities.

pith-pipeline@v0.9.0 · 5391 in / 1142 out tokens · 38714 ms · 2026-05-12T01:35:13.466435+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
These examples serve as explicit finite-dimensional test cases for the dictionary between thimble wall-crossing and alien calculus.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Alien operators measure the singular behavior... Stokes automorphism S+ = Id + ∑ ˙Δ+_ω

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

V . I. Arnol’d, S. M. Gusein-Zade, and A. N. Varchenko,Singularities of Differentiable Maps. Volume II: Monodromy and Asymptotics of Integrals, Monographs in Mathematics, Vol. 83, Birkh¨auser, Boston, 1988

work page 1988
[2]

Candelpergher, J.-C

B. Candelpergher, J.-C. Nosmas, and F. Pham,Approche de la r´ esurgence, Actualit´es Math´ematiques, Hermann, Paris, 1993

work page 1993
[3]

Delabaere and F

E. Delabaere and F. Pham,Resurgent methods in semi-classical asymptotics, Ann. Inst. H. Poincar ´e Phys. Th ´eor.71(1999), no. 1, 1–94

work page 1999
[4]

Dorigoni,An Introduction to Resurgence, Trans-Series and Alien Calculus, arXiv:1411.3585 [hep-th], 2014; published in Ann

D. Dorigoni,An Introduction to Resurgence, Trans-Series and Alien Calculus, arXiv:1411.3585 [hep-th], 2014; published in Ann. Phys.409(2019), 167914

work page arXiv 2014
[5]

´Ecalle,Les fonctions r´ esurgentes, Tome I: Les alg` ebres de fonctions r´ esurgentes, Publications Math´ematiques d’Orsay, No

J. ´Ecalle,Les fonctions r´ esurgentes, Tome I: Les alg` ebres de fonctions r´ esurgentes, Publications Math´ematiques d’Orsay, No. 81- 05, Universit´e de Paris-Sud, Orsay, 1981

work page 1981
[6]

´Ecalle,Les fonctions r´ esurgentes, Tome II: Les fonctions r´ esurgentes appliqu´ ees ` a l’it´ eration, Publications Math´ematiques d’Orsay, No

J. ´Ecalle,Les fonctions r´ esurgentes, Tome II: Les fonctions r´ esurgentes appliqu´ ees ` a l’it´ eration, Publications Math´ematiques d’Orsay, No. 81-06, Universit´e de Paris-Sud, Orsay, 1981

work page 1981
[7]

´Ecalle,Les fonctions r´ esurgentes, Tome III: L’´ equation du pont et la classification analytique des objets locaux, Publications Math´ematiques d’Orsay, No

J. ´Ecalle,Les fonctions r´ esurgentes, Tome III: L’´ equation du pont et la classification analytique des objets locaux, Publications Math´ematiques d’Orsay, No. 85-05, Universit´e de Paris-Sud, Orsay, 1985

work page 1985
[8]

Harlow, J

D. Harlow, J. Maltz, and E. Witten,Analytic Continuation of Liouville Theory, JHEP12(2011), 071, arXiv:1108.4417 [hep-th]

work page arXiv 2011
[9]

Hien,Periods for flat algebraic connections, Invent

M. Hien,Periods for flat algebraic connections, Invent. Math.178(2009), 1–22

work page 2009
[10]

Kontsevich, and Y

M. Kontsevich, and Y. Soibelman.Analyticity and resurgence in wall-crossing formulas.Letters in Mathematical Physics 112.2 (2022): 32

work page 2022
[11]

Kontsevich, and Y

M. Kontsevich, and Y. Soibelman.Holomorphic Floer theory I: exponential integrals in finite and infinite dimensions.arXiv preprint arXiv:2402.07343 (2024)

work page arXiv 2024
[12]

Sauzin,Mould expansions for the saddle-node and resurgence monomials, Renormalization and Galois Theories, IRMA Lectures in Mathematics and Theoretical Physics, vol

D. Sauzin,Mould expansions for the saddle-node and resurgence monomials, Renormalization and Galois Theories, IRMA Lectures in Mathematics and Theoretical Physics, vol. 15, European Mathematical Society, 2009, pp. 83–163

work page 2009
[13]

S. Li, Y. Li and X. TangHeat kernel and resurgence, in preparation

work page
[14]

Milnor,Singular points of complex hypersurfaces

J. Milnor,Singular points of complex hypersurfaces. No. 61. Princeton University Press, 1968

work page 1968
[15]

Mitschi and D

C. Mitschi and D. Sauzin,Divergent Series, Summability and Resurgence I: Monodromy and Resurgence, Lecture Notes in Mathematics, Vol. 2153, Springer, Cham, 2016

work page 2016
[16]

Pham,Vanishing homologies and the n-variable saddle point method, Singularities, Part 2 (Arcata, Calif., 1981), Proc

F. Pham,Vanishing homologies and the n-variable saddle point method, Singularities, Part 2 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., Vol. 40, Amer. Math. Soc., Providence, RI, 1983, pp. 319–333

work page 1981
[17]

Reutenauer,Free Lie Algebras, London Mathematical Society Monographs, New Series, Vol

C. Reutenauer,Free Lie Algebras, London Mathematical Society Monographs, New Series, Vol. 7, Oxford University Press, 1993

work page 1993
[18]

Sabbah,Introduction to Stokes Structures, Lecture Notes in Mathematics,2060, Springer, 2013

C. Sabbah,Introduction to Stokes Structures, Lecture Notes in Mathematics,2060, Springer, 2013

work page 2060
[19]

V . A. Vassiliev,Applied Picard–Lefschetz Theory, Mathematical Surveys and Monographs, Vol. 97, Amer. Math. Soc., Provi- dence, RI, 2002

work page 2002
[20]

Witten,Analytic Continuation Of Chern-Simons Theory,AMS/IP Stud

E. Witten,Analytic Continuation of Chern–Simons Theory, in ”Chern–Simons Gauge Theory: 20 Years After”, AMS/IP Stud. Adv. Math., Vol. 50, Amer. Math. Soc., Providence, RI, 2011, pp. 347–446; arXiv:1001.2933 [hep-th]

work page arXiv 2011