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 bridged. This can most effectively be done via Padé approximants. In this way multi-thimble simulations can be circumvented. The approach can be trusted provided we can show that the analytic continuation we are performing is a legitimate one, which thing we can indeed show. We briefly discuss two prototypal computations, for which we obtained a very good control on the analytical structure (and singularities) of the results. All in all, the main strategy that we adopt is supposed to be valuable not only in the thimble approach, which thing we finally discuss.
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.
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…
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…
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…
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 develop a way of improving complex Langevin dynamics motivated by the Lefschetz-thimble decomposition of integrals. In our method, arbitrary observables of an original model with multiple Lefschetz thimbles are computed by a modified model with a single thimble. We apply our modification method to a one dimensional integral in which the naive implementation of the complex Langevin dynamics fails to reproduce the exact results due to the severe sign problem. We show that the toy model can be modified so that the new model consists of a single Lefschetz thimble. We find that correct results c…
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 …
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 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.
In this talk I review the proposal to formulate quantum field theories (QFTs) on a Lefschetz thimble, which was put forward to enable Monte Carlo simulations of lattice QFTs affected by sign problem. First I will review the theoretical justification of the approach, and comment on some open issues. Then, I will review the algorithms that have been proposed and are being tested to represent and simulate a lattice QFT on a Lefschetz thimble. In particular, I will review the lessons from the very first models of QFTs that have been studied with this approach.
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 complexification of field variables is an elegant approach to attack the sign problem. In one approach one integrates on Lefschetz thimbles: over them, the imaginary part of the action stays constant and can be factored out of the integrals so that on each thimble the sign problem disappears. However, for systems in which more than one thimble contribute one is faced with the challenging task of collecting contributions coming from multiple thimbles. The Thirring model is a nice playground to test multi-thimble integration techniques; even in a low dimensional theory, the thimble structure…
The QCD at finite density is not well understood yet, where standard Monte Carlo simulation suffers from the sign problem. In order to overcome the sign problem, the method of Lefschetz thimble has been explored. Basically, the original sign problem can be less severe in a complexified theory due to the constancy of the imaginary part of an action on each thimble. However, global phase factors assigned on each thimble still remain. Their interference is not negligible in a situation where a large number of thimbles contribute to the partition function, and this could also lead to a sign proble…
Non-perturbative lattice QCD calculations at non vanishing baryon number density are hampered by the QCD sign problem. The path integral, that in lattice QCD is calculated numerically, becomes highly oscillating. One possible solution is the Lefschetz thimble approach. It requires a deformation of the original integration domain into a manifold embedded in complex space. For properly chosen integration manifolds ("thimbles") the sign problem is drastically alleviated. For some bosonic and fermionic models this approach has been shown to work. Here we apply the thimble disretization to (0+1)-di…
Lefschetz thimbles have been proposed recently as a possible solution to the complex action problem (sign problem) in Monte Carlo simulations. Here we discuss pure abelian gauge theory with a complex coupling $β$ and apply the concept of Generalized Lefschetz thimbles. We propose to simulate the theory on the union of the tangential manifolds to the thimbles. We construct a local Metropolis-type algorithm, that is constrained to a specific tangential manifold. We also discuss how, starting from this result, successive subleading tangential manifolds can be taken into account via a reweighting …
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.
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 investigate Lefschetz thimble structure of the complexified path-integration in the one-dimensional lattice massive Thirring model with finite chemical potential. The lattice model is formulated with staggered fermions and a compact auxiliary vector boson (a link field), and the whole set of the critical points (the complex saddle points) are sorted out, where each critical point turns out to be in a one-to-one correspondence with a singular point of the effective action (or a zero point of the fermion determinant). For a subset of critical point solutions in the uniform-field subspace, we …
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…
At finite density, lattice simulations are hindered by the well-known sign problem: for finite chemical potentials, the QCD action becomes complex and the Boltzmann weight $e^{-S}$ cannot be interpreted as a probability distribution to determine expectation values by Monte Carlo techniques. Different workarounds have been devised to study the QCD phase diagram, but their application is mostly limited to the region of small chemical potentials. The Lefschetz thimbles method takes a new approach in which one complexifies the theory and deforms the integration paths. By integrating over Lefschetz…
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 characteristi…
A solution to the sign problem is the so-called "Lefschetz thimble approach" where the domain of integration for field variables in the path integral is deformed from the real axis to a sub-manifold in the complex space. For properly chosen sub-manifolds ("thimbles") the sign problem disappears or is drastically alleviated. The parametrization of the thimble by real coordinates require the calculation of a jacobian with a computational cost of order O(V^3), where V is proportional to the spacetime volume. In this note we propose two estimators for this jacobian with a computational cost of ord…
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…
The complex Langevin method and the generalized Lefschetz-thimble method are two closely related approaches to the sign problem, which are both based on complexification of the original dynamical variables. The former can be viewed as a generalization of the stochastic quantization using the Langevin equation, whereas the latter is a deformation of the integration contour using the so-called holomorphic gradient flow. In order to clarify their relationship, we propose a formulation which combines the two methods by applying the former method to the real variables that parametrize the deformed …
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 …
One strategy for reducing the sign problem in finite-density field theories is to deform the path integral contour from real to complex fields. If the deformed manifold is the appropriate combination of Lefschetz thimbles -- or somewhat close to them -- the sign problem is alleviated. Gauge theories lack a well-defined thimble decomposition, and therefore it is unclear how to carry out a generalized thimble method. In this paper we discuss some of the conceptual issues involved by applying this method to $QED_{1+1}$ at finite density, showing that the generalized thimble method yields correct …
Recently there has been remarkable progress in solving the sign problem, which occurs in investigating statistical systems with a complex weight. The two promising methods, the complex Langevin method and the Lefschetz thimble method, share the idea of complexifying the dynamical variables, but their relationship has not been clear. Here we propose a unified formulation, in which the sign problem is taken care of by both the Langevin dynamics and the holomorphic gradient flow. We apply our formulation to a simple model in three different ways and show that one of them interpolates the two meth…
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…
Based on the Lefschetz thimble formulation of path-integration, we analyze the (0+1) dimensional Thirring model at finite chemical potentials and perform hybrid Monte Carlo (HMC) simulations. We adopt the lattice action defined with the staggered fermion and a compact link field for the auxiliary vector field. We firstly locate the critical points (saddle points) of the gradient flows within the subspace of time-independent (complex) link field, and study the thiemble structure and the Stokes phenomenon to identify the thimbles which contribute to the path-integral. Then, we perform HMC simula…
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…
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…
We point out that Monte Carlo simulations of theories with severe sign problems can be profitably performed over manifolds in complex space different from the one with fixed imaginary part of the action. We describe a family of such manifolds that interpolate between the tangent space at one critical point, where the sign problem is milder compared to the real plane but in some cases still severe, and the union of relevant thimbles, where the sign problem is mild but a multimodal distribution function complicates the Monte Carlo sampling. We exemplify this approach using a simple 0 + 1 dimensi…
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 …
The generalized thimble method to treat field theories with sign problems requires repeatedly solving the computationally-expensive holomorphic flow equations. We present a machine learning technique to bypass this problem. The central idea is to obtain a few field configurations via the flow equations to train a feed-forward neural network. The trained network defines a new manifold of integration which reduces the sign problem and can be rapidly sampled. We present results for the $1+1$ dimensional Thirring model with Wilson fermions on sizable lattices. In addition to the gain in speed, the…
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 consider the one-dimensional massive Thirring model formulated on the lattice with staggered fermions and an auxiliary compact vector (link) field, which is exactly solvable and shows a phase transition with increasing the chemical potential of fermion number: the crossover at a finite temperature and the first order transition at zero temperature. We complexify its path-integration on Lefschetz thimbles and examine its phase transition by hybrid Monte Carlo simulations on the single dominant thimble. We observe a discrepancy between the numerical and exact results in the crossover region f…
Deforming the domain of integration after complexification of the field variables is an intriguing idea to tackle the sign problem. In thimble regularization the domain of integration is deformed into an union of manifolds called Lefschetz thimbles. On each thimble the imaginary part of the action stays constant and the sign problem disappears. A long standing issue of this approach is how to determine the relative weight to assign to each thimble contribution in the (multi)-thimble decomposition. Yet this is an issue one has to face, as previous work has shown that different theories exist fo…
The concept of Lefschetz thimble decomposition is one of the most promising possible modifications of Quantum Monte Carlo (QMC) algorithms aimed at alleviating the sign problem which appears in many interesting physical situations, e.g. in the Hubbard model away from half filling. In this approach one utilizes the fact that the integral over real variables with an integrand containing a complex fluctuating phase is equivalent to the sum of integrals over special manifolds in complex space ("Lefschetz thimbles"), each of them having a fixed complex phase factor. Thus, the sign problem can be re…
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…
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…
