Topological Classification of Insulators: III. Non-interacting Spectrally-Gapped Systems in All Dimensions

Jacob Shapiro; Jui-Hui Chung

arxiv: 2602.12512 · v3 · pith:W2J3U2GLnew · submitted 2026-02-13 · 🧮 math-ph · math.FA· math.MP· math.OA

Topological Classification of Insulators: III. Non-interacting Spectrally-Gapped Systems in All Dimensions

Jui-Hui Chung , Jacob Shapiro This is my paper

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

classification 🧮 math-ph math.FAmath.MPmath.OA

keywords topological insulatorsAltland-Zirnbauer classesKitaev periodic tablestrong topological invariantsspectral gappath-connected componentsnon-interacting electronsdisordered materials

0 comments

The pith

The space of gapped Hamiltonians has path-connected components exactly matching the strong topological invariants in all dimensions and symmetry classes.

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

The paper defines a space of Hamiltonians for non-interacting electrons in disordered materials that possess a spectral gap, equipped with a topology based on locality and bulk non-triviality. In this space, the path-connected components reproduce the complete classification given by the Kitaev periodic table for each of the ten Altland-Zirnbauer classes in every dimension. The construction derives the classification directly as these components rather than as K-theory groups, thereby establishing a one-to-one correspondence between topological phases and the Abelian groups 0, ℤ, 2ℤ, and ℤ₂. The central technical step lifts existing K-theory calculations to the zeroth homotopy groups of the relevant unitary and projection spaces once the notions of locality and bulk non-triviality are fixed.

Core claim

We define an appropriate space of Hamiltonians and a topology on it so that the strong topological invariants become complete invariants yielding the Kitaev periodic table, now derived as the set of path-connected components of the space of Hamiltonians, rather than as K-theory groups. We thus confirm the conjecture regarding a one-to-one correspondence between topological phases of gapped non-interacting systems and the respective Abelian groups {0}, ℤ, 2ℤ, ℤ₂ in the spectral gap regime.

What carries the argument

the space of spectrally gapped Hamiltonians equipped with a topology from locality and bulk non-triviality, whose path-connected components (π₀) serve as the complete classification invariants.

If this is right

The Kitaev periodic table is realized directly as the set of path-connected components of the Hamiltonian space in every dimension.
Strong topological invariants classify all phases completely for non-interacting gapped systems, including disordered ones.
Topological phases correspond one-to-one with the groups 0, ℤ, 2ℤ, and ℤ₂.
K-theory calculations can be lifted to π₀ of unitaries and projections once locality and bulk conditions are imposed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Alternative physical notions of locality could change which phases are distinguished, requiring a revised topology on the Hamiltonian space.
The same path-component approach might extend to systems with weaker gap assumptions or additional disorder models.
Numerical or experimental checks in high-dimensional models could verify whether specific Hamiltonians fall into predicted components.
The framework offers a route to classification that avoids explicit K-theory computations by working directly with homotopy groups of the Hamiltonian space.

Load-bearing premise

The chosen notions of locality and bulk non-triviality are the correct ones that make the strong invariants complete for the space of Hamiltonians.

What would settle it

Exhibit a gapped Hamiltonian in one symmetry class and dimension that lies in a different path component from the trivial phase yet possesses a vanishing strong invariant, or vice versa.

read the original abstract

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define an appropriate space of Hamiltonians and a topology on it so that the so-called strong topological invariants become \emph{complete} invariants yielding the Kitaev periodic table, but now derived as the set of path-connected components of the space of Hamiltonians, rather than as $K$-theory groups. We thus confirm the conjecture (phrased e.g. in \cite{KatsuraKoma2018}) regarding a one-to-one correspondence between topological phases of gapped non-interacting systems and the respective Abelian groups $\{0\},\mathbb{Z},2\mathbb{Z},\mathbb{Z}_2$ in the spectral gap regime. The central conceptual point is that spherical locality and bulk non-triviality are the two structural hypotheses which make this non-stable statement true. Spherical locality provides the real-space asymptotic locality needed for the strong index pairings, while bulk non-triviality removes lower-dimensional or edge-type configurations which would otherwise create extra path-components. Once this phase space has been identified, the algebraic input is the standard $K$-theory of the associated Paschke-dual picture, and the remaining technical task is to lift that information to $\pi_0$ of symmetry-constrained projections and unitaries. These definitions of locality and bulk-non-triviality are expected to be the portable part of the argument in regimes, such as mobility gaps and interacting systems, where ordinary stabilized $K$-theory is not by itself the right formulation of the physical classification problem.

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

Chung and Shapiro recast the Kitaev table as the path components of a space of local spectrally gapped Hamiltonians, confirming the conjecture by lifting prior K-theory results to pi_0.

read the letter

Hi, the core of this paper is a homotopy re-derivation of the tenfold-way classification for non-interacting gapped systems. They equip the space of Hamiltonians with a topology coming from locality (decay of matrix elements) and bulk non-triviality (infinite-volume limit without edges), then show that the path-connected components are labeled exactly by the known groups {0, Z, 2Z, Z2} via the strong invariants. This turns the periodic table into a statement about pi_0 of the appropriate space of unitaries and projections, rather than an abstract K-theory computation. It directly addresses the conjecture in Katsura-Koma and supplies the missing explicit correspondence for all classes and dimensions. The technical lift looks clean and uses standard deformation arguments once the function spaces are fixed. What stands out is the care in pinning down those spaces so the invariants become complete; that step is the real conceptual work. The soft spot is that completeness is tied to their specific choices of locality and bulk cutoff. A stricter decay condition or a different thermodynamic limit could alter the components, and the paper does not test robustness against other natural definitions. Since the argument rests on earlier K-theory results, the advance is mainly organizational rather than predictive. This is aimed at people already working in topological insulators who want a homotopy-language foundation for later extensions to interacting or open systems. The reasoning is coherent and the literature engagement is honest, so the paper deserves a serious referee. I would send it to review after a short section clarifying why these locality notions are the physically preferred ones.

Referee Report

2 major / 2 minor

Summary. The paper defines a space of spectrally gapped non-interacting Hamiltonians in all dimensions and all ten Altland-Zirnbauer classes, equipped with a topology induced by locality (decay of matrix elements) and bulk non-triviality (infinite-volume limit without edges). It shows that the path-connected components of this space are classified exactly by the strong topological invariants, reproducing the Kitaev periodic table as π₀ of the space of Hamiltonians (or equivalently of the associated unitaries and projections) rather than as an intermediate K-theory group. The central technical step is lifting prior K-theory computations to this π₀ setting under the chosen function-space topology.

Significance. If the central claim holds, the work supplies a direct topological foundation for the completeness of strong invariants in the gapped non-interacting regime, confirming the conjecture that the Abelian groups {0}, ℤ, 2ℤ, ℤ₂ label the connected components of the physically natural Hamiltonian space. The identification of the appropriate notions of locality and bulk non-triviality is a conceptual contribution that makes the classification intrinsic to the space of Hamiltonians rather than an external K-theoretic assignment.

major comments (2)

[§3.2] §3.2, Definition of the Hamiltonian space ℋ: the topology is generated by a locality seminorm that controls decay of matrix elements together with a bulk condition that excludes edge modes in the thermodynamic limit. It is not shown that this topology is strong enough to prevent continuous paths that close the gap at infinity while preserving locality; such paths would collapse distinct components and undermine the claim that the strong invariants are complete.
[§4.1] §4.1, Theorem 4.3 (lifting K-theory to π₀): the homotopy that deforms a gapped Hamiltonian to a constant one while staying inside the chosen space is only sketched via functional calculus. No uniform bound is given on the decay rate of the matrix elements along the path, so it is unclear whether the path remains in the space of local operators when the gap is fixed but the dimension or disorder strength varies.

minor comments (2)

[§2.1] Notation for the ten symmetry classes is introduced in §2.1 but the explicit matrix representations of the time-reversal and particle-hole operators are only referenced to an earlier paper; a short appendix table would improve readability.
[Figure 1] Figure 1 (schematic of the periodic table) uses the same color scheme for ℤ and 2ℤ entries; a distinct hatching or label would avoid visual confusion when the figure is reproduced in black-and-white.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive evaluation of its significance. We address the two major comments point by point below, indicating the revisions we will make to clarify the arguments.

read point-by-point responses

Referee: [§3.2] §3.2, Definition of the Hamiltonian space ℋ: the topology is generated by a locality seminorm that controls decay of matrix elements together with a bulk condition that excludes edge modes in the thermodynamic limit. It is not shown that this topology is strong enough to prevent continuous paths that close the gap at infinity while preserving locality; such paths would collapse distinct components and undermine the claim that the strong invariants are complete.

Authors: The bulk non-triviality condition in the definition of ℋ requires that the infinite-volume limit of any Hamiltonian in the space remains spectrally gapped with no edge modes. Consequently, any continuous path in ℋ is required to preserve this bulk gap; a path that closes the gap at infinity would necessarily exit the space by violating the bulk condition. We agree that an explicit statement of this exclusion would strengthen the exposition and will add a short clarifying remark (or lemma) in §3.2 to show that no such gap-closing paths at infinity can remain inside ℋ. revision: yes
Referee: [§4.1] §4.1, Theorem 4.3 (lifting K-theory to π₀): the homotopy that deforms a gapped Hamiltonian to a constant one while staying inside the chosen space is only sketched via functional calculus. No uniform bound is given on the decay rate of the matrix elements along the path, so it is unclear whether the path remains in the space of local operators when the gap is fixed but the dimension or disorder strength varies.

Authors: The referee correctly notes that the sketch via functional calculus in the proof of Theorem 4.3 does not supply explicit uniform bounds. Because the spectral gap is fixed and positive along the entire homotopy, standard estimates from the holomorphic functional calculus (or resolvent bounds) yield decay rates controlled solely by the gap size and the initial locality seminorm; these rates are independent of dimension and of the particular disorder strength provided the initial operator satisfies the seminorm. We will expand the proof to include these estimates, confirming that the path remains inside the space of local operators under the stated conditions. revision: yes

Circularity Check

0 steps flagged

Minor reliance on prior K-theory; new content is the Hamiltonian space definition whose π₀ matches known groups

full rationale

The paper defines a space of spectrally gapped Hamiltonians equipped with a topology induced by locality (decay of matrix elements) and bulk non-triviality (infinite-volume limit), then lifts standard K-theory computations for the ten Altland-Zirnbauer classes to show that π₀ of the resulting unitary/projection spaces equals the Kitaev groups {0}, ℤ, 2ℤ, ℤ₂. This match is a verification once the space is fixed, not a self-definitional reduction; the invariants are not used to define the space, and the K-theory input is external (cited from Katsura-Koma and standard literature) rather than a self-citation chain that bears the full load. The derivation is therefore self-contained against external benchmarks once the locality and bulk notions are granted, yielding only a minor score for the background reliance.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on the prior computation of K-groups for the ten Altland-Zirnbauer classes and on the choice of function space that encodes locality and bulk gap; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption The ten Altland-Zirnbauer symmetry classes are the complete list of relevant symmetries for non-interacting fermions.
Invoked when the periodic table is recovered; standard in the literature but not re-derived here.
domain assumption The chosen topology on the space of Hamiltonians makes continuous deformations correspond to physical adiabatic processes that preserve the gap.
Central modeling choice stated in the abstract as the identification of natural locality and bulk non-triviality.

pith-pipeline@v0.9.0 · 5503 in / 1369 out tokens · 76869 ms · 2026-05-15T22:58:51.138986+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We define an appropriate space of Hamiltonians and a topology on it so that the so-called strong topological invariants become complete invariants yielding the Kitaev periodic table, but now derived as the set of path-connected components of the space of Hamiltonians
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

spherical locality... [A, bX_j ⊗ 1_N] ∈ K

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.

Forward citations

Cited by 1 Pith paper

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

The Zak phase in topologically insulating chains: invariants and limitations
math-ph 2026-03 unverdicted novelty 6.0

The Zak phase defines a Z2 topological invariant for certain 1D AZC symmetry classes but vanishes under quaternionic anti-unitary symmetries, providing only partial information about topological phases in generalized ...