Finite Density QED_{1+1} Near Lefschetz Thimbles

# Finite Density Qed1+1 Near Lefschetz Thimbles

Andrei Alexandru Department of Physics, The George Washington University, Washington, D.C. 20052, USA Department of Physics, University of Maryland, College Park, MD 20742, USA Albert Einstein Center for Fundamental Physics, Institute for Theoretical Physics, University of Bern, Sidlerstrasse 5, CH-3012 Bern, Switzerland    Gökçe Başar Department of Physics, University of Illinois, Chicago, IL 60607, USA    Paulo F. Bedaque Department of Physics, University of Maryland, College Park, MD 20742, USA    Henry Lamm Department of Physics, University of Maryland, College Park, MD 20742, USA    Scott Lawrence Department of Physics, University of Maryland, College Park, MD 20742, USA
July 14, 2019
###### Abstract

One strategy for reducing the sign problem in finite-density field theories is to deform the path integral contour from real to complex fields. If the deformed manifold is the appropriate combination of Lefschetz thimbles – or somewhat close to them – the sign problem is alleviated. Gauge theories lack a well-defined thimble decomposition, and therefore it is unclear how to carry out a generalized thimble method. In this paper we discuss some of the conceptual issues involved by applying this method to at finite density, showing that the generalized thimble method yields correct results with less computational effort than standard methods.

## I Introduction

Observables in non-perturbative field theory are predominantly calculated through stochastic methods and importance sampling. These techniques rely on the integrand of the path integral in Euclidean space, , being real and non-negative, so that it can be interpreted as a probability. In several important cases, among them most theories at finite density, is complex, resulting in a non-real Boltzmann factor . Furthermore, typically is a rapidly oscillating function of the field variables and computing the path integral becomes a challenge for any numerical method due to cancellations between different regions in field space. This issue is known as the sign problem and is the main roadblock to the lattice field theory study of dense quark matter (and several important problems in condensed matter physics).

In past years, a program to bypass the sign problem based on complexifying the field variables was set in motion. The path integral is evaluated, not as an integral over all real fields, but as an integral over a chosen integration contour in complex field space. Cauchy’s theorem guarantees that, for a wide class of such contours, the value of the path integral is not altered by this procedure. The original suggestion Cristoforetti et al. (2012, 2013, 2014); Scorzato (2016) was to use a certain combination, , of Lefschetz thimbles, the multidimensional analogue of the stationary phase paths of the complex function of one variable.

A number of algorithms applied the idea of integrating over to toy models Cristoforetti et al. (2013); Fujii et al. (2013); Alexandru et al. (2017a, b) and fermionic field theories Alexandru et al. (2017a). Difficulties with this approach soon became apparent. First, it is difficult to determine the correct combination of thimbles which is equivalent to the original path integral, a feat accomplished analytically only in some simple models Tanizaki (2015); Kanazawa and Tanizaki (2015); Fujii et al. (2015); Tanizaki et al. (2016). Another obstacle is correctly sampling different thimbles with the appropriate weight Alexandru et al. (2017c); Fukuma and Umeda (2017). For these and other reasons, new manifolds have been suggested. In Alexandru et al. (2016a), a so-called generalized thimble method (GTM) was proposed, in which a manifold is obtained by evolving the real space by the holomorphic flow. If every point of , the original domain of integration, is evolved for a “time” , a manifold is obtained that i) yields equivalent results to the original real space and ii) approaches in the limit , consequently improving the sign problem. However, for large flow times , the parameterization of by the real plane become ill-behaved. In particular, small regions on the real plane are mapped to large regions of , and most of the real plane is mapped to singular points of which do not contribute to the integral. A Markov chain on the real plane is then unable to explore effectively; this phenomenon is referred to as ‘trapping’. The GTM requires choosing large enough so the sign problem is sufficiently ameliorated but small enough that trapping is not an issue Alexandru et al. (2016a, 2017a); Nishimura and Shimasaki (2017).

Recently, more general manifolds have been used in order to cut down the computational cost of the complexification approach. For instance, a machine-learning technique was used to create a simple parametrization of a manifold interpolating points obtained by the computationally expensive holomorphic flow Alexandru et al. (2017d). The holomorphic flow equations are completely avoided in another method proposed in Mori et al. (2017); Alexandru et al. (2018); Mori et al. (2018), where obtained by maximizing the average sign within families of manifolds.

The application of these methods to gauge theories has developed more slowly, and only dimensional cases and one-plaquette models have been studied Schmidt and Ziesche (2017). Gauge invariance brings a host of conceptual issues in the application of these methods. In this paper we applied the generalized thimble method to . Unlike in previously-studied models, the thimble decomposition in this model is not well-defined. This feature of gauge theories calls into question the use of the GTM, which is designed to approximate the thimble decomposition. In this paper, we show that the GTM formally yields correct results in this model. Additionally, we show how the definition of Lefschetz thimbles can be extended to be well-defined in an abelian gauge theory. Finally, we numerically demonstrate that the GTM both yields correct results, and improves the sign problem.

The paper is organized as follows. In Sec. II, we briefly review the generalized thimble method, in Sec. III we present the model we study and discuss the particular features of it relevant to us. Sec. IV presents the properties of the holomorphic flow in abelian gauge theories that insure correct answers. The results of the numerical calculations are presented in Sec. V and further discussion is found in Sec. VI.

## Ii Generalized thimble method

We wish to calculate the thermal expectation value of an observable . In the path-integral formalism this is given by

 ⟨O⟩=∫DϕO[ϕ]e−S[ϕ]∫Dϕe−S[ϕ], (1)

where is the Euclidean action. If is real, then the Boltzmann factor is real and positive, and can be interpreted as a probability distribution. This expectation value can be efficiently approximated by importance sampling according to , and averaging the value of over the collected samples:

 ⟨O⟩≈1NN∑i=1O[ϕi].

In the limit , this approximation converges to the correct answer. It follows from the central limit theorem that the standard deviation of this estimator scales as .

In this paper we are concerned with a fermionic field theory at finite chemical potential where the Euclidean action is complex. In this case, the complex Boltzmann factor cannot be interpreted as a probability. The expectation value must now be evaluated by reweighting:

 ⟨O⟩ =∫DϕOe−S∫Dϕe−S =∫DϕOe−SRe−iSI/∫Dϕe−SR∫Dϕe−SRe−iSI/∫Dϕe−SR =⟨Oe−iSI⟩SR⟨e−iSI⟩SR, (2)

where is introduced to denote the expectation value taken with respect to the real part of . This estimator will still converge to the correct answer; however, the standard deviation of the estimator now scales with the average sign : . For fermionic theories in a finite volume and at finite density , the average sign depends exponentially on . Therefore, estimating a typical with a fixed precision requires a time exponential in . This is the sign problem. In the remainder of this section, we describe a strategy that has been effective for ameliorating the sign problem in other models.

Our strategy is to deform to , where is an N-real-dimensional manifold embedded in complexified field space on which the path integral remains unchanged but the sign fluctuations are milder. Cauchy’s integral theorem guarantees that the integral over will be the same as the integral over , as long as the integrand is holomorphic and the asymptotic behavior of coincides with . As shown in Appendix A, the integrands in the numerator and denominator of Eq. (1) are both holomorphic for our theory; therefore we have

 (3)

How this deformation ameliorates the sign problem can be seen by examining what happens to the average sign:

 ⟨σ⟩≡⟨e−iSI⟩SR=∫Dϕe−S∫Dϕe−SR. (4)

The numerator of has a holomorphic integrand, and therefore is independent of . However, because the integrand of the denominator is not holomorphic, will take a different value on different manifolds. Integrating over an appropriately chosen instead of decreases the denominator, thereby alleviating the sign problem.

We now introduce a class of manifolds, , obtained by continuously deforming via the holomorphic flow equation:

 dϕidt=¯¯¯¯¯¯¯¯¯¯∂S∂ϕi. (5)

Let denote a solution to this equation, with initial conditions . The manifold is defined by the collection of points for all . In other words, consists of all points in after flowing via Eq. (5) for fixed time . The flow time is a free parameter that we can tune in our computations to optimize total computational expense.

We parametrize every point on by the real coordinates in . Using the coordinates the expectation value in Eq. 3 can be written as

 ⟨O⟩ =∫MTD~ϕO[~ϕ]e−S[~ϕ]∫MTD~ϕe−S[~ϕ] =∫RNDϕO[~ϕT(ϕ)]e−S[~ϕT(ϕ)]detJ∫RNDϕe−S[~ϕT(ϕ)]detJ (6)

where we introduce the Jacobian matrix given by

 Jij=∂(~ϕT)i∂ϕj%. (7)

In order to perform a Monte-Carlo computation of Eq. (II) we need a real, non-negative probability distribution. If we introduce a natural choice for this distribution is

 ∣∣e−S[~ϕT(ϕ)]detJ∣∣=e−ReS%eff. (8)

The remaining phase, , is reweighted as before:

 ⟨O⟩=∫RNDϕO[~ϕT(ϕ)]e−Seff∫RNDϕe−Seff=⟨Oe−iImSeff⟩ReSeff⟨e−iImSeff⟩ReSeff (9)

where subscript means the importance sampling is performed with the probability distribution .

We now explain briefly why deforming the original domain, , to is likely to improve the sign problem. In the limit of , most fields acquire a large and decouple from the path integral due to their exponentially small Boltzmann weights, . In terms of the parameterization by the real fields (where the Monte-Carlo sampling is performed), the support of the path integral comes from the points that flow into the critical points where the flow stops, and the small neighborhoods around them. These neighborhoods are stretched by flow and generate -real-dimensional surfaces around the critical points. In other words, in the large T limit, is the union of a set of approximate thimbles attached to these critical points. At the same time, is constant with flow, so the variation of on a given approximate thimble (in the real field parameterization) is small. Consequently the sampled fields has a small variation of the phase, hence a milder sign problem111Provided that the residual phase from is small, and cancellations between thimbles are not large..

In order to compute , the system of equations

 dJijdt=¯¯¯¯¯Hik¯¯¯¯Jkj, (10)

with needs to be solved where the Hessian matrix is

 Hij(t)=∂2S(ϕ(t))∂ϕi∂ϕj. (11)

This procedure is expensive, so we instead use an estimator in place of , defined by Alexandru et al. (2016b)

 W=exp∫T0dt Tr¯¯¯¯¯H(t). (12)

The difference between and is reweighted when computing observables

 ⟨O⟩=⟨Oe−ΔS⟩S′eff⟨e−ΔS⟩S′eff, (13)

where , , and is the average with respect to . In this way, the expensive needs to be computed only for the configurations used for measurements, rather than for every step of the Monte Carlo chain.

## Iii QED in 1+1 dimensions

As a demonstration of the generalized thimble method in a gauge theory, we will use a three-flavor version of in 1+1 dimensions. In the continuum, the Euclidean action is

 S=∫d2x[FμνFμν+¯ψa(⧸∂+μQγ0+m−gQa⧸A)ψa] (14)

where the field-strength tensor is , is the bare fermion mass, is the gauge coupling constant, the latin index sums over flavors, and denotes the charge assigned to flavor . Because provides a long-range force, states with a net charge have a divergent energy in the thermodynamic limit and are excluded of the spectrum. In order to have a finite fermion density while maintaining charge neutrality we then need more than one flavor. The two flavor case with fermions with opposite charge (and equal mass) is not interesting for our purposes as the sign problem disappears. We use a model with three flavors with charge assignments , and , so states with a finite fermion number but zero charge are possible (for instance, a three fermion state with one fermion of each flavor). We will refer to each fermion as a “quark” and groups of three quarks, one of each flavor, as a “baryon”. In this model, we take the quark chemical potential to be the same for all flavors.

Discretizing Euclidean spacetime and integrating out the fermions yields a lattice action in which the only degrees of freedom are the bosonic vector field , with two components at each site of the lattice. The action is

 S=1g2∑r(1−cosPr)−∑alndetD(a) (15)

where denotes the fermionic matrix for flavor , and denotes the primitive plaquette with at the lower-right corner:

 Pr≡A1(r)+A0(r+^x)−A1(r+^t)−A0(r). (16)

Above and are the unit vectors in time and space direction. We discretize the fermion action using the staggered formulation. The Kogut-Susskind staggered fermion matrix for flavor is given by

 D(a)xy=maδxy+12∑ν∈{0,1}[ηνeiQaAν(x)+μδν0δx+^ν,yxxxxxxxxxx−ηνe−iQaAν(x)−μδν0δx,y+^ν]. (17)

Note that one staggered flavor corresponds in the continuum limit to either a pair of two-spinor-component fields or one four-spinor-component field. We take all flavors to have the same mass . For our specific assignments of flavors and charges, the lattice action may be written

 S=1g2∑r(1−cosPr)−lndetD+−2lndetD− (18)

where () gives the fermion matrix for the flavor with charge (). This notation will be used in the following sections.

## Iv Flow and Thimbles in an Abelian Gauge Theory

The integration over the manifold yields correct physical expectations values: this, we reiterate, is guaranteed by Cauchy’s theorem. However, it is not sufficient for the GTM to get the correct answer; in order to be of practical use, it must also improve the sign problem over the real plane calculation. Previous, heuristic arguments for indicating that GTM improves the sign problem relied upon approaching the Lefschetz thimbles at . Where no such unique thimble decomposition exists, it is not obvious what the large- limit of is, and whether this manifold will have a reduced sign problem.

In dimensions, there are two separate obstacles to defining a unique thimble decomposition: critical points are degenerate (the action does not change along gauge orbits), and lines of flow may connect one critical point to another (Stokes’ phenomenon). In this section we discuss these difficulties, showing that the Lefschetz thimble formalism can be changed to accommodate gauge orbits in general, and neither obstacle substantially adversely affects the performance of the GTM.

We look first at the difficulties presented by gauge orbits in configuration space. A Lefschetz thimble is defined from an isolated critical point as the union of all solutions to Eq. (5) which asymptote to the critical point at large negative flow times: . For a holomorphic function of complex variables, each isolated critical point is a saddle point with stable and unstable directions; therefore, the Lefschetz thimble defined in this way is an -real-dimensional surface. The Lefschetz thimble decomposition is a union of a certain subset of these thimbles. However, in a gauge theory, all critical points can be continuously connected to infinitely many other critical points by gauge transformations, i.e., critical points form gauge orbits. Therefore, in order to use the Lefschetz thimble decomposition to understand how the GTM behaves when applied to a gauge theory, we must understand how the Lefschetz thimble formalism can be repaired in the presence of gauge orbits.

For , where the gauge group is abelian, the degeneracies introduced by gauge symmetry can be resolved in a straightforward fashion by gauge-fixing. Before proceeding, we stress that we will ultimately perform calculations without gauge-fixing; gauge-fixing is merely a convenient tool to see how the Lefschetz thimble formalism may be repaired for an abelian gauge theory. In the complexified field space a general gauge transformation is given by

 Aμ(x)→Aμ(x)+α(x+^μ)−α(x) (19)

where is any complex-valued function on the lattice points and denotes the unit vector along the direction . With lattice sites, can be represented as a dimensional vector, so the complexified field space is . The gauge orbit of any configuration is obtained by adding to it all vectors of the form , for every . This is a -dimensional space since a constant does not generate a gauge transformation. So the gauge orbits form a set of parallel -dimensional linear subspaces, and each gauge-fixed slice is a -dimensional subspace. Every can be decomposed

 Aμ(x)=A⊥μ(x)+A∥μ(x), (20)

with parallel to the gauge orbit and orthogonal to it222The situation for non-abelian groups is more involved, and will be treated in a later work.. We can choose as the representative of in every gauge orbit. In this way, we decompose the original real configuration space as , where is the gauge-fixed space of , and is a single gauge orbit. The gradient is orthogonal to the gauge orbits so a gauge-fixed slice, defined by constant , is invariant under the holomorphic flow.

In each gauge-fixed slice, critical points are now isolated, and there is no gauge-related obstruction to the definition of a Lefschetz thimble decomposition. Furthermore, the behavior of flow in this gauge theory can be understood by considering the behavior of flow in each gauge-fixed slice. Let be the result of flowing for some time . Because the flow commutes with gauge fixing, the result of flowing the entire gauge-free integration domain is . In our simulations, we do not gauge fix, so that our simulations perform a random walk in the gauge orbit space – this has no effect since we only evaluate gauge-invariant quantities.

The second difficulty encountered in the thimble decomposition in is Stokes’ phenomenon, where a flow line connects two critical points. A schematic representation of Stokes’ phenomenon is shown in the central panel of Fig. 1. Stokes’ phenomenon can be avoided by adding a small to some parameter of the action. While the resulting thimble decomposition is well-defined, it differs depending on the sign of . The left and right panels of Fig. 1 show the flow assuming such a modification of the action with opposite signs. In each case, the thimble decomposition is well-defined, but the combination of thimbles equivalent to the real domain is different depending on the sign of .

The GTM does not rely on the thimble decomposition, but it is instructive to see how Stokes’ phenomenon affects the behavior of the holomorphic flow. We investigate this particularly in the case of , for which Stokes’ phenomenon occurs at all values of chemical potential and coupling . For instance, consider fields with and (constant). This particular slice of field space is depicted in Fig. 2. In this slice, there are three critical points: one at and two others at non-zero values of , both of which have flow lines going into the central critical point at . Although Stokes’ phenomenon prevents us from selecting via a thimble decomposition, it is clear that integrating on a manifold (red dashed lines) obtained by flowing from yields results equal to those obtained on . The presence of Stokes’ phenomenon does not cause any discontinuity in the flowed manifold. On the other hand, Stokes’ phenomenon does produce undesirable “bumps” in the deformed paths, depending on the orientation of the critical points and the starting manifold for the flow. In Fig. 2, several are drawn, flowed from a shifted version of the real line . As the amount of flow increases, a bump is created near the origin.

The effect of this bump is best understood by considering the limit, in which it becomes the most pronounced. In this limit, the bump travels up one half of the imaginary axis, and directly back down again, producing a closed contour of integration. The sum of these two segments of the contour cancel and do not contribute to the integral. However, the average sign is decreased by the presence of such closed contours. The effect on the sign problem is bounded because the bump is produced along a path of steepest descent, so that the integral of along the bump is finite. This ensures that in the large limit, asymptotes to a non-zero value.

## V Results

In this section we present some numerical results supporting the point that the GTM leads to the correct results – and improves the sign problem – even in gauge theories where the thimble decomposition is not well-defined. We choose the bare parameters and so that the renormalized baryon mass lies below the lattice cutoff scale. We estimate the baryon mass by observing the onset of non-zero charged fermion density at low temperature (see the Silver Blaze discussion below). The relation between the baryon chemical potential and the quark chemical potential allows us to find . Since the “baryon” in our model is made up of three fermions we use to quote the values of the chemical potential.

In this study, we have undertaken calculations on a fixed spatial lattice size at four different temperatures: , , and using both the GTM and a calculation done with real fields. The parameters for the and simulations can be found in Table 1.

To separate the effect of the phase fluctuations on and the fluctuations induced by approximating with , we write the reweighting factor . The phase factor is a pure phase and converges to the “residual phase” on the thimble as . The real factor , with , is the reweighting necessary to correct for using instead of the Jacobian in the Monte-Carlo process.

In order to study the speed-up of the GTM compared to real-plane calculations, one must consider: , the wall-clock time required to generate a statistically independent configuration; , the average sign; and , the statistical power defined by . The expression for is

 Σ≡⟨w⟩S′eff⟨w2⟩S′eff=1⟨w2⟩S′eff. (21)

is bounded between and and is an estimate of the fraction of configurations that effectively contribute to the statistics of the observable. A small value of indicates that the averages are dominated by a small number of configurations and, consequently, more configurations need to be used for a reliable estimate.

The reweighting is only necessary in the calculations on , since is 1 when no flowing is done. We find empirically that the statistical power tracks the average sign, decreasing with volume and , although as explained below for the average sign, it recovers at saturation densities. Unlike the average sign, tends to decrease with (although it asymptotes to a finite, non-zero value). As a consequence, the increase of flow time does not necessarily yield superior performance.

We define a figure of merit for a fixed flow time as

 hT=⟨σ⟩2Σtconfig. (22)

A ratio estimates the relative speed-up of flow time over flow time , for a fixed desired precision. We expect to increase with because flowing improves the relative sign, but also increases because longer flow requires more computational time. Due to the use of , an approximate Jacobian that is computationally faster, the statistical reweighting plays a nontrivial part in judging the speedup.

As we present our results we will focus on the fermion density, as a representative physical observable, and the sign average as a characteristic of the sign problem on the flowed manifold. We will compare our results for the density against the results from a free gas with the same mass as our “baryon” mass. This model is expected to describe well the results at small density but as the number of particles increases the interactions will modify the results significantly.

As a first test, we studied a lattice where is large enough on that computations can be taken at all up to lattice saturation. A small flow time was used to show that GTM can improve the sign and that the two methods agree within the small error bars over the entire range as seen in Fig. 3. This should be taken as an empirical confirmation that GTM respects all of the conditions upon complexification that are necessary to produce physically correct results despite the lack of a unique Lefschetz thimble decomposition. On this small lattice, the average sign and statistical power are nearly the same for and , but is 6 times larger for the flowed manifold, therefore , indicating that there is no computational benefit to using the GTM.

In contrast to other models (e.g. the 1+1 Thirring model of Ref. Alexandru et al. (2018)), in appears to approach unity for large , with as . The absence of a sign problem at saturation densities can be understood directly from the fermionic part of the effective action. In the large- limit, the fermion determinant becomes . Thus, the product of all three fermion determinants, in this limit, is a positive real number , and there is no sign problem. This phenomenon has been previously noted in QCD Schmidt and Ziesche (2017), and appears to be a general feature of gauge theories.

On the lattice (seen in Fig. 4), the average sign obtained with a flow time is slightly improved compared to . For around the average sign on both manifolds become indistinguishable from zero. For those values of , we increase . For all but , is sufficient to discriminate the sign from zero, that is where is the statistical error on . For we increase the flow time further, taking advantage of the fact that will asymptote to a fixed value (so that flow time can be increased without a penalty to the statistical power). The results for can be seen in Table 2. We find that for this lattice, flowed manifolds can reduce computational time compared to the real plane for some values of .

On our coldest lattice, 1410, one can see the onset of Silver Blaze phenomenon at small in Fig. 5, as well as development of a plateau at the one baryon threshold. For this lattice, for is 7 times that of the real plane. We find for different , ranges from 0.65 to 1 and ranges from 0.15 to 28. Since the figure of merit for certain values of again exceeds unity, holomorphic flow is seen to reduce the computational time required to achieve a fixed-precision result at .

## Vi Discussion and prospects

Working with , we have shown that the generalized thimble method may be applied to gauge theories without encountering any fundamental obstacles. None of the difficulties that plague the definition of Lefschetz thimbles in a gauge theory need to be confronted despite the fact that the original motivation for the GTM explicitly invoked the thimble decomposition. Additionally, despite the holomorphic flow requiring greater computational time to produce a single configuration compared to the real plane, we have shown that the improvement in the average sign can reduce the total time needed to compute observables at a fixed precision to less then an equivalent real time calculation.

Although the holomorphic flow gives a relative speed up over the real plane for , the computational cost is still large. Extending this work to larger lattices, higher dimensions, and non-abelian theories will require the development of faster algorithms to deal with the Jacobian that do not suffer from small statistical power as the approximate Jacobian does at large flow times and larger lattices.

## Appendix A Holomorphic integrands

The applicability of the generalized thimble method requires that the integrands and both be entire (i.e., everywhere holomorphic) functions of the field configuration . Critically, this does not require that and are themselves holomorphic. Indeed, for the model considered here, neither is, because a fermion matrix has logarithmic singularities where . At the same points, is not well-defined, so the expectation value of a meson propagator (for instance) involves a singular :

 ⟨¯ψi¯ψjψjψi⟩=1Z∫Dϕe−S[ϕ][D−1ijD−1ji−D−1iiD−1jj]

In this appendix we will establish that although is not entire for , and is not entire for many observables, the integrands and are always holomorphic (with lattice regularized actions).

For simplicity, we will consider an action involving only a single species of fermions, and therefore only one fermion determinant . All arguments given here generalize easily to the cases of two or more differently-charged species. That is entire is easily established: by definition, this integrand may be written

 e−S[ϕ]=e−SB[ϕ]detD[ϕ]

where the ‘bosonic’ action is manifestly holomorphic. Each component of the fermion matrix is a holomorphic function of the gauge fields; since the determinant is a polynomial in those components, is a holomorphic function of as well.

To see that integrands involving fermionic observables are entire, we write an expectation value in terms of the original, fermionic path integral.

 ⟨¯ψaψb⟩=1Z∫Dϕe−SB[ϕ]∫D¯ψDψ¯ψaψbe−¯ψiDij[ϕ]ψj

With sites, the fermionic exponential may be expanded in terms: each Grassman variable may be included in a term or not, and there are Grassman variables. The commuting part of each term is a product of finitely many components of , and therefore is a holomorphic function of the fields . Multiplying by any combination of and integrating over has the effect of selecting one of these coefficients. Therefore, the integral over fermionic fields yields a holomorphic function of .

###### Acknowledgements.
A.A. is supported in part by the National Science Foundation CAREER grant PHY-1151648 and by U.S. Department of Energy grant DE-FG02-95ER40907. A.A. gratefully acknowledges the hospitality of the Physics Departments at the Universities of Maryland and Kentucky, and the Albert Einstein Center at the University of Bern where part of this work was carried out. GB is supported by the U.S. Department of Energy under Contract No. DE FG02-01ER41195. P.F.B., H.L., and S.L. are supported by U.S. Department of Energy under Contract No. DE-FG02-93ER-40762.

## References

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