On complex Langevin dynamics and zeroes of the measure I: Formal proof and simple models

On complex Langevin dynamics and zeroes of the measure I: Formal proof and simple models

Gert Aarts 
Department of Physics, College of Science, Swansea University, Swansea, United Kingdom
E-mail: g.aarts@swan.ac.uk
Speaker.
   Erhard Seiler
Max-Planck-Institut für Physik (Werner-Heisenberg-Institut), München, Germany
E-mail: ehs@mppmu.mpg.de
   Dénes Sexty
Department of Physics, Bergische Universität Wuppertal, Wuppertal, Germany
Inst. for Theoretical Physics, Eötvös University, Budapest, Hungary
E-mail: sexty@uni-wuppertal.de
   Ion-Olimpiu Stamatescu
Institut für Theoretische Physik, Universität Heidelberg, Heidelberg, Germany
E-mail: I.O.Stamatescu@thphys.uni-heidelberg.de
Abstract

In the complex Langevin approach to lattice simulations at nonzero density, zeroes of the fermion determinant lead to a meromorphic drift and hence a need to revisit the theoretical derivation. We discuss how poles in the drift affect the formal justification of the approach and then explore the various potential issues in simple models, in a manner that is applicable to heavy dense and full QCD.

On complex Langevin dynamics and zeroes of the measure I: Formal proof and simple models

 

Ion-Olimpiu Stamatescu

Institut für Theoretische Physik, Universität Heidelberg, Heidelberg, Germany

E-mail: I.O.Stamatescu@thphys.uni-heidelberg.de

\abstract@cs

34th annual International Symposium on Lattice Field Theory 24-30 July 2016 University of Southampton, UK

1 Introduction

Complex Langevin dynamics has solved the sign problem in a number of theories with a complex weight due to a nonzero chemical potential [1, 2], including heavy dense QCD [3, 4, 5], and progress for QCD with lighter quarks is underway [6, 7, 8]. However, the presence of the fermion determinant causes a theoretical problem, since the Langevin drift is then no longer holomorphic: zeroes of the determinant cause poles in the drift. In practice, this may lead to incorrect convergence, but not necessarily so [9, 10, 11]. Since the formal justification [12, 13] relies (among others) on holomorphicity a reconsideration of the derivation is required. This is sketched below. The interplay between the poles and the real and positive distribution sampled during the Langevin process turns out to be essential and this is studied in a sequence of models, with the aim to extract generic lessons. This contribution is based on Ref. [14] and accompanied by Ref. [15].

2 Formal derivation revisited

We will start with revisiting the formal derivation and justification of the complex Langevin approach [12, 13] and point out where the arguments have to be amended to include meromorphic drifts. The approach hinges on the equivalence of two expectation values, one defined with respect to the original complex weight and one with respect to the real and positive weight on the analytically extended manifold, i.e.,

(2.0)

These distributions satisfy the Fokker-Planck equations (we consider real noise only [12])

(2.0)

with the Langevin drift terms

(2.0)

Success is obtained when these expectation values are equal: .

The equivalence can indeed by demonstrated [12, 13], provided that 1) the drift and observables are holomorphic; 2) the distribution has fast decay at . In particular, the proof requires partial integration at without boundary terms.

Let us now consider the case with (at least) one zero in measure, . In that case the drift has pole at and is no longer holomorphic, but only meromorphic. Hence it is necessary to revisit the derivation. Note that QCD is an example that falls in this category, since after integrating the quarks, the partition function is

(2.0)

It turns out that the derivation as above goes through, provided that the region around the pole is excluded, i.e.  [14]. However, this yields the possibility of new potential boundary terms at , besides the ones at . It is therefore necessary to study the behaviour of the product of the distribution and observables, , around carefully.

Let us make the following remark on the time evolution of holomorphic observables [14],

(2.0)

with the solution

(2.0)

Since has a pole at , one may expect to have an essential singularity at . However, this potential disaster is counteracted by the vanishing of as , as well as by the nontrivial angular dependence of around (see below), which soften the singularity.

3 Poles and the distribution

The flow pattern around a pole has a generic structure. Consider a zero at of order ,

(3.0)

The drift is then given by

(3.0)

In Fig. 1, we show the corresponding classical flow pattern, for and . The attractive and repulsive directions are generic and lead to particular angular dependence. We note that due to this, multiple circlings of the pole are not expected.

Figure 1: Generic flow pattern around a pole at , with attractive and repulsive directions.

Given the formal justification, it is necessary to better understand the behaviour of the distribution (and observables) around the pole. Logically, there are three possibilities: 1) the pole is outside the distribution; 2) the pole is on the edge of the distribution; 3) the pole is inside the distribution. We will now encounter these cases in various models.

4 Pole and distribution in simple model

We start with a simple but often studied example, with the distribution

(4.0)

Following the analysis of Ref. [16], it is easy to arrive at some essential and rigorous properties of distribution . For real , the distribution is nonzero in a horizontal strip only. Hence the decay at poses no problem and this possibility of breakdown is avoided. Depending on the parameters (), the pole is either located exactly on the edge of the strip or outside the strip. This is illustrated in Fig. 2.

Figure 2: Strips in the plane where . The pole is indicated with the red square. The red striped region in b) is transient only.

These two cases are distinguished by [14]

  • : pole on edge when ;

  • : pole outside strip when .

For case b), with the pole outside, the standard justification still holds, since the pole is avoided as the upper strip is a transient. Indeed, complex Langevin dynamics reproduces the exact results in this case. Case a), with the pole on the edge, is more interesting. Here the results depend on the properties of the distribution, determined by the parameter values.

Figure 3: Observables versus , obtained with complex Langevin (CL, open symbols) and exact results (smaller filled symbols), for three values.

Figure 4: Partially integrated distributions on a linear (left) and logarithmic (right) scale.

We demonstrate this with an example, using , and show a comparison of the exact results and the results obtained with CL, for the observable , with , in Fig. 4. It can be seen that there is no agreement for , but good agreement for and . Recall that for all three parameter values, is expected to be nonzero for , i.e. all the way up to the pole. Given the formal justification, this different behaviour should be visible in properties of the distribution .

This is demonstrated in Fig. 4, where the partially integrated distribution is shown on a linear (left) and logarithmic (right) scale, for (CL incorrect) and 3.2 (CL consistent). We observe that for , the distribution is nonzero right up to the pole and seems to go to zero linearly. In such a case, boundary terms at due to partial integration will contribute and complex Langevin dynamics is not valid, as discussed in Sec. 2. On the other hand, for , the decay is much faster, possibly exponentially, and hence partial integration poses no problem for observables . Consistent with the formal justification, complex Langevin dynamics then reproduces the correct results.

We conclude that it is possibly to reconcile the properties of the distribution, the formal justification and the success/failure of the complex Langevin process, in the presence of a pole.

5 Towards more realistic models

The next step is to carry over the essence of this analysis to more realistic models, and devise diagnostics which are also applicable in QCD. To do this, we first consider the U(1) one-link model with the complex distribution [3]

(5.0)

The conclusions can be summarised (loosely speaking) by stating that CL works when and fails when [3, 9]. Hence we take here here. We also fix , and vary the order of the zero, .

The distribution has zeroes at and is again nonzero in a strip only, , so that the behaviour at is under control. We study the observables with . The applicability of CL is found to depend strongly on , and we find incorrect results for but correct results for [14]. In this case, the poles lie within the strip. However, the poles pinch the distribution, i.e. approximately disconnected regions appear and the poles act as a bottleneck. In order to present this in a way that is easily extendable to more complicated theories, where the complexified configuration space is not accessible, we show the determinant factor in the complex plane instead. Here is defined such that the ‘full determinant’ appears as in Eq. (5).

Figure 5: Left: histogram of the determinant factor in the U(1) model for (on a logarithmic scale). Right: partially integrated distribution for Re , for three values of .

The result for is shown in Fig. 5 (left). We observe that the pole pinches the distribution and, even though the dynamics takes place in the complex plane, there are no multiple circlings around the pole at the origin. The distribution is zero when . The way this occurs is shown in Fig. 5 (right) for Re , i.e. we have integrated over Im . As in the model discussed above, we note that the manner in which the distribution goes to zero is essential: for , it is too slow for partial integration to work without boundary terms, while for , the distribution is in fact zero when Re , partial integration can be applied, and the formal justification is valid.

We note that it is now easy to divide the configuration space into two disconnected regions, with Re . These regions can be treated separately with constrained partition functions and relative weights . We find that typically contributes incorrect results. However, we also find that , which is beneficial for the CL approach.

Figure 6: Scatter plot of complex determinant in the SU(3) one-link model, for two choices of parameters representing different aspects of HDQCD.

Finally we discuss the SU(3) effective one-link model, designed to understand heavy dense QCD [14]. Here it is again straightforward to analyse the determinant and we found the same structure as above, as demonstrated in Fig. 6. We find that the zero pinches the distribution, which results in two disjoint areas. It is hence possible to analyse each region separately. When increasing the order of the zero (increasing ), we find that there is a stronger drift towards and then away from pole, hence stronger pinching, and typically better agreement with expected results. The analysis of determinant is easily extended to heavy dense QCD, while in full QCD it is numerically more intensive. This is further discussed in Refs. [14, 15].

6 Summary

When using complex Langevin dynamics to solve QCD at nonzero chemical potential, the Langevin drift has poles where the fermion determinant vanishes and is no longer holomorphic. It is then necessary to revisit the formal justification of the approach. We found that the usual derivation still holds, but correctness of the results depends crucially on the behaviour of the distribution around the pole. Similar arguments are also provided in Ref. [17]. Subsequently we analysed a number of models and found common features in all of these, namely that the poles will pinch the distribution and result in disjoint regions, which can be analysed separately. When the zero is of order , e.g. when the determinant can be written as , we found that larger typically yields better results. This conclusion seems not specific to simple models, but also correct in e.g. heavy dense QCD [14, 15].

Acknowledgements – We thank Felipe Attanasio and Benjamin Jäger. Support from STFC (grant ST/L000369/1), the Royal Society and the Wolfson Foundation is gratefully acknowledged.

References

  • [1] G. Aarts, PoS LATTICE 2012 (2012) 017 [arXiv:1302.3028 [hep-lat]].
  • [2] D. Sexty, PoS LATTICE 2014 (2014) 016 [arXiv:1410.8813 [hep-lat]].
  • [3] G. Aarts and I. O. Stamatescu, JHEP 0809 (2008) 018 [arXiv:0807.1597 [hep-lat]].
  • [4] E. Seiler, D. Sexty and I. O. Stamatescu, Phys. Lett. B 723 (2013) 213 [arXiv:1211.3709 [hep-lat]].
  • [5] G. Aarts, F. Attanasio, B. Jäger and D. Sexty, JHEP 1609 (2016) 087 [arXiv:1606.05561 [hep-lat]].
  • [6] D. Sexty, Phys. Lett. B 729 (2014) 108 [arXiv:1307.7748 [hep-lat]].
  • [7] G. Aarts, E. Seiler, D. Sexty and I. O. Stamatescu, Phys. Rev. D 90 (2014) no.11, 114505 [arXiv:1408.3770 [hep-lat]].
  • [8] D. K. Sinclair and J. B. Kogut, PoS LATTICE 2015 (2016) 153 [arXiv:1510.06367 [hep-lat]].
  • [9] A. Mollgaard and K. Splittorff, Phys. Rev. D 88 (2013) no.11, 116007 [arXiv:1309.4335 [hep-lat]].
  • [10] K. Splittorff, Phys. Rev. D 91 (2015) no.3, 034507 [arXiv:1412.0502 [hep-lat]].
  • [11] K. Nagata, J. Nishimura and S. Shimasaki, JHEP 1607 (2016) 073 [arXiv:1604.07717 [hep-lat]].
  • [12] G. Aarts, E. Seiler and I. O. Stamatescu, Phys. Rev. D 81 (2010) 054508 [arXiv:0912.3360 [hep-lat]].
  • [13] G. Aarts, F. A. James, E. Seiler and I. O. Stamatescu, Eur. Phys. J. C 71 (2011) 1756 [arXiv:1101.3270 [hep-lat]].
  • [14] G. Aarts, E. Seiler, D. Sexty and I. O. Stamatescu, in preparation.
  • [15] G. Aarts, E. Seiler, D. Sexty and I. O. Stamatescu, PoS(LATTICE2016) 092.
  • [16] G. Aarts, P. Giudice and E. Seiler, Annals Phys. 337 (2013) 238 [arXiv:1306.3075 [hep-lat]].
  • [17] K. Nagata et al, PoS(LATTICE2016) 067.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
192248
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description