Table of Contents
Fetching ...

Resurgence of large order relations

Coenraad Marinissen, Alexander van Spaendonck, Marcel Vonk

TL;DR

The paper develops a comprehensive framework connecting perturbative and nonperturbative physics through resurgence, showing that large-order relations themselves form a resurgent transseries on a Borel cylinder. By introducing the Stirling transform, it connects the large-order transseries to the original transseries and demonstrates that their Borel transforms exhibit a structured network of singularities with preserved residue data, controlled by Stokes automorphisms. It then proves and tests the existence of exact large-order relations, meaning perturbative coefficients can be recovered by resumming the large-order transseries, with Stokes phenomena playing a crucial role when extending to complex values of the index. The quartic partition function serves as a concrete testbed, where explicit perturbative and instanton sectors, their Borel transforms, and the associated Stokes data validate the theory and reveal subtle contributions from infinity that may or may not affect exactness. Overall, the work advances a geometric and algebraic understanding of nonperturbative physics, enabling precise, contour-dependent resummations and potential extensions to broader classes of transseries and multi-Stokes phenomena.

Abstract

One of the main applications of resurgence in physics is the decoding of nonperturbative effects through large order relations. These relations connect perturbative asymptotic expansions of observables to expansions around other saddle points. Together, this data is unified in transseries that describe the nonperturbative structure. It is known that large order relations themselves also take the form of transseries. We study these large order transseries, uncover an interesting underlying geometry that we call the `Borel cylinder', and show that large order transseries in turn are resurgent -- that is: their nonperturbative sectors `know about each other' through Borel residues that are essentially equal to those of the original transseries. We show that with an appropriate resummation prescription, large order relations are often exact: they can be used to exactly compute perturbative coefficients -- not just their large order growth. Finally, we argue that Stokes phenomenon plays an important role for large order relations, for example if we want to extend the discrete index of the perturbative coefficients to arbitrary complex values.

Resurgence of large order relations

TL;DR

The paper develops a comprehensive framework connecting perturbative and nonperturbative physics through resurgence, showing that large-order relations themselves form a resurgent transseries on a Borel cylinder. By introducing the Stirling transform, it connects the large-order transseries to the original transseries and demonstrates that their Borel transforms exhibit a structured network of singularities with preserved residue data, controlled by Stokes automorphisms. It then proves and tests the existence of exact large-order relations, meaning perturbative coefficients can be recovered by resumming the large-order transseries, with Stokes phenomena playing a crucial role when extending to complex values of the index. The quartic partition function serves as a concrete testbed, where explicit perturbative and instanton sectors, their Borel transforms, and the associated Stokes data validate the theory and reveal subtle contributions from infinity that may or may not affect exactness. Overall, the work advances a geometric and algebraic understanding of nonperturbative physics, enabling precise, contour-dependent resummations and potential extensions to broader classes of transseries and multi-Stokes phenomena.

Abstract

One of the main applications of resurgence in physics is the decoding of nonperturbative effects through large order relations. These relations connect perturbative asymptotic expansions of observables to expansions around other saddle points. Together, this data is unified in transseries that describe the nonperturbative structure. It is known that large order relations themselves also take the form of transseries. We study these large order transseries, uncover an interesting underlying geometry that we call the `Borel cylinder', and show that large order transseries in turn are resurgent -- that is: their nonperturbative sectors `know about each other' through Borel residues that are essentially equal to those of the original transseries. We show that with an appropriate resummation prescription, large order relations are often exact: they can be used to exactly compute perturbative coefficients -- not just their large order growth. Finally, we argue that Stokes phenomenon plays an important role for large order relations, for example if we want to extend the discrete index of the perturbative coefficients to arbitrary complex values.
Paper Structure (19 sections, 127 equations, 11 figures)

This paper contains 19 sections, 127 equations, 11 figures.

Figures (11)

  • Figure 1: Borel transform of the Adler function large order expansion. The black dots are the singularities of the Borel-Padé transform of the $1/g$ expansion of \ref{['eq:LORintro']} for $k=1$, as discussed in Laenen:2023hzu. The red transparent disks are added to aid the eye and are positioned at $\log(\ell)+\pi{\rm i} n$, with $\ell=1,2,3$ and $n\in \mathbb{Z}$. The two plots show the contributions to the large order relation coming from the two leading nonperturbative sectors. The spurious black dots with imaginary part $\sim \pm 9 \pi {\rm i}$ in the right hand plot are a result of numerical instabilities.
  • Figure 2: Figure \ref{['fig:BP_plot_free_energy']} shows the singularities of the Borel-Padé transform of \ref{['eq:LORintro']} for $k=1$ for the quartic free energy. Similar to the plots shown in figure \ref{['fig:BPplotAdler']}, we observe singularities at $\log(\ell)+2\pi{\rm i} n$, but now for integers $\ell\geq 2$ and $n\in\mathbb{Z}$. As the singularities are branch cuts (mimicked by the accumulation of poles of the Padé approximant), the poles corresponding to different branch cuts are hard to distinguish. In figure \ref{['fig:CBP_plot_free_energy']}, we therefore show the Padé singularities after applying a conformal map to the Borel plane Costin:2020hwgCostin:2021bay, which maps the singularities on the positive real axis to the unit circle; the images of some other lines with imaginary part $2 \pi n$ are also drawn. We clearly observe that the branch cuts are pulled apart and can therefore conclude that the poles on the real axis in figure \ref{['fig:BP_plot_free_energy']} belong to different branch cuts. We refer to example \ref{['ex:AdlerCylinder']} for more details.
  • Figure 3: Conventions for the description (\ref{['eq:BorelResurgence']}) of the Borel transforms near singularities at $t=\ell A$: on the left the standard convention (continuation above the Stokes line) and on the right an alternative convention (continuation below the Stokes line).
  • Figure 4: Considering the difference of lateral resummations, there are two natural choices: we either let all branch cuts (and thus the Hankel contours) run off to infinity below the real line (upper graphs) or we let them run off to infinity above real line (lower graphs).
  • Figure 5: A test of the rescaled Stirling transform appearing in \ref{['eq:LORtransseries1']}, for the leading $k=1$ sector and up to order $g^{-12}$.
  • ...and 6 more figures

Theorems & Definitions (8)

  • Example 2.1
  • Example 2.2
  • Example 2.3
  • Example 2.4
  • Example 3.1
  • Example 3.2
  • Example 3.3
  • Example 3.4