pith. sign in

arxiv: 2508.17813 · v2 · submitted 2025-08-25 · 🧮 math-ph · math.KT· math.MP· math.OA

Interfaces of discrete systems - spectral and index properties

Chris Bourne This is my paper

Pith reviewed 2026-05-18 21:40 UTC · model grok-4.3

classification 🧮 math-ph math.KTmath.MPmath.OA
keywords discrete interfacesessential spectrumtopological indicesoperator algebrasHilbert C*-modulesspatial asymptoticsbulk recovery
0
0 comments X

The pith

The essential spectrum and topological properties of a discrete interface follow directly from the bulk systems at its two ends.

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

This paper develops an operator-algebraic framework for mixtures of discrete physical systems joined along an interface. Spatial asymptotics of operators on a fixed interface algebra recover the two independent bulk systems at infinity. From these recovered bulks the essential spectrum of the interface operator and its topological invariants are read off. Hilbert C*-modules then refine the results relative to a larger ambient algebra of observables. The approach therefore reduces interface questions to separate bulk calculations at each infinity.

Core claim

Fixing an asymptotics and interface algebra, the essential spectrum and topological properties of the system on the interface can be inferred from the bulk systems at infinity. Refinement is possible using Hilbert C*-modules over an ambient algebra of observables.

What carries the argument

Spatial asymptotics of operators defined on the interface algebra, which recover the two independent bulk systems at infinity while preserving essential spectral and K-theoretic data.

If this is right

  • The essential spectrum of the interface operator equals the union of the essential spectra of the two bulk systems.
  • Topological indices computed on the interface are determined by the K-theory of the separate bulk systems.
  • The framework applies uniformly to general mixtures of discrete models once the asymptotics and interface algebra are fixed.
  • Refinement via Hilbert C*-modules yields relative versions of the spectral and index statements inside any ambient algebra of observables.

Where Pith is reading between the lines

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

  • The method may extend to defects or boundaries in lattice models by treating them as special cases of interfaces.
  • Numerical searches for interface states could be reduced to independent bulk computations once the recovery map is implemented.
  • Similar asymptotics-based reductions might apply to continuous or higher-dimensional interface problems in mathematical physics.

Load-bearing premise

The spatial asymptotics of operators on the interface algebra are sufficient to recover the two bulk systems at infinity and preserve the essential spectral and K-theoretic data needed for the index results.

What would settle it

An explicit example of an interface operator whose essential spectrum or K-theoretic index fails to match the data obtained from the two recovered bulk systems at infinity.

read the original abstract

We develop a general mathematical framework to study mixtures of different physical systems brought together on a discrete interface. Adapting work by M\u{a}ntoiu et al., we use an operator algebraic framework such that the bulk systems at infinity of the mixture are recovered via the spatial asymptotics of the operators on the interface. Fixing an asymptotics and interface algebra, we show how the essential spectrum and topological properties can be inferred from the bulk systems at infinity. By working with Hilbert $C^*$-modules, we can further refine these results with respect to an ambient algebra of observables.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript develops an operator-algebraic framework for discrete systems with interfaces, adapting prior work of Mäntoiu et al. It fixes an asymptotics and an interface algebra such that the two bulk systems at ±∞ are recovered via spatial asymptotics (limit homomorphisms) of operators defined on the interface. From these bulk data the paper claims to infer the essential spectrum of the interface operator and its topological (K-theoretic) properties; the results are further refined by working in the category of Hilbert C*-modules over an ambient algebra of observables.

Significance. If the recovery maps are faithful and the K-theoretic exact sequences hold, the framework supplies a systematic route from bulk spectral and index data to interface properties without direct analysis of the full interface operator. The adaptation of C*-algebraic techniques to discrete interfaces and the use of Hilbert modules for refinement constitute genuine technical contributions that could apply to models of topological insulators or quantum walks on graphs with defects.

major comments (2)
  1. [§3] §3 (essential spectrum): the claim that σ_ess(interface) equals the union of the two bulk essential spectra is load-bearing for the central inference. The argument relies on the pair of spatial-asymptotics homomorphisms being spectrum-preserving, yet the manuscript provides no explicit estimate or condition ensuring that non-local or slowly decaying cross terms between +∞ and −∞ vanish in the limit; without this, the identification may fail for general elements of the interface algebra.
  2. [§4] §4 (index via Hilbert C*-modules): the passage from bulk K-theory to the interface index uses an exact sequence in KK-theory or K-theory of modules. The construction assumes the asymptotics maps induce isomorphisms (or at least injections) on the relevant K-groups, but no faithfulness or continuity statement for these maps on the subalgebra generated by the interface operators is stated or proved; this is required for the index formula to be independent of the choice of lift.
minor comments (2)
  1. [§2] Notation for the two limit homomorphisms (φ₊ and φ₋) is introduced without a displayed diagram or explicit composition rule with the inclusion of the interface algebra; a commutative diagram would clarify the exact sequence used later.
  2. [§1] The ambient algebra of observables is referred to as “A” in several places; a single sentence recalling its precise definition and its relation to the interface algebra would remove ambiguity for readers unfamiliar with the Mäntoiu framework.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, providing clarifications and indicating revisions where appropriate to strengthen the presentation of the framework.

read point-by-point responses

  1. Referee: [§3] §3 (essential spectrum): the claim that σ_ess(interface) equals the union of the two bulk essential spectra is load-bearing for the central inference. The argument relies on the pair of spatial-asymptotics homomorphisms being spectrum-preserving, yet the manuscript provides no explicit estimate or condition ensuring that non-local or slowly decaying cross terms between +∞ and −∞ vanish in the limit; without this, the identification may fail for general elements of the interface algebra.

    Authors: We thank the referee for identifying this point requiring greater explicitness. The interface algebra is defined such that its elements satisfy a decay condition on cross terms between the two half-lines, which ensures that the spatial-asymptotics homomorphisms are spectrum-preserving by construction, as adapted from the Mäntoiu et al. framework to the discrete setting. To make this fully rigorous and address the concern directly, we will insert a new proposition in §3 that supplies an explicit norm estimate showing that non-local cross terms vanish in the limit for elements of the algebra. This will confirm the identification of the essential spectrum without altering the main results. revision: yes

  2. Referee: [§4] §4 (index via Hilbert C*-modules): the passage from bulk K-theory to the interface index uses an exact sequence in KK-theory or K-theory of modules. The construction assumes the asymptotics maps induce isomorphisms (or at least injections) on the relevant K-groups, but no faithfulness or continuity statement for these maps on the subalgebra generated by the interface operators is stated or proved; this is required for the index formula to be independent of the choice of lift.

    Authors: We appreciate the referee's emphasis on the need for a faithfulness statement to ensure the index is well-defined. The Hilbert C*-module construction provides the necessary continuity with respect to the module norm, and the asymptotics maps are injective on the relevant subalgebras by the general properties of the spatial limit homomorphisms in the operator-algebraic setup. Nevertheless, we agree that an explicit statement restricted to the subalgebra generated by interface operators was omitted. In the revision we will add a lemma in §4 proving that these maps are faithful (injective) on that subalgebra, thereby justifying the exact sequence and the independence of the index from the choice of lift. revision: yes

Circularity Check

0 steps flagged

No significant circularity: derivation adapts external operator-algebraic framework without self-referential reduction

full rationale

The paper presents a general construction adapting prior work by Mäntoiu et al. to recover bulk systems at infinity from spatial asymptotics on an interface algebra, then infers essential spectrum and K-theoretic index data via Hilbert C*-modules. No equations or steps in the provided abstract or description reduce a claimed prediction or topological result to a fitted parameter or self-defined quantity by construction. The central inferences rely on the faithfulness of the asymptotics map as an external mathematical property of the operator algebra, not on any internal normalization or self-citation chain that would force the outcome. This qualifies as a self-contained adaptation against external benchmarks, warranting score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; the framework implicitly relies on standard properties of C*-algebras and Hilbert modules but introduces no explicit free parameters, ad-hoc axioms, or new entities beyond the interface algebra and asymptotics choice.

axioms (2)
  • domain assumption Spatial asymptotics of interface operators recover independent bulk systems at infinity
    Stated in abstract as the mechanism for recovering bulk systems; this is the load-bearing modeling choice.
  • domain assumption Essential spectrum and topological properties are preserved under the asymptotic recovery
    Central inference claimed in the abstract.

pith-pipeline@v0.9.0 · 5615 in / 1377 out tokens · 29603 ms · 2026-05-18T21:40:54.866033+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Fixing an asymptotics and interface algebra, we show how the essential spectrum and topological properties can be inferred from the bulk systems at infinity... By working with Hilbert C*-modules, we can further refine these results with respect to an ambient algebra of observables.

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.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Alldridge, C

    A. Alldridge, C. Max and M. R. Zirnbauer.Bulk-boundary correspondence for disordered free-fermion topo- logical phases. Comm. Math. Phys.,377(2020), no. 3, 1761–1821

    work page 2020

  2. [2]

    Amrein, M

    W. Amrein, M. M˘ antoiu and R. Purice.Propagation properties for Schr¨ odinger operators affiliated with certainC ∗-algebras. Ann. Henri Poincar´ e,3(2002), no.6, 1215–1232

    work page 2002

  3. [3]

    M. F. Atiyah and I. M. Singer.Index theory for skew-adjoint Fredholm operators. Inst. Hautes ´Etudes Sci. Publ. Math. (1969), no. 37, 5–26

    work page 1969

  4. [4]

    Blackadar.K-theory for operator algebras

    B. Blackadar.K-theory for operator algebras. Second edition. Mathematical Sciences Research Institute Publications,5. Cambridge University Press, Cambridge (1998). xx+300 pp. 29

    work page 1998

  5. [5]

    Bourne.Index theory of chiral unitaries and split-step quantum walks

    C. Bourne.Index theory of chiral unitaries and split-step quantum walks. SIGMA Symmetry Integrability Geom. Methods Appl.,19(2023), Paper No. 053

    work page 2023

  6. [6]

    Bourne, J

    C. Bourne, J. Kellendonk and A. Rennie.The Cayley transform in complex, real and gradedK-theory. Internat. J. Math.,31(2020), no. 9, 2050074, 50 pp

    work page 2020

  7. [7]

    N. P. Brown and N. Ozawa.C ∗-algebras and finite-dimensional approximations. Graduate Studies in Math- ematics,88. American Mathematical Society, Providence, RI, 2008. xvi+509 pp

    work page 2008

  8. [8]

    M. D. Choi and E. G. Effros.The completely positive lifting problem forC ∗-algebras. Ann. of Math. (2),104 (1976), no. 3, 585–609

    work page 1976

  9. [9]

    van Daele.K-theory for graded Banach algebras I

    A. van Daele.K-theory for graded Banach algebras I. Quart. J. Math. Oxford Ser. (2),39(1988), no. 154, 185–199

    work page 1988

  10. [10]

    De Nittis, J

    G. De Nittis, J. Gomez and D. Polo Ojito.On the K-theory of magnetic algebras: Iwatsuka case. arXiv:2410.04531 (2024)

    work page arXiv 2024

  11. [11]

    V. M. Deundyak and B. Ya. Shte˘ ınberg.The index of the convolution operators with slowly changing coeffi- cients on abelian groups. Funktsional. Anal. i Prilozhen.,19(1985), no. 4, 84–85

    work page 1985

  12. [12]

    Drouot and X

    A. Drouot and X. Zhu.Topological edge spectrum along curved interfaces. Int. Math. Res. Not. IMRN, (2024), no. 22, 13870–13889

    work page 2024

  13. [13]

    van den Dungen.The index of generalised Dirac–Schr¨ odinger operators

    K. van den Dungen.The index of generalised Dirac–Schr¨ odinger operators. J. Spectr. Theory,9(2019), no. 4, 1459–1506

    work page 2019

  14. [14]

    Georgescu and A

    V. Georgescu and A. Iftimovici.Crossed products ofC ∗-algebras and spectral analysis of quantum Hamilto- nians. Comm. Math. Phys.,228(2002), no. 3, 519–560

    work page 2002

  15. [15]

    Georgescu and A

    V. Georgescu and A. Iftimovici.Localizations at infinity and essential spectrum of quantum Hamiltonians. I. General theory. Rev. Math. Phys.,18(2006), no. 4, 417–483

    work page 2006

  16. [16]

    Hayashi.An index theorem for quarter-plane Toeplitz operators via extended symbols and gapped invariants related to corner states

    S. Hayashi.An index theorem for quarter-plane Toeplitz operators via extended symbols and gapped invariants related to corner states. Comm. Math. Phys.,400(2023), no. 1, 429–462

    work page 2023

  17. [17]

    G. G. Kasparov.HilbertC ∗-modules: theorems of Stinespring and Voiculescu. J. Operator Theory,4(1980), no. 2, 133–150

    work page 1980

  18. [18]

    G. G. Kasparov.The operatorK-functor and extensions ofC ∗-algebras. Math. USSR Izv.,16(1981), 513– 572

    work page 1981

  19. [19]

    Kellendonk.On theC ∗-algebraic approach to topological phases for insulators

    J. Kellendonk.On theC ∗-algebraic approach to topological phases for insulators. Ann. Henri Poincar´ e,18 (2017), no. 7, 2251–2300

    work page 2017

  20. [20]

    Kotani, H

    M. Kotani, H. Schulz-Baldes and C. Villegas-Blas.Quantization of interface currents. J. Math. Phys.,55 (2014), no. 12, 121901, 9 pp

    work page 2014

  21. [21]

    Kubota.Notes on twisted equivariant K-theory forC ∗-algebras

    Y. Kubota.Notes on twisted equivariant K-theory forC ∗-algebras. Internat. J. Math.,27(2016), no. 6, 1650058, 28 pp

    work page 2016

  22. [22]

    Kubota.The bulk-dislocation correspondence for weak topological insulators on screw-dislocated lattices

    Y. Kubota.The bulk-dislocation correspondence for weak topological insulators on screw-dislocated lattices. J. Phys. A,54(2021), no. 36, Paper No. 364001, 18 pp

    work page 2021

  23. [23]

    E. C. Lance.HilbertC ∗-Modules: A Toolkit for Operator Algebraists. Cambridge University Press, Cambridge (1995)

    work page 1995

  24. [24]

    Ludewig and G

    M. Ludewig and G. T. Thiang.Cobordism invariance of topological edge-following states. Adv. Theor. Math. Phys.,26(2022), no. 3, 673–710

    work page 2022

  25. [25]

    M˘ antoiu.C∗-algebras, dynamical systems at infinity and the essential spectrum of generalized Schr¨ odinger operators

    M. M˘ antoiu.C∗-algebras, dynamical systems at infinity and the essential spectrum of generalized Schr¨ odinger operators. J. Reine Angew. Math.,550(2002), 211–229

    work page 2002

  26. [26]

    M˘ antoiu.C∗-algebraic spectral sets, twisted groupoids and operators

    M. M˘ antoiu.C∗-algebraic spectral sets, twisted groupoids and operators. arXiv:1809.03347 (2018)

    work page arXiv 2018

  27. [27]

    M˘ antoiu, R

    M. M˘ antoiu, R. Purice and S. Richard.Spectral and propagation results for magnetic Schr¨ odinger operators; aC ∗-algebraic framework. J. Funct. Anal.,250(2007), no.1, 42–67

    work page 2007

  28. [28]

    G. K. Pedersen.C ∗-algebras and their automorphism groups. Second edition. Pure and Applied Mathematics (Amsterdam). Academic Press, London (2018). xviii+520 pp

    work page 2018

  29. [29]

    Polo Ojito, E

    D. Polo Ojito, E. Prodan and T. Stoiber.C ∗-framework for higher-order bulk-boundary correspondences. Comm. Math. Phys.,406(2025), no. 10, Paper No. 233

    work page 2025

  30. [30]

    Polo Ojito, E

    D. Polo Ojito, E. Prodan and T. Stoiber.A space-adiabatic approach for bulk-defect correspondences in lattice models of topological insulators. arXiv:2410.24097 (2024)

    work page arXiv 2024

  31. [31]

    Prodan.Topological lattice defects by groupoid methods and Kasparov’sKK-theory

    E. Prodan.Topological lattice defects by groupoid methods and Kasparov’sKK-theory. J. Phys. A,54(2021), no. 42, Paper No. 424001, 18 pp

    work page 2021

  32. [32]

    Prodan and H

    E. Prodan and H. Schulz-Baldes.Bulk and Boundary Invariants for Complex Topological Insulators: From K-Theory to Physics. Springer, Berlin (2016)

    work page 2016

  33. [33]

    V. S. Rabinovich, S. Roch and B. Silbermann.Fredholm theory and finite section method for band-dominated operators. Integral Equations Operator Theory,30(1998), no. 4, 452–495

    work page 1998

  34. [34]

    Richard.Spectral and scattering theory for Schr¨ odinger operators with Cartesian anisotropyPubl

    S. Richard.Spectral and scattering theory for Schr¨ odinger operators with Cartesian anisotropyPubl. Res. Inst. Math. Sci.,41(2005) no. 1, 73–111

    work page 2005

  35. [35]

    Roe.Lectures on coarse geometry

    J. Roe.Lectures on coarse geometry. University Lecture Series,31. American Mathematical Society, Provi- dence, RI, 2003. viii+175 pp

    work page 2003

  36. [36]

    Roe.Paschke duality for real and gradedC ∗-algebras

    J. Roe.Paschke duality for real and gradedC ∗-algebras. Q. J. Math.,55(2004), no. 3, 325–331. 30

    work page 2004

  37. [37]

    Sunada.Topological crystallography

    T. Sunada.Topological crystallography. With a view towards discrete geometric analysis. Surveys and Tuto- rials in the Applied Mathematical Sciences, 6. Springer, Tokyo (2013). xii+229 pp

    work page 2013

  38. [38]

    G. C. Thiang.Edge-following topological states. J. Geom. Phys.,156(2020), 103796, 17 pp

    work page 2020

  39. [39]

    Wahl.On the noncommutative spectral flow

    C. Wahl.On the noncommutative spectral flow. J. Ramanujan Math. Soc.,22(2007), no. 2, 135–187

    work page 2007

  40. [40]

    N. E. Wegge-Olsen.K-theory andC ∗-algebras, a friendly approach. Oxford Science Publications. The Claren- don Press, Oxford University Press, New York (1993). xii+370 pp

    work page 1993

  41. [41]

    D. P. Williams.Crossed products ofC ∗-algebras. American Mathematical Society, Providence (2007). Institute of Liberal Arts and Sciences, Graduate School of Mathematics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya, 464-8601, JapanandRIKEN iTHEMS, 2-1 Hirosawa, W ako, Saitama 351-0198, Japan Email address:cbourne@nagoya-u.jp 31

    work page 2007