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.
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 Pade 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 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 pa
rt 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 Schrodinger 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.
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.
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 is in some sense exact for a free theory, whereas the full quantum theory does. We explain the origin of this discrepancy, and point out the key difference between the spatial and temporal Bell-type inequalities. We comment on the import of this work for applications of the Classical-Statistical approximation.
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 imaginary part of the action is constant and disappears from all observables. This regularization can be justified in terms of symmetries and perturbation theory. Moreover, it is possible to design a Monte Carlo algorithm that samples the configurations in the thimble. This is done by simulating, effectively, a five dimensional system. We describe the algorithm in detail and analyze its expected cost and stability. Unfortunately, the measure term also produces a phase which is not constant and it is currently very expensive to compute. This residual sign problem is expected to be much milder, as the dominant part of the integral is not affected, but we have still no convincing evidence of this. However, the main goal of this paper is to introduce a new approach to the sign problem, that seems to offer much room for improvements. An appealing feature of this approach is its generality. It is illustrated first in the simple case of a scalar field theory with chemical potential, and then extended to the more challenging case of QCD at finite baryonic density.