-
Edge spectrum for truncated $\mathbb{Z}_2$-insulators
Authors:
Alexis Drouot,
Jacob Shapiro,
Xiaowen Zhu
Abstract:
Fermionic time-reversal-invariant insulators in two dimensions -- class AII in the Kitaev table -- come in two different topological phases. These are characterized by a $\mathbb{Z}_2$-index: the Fu-Kane-Mele index. We prove that if two such insulators with different indices occupy regions containing arbitrarily large balls, then the spectrum of the resulting operator fills the bulk spectral gap.…
▽ More
Fermionic time-reversal-invariant insulators in two dimensions -- class AII in the Kitaev table -- come in two different topological phases. These are characterized by a $\mathbb{Z}_2$-index: the Fu-Kane-Mele index. We prove that if two such insulators with different indices occupy regions containing arbitrarily large balls, then the spectrum of the resulting operator fills the bulk spectral gap. Our argument follows a proof by contradiction developed in an earlier work by two of the authors for quantum Hall systems. It boils down to showing that the $\mathbb{Z}_2$-index can be computed only from bulk information in sufficiently large balls. This is achieved via a result of independent interest: a local trace formula for the $\mathbb{Z}_2$-index.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Absolutely continuous spectrum for truncated topological insulators
Authors:
Alexis Drouot,
Jacob Shapiro,
Xiaowen Zhu
Abstract:
We show that if a topological insulator is truncated along a curve that separates the plane in two sufficiently large regions, then the edge system admits absolutely continuous spectrum. Our approach combines a recent version of the bulk-edge correspondence along curves that separates geometry and intrinsic conductance [DZ24], with a result about absolutely continuous spectrum for straight edges […
▽ More
We show that if a topological insulator is truncated along a curve that separates the plane in two sufficiently large regions, then the edge system admits absolutely continuous spectrum. Our approach combines a recent version of the bulk-edge correspondence along curves that separates geometry and intrinsic conductance [DZ24], with a result about absolutely continuous spectrum for straight edges [BW22].
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Band spectrum singularities for Schrödinger operators
Authors:
Alexis Drouot,
Curtiss Lyman
Abstract:
In this paper, we develop a systematic framework to study the dispersion surfaces of Schrödinger operators $ -Δ+ V$, where the potential $V \in C^\infty(\mathbb{R}^n,\mathbb{R})$ is periodic with respect to a lattice $Λ\subset \mathbb{R}^n$ and respects the symmetries of $Λ$. Our analysis relies on an abstract result, that expands on a seminal work of Fefferman--Weinstein \cite{feffer12}: if an op…
▽ More
In this paper, we develop a systematic framework to study the dispersion surfaces of Schrödinger operators $ -Δ+ V$, where the potential $V \in C^\infty(\mathbb{R}^n,\mathbb{R})$ is periodic with respect to a lattice $Λ\subset \mathbb{R}^n$ and respects the symmetries of $Λ$. Our analysis relies on an abstract result, that expands on a seminal work of Fefferman--Weinstein \cite{feffer12}: if an operator depends analytically on a parameter, then so do its eigenvalues and eigenprojectors away from a discrete set. As an application, we describe the generic structure of some singularities in the band spectrum of Schrödinger operators invariant under the three-dimensional simple, body-centered and face-centered cubic lattices.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
The bulk-edge correspondence for curved interfaces
Authors:
Alexis Drouot,
Xiaowen Zhu
Abstract:
The bulk-edge correspondence is a condensed matter theorem that relates the conductance of a Hall insulator in a half-plane to that of its (straight) boundary. In this work, we extend this result to domains with curved boundaries.
Under mild geometric assumptions, we prove that the edge conductance of a topological insulator sample is an integer multiple of its Hall conductance. This integer cou…
▽ More
The bulk-edge correspondence is a condensed matter theorem that relates the conductance of a Hall insulator in a half-plane to that of its (straight) boundary. In this work, we extend this result to domains with curved boundaries.
Under mild geometric assumptions, we prove that the edge conductance of a topological insulator sample is an integer multiple of its Hall conductance. This integer counts the algebraic number of times that the interface (suitably oriented) enters the measurement set. This result provides a rigorous proof of a well-known experimental observation: arbitrarily truncated topological insulators support edge currents, regardless of the shape of their boundary.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Topological edge spectrum along curved interfaces
Authors:
Alexis Drouot,
Xiaowen Zhu
Abstract:
We prove that that if the boundary of a topological insulator divides the plane in two regions containing arbitrarily large balls, then it acts as a conductor. Conversely, we show that topological insulators that fit within strips do not need to admit conducting boundary modes.
We prove that that if the boundary of a topological insulator divides the plane in two regions containing arbitrarily large balls, then it acts as a conductor. Conversely, we show that topological insulators that fit within strips do not need to admit conducting boundary modes.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Topological insulators in semiclassical regime
Authors:
Alexis Drouot
Abstract:
We study solutions of $2 \times 2$ systems $(h D_t + \mathcal{D}) Ψ_t = 0$ on $\mathbb{R}^2$ in the semiclassical regime $h \rightarrow 0$. Our Dirac operator $\mathcal{D}$ is a standard model for interfaces between topological insulators: it represents a semimetal at null energy, and distinct topological phases at positive / negative energies. Its semiclassical symbol has two opposite eigenvalues…
▽ More
We study solutions of $2 \times 2$ systems $(h D_t + \mathcal{D}) Ψ_t = 0$ on $\mathbb{R}^2$ in the semiclassical regime $h \rightarrow 0$. Our Dirac operator $\mathcal{D}$ is a standard model for interfaces between topological insulators: it represents a semimetal at null energy, and distinct topological phases at positive / negative energies. Its semiclassical symbol has two opposite eigenvalues, intersecting conically along the curve $Γ$ of positions / momenta where the material behaves like a semimetal.
We prove that wavepackets solving $(h D_t + \mathcal{D}) Ψ_t = 0$, initially concentrated in phase space on $Γ$, split in two parts. The first part travels coherently along $Γ$ with predetermined direction and speed. It is the dynamical manifestation of the famous "edge state". The second part immediately collapses.
Our approach consists of: (i) a Fourier integral operator reduction; (ii) a careful WKB analysis of a canonical model; (iii) a reconstruction procedure. It yields concrete formulas for the speed and profile of the traveling modes. As applications, we analytically describe dynamical edge states for models of magnetic, curved, and strained topological insulators.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Magnetic slowdown of topological edge states
Authors:
Guillaume Bal,
Simon Becker,
Alexis Drouot
Abstract:
We study the propagation of wavepackets along curved interfaces between topological, magnetic materials. Our Hamiltonian is a massive Dirac operator with a magnetic potential. We construct semiclassical wavepackets propagating along the curved interface as adiabatic modulations of straight edge states under constant magnetic fields. While in the magnetic-free case, the wavepackets propagate cohere…
▽ More
We study the propagation of wavepackets along curved interfaces between topological, magnetic materials. Our Hamiltonian is a massive Dirac operator with a magnetic potential. We construct semiclassical wavepackets propagating along the curved interface as adiabatic modulations of straight edge states under constant magnetic fields. While in the magnetic-free case, the wavepackets propagate coherently at speed one, here they experience slowdown, dispersion, and Aharonov - Bohm effects. Several numerical simulations illustrate our results.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Edge state dynamics along curved interfaces
Authors:
Guillaume Bal,
Simon Becker,
Alexis Drouot,
Clotilde Fermanian Kammerer,
Jianfeng Lu,
Alexander Watson
Abstract:
We study the propagation of wavepackets along weakly curved interfaces between topologically distinct media. Our Hamiltonian is an adiabatic modulation of Dirac operators omnipresent in the topological insulators literature. Using explicit formulas for straight edges, we construct a family of solutions that propagates, for long times, unidirectionally and dispersion-free along the curved edge. We…
▽ More
We study the propagation of wavepackets along weakly curved interfaces between topologically distinct media. Our Hamiltonian is an adiabatic modulation of Dirac operators omnipresent in the topological insulators literature. Using explicit formulas for straight edges, we construct a family of solutions that propagates, for long times, unidirectionally and dispersion-free along the curved edge. We illustrate our results through various numerical simulations.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Ubiquity of conical points in topological insulators
Authors:
Alexis Drouot
Abstract:
We show that generically, the degeneracies of a family of Hermitian matrices depending on three parameters have a conical structure. Our result applies to the study of topological phases of matter. It implies that adiabatic deformations of two-dimensional topological insulators come generically with Dirac-like propagating currents, whose total conductivity equals the chiral number of conical point…
▽ More
We show that generically, the degeneracies of a family of Hermitian matrices depending on three parameters have a conical structure. Our result applies to the study of topological phases of matter. It implies that adiabatic deformations of two-dimensional topological insulators come generically with Dirac-like propagating currents, whose total conductivity equals the chiral number of conical points.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Edge states and the Valley Hall Effect
Authors:
A. Drouot,
M. I. Weinstein
Abstract:
We study energy propagation along line-defects (edges) in 2D continuous, energy preserving periodic media. The unperturbed medium (bulk) is modeled by a honeycomb Schroedinger operator, which is periodic with respect to the triangular lattice, invariant under parity, P, and complex-conjugation, C. A honeycomb operator has Dirac points: two dispersion surfaces touch conically at an energy level,…
▽ More
We study energy propagation along line-defects (edges) in 2D continuous, energy preserving periodic media. The unperturbed medium (bulk) is modeled by a honeycomb Schroedinger operator, which is periodic with respect to the triangular lattice, invariant under parity, P, and complex-conjugation, C. A honeycomb operator has Dirac points: two dispersion surfaces touch conically at an energy level, $E_D$ [25,27]. Periodic perturbations which break P or C open a gap in the essential spectrum about energy $E_D$. Such operators model an insulator near energy $E_D$. Our edge operator is a small perturbation of the bulk and models a transition (via a domain wall) between distinct periodic, P or C breaking perturbations. The edge operator permits energy transport along the line-defect. The associated energy channels are called edge states. They are time-harmonic solutions which are localized near and propagating along the line-defect. We completely characterize the edge state spectrum within the bulk spectral gap about $E_D$. At the center of our analysis is an expansion of the edge operator resolvent for energies near $E_D$. The leading term features the resolvent of an effective Dirac operator. Edge state eigenvalues are poles of the resolvent, which bifurcate from the Dirac point. The corresponding eigenstates have the multiscale structure identified in [23]. We extend earlier work on zigzag-type edges [14] to all rational edges. We elucidate the role in edge state formation played by the type of symmetry-breaking and the orientation of the edge. We prove the resolvent expansion by a new direct and transparent strategy. Our results provide a rigorous explanation of the numerical observations [22,38}; see also the photonic experimental study in [42]. Finally, we discuss implications for the Valley Hall Effect, which concerns quantum Hall-like energy transport in honeycomb structures.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Microlocal analysis of the bulk-edge correspondence
Authors:
Alexis Drouot
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.
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.
△ Less
Submitted 3 November, 2019; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Bound states for rapidly oscillatory Schrödinger operators in dimension 2
Authors:
Alexis Drouot
Abstract:
We study the eigenvalues of Schrödinger operators on $\mathbb{R}^2$ with rapidly oscillatory potential $V(x) = W(x,x/\varepsilon)$, where $W(x,y) \in C^\infty_0(\mathbb{R}^2 \times \mathbb{T}^2)$ satisfies $\int_{\mathbb{T}^2} W(x,y) dy =0$. We show that for $\varepsilon$ small enough, such operators have a unique negative eigenvalue, that is exponentially close to $0$.
We study the eigenvalues of Schrödinger operators on $\mathbb{R}^2$ with rapidly oscillatory potential $V(x) = W(x,x/\varepsilon)$, where $W(x,y) \in C^\infty_0(\mathbb{R}^2 \times \mathbb{T}^2)$ satisfies $\int_{\mathbb{T}^2} W(x,y) dy =0$. We show that for $\varepsilon$ small enough, such operators have a unique negative eigenvalue, that is exponentially close to $0$.
△ Less
Submitted 11 January, 2017; v1 submitted 2 September, 2016;
originally announced September 2016.
-
A quantitative version of Hawking radiation
Authors:
Alexis Drouot
Abstract:
We present a proof of the existence of the Hawking radiation for massive bosons in the Schwarzchild-de Sitter metric. It provides estimates for the rates of decay of the initial quantum state to the Hawking thermal state. The arguments in the proof include a construction of radiation fields by conformal scattering theory; a semiclassical interpretation of the blueshift effect; and the use of a WKB…
▽ More
We present a proof of the existence of the Hawking radiation for massive bosons in the Schwarzchild-de Sitter metric. It provides estimates for the rates of decay of the initial quantum state to the Hawking thermal state. The arguments in the proof include a construction of radiation fields by conformal scattering theory; a semiclassical interpretation of the blueshift effect; and the use of a WKB parametrix near the surface of a collapsing star. The proof does not rely on the spherical symmetry of the spacetime.
△ Less
Submitted 8 October, 2015;
originally announced October 2015.
-
Scattering resonances for highly oscillatory potentials
Authors:
Alexis Drouot
Abstract:
We study resonances of compactly supported potentials $ V_\varepsilon = W ( x, x/\varepsilon ) $ where $ W : \mathbb{R}^d \times \mathbb{R}^d / ( 2π\mathbb{Z}) ^d \to \mathbb{C} $, $ d $ odd. That means that $ V_\varepsilon $ is a sum of a slowly varying potential, $ W_0 ( x) $, and one oscillating at frequency $1/\varepsilon$. For $ W_0 \equiv 0 $ we prove that there are no resonances above the l…
▽ More
We study resonances of compactly supported potentials $ V_\varepsilon = W ( x, x/\varepsilon ) $ where $ W : \mathbb{R}^d \times \mathbb{R}^d / ( 2π\mathbb{Z}) ^d \to \mathbb{C} $, $ d $ odd. That means that $ V_\varepsilon $ is a sum of a slowly varying potential, $ W_0 ( x) $, and one oscillating at frequency $1/\varepsilon$. For $ W_0 \equiv 0 $ we prove that there are no resonances above the line $\text{Im} λ= -A \ln(\varepsilon^{-1})$, except possibly a simple resonance of modulus $\sim \varepsilon^2$, when $ d=1$. We show that this result is optimal by constructing a one-dimensional example. In the case when $ W_0 \neq 0 $ we prove that resonances in fixed strips admit an expansion in powers of $\varepsilon$. The argument provides a method for computing the coefficients of the expansion. In particular we produce an effective potential converging uniformly to $W_0$ as $\varepsilon \rightarrow 0$ and whose resonances approach resonances of $V_\varepsilon$ modulo $O(\varepsilon^4)$.
△ Less
Submitted 30 September, 2016; v1 submitted 14 September, 2015;
originally announced September 2015.
-
A quantitative version of the Catlin-D'Angelo-Quillen theorem
Authors:
Alexis Drouot,
Maciej Zworski
Abstract:
A theorem proved by Quillen and by Catlin and D'Angelo states that a bi-homogeneous form on a multidimensional complex space which is positive away from zero can be written as a sum of squares of absolute values of polynomials once it is multiplied by the norm raised to a sufficiently high even power.
In this note we provide a quantitative version of this theorem by giving an upper bound on the…
▽ More
A theorem proved by Quillen and by Catlin and D'Angelo states that a bi-homogeneous form on a multidimensional complex space which is positive away from zero can be written as a sum of squares of absolute values of polynomials once it is multiplied by the norm raised to a sufficiently high even power.
In this note we provide a quantitative version of this theorem by giving an upper bound on the minimal power. This bound is roughly C_f (n+m)^3 log(n)^3, where n is the dimension and m the degree of the form, and C_f is a multiplicative constant depending only on f, inversely proportional to the minimum of f on the sphere.
△ Less
Submitted 6 June, 2012; v1 submitted 14 May, 2012;
originally announced May 2012.
