“…Bellissard-van Elst-Schulz-Baldes studied quantum Hall effects by means of noncommutative geometry [10,11], and Kellendonk-Richter-Schulz-Baldes went on to prove the bulk-boundary correspondence by using index theory for Toeplitz operators [40]. The study of topological insulators, especially regarding its classification and the bulk-boundary correspondence for each of the ten Altland-Zirnbauer classes by using K -theory and index theory, has been much developed [1,16,17,24,28,30,39,40,45,49,58,65,65]. In [33], three-dimensional (3-D) class A bulk periodic systems are studied on one piece of a lattice cut by two specific hyperplanes, which is a model for systems with corners.…”