{"id":"a6c37092-531a-42e8-b5b4-a24d901d6421","arxiv_id":"1908.00910","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For spectrally gapped, time-reversal-invariant, exponentially local 2D Hamiltonians, the Z2 bulk index equals the mod-2 index of an edge Fredholm operator.","lead":"This paper proves that the bulk topological invariant of a two-dimensional time-reversal-invariant insulator equals its edge invariant, using Fredholm theory. It generalizes the known bulk-edge correspondence for quantum spin Hall systems to disordered materials with arbitrary local boundary conditions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the bulk-edge proof is internally consistent, and the compatibility assumption is a stated scope condition rather than a hidden gap.","rationale":"The reader's weakest assumption was the exponential-locality compatibility of the edge Hamiltonian. I agree this is the main stated limitation, but it is a condition of the theorem, not a gap in its proof. My re-derivation of the main homotopies found no erroneous step. The only place where the paper leans outside its own argument is the standard classification input in Section 4.5; since the paper's goal is bulk-edge correspondence rather than a new periodic table, this does not change acceptance. A direct independent check of the doubled-model sign is the most useful verification to run.","tokens_in":17329,"tokens_out":63001,"duration_ms":603040,"concrete_test":"Re-derive Proposition 4.11 with an explicit non-TRI 2x2 Hamiltonian H and the standard quaternionic time-reversal Theta on C^2, verifying that the second diagonal block of the doubled winding operator is Theta W1(-P Lambda2 P) Theta* and not Theta W1(P Lambda2 P) Theta*. This checks the key sign that makes the doubled-model identity N_tilde = ind2 (P-tilde U-tilde) hold; a sign flip there would change the Z2 invariant by a global shift and would propagate through equation (3.3).","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the homotopy chain (Lemmas 3.2 and 3.4, Proposition 4.10), the Theta-odd identities for F = P U P + P-perp and W1 g(H-hat), and the kernel-lifting argument in Lemma 3.3. The proof is coherent: the sign Theta P Theta = -P is the crucial one that makes both F and the winding operator Lambda1 e^{-2 pi i B} Lambda1 + Lambda1-perp obey A = -Theta A* Theta, and the LOC2 estimates for A(t)^2 - A(t) correctly close under the stated assumptions. The compatibility condition (Definition 2.9) is genuinely restrictive: boundary perturbations must be exponentially local and confined, but the theorem claims exactly this regime, and the proof uses precisely this hypothesis in Proposition 4.10. The least self-contained step is the identification in Section 4.5 of N with ind2 W1(P Lambda2 P): it verifies equality on a trivial example and a doubled-model nontrivial example and then invokes the known two-class Z2 classification. This is a standard external input, not an internal contradiction; no load-bearing flaw was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17576,"tokens_out":39718,"duration_ms":355433,"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.","major_comments":[],"minor_comments":[{"comment":"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":"Section 2.1, Theorem 2.13"},{"comment":"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":"Section 4.3, Theorem 4.6 and Proposition 4.8"},{"comment":"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":"Section 3, Lemma 3.3"},{"comment":"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.","section":"Section 4.5, after Proposition 4.11"}],"recommendation":"minor_revision","confidential_remarks":"This is a solid mathematical contribution. The main theorem is supported by a coherent chain of lemmas, and the compatibility assumption is an explicit and reasonable scope condition. The minor issues listed in the report are presentation and clarification items; none affect the central claims. I recommend publication after minor revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis 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.\n\nWhat 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.\n\nSoft 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.\n\nBottom 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.","headline":"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.","tokens_in":18080,"tokens_out":2491,"would_cite":true,"duration_ms":25257,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A53","81Q10","82D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Flux-insertion and edge indices agree in 2D time-reversal-invariant insulators","keywords":["topological insulator","time-reversal symmetry","Z2 index","Fredholm operator","bulk-edge correspondence","disordered systems","winding operator","spectral gap"],"falsifier":"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.","tokens_in":17137,"feed_emoji":"⚛️","tokens_out":7398,"duration_ms":67105,"temperature":0.7,"pith_summary":"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.","feed_headline":"Bulk and edge Z2 invariants provably match in 2D spinful insulators","feed_subtitle":"A Fredholm-theory proof covers disordered, spectrally gapped systems with general local boundary conditions.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"defines the $\\mathbb{Z}_2$ index of skew-adjoint Fredholm operators that the paper adopts as $\\mathrm{ind}_2$.","marker":"[34]"},{"why":"introduced the bulk $\\mathbb{Z}_2$ invariant for disordered time-reversal invariant systems that the paper revisits.","marker":"[32]"},{"why":"gives the equivalent $\\mathbb{Z}_2$ index of a pair of projections used to identify the invariants on trivial and nontrivial classes.","marker":"[33]"},{"why":"supplies the unitary flux insertion $U=\\exp(i\\arg(X_1+iX_2))$ and the radial-geometry bulk index.","marker":"[35]"},{"why":"provides the edge Fredholm index construction that the edge invariant $\\hat N$ adapts from the integer quantum Hall effect.","marker":"[20]"},{"why":"proves equality of bulk and edge Hall conductance and provides the locality and functional-calculus estimates used throughout.","marker":"[21]"},{"why":"established the bulk-edge correspondence for time-reversal invariant insulators in the translation-invariant nearest-neighbor setting that this paper generalizes.","marker":"[25]"},{"why":"connects the bulk Fredholm index in rectangular geometry to the Kubo formula through the winding operator $W_1(g(H)\\Lambda_2 g(H))$.","marker":"[47]"},{"why":"defines the local and confined (LOC2) operator algebra whose ideal properties make the homotopies Fredholm.","marker":"[31]"},{"why":"establishes $F=PUP$ as Fredholm with index equal to the Hall conductivity, grounding the bulk flux-insertion operator.","marker":"[18]"}],"fun_headline_variants":["Fredholm theory proves bulk-edge Z2 match in 2D","Edge Z2 invariant equals bulk, proven via Fredholm index","2D spinful insulators: Z2 bulk-edge equality proven","Fredholm proof settles Z2 bulk-edge correspondence","Disordered 2D TIs: edge and bulk Z2 invariants provably identical"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Fredholm theory proves bulk-edge Z2 match in 2D","Edge Z2 invariant equals bulk, proven via Fredholm index","2D spinful insulators: Z2 bulk-edge equality proven","Fredholm proof settles Z2 bulk-edge correspondence","Disordered 2D TIs: edge and bulk Z2 invariants provably identical"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000552,"raw_usage":{"total_tokens":2570,"prompt_tokens":824,"completion_tokens":1746,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":1659}},"tokens_in":440,"tokens_out":1746,"duration_ms":13410,"temperature":1.0,"reasoning_tokens":1659,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:30:19.036711+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines the $\\mathbb{Z}_2$ index of skew-adjoint Fredholm operators that the paper adopts as $\\mathrm{ind}_2$."},{"cited_title":"Documenta Mathe- matica","cited_arxiv_id":null,"evidence_quote":"introduced the bulk $\\mathbb{Z}_2$ invariant for disordered time-reversal invariant systems that the paper revisits."},{"cited_title":"and Koma, T.: The Z2 index of disordered topo logical insulators with time reversal symmetry","cited_arxiv_id":null,"evidence_quote":"gives the equivalent $\\mathbb{Z}_2$ index of a pair of projections used to identify the invariants on trivial and nontrivial classes."},{"cited_title":"E., Seiler, R., and Simon, B.: Charge deficiency , charge transport and comparison of dimensions","cited_arxiv_id":null,"evidence_quote":"supplies the unitary flux insertion $U=\\exp(i\\arg(X_1+iX_2))$ and the radial-geometry bulk index."},{"cited_title":"Reviews in Mathem atical Physics","cited_arxiv_id":null,"evidence_quote":"provides the edge Fredholm index construction that the edge invariant $\\hat N$ adapts from the integer quantum Hall effect."},{"cited_title":"and Graf, G","cited_arxiv_id":null,"evidence_quote":"proves equality of bulk and edge Hall conductance and provides the locality and functional-calculus estimates used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"established the bulk-edge correspondence for time-reversal invariant insulators in the translation-invariant nearest-neighbor setting that this paper generalizes."},{"cited_title":"Annals of Physics","cited_arxiv_id":null,"evidence_quote":"connects the bulk Fredholm index in rectangular geometry to the Kubo formula through the winding operator $W_1(g(H)\\Lambda_2 g(H))$."},{"cited_title":"and Tauber, C.: Strongly Disordered Floque t Topological Systems","cited_arxiv_id":null,"evidence_quote":"defines the local and confined (LOC2) operator algebra whose ideal properties make the homotopies Fredholm."},{"cited_title":"Journal of Mathematical Physics","cited_arxiv_id":null,"evidence_quote":"establishes $F=PUP$ as Fredholm with index equal to the Hall conductivity, grounding the bulk flux-insertion operator."}],"review_version":1}