Necessary and sufficient conditions for correctness of complex Langevin

Abstract

We derive a family of correctness conditions for complex Langevin simulations. In particular, we show that if in a given theory the expectation values of all observables within a particular space satisfy the theory's Schwinger-Dyson equations as well as certain bounds, then these expectation values are necessarily correct. In fact, these findings are not only valid in the context of complex Langevin simulations, but they also hold for general probability densities on complex manifolds, given an initial complex density on a real manifold. We stress that, while the proposed conditions are necessary and sufficient in a mathematical sense, their practical use is not to prove the correctness of obtained simulation results. Rather, they are mainly useful for detecting incorrect convergence. In particular, we test these criteria in a few simple one- and two-dimensional toy models and find that they are indeed capable of ruling out incorrect results without the need of exact solutions.

23 pages + 4 pages appendix, 3 figures

References in corpus (10)

• The NumPy array: a structure for efficient numerical computation
• Computational complexity and fundamental limitations to fermionic quantum Monte Carlo simulations
• Complex Langevin Equations and Schwinger-Dyson Equations
• Controlling Complex Langevin simulations of lattice models by boundary term analysis
• Does the complex Langevin method give unbiased results?
• Towards learning optimized kernels for complex Langevin
• Stable solvers for real-time Complex Langevin
• Existence of positive representations for complex weights
• Lefschetz thimble-inspired weight regularizations for complex Langevin simulations
• The Role of Integration Cycles in Complex Langevin Simulations

Cited by in corpus (2)

• Correctness criteria for complex Langevin
• Combining complex Langevin dynamics with score-based and energy-based diffusion models