Nielsen–Ninomiya theorem

Last updated July 16, 2024 • 4 min readFrom Wikipedia, The Free Encyclopedia

In lattice field theory, the Nielsen–Ninomiya theorem is a no-go theorem about placing chiral fermions on a lattice. In particular, under very general assumptions such as locality, hermiticity, and translational symmetry, any lattice formulation of chiral fermions necessarily leads to fermion doubling, where there are the same number of left-handed and right-handed fermions. It was first proved by Holger Bech Nielsen and Masao Ninomiya in 1981 using two methods, one that relied on homotopy theory ^[1] and another that relied on differential topology.^[2] Another proof provided by Daniel Friedan uses differential geometry.^[3] The theorem was also generalized to any regularization scheme of chiral theories.^[4] One consequence of the theorem is that the Standard Model cannot be put on a lattice.^[5] Common methods for overcoming the fermion doubling problem is to use modified fermion formulations such as staggered fermions, Wilson fermions, or Ginsparg–Wilson fermions, among others.

Lattice regularization

The theorem was originally formulated in the Hamiltonian formulation of lattice field theory where time is continuous but space has been discretized.^[1]^[2] Consider a theory with a Hamiltonian of the form

H=\sum _{{\boldsymbol {x}},{\boldsymbol {y}}}\psi ^{\dagger }({\boldsymbol {x}})F({\boldsymbol {x}},{\boldsymbol {y}})\psi ({\boldsymbol {y}})

together with a charge $Q$ . The Nielsen–Ninomiya theorem states that there is an equal number of left-handed and right-handed fermions for every set of charges if the following assumptions are met^[6]

Translational invariance: Implies that $F({\boldsymbol {x}},{\boldsymbol {y}})=F({\boldsymbol {x}}-{\boldsymbol {y}})$ .
Locality: $F({\boldsymbol {x}}-{\boldsymbol {y}})$ must vanish fast enough to have a Fourier transform with continuous derivatives.
Hermiticity: For the Hamiltonian to be Hermitian, $F({\boldsymbol {x}})$ must also be Hermitian.
The charge is defined locally through some local charge density.
The charge is quantized.
The charge is exactly conserved.

This theorem trivially holds in odd dimensions since odd dimensional theories do not admit chiral fermions due to the absence of a valid chirality operator, that is an operator that anticommutes with all gamma matrices. This follows from the properties of Dirac algebras in odd dimensions.

The Nielsen–Ninomiya theorem has also been proven in the Euclidean formulation. For example, consider a weaker version of the theorem which assumes a less generic action of the form^[7]

S=\sum _{x,y,\mu }{\bar {\psi }}(x)i\gamma _{\mu }F_{\mu }(x,y)P_{R}\psi (y),

where $P_{R}$ is the right-handed projection operator, together with three assumptions

Translational invariance: $F_{\mu }(x,y)=F_{\mu }(x-y)$ .
Hermiticity: For the action to be hermitian, it must hold that $F_{\mu }(-x)=F_{\mu }(x)^{*}$ .
Locality: The inverse propagator decreases fast enough so that its Fourier transform exists and all its derivatives are continuous.

If all these conditions are met then there is once again an equal number of left-handed and right-handed fermions.^[8]

Proof summary

The simplified Euclidean version of the theorem has a much shorter proof, relying on a key theorem from differential topology known as the Poincaré–Hopf theorem.^[9] It can be summarized as follows. From the locality assumption, the Fourier transform of the inverse propagator $F_{\mu }(k)$ must be a continuous vector field on the Brillouin zone whose isolated zeros correspond to different species of particles of the theory. Around each zero the vector field behavior is either a saddle singularity or a sink/source singularity. This is captured by the index of the vector field at the zero which takes the values $\pm 1$ for the two cases. It can be shown that the two cases determine whether the particle is left-handed or right-handed. The Poincaré–Hopf theorem states that the sum of the indices of a vector field on a manifold is equal the Euler characteristic of that manifold. In this case, the vector field lives on the Brillouin zone which is topologically a 4-torus which has Euler characteristic zero. Therefore, there must be an equal number of left-handed and right-handed particles.

General regularization schemes

The Nielsen–Ninomiya theorem can be generalized to all possible regularization schemes, not just lattice regularization.^[4] This general no-go theorem states that no regularized chiral fermion theory can satisfy all the following conditions

Invariance under at least the global part of the gauge group.
Different number of left-handed and right-handed Weyl species for a given combination of generators.
The correct chiral anomaly.
An action bilinear in Weyl fields.

A short proof by contradiction points out that the Noether current acquired from some of assumptions is conserved, while other assumptions imply that it is not.

Every regularization scheme must violate one or more of the conditions. For lattice regularization the Nielsen–Ninomiya theorem leads to the same result under even weaker assumptions where the requirement for the correct chiral anomaly is replaced by an assumption of locality of interactions. Dimensional regularization depends on the particular implementation of chirality. If the $\gamma _{5}$ matrix is defined as $\gamma _{[1}\gamma _{2}\cdots \gamma _{4+\epsilon ]}$ for infinitesimal $\epsilon$ then this leads to a vanishing chiral anomaly, while using $\gamma _{[1}\gamma _{2}\gamma _{3}\gamma _{4]}$ breaks global invariance. Meanwhile, Pauli–Villars regularization breaks global invariance since it introduces a regulator mass.

Related Research Articles

In particle physics, the electroweak interaction or electroweak force is the unified description of two of the four known fundamental interactions of nature: electromagnetism (electromagnetic interaction) and the weak interaction. Although these two forces appear very different at everyday low energies, the theory models them as two different aspects of the same force. Above the unification energy, on the order of 246 GeV, they would merge into a single force. Thus, if the temperature is high enough – approximately 10¹⁵ K – then the electromagnetic force and weak force merge into a combined electroweak force. During the quark epoch (shortly after the Big Bang), the electroweak force split into the electromagnetic and weak force. It is thought that the required temperature of 10¹⁵ K has not been seen widely throughout the universe since before the quark epoch, and currently the highest human-made temperature in thermal equilibrium is around 5.5×10¹² K (from the Large Hadron Collider).

In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac particles", such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine structure of the hydrogen spectrum in a completely rigorous way. It has become vital in the building of the Standard Model.

In physics, the Schwinger model, named after Julian Schwinger, is the model describing 1+1D Lorentzian quantum electrodynamics which includes electrons, coupled to photons.

In theoretical physics, a chiral anomaly is the anomalous nonconservation of a chiral current. In everyday terms, it is equivalent to a sealed box that contained equal numbers of left and right-handed bolts, but when opened was found to have more left than right, or vice versa.

In quantum electrodynamics, the vertex function describes the coupling between a photon and an electron beyond the leading order of perturbation theory. In particular, it is the one particle irreducible correlation function involving the fermion $, the antifermion, and the vector potential A .$

In lattice field theory, fermion doubling occurs when naively putting fermionic fields on a lattice, resulting in more fermionic states than expected. For the naively discretized Dirac fermions in $Euclidean dimensions, each fermionic field results in identical fermion species, referred to as different tastes of the fermion. The fermion doubling problem is intractably linked to chiral invariance by the Nielsen-Ninomiya theorem. Most strategies used to solve the problem require using modified fermions which reduce to the Dirac fermion only in the continuum limit.$

In differential geometry, the four-gradient $is the four-vector analogue of the gradient from vector calculus.$

This article describes the mathematics of the Standard Model of particle physics, a gauge quantum field theory containing the internal symmetries of the unitary product group $SU(3) \times SU(2) \times U(1)$ . The theory is commonly viewed as describing the fundamental set of particles – the leptons, quarks, gauge bosons and the Higgs boson.

In quantum field theory, a fermionic field is a quantum field whose quanta are fermions; that is, they obey Fermi–Dirac statistics. Fermionic fields obey canonical anticommutation relations rather than the canonical commutation relations of bosonic fields.

In lattice field theory, staggered fermions are a fermion discretization that reduces the number of fermion doublers from sixteen to four. They are one of the fastest lattice fermions when it comes to simulations and they also possess some nice features such as a remnant chiral symmetry, making them very popular in lattice QCD calculations. Staggered fermions were first formulated by John Kogut and Leonard Susskind in 1975 and were later found to be equivalent to the discretized version of the Dirac–Kähler fermion.

In quantum mechanics, the Pauli equation or Schrödinger–Pauli equation is the formulation of the Schrödinger equation for spin-1/2 particles, which takes into account the interaction of the particle's spin with an external electromagnetic field. It is the non-relativistic limit of the Dirac equation and can be used where particles are moving at speeds much less than the speed of light, so that relativistic effects can be neglected. It was formulated by Wolfgang Pauli in 1927. In its linearized form it is known as Lévy-Leblond equation.

Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on $. Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the surface integral of its curl over the enclosed surface. It is illustrated in the figure, where the direction of positive circulation of the bounding contour \partialΣ, and the direction n of positive flux through the surface Σ, are related by a right-hand-rule. For the right hand the fingers circulate along \partialΣ and the thumb is directed along n .$

The Thirring–Wess model or Vector Meson model is an exactly solvable quantum field theory, describing the interaction of a Dirac field with a vector field in dimension two.

In quantum field theory, a Ward–Takahashi identity is an identity between correlation functions that follows from the global or gauge symmetries of the theory, and which remains valid after renormalization.

In nuclear physics and atomic physics, weak charge refers to the Standard Model weak interaction coupling of a particle to the Z boson. For example, for any given nuclear isotope, the total weak charge is approximately −0.99 per neutron, and +0.07 per proton. It also shows an effect of parity violation during electron scattering.

In theoretical particle physics, the gluon field strength tensor is a second order tensor field characterizing the gluon interaction between quarks.

Attempts have been made to describe gauge theories in terms of extended objects such as Wilson loops and holonomies. The loop representation is a quantum hamiltonian representation of gauge theories in terms of loops. The aim of the loop representation in the context of Yang–Mills theories is to avoid the redundancy introduced by Gauss gauge symmetries allowing to work directly in the space of physical states. The idea is well known in the context of lattice Yang–Mills theory. Attempts to explore the continuous loop representation was made by Gambini and Trias for canonical Yang–Mills theory, however there were difficulties as they represented singular objects. As we shall see the loop formalism goes far beyond a simple gauge invariant description, in fact it is the natural geometrical framework to treat gauge theories and quantum gravity in terms of their fundamental physical excitations.

In mathematical physics, the Gordon decomposition of the Dirac current is a splitting of the charge or particle-number current into a part that arises from the motion of the center of mass of the particles and a part that arises from gradients of the spin density. It makes explicit use of the Dirac equation and so it applies only to "on-shell" solutions of the Dirac equation.

In lattice field theory, Wilson fermions are a fermion discretization that allows to avoid the fermion doubling problem proposed by Kenneth Wilson in 1974. They are widely used, for instance in lattice QCD calculations.

The axial current, also denoted the pseudo-vector or chiral current, is the conserved current associated to the chiral symmetry or axial symmetry of a system.

References

1 2 Nielsen, H.B.; Ninomiya, M. (1981). "Absence of neutrinos on a lattice: (I). Proof by homotopy theory". Nuclear Physics B. 185 (1): 20–40. Bibcode:1981NuPhB.185...20N. doi:10.1016/0550-3213(81)90361-8.
1 2 Nielsen, H.B.; Ninomiya, M. (1981). "Absence of neutrinos on a lattice: (II). Intuitive topological proof". Nuclear Physics B. 193 (1): 173–194. Bibcode:1981NuPhB.193..173N. doi:10.1016/0550-3213(81)90524-1.
↑ Friedan, D. (1982). "A Proof of the Nielsen-Ninomiya Theorem". Commun. Math. Phys. 85 (4): 481–490. Bibcode:1982CMaPh..85..481F. doi:10.1007/BF01403500. S2CID 2649595.
1 2 Nielsen, H.B.; Ninomiya, M. (1981). "A no-go theorem for regularizing chiral fermions". Physics Letters B. 105 (2–3): 219–223. Bibcode:1981PhLB..105..219N. doi:10.1016/0370-2693(81)91026-1.
↑ Tong, D. (2018), "4", Lecture Notes on Gauge Theory, p. 232
↑ Montvay, I.; Munster, G. (1994). "4". Quantum Fields on a Lattice. Cambridge Monographs on Mathematical Physics. Cambridge: Cambridge University Press. pp. 208–213. doi:10.1017/CBO9780511470783. ISBN 9780511470783. S2CID 118339104.
↑ Karsten, L.H. (1981). "Lattice Fermions in Euclidean Space-time". Phys. Lett. B. 104 (4): 315–319. Bibcode:1981PhLB..104..315K. doi:10.1016/0370-2693(81)90133-7.
↑ Gattringer, C.; Lang, C.B. (2009). "7". Quantum Chromodynamics on the Lattice: An Introductory Presentation. Lecture Notes in Physics 788. Springer. pp. 162–163. doi:10.1007/978-3-642-01850-3. ISBN 978-3642018497.
↑ Smit, Jan (2002). "8". Introduction to Quantum Field on a Lattice. Cambridge Lecture Notes in Physics. Cambridge: Cambridge University Press. pp. 221–222. doi:10.1017/CBO9780511583971. hdl:20.500.12657/64022. ISBN 9780511583971.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[NN1-1] 1 2 Nielsen, H.B.; Ninomiya, M. (1981). "Absence of neutrinos on a lattice: (I). Proof by homotopy theory". Nuclear Physics B. 185 (1): 20–40. Bibcode:1981NuPhB.185...20N. doi:10.1016/0550-3213(81)90361-8.

[NN2-2] 1 2 Nielsen, H.B.; Ninomiya, M. (1981). "Absence of neutrinos on a lattice: (II). Intuitive topological proof". Nuclear Physics B. 193 (1): 173–194. Bibcode:1981NuPhB.193..173N. doi:10.1016/0550-3213(81)90524-1.

[3] Friedan, D. (1982). "A Proof of the Nielsen-Ninomiya Theorem". Commun. Math. Phys. 85 (4): 481–490. Bibcode:1982CMaPh..85..481F. doi:10.1007/BF01403500. S2CID 2649595.

[NN3-4] 1 2 Nielsen, H.B.; Ninomiya, M. (1981). "A no-go theorem for regularizing chiral fermions". Physics Letters B. 105 (2–3): 219–223. Bibcode:1981PhLB..105..219N. doi:10.1016/0370-2693(81)91026-1.

[5] Tong, D. (2018), "4", Lecture Notes on Gauge Theory, p. 232

[6] Montvay, I.; Munster, G. (1994). "4". Quantum Fields on a Lattice. Cambridge Monographs on Mathematical Physics. Cambridge: Cambridge University Press. pp. 208–213. doi:10.1017/CBO9780511470783. ISBN 9780511470783. S2CID 118339104.

[7] Karsten, L.H. (1981). "Lattice Fermions in Euclidean Space-time". Phys. Lett. B. 104 (4): 315–319. Bibcode:1981PhLB..104..315K. doi:10.1016/0370-2693(81)90133-7.

[8] Gattringer, C.; Lang, C.B. (2009). "7". Quantum Chromodynamics on the Lattice: An Introductory Presentation. Lecture Notes in Physics 788. Springer. pp. 162–163. doi:10.1007/978-3-642-01850-3. ISBN 978-3642018497.

[9] Smit, Jan (2002). "8". Introduction to Quantum Field on a Lattice. Cambridge Lecture Notes in Physics. Cambridge: Cambridge University Press. pp. 221–222. doi:10.1017/CBO9780511583971. hdl:20.500.12657/64022. ISBN 9780511583971.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]