Fermion doubling


The fermion doubling problem is a problem that is encountered when naively trying to put fermionic fields on a lattice. It consists in the appearance of spurious states, such that one ends up having 2d fermionic particles for each original fermion. In order to solve this problem, several strategies are in use, such as Wilson fermions and staggered fermions.

Mathematical overview

The action of a free Dirac fermion in d dimensions, of mass m, and in the continuum is commonly given as
Here, the Feynman slash notation was used to write
where γμ are the gamma matrices. When this action is discretized on a cubic lattice, the fermion field ψ is replaced with a discretized version ψx, where x now denotes the lattice site. The derivative is replaced by the finite difference. The resulting action is now:
where a is the lattice spacing and is the vector of length a in the μ direction. When one computes the inverse fermion propagator in momentum space, one readily finds:
Due to the finite lattice spacing the momenta pμ have to be inside the Brillouin zone, which is typically taken to be the interval .
When simply taking the limit a → 0 in the above inverse propagator, one recovers the correct continuum result. However, when instead expanding this expression around a value of pμ where one or more of the components are at the corners of the Brillouin zone, one finds the same continuum form again, although the sign in front of the gamma matrix can change. This means that, when one of the components of the momentum is near /a, the discretized fermion field will again behave like a continuum fermion. This can happen with all d components of the momentum, leading to —with the original fermion with momentum near the origin included— 2d different "tastes".

The Nielsen–Ninomiya theorem

and Ninomiya proved a theorem stating that a local, real, free fermion lattice action, having chiral and translational invariance, necessarily has fermion doubling. The only way to get rid of the doublers is by violating one of the presuppositions of the theorem —for example: