Arxiv:1906.04243V2 [Cond-Mat.Str-El]
Total Page:16
File Type:pdf, Size:1020Kb
Applying the tempered Lefschetz thimble method to the Hubbard model away from half-filling 1, 1, 2, Masafumi Fukuma, ∗ Nobuyuki Matsumoto, † and Naoya Umeda ‡ 1Department of Physics, Kyoto University, Kyoto 606-8502, Japan 2PricewaterhouseCoopers Aarata LLC, Otemachi Park Building, 1-1-1 Otemachi, Chiyoda-ku, Tokyo 100-0004, Japan The tempered Lefschetz thimble method is a parallel-tempering algorithm towards solving the numerical sign problem. It uses the flow time of the gradient flow as a tempering parameter and is expected to tame both the sign and multimodal problems simultaneously. In this paper, we further develop the algorithm so that the expectation values can be estimated precisely with a criterion ensuring global equilibrium and the sufficiency of the sample size. To demonstrate that this algorithm works well, we apply it to the quantum Monte Carlo simulation of the Hubbard model away from half-filling on a two-dimensional lattice of small size, and show that the numerical results agree nicely with exact values. I. INTRODUCTION gradient flow (see also [15] for a similar idea). In this paper, we further develop the TLTM, propos- The sign problem is one of the major obstacles when ing an algorithm which allows the precise estimation of performing numerical calculations in various fields of expectation values with a criterion ensuring global equi- physics. Typical examples include finite density QCD [1], librium and the sufficiency of the sample size. The key quantum Monte Carlo (QMC) calculations of quantum is the use of the fact that the expectation values should statistical systems [2–4], and the numerical simulations be the same for all flow times. To demonstrate that this of real-time quantum field theories. algorithm works well, we apply it to the QMC simulation Among a variety of approaches, two algorithms have of the Hubbard model away from half-filling. taken attention as potential candidates to generically The application of Lefschetz thimble methods to the solve the sign problem for systems with complex action; Hubbard model has already been considered by several one is the complex Langevin method [5], and the other groups [20–22] (see also [23, 24] for recent study), and is a class of algorithms utilizing the Lefschetz thimbles the relevance of the contributions from multiple thimbles [6–15]. Although both the algorithms make use of com- has been reported. In this paper, we consider a two- plexification of variables and analytic continuation of in- dimensional periodic square lattice of size N = 2 2 s × tegrands, their methodologies are fairly different; the for- with the inverse temperature decomposed to Nτ = 5 mer algorithm attempts to replace the complex Boltz- pieces, and numerically evaluate the expectation values mann weight by a real positive weight defined in the of observables as functions of the chemical potential with whole complex space, while the latter deforms the in- other parameters fixed to some values. We show that the tegration region in the complex space so as to reduce the TLTM (the implementation of tempering combined with phase oscillation. At this stage, each algorithm has its the above algorithm for precise estimation) give results own advantage and disadvantage. The former is advan- that agree nicely with exact values, simultaneously re- tageous in that it is relatively fast with computational solving the sign and multimodal problems. cost O(N) (N: the degrees of freedom), but it suffers We comment that the extent of seriousness of the from the so-called wrong convergence problem [16–19]. sign problem in the QMC simulation of the Hubbard The latter is generally free from the wrong convergence model depends heavily on the choice of the Hubbard- problem if only a single thimble is relevant in evaluating Stratonovich variables. In this paper, in order to apply the expectation values of physical observables of inter- the Lefschetz thimble method, we exclusively consider a est. The disadvantage is its expensive numerical cost, arXiv:1906.04243v2 [cond-mat.str-el] 27 Nov 2019 3 Gaussian Hubbard-Stratonovich variable that leads to a which is O(N ) because of the need to calculate the Ja- complex action. There the sign problem is actually se- cobian determinant. When multiple thimbles are rele- vere as we will see below, and one needs to seriously con- vant, one needs to take care of the multimodality of the sider a dilemma between the sign and multimodal prob- distribution. The tempered Lefschetz thimble method lems, which can be solved by the TLTM as stated above. (TLTM) was thus proposed in [14] to tame both the sign However, the temporal size considered here is still small and multimodal problems simultaneously, where the sys- (Nτ = 5), and for such a high temperature regime one tem is tempered by the flow time of the antiholomorphic can resort to other methods than the Lefschetz thimble methods with a different type of Hubbard-Stratonovich variables (see discussions in section III). ∗ [email protected] This paper is organized as follows. In section II after † [email protected] briefly reviewing the TLTM [14], we give a new algorithm ‡ [email protected] which allows the precise estimation of expectation values 2 with a criterion ensuring global equilibrium and the suf- with H(z) (∂i∂j S(z)). Under the flow (2), the ac- ficiency of the sample size. This algorithm is applied to ≡ 2 tion changes as (d/dt)S(zt(x)) = ∂iS(zt(x)) 0, and the Hubbard model in section III, and we discuss about ≥ thus Re S(zt(x)) increases except at the critical points the obtained numerical results. We there also make a z (∂iS(z ) = 0), while Im S(zt(x)) is kept constant. In comment on the sign averages obtained by other meth- particular,∗ ∗ in the limit t , the deformed region will ods. Section IV is devoted to conclusion and outlook. approach a union of N-dimensional→ ∞ submanifolds (Lef- Five appendices are given for more detailed discussions schetz thimbles) on each of which Im S(z) is constant, on various topics. and thus the sign problem is expected to disappear there (except for a possible residual sign problem arising from the phase of the complex measure dz and a possible global II. TEMPERED LEFSCHETZ THIMBLE sign problem caused by phase cancellations among differ- METHOD ent thimbles). However, in the Monte Carlo calculation one cannot take the t limit na¨ıvely, because the Let x = (xi) RN be a real N-dimensional dynamical potential barriers between→ ∞ different thimbles become in- ∈ variable with action S(x) which may take complex values. finitely high so that the whole configuration space cannot Our main concern is to estimate the expectation values be explored sufficiently. This multimodality of distribu- tion makes the Monte Carlo calculation impractical, es- S(x) N dx e− (x) R O pecially when contributions from more than one thimble (x) S S(x) . (1) hO i ≡ R RN dx e− are relevant to estimating expectation values. A key pro- R posal in [12] is to use a finite value of flow time that S(z) S(z) We assume that e− and e− (z) are entire func- is large enough to avoid the sign problem but simulta- tions over CN when x is complexifiedO to z = (zi) CN . neously is not too large so that the exploration in the Then, due to Cauchy’s theorem for higher dimensions,∈ configuration space is still possible. However, it is a dif- the right-hand side does not change under continuous de- ficult task to find such value of flow time in a systematic formations of the integration region as long as the bound- way, as we will discuss at the end of section III and in ary at infinity is kept fixed so that the integrals converge. Appendix E. The sign problem will get reduced if Im S(z) is almost The TLTM [14] is a tempering algorithm that uses the constant on the new integration region. flow time as a tempering parameter. There, the global In [11–15] such a deformation x zt(x) (t 0) is relaxation of the multimodal distribution is prompted by made according to the antiholomorphic→ gradient≥ flow: enabling configurations around different modes to easily communicate through transitions in ensembles at smaller i i i z˙t = [∂iS(zt)]∗, zt=0 = x . (2) flow times. Among other possible tempering algorithms, the parallel tempering algorithm [25, 26] (also known as Equation (1) can then be rewritten as the replica exchange MCMC method; see [27] for a re- view) is adopted in the TLTM [14] because it does not S(z) Σ dz e− (z) need to introduce the probability weight factors of ensem- (x) = t O (Σ z (RN )), (3) hO iS R dz e S(z) t ≡ t bles at various flow times and because most of relevant Σt − R steps can be done in parallel processes. which can be further rewritten as a ratio of reweighted In the TLTM (see Appendix A for the summary of N integrals over R by using the Jacobian matrix Jt(x) the algorithm), we first fix the maximum flow time T i j ≡ ∂zt(x)/∂x [11]: which should be sufficiently large such that the sign prob- lem is reduced there. A possible criterion is that the S(z (x)) iθT (x) t sign average e eff is O(1) in the absence of tem- RN dx detJt(x) e− (zt(x)) ST (x) S = O |h i | S(zt(x)) pering. This process can be carried out by a test run hO i R RN dx detJt(x) e− with small statistics.