Chiral anomalies and Wilson fermions
Pith reviewed 2026-05-18 04:56 UTC · model grok-4.3
The pith
Wilson fermions on the lattice unify the chiral anomalies of the standard model through eigenvalue collisions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Wilson formulation of fermions in lattice gauge theory provides a unified description of the chiral anomalies in the standard model. The discrete Dirac operator diagonalizes into a series of two by two blocks. In each block the possible eigenvalues either form a complex pair or separate into two real eigenvalues that have specific chirality. The collision of these pairs of eigenvalues occurs outside the perturbative region and provides a path between topological sectors.
What carries the argument
The decomposition of the discrete Dirac operator into independent two-by-two blocks, in which eigenvalues appear as complex conjugate pairs or real pairs with definite chirality whose collisions connect topological sectors.
Load-bearing premise
The discrete Dirac operator always diagonalizes into a series of independent two-by-two blocks in which eigenvalues are either complex conjugate pairs or real eigenvalues carrying definite chirality.
What would settle it
A gauge configuration in which the Dirac operator fails to block-diagonalize into such two-by-two units or in which eigenvalue collisions occur inside the perturbative region.
Figures
read the original abstract
The Wilson formulation of fermions in lattice gauge theory provides a unified description of the chiral anomalies in the standard model. The discrete Dirac operator diagonalizes into a series of two by two blocks. In each block the possible eigenvalues either form a complex pair or separate into two real eigenvalues that have specific chirality. The collision of these pairs of eigenvalues occurs outside the perturbative region and provides a path between topological sectors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the Wilson formulation of fermions provides a unified description of chiral anomalies in the standard model. It asserts that the discrete Dirac operator always diagonalizes into a series of independent two-by-two blocks in which eigenvalues form either complex-conjugate pairs or real eigenvalues carrying definite chirality; collisions of these pairs occur outside the perturbative regime and furnish a path between topological sectors.
Significance. If the exact block-diagonal structure holds for arbitrary gauge fields, the result would supply a non-perturbative, operator-algebraic account of chiral anomalies and topology-changing processes in lattice QCD, potentially unifying several existing anomaly descriptions without additional assumptions or perturbative expansions.
major comments (1)
- [Abstract] Abstract, paragraph 2: The central claim that 'the discrete Dirac operator diagonalizes into a series of two by two blocks' for arbitrary gauge configurations is invoked to explain eigenvalue collisions outside perturbation theory and connections between topological sectors, yet the manuscript provides neither an explicit matrix representation of the blocks, a proof that the subspaces remain invariant under generic gauge fields, nor numerical confirmation that residual mixing is absent. This step is load-bearing; without it the proposed unified mechanism does not follow.
minor comments (1)
- Notation for chirality assignment within the real-eigenvalue blocks should be defined explicitly (e.g., via the Wilson term or a lattice gamma_5 operator) to avoid ambiguity when the blocks are discussed in later sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript on chiral anomalies and Wilson fermions. The major comment correctly identifies a central element of the argument, and we respond to it below.
read point-by-point responses
-
Referee: [Abstract] Abstract, paragraph 2: The central claim that 'the discrete Dirac operator diagonalizes into a series of two by two blocks' for arbitrary gauge configurations is invoked to explain eigenvalue collisions outside perturbation theory and connections between topological sectors, yet the manuscript provides neither an explicit matrix representation of the blocks, a proof that the subspaces remain invariant under generic gauge fields, nor numerical confirmation that residual mixing is absent. This step is load-bearing; without it the proposed unified mechanism does not follow.
Authors: We agree that an explicit demonstration of the block-diagonal structure is essential for the claim. The structure follows from the gamma5-Hermiticity of the Wilson-Dirac operator, which guarantees that the spectrum consists of real eigenvalues of definite chirality or complex-conjugate pairs. In the revised manuscript we will add a dedicated subsection that supplies the explicit 2x2 block representation in a suitable basis, proves invariance of the subspaces for arbitrary gauge fields, and includes numerical checks on small lattices with random gauge configurations confirming the absence of residual mixing. These additions will make the mechanism for eigenvalue collisions and topology-changing processes fully explicit. revision: yes
Circularity Check
No significant circularity; algebraic property of Wilson-Dirac operator stands independently
full rationale
The paper states that the discrete Dirac operator diagonalizes into a series of two-by-two blocks where eigenvalues form complex pairs or real eigenvalues of definite chirality, with collisions providing paths between topological sectors. This follows directly from the operator's gamma5 hermiticity and standard linear algebra on its spectrum, without any fitted parameters, self-referential definitions, or load-bearing self-citations that reduce the claim to its own inputs. The unified anomaly description is presented as a consequence of this structure rather than a renaming or smuggling of prior results, making the derivation self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The discrete Wilson Dirac operator can be block-diagonalized into independent 2x2 blocks whose eigenvalues are either complex conjugate pairs or real eigenvalues of definite chirality.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The discrete Dirac operator diagonalizes into a series of two by two blocks. In each block the possible eigenvalues either form a complex pair or separate into two real eigenvalues that have specific chirality. The collision of these pairs of eigenvalues occurs outside the perturbative region and provides a path between topological sectors.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
γ5D = D†γ5 ... our basis is in fact orthogonal. On this two dimensional space D = (λ 0; 0 λ*)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
that proton decay should occur in the standard model of the we ak interactions. This rate is extremely small, perhaps unmeasurable, but its existence is a necessary consequence of the theory. All these phenomena are tied to an anomaly with a simple change of fer mionic variables in path integral ψ − → eiφγ 5ψ ψ − → ψeiφγ 5 . (1) This is a symmetry of the ...
-
[2]
approach. In the usual continuum theory, i /D +m is an anti-hermitian kinetic term plus a real constant mass term, As such, all eigenvalues lie on a line at fixed real partm. On the lattice the Wilson term smears the mass term at high momentum. For the fre e lattice theory the sin and cosine factors in the above equations give rise to a set of nes ted circ...
-
[3]
(17) As the gauge and Higgs fields evolve in a simulation, we can transit betw een these situations. In the process the two eigenvalues collide and move off in opposite dire ctions on the real axis,as sketched in Fig. 2. 6 Large values of the parameter a3 give rise to real modes of D. If we now cool our configuration down to classical fields, these become the...
-
[4]
This includes p ↔ e+ and n ↔ ν
This allows for baryon-lepton mixing while preserving all gauged sy mmetries. This includes p ↔ e+ and n ↔ ν. V. SUMMAR Y Given a configuration of gauge and Higgs fields in the path integral, th e corresponding Dirac operator can be reduced to 2 by 2 blocks, each representing two possible eigenvalues contributing to the determinant of D. As the configuration...
-
[5]
J. Steinberger. On the Use of subtraction fields and the li fetimes of some types of meson decay. Phys. Rev. , 76:1180–1186, 1949
work page 1949
-
[6]
Stephen L. Adler. Axial vector vertex in spinor electrod ynamics. Phys.Rev., 177:2426–2438, 1969
work page 1969
-
[7]
Stephen L. Adler and William A. Bardeen. Absence of highe r order corrections in the anoma- lous axial vector divergence equation. Phys.Rev., 182:1517–1536, 1969
work page 1969
-
[8]
J.S. Bell and R. Jackiw. A PCAC puzzle: pi0 to gamma gamma i n the sigma model. Nuovo Cim., A60:47–61, 1969
work page 1969
-
[9]
Computation of the quantum effects due to a four-dimensional pseudoparticle
Gerard ’t Hooft. Computation of the quantum effects due to a four-dimensional pseudoparticle. Phys.Rev., D14:3432–3450, 1976
work page 1976
-
[10]
Jan Smit. A confederacy of anomalies. Eur. Phys. J. H , 50(1):5, 2025
work page 2025
-
[11]
J. Smit. Fermions on a Lattice. Acta Phys. Polon. B , 17:531, 1986
work page 1986
-
[12]
P. V. D. Swift. The Electroweak Theory on the Lattice. Phys. Lett. B , 145:256–260, 1984
work page 1984
-
[13]
Standard model and the lattice
Michael Creutz. Standard model and the lattice. Phys. Rev. D , 109(3):034514, 2024
work page 2024
-
[14]
S. Duane, A.D. Kennedy, B.J. Pendleton, and D. Roweth. H ybrid Monte Carlo. Phys.Lett., B195:216–222, 1987
work page 1987
-
[15]
Kenneth G. Wilson. Confinement of quarks. Phys. Rev. , D10:2445–2459, 1974
work page 1974
-
[16]
W. Pauli and F. Villars. On the Invariant regularizatio n in relativistic quantum theory. Rev. Mod. Phys. , 21:434–444, 1949
work page 1949
-
[18]
Anomalies, gauge field topology, and th e lattice
Michael Creutz. Anomalies, gauge field topology, and th e lattice. Annals Phys. , 326:911–925, 2011. 11
work page 2011
-
[19]
M. Teper. Instantons in the quantized su(2) vacuum: A la ttice monte carlo investigation. Phys.Lett., B162:357, 1985
work page 1985
-
[20]
Exactly massless quarks on the latt ice
Herbert Neuberger. Exactly massless quarks on the latt ice. Phys.Lett., B417:141–144, 1998
work page 1998
-
[21]
Transiting topological sectors with t he overlap
Michael Creutz. Transiting topological sectors with t he overlap. Nucl. Phys. Proc. Suppl. , 119:837–839, 2003
work page 2003
-
[22]
E. Seiler and I.O. Stamatescu. Lattice fermions and The ta vacua. Phys.Rev., D25:2177, 1982
work page 1982
-
[23]
Notice an analogy with the connection between the Loren tz group and the group SL(2)C , where vectors also divide into two classes: time-like and sp ace-like
-
[24]
This is consistent with the strong gauge group since in SU (3) the product of two triplet representations contains an antitriplet, i.e. 3 ⊗ 3 = 6 ⊕ 3. 12
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.