Abstract:In space-adiabatic approaches one can approximate Hamiltonians that are modulated slowly in space by phase-space functions that depend on position and momentum. In this paper, we establish a rigorous relation between this approach and the operator-theoretic approach for topological insulators with defects, which employs $C^*$-algebras and operator K-theory. Using such tools, we show that by quantizing phase-space functions one can construct lattice Hamiltonians which are gapped at certain spatial limits and carry protected states at defects such as boundaries, hinges, and corners. Moreover, we show that the topological invariants that protect the latter can be computed in terms of the symbol functions. This enables us to compute boundary maps in K-theory that are relevant for bulk-defect correspondences.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish bulk - defect correspondences in topological insulators. Specifically, the authors aim to construct lattice Hamiltonians by using the space - adiabatic approach and the quantization of phase - space functions. These Hamiltonians have energy gaps at certain spatial limits and carry protected states at defects (such as boundaries, hinges, and corners). In addition, the authors also show how to use symbol functions to calculate the topological invariants that protect these states, so that they can calculate the boundary maps in K - theory, which are crucial for bulk - defect correspondences. ### Main contributions of the paper: 1. **Establishing strict mathematical relationships**: The paper establishes a strict mathematical relationship between the space - adiabatic approach and the operator - theory - based defect analysis method for topological insulators. The latter usually uses C* - algebras and operator K - theory. 2. **Constructing lattice Hamiltonians with energy gaps**: By quantizing phase - space functions, the paper shows how to construct lattice Hamiltonians with energy gaps at specific spatial limits. 3. **Calculating topological invariants**: The paper proposes a method to calculate the topological invariants that protect defect states by using symbol functions. 4. **Calculating boundary maps**: The paper provides a method to calculate the boundary maps in K - theory, which are very important for understanding bulk - defect correspondences. ### Main technical means: - **Space - adiabatic approach**: By considering Hamiltonians that are slowly modulated in space, they are approximated as phase - space functions that depend on position and momentum. - **C* - algebras and operator K - theory**: These mathematical tools are used to handle and analyze defects in topological insulators. - **Quantization of phase - space functions**: Phase - space functions are quantized into lattice Hamiltonians, so that the desired physical properties can be achieved in lattice models. ### Application examples: - **Bulk - boundary correspondences**: It shows how to derive common bulk - boundary correspondences through the space - adiabatic approach. - **Higher - order boundary maps**: Higher - order boundary maps are explored, which describe bulk - hinge or bulk - corner correspondences. ### Conclusion: Through the above methods, the paper provides a direct method for systematically constructing lattice Hamiltonians with known asymptotic limits, energy gaps, and Chern numbers, which is very valuable for K - theory calculations. In addition, the paper also provides a new perspective for understanding defect states in topological insulators.

A space-adiabatic approach for bulk-defect correspondences in lattice models of topological insulators

Topological Defects on the Lattice I: The Ising model

Topological Defects on the Lattice: Dualities and Degeneracies

Topological defects in lattice models and affine Temperley-Lieb algebra

A-geometrical approach to Topological Insulators with defects

Experimental discovery of bulk-disclination correspondence

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

Lattice Realizations of Topological Defects in the critical (1+1)-d Three-State Potts Model

Topological Constraints on Defect Dynamics

C*-framework for higher-order bulk-boundary correspondences

Green's Function Method for Line Defects and Gapless Modes in Topological Insulators : Beyond Semiclassical Approach

Topological Classification of Insulators: I. Non-interacting Spectrally-Gapped One-Dimensional Systems

Bulk-hole correspondence and inner robust boundary modes in singular flatband lattices

Boundary topological insulators and superconductors of Altland-Zirnbauer tenfold classes

Engineering Boundary-Dominated Topological States in Defective Hyperbolic Lattices

Bulk-LDOS Correspondence in Topological Insulators

Topological Zero-Dimensional Defect and Flux States in Three-Dimensional Insulators

Space group constraints on weak indices in topological insulators

Anomalous bulk-boundary correspondence in dimerized topological insulators

Corroborating the Bulk-Edge Correspondence in Weakly Interacting One-Dimensional Topological Insulators

Non-invertible topological defects in 4-dimensional $\mathbb{Z}_2$ pure lattice gauge theory