We follow up the work, where in light of the Picard-Lefschetz thimble approach, we split up the real-time path integral into two parts: the initial density matrix part which can be represented via an ensemble of initial conditions, and the dynamic part of the path integral which corresponds to the integration over field variables at all later times. This turns the path integral into a two-stage problem where, for each initial condition, there exits one and only one critical point and hence a single thimble in the complex space, whose existence and uniqueness are guaranteed by the characteristics of the initial value problem. In this paper, we test the method for a fully quantum mechanical phenomenon, quantum tunnelling in quantum mechanics. We compare the method to solving the Schrödinger equation numerically, and to the classical-statistical approximation, which emerges naturally in a well-defined limit. We find that the Picard-Lefschetz result matches the expectation from quantum mechanics and that, for this application, the classical-statistical approximation does not.
One of the main challenges in simulations on Lefschetz thimbles is the computation of the relative weights of contributing thimbles. In this paper we propose a solution to that problem by means of computing those weights using a reweighting procedure. Besides we present recipes for finding parametrizations of thimbles and anti-thimbles for a given theory. Moreover, we study some approaches to combine the Lefschetz thimble method with the Complex Langevin evolution. Our numerical investigations are carried out by using toy models among which we consider a one-site z^4 model as well as a U(1) on…
We present a novel reweighting technique to calculate the relative weights in the Lefschetz thimble decomposition of a path integral. Our method is put to work using a $U(1)$ one-link model providing for a suitable testing ground and sharing many features with realistic gauge theories with fermions at finite density. We discuss prospects and future challenges to our method.
Lattice field theories with a complex action can be studied numerically by allowing a complexified configuration space to be explored. Here we compare the recently introduced formulation on a Lefschetz thimble with the result from stochastic quantisation (or complex Langevin dynamics) in the case of a simple model and contrast the distributions being sampled. We also study the role of the residual phase on the Lefschetz thimble.
We propose new gradient flows that define Lefschetz thimbles and do not blow up in a finite flow time. We study analytic properties of these gradient flows, and confirm them by numerical tests in simple examples.
In this paper, by analyzing the underlying Lefschetz thimble structure, we study quantum phases in zero-dimensional scalar field theories with complex actions. Using first principles, we derive the Lefschetz thimble equations of these models, and discuss the issues when we apply the same calculations for more complicated systems. We also derive the conditional expressions involving relations among the parameters of the model, that would help us predict quantum phase transitions in these systems.
The Picard-Lefschetz theory offers a promising tool to solve the sign problem in QCD and other field theories with complex path-integral weight. In this paper the Lefschetz-thimble approach is examined in simple fermionic models which share some features with QCD. In zero-dimensional versions of the Gross-Neveu model and the Nambu-Jona-Lasinio model, we study the structure of Lefschetz thimbles and its variation across the chiral phase transition. We map out a phase diagram in the complex four-fermion coupling plane using a thimble decomposition of the path integral, and demonstrate an interes…
The numerical sign problem has long been a major obstacle to first-principles calculations in various important fields of physics. We report that the recently proposed algorithm, tempered Lefschetz thimble method (TLTM), and its worldvolume extension (WV-TLTM) can be a promising solution in its trustability and versatility.
The fermion sign problem appearing in the mean-field approximation is considered, and the systematic computational scheme of the free energy is devised by using the Lefschetz-thimble method. We show that the Lefschetz-thimble method respects the reflection symmetry, which makes physical quantities manifestly real at any order of approximations using complex saddle points. The formula is demonstrated through the Airy integral as an example, and its application to the Polyakov-loop effective model of dense QCD is discussed in detail.
We consider multi-flavor massless $(1+1)$-dimensional QED with chemical potentials at finite spatial length and the zero-temperature limit. Its sign problem is solved using the mean-field calculation with complex saddle points.
The sign problem of finite-density QCD at the zero temperature becomes very severe if the quark chemical potential exceeds half of the pion mass. In order to understand its property, we consider the sign problem of the one-site fermion model appearing in its path-integral expression by using the Lefschetz-thimble method. We show that the original integration cycle becomes decomposed into multiple Lefschetz thimbles at a certain value of the fermion chemical potential, which would correspond to half of the pion mass of finite-density QCD. This triggers a fictitious phase transition on each Lefs…
Thimble regularisation is a possible solution to the sign problem, which is evaded by formulating quantum field theories on manifolds where the imaginary part of the action stays constant (Lefschetz thimbles). A major obstacle is due to the fact that one in general needs to collect contributions coming from more than one thimble. Here we explore the idea of performing Taylor expansions on Lefschetz thimbles. We show that in some cases we can compute expansions in regions where only the dominant thimble contributes to the result in such a way that these (different, disjoint) regions can be brid…
The Lefschetz thimble method, i.e., the integration along the steepest descent cycles, is an idea to evade the sign problem by complexifying the theory. We discuss that such steepest descent cycles can be identified as ground-state wave-functions of a supersymmetric Hamilton dynamics, which is described with a framework akin to the complex Langevin method. We numerically construct the wave-functions on a grid using a toy model and confirm their well-localized behavior.
Lefschetz thimbles and complex Langevin dynamics both provide a means to tackle the numerical sign problem prevalent in theories with a complex weight in the partition function, e.g. due to nonzero chemical potential. Here we collect some findings for the quartic model, and for U(1) and SU(2) models in the presence of a determinant, which have some features not discussed before, due to a singular drift. We find evidence for a relation between classical runaways and stable thimbles, and give an example of a degenerate fixed point. We typically find that the distributions sampled in complex Lang…
The Lefschetz-thimble approach to path integrals is applied to a one-site model of electrons, i.e., the one-site Hubbard model. Since the one-site Hubbard model shows a non-analytic behavior at the zero temperature and its path integral expression has the sign problem, this toy model is a good testing ground for an idea or a technique to attack the sign problem. Semiclassical analysis using complex saddle points unveils the significance of interference among multiple Lefschetz thimbles to reproduce the non-analytic behavior by using the path integral. If the number of Lefschetz thimbles is ins…
We discuss two problems in complexified auxiliary fields in fermionic effective models, the auxiliary sign problem associated with the repulsive vector-field and the choice of the cut for the scalar field appearing from the logarithmic function. In the fermionic effective models with attractive scalar and repulsive vector-type interaction, the auxiliary scalar and vector fields appear in the path integral after the bosonization of fermion ilinears. When we make the path integral well-defined by the Wick rotation of the vector field, the oscillating Boltzmann weight appears in the partition fun…
The worldvolume tempered Lefschetz thimble method (WV-TLTM) is an algorithm towards solving the sign problem, where hybrid Monte Carlo updates are performed on a continuous accumulation of flowed surfaces foliated by the anti-holomorphic gradient flow (the worldvolume of integration surface). Sharing the advantage with the original tempered Lefschetz thimble method (TLTM) that the sign problem is resolved without introducing the ergodicity problem, the new algorithm is expected to significantly reduce the computational cost, because it eliminates the need to compute the Jacobian of the flow in…
The numerical sign problem is a major obstacle to the quantitative understanding of many important physical systems with first-principles calculations. Typical examples for such systems include finite-density QCD, strongly-correlated electron systems and frustrated spin systems, as well as the real-time dynamics of quantum systems. In this talk, we argue that the "tempered Lefschetz thimble method" (TLTM) [M. Fukuma and N. Umeda, arXiv:1703.00861] and its extension, the "worldvolume tempered Lefschetz thimble method" (WV-TLTM) [M. Fukuma and N. Matsumoto, arXiv:2012.08468], may be a reliable a…
We study the sign problem in the Hubbard model on the hexagonal lattice away from half-filling using the Lefschetz thimbles method. We identify the saddle points, reduce their amount, and perform quantum Monte Carlo (QMC) simulations using the holomorphic gradient flow to deform the integration contour in complex space. Finally, the results are compared against exact diagonalization (ED). We show that the sign problem can be substantially weakened, even in the regime with low temperature and large chemical potential, where standard QMC techniques exhibit an exponential decay of the average sig…
The tempered Lefschetz thimble method (TLTM) is a parallel-tempering algorithm towards solving the numerical sign problem, where the system is tempered by the antiholomorphic gradient flow to tame both the sign and ergodicity problems simultaneously. In this paper, we implement the hybrid Monte Carlo (HMC) algorithm for transitions on each flowed surface, expecting that this implementation on TLTM will give a useful framework for future computations of large-scale systems including fermions. Although the use of HMC in Lefschetz thimble methods has been proposed so far, our crucial achievement …
We consider a hybrid Monte Carlo algorithm which is applicable to lattice theories defined on Lefschetz thimbles. In the algorithm, any point (field configuration) on a thimble is parametrized uniquely by the flow-direction and the flow-time defined at a certain asymptotic region close to the critical point, and it is generated by solving the gradient flow equation downward. The associated complete set of tangent vectors is also generated in the same manner. Molecular dynamics is then formulated as a constrained dynamical system, where the equations of motion with Lagrange multipliers are solv…
Inspired by Lefschetz thimble theory, we treat Quantum Field Theory as a statistical theory with a complex Probability Distribution Function (PDF). Such complex-valued PDFs permit the violation of Bell-type inequalities, which cannot be violated by a real-valued, non-negative PDF. In this paper, we consider the Classical-Statistical approximation in the context of Bell-type inequalities, viz. the familiar (spatial) Bell inequalities and the temporal Leggett-Garg inequalities. We show that the Classical-Statistical approximation does not violate temporal Bell-type inequalities, even though it i…
As a solution towards the numerical sign problem, we propose a novel Hybrid Monte Carlo algorithm, in which molecular dynamics is performed on a continuum set of integration surfaces foliated by the antiholomorphic gradient flow ("the worldvolume of an integration surface"). This is an extension of the tempered Lefschetz thimble method (TLTM), and solves the sign and multimodal problems simultaneously as the original TLTM does. Furthermore, in this new algorithm, one no longer needs to compute the Jacobian of the gradient flow in generating a configuration, and only needs to evaluate its phase…
Zero-dimensional $O(n)$-symmetric sigma models are studied by using Picard--Lefschetz integration method in the presence of small symmetry-breaking perturbations. Due to approximate symmetry, downward flows turn out to show significant structures: They slowly travel along the set of pseudo classical points, and branch into other directions so as to span middle-dimensional integration cycles. We propose an efficient way to find such slow motions for computing Lefschetz thimbles. In the limit of symmetry restoration, we figure out that only special combinations of Lefschetz thimbles can survive …
A possible solution of the notorious sign problem preventing direct Monte Carlo calculations for systems with non-zero chemical potential is to deform the integration region in the complex plane to a Lefschetz thimble. We investigate this approach for a simple fermionic model. We introduce an easy to implement Monte Carlo algorithm to sample the dominant thimble. Our algorithm relies only on the integration of the gradient flow in the numerically stable direction, which gives it a distinct advantage over the other proposed algorithms. We demonstrate the stability and efficiency of the algorith…
We propose a framework to study the properties of the Lefschetz thimbles decomposition for lattice fermion models approaching the thermodynamic limit. The proposed set of algorithms includes the Schur complement solver and the exact computation of the derivatives of the fermion determinant. It allows us to solve the gradient flow (GF) equations taking into account the fermion determinant exactly, with high performance. We can find both real and complex saddle points and describe the structure of the Lefschetz thimbles decomposition for large enough lattices to extrapolate the results to the th…
This is an introductory level review of recent applications of resurgent trans-series and Picard-Lefschetz theory to quantum mechanics and quantum field theory. Resurgence connects local perturbative data with global topological structure. In quantum mechanical systems, this program provides a constructive relation between different saddles. For example, in certain cases it has been shown that all information around the instanton saddle is encoded in perturbation theory around the perturbative saddle. In quantum field theory, such as sigma models compactified on a circle, neutral bions provide…
We compute numerically the Lorentzian Engle-Pereira-Rovelli-Livine (EPRL) spinfoam propagator on a 4-simplex, by adapting the methods of Lefschetz thimble and Markov Chain Monte-Carlo to oscillatory spinfoam integrals. Our method can compute any spinfoam observables at relatively large spins. We obtain the numerical results of the propagators at different spins and demonstrate their consistency with the expected spinfoam semi-classical behavior in the large spin limit. Our results exhibit significant quantum corrections at smaller spins. Our method is reliable and thus can be employed to disco…
The algorithm based on integration over Lefschetz thimbles is a promising method to resolve the sign problem for complex actions. However, this algorithm often meets a difficulty in actual Monte Carlo calculations because the configuration space is not easily explored due to the infinitely high potential barriers between different thimbles. In this paper, we propose to use the flow time of the antiholomorphic gradient flow as an auxiliary variable for the highly multimodal distribution. To illustrate this, we implement the parallel tempering method by taking the flow time as a tempering parame…
We demonstrate the existence of hidden topological angles (HTAs) in a large class of quantum field theories and quantum mechanical systems. HTAs are distinct from theta-parameters in the lagrangian. They arise as invariant angle associated with saddle points of the complexified path integral and their descent manifolds (Lefschetz thimbles). Physical effects of HTAs become most transparent upon analytic continuation in $n_f$ to non-integer number of flavors, reducing in the integer $n_f$ limit to a $\mathbb Z_2$ valued phase difference between dominant saddles. In ${\cal N}=1$ super Yang-Mills …
Dykhne-Davis-Pechukas (DDP) method is a common approximation scheme for the transition probability in two-level quantum systems, as realized in the Landau-Zener effect, leading to an exponentially damping form comparable to the Schwinger pair production rate. We analyze the foundation of the DDP method using a modern complex technique inspired by the Lefschetz-thimble method. We derive an alternative and more adaptive formula that is useful even when the DDP method is inapplicable. As a benchmark, we study the modified Landau-Zener model and compare results from the DDP and our methods. We the…
The Picard-Lefschetz theory has been attracting much attention as a tool to evaluate a multi-variable integral with a complex weight, which appears in various important problems in theoretical physics. The idea is to deform the integration contour based on Cauchy's theorem using the so-called gradient flow equation. In this paper, we propose a fast Hybrid Monte Carlo algorithm for evaluating the integral, where we "backpropagate" the force of the fictitious Hamilton dynamics on the deformed contour to that on the original contour, thereby reducing the required computational cost by a factor of…
We study two dimensional path integral Lefschetz thimbles, i.e. the possible path integration contours. Specifically, in the examples of the $O(N)$ and ${\bf CP}^{N-1}$ models, we find a large class of complex critical points of the sigma model actions which are relevant for the theory in finite volume at finite temperature, with various chemical potentials corresponding to the symmetries of the models. In this paper we discuss the case of the $O(2m)$ and the ${\bf CP}^{N-1}$ models in the sector of zero instanton charge, as well as some solutions of the $O(2m+1)$ model. The ${\bf CP}^{N-1}$-m…
We show that compatibility of supersymmetry with exact semi-classics demands that in calculating multi-instanton amplitudes, the "separation" quasi-zeromode must be complexified and the integration cycles must be found by using complex gradient flow (or Picard-Lefschetz equations.) As a non-trivial application, we study $\mathcal N=2$ extended supersymmetric quantum mechanics. Even though in this case supersymmetry is unbroken, the instanton-anti-instanton amplitude (naively calculated) seems to contribute to the ground state energy. We show, however, that the instanton-anti-instanton event co…
It is sometimes speculated that the sign problem that afflicts many quantum field theories might be reduced or even eliminated by choosing an alternative domain of integration within a complexified extension of the path integral (in the spirit of the stationary phase integration method). In this paper we start to explore this possibility somewhat systematically. A first inspection reveals the presence of many difficulties but - quite surprisingly - most of them have an interesting solution. In particular, it is possible to regularize the lattice theory on a Lefschetz thimble, where the imagina…
Quantum de Sitter and Analytically Continued Chern Simons Theory
Brown Center for Theoretical Physics and Innovation, Department of Physics, Brown University（布朗大学理论物理与创新中心物理系）；Department of Mathematics, MIT（麻省理工学院数学系）
Resurgence theory implies that the non-perturbative (NP) and perturbative (P) data in a QFT are quantitatively related, and that detailed information about non-perturbative saddle point field configurations of path integrals can be extracted from perturbation theory. Traditionally, only stable NP saddle points are considered in QFT, and homotopy group considerations are used to classify them. However, in many QFTs the relevant homotopy groups are trivial, and even when they are non-trivial they leave many NP saddle points undetected. Resurgence provides a refined classification of NP-saddles, …
It has been argued that many non-perturbative phenomena in quantum mechanics (QM) and quantum field theory (QFT) are determined by complex field configurations, and that these contributions should be understood in terms of of Picard-Lefschetz theory. In this work we compute the contribution from non-BPS multi-instanton configurations, such as instanton-anti-instanton $[{I}\bar{I}]$ pairs, and argue that these contributions should be interpreted as exact critical points at infinity. The Lefschetz thimbles associated with such critical points have a specific structure arising from the presence o…
We study a certain class of supersymmetric (SUSY) observables in 3d $\mathcal{N}=2$ SUSY Chern-Simons (CS) matter theories and investigate how their exact results are related to the perturbative series with respect to coupling constants given by inverse CS levels. We show that the observables have nontrivial resurgent structures by expressing the exact results as a full transseries consisting of perturbative and non-perturbative parts. As real mass parameters are varied, we encounter Stokes phenomena at an infinite number of points, where the perturbative series becomes non-Borel-summable due …
Direct numerical evaluation of the real-time path integral has a well-known sign problem that makes convergence exponentially slow. One promising remedy is to use Picard-Lefschetz theory to flow the domain of the field variables into the complex plane, where the integral is better behaved. By Cauchy's theorem, the final value of the path integral is unchanged. Previous analyses have considered the case of real scalar fields in thermal equilibrium, employing a closed Schwinger-Keldysh time contour, allowing the evaluation of the full quantum correlation functions. Here we extend the analysis by…
Picard-Lefschetz theory is applied to solutions of the Helmholtz equation, formulated in terms of sums of integrals of a proper-time, or `einbein', wave function $Ψ(Λ) = \exp(i\mathbb S(Λ))$ along complex contours bounded by essential singularities of $Ψ$. There is a one to one map between steepest descent paths connecting essential singularities and real or complex eigenrays. Residues of finite $Λ$ poles of $\mathbb S(Λ)$ are shown to vanish at spatial points corresponding to sources, provided that the pole bounds only one steepest descent path. If the sum includes two such paths, with one be…
Picard--Lefschetz theory is applied to path integrals of quantum mechanics, in order to compute real-time dynamics directly. After discussing basic properties of real-time path integrals on Lefschetz thimbles, we demonstrate its computational method in a concrete way by solving three simple examples of quantum mechanics. It is applied to quantum mechanics of a double-well potential, and quantum tunneling is discussed. We identify all of the complex saddle points of the classical action, and their properties are discussed in detail. However a big theoretical difficulty turns out to appear in re…
In this work, we first solve complex Morse flow equations for the simplest case of a bosonic harmonic oscillator to discuss localization in the context of Picard-Lefschetz theory. We briefly touch on the exact non-BPS solutions of the bosonized supersymmetric quantum mechanics on algebraic geometric grounds and report that their complex phases can be accessed through the cohomology of WKB 1-form of the underlying singular spectral curve subject to necessary cohomological corrections for non-zero genus. Motivated by Picard-Lefschetz theory, we write down a general formula for the index of $\mat…
We discuss the non-perturbative contributions from real and complex saddle point solutions in the $\mathbb{C}P^1$ quantum mechanics with fermionic degrees of freedom, using the Lefschetz thimble formalism beyond the gaussian approximation. We find bion solutions, which correspond to (complexified) instanton-antiinstanton configurations stabilized in the presence of the fermionic degrees of freedom. By computing the one-loop determinants in the bion backgrounds, we obtain the leading order contributions from both the real and complex bion solutions. To incorporate quasi zero modes which become …
We present the calculation of the Feynman path integral in real time for tunneling in quantum mechanics and field theory, including the first quantum corrections. For this purpose, we use the well-known fact that Euclidean saddle points in terms of real fields can be analytically continued to complex saddles of the action in Minkowski space. We also use Picard-Lefschetz theory in order to determine the middle-dimensional steepest-descent surface in the complex field space, constructed from Lefschetz thimbles, on which the path integral is to be performed. As an alternative to extracting the de…
We show that the semi-classical analysis of generic Euclidean path integrals necessarily requires complexification of the action and measure, and consideration of complex saddle solutions. We demonstrate that complex saddle points have a natural interpretation in terms of the Picard-Lefschetz theory. Motivated in part by the semi-classical expansion of QCD with adjoint matter on ${\mathbb R}^3\times S^1$, we study quantum-mechanical systems with bosonic and fermionic (Grassmann) degrees of freedom with harmonic degenerate minima, as well as (related) purely bosonic systems with harmonic non-de…
The path integral of Liouville theory is well understood only when the central charge $c\in [25, \infty)$. Here, we study the analytical continuation the lattice Liouville path integral to generic values of $c$, with a particular focus on the vicinity of $c\in (-\infty, 1]$. We show that the $c\in [25, \infty)$ lattice path integral can be continued to one over a new integration cycle of complex field configurations. We give an explicit formula for the new integration cycle in terms of a discrete sum over elementary cycles, which are a direct generalization of the inverse Gamma function contou…
