arxiv: 2602.12576 · v2 · submitted 2026-02-13 · 🧮 math.DG · hep-lat· hep-th· math.GT· math.KT

Recognition: 2 theorem links

· Lean Theorem

Capturing the Atiyah-Patodi-Singer index from the lattice

Shoto Aoki , Hajime Fujita , Hidenori Fukaya , Mikio Furuta , Shinichiroh Matsuo , Tetsuya Onogi , Satoshi Yamaguchi

Authors on Pith no claims yet

Pith reviewed 2026-05-15 22:55 UTC · model grok-4.3

classification 🧮 math.DG hep-lathep-thmath.GTmath.KT

keywords Atiyah-Patodi-Singer indexlattice gauge theorydomain-wall fermionsspectral flowDirac operatorscontinuum limitindex theorem

0 comments

The pith

A lattice formulation using domain-wall fermions captures the Atiyah-Patodi-Singer index for small spacings.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a discrete version of the Atiyah-Patodi-Singer index for Dirac operators on bounded domains inside a flat torus. It rests on the known equality between this index and the spectral flow of domain-wall fermion operators, which the authors extend to boundaries that do not have a product structure nearby. They prove that once the lattice spacing is small enough, the discrete spectral flow equals the exact continuum index with no leftover artifacts. This matters for readers who want to compute topological invariants numerically rather than only in abstract differential geometry.

Core claim

The authors construct a formulation of the Atiyah-Patodi-Singer index of Dirac operators in lattice gauge theory for domains with compact boundaries in a flat torus. The key idea is to exploit its equality to the spectral flow of the domain-wall fermion Dirac operators, which they generalize to cases without product structure near the boundary. They prove that, for sufficiently small lattice spacings, this formulation correctly captures the continuum Atiyah-Patodi-Singer index.

What carries the argument

Spectral flow of domain-wall fermion Dirac operators generalized to boundaries without product structure.

Load-bearing premise

The equality between the Atiyah-Patodi-Singer index and spectral flow of domain-wall fermions continues to hold after generalization to non-product boundaries and after lattice discretization, with no extra artifacts surviving at small spacing.

What would settle it

Numerical evaluation of the lattice spectral flow on successively finer grids for a test domain whose continuum APS index is known independently; systematic mismatch at small spacings would falsify the claim.

Figures

Figures reproduced from arXiv: 2602.12576 by Hajime Fujita, Hidenori Fukaya, Mikio Furuta, Satoshi Yamaguchi, Shinichiroh Matsuo, Shoto Aoki, Tetsuya Onogi.

**Figure 1.** Figure 1: The function ρ (1) a (t). The function ρ¯a(t) is its restriction to t ∈ [0, 1] where the two end points are identified. Using the above cut-off function, we define the map, the finite element interpolator, ιa : Γ(Eb) → Γ(E) by, (ιa ϕ)(x) := a dX z∈Xb ρa(x − z) Ux,z ϕ(z) (ϕ ∈ Γ(Eb), x ∈ X) and its adjoint ι ∗ a : Γ(E) → Γ(Eb) by (ι ∗ a ψ)(z) := Z x∈X ρa(z − x) U−1 x,z ψ(x) dx (ψ ∈ Γ(E), z ∈ Xb). For later … view at source ↗

**Figure 2.** Figure 2: The function ξλ0 (λ) normalized by λ0. We define the triple αe = (He, ec, eh) on X × [0, 1] by setting He := π ∗H′ ⊕ π ∗H, ec(x,t) = c ′ x 0 0 −cx , eh(x,t) = h ′ x t(ψh,h′ ,λ0 )x t(ψh,h′ ,λ0 ) ∗ x −hx for (x, t) ∈ X × [0, 1], where π : X × [0, 1] → X is the projection onto X. We first show that αe ∈ Kp,q • (X × [0, 1], A × [0, 1]); that is, in either case • = bounded or Riesz, we verify that ec an… view at source ↗

**Figure 3.** Figure 3: The function TR→[−1/2,1/2](λ). Theorem 24. Let X be a compact Hausdorff space and A ⊂ X a closed subset. For each n ∈ Z, the homomorphisms τ bounded Riesz and τ Riesz bounded between Kn Riesz(X, A) and Kn bounded(X, A) are mutually inverse. In particular, we have a natural isomorphism Kn Riesz(X, A) ∼= Kn bounded(X, A) for all n ∈ Z. The proof relies on Proposition 22, which provides the key argument in th… view at source ↗

**Figure 4.** Figure 4: starting from (s, t) = (−1, 0), via (−1, 1), (1, 1) then to (1, 0). There exists a constant a1 and m1 such that for arbitrary lattice spacing a = 1/N satisfying 0 < a ≤ a1, and arbitrary mass parameter m > m1 Dcmb a (m, t, s) is invertible at any point (s, t) on P [PITH_FULL_IMAGE:figures/full_fig_p039_4.png] view at source ↗

read the original abstract

We construct a formulation of the Atiyah-Patodi-Singer index of Dirac operators in lattice gauge theory for domains with compact boundaries in a flat torus. The key idea is to exploit its equality to the spectral flow of the domain-wall fermion Dirac operators, which we generalize in this work to cases without product structure near the boundary. We prove that, for sufficiently small lattice spacings, this formulation correctly captures the continuum Atiyah-Patodi-Singer index.

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.

Desk Editor's Note private letter to a colleague

A lattice construction for the APS index that generalizes domain-wall fermions to non-product boundaries and claims a convergence proof.

read the letter

The paper gives a lattice regularization of the Atiyah-Patodi-Singer index for domains with compact boundaries inside a flat torus. The central move is to keep the known link between the APS index and spectral flow of domain-wall Dirac operators, then extend the domain-wall operator itself to boundaries that do not have product structure near the edge. They assert that the lattice version converges to the continuum index once the spacing is small enough. That generalization is the concrete new piece; most earlier lattice treatments stayed with product-type boundaries, so this widens the geometric range that can be handled numerically. If the estimates go through, it supplies a direct computational route to the index inside gauge-theory simulations, which is useful for people who already run domain-wall fermions. The construction itself looks cleanly stated in the abstract and the claim is falsifiable once the proof is written out. The soft spot is the boundary-layer control. Standard spectral-flow arguments lean on product structure to isolate the boundary contribution and show that discretization errors vanish uniformly. Without that separation, extra zero crossings or O(1) shifts localized at the boundary could survive the a to 0 limit unless the paper supplies uniform resolvent bounds or explicit difference estimates between lattice and continuum flows. The abstract says the proof exists, but the strength of the result hinges on whether those estimates are actually uniform and free of hidden assumptions. This is for readers in lattice gauge theory and mathematical physics who need a working definition of the APS index on more general domains. It is not a broad conceptual shift, but the technical step is worth checking. A serious referee should see it because the claim is specific, the method is reproducible in principle, and the potential payoff for anomaly calculations is clear. I would send it to review rather than desk-reject.

Referee Report

1 major / 1 minor

Summary. The manuscript constructs a lattice formulation of the Atiyah-Patodi-Singer index for Dirac operators on domains with compact boundaries inside a flat torus. The construction generalizes domain-wall fermion operators to boundaries lacking product structure and claims to prove that the spectral flow of the resulting lattice operator equals the continuum APS index for all sufficiently small lattice spacings.

Significance. If the convergence statement holds, the work supplies a concrete, computable lattice definition of the APS index that extends beyond product-boundary cases. This would be useful for numerical studies of topological invariants and anomalies in lattice gauge theory on manifolds with boundary.

major comments (1)

[Proof of the main convergence statement (abstract and §4)] The central claim is that the continuum equality (APS index = spectral flow of domain-wall Dirac operator) survives both the generalization to non-product boundaries and the lattice discretization, with all discretization errors vanishing as a→0. The manuscript must therefore supply uniform estimates on the boundary-layer resolvent or on the difference between lattice and continuum spectral flows; absent such estimates the small-a limit could still contain residual lattice artifacts localized near the boundary.

minor comments (1)

[Section 2] Notation for the generalized domain-wall operator and the precise definition of the spectral-flow counting should be stated explicitly before the convergence argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive overall assessment and the detailed comments on the convergence proof. We address the major comment below and have revised the manuscript to make the required estimates more explicit.

read point-by-point responses

Referee: [Proof of the main convergence statement (abstract and §4)] The central claim is that the continuum equality (APS index = spectral flow of domain-wall Dirac operator) survives both the generalization to non-product boundaries and the lattice discretization, with all discretization errors vanishing as a→0. The manuscript must therefore supply uniform estimates on the boundary-layer resolvent or on the difference between lattice and continuum spectral flows; absent such estimates the small-a limit could still contain residual lattice artifacts localized near the boundary.

Authors: We appreciate the referee drawing attention to the need for uniform control near the boundary. The proof in §4 first establishes the continuum equality for the generalized (non-product) domain-wall operator via spectral flow (Theorem 3.1), then shows that the lattice version converges to it. The domain-wall mass term exponentially localizes modes to the boundary, which is used to reduce the problem to a compact neighborhood where standard lattice approximation results apply. Nevertheless, we agree that the original write-up left the uniformity of the resolvent estimates implicit. We have added a new Lemma 4.5 that supplies explicit, a-independent bounds on the difference between the lattice and continuum resolvents in the boundary layer (using the flat-torus geometry and the spectral gap away from zero), together with a short appendix deriving the operator-norm convergence on the relevant Sobolev spaces. These additions ensure that lattice artifacts vanish uniformly as a→0. revision: yes

Circularity Check

0 steps flagged

No circularity: direct convergence proof from lattice construction to continuum APS index

full rationale

The paper constructs a lattice domain-wall fermion operator generalized to non-product boundaries and proves that its spectral flow equals the continuum Atiyah-Patodi-Singer index for small lattice spacing. This is a mathematical limit argument establishing equality between independently defined objects (lattice spectral flow and continuum index), not a redefinition, parameter fit, or reduction of the target quantity to its own inputs. The starting equality between APS index and spectral flow is invoked from continuum theory as an external fact; the lattice step is a discretization whose errors are controlled by estimates, not by construction or self-citation chains. No load-bearing step collapses to a fitted input called a prediction or to an ansatz smuggled via self-reference. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on two background facts: the continuum equality of APS index to spectral flow, which is taken as given and then generalized, and the standard statement that lattice Dirac operators converge to continuum operators as spacing goes to zero. No free parameters are introduced and no new entities are postulated.

axioms (2)

domain assumption The Atiyah-Patodi-Singer index equals the spectral flow of domain-wall Dirac operators in the continuum setting.
This equality is the central relation exploited and extended to the lattice case without product structure.
standard math Lattice discretizations of Dirac operators converge to their continuum counterparts for sufficiently small lattice spacing.
This is the usual approximation assumption of lattice gauge theory invoked to guarantee the index is captured in the limit.

pith-pipeline@v0.9.0 · 5404 in / 1466 out tokens · 87668 ms · 2026-05-15T22:55:05.247704+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Reflection Symmetry, APS Boundary Conditions, and Equivariant Spectral Flow on a Warped Cylinder
math-ph 2026-05 unverdicted novelty 6.0

Reflection symmetry on twisted Dirac operators on warped cylinders holds precisely when 2A is integer, yielding unitary equivalence of APS blocks and an RO(O(2))-valued or mod-two spectral-flow invariant.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · cited by 1 Pith paper · 3 internal anchors

[1]

Adams,Axial anomaly and topological charge in lattice gauge theory with overlap Dirac operator, Annals Phys.296(2002), 131–151, available athep-lat/9812003

David H. Adams,Axial anomaly and topological charge in lattice gauge theory with overlap Dirac operator, Annals Phys.296(2002), 131–151, available athep-lat/9812003

work page arXiv 2002
[2]

6, 063B04, available at2203.03782

Shoto Aoki and Hidenori Fukaya,Curved domain-wall fermions, PTEP2022(2022), no. 6, 063B04, available at2203.03782

work page arXiv 2022
[3]

3, 033B05, available at2212.11583

,Curved domain-wall fermion and its anomaly inflow, PTEP2023(2023), no. 3, 033B05, available at2212.11583

work page arXiv 2023
[4]

Shoto Aoki, Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, and Satoshi Yamaguchi,The index of lattice Dirac operators andK-theory(20247), available at 2407. 17708

work page
[5]

6, 063B09, available at2503.23921

,K-theoretic computation of the atiyah(–patodi)–singer index of lattice dirac operators, Progress of Theoretical and Experimental Physics2025(202506), no. 6, 063B09, available at2503.23921

work page arXiv
[6]

4, 043B05, available at2402.09774

Shoto Aoki, Hidenori Fukaya, and Naoto Kan,A Lattice Formulation of Weyl Fermions on a Single Curved Surface, PTEP2024(2024), no. 4, 043B05, available at2402.09774

work page arXiv 2024
[7]

Shoto Aoki, Hidenori Fukaya, Naoto Kan, Mikito Koshino, and Yoshiyuki Matsuki,Magnetic monopole becomes dyon in topological insulators, Phys. Rev. B108(2023), no. 15, 155104, available at2304.13954

work page arXiv 2023
[8]

Sho Araki, Hidenori Fukaya, Tetsuya Onogi, and Satoshi Yamaguchi,The Arf-Brown-Kervaire invariant on a lattice(202512), available at2512.11424

work page arXiv
[9]

M. F. Atiyah, V. K. Patodi, and I. M. Singer,Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc.77(1975), 43–69. MR397797

work page 1975
[10]

III, Math

,Spectral asymmetry and Riemannian geometry. III, Math. Proc. Cambridge Phil. Soc.79(1976), 71–99

work page 1976
[11]

M. F. Atiyah, V. K. Patodix, and I. M. Singer,Spectral asymmetry and Riemannian geometry 2, Math. Proc. Cambridge Phil. Soc.78(1976), 405

work page 1976
[12]

Werner Ballmann and Christian Bär,Boundary value problems for elliptic differential operators of first order, Surveys in Differential Geometry17(2012), no. 1, 1–78

work page 2012
[13]

2, 435–501

Maxim Braverman and Gideon Maschler,Equivariant aps index for dirac operators of non- product type near the boundary, Indiana University Mathematics Journal68(2019), no. 2, 435–501

work page 2019
[14]

Callan Jr

Curtis G. Callan Jr. and Jeffrey A. Harvey,Anomalies and Fermion Zero Modes on Strings and Domain Walls, Nucl. Phys. B250(1985), 427–436

work page 1985
[15]

Alan Carey, John Phillips, and Hermann Schulz-Baldes,Spectral flow for skew-adjoint fredholm operators, Journal of Spectral Theory (2016)

work page 2016
[16]

Kaplan,Chiral edge states on spheres for lattice domain wall fermions, Phys

Michael Clancy and David B. Kaplan,Chiral edge states on spheres for lattice domain wall fermions, Phys. Rev. D111(2025), no. 3, L031503, available at2410.23065

work page arXiv 2025
[17]

Kaplan, and Hersh Singh,Generalized Ginsparg-Wilson relations, Phys

Michael Clancy, David B. Kaplan, and Hersh Singh,Generalized Ginsparg-Wilson relations, Phys. Rev. D109(2024), no. 1, 014502, available at2309.08542

work page arXiv 2024
[18]

Hidenori Fukaya,Understanding the index theorems with massive fermions, Int. J. Mod. Phys. A36(2021), no. 26, 2130015, available at2109.11147

work page arXiv 2021
[19]

Hidenori Fukaya, Mikio Furuta, Yoshiyuki Matsuki, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi, and Mayuko Yamashita,Mod-two APS index and domain-wall fermion, Lett. Math. Phys.112(2022), no. 2, 16, available at2012.03543

work page arXiv 2022
[20]

Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, Satoshi Yamaguchi, and Mayuko Yamashita,The Atiyah-Patodi-Singer index and domain-wall fermion Dirac operators, Comm. Math. Phys.380(2020), no. 3, 1295–1311. MR4179728 CAPTURING THE APS INDEX FROM THE LATTICE 46

work page 2020
[21]

,The Atiyah–Patodi–Singer Index and Domain-Wall Fermion Dirac Operators, Com- mun. Math. Phys.380(2020), no. 3, 1295–1311, available at1910.01987

work page arXiv 2020
[22]

4, 043B04, available at1910.09675

Hidenori Fukaya, Naoki Kawai, Yoshiyuki Matsuki, Makito Mori, Katsumasa Nakayama, Tetsuya Onogi, and Satoshi Yamaguchi,The Atiyah–Patodi–Singer index on a lattice, PTEP 2020(2020), no. 4, 043B04, available at1910.09675

work page arXiv 2020
[23]

Hidenori Fukaya, Tetsuya Onogi, and Satoshi Yamaguchi,Atiyah-Patodi-Singer index from the domain-wall fermion Dirac operator, Phys. Rev. D96(2017), no. 12, 125004, available at1710.03379

work page internal anchor Pith review Pith/arXiv arXiv 2017
[24]

1,TranslationsofMathematicalMonographs,vol.235,American Mathematical Society, Providence, RI, 2007

MikioFuruta,Index theorem. 1,TranslationsofMathematicalMonographs,vol.235,American Mathematical Society, Providence, RI, 2007. Translated from the 1999 Japanese original by Kauro Ono, Iwanami Series in Modern Mathematics. MR2361481

work page 2007
[25]

11-12, 2031–2077

Grubb Gerd,Heat operator trace expansions and index for general atiyah–patodi–singer boundary problems, Communications in Partial Differential Equations17(1992), no. 11-12, 2031–2077

work page 1992
[26]

Gilkey,On the index of geometrical operators for riemannian-manifolds with boundary, Advances in Mathematics102(1993), no

P.B. Gilkey,On the index of geometrical operators for riemannian-manifolds with boundary, Advances in Mathematics102(1993), no. 2, 129–183

work page 1993
[27]

Ginsparg and Kenneth G

Paul H. Ginsparg and Kenneth G. Wilson,A Remnant of Chiral Symmetry on the Lattice, Phys. Rev. D25(1982), 2649

work page 1982
[28]

Peter Hasenfratz, Victor Laliena, and Ferenc Niedermayer,The Index theorem in QCD with a finite cutoff, Phys. Lett. B427(1998), 125–131, available athep-lat/9801021

work page arXiv 1998
[29]

S. Itoh, Y. Iwasaki, and T. Yoshie,The U(1) Problem and Topological Excitations on a Lattice, Phys. Rev. D36(1987), 527

work page 1987
[30]

A. V. Ivanov and D. V. Vassilevich,Atiyah-Patodi-Singer Index Theorem for Domain Walls, J. Phys. A53(2020), 305201, available at2003.06674

work page arXiv 2020
[31]

Jackiw and C

R. Jackiw and C. Rebbi,Solitons with Fermion Number 1/2, Phys. Rev. D13(1976), 3398–3409

work page 1976
[32]

1, 013B02, available at2106.01591

Hayato Kanno and Shigeki Sugimoto,Anomaly and superconnection, PTEP2022(2022), no. 1, 013B02, available at2106.01591

work page arXiv 2022
[33]

Kaplan,A Method for simulating chiral fermions on the lattice, Phys

David B. Kaplan,A Method for simulating chiral fermions on the lattice, Phys. Lett. B288 (1992), 342–347, available athep-lat/9206013

work page arXiv 1992
[34]

Kobayashi and Kazuya Yonekura,The Atiyah–Patodi–Singer index theorem from the axial anomaly, PTEP2021(2021), no

Shun K. Kobayashi and Kazuya Yonekura,The Atiyah–Patodi–Singer index theorem from the axial anomaly, PTEP2021(2021), no. 7, 073B01, available at2103.10654

work page arXiv 2021
[35]

Henri Poincaré23(2022), no

Yosuke Kubota,The index theorem of lattice Wilson-Dirac operators via higher index theory, Ann. Henri Poincaré23(2022), no. 4, 1297–1319. MR4407739

work page 2022
[36]

Matthias Lesch,The uniqueness of the spectral flow on spaces of unbounded self-adjoint Fredholm operators, Spectral geometry of manifolds with boundary and decomposition of manifolds, 2005, pp. 193–224. MR2114489

work page 2005
[37]

Martin Luscher,Exact chiral symmetry on the lattice and the Ginsparg-Wilson relation, Phys. Lett. B428(1998), 342–345, available athep-lat/9802011

work page arXiv 1998
[38]

Herbert Neuberger,Exactly massless quarks on the lattice, Phys. Lett. B417(1998), 141–144, available athep-lat/9707022

work page arXiv 1998
[39]

Mendel Nguyen and Hersh Singh,Chiral symmetry and Atiyah-Patodi-Singer index theorem for staggered fermions(20245), available at2405.11348

work page arXiv
[40]

Tetsuya Onogi and Takuya Yoda,Comments on the Atiyah-Patodi-Singer index theorem, domain wall, and Berry phase, JHEP12(2021), 096, available at2109.08274

work page arXiv 2021
[41]

Pedersen and Yoshio Kikukawa,Reformulation of anomaly inflow on the lattice and construction of lattice chiral gauge theories, PoSLA TTICE2022(2023), 381

Juan W. Pedersen and Yoshio Kikukawa,Reformulation of anomaly inflow on the lattice and construction of lattice chiral gauge theories, PoSLA TTICE2022(2023), 381

work page 2023
[42]

V. V. Peller,Multiple operator integrals in perturbation theory, Bull. Math. Sci.6(2016), no. 1, 15–88. MR3472849 CAPTURING THE APS INDEX FROM THE LATTICE 47

work page 2016
[43]

Yigal Shamir,Chiral fermions from lattice boundaries, Nucl. Phys. B406(1993), 90–106, available athep-lat/9303005

work page arXiv 1993
[44]

Edward Witten,An SU(2) Anomaly, Phys. Lett. B117(1982), 324–328

work page 1982
[45]

,Fermion Path Integrals And Topological Phases, Rev. Mod. Phys.88(2016), no. 3, 035001, available at1508.04715

work page internal anchor Pith review Pith/arXiv arXiv 2016
[46]

Edward Witten and Kazuya Yonekura,Anomaly Inflow and theη-Invariant, The Shoucheng Zhang Memorial Workshop, 20199

work page
[47]

Mayuko Yamashita,A lattice version of the Atiyah-Singer index theorem, Comm. Math. Phys.385(2021), no. 1, 495–520. MR4275791

work page 2021
[48]

Yue Yu, Yong-Shi Wu, and Xincheng Xie,Bulk–edge correspondence, spectral flow and Atiyah–Patodi–Singer theorem for the Z2 -invariant in topological insulators, Nucl. Phys. B 916(2017), 550–566, available at1607.02345. (SA)Interdisciplinary Theoretical and Mathematical Sciences Program (iTHEMS), RIKEN, W ako, Japan Email address:shotoaoki@g.ecc.u-tokyo.ac....

work page internal anchor Pith review Pith/arXiv arXiv 2017