Searcharxiv⌕ Search

arXiv subjects

Shinichiroh Matsuo

Publications and source records attributed to Shinichiroh Matsuo.

15 recordsLinked to original sources
arXiv2026

Capturing the Atiyah-Patodi-Singer index from the lattice

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.

math.DG↗
arXiv2026

Generalization of lattice Dirac operator index

We provide a comprehensive lattice formulation of various types of the Dirac operator indices, employing $K$-theory to classify the Wilson Dirac operator via its spectral flow. In contrast to the index of the overlap Dirac operator defined through the Ginsparg-Wilson relation, which is restricted to flat tori in even dimensions, our formulation offers several key advantages: 1) It can be applied straightforwardly to the Atiyah-Patodi-Singer index for manifolds with boundary. 2) The boundary can be curved, allowing for the inclusion of gravitational background effects. 3) The mod-2 index in both even and odd dimensions can be defined as a natural extension of the same formulation. In this talk, we present the mathematical proof and provide numerical evidence supporting the formulation.

hep-lat↗
arXiv2025

$K$-theoretic computation of the Atiyah(-Patodi)-Singer index of lattice Dirac operators

We show that the Wilson Dirac operator in lattice gauge theory can be identified as a mathematical object in $K$-theory and that its associated spectral flow is equal to the index. In comparison to the standard lattice Dirac operator index, our formulation does not require the Ginsparg-Wilson relation and has broader applicability to systems with boundaries and to the mod-two version of the indices in general dimensions. We numerically verify that the $K$ and $KO$ group formulas reproduce the known index theorems in continuum theory. We examine the Atiyah-Singer index on a flat two-dimensional torus and, for the first time, demonstrate that the Atiyah-Patodi-Singer index with nontrivial curved boundaries, as well as the mod-two versions, can be computed on a lattice.

hep-th↗
arXiv2025

The index of lattice Dirac operators and $K$-theory

We mathematically show an equality between the index of a Dirac operator on a flat continuum torus and the $η$ invariant of a lattice Dirac operator known as the Wilson Dirac operator with a negative mass when the lattice spacing is sufficiently small. Unlike the standard approach, our formulation using $K$-theory does not require modified chiral symmetry on the lattice. We prove that a one-parameter family of continuum massive Dirac operators and the corresponding Wilson Dirac operators belong to the same equivalence class of the $K^1$ group at a finite lattice spacing. Their indices, which are evaluated by the spectral flow or equivalently by the $η$ invariant at a finite mass, are proved to be equal.

math.KT↗
arXiv2025

$η$ invariant of massive Wilson Dirac operator and the index

We revisit the lattice index theorem in the perspective of $K$-theory. The standard definition given by the overlap Dirac operator equals to the $η$ invariant of the Wilson Dirac operator with a negative mass. This equality is not coincidental but reflects a mathematically profound significance known as the suspension isomorphism of $K$-groups. Specifically, we identify the Wilson Dirac operator as an element of the $K^1$ group, which is characterized by the $η$-invariant. Furthermore, we prove that, at sufficiently small but finite lattice spacings, this $η$-invariant equals to the index of the continuum Dirac operator. Our results indicate that the Ginsparg-Wilson relation and the associated exact chiral symmetry are not essential for understanding gauge field topology in lattice gauge theory.

hep-lat↗
arXiv2021

A physicist-friendly reformulation of the mod-two Atiyah-Patodi-Singer index

Gauge anomaly in 4-dimensions can be viewed as a current inflow into an extra-dimension, where the total phase of the fermion partition function is given in a gauge invariant way by the Atiyah- Patodi-Singer(APS) eta-invariant of a 5-dimensional Dirac operator. However, this formalism requires a non-local boundary condition, with which the physical roles of edge/bulk modes are unclear and how the causality of the theory is maintained is not obvious. In this work, we consider a special case where the Dirac operator is in a real representation and its eta invariant becomes the mod-two type APS index. We propose a physicist-friendly reformulation of the mod-two index using domain-wall fermion formalism, which naturally describes how the global anomaly is canceled between edge and bulk.

hep-th↗
arXiv2020

Mod-two APS index and domain-wall fermion

We reformulate the mod-two Atiyah-Patodi-Singer (APS) index in a physicist-friendly way using the domain-wall fermion. Our new formulation is given on a closed manifold, which is extended from the original manifold with boundary, where we instead give a fermion mass term changing its sign at the location of the original boundary. This new setup does not need the APS boundary condition, which is non-local. A mathematical proof of equivalence between the two different formulations is given by two different evaluations of the same index of a Dirac operator on a higher dimensional manifold. The domain-wall fermion allows us to separate the edge and bulk mode contributions in a natural but not in a gauge invariant way, which offers a straightforward description of the global anomaly inflow.

hep-th↗
arXiv2020

The Atiyah-Patodi-Singer index and domain-wall fermion Dirac operators

We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index of our previous paper. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes.

math.DG↗
arXiv2020

A physicist-friendly reformulation of the Atiyah-Patodi-Singer index and its mathematical justification

The Atiyah-Patodi-Singer index theorem describes the bulk-edge correspondence of symmetry protected topological insulators. The mathematical setup for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local and unnatural boundary condition known as the "APS boundary condition" by hand. In 2017, we showed that the same integer as the APS index can be obtained from the $η$ invariant of the domain-wall Dirac operator. Recently we gave a mathematical proof that the equivalence is not a coincidence but generally true. In this contribution to the proceedings of LATTICE 2019, we try to explain the whole story in a physicist-friendly way.

hep-lat↗
arXiv2016

The perturbation of the Seiberg-Witten equations revisited

We introduce a new class of perturbations of the Seiberg-Witten equations. Our perturbations offer flexibility in the way the Seiberg-Witten invariants are constructed and also shed a new light to LeBrun's curvature inequalities.

math.DG↗
arXiv2015

Yamabe Invariants and the $\mathrm{Pin}^-(2)$-monopole Equations

We compute the Yamabe invariants for a new infinite class of closed $4$-dimensional manifolds by using a "twisted" version of the Seiberg-Witten equations, the $\mathrm{Pin}^-(2)$-monopole equations. The same technique also provides a new obstruction to the existence of Einstein metrics or long-time solutions of the normalised Ricci flow with uniformly bounded scalar curvature.

math.DG↗
arXiv2013

Local mean dimension of ASD moduli spaces over the cylinder

We study an infinite dimensional ASD moduli space over the cylinder. Our main result is the formula of its local mean dimension. A key ingredient of the argument is the notion of non-degenerate ASD connections. We develop its deformation theory and show that there exist sufficiently many non-degenerate ASD connections by using the method of gluing infinitely many instantons.

math.DG↗
arXiv2011

Brody curves and mean dimension

We study the mean dimensions of the spaces of Brody curves. In particular we give the formula of the mean dimension of the space of Brody curves in the Riemann sphere.

math.CV↗
arXiv2009

Instanton approximation, periodic ASD connections, and mean dimension

We study a moduli space of ASD connections over $S^3\times \mathbb{R}$. We consider not only finite energy ASD connections but also infinite energy ones. So the moduli space is infinite dimensional in general. We study the (local) mean dimension of this infinite dimensional moduli space. We show the upper bound on the mean dimension by using a "Runge-approximation" for ASD connections, and we prove its lower bound by constructing an infinite dimensional deformation theory of periodic ASD connections.

math.DG↗