Two-Dimensional Time-Reversal-Invariant Topological Insulators via Fredholm Theory

Ahmed Sheta; Angela Wang; Eli Fonseca; Jacob Shapiro; Kohtaro Yamakawa

Two-Dimensional Time-Reversal-Invariant Topological Insulators via Fredholm Theory

T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Flux-insertion and edge indices agree in 2D time-reversal-invariant insulators

desk verdict Solid specialist proof of the Z2 bulk-edge correspondence in the disordered spectral gap regime; the edge invariant is new, the proof holds up, and the main caveats are honestly stated. read the letter →

arxiv 1908.00910 v1 pith:UQ5O72LY submitted 2019-08-02 math-ph cond-mat.mes-hallmath.MP

Eli Fonseca , Jacob Shapiro , Ahmed Sheta , Angela Wang , Kohtaro Yamakawa This is my paper · ORCID

classification math-phcond-mat.mes-hallmath.MP MSC 47A5381Q1082D30

keywords topologicalinsulatortime-reversalsymmetryZ2indexFredholmoperatorbulk-edgecorrespondencedisorderedsystemswindingspectralgap

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Two-dimensional insulators with fermionic time-reversal symmetry carry a topological phase invisible to the Chern number: a $\mathbb{Z}_2$-valued invariant. This paper proves that two ways of reading that invariant always agree: the bulk count of zero modes of a flux-insertion Fredholm operator equals the edge count of zero modes of a winding operator built from the edge Hamiltonian. The proof is a chain of homotopies that keeps the relevant operators Fredholm and time-reversal-odd, so the indices cannot change along the deformation. The result extends the bulk-edge correspondence beyond translation-invariant, nearest-neighbor models to arbitrary disordered, spectrally gapped, exponentially local systems with exponentially local boundary conditions.

What carries the argument

The engine is the $\mathbb{Z}_2$ index of $\Theta$-odd Fredholm operators, $\mathrm{ind}_2 A = \dim \ker A \bmod 2$, where $\Theta$ is the anti-unitary time-reversal operator squaring to $-1$. The proof moves between bulk and edge through the winding operator $W_1 A = \Lambda_1 \exp(-2\pi iA)$, the flux-insertion unitary $U = \exp(i\arg(X_1+iX_2))$, and the class of LOC2 operators: operators that are local and whose matrix elements decay in the direction perpendicular to the edge. The load-bearing observation is that if an operator $A(t)$ in an interpolation satisfies $A(t)^2 - A(t) \in \mathrm{LOC2}$, then $W_1A(t)$ stays Fredholm and, under time-reversal symmetry, stays $\Theta$-odd; this converts algebraic closeness-to-a-projection into homotopy invariance of the indices.

What would settle it

Compute both indices numerically for a concrete disordered, exponentially local, time-reversal invariant tight-binding model with a boundary perturbation of the form $e^{-\mu d}$ for a very small $\mu$: if the parity of $\dim \ker(W_1 g(\hat H))$ ever disagrees with $\dim \ker(PU) \bmod 2$ under the stated compatibility hypothesis, the theorem fails.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 2.11: for any bulk time-reversal invariant insulator $H$ and a compatible time-reversal invariant edge Hamiltonian $\hat H$, the bulk $\mathbb{Z}_2$ index $N := \mathrm{ind}_2(PU)$ equals the edge $\mathbb{Z}_2$ index $\hat N := \mathrm{ind}_2(W_1 g(\hat H))$. Here $P$ is the Fermi projection, $U = \exp(i \arg(X_1 + iX_2))$ is a unitary flux insertion at the origin, $W_1 A = \Lambda_1 \exp(-2\pi i A)$ is the winding operator in the direction parallel to the edge, $g$ is a smooth step function supported in the spectral gap, and compatibility means $\iota^* H \iota - \hat H$ is exponentially local and confined to the edge. In words, flattening the bulk Hamiltonian and truncating it to a half-space commute as far as Fredholm theory can detect, and the $\mathbb{Z}_2$ phase is a genuine edge property, not merely a bulk bookkeeping device.

Load-bearing premise

The theorem assumes the edge Hamiltonian differs from the sharp Dirichlet truncation of the bulk Hamiltonian by an operator that decays faster than exponentially away from the boundary; a boundary condition with slower decay escapes the homotopy argument even if the bulk stays gapped.

Editorial extensions

If this is right

In the spectral gap, the bulk $\mathbb{Z}_2$ index $N$ is locally constant under small norm perturbations of the Hamiltonian, and Theorem 2.11 transfers that stability to the edge index $\hat N$.
The edge $\mathbb{Z}_2$ invariant has a definition that needs no translation invariance, so it applies to disordered samples of arbitrary shape once the half-space geometry is fixed.
A local trace formula for the index, $\mathrm{ind}_2 A = \lim_{n\to\infty} \mathrm{tr}((1-|A|^2)^n) \bmod 2$, holds for $\Theta$-odd Fredholm operators with $1-|A|^2$ of Schatten class, giving a concrete way to evaluate the invariant.
A nontrivial $\mathbb{Z}_2$ phase forces a failure of complete Anderson localization in two dimensions: as the Fermi energy moves from the trivial regime to the nontrivial one, some energy must be delocalized.
The same homotopy argument reproduces the existing proof of the bulk-edge correspondence for the integer quantum Hall effect using only Fredholm theory, with no K-theory.

Reading between the lines

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

The homotopy template should extend to other symmetry classes and dimensions that admit a $\mathbb{Z}_2$-valued Fredholm index, provided an edge winding operator with the same LOC2 property can be written down.
The local trace formula suggests a practical numerical route: compute $\mathrm{tr}((1-|A|^2)^n)$ for moderate $n$ on finite-volume approximations and take parity, which may work in regimes where direct diagonalization of the edge spectrum is difficult.
The compatibility hypothesis hints at a sharp boundary: physical surfaces with reconstruction stronger than exponential locality could, in principle, host a different edge $\mathbb{Z}_2$ index even when the bulk gap remains open.
The delocalization argument implies a testable prediction: a finite disordered sample realizing a nontrivial $\mathbb{Z}_2$ phase should show a mobility-edge-like transition somewhere between the filled band and the spectral gap.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

This is a rigorous proof of bulk-edge correspondence for 2D time-reversal-invariant insulators in the spectrally gapped, disordered regime. The punchline: the main theorem looks correct, and the novelty is real, but this is a specialist's paper — the reader who gets the most out of it already works on Fredholm-module proofs of topological indices.

What is actually new: the edge invariant, defined via the winding operator W1 g(H-hat), in the disordered spectral gap regime with arbitrary exponentially local boundary conditions compatible with the bulk. The bulk Z2 invariant was already there (Schulz-Baldes; Katsura-Koma), and the authors say so. Their contribution is the edge object and the homotopy proof that the two indices agree. That is a genuine generalization of Graf-Porta, which needed translation invariance. The homotopy chain in Section 3 is careful, and I found no gap: the compression identity in Lemma 3.3 is valid because Lambda2 H Lambda2 commutes with Lambda2, and the LOC2 estimates close under the stated hypotheses. The paper also deserves credit for being explicit about what it does not do — the mobility gap case is left open, and the compatibility condition on boundary conditions is stated as a definition rather than hidden.

Soft spots, in order of real softness. First, Theorem 2.13 asserts that 1-|A|^2 and 1-|A*|^2 are Schatten class for the operators of interest, but no proof is given; it is plausible from locality but still an assertion. Second, the equivalence of the new index with known Z2 invariants is checked on trivial and doubled-model examples and then uses the known two-class classification; that is standard external input, not circular, but it means the identification is only as strong as the classification theorem. Third, the notation is dense. That is a presentation issue, not a mathematical one.

Bottom line: this is a sound, honest, and useful paper. It deserves a serious peer review, and I would cite it. Bring it to reading group if your group works on topological indices; otherwise skim Section 2 and Theorem 2.11 and trust the appendix.

Referee Report

0 major / 4 minor

Summary. The paper studies spinful, non-interacting, spectrally gapped two-dimensional insulators with an odd time-reversal symmetry (fermionic TRI). It defines a bulk Z2 invariant as the Z2-valued Fredholm index ind2 of the flux-insertion operator F = P U P + P^⊥, and an edge Z2 invariant as ind2 of the winding operator W1 g(Ĥ) associated with a compatible edge Hamiltonian. The main theorem (Theorem 2.11) states that these two invariants are equal, giving a bulk-edge correspondence in the disordered, spectrally gapped regime. The proof proceeds by a sequence of homotopies: from the bulk operator to a truncated-projection operator (Lemma 3.2), from a half-space operator to a full-space operator via a kernel isomorphism (Lemma 3.3), from the truncated bulk projection to the projection of the truncated Hamiltonian (Lemma 3.4), and from a general compatible edge Hamiltonian to the Dirichlet-truncated bulk Hamiltonian (Proposition 4.10). The paper also provides a local trace formula for the Z2 index (Theorem 2.13) and discusses consequences for Anderson localization.

Significance. If the results are correct, the paper provides a rigorous bulk-edge correspondence for two-dimensional time-reversal-invariant topological insulators in a disordered, spectrally gapped setting, generalizing the translation-invariant results of Graf and Porta. The Fredholm-theoretic approach is conceptually clean: the entire proof rests on locality (LOC2) estimates and homotopy invariance of the Z2 index, which is a genuine contribution. The paper is careful to state the compatibility condition on edge boundary conditions (Definition 2.9) as an explicit scope condition, and it includes a useful local formula for the Z2 index. The machine-checkable structure of the argument is a strength, as is the explicit identification of the bulk invariant with known Z2 invariants through the doubled-model construction in Section 4.5.

minor comments (4)

[Section 2.1, Theorem 2.13] In the proof of Theorem 2.13, the sequence of traces is decreasing in n, not increasing, so Lebesgue's monotone convergence theorem does not apply directly; the result can be justified by dominated convergence because the eigenvalues λ_j satisfy λ_j ≤ 1 and the series at n=1 is convergent. Please correct the justification.
[Section 4.3, Theorem 4.6 and Proposition 4.8] The notation 'I/D1 {z}' appearing in Theorem 4.6, Proposition 4.8, and the proof of Lemma 3.3 is a rendering artifact that should read 'Im z'. Please fix this notation throughout.
[Section 3, Lemma 3.3] The identity g(Ĥ) = ι* g(Λ2 H Λ2) ι is stated without sufficient explanation, because Λ2 H Λ2 as an operator on the full Hilbert space is not self-adjoint. The statement is correct if one interprets Λ2 H Λ2 on the invariant subspace im(Λ2) ≅ Ĥ, but this should be made explicit to avoid confusion.
[Section 4.5, after Proposition 4.11] The final sentence in Section 4.5, asserting that all pre-existing Z2 indices admit a direct-sum decomposition relating them to the Chern number, is quite terse. A more precise statement, with a reference or a short argument, would improve the rigor of the equivalence claim.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the bulk-edge correspondence is proved by an independent homotopy chain, with stated locality assumptions and external standard inputs.

full rationale

The paper does not fit any parameter and then rename it as a prediction. The bulk invariant N=ind2(PUP+P⊥) is defined from a flux-insertion Fredholm operator, and the edge invariant N-hat=ind2(W1 g(H-hat)) is defined from a winding operator; neither definition presupposes their equality. Theorem 2.11 is established through a chain of homotopies and kernel isomorphisms (Lemmas 3.2, 3.3, 3.4, Proposition 4.10) whose key estimates are that A(t)^2−A(t) is LOC2 whenever the relevant differences of Hamiltonians are exponentially local and confined. The compatibility condition of Definition 2.9 is a genuine scope hypothesis, not a restatement of the conclusion: it restricts the boundary Hamiltonian to be an exponentially LOC2 perturbation of the Dirichlet-truncated bulk Hamiltonian, and the proof uses exactly this hypothesis via Proposition 4.8 to compare g(H-hat) with g(Adι∗H). The identification of the new index with previously known Z2 invariants in Section 4.5 uses the standard external fact that Z2-valued homotopy-stable invariants agree once they agree on the trivial and nontrivial classes; this is an external classification input, not an internally assumed target result. Self-citations to [26] and [31] supply the locality algebra and Fredholm-theoretic tools, but these are parameter-free external results whose assumptions do not include the bulk-edge correspondence being proved, so they do not make the derivation circular. No fitted input is called a prediction, no uniqueness theorem from the authors is invoked to forbid alternatives, and no known result is merely renamed. The paper is self-contained in the sense that the central equality N=N-hat is derived rather than assumed.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No free parameters or fitted quantities appear; this is a pure proof. The central claim rests on standard functional-analytic tools (index theory, Combes-Thomas, smooth functional calculus) and on the physical modeling assumptions of a spectral gap, exponential locality, and exponentially local boundary conditions.

assumptions (8)

domain assumption 0 is not in the spectrum of the Hamiltonian (spectral gap).
Definition 2.4 defines an insulator by a spectral gap about the Fermi energy; the gap makes the Fermi projection P = chi_{(-infinity,0)}(H) a smooth function of H and a true projection, used throughout.
domain assumption The bulk Hamiltonian is exponentially local.
Definition 2.4 requires exponential locality, which is needed for the Combes-Thomas estimate (Theorem 4.6) and for the smooth functional calculus to preserve locality.
domain assumption Time reversal is an anti-unitary operator Theta with Theta^2 = -1 and [Theta, X_j] = 0.
This is the mathematical encoding of fermionic time-reversal symmetry; it is used to define the Theta-odd Fredholm condition (2.3) and the Z2 index.
domain assumption The edge Hamiltonian is compatible with the bulk Hamiltonian in the sense that (Ad_iota* H) - H-hat is exponentially LOC2.
Definition 2.9; this locality-of-boundary-conditions assumption is used in Proposition 4.8 and Proposition 4.10 to compare edge and bulk functional calculi.
standard math Smooth functional calculus on exponentially local self-adjoint operators produces polynomially local operators.
Taken from [21, Appendix A] and used throughout to assert g(H) and g(Lambda2 H Lambda2) are local; this is a theorem in the prior literature.
standard math The Fedosov formula and the index theorem for the flux-insertion operator F = P U P + P-perp give the Hall conductivity as ind F.
Used in the proof of Theorem 3.1 to connect the winding operator index to the Chern number; this is established index theory.
standard math The Combes-Thomas estimate bounds resolvents of exponentially local operators.
Theorem 4.6 from [48], used in the proof of Proposition 4.8 to control differences of resolvents.
ad hoc to paper The operators 1-|F|^2 and 1-|F*|^2 are Schatten class for the bulk and edge operators.
Stated in Section 2.1 as 'always the case in our applications' before Theorem 2.13; this condition is not proven in detail and is only needed for the side trace formula, not for the main theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Two-Dimensional Time-Reversal-Invariant Topological Insulators via Fredholm Theory." pith.science (2026). https://pith.science/paper/UQ5O72LY

@misc{pith2026190800910,
  author       = {Pith},
  title        = {Pith review of: Two-Dimensional Time-Reversal-Invariant Topological Insulators via Fredholm Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UQ5O72LY}},
  note         = {Machine review of arXiv:1908.00910}
}

read the original abstract

We study spinful non-interacting electrons moving in two-dimensional materials which exhibit a spectral gap about the Fermi energy as well as time-reversal invariance. Using Fredholm theory we revisit the (known) bulk topological invariant, define a new one for the edge, and show their equivalence (the bulk-edge correspondence) via homotopy.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 50 canonical work pages

[1]

and Zirnbauer, M

Altland, A. and Zirnbauer, M. R.: Nonstandard symmetry c lasses in mesoscopic normal- superconducting hybrid structures. Phys. Rev. B. 55, 1142–1161 (1997)

work page 1997
[2]

Schnyder, A. P. et al.: Classiﬁcation of topological ins ulators and superconductors in three spatial dimensions. Phys. Rev. B. 78, 195125 (2008)

work page 2008
[3]

et al.: Topological insulators and superconduct ors: tenfold way and dimensional hierarchy

Ryu, S. et al.: Topological insulators and superconduct ors: tenfold way and dimensional hierarchy. New J. Phys. 12 (6), 065010 (2010)

work page 2010
[4]

AIP Conf

Kitaev, A.: Periodic table for topological insulators a nd superconductors. AIP Conf. Proc. 1134 (1), 22–30 (2009)

work page 2009
[5]

v., Dorda, G., and Pepper, M.: New Method for High-Accuracy Determination of the Fine-Structure Constant Based on Quantized Hall Resis tance

Klitzing, K. v., Dorda, G., and Pepper, M.: New Method for High-Accuracy Determination of the Fine-Structure Constant Based on Quantized Hall Resis tance. Phys. Rev. Lett. 45, 494–497 (1980)

work page 1980
[6]

and Studer, U

Fröhlich, J. and Studer, U. M.: Gauge invariance and curr ent algebra in nonrelativistic many-body theory. Rev. Mod. Phys. 65, 733–802 (1993) 16

work page 1993
[7]

Kane, C. L. and Mele, E. J.: Z2 Topological Order and the Quantum Spin Hall Eﬀect. Phys. Rev. Lett. 95, 146802 (2005)

work page 2005
[8]

and Kane, C

Fu, L. and Kane, C. L.: Topological insulators with inver sion symmetry. Phys. Rev. B. 76, 045302 (2007)

work page 2007

Show all 51 references

[9]

A., Hughes, T

Bernevig, B. A., Hughes, T. L., and Zhang, S.-C.: Quantum Sp in Hall Eﬀect and Topolog- ical Phase Transition in HgTe Quantum Wells. Science. 314 (5806), 1757–1761 (2006)

2006
[10]

et al.: The Quantum Spin Hall Eﬀect: Theory and Experiment

König, M. et al.: The Quantum Spin Hall Eﬀect: Theory and Experiment. Journal of the Physical Society of Japan. 77 (3), 031007 (2008)

2008
[11]

et al.: Nonlocal Transport in the Quantum Spin H all State

Roth, A. et al.: Nonlocal Transport in the Quantum Spin H all State. Science. 325 (5938), 294–297 (2009)

2009
[12]

et al.: Evidence for the ballistic intrinsic sp in Hall eﬀect in HgTe nanostructures

Brüne, C. et al.: Evidence for the ballistic intrinsic sp in Hall eﬀect in HgTe nanostructures. Nature Physics. 6, 448 EP - (2010)

2010
[13]

et al.: Spin polarization of the quantum spin Ha ll edge states

Brüne, C. et al.: Spin polarization of the quantum spin Ha ll edge states. Nature Physics. 8 (6), 485 (2012)

2012
[14]

et al.: A topological Dirac insulator in a quan tum spin Hall phase

Hsieh, D. et al.: A topological Dirac insulator in a quan tum spin Hall phase. Nature. 452, 970 EP - (2008)

2008
[15]

Thouless, D. J. et al.: Quantized Hall Conductance in a T wo-Dimensional Periodic Poten- tial. Phys. Rev. Lett. 49, 405–408 (1982)

1982
[16]

Milnor, J. W. and Stasheﬀ, J. D.: Characteristic Classe s. Princeton University Press Prince- ton, N.J, 1974

1974
[17]

and Gomi, K.: Diﬀerential geometric invar iants for time-reversal symmetric Bloch-bundles: The “Real” case

De Nittis, G. and Gomi, K.: Diﬀerential geometric invar iants for time-reversal symmetric Bloch-bundles: The “Real” case. Journal of Mathematical Phy sics. 57 (5), 053506 (2016)

2016
[18]

Journal of Mathematical Physics

Bellissard, J., van Elst, A., and Schulz-Baldes, H.: The n oncommutative geometry of the quantum Hall eﬀect. Journal of Mathematical Physics. 35, 5373–5451 (1994)

1994
[19]

Hatsugai, Y.: Chern number and edge states in the intege r quantum Hall eﬀect. Phys. Rev. Lett. 71, 3697–3700 (1993)

1993
[20]

Reviews in Mathem atical Physics

Kellendonk, J., Richter, T., and Schulz-Baldes, H.: Edg e Current Channels And Chern Numbers In The Integer Quantum Hall Eﬀect. Reviews in Mathem atical Physics. 14 (01), (2002)

2002
[21]

and Graf, G

Elbau, P. and Graf, G. M.: Equality of bulk and edge Hall c onductance revisited. Commun. Math. Phys. 229 (3), 415–432 (2002)

2002
[22]

M., and Schenker, J.: Equality of th e bulk and edge Hall conductances in a mobility gap

Elgart, A., Graf, G. M., and Schenker, J.: Equality of th e bulk and edge Hall conductances in a mobility gap. Commun. Math. Phys. 259 (1), 185–221 (2005)

2005
[23]

Taarabt, A.: Equality of bulk and edge Hall conductance s for continuous magnetic random Schrödinger operators. 2014. eprint: arXiv:1403.7767

2014 arXiv
[24]

Drouot, A.: The bulk-edge correspondence for continuo us honeycomb lattices. 2019. eprint: arXiv:1901.06281

2019 arXiv
[25]

Graf, G. M. and Porta, M.: Bulk-Edge Correspondence for T wo-Dimensional Topological Insulators. Communications in Mathematical Physics. 324 (3), 851–895 (2013)

2013
[26]

Graf, G. M. and Shapiro, J.: The bulk-edge corresponden ce for disordered chiral chains. Commun. Math. Phys. 363, (2018)

2018
[27]

Communica- tions in Mathematical Physics

Kubota, Y.: Controlled Topological Phases and Bulk-edg e Correspondence. Communica- tions in Mathematical Physics. 349 (2), 493–525 (2017)

2017
[28]

Annales Henri Poincaré

Bourne, C., Kellendonk, J., and Rennie, A.: The K-Theore tic Bulk–Edge Correspondence for Topological Insulators. Annales Henri Poincaré. 18 (5), 1833–1866 (2017) 17

2017
[29]

and Schulz-Baldes, H.: Topological Boundary In variants for Floquet Systems and Quantum Walks

Sadel, C. and Schulz-Baldes, H.: Topological Boundary In variants for Floquet Systems and Quantum Walks. Mathematical Physics, Analysis and Geometr y. 20 (4), 22 (2017)

2017
[30]

Graf, G. M. and Tauber, C.: Bulk–Edge Correspondence for Two-Dimensional Floquet Topological Insulators. Annales Henri Poincaré. 19 (3), 709–741 (2018)

2018
[31]

and Tauber, C.: Strongly Disordered Floque t Topological Systems

Shapiro, J. and Tauber, C.: Strongly Disordered Floque t Topological Systems. Annales Henri Poincaré. 20 (6), 1837–1875 (2019)

2019
[32]

Documenta Mathe- matica

Schulz-Baldes, H.: Z2-indices of odd symmetric Fredhol m operators. Documenta Mathe- matica. 20, 1481 (2015)

2015
[33]

and Koma, T.: The Z2 index of disordered topo logical insulators with time reversal symmetry

Katsura, H. and Koma, T.: The Z2 index of disordered topo logical insulators with time reversal symmetry. Journal of Mathematical Physics. 57 (2), 021903 (2016)

2016
[34]

Atiyah, M. F. and Singer, I. M.: Index theory for skew-ad joint fredholm operators. Publi- cations Mathématiques de l’Institut des Hautes Études Scie ntiﬁques. 37 (1), 5–26 (1969)

1969
[35]

E., Seiler, R., and Simon, B.: Charge deﬁciency , charge transport and comparison of dimensions

A vron, J. E., Seiler, R., and Simon, B.: Charge deﬁciency , charge transport and comparison of dimensions. Comm. Math. Phys. 159 (2), 399–422 (1994)

1994
[36]

and Bleecker, D.: Topology and Analysis: The Atiy ah-Singer Index Formula and Gauge-Theoretic Physics

Booss, B. and Bleecker, D.: Topology and Analysis: The Atiy ah-Singer Index Formula and Gauge-Theoretic Physics. Springer, 1989

1989
[37]

Hasan, M. Z. and Kane, C. L.: Colloquium: Topological in sulators. Rev. Mod. Phys. 82, 3045–3067 (2010)

2010
[38]

and Schulz-Baldes, H.: Bulk and Boundary Invari ants for Complex Topological Insulators: From K-Theory to Physics

Prodan, E. and Schulz-Baldes, H.: Bulk and Boundary Invari ants for Complex Topological Insulators: From K-Theory to Physics. Springer, 2016. doi: 10.1007/978-3-319-29351-6_4

2016 doi
[39]

and Mong, R

Li, Z. and Mong, R. S. K.: A local formula for the Z2 invariant of topological insulators
[40]

Journal of Mathematical Physics

Lozano Viesca, E., Schober, J., and Schulz-Baldes, H.: C hern numbers as half-signature of the spectral localizer. Journal of Mathematical Physics. 60 (7), 072101 (2019)

2019
[41]

P.: The Analytic Calculation of The Index o f Elliptic Equations

Calderón, A. P.: The Analytic Calculation of The Index o f Elliptic Equations. Proceedings of the National Academy of Sciences. 57 (5), 1193–1194 (1967)

1967
[42]

et al.: Scaling Theory of Localization: Ab sence of Quantum Diﬀusion in Two Dimensions

Abrahams, E. et al.: Scaling Theory of Localization: Ab sence of Quantum Diﬀusion in Two Dimensions. Phys. Rev. Lett. 42, 673–676 (1979)

1979
[43]

et al.: Absence of localization in disordered two -dimensional electron gas at weak magnetic ﬁeld and strong spin-orbit coupling

Su, Y. et al.: Absence of localization in disordered two -dimensional electron gas at weak magnetic ﬁeld and strong spin-orbit coupling. Scientiﬁc Re ports. 6, 33304 EP - (2016)

2016
[44]

and Spencer, T.: Absence of diﬀusion in the Anderson tight binding model for large disorder or low energy

Fröhlich, J. and Spencer, T.: Absence of diﬀusion in the Anderson tight binding model for large disorder or low energy. Communications in Mathematic al Physics. 88 (2), 151–184 (1983)

1983
[45]

and Graf, G

Aizenman, M. and Graf, G. M.: Localization bounds for an electron gas. J. Phys. A Math. Gen. 31, 6783–6806 (1998)

1998
[46]

H.: Dynamical Delocalization in Random Landau Hamiltonians

Germinet, F., Klein, A., and Schenker, J. H.: Dynamical Delocalization in Random Landau Hamiltonians. Annals of Mathematics. 166 (1), 215–244 (2007)

2007
[47]

Annals of Physics

Kitaev, A.: Anyons in an exactly solved model and beyond . Annals of Physics. 321 (3), 48–63 (2006)

2006
[48]

and Warzel, S.: Random Operators

Aizenman, M. and Warzel, S.: Random Operators. Amer. Ma th. Soc., 2015

2015
[49]

B.: The Functional Calculus

Davies, E. B.: The Functional Calculus. Journal of the Lo ndon Mathematical Society. 52 (1), 166–176 (1995)

1995
[50]

Kane, C. L. and Mele, E. J.: Z2 Topological Order and the Quantum Spin Hall Eﬀect. Phys. Rev. Lett. 95, 146802 (2005) 18

2005
[2019]

eprint: arXiv:1905.12649

1905 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

and Zirnbauer, M

Altland, A. and Zirnbauer, M. R.: Nonstandard symmetry c lasses in mesoscopic normal- superconducting hybrid structures. Phys. Rev. B. 55, 1142–1161 (1997)

work page 1997

[2] [2]

Schnyder, A. P. et al.: Classiﬁcation of topological ins ulators and superconductors in three spatial dimensions. Phys. Rev. B. 78, 195125 (2008)

work page 2008

[3] [3]

et al.: Topological insulators and superconduct ors: tenfold way and dimensional hierarchy

Ryu, S. et al.: Topological insulators and superconduct ors: tenfold way and dimensional hierarchy. New J. Phys. 12 (6), 065010 (2010)

work page 2010

[4] [4]

AIP Conf

Kitaev, A.: Periodic table for topological insulators a nd superconductors. AIP Conf. Proc. 1134 (1), 22–30 (2009)

work page 2009

[5] [5]

v., Dorda, G., and Pepper, M.: New Method for High-Accuracy Determination of the Fine-Structure Constant Based on Quantized Hall Resis tance

Klitzing, K. v., Dorda, G., and Pepper, M.: New Method for High-Accuracy Determination of the Fine-Structure Constant Based on Quantized Hall Resis tance. Phys. Rev. Lett. 45, 494–497 (1980)

work page 1980

[6] [6]

and Studer, U

Fröhlich, J. and Studer, U. M.: Gauge invariance and curr ent algebra in nonrelativistic many-body theory. Rev. Mod. Phys. 65, 733–802 (1993) 16

work page 1993

[7] [7]

Kane, C. L. and Mele, E. J.: Z2 Topological Order and the Quantum Spin Hall Eﬀect. Phys. Rev. Lett. 95, 146802 (2005)

work page 2005

[8] [8]

and Kane, C

Fu, L. and Kane, C. L.: Topological insulators with inver sion symmetry. Phys. Rev. B. 76, 045302 (2007)

work page 2007