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 not requiring a closed time path, instead allowing for an initial density matrix for out-of-equilibrium initial value problems. We are able to explicitly implement Gaussian initial conditions, and by separating the initial time and the later times into a two-step Monte-Carlo sampling, we are able to avoid the phenomenon of multiple thimbles. In fact, there exists one and only one thimble for each sample member of the initial density matrix. We demonstrate the approach through explicitly computing the real-time propagator for an interacting scalar in 0+1 dimensions, and find very good convergence allowing for comparison with perturbation theory and the classical-statistical approximation to real-time dynamics.
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 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…
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 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 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 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 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…
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 …
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 …
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…
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…
Is it worth the effort to find Lefschetz thimbles? Integration contours with numerically optimal signal-to-noise ratios in simple fermionic toy models
ELTE Eötvös Loránd University（罗兰大学）；MTA-ELTE Lendület “Momentum” Strongly Interacting Matter Research Group（MTA-ELTE 力场强相互作用物质研究组）；Department of Computational Sciences, HUN-REN Wigner Research Centre for Physics（匈牙利研究与教育网络维格纳物理研究中心计算科学系）；Pennsylvania State University（宾夕法尼亚州立大学）
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…
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…
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 …
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…
Monte Carlo simulations are useful tools for modeling quantum systems, but in some cases they suffer from a sign problem, leading to an exponential slow down in their convergence to a value. While solving the sign problem is generically NP-hard, many techniques exist for mitigating the sign problem in specific cases; in particular, the technique of deforming the Monte Carlo simulation's plane of integration onto Lefschetz thimbles (complex hypersurfaces of stationary phase) has seen significant success in the context of quantum field theories. We extend this methodology to spin systems by util…
Monte Carlo simulations of lattice quantum field theories on Lefschetz thimbles are non trivial. We discuss a new Monte Carlo algorithm based on the idea of computing contributions to the functional integral which come from complete flow lines. The latter are the steepest ascent paths attached to critical points, i.e. the basic building blocks of thimbles. The measure to sample is thus dictated by the contribution of complete flow lines to the partition function. The algorithm is based on a heat bath sampling of the gaussian approximation of the thimble: this defines the proposals for a Metrop…
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…
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 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…
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 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 …
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 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…
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…
Nowadays the term 'sign problem' is used to identify two different problems. The ideas to overcome the first type of the 'sign problem' of strongly oscillating complex valued imtegrand in the Feynman path integrals comes from Picard-Lefschetz theory and a complex version of Morse theory. The main idea is to select Lefschetz thimbles as the cycle approaching the critical point at the path-integration, where the imaginary part of the complex action stays constant. Since the imaginary part of the action is constant on each thimble, the sign problem disappears and the integral can be calculated mu…
We propose a new approach to circumvent the sign problem in which the integration path is optimized to control the sign problem. We give a trial function specifying the integration path in the complex plane and tune it to optimize the cost function which represents the seriousness of the sign problem. We call it the path optimization method. In this method, we do not need to solve the gradient flow required in the Lefschetz-thimble method and then the construction of the integration-path contour arrives at the optimization problem where several efficient methods can be applied. In a simple mod…
We show that complex Langevin simulation converges to a wrong result, by relating it to the Lefschetz-thimble path integral, when the path-integral weight has different phases among dominant complex saddle points. Equilibrium solution of the complex Langevin equation forms local distributions around complex saddle points. Its ensemble average approximately becomes a direct sum of the average in each local distribution, where relative phases among them are dropped. We propose that by taking these phases into account through reweighting, we can solve the wrong convergence problem. However, this …
We propose a path optimization method (POM) to evade the sign problem in the Monte-Carlo calculations for complex actions. Among many approaches to the sign problem, the Lefschetz-thimble path-integral method and the complex Langevin method are promising and extensively discussed. In these methods, real field variables are complexified and the integration manifold is determined by the flow equations or stochastically sampled. When we have singular points of the action or multiple critical points near the original integral surface, however, we have a risk to encounter the residual and global si…
We suggest an approach for simulating theories with a sign problem that relies on optimisation of complex integration contours that are not restricted to lie along Lefschetz thimbles. To that end we consider the toy model of a one-dimensional Bose gas with chemical potential. We identify the main contribution to the sign problem in this case as coming from a nearest neighbour interaction and approximately cancel it by an explicit deformation of the integration contour. We extend the obtained expressions to more general ones, depending on a small set of parameters. We find the optimal values of…
Although the Hamiltonian formalism is so far favored for quantum computation of lattice gauge theory, the path integral formalism would never be useless. The advantages of the path integral formalism are the knowledge and experience accumulated by classical lattice simulation and manifest Lorentz invariance. We discuss quantum computation of lattice gauge theory in the path integral formalism. We utilize a quantum sampling algorithm to generate gauge configurations, and demonstrate a benchmark test of $Z_2$ lattice gauge theory on a four-dimensional hypercube.
