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.

arXiv comment23 pages + 4 pages appendix, 3 figures

References in corpus (30)

• The NumPy array: a structure for efficient numerical computation
• Computational complexity and fundamental limitations to fermionic quantum Monte Carlo simulations
• The Complex Langevin method: When can it be trusted?
• Complex Langevin: Etiology and Diagnostics of its Main Problem
• Gauge cooling in complex Langevin for QCD with heavy quarks
• Approaches to the sign problem in lattice field theory
• The argument for justification of the complex Langevin method and the condition for correct convergence
• Adaptive stepsize and instabilities in complex Langevin dynamics
• New insights into the problem with a singular drift term in the complex Langevin method
• Complex Langevin dynamics and zeroes of the fermion determinant
• Stability of complex Langevin dynamics in effective models
• On the convergence of complex Langevin dynamics: the three-dimensional XY model at finite chemical potential
• Complex Langevin and boundary terms
• Localised distributions and criteria for correctness in complex Langevin dynamics
• Complex Langevin Equations and Schwinger-Dyson Equations
• Does the complex Langevin method give unbiased results?
• Controlling Complex Langevin simulations of lattice models by boundary term analysis
• Representation of Complex Probabilities
• Complex Probabilities on R^N as Real Probabilities on C^N and an Application to Path Integrals
• The Mechanism of Complex Langevin Simulations
• Towards learning optimized kernels for complex Langevin
• On the Segregation Phenomenon in Complex Langevin Simulation
• Stable solvers for real-time Complex Langevin
• Complex Langevin: Boundary terms at poles
• Existence of positive representations for complex weights
• Schwinger-Dyson equations and line integrals
• Beyond complex Langevin equations II: a positive representation of Feynman path integrals directly in the Minkowski time
• Lefschetz thimble-inspired weight regularizations for complex Langevin simulations
• Positive Representations of a Class of Complex Measures
• 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