In lattice field theory, the Wilson action is a discrete formulation of the Yang–Mills action, forming the foundation of lattice gauge theory. Rather than using Lie algebra valued gauge fields as the fundamental parameters of the theory, group valued link fields are used instead, which correspond to the smallest Wilson lines on the lattice. In modern simulations of pure gauge theory, the action is usually modified by introducing higher order operators through Symanzik improvement, significantly reducing discretization errors. The action was introduced by Kenneth Wilson in his seminal 1974 paper, launching the study of lattice field theory.
Lattice gauge theory is formulated in terms of elements of the compact gauge group rather than in terms of the Lie algebra valued gauge fields , where are the group generators. The Wilson line, which describes parallel transport of Lie group elements through spacetime along a path , is defined in terms of the gauge field by
where is the path-ordering operator. Discretizing spacetime as a lattice with points indexed by a vector , the gauge field take on values only at these points . To first order in lattice spacing the smallest possible Wilson lines, those between two adjacent points, are known as links
where is a unit vector in the direction. Since to first order the path ordering operator drops out, the link is related to the discretized gauge field by . They are the fundamental gauge theory variables of lattice gauge theory, with the path integral measure (mathematics) over the links given by the Haar measure at each lattice point.
Working in some representation of the gauge group, links are matrix valued and orientated. Links of an opposite orientation are defined so that the product of the link from to with the link in the opposite direction is equal to the identity, which in the case of gauge groups means that . Under a gauge transformation , the link transforms the same way as the Wilson line
The smallest non-trivial loop of link fields on the lattice is known as a plaquette, formed from four links around a square in the - plane
The trace of a plaquette is a gauge invariant quantity, analogous to the Wilson loop in the continuum. Using the BCH formula and the lattice gauge field expression for the link variable, the plaquette can be written to lowest order in lattice spacing in terms of the discretized field strength tensor
By rescaling the gauge field using the gauge coupling and working in a representation with index , defined through , the Yang–Mills action in the continuum can be rewritten as
where the field strength tensor is Lie algebra valued . Since the plaquettes relate the link variables to the discretized field strength tensor, this allows one to construct a lattice version of the Yang–Mills action using them. This is the Wilson action, given in terms of a sum over all plaquettes of one orientation on the lattice
It reduces down to the discretized Yang–Mills action with lattice artifacts coming in at order .
This action is far from unique. A lattice gauge action can be constructed from any discretized Wilson loop. As long as the loops are suitably averaged over orientations and translations in spacetime to give rise to the correct symmetries, the action will reduce back down to the continuum result. The advantage of using plaquettes is its simplicity and that the action lends itself well to improvement programs used to reduce lattice artifacts.
The Wilson action errors can be reduced through Symanzik improvement, whereby additional higher order operators are added to the action to cancel these lattice artifacts. There are many higher order operators that can be added to the Wilson action corresponding to various loops of links. For gauge theories, the Lüscher–Weisz action uses rectangles and parallelograms formed from links around a cube
where is the inverse coupling constant and and are the coefficients which are tuned to minimize lattice artifacts.
The value of the two prefactors can be calculated either by using the action to simulate known results and tuning the parameters to minimize errors, or else by calculating them using tadpole improved perturbation theory. For the case of an gauge theory the latter method yields