Count unwanted light modes before interpreting a fermion field
State the discrete Dirac symbol, Brillouin domain, and no-go hypotheses.
On this page
The question for today
What you’ll understand
- Locate zeros of the free naive Euclidean Dirac operator.
- Count species in an explicitly stated dimension.
- Explain why changing boundary conditions does not generally remove continuum doublers.
Replacing a derivative by a symmetric lattice difference preserves some attractive symmetries but creates additional low-energy fermion modes. These doublers are not extra spin components of one intended particle. They are distinct continuum neighborhoods in the compact Brillouin zone. The Nielsen–Ninomiya obstruction explains why a local lattice construction cannot simultaneously retain every desired naive chiral property while describing an unpaired chiral spectrum under its hypotheses. A successful formulation changes an assumption in a controlled way rather than making the extra zeros disappear by naming them differently.
The sine derivative has several zeros
For a free fermion on a d-dimensional Euclidean hypercubic lattice, use Hermitian gamma matrices and the symmetric nearest-neighbor derivative. In momentum space each derivative becomes i sin(apμ)/a. Restrict p to a half-open Brillouin interval of width 2π/a in every direction, so opposite endpoints are identified rather than separately counted. At zero mass, all sine components vanish when each momentum component is either zero or the zone-edge value π/a modulo reciprocal periods.
There are therefore 2 to the d distinct zero neighborhoods. In four Euclidean spacetime dimensions this gives sixteen species for a naive Dirac field. A Hamiltonian treatment with only three spatial directions counts eight momentum corners instead, before its own spin/chiral interpretation. Stating the dimension avoids confusing these two familiar numbers. A small nonzero mass gaps all the naive modes together rather than preferentially lifting only the unwanted corners.
Expand around every candidate continuum point
Near a corner, write pμ as its corner value plus a small displacement. The sine’s linear coefficient is positive at zero and negative at a π corner. These sign changes can be absorbed into redefined gamma matrices, revealing an independent relativistic-like light field around each zero. The orientation of those velocity signs determines the chirality assignment in the corresponding chiral-band picture. Ignoring a corner because it sits at large lattice momentum misses that its excitation energy can still be small.
No-go statements rely on assumptions such as locality, translational structure, appropriate Hermiticity, and the conventional chiral anticommutation relation, together with a regular compact momentum-space description. There are several related formulations, so a theorem’s exact hypotheses should accompany its use. Wilson fermions relax naive chiral symmetry, while Ginsparg–Wilson formulations replace its lattice form. Neither strategy disproves the theorem; each changes the mathematical setup to retain a desired continuum limit.
Finite momentum grids do not settle the limit
At a finite box size, periodic or antiperiodic boundary conditions choose different discrete momenta. Antiperiodic temporal boundaries can remove an exact zero at one sampled momentum while leaving modes arbitrarily close to each corner as the box is enlarged. Thus absence of an exact zero on a particular finite grid does not by itself remove a species in the continuum theory. Both the spacing limit and the physical-volume limit need an analysis consistent with the intended spectrum.
The modular lab illustrates an indexing distinction. Reset and set modulus to 8 and additive step to 1; predict period 8. Reset and set modulus to 8 and step to 2; predict period 4. A stride can skip half the indices, but that does not prove that a local fermion operator lost its extra light modes. This additive orbit has no gamma matrices, sine derivative, dispersion spectrum, or fermion determinant; the physical zero count must be calculated separately.
Work it through
Four corners in two Euclidean dimensions
For the massless naive fermion in two Euclidean dimensions, list its distinct zero corners and the signs of the two linearized derivative coefficients at each corner.
The sine components vanish independently at 0 or π/a modulo zone periods. The four distinct corners are (0,0),(π/a,0),(0,π/a),(π/a,π/a), with boundary representatives understood modulo 2π/a.
The derivative coefficient is cos(apμ), so the sign pairs are (+,+),(−,+),(+,−),(−,−). Each neighborhood supports a light continuum-like mode, despite three having large coordinate momentum.
The products of the two signs are +,−,−,+, giving two orientations of each sign in this toy count. These are four species neighborhoods, not a multiplication of the original field’s spinor components.
There are four distinct corners with sign pairs (++),(−+),(+−),(−−), split evenly between the two orientation signs.
The living notebook
Explore the model
Interactive lab · modular
Distinguish a stride from a spectral change
Reset and set m=8,step=1; predict period 8. Reset and set m=8,step=2; predict period 4.
- Residue r0
- 0
- Orbit period · m/gcd(m,a)
- 12
- Distinct residues visited
- 1 of 12
Addition modulo m starts at zero: rₙ = na mod m. Playback advances two additions per second. The orbit has period m/gcd(m,a), including period one for a = 0. This is not a cryptographic security test or a primality algorithm. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forThe additive stride skips indices but does not change a Dirac operator. It cannot establish the absence of fermion doubling.
Pause & reason
Check your understanding
Your turn
Try it yourself
On a one-dimensional periodic ring of eight sites, momenta are pn=2πn/(8a). Which indices give zeros of sin(apn)? If the grid shifts to n+1/2, does the lack of exact zeros prove that the doubler is absent?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Solve the sine condition modulo eight and compare exact finite-grid zeros with low-energy neighborhoods.
Compare with the solution
The periodic zeros are n=0 and n=4. The shifted grid has no exact zero for these eight momenta, but as the physical box grows it has modes approaching both 0 and π/a. The two low-energy neighborhoods of the naive operator remain; a boundary-condition shift is not a local operator modification that lifts one species.
Keep the idea
Take it with you
- Naive symmetric derivatives produce multiple light momentum neighborhoods.
- Species count depends on whether spacetime or only space is discretized.
- No-go constraints are evaded only by changing and auditing their assumptions.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.