All-order Resurgence from Complexified Path Integral in a Quantum Mechanical System with Integrability

TL;DR

This paper explicitly constructs and verifies all-order transseries for a simple quantum mechanical system using Lefschetz thimbles, demonstrating non-perturbative effects and resurgence structure with exact agreement between path integral and operator formalisms.

Contribution

It provides the first explicit all-order transseries construction for a quantum system with integrability, using Lefschetz thimbles and confirming non-perturbative completeness.

Findings

All saddle points identified and their contributions summed.

Borel ambiguities canceled by non-perturbative effects.

Path integral and operator formalisms agree exactly.

Abstract

We discuss all-order transseries in one of the simplest quantum mechanical systems: a U(1) symmetric single-degree-of-freedom system with a first-order time derivative term. Following the procedure of the Lefschetz thimble method, we explicitly evaluate the path integral for the generating function of the Noether charge and derive its exact transseries expression. Using the conservation law, we find all the complex saddle points of the action, which are responsible for the non-perturbative effects and the resurgence structure of the model. The all-order power-series contributions around each saddle point are generated from the one-loop determinant with the help of the differential equations obeyed by the generating function. The transseries are constructed by summing up the contributions from all the relevant saddle points, which we identify by determining the intersection numbers between the dual thimbles and the original path integration contour. We confirm that the Borel ambiguities of the perturbation series are canceled by the non-perturbative ambiguities originating from the discontinuous jumps of the intersection numbers. The transseries computed in the path-integral formalism agrees with the exact generating function, whose explicit form can be obtained in the operator formalism thanks to the integrable nature of the model. This agreement indicates the non-perturbative completeness of the transseries obtained by the semi-classical expansion of the path integral based on the Lefschetz thimble method.