Pith. Sign in

REVIEW

Exactly massless quarks on the lattice

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Herbert Neuberger (Rutgers)

High Energy Physics - Lattice · Submitted 17 Jul 1997 · 21 references

Pith's verdict: The overlap finally written as an explicit lattice determinant — short derivation, clean instanton check, and the one soft spot is that the no-doubling claim is handed to a companion preprint.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-lat/9707022 (version 3)
Pith IDGAQYAFR4, Pith's permanent record of this paper and its review
CitationHerbert Neuberger (Rutgers). "Exactly massless quarks on the lattice." arXiv:hep-lat/9707022 (1997). https://pith.science/paper/GAQYAFR4
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

A lattice fermion determinant built from the Wilson-Dirac operator can keep quarks exactly massless, with no doubling and no fine tuning, by writing the determinant as $V=X(X^†X)^{-1/2}$ and taking $V$ to be the overlap phase.

The reading

Lattice QCD has long had trouble putting strictly massless quarks on the lattice: the standard Wilson formulation breaks chiral symmetry explicitly, so masslessness requires tuning a parameter, and staggered fermions keep masslessness only by carrying extra species. The paper proposes a compact replacement for the fermion determinant of a vector-like gauge theory, $V=X(X^†X)^{-1/2}$ and $X$ the Wilson-Dirac operator at a negative mass, so that the determinant is $V$ rather than $X$. The derivation reuses the overlap construction but collapses its two ground states into a single one by doubling the fermion operator, which turns the overlap into a determinant of a unitary matrix; the Wilson-Dirac operator reappears because multiplying the overlap's Hamiltonian by the chirality matrix gives exactly $X$. If the claim holds, massless lattice QCD becomes a parameter-free theory with exact chiral symmetry, eigenvalues of $V$ confined to the unit circle, and exact zeros in instanton backgrounds.

What carries the argument

The load-bearing object is the unitary matrix $V=Γ_{2k+1}ε(H_-)$ with $ε(H)=H/√{H^2}$, built from the overlap Hamiltonian $H_-$ at mass $-m_0$ with $0<m_0<2$. The step that makes the formula concrete is the identity $Γ_{2k+1}H(m)=X(m)$, where $X(m)$ is the Wilson-Dirac operator with mass $m$; this is what converts an overlap expression into a determinant of a familiar lattice operator. The second ingredient is the doubling trick of equation (6), which packs the two Hamiltonians $H_+$ and $H_-$ into one block off-diagonal matrix $H_{±2}$ so that a single overlap replaces the product of two. Unitarity of $V$ then does the rest: eigenvalues lie on the unit circle, real eigenvalues contribute $(1+λ_r)$ and complex pairs contribute $|1+λ_c|^2$, so $V$ is automatically non-negative, and $V=-1$ in unit topological charge backgrounds gives the exact zero.

Extended reading notes

Core claim

The paper's central claim is that for a vector-like gauge theory with strictly massless quarks, the fermion determinant on the lattice can be written as $V$, where $V=X(X^†X)^{-1/2}$ and $X$ is the Wilson-Dirac lattice operator with a negative mass term. The route is the overlap: the overlap of the two many-body ground states of $H_+$ and $H_-$ is first rewritten as $V$ with $V=Γ_{2k+1}ε(H_-)$, then the two fermion operator sets are merged into one of double size so that a single overlap replaces the product in equation (5). Since $Γ_{2k+1}H(m)$ is precisely the Wilson-Dirac operator $X(m)$, the resulting determinant is the announced one. $V$ is unitary, its eigenvalues sit on the unit circle, and $V$ is not needed: the product over real and complex-conjugate eigenvalue pairs is non-negative, so the determinant needs no absolute value. The author also shows directly, for a single instanton or anti-instanton, that $V=-1$ because $V$ and the overlap topological charge is $n_{top}=½ tr ε(H_-)$, which forces the determinant to vanish as exact chiral symmetry requires.

Load-bearing premise

The claim that the inverse of $(1+V)/2$ has only one massless Dirac pole, and therefore no unwanted quark doubling, is asserted with a pointer to a companion paper rather than derived here; if that companion analysis does not hold, the determinant formula could still be correct without by itself defining a single quark species.

Editorial extensions

If this is right

  • Massless lattice QCD becomes parameter free: no tuning of a Wilson mass to a critical value is needed to reach the chiral limit.
  • The eigenvalues of $V$ all lie on the unit circle, so the spectral density near $-1$ can be used to study the chiral condensate without the complications of eigenvalues scattered in the complex plane.
  • Global topology is visible directly: eigenvalues strictly at $-1$ count instantons, with degeneracy $½|tr ε(H_-)|$, and the zeros of the determinant are robust under small changes of the gauge background.
  • Finite-size soft-pion relations, such as the determination of $f_π$, can be applied in a setting where chiral symmetry is exact rather than explicitly broken.
  • The absolute value of the chiral determinant can be written as $√{det((1+V)/2)}$, which keeps exact gauge invariance and the topological zeros, unlike a square root of $|det X|$ near Wilson-Aoki criticality.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the formula is correct, the practical bottleneck shifts entirely to numerics: evaluating $X(X^†X)^{-1/2}$ requires a matrix sign function or a rational approximation, so the cost question is whether that inverse square root can be computed cheaply enough for dynamical four-dimensional simulations.
  • Because $V$ depends on $m_0$ through $H_-$, varying $m_0$ in $(0,2)$ traces a continuous flow of eigenvalues around the unit circle; this suggests a diagnostic in which the flow pattern itself is used to identify which eigenvalues are topological and which build the condensate.
  • The same construction in odd dimensions, where the overlap is already a determinant of a finite matrix, suggests that the doubled-operator trick of equation (6) is a general device for turning a product of two overlaps into a single determinant, not something specific to four dimensions.
  • A natural check is whether the inverse of $(1+V)/2$ reproduces the free-field Dirac propagator with the correct residue at the single physical pole; if a second pole survives at the cutoff scale, the determinant could still be correct while the propagator interpretation fails.
Original abstract

It is suggested that the fermion determinant for a vector-like gauge theory with strictly massless quarks can be represented on the lattice as $\det{{1+V}\over 2}$, where $V=X(X^\dagger X)^{-1/2}$ and $X$ is the Wilson-Dirac lattice operator with a negative mass term. There is no undesired doubling and no need for any fine tuning. Several other appealing features of the formula are pointed out.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,942 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.07 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.15 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

It is suggested that the fermion determinant for a vector-like gauge theory with strictly massless quarks can be represented on the lattice as $\det{{1+V}\over 2}$, where $V=X(X^\dagger X)^{-1/2}$ and $X$ is the Wilson-Dirac lattice operator with a negative mass term. There is no undesired doubling and no need for any fine tuning. Several other appealing features of the formula are pointed out.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 It is suggested that the fermion determinant for a vector-like gauge theory with strictly massless quarks can be represented on the lattice as $\det{{1+V}\over 2}$, where $V=X(X^\dagger X)^{-1/2}$ and $X$ is the Wilson-Dirac lattice operator with a negative mass term. contribution 0.88 0.59 0.86 hedged possibility 0.97
s1 There is no undesired doubling and no need for any fine tuning. result 0.70 0.64 0.23 asserted 1.00
s2 Several other appealing features of the formula are pointed out. contribution 0.55 0.69 0.04 asserted 0.59

What kind of paper the classifier reports this is: method or tool 0.71 · evidence from argument 0.59.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

289 later papers cite it

Evidence: substantial. 288 of the citing papers share no author with it, and 97 of those carry a confident label from Pith's citation classifier.

Pith read 40 of the 379 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 paper
Uses its method or tool 23 of 94 papers with this label
How the literature uses it

263 arXiv papers cite this in 349 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 172 sentences without a confident label

Builds on it 1 paper
Uses its method or tool 89 papers
Compares with it 4 papers
  • The construction presented in [ref] is similar to that of the overlap Dirac operator [ref] , which is a local but non-ultra-local.] has the exact $𝒮$-duality with the $θ$-term [ To the best of our knowledge, the action does not have $𝒯$-duality since the modified kinetic term depends on $θ$.

    Exact SL(2,Z)-Structure of Lattice Maxwell Theory with $\theta$-term in Modified Villain Formulation · Introduction · 0.85

  • The difference between this GW operator and the standard overlap operator [ref] is in the choice of $H$.

    Domain wall fermions · The effective Dirac operator for the light fermion · 0.85

  • The original derivation was different [ref] , since it dealt first with a single domain wall embedded in five dimensions, which produced a formula for the action associated with a single left handed fermion.

    A simple derivation of the Overlap Dirac Operator · Introduction · 0.93

Cites it as background 65 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.