pith. sign in

arxiv: 2510.18693 · v3 · submitted 2025-10-21 · ✦ hep-lat

Chiral anomalies and Wilson fermions

Pith reviewed 2026-05-18 04:56 UTC · model grok-4.3

classification ✦ hep-lat
keywords Wilson fermionschiral anomalieslattice gauge theoryDirac operatoreigenvalue pairstopological sectorsstandard model
0
0 comments X

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.

This paper shows that the Wilson formulation of fermions in lattice gauge theory supplies a single framework for the chiral anomalies appearing in the standard model. The discrete Dirac operator breaks down into independent two-by-two blocks whose eigenvalues form either complex conjugate pairs or real pairs carrying definite chirality. Collisions between these pairs take place outside the perturbative regime and create a direct route connecting different topological sectors. A reader would care because the construction embeds the anomaly directly in the lattice discretization rather than adding it as an extra term. This links the discrete spectrum to the chiral properties of quarks and leptons without relying on continuum limits alone.

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

Figures reproduced from arXiv: 2510.18693 by Michael Creutz.

Figure 1
Figure 1. Figure 1: FIG. 1. The spectrum of the free four dimensional Dirac opera [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. As gauge fields evolve, two complex eigenvalues can co [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. As the up and down quarks flip spin from the chiral eigen [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the algebraic property that the Wilson Dirac operator decomposes into 2x2 blocks with the stated eigenvalue and chirality behavior; no free parameters or new entities are introduced.

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.
    Invoked in the second sentence of the abstract as the starting point for the unified description.

pith-pipeline@v0.9.0 · 5568 in / 1242 out tokens · 33020 ms · 2026-05-18T04:56:54.220026+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

23 extracted references · 23 canonical work pages

  1. [1]

    This rate is extremely small, perhaps unmeasurable, but its existence is a necessary consequence of the theory

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

    hopping” terms involving gauge fields are anti-Hermitia n and contain a gamma matrix factor while the mass and Wilson term are Hermitian and c ommute with γ5. This “symmetry

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

    instantons

    (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. [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. [5]

    Steinberger

    J. Steinberger. On the Use of subtraction fields and the li fetimes of some types of meson decay. Phys. Rev. , 76:1180–1186, 1949

  6. [6]

    Stephen L. Adler. Axial vector vertex in spinor electrod ynamics. Phys.Rev., 177:2426–2438, 1969

  7. [7]

    Adler and William A

    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

  8. [8]

    Bell and R

    J.S. Bell and R. Jackiw. A PCAC puzzle: pi0 to gamma gamma i n the sigma model. Nuovo Cim., A60:47–61, 1969

  9. [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

  10. [10]

    A confederacy of anomalies

    Jan Smit. A confederacy of anomalies. Eur. Phys. J. H , 50(1):5, 2025

  11. [11]

    J. Smit. Fermions on a Lattice. Acta Phys. Polon. B , 17:531, 1986

  12. [12]

    P. V. D. Swift. The Electroweak Theory on the Lattice. Phys. Lett. B , 145:256–260, 1984

  13. [13]

    Standard model and the lattice

    Michael Creutz. Standard model and the lattice. Phys. Rev. D , 109(3):034514, 2024

  14. [14]

    Duane, A.D

    S. Duane, A.D. Kennedy, B.J. Pendleton, and D. Roweth. H ybrid Monte Carlo. Phys.Lett., B195:216–222, 1987

  15. [15]

    Kenneth G. Wilson. Confinement of quarks. Phys. Rev. , D10:2445–2459, 1974

  16. [16]

    Pauli and F

    W. Pauli and F. Villars. On the Invariant regularizatio n in relativistic quantum theory. Rev. Mod. Phys. , 21:434–444, 1949

  17. [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

  18. [19]

    M. Teper. Instantons in the quantized su(2) vacuum: A la ttice monte carlo investigation. Phys.Lett., B162:357, 1985

  19. [20]

    Exactly massless quarks on the latt ice

    Herbert Neuberger. Exactly massless quarks on the latt ice. Phys.Lett., B417:141–144, 1998

  20. [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

  21. [22]

    Seiler and I.O

    E. Seiler and I.O. Stamatescu. Lattice fermions and The ta vacua. Phys.Rev., D25:2177, 1982

  22. [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

  23. [24]

    3 ⊗ 3 = 6 ⊕ 3

    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