Computational Methods for Chiral Fermions Robert Edwards June 30, 2003

5D Domain Wall Domain wall action: 5D Domain wall kernel: with quark mass , and Integrate out L s -1 extra fields to obtain Here P is such that (P -1  ) 1 = q is the light fermion

Induced 4D action – truncated overlap Core piece of induced kernel: Two variants: Domain wall : H = H T =  5 D w /(2 + a 5 D w ) Overlap: lim a 5 ! 0 : H = H w =  5 D w Algorithmically: solve D tov (  )  = b via D (5) DW  = (b,0, …,0) T and  = (P -1  ) 1

Ginsparg-Wilson Relation Overlap operators defined with hermitian H(-m) Propagator has a subtraction (contact term) Ginsparg-Wilson relation. Chiral symmetry broken at a single point. Contact terms: Automatic operator improvement! Use directly in Ward identities. Choice of H -- often use hermitian Wilson-Dirac operator with a large negative mass H w (-m) = g 5 D w (-m). Massive version is

Massless fermions Massless Overlap-Dirac operator has exact chiral symmetry. Topological index = number of zero eigenvalues. Eigenvs have definite chirality. Non-topological eigenvalues come in complex conjugate pairs. How do you get an odd number of zero modes with a system with an even number of degrees of freedom?? Pair zero modes with modes at the cutoff. Eigenvalues of  5  (  5 D w (-m;U)) and D w (-m;U) for two m.

Chiral fermions on the cheap Massless overlap Dirac operator with index Q Eigenvalue problem: Compute index by counting the number deficit of positive eigenvalues of H(m) (for SU(N)). Easier way: follow spectral flow of H(m) for m > 0. Track level crossings and direction of crossings up to some m. Get topological index as a function of m

Wilson spectral flow for smooth SU(2) Spectral flow of H(m). Single instanton, 8 4, Dirichlet BC,  =2.0, c  =4.5

Zero mode for smooth SU(2) The modes associated with the crossings. The continuum solution

Overlap spectral flow for smooth SU(2) Spectral flow of overlap H o (m) =  5 D o (m). Single instanton, 8 4, Dirichlet BC,  =1.5, c  = 4.5. The zero modes after the crossing, m=0.6, 0.7, and 0.8. The continuum solution

A sample Wilson spectral flow on the lattice SU(3) pure gauge configuration  =5.85, lattice

Spectral flow in SU(3): typical case Spectral flow of H(m) for quenched Wilson  =5.85 and configs, 10 eigenvalues overlayed Observe significant fill-in

Zero mode size distribution Size of zero modes at each crossing. Modes become small Upshot: large contamination from small quantum fluctuations

Main problem for chiral fermions The density of zero eigenvalues r(0;m) is computed by fitting the integrated density

Topology and small zero modes As a function of lattice spacing we find very roughly  (0;m)/  3/2 s exp(-exp(  )) These small modes enable topology to change! Berruto, Narayanan, Neuberger proved a class of gauge fields exist nontrivial only in a 2-unit hypercube that have H w (U;-m) = 0. Can superimpose them. Suggests,  (0;m)>0 for all couplings Might be zero density, but finite number! Andersen localization - recent work: Golterman, Shamir

Numerical implementations of  (H w ) In practice, we only need the application of D(  ) on a vector Chebyshev approximation of  (x)= x /p x 2 over some interval [ ,1]. For small  too many terms needed. A fractional inverse method using Gegenbauer polynomials for 1 /p x 2. Poor convergence since not optimal polynomials. Use a Lanczos based method to compute 1/p x 2 based on the sequence generated for the computation of 1/x Since no 5D gauge fields, can try 1D geometric. Can solve multi-mass systems for fixed  MR, CG, BiCG,…

Projection Can enforce accuracy of  (H) by projecting out lowest few H eigenvectors and adding their correct contribution exactly. Eigenvector projection both increases accuracy of approximation of  (H) and decreases condition number, e.g. of inner CG. Caveat: Projection complicated if H complicated. Straightforward for H w

Rational Approximation Approximate  (H w ) by a rational polynomial approximation. Can be rewritten as a sum over poles: The application of  (  (H w )  can be done by the simultaneous solution of the shifted linear systems: We refer to this as the inner CG, since it is usually accompanied by an outer CG for computing overlap fermion propagators or eigenvalues. A good approximation is hard to achieve for small x.

Rational Polynomials How do we determine P(x 2 ) and Q(x 2 ) ? Polar decomposition denoted by  N (x) since (1+x) 2N s e 2Nx. Form induced by domain wall Referred to as truncated overlap. Has property  N (x) =  N (1/x) Have sufficient accuracy in interval 0 < x min <= x <= x max, with x min and x max depending on the order and version of the approx and accuracy Can rescale  (sx) =  (x)

More rational approximations Optimal rational approximation: Smallest and largest ev’s of H determine fit interval Fit P(x 2 )/Q(x 2 ) to 1/p x 2 over x min to 1. Use Remez

Zolotarev Analytic solution exists!!! Zolotarev approximation: fit x/p x 2 over x min to x max Solution for b k & c k in terms of elliptic integrals Plot of error vs. x High accuracy achievable. Caveat: range of coefficients exceeds precision for small.

Why consider 5D methods? For 5D actions, have a 5D Krylov method - optimal search directions. For overlap, outer CG method (a 4D Krylov space) and inner search method -- maybe CG. Inefficient since inner space not used to help outer search. Joint Krylov search (e.g., Partlett)?? Real measure of success: condition number and time !! Standard DWF DWF+O(a 2 5 ) Polar, Zolotarev 5D Partial fracs Exact 4D Overlap 1 +  5  (H) 4D+Cheb. poly 4D+Gegen poly4D+Lanczos Approx 4D 4D+Rat. Poly+1-pass 4D+Rat. Poly+2-pass 4D-inner+4D-outer joint Krylov??

Partial Fractions Rewrite rational approximation of  (H w ) as a continued fraction. Rewrite solution of D  =(1+  5 H P(H)/Q(H))  =b as tridiagonal operator in 5D. A single (5D) Krylov space for CG. Many variants! The four dimensional operator written as a 5D chain Care needed: e.g., sometimes huge condition numbers

Guidance for 5D methods What we are missing is some theoretical guidance: N&N : inspired 5D action from study of convergence bounds Using polar decomp. coefficients (arguments apply for Zolotarev) For each s, use combination gaussian integration/partial fractions via new fields  = ( ,  1,  1,...,  n,  n ) T : Bounds: cond. number for Similar bound for DWF. Argue no benefit from DWF. In practice new 5D operator still more expensive – quark masses.

Two-pass method Lower memory at expense of flops in inner CG - improve performance Observation: in multishift only need total solution Soln. depends on Lanczos coeffs,  (k),  (k),  s (k) Scheme: first pass: compute coeffs., second pass: update solution – Only 5 large vectors used – 1-pass cost (flops) grows with N – 2-pass cost (roughly) independent of N – Large enough N, 2-pass wins! – N ~ 50 in theory, N ~ 16 in practice! OpsFlop/siteTime (ns) SSE2no SSE2 c*A+c*B A+c*B h A,Ai H w *B Memory is bottleneck Sample avg. times / float-op mem. saturated on large lattice Caveat: will not hold when in cache

Algorithm improvements Comments for 4D and 5D approaches: Generically one has to live with small eigenvalues of H w (-M) or its variants. Improve gauge action -- lowers density of small eigenvalues. Improve fermion operator kernel (something other than D w ). Usually more expensive without enough gain. Smear gauge fields -- radically lowers small mode density! Subtlety is two length scales present -- correlation length and the smearing distance.

Further ruminations Choose L s large enough and ignore chiral symmetry violations. Rely on density of zero modes decreasing faster than lattice spacing. Extrapolate 5D extent L s !1. Problematic. Difficulty distinguishing power versus exponential subleading corrections. Project out a few small eigenvectors and treat them exactly. For standard DWF, straightforward to do! Can always eliminate L s dependence. Goal is to approx. a discontinuous function. Inefficient with finite number (L s ) terms. Projection by-passes this problem.

Improving the gauge action Gauge action improvements – reduce fluctuations – lowers Comparison of density of small (zero) evs.  (0) from H w for various gauge actions DBW2 (renorm. group) smallest Surprise! dyn. fermions induce fluctuations! Fermions screen  -func., hence gauge coupling runs more slowly to short distance Accuracy problem worse for dynamical chiral fermions!

Projection for domain wall Projection is possible also for domain wall fermions: Induces H = H T =  5 D w /(2 + a 5 D w ), D + = a 5 D w (-M) + 1 Need evs. of H T v i = i v i, Use generalized ev. solver Two variants: Boundary corrections: Bulk corrections: D + ’ ( D + s.t. (H t ) shifted from 0

Preconditioning (even/odd) Generically can always even-odd precondition: Write matrix D as a two by two block matrix Transform: Suitable if A -1 EE easy to apply Classic even/odd precond. not suitable for overlap Is suitable for DWF, even with projection (boundary version)! Factor of 3 improvement in speed! Have inner (4-volume) CG with A’ ee – well conditioned Even-odd not particularly suitable with projection on bulk terms

Effect on Gellmann-Oakes-Renner Relation Exact chiral symmetry implies identity Stochastic estimate for Finite L s and no projection lead to strong violations:

Induced quark mass dependence From 5D axial Ward identity, define an induced quark mass m res m res for different quenched gauge actions, a ~ 0.1fm Improving gauge action lowers m res Projection: slight improvement at N s =16, big improvement at N s =32 Consistent with at small N, bulk modes contribute – unaffected by projection If  (0) > 0, have m res s  (0) / N s

Effect on Spectroscopy Use pseudoscalar and vector channels to set the quark mass scale. Also compare extrapolations - exact results have m  2 (  =0) consistent with zero. Result for L s =10 shows clear chiral symmetry breaking.

Cost Cost in number of Dirac operator apps - spectroscopy calculation. At fixed scale (stange mass), cost of EO preconditioned & projected DWF (for L s =30) about a third of 4-D overlap using H w. However, have multi-mass shifting for 4-D method. Preconditioning essential for DWF - cuts cost by three. Projection overhead is small for DWF. In fact, can speed up inversion! Preconditioned Clover at same scale about 800 ops.

Dynamical chiral fermions First ignore projection: 5D forms straightforward to implement Action in Hybrid Monte Carlo (HMC): where  are pseudofermion fields Key step: straightforward 4D Overlap: Use some smooth rational approx. to  (H w ) for guiding Hamiltonian. Accept/reject off exact Hamiltonian. Derivative doable. Simplest! Projection: 4D & 5D, use 1 st order pert. theory to evolve evs. Use previous evs for init. guess in inversions

Dynamical Overlap Exploit [H 2 o (  ),  5 ]=0 property for N f >0 HMC Extract zero-mode contribution A pseudofermion action in chiral sector opposite to zero mode where Must reweight. For general N f, use N f pseudofermions: Suppression of exact zeros moving into simulated chiral sector. Topology can change in opposite chiral sector. Can work at  =0 ! Works too well, not enough Q=0 samples

Conclusions These things are not cheap! Given sufficient mods (projection, etc.) have chiral fermions with the same chiral symmetries as continuum fermions. No fermion doubling and have correct topological index. No free lunch theorem still holds. Chiral fermions more expensive than traditional methods considering only inversion cost (hidden costs in traditional approaches?). To avoid finite volume errors, still need large box sizes to hold a light pion. What is killer application of chiral fermions? Relationship of topology and chiral symmetry, thermodynamics, and electroweak. Also possibly operator improvement (structure functions)?