We investigate in this work a recently proposed diagrammatic quantum Monte Carlo method -the inchworm Monte Carlo method -for open quantum systems. We establish its validity rigorously based on resummation of Dyson series. Moreover, we introduce an integro-differential equation formulation for open quantum systems, which illuminates the mathematical structure of the inchworm algorithm. This new formulation leads to an improvement of the inchworm algorithm by introducing classical deterministic time-integration schemes. The numerical method is validated by applications to the spin-boson model.
Keywords: quantumMonte Carlo, open quantum system, diagrammatic methods, spin-boson model to obtain a Markovian approximation, known as the Lindblad equation [12,13], which is the quantum analog of the Langevin dynamics. The Markovian approximation however breaks down for open systems with stronger coupling, so that one has to keep track of the non-Markovian dynamics of the projected density matrix describing the system of interests [3]. For classical systems, such dynamics is often modeled and studied as generalized Langevin equations [24,63], while for quantum systems, the non-Markovian dynamics is much more complicated, and many works have been devoted to this topic. Analogously to the generalized Langevin equations, generalized quantum master equation with memory kernel has been used to model non-Markovian open quantum dynamics [29,42,43,52], though it is often complicated to come up with a good estimate of the memory kernel, especially when the memory is long range.Besides the quantum master equation framework, the non-Markovian evolution of the system can be also directly modeled and simulated using the path-integral approaches such as the QuAPI (quasi-adiabatic propagator path integral) methods [36,41] and the HEOM (hierarchical equations of motion) technique [56]. These methods yield accurate numerical results (often referred as "numerically exact" in the literature), while the computational cost is extremely huge, often unaffordable. To reduce the computational cost, one common strategy is to replace the exact summation or numerical integration in these methods by Monte Carlo methods. In this paper, we are going to study a specific type of path-integral methods called the diagrammatic quantum Monte Carlo method [60] to solve the time-dependent open quantum systems. In particular, our study is largely motivated by the inchworm Monte Carlo method recently proposed in [4,10] to reduce the variance in quantum Monte Carlo by diagrammatic resummation.The basis of the diagrammatic quantum Monte Carlo method has been established as early as 1960s [28]. However, as other quantum Monte Carlo methods, this type of methods also suffer from the notorious dynamical sign problem, meaning that the number of Monte Carlo samples is required to grow at least exponentially in time in order to keep the accuracy of the simulation. To relieve the dynamical sign problem, Stockburger and Grabert introduced stochastic unraveling of influence...