Recent Results of Lattice QCD Simulations

The LANL Collaboration

T. Bhattacharya, J. Grandy, R. Gupta, G. Kilcup, J. Labrenz, S. Sharpe and P. Tamayo

(This document is also available in PostScript form.)


Abstract: We describe recent progress in numerical computations of the properties of strongly interacting elementary particles. On the 1024 node Connection Machine-5 (CM-5) at Los Alamos National Laboratory [ACL], we are calculating the spectrum of light hadrons, scattering amplitudes and a variety of electroweak matrix elements. On the Cray C-90 at NERSC we are studying topology and calculating the kaon B-parameter, BK. By working on a large lattice (32^4x64), and collecting a large sample of gauge configurations, we are able to substantially reduce the statistical errors compared to previous work. The level of precision is such that, combined with existing and future experimental data on weak decays, these results are beginning to provide significant tests of the Standard Model of particle physics. Our largest scale computations are on the CM-5. By coding the computationally intensive routines in CDPEAC, we attain node speeds of 80-100 MFlops, close to the theoretical maximum. For the production code, including I/O and communications, the sustained speed is 25-35 MFlops per node.

Introduction

This document describes the recent results of the LANL collaboration, a group centered at Los Alamos National Laboratory. We have been carrying out large scale simulations of quantum chromodynamics (QCD) on the 1024 node Connection Machine-5 (CM-5) at the Advanced Computer Laboratory [ACL] at Los Alamos, and on the C-90 and other Cray machines at NERSC. The former work is as part of the QCD Grand Challenge Applications Group, a designation shared with the MILC collaboration, whose recent work is described here by Claude Bernard.

Scientific Objectives

QCD is a theory of quarks (up, down, strange, charm, bottom and top) interacting with gluons. The gluons bind the quarks into the strongly interacting particles, the hadrons, that we observe in nature. The binding is so strong that the quarks and gluons cannot be isolated as free particles but are observed only as bound states---this is the phenomenon of "confinement". The structure of the resulting hadrons is very complicated, and has not so far been amenable to study using analytic methods. In particular, low order perturbation theory is not useful, because the expansion parameter is of order unity. Non-perturbative techniques are required, and the only method available is to simulate the theory numerically, after discretizing space-time into a lattice. In our calculations, we use lattices of size up to 32^3x64, i.e. 32 points in the spatial directions and 64 in the (imaginary) time direction. There are three major aims of our calculations. First, we wish to calculate the masses and other properties of the hadrons, in order to compare them to experimental results and test that QCD is indeed the correct theory. Because of various approximations that have to be made, this goal has yet to be attained. Second, we want to gain insight into the physics behind confinement. This might open up the possibility of semi-analytic calculations in QCD, or allow us to understand the behavior of other strongly coupled theories, such as technicolor or chiral theories. And, finally, we wish to use lattice methods to allow us to isolate the effects of QCD which obscure the underlying electroweak decays of hadrons. This work is the most advanced, and thus we explain the motivation for it in some detail.



Figure 1: Quark Decay

In addition to feeling the strong force, through interactions with gluons, the quarks also interact through the weak and electromagnetic interactions, which form collectively the electroweak interactions. For example consider a D- meson, composed of a d quark and an anti-c quark. This meson decays some of the time through the quark-level weak interaction process shown in Fig. 1. c --> s e nu. The theory of weak interactions predicts the decay rate of the quarks, up to an overall factor associated with the c-W-s vertex, |Vcs|**2. Because the quarks are confined into hadrons, however, the actual decay is, for example, D-->K0 e nu, where the K0 is a meson composed of an anti-s quark and a d quark. An example of the Feynman diagrams contributing to this decay is shown in Fig. 2.



Figure 2: Meson Decay

The binding of the quarks into mesons changes the decay rate, so that one cannot directly determine |Vcs|**2 from the experimentally observed rate of the decay process. In order to make the connection one needs to do a non-perturbative calculation of the so-called "semi-leptonic form factor", and it is for this that the lattice is required. There are many examples of such "electroweak matrix elements" that are required to extract underlying parameters from existing, or future, experimental results. Researchers at Fermilab are studying the mixing and decays of K0 mesons, and the future B-factory at SLAC will study many decays of the B mesons, which consist of a b-quark (or anti-quark) and a light anti-quark (or quark). ) Lattice calculations are required to interpret most of the experimental results. The hope is that we will be able to determine the parameters of the electroweak interactions (such as |Vcs|**2) in several ways, and thus test the theory in detail. Any discrepancies would indicated phenomena beyond the "Standard Model" of particle physics (SM).

Resources

For the 1993-4 fiscal year, we have been allocated 10% of the time on the CM-5 at LANL (6.1x10^6 node Megabyte hours per quarter), as part of the Grand Challenge Applications Group grant. In addition we share, with a group led by A. Soni, roughly 13000 SU's at NERSC on the C-90 and other Crays.

Results from the CM-5

We proposed that, during the 1993-4 fiscal year, we would use the time on the CM-5 to generate about 100 lattices of size 32^3x64 at a coupling beta=6, and do a large scale analysis on them. This involves calculating quark propagators at five different masses, and then using these to extract hadron masses, decay constants, scattering amplitudes and various matrix elements. We are on target for completing this work, with about 80 lattices finished at present. In the following we present some highlights of our results for weak matrix elements. All results are preliminary. The coupling constant beta=6 corresponds to a physical lattice spacing of about a = 0.1 fm, small enough that lattice artifacts are a relatively small correction to most quantities. We have previously undertaken exploratory studies at this lattice spacing on a sample of 35 small (16^3x40) lattices, the major aim of which was the development of techniques [1]. In particular, we found that using extended ("smeared") sources we could significantly improve the signal to noise ratio. The idea is that mesons and baryons are extended objects, of typical size 0.5-1.0 fm, and so an operator which can efficiently create them should be of similar size. The new calculations are in large part a production run using the methods we had developed. By working on a lattice having eight times the spatial volume, we (a) improve the signal, since this is almost equivalent to an eight-fold increase in statistics, (b) halve the minimum non-zero spatial momentum, since Pmin= 2pi/(Ns a), where Ns is the number of spatial points, and (c) allow the study of smaller quark masses. The latter improvement is very important since it allows more reliable extrapolations to the physical up and down quark masses. An additional improvement is that we are using about three times as many lattices (100 versus 35), which further decreases the statistical errors. All our calculations are carried out in the so-called "quenched" approximation. Mesons and baryons contain, in addition to the "valence" quarks which determine the quantum numbers of the states, a complicated cloud of gluons and quark-antiquark pairs. In the quenched approximation the quark-antiquark component of this cloud is ignored. This approximation is made in order that the large systems can be studied with present computer resources: the cost of removing the approximation is roughly two to four orders of magnitude. Properties of hadrons that are not particularly dependent on the quark-antiquark component, for example the masses, decay constants, and form factors, will not be changed substantially by quenching. In some cases one can estimate the changes; for the masses they are in the 10-30% range [2]. Other properties are crucially dependent on the quark-antiquark component, are will be radically effected by quenching. Examples are the matrix elements of (F* F) discussed in Ref. [3]. Our aim in the calculations is to reduce other sources of error---statistics, finite lattice spacing, finite volume, extrapolation in quark masses---to the point where quenching is likely to be the dominant error.

Semileptonic form factors

Semileptonic decays of charmed mesons, such as that illustrated in Fig. 2. can be directly simulated on present lattices. The main decays of interest are

These decays are amenable to lattice calculations as they only involve a single strongly interacting particle in both initial and final states. The unknown part of the decay amplitude is a matrix element such as

<K*(p') | J(q) | D(p)>

q=p-p' is the four-momentum carried by the weak current J and is the sum of the momenta of the e and nu in the actual decay. If we could calculate these matrix elements from first principles, for the physical range of q, then we could predict all aspects of the decay process in terms of a single unknown constant, the appropriate weak coupling constant for the underlying quark decay. This element is Vcd for D-->(rho or pi) e nu and Vcs for D-->K(*) e nu. In fact, within the standard model, if there are only three generations, we can use other results to predict Vcd and Vcs to good accuracy. The lattice calculations thus allow a test of the consistency of the SM. In addition, experiments have not yet fully measured all aspects of the angular distribution of the decays, allowing the opportunity for lattice calculations to predict these distributions. In practice, lattice calculations cannot access the full physical range of q. Instead they work in a small range of q^2 around zero, and assume pole-dominance to extrapolate to larger q^2. This restriction arises because the lattice results have small errors only for small spatial momenta. In our calculations we set p=0, while q/(2pi/Ns) = (0,0,0), (1,0,0), (1,1,0), (1,1,1) and (2,0,0), where Ns is the number of spatial lattice points. Using a larger Ns decreases the step size in q, and thus increases the number of usable momenta.


Figure 3: Form factor data


To give an indication of the improvement in quality of the results that we have achieved with our new simulations, we compare to our old data on 16^3x40 lattices in Fig. 3. In the plot, the lattice kaon is created at t=0, propagates to the Euclidean time t, where it is converted by the weak current J into a D-meson, which propagates to time t=25 (31) for the new (old) data. We have divided by two-point correlators in such a way that the signal should have constant magnitude. The matrix element is for the spatial part of the vector current, J = Vi, inserting momentum q=(2pi/16,0,0). We have adjusted the overall scales so that the size of the errors can be directly compared, and we see that there has been both a substantial reduction in the errors, and a lengthening of the "plateau" region. We have done a preliminary analysis of 50 of the new lattices. We find, for example, that for D --> K e nu the form factor is

f+(q^2 = 0) = 0.81 +- 0.03 +- 0.03

The first error is statistical, the second the systematic error due to extrapolation to the physical light quark masses. This form factor governs the rate for D --> K e nu decay. The experimental result for this decay, together with the value of |Vcs| required for consistency of the three generation SM, implies f+(0) = 0.77 +- 0.04 [4]. Typical previous lattice results are 0.65 +- 0.18 [5] and 0.90 +- .08 +- 0.21 [6]. We see that that the errors have been substantially reduced, and are now at the point where discrepancies with the SM could appear. The most likely source of any such discrepancy is our use of the quenched approximation. Turning this around, we can see that, for this quantity, the quenched approximation is apparently reliable to about 10%. Assuming this accuracy applies to other form factors, we can make predictions. In particular, in the decay D --> K* e nu, we find

A2(0)/A1(0) = 0.93 +- 0.27 +- 0.09.

This should compared to the previous results 0.7 +- 0.4 [5] and 0.70 +- 0.16 (+0.20-0.15} [6] One early experiment found a ratio consistent with zero (with large errors), whereas the latest result is 0.82 +- 0.23 +- 0.11.

Results from NERSC

We have used the Cray-2's and the C-90 extensively for the last several years. While slower than the CM-5, these machines have the advantages of stability, user-friendliness, and large storage capacity. We have collected a large database of lattices and quark propagators using which we have repeated calculations with refined methods, and tested new techniques.

The kaon B-parameter BK

The most significant result to emerge from our work at NERSC is that for the kaon B-parameter

Knowledge of this quantity is essential to extract a value for Vtd (the coupling of the W-boson to the t and d quarks) from the experimentally measured CP-violating part of the Kbar-K mixing amplitude, and the lattice offers the only first principles method of calculation. We have gradually learned to control the systematic errors in the calculation of BK, using a combination of theoretical analysis and numerical improvements. Our result for the scale invariant B-parameter is [7]

BK = 0.825 +- 0.027 (stat) +- 0.025 (syst.)

The systematic error does not include that due to quenching, or our use of degenerate quarks, but there is evidence that the additional errors are not larger than the quoted errors. BK is thus one of the most reliably determined lattice quantities, and, furthermore, the lattice determination is more accurate than those using other methods. This result is now being used in analyses of the constraints on the consistency of the standard model.

Topology

In our most recent work at NERSC we have been studying the topological charge and the distribution of charge density on our gauge configurations. Our overall aim is to gain insight into the role of instantons in the physics of confinement, and in particular to make detailed comparisons with the instanton liquid model of Shuryak. Previous studies have used various definitions of the density, and we have undertaken a careful comparison of these methods, paying particular attention to numerical difficulties [8]

Computational issues

The most computationally challenging part of our work is that on the CM-5. Lattice QCD is naturally parallel, since the same operations must be performed at each space-time point. These operations involve exchanging information with adjacent sites on the hypertorus, and performing computations at each site (e.g. 3x3 complex matrix multiplies). Our basic code is written in CM-Fortran (CMF), including the communication, which is done using the command CSHIFT. To use the machine efficiently, we have found it necessary to write the computationally intensive on-node routines in the C-like assembly language CDPEAC. With the present compiler this gives speed ups of 1.5-3. This arrangement also makes our code quickly adaptable to new versions of the Connection Machine, since the small modules can be developed quickly for a new processor. Our CDPEAC codes sustain node speeds of between 80 and 100 MFlops, the latter being close to the theoretical maximum, as long as the particular computation allows chaining of adds and multiplies. The overall speed of our codes is significantly slower, mainly because of necessary internode communication. Our gauge update code sustains 25 MFlops/node. For a 32^3x64 lattice it requires 3 GigaBytes of memory, and thus runs on partitions of 256 nodes or larger. On a 256 node partition it takes 9 hours to generate an independent lattice (2000 overrelaxed and 400 Metropolis sweeps). Our propagator code for Wilson fermions requires 6 GigaBytes of memory, and sustains a node speed of 35 MFlops on a 256 node partition. It takes 16 hours to calculate propagators at 5 different masses with and without a meson source. Finally, we need to combine the propagators into the various meson correlators we use to extract masses, form factors, etc. This code spends roughly 60% of its time doing i/o from the 25 GigaBytes of data (lattices and propagators) stored on the scalable disk array. It requires the equivalent of 16 hours on a 256 node partition, although in practice we use five separate runs, two of which require a 512 node partition. We save the configurations and the three light quark propagators on exabyte tapes, so that as we develop further analysis ideas we can test them out with relatively small cost in computer time. Our code is very demanding of the CM-5. On various occasions it has found problems which the standard diagnostics did not uncover. In a recent example, the machine was reporting single bit memory errors, which should have been corrected in hardware, but which were causing our code to crash unreproducibly. This suggested an intermittent hardware problem. Further investigation by Thinking Machines Corporation led to the discovery of memory errors related to fluctuations in voltage and temperature. An overhaul of the entire CM-5 will be undertaken in July 1994 to correct this problem. Parts of our code are now used as diagnostics by TMC.

Future Plans

In the remainder of this fiscal year, we intend to complete the analysis on our proposed sample of 100 lattices at beta=6.0. We have only mentioned the highlights above---we are calculating a large number of quantities, and in all almost all cases have better statistical control than that of previous calculations. We propose to extend this work in fiscal year 1994-5 in several ways:
  1. Reduce lattice spacing errors either by using a smaller lattice spacing or an improved action.
  2. Include non-relativistic quarks so as to directly study B mesons.
  3. Implement staggered fermions.

References

  1. D. Daniel, R. Gupta, G. Kilcup, A. Patel and S. Sharpe, "Phenomenology with Wilson fermions using smeared sources" Phys Rev D46 (1992) 3130. [Abstract]
    R. Gupta, A. Patel and S. Sharpe, "The pi-pi scattering length with Wilson fermions" Phys Rev D48 (1993) 388. [Abstract]
    G. Kilcup, S. Sharpe, R. Gupta and A. Patel, "Lattice Calculation of the Kaon B Parameter" Phys Rev Lett 64 (1990) 25.
  2. J. Labrenz and S. Sharpe, "Quenched chiral perturbation theory for baryons" Nucl Phys B (Proc. Suppl.) 34 (1994) 335. [Abstract]
  3. R. Gupta and J. Mandula, "Matrix Elements of the Singlet Axial Current in the Proton" LA-UR-94-440, Feb 1994. [Abstract]
  4. M. Witherell, Talk at Int. Symp. on Lepton and Photon Interactions at High Energies, Cornell University, 1993, UCSB-HEP 93-06.
  5. A. Abada et al., Nucl Phys B416 (1994) 675. [Abstract]
  6. C. Bernard, A. El-Khadra and A. Soni, Phys Rev D43 (1992) 2140, Phys Rev D45 (1992) 869.
  7. S. Sharpe, Nucl Phys B (Proc. Suppl.) 34 (1994) 403. [Abstract]
  8. J. Grandy and R. Gupta, Nucl Phys B (Proc. Suppl.) 34 (1994) 164. [Abstract]

Created by: kilcup@osu.edu [15 July 94]