research27 min studyLesson 766 in Physics

Count unwanted light modes before interpreting a fermion field

State the discrete Dirac symbol, Brillouin domain, and no-go hypotheses.

On this page

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.

Dnaive(p)=m+ia∑μ=1dγμsin⁡(apμ),pμ∈[−π/a,π/a),Ncorners=2dD_{\rm naive}(p)=m+\frac ia\sum_{\mu=1}^{d}\gamma_\mu\sin(ap_\mu),\qquad p_\mu\in[-\pi/a,\pi/a),\qquad N_{\rm corners}=2^d
D has inverse-length units, m is the fermion mass parameter in the same units, and a is the lattice spacing. The corner count concerns the massless free symbol and a half-open zone.↔ Scroll wide equations horizontally.

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.

sin⁡[a(pμ(c)+kμ)]≃(−1)bμakμ,pμ(c)=bμπ/a,bμ∈{0,1}\sin[a(p_\mu^{(c)}+k_\mu)]\simeq(-1)^{b_\mu}ak_\mu,\qquad p_\mu^{(c)}=b_\mu\pi/a,\quad b_\mu\in\{0,1\}
k is small compared with 1/a. The product of these linearization signs identifies orientation at a corner; it is not an additional degeneracy factor multiplying the 2ᵈ count.↔ Scroll wide equations horizontally.

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.

det⁡Dnaive(p)∝[m2+1a2∑μsin⁡2(apμ)]ns/2\det D_{\rm naive}(p)\propto\left[m^2+\frac1{a^2}\sum_\mu\sin^2(ap_\mu)\right]^{n_s/2}
ns is the Dirac spinor dimension in a standard even-dimensional Euclidean representation. This formula locates zeros for real m; it does not include interactions or all lattice momentum degeneracies.↔ Scroll wide equations horizontally.

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.

  1. 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.

  2. 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.

  3. 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.

The result

There are four distinct corners with sign pairs (++),(−+),(+−),(−−), split evenly between the two orientation signs.

Explore the model

Interactive lab

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.

Distinguish a stride from a spectral changeAddition 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. Current readings: Residue r0: 0; Orbit period · m/gcd(m,a): 12; Distinct residues visited: 1 of 12. All parameters are adjustable with the labeled controls below.Repeated addition modulo 12: the current residue is 0, and the orbit period is 12.01234567891011+ 5mod 12An additive orbitn = 0rₙ = 0Period = 12Cycle starts at 0:0 → 5 → 10 → 3 →8 → 1 → 6 → 11 →4 → 9 → 2 → 7 → 0Exact residues · two additions per second
Additive orbitCurrent residue / next edge
Residue r0
0
Orbit period · m/gcd(m,a)
12
Distinct residues visited
1 of 12
t = 0 s

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.

Check your understanding

Why does imposing an antiperiodic finite-volume momentum grid not by itself solve naive fermion doubling?

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.

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.