Abstract
The bulk-edge correspondence predicts that interfaces between topological insulators support robust currents. We prove this principle for PDEs that are periodic away from an interface. Our approach relies on semiclassical methods. It suggests novel perspectives for the analysis of topologically protected transport.
Similar content being viewed by others
Notes
These are however not concentrated in position. This seems to be a feature of the homogenization—rather than semiclassical—scaling.
Note that from (a), \(a_\alpha (x) = {\overline{a_\alpha (x)}}\) thus the ellipticity condition is equivalent to the more standard one \(\sum _{|\alpha |=2} a_\alpha (x) \xi ^\alpha \ge c |\xi |^2\).
The power 6 is specific to the dimension \(n=2\); in general it is \(2n+2\).
The number 5 is specific to \(n=2\); in general it is \(2n+1\).
This reduces to \(\frac{h}{i}\{a,b\}\) when a or b is scalar-valued; however most operators considered below will be matrix and operator-valued.
The numbers 2 and 5 are specific to dimension \(n=2\); in general they are n and \(2n+1\), respectively.
References
Ammari, H., Fitzpatrick, B., Lee, H., Hiltunen, Orvehed, E., Yu, S.: Honeycomb-lattice Minnaert bubbles. Preprint arXiv:1811.03905
Avila, J.C., Schulz-Baldes, H., Villegas-Blas, C.: Topological invariants of edge states for periodic two-dimensional models. Math. Phys. Anal. Geom. 16, 136–170 (2013)
Bal, G.: Continuous bulk and interface description of topological insulators. J. Math. Phys. 60(8), 081506 (2019)
Beals, R.: Characterization of pseudodifferential operators and applications. Duke Math. J. 44, 45–57 (1977)
Bellissard, J., van Elst, A., Schulz-Baldes, H.: The noncommutative geometry of the quantum Hall effect. Topol. Phys. J. Math. Phys. 35(10), 5373–5451 (1994)
Berkolaiko, G., Comech, A.: Symmetry and Dirac points in graphene spectrum. J. Spectr. Theory 8(3), 1099–1147 (2018)
Berry, M.V.: Quantal phase factors accompanying adiabatic changes. Proc. R. Soc. Lond. Ser. A 392(1802), 45–57 (1984)
Bourne, C., Kellendonk, J., Rennie, A.: The K-theoretic bulk-edge correspondence for topological insulators. Ann. Henri Poincaré 18(5), 1833–1866 (2017)
Bourne, C., Rennie, A.: Chern numbers, localisation and the bulk-edge correspondence for continuous models of topological phases. Math. Phys. Anal. Geom. 21, 16 (2018)
Braverman, M.: Spectral flows of Toeplitz operators and bulk-edge correspondence. Lett. Math. Phys. 109(10), 2271–2289 (2019)
Buslaev, V.S.: Semiclassical approximation for equations with periodic coefficients. Russ. Math. Surv. 42, 97–125 (1987)
Combes, J.-M., Germinet, F.: Edge and impurity effects on quantization of Hall currents. Commun. Math. Phys. 256(1), 159–180 (2005)
Delplace, P., Marston, J.B., Venaille, A.: Topological origin of equatorial waves. Science 358(6366), 1075–1077 (2017)
Dimassi, M.: Asymptotic expansions of slow perturbations of the periodic Schrödinger operator. Commun. Partial Differ. Equ. 18(5–6), 771–803 (1993)
Dimassi, M., Duong, A.T.: Trace asymptotics formula for the Schrödinger operators with constant magnetic fields. J. Math. Anal. Appl. 416(1), 427–448 (2014)
Dimassi, M., Guillot, J.C., Ralston, J.: Semiclassical asymptotics in magnetic Bloch bands. J. Phys. A 35(35), 7597–7605 (2002)
Dimassi, M., Guillot, J.C., Ralston, J.: On effective Hamiltonians for adiabatic perturbations of magnetic Schrödinger operators. Asymptot. Anal. 40(2), 137–146 (2004)
Dimassi, M., Sjöstrand, J.: Spectral Asymptotics in the Semi-Classical Limit. Lecture Note Series, vol. 268. London Mathematical Society, London (1999)
Dimassi, M., Zerzeri, M.: A local trace formula for resonances of perturbed periodic Schrödinger operators. J. Funct. Anal. 198(1), 142–159 (2003)
Drouot, A.: The bulk-edge correspondence for continuous dislocated systems. Preprint arXiv:1810.10603
Drouot, A.: Characterization of edge states in perturbed honeycomb structures. Pure Appl. Anal. 1(3), 385–445 (2019)
Drouot, A.: The bulk-edge correspondence for continuous honeycomb lattices. Commun. Partial Differ. Equ. 44(12), 1406–1430 (2019)
Drouot, A.: Ubiquity of conical points in topological insulators. Preprint arXiv:004.07068
Drouot, A., Weinstein, M.: Edge states and the Valley Hall Effect. Preprint arXiv:1910.03509
Drouot, A., Fefferman, C.L., Weinstein, M.I.: Defect modes for dislocated periodic media. Preprint arXiv:1810.05875
Dyn’kin, E.M.: An operator calculus based upon the Cauchy-Green formula. J. Soviet Math. 4(4), 329–34 (1975)
Elbau, P., Graf, G.M.: Equality of bulk and edge Hall conductances revisted. Commun. Math. Phys. 229, 415–432 (2002)
Elgart, A., Graf, G.M., Schenker, J.H.: Equality of the bulk and the edge Hall conductances in a mobility gap. Commun. Math. Phys. 259, 185–221 (2005)
Faure, F.: Manifestation of the topological index formula in quantum waves and geophysical waves. Preprint arXiv:1901.10592
Fedosov, B.V.: A direct proof of the formula for the index of an elliptic system in Euclidean space. Funkcional. Anal. i Prilozen. 4(4), 83–84 (1970)
Fefferman, C.L., Lee-Thorp, J.P., Weinstein, M.I.: Edge states in honeycomb structures. Ann. PDE 2, 12 (2016)
Fefferman, C.L., Lee-Thorp, J.P., Weinstein, M.I.: Topologically protected states in one-dimensional systems. vol. 247, No. 1173. Memoirs of the American Mathematical Society (2017)
Fefferman, C.L., Lee-Thorp, J.P., Weinstein, M.I.: Honeycomb Schroedinger operators in the strong-binding regime. Commun. Pure Appl. Math. 71(6), 1178–1270 (2018)
Fefferman, C.L., Weinstein, M.I.: Honeycomb lattice potentials and Dirac points. J. Am. Math. Soc. 25(4), 1169–1220 (2012)
Freund, S., Teufel, S.: Peierls substitution for magnetic Bloch bands. Anal. PDE 9(4), 773–811 (2016)
Gérard, C., Martinez, A., Sjöstrand, S.: A mathematical approach to the effective Hamiltonian in perturbed periodic problems. Commun. Math. Phys. 142, 217–244 (1991)
Graf, G.M., Porta, M.: Bulk-edge correspondence for two-dimensional topological insulators. Commun. Math. Phys. 324(3), 851–895 (2012)
Graf, G.M., Shapiro, J.: The bulk-edge correspondence for disordered chiral chains. Commun. Math. Phys. 363(3), 829–846 (2018)
Graf, G.M., Tauber, C.: Bulk-edge correspondence for two-dimensional Floquet topological insulators. Ann. Henri Poincaré 19(3), 709–741 (2018)
Guillot, J.C., Ralston, J., Trubowitz, E.: Semi-classical methods in solid state physics. Commun. Math. Phys. 116, 401–415 (1988)
Haldane, F.D.M., Raghu, S.: Possible realization of directional optical waveguides in photonic crystals with broken time-reversal symmetry. Phys. Rev. Lett. 100(1), 013904 (2008)
Halperin, B.I.: Quantized Hall conductance, current-carrying edge states, and the existence of extended states in a two-dimensional disordered potential. Phys. Rev. B 25(4), 2185–2190 (1982)
Hatsugai, Y.: The Chern number and edge states in the integer quantum hall effect. Phys. Rev. Lett. 71, 3697–3700 (1993)
Helffer, B., Sjöstrand, J.: Equation de Schrödinger avec champ magnétique et équation de Harper. Lecture Notes in Physics, vol. 345. Springer, Berlin (1989)
Helffer, B., Sjöstrand, J.: On diamagnetism and de Haas-van Alphen effect. Ann. Inst. H. Poincaré Phys. Théor. 52(4), 303–375 (1990)
Hörmander, L.: The Analysis of Linear Partial Differential Operators. III. Pseudodifferential Operators, vol. 274. Springer-Verlag, Berlin (1985)
Karpeshina, Y.: Spectral properties of the periodic magnetic Schrödinger operator in the high-energy region. Two-dimensional case. Commun. Math. Phys. 251(3), 473–514 (2004)
Kellendonk, J., Richter, T., Schulz-Baldes, H.: Edge current channels and Chern numbers in the integer quantum Hall effect. Rev. Math. Phys. 14(1), 87–119 (2002)
Kellendonk, J., Schulz-Baldes, H.: Quantization of edge currents for continuous magnetic operators. J. Funct. Anal. 209(2), 388–413 (2004)
Kellendonk, J., Schulz-Baldes, H.: Boundary maps for crossed products with an application to the quantum Hall effect. Commun. Math. Phys. 3(3), 611–637 (2004)
Khanikaev, A.B., Mousavi, S.H., Tse, W.-K., Kargarian, M., MacDonald, A.H., Shvets, G.: Photonic topological insulators. Nat. Mater. 12(3), 233–239 (2013)
Kubota, Y.: Controlled topological phases and bulk-edge correspondence. Commun. Math. Phys. 349(2), 493–525 (2017)
Kuchment, P.A.: An overview of periodic elliptic operators. Bull. Am. Math. Soc. 53(3), 343–414 (2016)
Lee-Thorp, J.P., Weinstein, M.I., Zhu, Y.: Elliptic operators with honeycomb symmetry: dirac points, edge states and applications to photonic graphene. Arch. Ration. Mech. Anal. 232, 1–63 (2019)
Monaco, D.: Chern and Fu-Kane-Mele Invariants as Topological Obstructions. Advances in Quantum Mechanics, vol. 18, pp. 201–222. Springer, Berlin (2017)
Mohamed, A.: Asymptotic of the density of states for the Schrödinger operator with periodic electromagnetic potential. J. Math. Phys. 38(8), 4023–4051 (1997)
Moore, J.D.: Lectures on Seiberg–Witten Invariants. Lecture Notes in Mathematics, vol. 1629. Springer, Berlin (2001)
Panati, G.: Triviality of Bloch and Bloch-Dirac bundles. Ann. Henri Poincaré 8(5), 995–1011 (2007)
Panati, G., Spohn, H., Teufel, S.: Space-adiabatic perturbation theory. Adv. Theor. Math. Phys. 7(1), 145–204 (2003)
Panati, G., Spohn, H., Teufel, S.: Effective dynamics for Bloch electrons: Peierls substitution and beyond. Commun. Math. Phys. 242(3), 547–578 (2003)
Parnovski, L., Sobolev, A.: Bethe-Sommerfeld conjecture for periodic operators with strong perturbations. Invent. Math. 181(3), 467–540 (2010)
Perrot, M., Delplace, P., Venaille, A.: Topological transition in stratified fluids. Nat. Phys. 15, 781–784 (2019)
Raghu, S., Haldane, F.D.M.: Analogs of quantum-Hall-effect edge states in photonic crystals. Phys. Rev. A 78(3), 033834 (2008)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics: Analysis of Operators, vol. IV. Academic Press, Cambridge (1978)
Shapiro, J., Tauber, C.: Strongly disordered Floquet topological systems. Ann. Henri Poincaré 20(6), 1837–1875 (2019)
Simon, B.: Holonomy, the quantum adiabatic theorem, and Berry’s phase. Phys. Rev. Lett. 51(24), 2167 (1983)
Sjöstrand, J., Zworski, M.: Complex scaling and the distribution of scattering poles. J. Am. Math. Soc. 4(4), 729–769 (1991)
Sjöstrand, J., Zworski, M.: Elementary linear algebra for advanced spectral problems. Ann. Inst. Fourier 57(7), 2095–2141 (2007)
Taarabt, A.: Equality of bulk and edge Hall conductances for continuous magnetic random Schrödinger operators. Preprint arXiv:1403.7767
Thouless, D.J., Kohmoto, M., Nightgale, M.P., Den Nijs, M.: Quantized Hall conductance in a two-dimensional periodic potential. Phys. Rev. Lett. 49, 405 (1982)
Waterstraat, N.: Fredholm operators and spectral flow. Lecture notes arXiv:1603.02009
Yang, Z., Gao, F., Shi, X., Lin, X., Gao, Z., Chong, Y., Zhang, B.: Topological acoustics. Phys. Rev. Lett. 114, 114301 (2015)
Zworski, M.: Semiclassical Analysis. Graduate Studies in Mathematics, vol. 138. American Mathematical Society, Providence (2012)
Acknowledgements
I am grateful to F. Faure, J. Shapiro, M. I. Weinstein and M. Zworski for valuable discussions; and to the anonymous referee for their careful reading and constructive comments. I thankfully acknowledge support from NSF DMS-1440140 (MSRI, Fall 2019) and DMS-1800086, and from the Simons Foundation through M. I. Weinstein’s Math+X investigator award #376319.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by W. Schlag
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A
Appendix A
Lemma A.1
For any \(\nu \in {\mathbb {Z}}\), there exists \(a(\xi ) \in C^\infty ({\mathbb {R}}^2,{\mathbb {C}}^2)\) such that the line \({\mathbb {C}}a(\xi )\) is \((2\pi {\mathbb {Z}})^2\)-periodic in \(\xi \); and the vector bundle \({\mathbb {C}}a \rightarrow {{\mathbb {T}}}^2_*\) has Chern number \(-\nu \).
Proof
1. Fix \(\varepsilon > 0\), \(\alpha (\xi _1), \beta (\xi _1) \in C^\infty ({\mathbb {R}},{\mathbb {R}})\), both \(2\pi \)-periodic, with
Let \(M_\varepsilon (\xi ) \in C^\infty \big ({\mathbb {R}}^2,M_2({\mathbb {C}})\big )\) be given by
For any \(\xi \in {\mathbb {R}}^2\), \(M_\varepsilon (\xi )\) has a unique negative eigenvalue. Since \({\mathbb {R}}^2\) is contractible [M01, §1], \(M_\varepsilon (\xi )\) admits a normalized negative-energy eigenvector \(a_\varepsilon (\xi ) \in C^\infty ({\mathbb {R}}^2,{\mathbb {C}}^2)\). Since \(M_\varepsilon (\xi )\) is \((2\pi {\mathbb {Z}})^2\)-periodic, the eigenspace \({\mathbb {C}}a_\varepsilon (\xi )\) is \((2\pi {\mathbb {Z}})^2\)-periodic. Thus it induces a vector bundle \({\mathbb {C}}a_\varepsilon \rightarrow {{\mathbb {T}}}^2_*\).
2. The eigenprojector of M associated to the negative eigenvalue is
Thus the Berry curvature of \({\mathbb {C}}a_\varepsilon \rightarrow {{\mathbb {T}}}^2_*\) is
We observe that as \(\varepsilon \rightarrow 0\), the convergences
are uniform. Moreover, for \(\xi _1 \in [-1,1]\), \(\alpha (\xi _1)^2+\beta (\xi _1)^2\) is bounded below by a positive constant. We deduce that \(B_\varepsilon (\xi ) \rightarrow 0\) uniformly away from \([-1,1] \times [-\pi ,\pi ]\).
3. When \(\xi _1 \in [-1,1]\), we have
A direct calculation, see e.g. [D18, Lemma 6.3] shows that
It follows that if \(\varepsilon \) is sufficiently small, then the Chern number of \({\mathbb {C}}a_\varepsilon \rightarrow {{\mathbb {T}}}^2_*\) is \(-\nu \), as claimed. This completes the proof. \(\quad \square \)
Rights and permissions
About this article
Cite this article
Drouot, A. Microlocal Analysis of the Bulk-Edge Correspondence. Commun. Math. Phys. 383, 2069–2112 (2021). https://doi.org/10.1007/s00220-020-03864-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03864-4