Abstract
We show that non-trivial two-dimensional topological insulators protected by an odd time-reversal symmetry have absolutely continuous edge spectrum. To accomplish this, we establish a time-reversal symmetric version of the Wold decomposition that singles out extended edge modes of the topological insulator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Hall insulators support extended chiral edge modes [17]. In a free electron description, these edge modes are associated with absolutely continuous spectrum filling the bulk gap of the single particle Hamiltonian. The presence of absolutely continuous spectrum has been proven for the Landau Hamiltonian with weak disorder and a steep edge potential or appropriate half-plane boundary conditions using Mourre estimates [9, 12, 15, 18, 24], and recently for Hall insulators on the lattice using index theory [8].
The question naturally arises whether such extended modes are also present in topological insulators that are protected by an odd time-reversal symmetry, and for which the Hall conductance vanishes. Because of the time-reversal symmetry any left moving edge mode has a companion right moving edge mode so Mourre estimates, which apply only when the edge modes are strictly chiral, cannot be applied in a straighforward way to answer this question. In this note, we use index theory to show that absolutely continuous edge spectrum filling the bulk gap follows from a non-trivial \(\mathbb {Z}_2\)-valued bulk index.
We appeal to the bulk-edge correspondence for time-reversal invariant topological insulators [2, 7, 14, 16] which links the bulk index to an edge index associated with a time-reversal symmetric unitary acting on the edge modes, the “edge unitary,” which is a smooth function of the edge Hamiltonian. Inspired by [4], we prove a symmetric Wold decomposition for such unitaries which, when applied to the edge unitary, identifies counter propagating edge channels which are localized near the edge. This implies in particular that the absolutely continuous spectrum of this unitary covers the whole unit circle if the edge index is non-trivial. The Hamiltonian describing the system with edge is then shown to inherit this absolutely continuous spectrum from the edge unitary.
The symmetric Wold decomposition is the crucial technical novelty presented in this paper. This decomposition applies to any unitary U and projection P such that \(U^* P U - P\) is compact, and \(\tau U \tau ^* = U^*\) while \(\tau P \tau ^* = P\) for an anti-unitary \(\tau \) with \(\tau ^2 = -1\). To any such pair, we can assign a \(\mathbb {Z}_2\)-valued index which counts the parity of Kramers pairs moved by U into/out of the range of P. If this \(\mathbb {Z}_2\)-valued index is non-trivial, then we can find a unitary W which is a compact perturbation of U, and the symmetric Wold decomposition identifies a shift and counter shift in W, i.e.one can decompose \(W \simeq S \oplus S^* \oplus W_{\text {triv}}\) where S is the bilateral shift and \(W_{\text {triv}}\) is a unitary that leaves the range of P invariant. If \(U^* P U - P\) is actually trace-class then we can take W to be a trace-class perturbation of U. Since W contains a shift its absolutely continuous spectrum covers the whole unit circle, and since absolutely continuous spectrum is stable under trace-class perturbations [20, 25], the same is true for U.
2 Setup and results
2.1 Edge spectrum of time-reversal symmetric topological insulators
We consider free electrons moving on the lattice \(\mathbb {Z}^2\) modeled by a bulk Hamiltonian H on \(\ell ^2(\mathbb {Z}^2, {\mathbb {C}}^n)\) that is exponentially local in the sense that there are constants \(C < \infty \), \(\xi > 0\) such that
for all \(\vec x, \vec y \in \mathbb {Z}^2\), where \(P_{\vec x}\) denotes the projection onto the site at \(\vec x\).
Moreover, we take H to be invariant under an odd time-reversal symmetry, i.e.there is an anti-unitary operator \(\tau \) with \(\tau ^2 = -{{\,\mathrm{\mathbb {1}}\,}}\) such that \(\tau H \tau ^* = H\). The time-reversal symmetry is further assumed to act “on-site” meaning that \(\tau X_i \tau ^* = X_i\) for \(i = 1, 2\) where \(X_i\) denotes the position operator in the i-direction. We further assume that H has a bulk gap, i.e.that for some open interval \(\Delta \subset {\mathbb {R}}\)
For any \(\mu \in \Delta \) we denote the Fermi projection by \(P_F = \chi _{\le \mu }(H)\).
We define a unitary that models the insertion of a unit of magnetic flux at the origin in the bulk of the system:
with \(\vec X = (X_1, X_2)\) the vector of position operators and \(\arg (x_1, x_2) = \arctan (x_2 / x_1)\). It follows from the discussion around Lemma 1 in [1] that the difference \(A_B:= U_B P_F U_B^* - P_F\) is compact, so we can define a \(\mathbb {Z}_2\)-valued bulk index
This bulk index for odd time-reversal invariant topological insulators was first defined in an equivalent form in [26], the form given here first appeared in [21]. It is a non-commutative extension of the Kane-Mele invariant [19] and related to the index of a pair of projections introduced in [6]. Note that this index only depends on the gap \(\Delta \) but not on the choice of \(\mu \in \Delta \).
With the bulk Hamiltonian H, we associate a half-space Hamiltonian \(\hat{H}\) on the half-space \(\ell ^2(\mathbb {Z}\times {\mathbb N}, {\mathbb {C}}^n)\) that is also exponentially local and agrees with the bulk Hamiltonian in the bulk in the sense that
for some \(C < \infty , \xi , \xi ' > 0\) and all \(\vec x, \vec y \in \mathbb {Z}\times {\mathbb N}\). Here \(\iota :\ell ^2(\mathbb {Z}\times {\mathbb N}, {\mathbb {C}}^n) \rightarrow \ell ^2(\mathbb {Z}\times \mathbb {Z}, {\mathbb {C}}^n)\) denotes the injection that is induced by the natural inclusion of the half-space lattice \(\mathbb {Z}\times {\mathbb N}\) in the bulk lattice \(\mathbb {Z}\times \mathbb {Z}\). Since the time-reversal symmetry \(\tau \) acts on-site, it naturally restricts to the half-space and we denote this restriction also by \(\tau \). We assume that the half-space Hamiltonian is also time-reversal invariant, i.e. \(\tau \hat{H} \tau ^* = \hat{H}\).
The main result of the paper is the following:
Theorem 2.1
If \({\mathrm{ind\,}}_{2}^B(H, \Delta ) = 1\) then
i.e.the half-space Hamiltonian \(\hat{H}\) has absolutely continuous spectrum everywhere in the bulk gap.
Remark 2.2
We recall that the classification of gapped free-fermion systems that are constrained by on-site unitary, time-reversal, particle-hole and/or chiral symmetries reduces to the classification of gapped free-fermion systems belonging to one of the symmetry classes of the tenfold way [3]. The classification is summarized in the periodic table of topological insulators and superconductors of [23] of which we reproduce the entries for two-dimensional systems in Table 1.
Note that all symmetry classes with a potentially non-trivial \(\mathbb {Z}_2\)-valued index in two dimensions have an odd time-reversal symmetry, and have their \(\mathbb {Z}_2\)-index given by the same bulk index (2.3), see Theorem 2 of [22]. It follows that our Theorem 2.1 applies to all these classes.
Similarly, for all symmetry classes with a \(\mathbb {Z}\)-valued index in two dimensions the index is given by the bulk Chern number, see [22, Theorem 1]. For all those symmetry classes absolute continuity of the edge spectrum follows from [8]. Theorem 2.1 above together with [8] therefore covers all non-trivial cases of two-dimensional free-fermion topological insulators and superconductors, see Table 1.
2.2 Time-reversal symmetric Wold decomposition
In order to prove Theorem 2.1 we will construct in Sect. 3.1 an edge unitary \(U_E\) that acts on the edge modes of the half-space Hamiltonian \(\hat{H}\). The main theorem will then follow from an application of the following time-reversal symmetric extension of Theorem 2.1 of [4] to the edge unitary:
Theorem 2.3
Let U be a unitary and P a projection acting on a separable Hilbert space \({\mathcal {H}}\) such that \(A = U P U^* - P\) is compact. Moreover, assume that \(\tau U \tau ^* = U^*\) and \(\tau P \tau ^* = P\) for an odd time-reversal symmetry \(\tau \). Then there exists a unitary W with \(U - W\) compact and \(\tau W \tau ^* = W^*\) such that:
-
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\,2 = 0\), then \([W, P] = 0\).
-
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\,2 = 1\), then there is a decomposition of the Hilbert space \({\mathcal {H}}= {\mathcal {H}}' \oplus {\mathcal {H}}''\) such that the projection P decomposes as \(P = P' \oplus P''\) and the unitary W decomposes as \(W = S \oplus W_\textrm{triv}\) where \([W_\textrm{triv}, P''] = 0\) and the unitary S which we define in Eq. (2.7) consists of two opposite shift operators and therefore has absolutely continuous spectrum covering the whole unit circle.
Moreover, if A is Schatten-p, then so is \(U - W\).
Since the absolutely continuous spectrum of an operator is stable under trace-class perturbations, Theorem 2.3 immediately implies
Corollary 2.4
Let U be a unitary and P a projection such that \(A = U P U^* - P\) is trace-class. Moreover, assume that \(\tau U \tau ^* = U^*\) and \(\tau P \tau ^* = P\) for an odd time-reversal symmetry \(\tau \). Then, if \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\) the absolutely continuous spectrum of U covers the whole unit circle.
The unitary S appearing in the statement of Theorem 2.3 is defined as follows: Consider the Hilbert space \(\ell ^2(\mathbb {Z}, {\mathbb {C}}^2) = \ell ^2(\mathbb {Z}) \otimes {\mathbb {C}}^2\) with orthonormal basis \(\{\vert x,\pm \rangle \}_{x \in \mathbb {Z}}\) labeled by position and \(\sigma _z\)-eigenstates. On this Hilbert space, consider the odd time-reversal symmetry
where K is complex conjugation with respect to the basis \(\{\vert x,\pm \rangle \}_{x \in \mathbb {Z}}\). Then S acts as the right shift on the spin-up sector and the left shift on the spin-down sector, i.e.
for all \(x \in \mathbb {Z}\). Since S contains two copies of the shift operator, it has absolutely continuous spectrum covering the whole unit circle. Moreover, it is straightforward to verify that the \(\tau \) above is an odd time-reversal symmetry for S, i.e., that \(\tau S \tau ^* = S^*\).
3 Proof of absolute continuity of edge spectrum
3.1 Edge index and bulk-edge correspondence
In the proof of Theorem 2.1, we will also appeal to the bulk-boundary correspondence, which we briefly recall here.
Let \(g: {\mathbb {R}}\rightarrow [0, 1]\) be a smooth non-increasing function interpolating from 1 to 0 such that its derivative is supported in the bulk gap \(\Delta \). We have
Consider now the edge unitary \(U_E:= W_g(\hat{H})\) where \(W_g\) is the function
This unitary is local and supported near the edge of the half-space. We denote by \(\hat{\Pi }_1\) the projection on the upper right quadrant \(\{ \vec x \in \mathbb {Z}\times {\mathbb N}\, | \, x_1 \ge 0 \}\), then
Lemma 3.1
The commutator \([U_E, \hat{\Pi }_1 ]\) is trace class.
This lemma follows immediately from Lemmas A.2. and A.3. in [13]. It follows that \(A_E:= U_E \hat{\Pi }_1 U_E^* - \hat{\Pi }_1 = [U_E, \hat{\Pi }_1] U_E^*\) is also trace class and in particular compact so the index
is well defined. This edge index was first defined in [14].
By bulk-boundary correspondence, the bulk and edge indices are equal:
Theorem 3.2
(Theorem 2.11 of [14]) Under the above assumptions on H we have
Remark 3.3
-
The edge index may a priori depend on the boundary conditions defining the half-space Hamiltonian \(\hat{H}\). The bulk-edge correspondence, Theorem 3.2, implies that this is not the case, justifying our notation \({\mathrm{ind\,}}_2^E(H, \Delta )\).
-
In [14], the bulk and edge indices are given as (odd) Fredholm indices [5, 26]. If [U, P] is compact then \(F = P U P + P^\perp \) is a Fredholm operator and its odd Fredholm index is \(\dim \ker F \,\,\, {\textrm{mod}}\, 2\). The equivalence to our \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2\) with \(A = U P U^* - P\) is easily established by noting that \(\psi \in \ker F\) if and only if \(U \psi \in \ker (A - {{\,\mathrm{\mathbb {1}}\,}})\).
3.2 Proof of theorem 2.1
The following is a verbatim copy of the corresponding proof in [8], except for the remark that now \(\sigma _{ac}(U_E) = \mathbb S^1\) follows, through Corollary 2.4, from an odd time-reversal symmetry and a non-trivial \(\mathbb {Z}_2\)-valued edge index.
By Theorem 3.2, \({\mathrm{ind\,}}_2^B(H, \Delta ) =1\) implies \({\mathrm{ind\,}}_2^E(H, \Delta ) = \dim \ker (U_E \hat{\Pi }_1 U_E^* - \hat{\Pi }_1 - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\). Since \(\tau \) acts locally, \(\tau \hat{\Pi }_1 \tau ^{*} = \hat{\Pi }_1\), and from \(\tau \hat{H} \tau ^* = \hat{H}\) we get \(\tau U_E \tau ^* = \tau W_g(\hat{H}) \tau ^* = \overline{W}_g(\hat{H}) = U_E^*\). Moreover, \(U_E \hat{\Pi }_1 U_E^* - \hat{\Pi }_1\) is trace-class by Lemma 3.1. It therefore follows from Corollary 2.4 that the absolutely continuous spectrum of the edge unitary \(U_E\) is the whole unit circle.
We can choose g in such a way that \(x \mapsto W_g(x):= {\mathrm e}^{2 \pi {\mathrm i}g(x)}\) is a smooth function that satisfies \(\Delta = W_g^{-1} \big ( \mathbb S^1 {\setminus } \{1\} \big )\) and such that \(W_g\) is invertible on \(\Delta \).
Now, let \(P_{\Delta } = \chi _{\Delta }(\hat{H})\) be the spectral projection of \(\hat{H}\) on the interval \(\Delta \). Since the absolutely continuous spectrum of \(W_g(\hat{H})\) covers the whole unit circle and \(W_g\) differs from 1 only on \(\Delta \), there is an absolutely continuous spectral measure \(\mu _{\textrm{ac}}\) of \(W_g( P_{\Delta } \hat{H} P_{\Delta } )\) that is supported on the whole unit circle. By spectral mapping (Proposition 8.12 of [11]), we have that \(\mu _{\textrm{ac}} \circ W_g\) is a spectral measure for \((W_g)|_{\Delta }^{-1} ( W_g( P_{\Delta } \hat{H} P_{\Delta } ) ) = P_{\Delta } \hat{H} P_{\Delta }\). The function \(W_g\) is smooth and maps the interval \(\Delta \) into the unit circle, so we see that \(\mu _{\textrm{ac}} \circ W_g\) is an absolutely continuous measure supported on the entire closed interval \(\overline{\Delta }\). (Supports of measures are closed sets.) This means that \(\sigma _{\textrm{ac}}(P_{\Delta } \hat{H} P_{\Delta }) = \overline{\Delta }\), and hence, \(\Delta \subset \sigma _{\textrm{ac}}(\hat{H})\) as required. \(\square \)
4 Proof of the symmetric Wold decomposition
In this section, we prove Theorem 2.3. We fix a unitary U and a projection P such that \(A = U P U^* - P\) is compact. Moreover, we require \(\tau U \tau ^* = U^*\) and \(\tau P \tau ^* = P\) for some odd time-reversal symmetry \(\tau \). We further write \(Q = U P U^*\), and for \(I \subset {\mathbb {R}}\) we denote by \(E_I\) the range of the spectral projection \(\chi _{I}(A)\) of A. We also write \(E_{\lambda } = E_{\{\lambda \}}\) for the \(\lambda \)-eigenspace of A.
4.1 Spectral symmetry and Kramers degeneracy
Following [6], we introduce the operator \(B = {{\,\mathrm{\mathbb {1}}\,}}- P - Q\). One easily checks that
Lemma 4.1
For \(\lambda \not \in \{-1, 0, +1\}\) the operator B maps \(E_{\lambda }\) isomorphically to \(E_{-\lambda }\). In particular, \(\dim E_{\lambda } = \dim E_{-\lambda }\).
Proof
Let \(A \phi = \lambda \phi \) for \(\lambda \not \in \{-1, 0, +1\}\). Since \(AB = - BA\) we have
and since \(B^2 = {{\,\mathrm{\mathbb {1}}\,}}- A^2\) we have that \(B^2 \phi = (1 - \lambda ^2) \phi \ne 0\), because \(\lambda \not \in \{-1, +1\}\). Thus \(B \phi \ne 0\), and B maps \(E_{\lambda }\) injectively into \(E_{-\lambda }\) and vice versa. Since A is compact, \(E_{\lambda }\) is finite dimensional and it follows that B maps \(E_{\lambda }\) isomorphically to \(E_{-\lambda }\) \(\square \)
Define \(\tilde{\tau }= U \tau \) which satisfies \(\tilde{\tau }^2 = U \tau U \tau = U U^* \tau ^2 = - {{\,\mathrm{\mathbb {1}}\,}}\). From straightforward calculations we get
Lemma 4.2
We have
It follows that \(\tilde{\tau }B \tilde{\tau }^* = B\) and \(\tilde{\tau }A \tilde{\tau }^* = -A\), hence \(\tilde{\tau }E_{\lambda } = E_{-\lambda }\) for all eigenvalues \(\lambda \) of A.
Lemma 4.3
For \(\lambda \not \in \{-1, 0, 1\}\), the spaces \(E_{\lambda }\) have even dimension.
Proof
From Lemma 4.1 we have that B is a linear isomorphism from \(E_{\lambda }\) to \(E_{-\lambda }\) so \((B^* B)^{-1/2}B\) is a unitary from \(E_{\lambda }\) to \(E_{-\lambda }\). By Lemma 4.2, \(\tilde{\tau }\) maps \(E_{-\lambda }\) to \(E_{\lambda }\) so the anti-unitary \(\theta = (B^* B)^{-1/2} B \tilde{\tau }\) maps \(E_{\lambda }\) to itself and is odd:
where we used \(\tilde{\tau }^2 = -{{\,\mathrm{\mathbb {1}}\,}}\) and \(B \tilde{\tau }= \tilde{\tau }B\) (cf. Lemma 4.2). By Lemma A.1 this leads to Kramers degeneracy, i.e. \(\dim E_{\lambda }\) is even. \(\square \)
4.2 Decoupling
The vanishing of \(A = U P U^* - P\) means that the unitary U leaves the subspaces \(\textrm{Ran}P\) and \(\textrm{Ran}P^\perp \) invariant. In this case, we call U “decoupled” (with respect to P). Vice versa, if A does not vanish, U “couples” \(\textrm{Ran}P\) and \(\textrm{Ran}P^\perp \). The following proposition states that we can always decouple U if the \(+1\)-eigenspace of A is even-dimensional and almost decouple U if it is odd-dimensional:
Proposition 4.4
Let U and P be as above. Then there exists a unitary W with \(U - W\) compact, \(\tau W \tau ^* = W^*\) and:
-
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 0\), then \(W P W^* - P = 0\).
-
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\), then
$$\begin{aligned} W P W^* - P = \Pi _+ - \Pi _- \end{aligned}$$(4.5)where \(\Pi _+\) and \(\Pi _-\) are one-dimensional projections.
Moreover, if [U, P] is Schatten-p, then \(U - W\) is also Schatten-p.
The remainder of this subsection is devoted to construct the W in this proposition. Taking W to be of the form \(W = V U\) we first note that the decoupling condition \([W, P] = 0\) translates to
where \(Q = U P U^*\). We call such a V a “decoupler”. The symmetry constraint on W implies that V has to satisfy \(\tilde{\tau }V\tilde{\tau }^*=V^*\), where \(\tilde{\tau }=U\tau \) as above. Moreover, since we want \(U - W\) compact, we must have \(V-{{\,\mathrm{\mathbb {1}}\,}}\) compact.
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\) we will not be able to find a V satisfying these requirements. Although we do not prove it here, this is actually impossible.
We construct V in two steps. First, following [10] we construct a decoupler on the orthogonal complement of \(E = E_{+1} \oplus E_{-1}\). In the second step we try to construct a decoupler on E. This turns out to be possible only if \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 0\). In the other case we can only decouple W up to a two-dimensional subspace.
4.2.1 Decoupling on the orthogonal complement of \(E_{+1} \oplus E_{-1}\)
Define the operator
This operator satisfies the decoupling condition, i.e.,
Moreover, \(X - {{\,\mathrm{\mathbb {1}}\,}}= PA - AQ\) is compact because A is, and if [U, P] is Schatten-p, then so is \(A = [U, P] U^*\) and therefore also X. Yet, X is not unitary:
It follows however from this equation that X is normal and that its spectrum is contained in the circle \(\{ z \in {\mathbb {C}}\,: \, ({\textrm{Im} \,}z)^2 + ({\textrm{Re} \,}z - 1/2)^2 = 1/4 \}\).
The kernel of X is precisely \(E = E_{+1} \oplus E_{-1}\) since it coincides with the kernel of \(X^*X = B^2 = A^2 - {{\,\mathrm{\mathbb {1}}\,}}\). On its orthogonal complement \(E^\perp = E_{(-1, 1)}\) we define a unitary \({\widetilde{V}}\) by
which is well-defined because X is normal, and \((X^* X)^{-1/2}\) is strictly positive on \(E^\perp \). The unitary \({\widetilde{V}}\) has the same eigenvectors as \(X|_{E^\perp }\) but with the eigenvalues rescaled to have modulus one.
Since \(X - {{\,\mathrm{\mathbb {1}}\,}}\) is compact, the spectrum of X consists of eigenvalues of finite multiplicity, possibly accumulating at 1. One easily sees that \({\widetilde{V}}- {{\,\mathrm{\mathbb {1}}\,}}\) is also compact. In fact, if \(X - {{\,\mathrm{\mathbb {1}}\,}}\) is Schatten-p, then so is \({\widetilde{V}}- {{\,\mathrm{\mathbb {1}}\,}}\), see Lemma B.1. Moreover, since by (4.8) X maps the range of Q into the range of P, so does its partial isometry. Since \({\widetilde{V}}\) is the partial isometry of \(X|_{E^\perp }\) it follows that
where we use that both P and Q leave \(E^\perp \) invariant.
Note now that since \(\tau U \tau ^* = U^*\), the subspace \(E^\perp \) is invariant under \(\tilde{\tau }= \tau U\). Indeed, by Lemma 4.2, we have \(\tilde{\tau }E_{\lambda } = E_{-\lambda }\) for any \(\lambda \in {\mathbb {R}}\) so in particular, \(E^\perp = E_{(-1, 1)}\) is invariant under \(\tilde{\tau }\). Moreover, by Lemma 4.2 we have \(\tilde{\tau }X \tilde{\tau }^* = X^*\) which implies
on \(E^\perp \). Thus, \({\widetilde{V}}\) is a decoupler on \(E^\perp \) that is compatible with the symmetry condition of W.
4.2.2 Decoupling on \(E_{+1} \oplus E_{-1}\)
It remains to find an as-good-as-possible decoupler on the remaining subspace \(E = E_{+1} \oplus E_{-1}\). Since the restriction of Q to E is the projection onto \(E_{+1}\) and the restriction of P to E is the projection onto \(E_{-1}\), such a decoupler has to swap the spaces \(E_{+1}\) and \(E_{-1}\). We construct a unitary v on E that achieves this as best as possible. Moreover, we require that \(\tilde{\tau }v \tilde{\tau }^* = v^*\). This symmetry induced constrant is crucial: without it a v swapping \(E_{+1}\) and \(E_{-1}\) can always be found because these spaces have the same dimension by Lemma 4.2.
By Lemma 4.2, \(\tilde{\tau }\) maps \(E_{+1}\) to \(E_{-1}\) and vica versa. Let \(\{\phi _1, \ldots , \phi _{2m+k}\}\) be an orthonormal basis of \(E_{+1}\) and take accordingly \(\{ \tilde{\tau }\phi _1, \ldots , \tilde{\tau }\phi _{2m+k} \}\) as orthonormal basis of \(E_{-1}\) with \(k=0,1\) depending on whether \(\dim E_{+1}\) is even or odd. If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = \dim E_{+1} \,\,\, {\textrm{mod}}\, 2 = 0\) then \(E_{+1}\) and \(E_{-1}\) are both even dimensional and we take \(F_{\textrm{rest}} = \{ 0 \}\), \(F_{+1} = E_{+1}\) and \(F_{-1} = E_{-1}\). If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = \dim E_{+1} \,\,\, {\textrm{mod}}\, 2 = 1\) then \(\dim E_{+1} = \dim E_{-1} = 2m + 1\) are odd and we take \(F_{+1} = \textrm{span}\{ \phi _1, \ldots , \phi _{2m} \} \subset E_{+1}\), we take \(F_{-1} = \tilde{\tau }F_{+1} = \textrm{span}\{ \tilde{\tau }\phi _1, \ldots \tilde{\tau }\phi _{2m} \}\), and \(F_{\textrm{rest}} = \textrm{span}\{ \phi _{2m+1}, \tilde{\tau }\phi _{2m+1} \}\). In either case, \(\tilde{\tau }\) leaves \(F_{+1} \oplus F_{-1}\) invariant and in the chosen basis takes the form
where K is complex conjugation. According to the decomposition \(E = F_{\textrm{rest}} \oplus (F_{+1} \oplus F_{-1})\) we then take v to be
This leaves \(F_{\textrm{rest}}\) invariant, swaps \(F_{+1}\) and \(F_{-1}\), and satisfies \(\tilde{\tau }v \tilde{\tau }^* = v^*\).
4.2.3 Proof of Proposition 4.4
Let
with v the (almost) decoupler on \(E = E_{+1} \oplus E_{-1}\) from (4.14) and \({\widetilde{V}}\) the decoupler on \(E^{\perp }\) constructed in Sect. 4.2.1. By construction, \(\tilde{\tau }V \tilde{\tau }^* = V^*\) so that \(W = V U\) satisfies \(\tau W \tau ^* = W^*\). Moreover, since \({\widetilde{V}}- {{\,\mathrm{\mathbb {1}}\,}}\) is compact and E is finite dimensional, \(V - {{\,\mathrm{\mathbb {1}}\,}}\) is compact and so is \(W - U = (V - {{\,\mathrm{\mathbb {1}}\,}}) U\). By (4.11) we have that
where \(Q = U P U^*\).
It remains to see how \(W^* P W - P\) acts on the subspace E. We have
where \(q = Q|_E\) and \(p = P|_{E}\) are the projections on \(E_{+1}\) and \(E_{-1}\), respectively. If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 0\), the unitary v swaps \(E_{+1}\) and \(E_{-1}\) so \(v q v^* - p = 0\) and therefore \(W P W^* - P = 0\). If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\), we decompose \(E=F_\textrm{rest}\oplus (F_{+1}\oplus F_{-1})\) as above. The unitary v in (4.14) leaves \(F_\textrm{rest}\) invariant and swaps \(F_{+1}\) and \(F_{-1}\). Thus \((v q v^* - p)|_{F_{+1}\oplus F_{-1}} = 0\) and \((v q v^* - p)|_{F_\textrm{rest}} = \Pi _{+} - \Pi _-\) where \(\Pi _+\) and \(\Pi _-\) are one-dimensional projections. We conclude that
Finally, we saw in Sect. 4.2.1 that if [U, P] is Schatten-p then \({\widetilde{V}}- {{\,\mathrm{\mathbb {1}}\,}}\) is Schatten-p. Since E is finite dimensional, \(V - {{\,\mathrm{\mathbb {1}}\,}}\) is also Schatten-p. Therefore \(W - U = (V - {{\,\mathrm{\mathbb {1}}\,}}) U\) is Schatten-p and so is
\(\square \)
4.3 The symmetric Wold construction
For two projections P and \(P'\) we write \(P \preceq P'\) if \(\textrm{Ran}P \subset \textrm{Ran}P'\). In the proof of the symmetric Wold decomposition we will need the following abstract result:
Proposition 4.5
Let W be a unitary and P a projection with \(\tau W \tau ^* = W^*\) and \(\tau P \tau ^* = P\) for an odd time-reversal symmetry \(\tau \) and such that
where \(\Pi _+\) and \(\Pi _-\) are one-dimensional projections. For \(k \in \mathbb {Z}\), let \(\Pi ^{(k)}_+:= \textrm{Ad}_W^{k-1}(\Pi _+)\) and \(\Pi ^{(k)}_-:= \textrm{Ad}_{W^*}^k(\Pi _-)\). Then:
-
(1)
These projections are mutually orthogonal, i.e.
$$\begin{aligned} \Pi _{\sigma }^{(k)} \Pi _{\sigma '}^{(l)} = \delta _{k,l} \delta _{\sigma ,\sigma '} \Pi _{\sigma }^{(k)} \end{aligned}$$(4.21)for all \(k, l \in \mathbb {Z}\) and \(\sigma , \sigma ' \in \{+, -\}\).
-
(2)
For \(k \le 0\) we have \(\Pi _{+}^{(k)}, \Pi ^{(k)}_- \preceq P\) while for \(k \ge 1\) we have \(\Pi _{+}^{(k)}, \Pi _-^{(k)} \preceq P^\perp \).
-
(3)
For all \(k \in \mathbb {Z}\) the projections \(\Pi _+^{(k)}\) and \(\Pi _-^{(k)}\) form a Kramers pair, i.e.
$$\begin{aligned} \tau \Pi _{\pm }^{(k)} \tau ^* = \Pi _{\mp }^{(k)}. \end{aligned}$$(4.22)
Proof
We first prove the last statement of the proposition. Write \(A = \textrm{Ad}_W(P) - P = \Pi _+^{(1)} - \Pi _-^{(0)}\). From the assumptions we have
so \(\tau \Pi _+^{(1)} \tau ^* = \Pi _-^{(1)}\) and \(\tau \Pi _-^{(0)}\tau ^*=\Pi _+^{(0)}\) and the claim follows for \(k = 0, 1\). For any other \(k \in \mathbb {Z}\), Eq. (4.22) follows from
Since all these projections are one-dimensional, it further follows by Kramers degeneracy that
for all \(k \in \mathbb {Z}\), which proves part of the orthogonality claims. We prove the remaining orthogonality claims in (4.21) and the second statement by induction. The \(N^{\text {th}}\) induction hypothesis is that the family of one-dimensional projections \(\{ \Pi _+^{(k)}, \Pi _-^{(k)} \}_{k = -N+1}^N\) is mutually orthogonal, and \(\Pi _{\pm }^{(k)} \preceq P\) for \(k = -N-1, \ldots , 0\) while \(\Pi _{\pm }^{(k)} \preceq P^\perp \) for \(k = 1, \ldots , N\).
Base case \(N = 1 \): We must show that \(\{\Pi _{\pm }^{(0)}, \Pi _{\pm }^{(1)}\}\) form an orthogonal set, and \(\Pi _{\pm }^{(0)} \subset P\) while \(\Pi _{\pm }^{(1)} \subset P^\perp \). Since \(A=\Pi _+^{(1)} - \Pi _-^{(0)}\) is self adjoint, we get \(\Pi _+^{(1)} \perp \Pi _-^{(0)}\). Since conjugation by \(\tau \) preserves orthogonality we get from (4.22) that also \(\Pi _-^{(1)} \perp \Pi _+^{(0)}\). Moreover, \(\Pi _{+}^{(0)} \perp \Pi _-^{(0)}\) and \(\Pi _{+}^{(1)} \perp \Pi _-^{(1)}\) by (4.25). Finally, since
we have \(\Pi _-^{(0)} \preceq P\) and \(\Pi _+^{(1)} \preceq P^\perp \). Moreover, since P is \(\tau \)-invariant also \(\Pi _+^{(0)} \preceq P\) and \(\Pi _-^{(1)} \preceq P^\perp \), which proves the claims about inclusions in P and \(P^\perp \), and also the remaining orthogonality claims \(\Pi _+^{(0)} \perp \Pi _+^{(1)}\) and \(\Pi _-^{(0)} \perp \Pi _-^{(1)}\).
Induction step: We assume the \(N^{\text {th}}\) induction hypothesis to hold and derive the \((N+1)^{st}\). Let
By the \(N^{th}\) induction hypothesis and (4.22) this is a \(\tau \)-invariant projection and \(P \preceq P^{(N)}\). Consider
Since this is a difference of projections it follows that \(\Pi _+^{(N+1)} \preceq (P^{(N)})^{\perp } \preceq P^\perp \), and by \(\tau \)-invariance also \(\Pi _-^{(N+1)} \preceq P^\perp \). The claims \(\Pi _{\pm }^{(-N)} \preceq P\) follow similarly by setting \(P^{(-N)} = P - \sum _{n = 0}^{N-1} \left( \Pi _+^{(-n)} + \Pi _-^{(-n)} \right) \) and considering
This proves the claims about inclusions in P and \(P^\perp \).
To prove the orthogonality claims, note that \((\tau W^n)^2 = -{{\,\mathrm{\mathbb {1}}\,}}\) for any n, and since
for any m, we see that \(\Pi _+^{n} \perp \Pi _-^{(m)}\) for all \(n, m \in \mathbb {Z}\).
It remains to show that \(\{\Pi _+^{(n)}\}_{n = -N}^{N+1}\) and \(\{\Pi _-^{(n)}\}_{n = -N}^{N+1}\) are othogonal families. We already know that \(\Pi _{\pm }^{N+1}\) is orthogonal to \(\Pi _{\pm }^{n}\) for \(n = -N, \ldots , 0\) because the former is a subprojection of \(P^{\perp }\) while the latter are subprojections of P. Similarly, we know that \(\Pi _{\pm }^{(-N)}\) is orthogonal to \(\Pi _{\pm }^{(n)}\) for \(n = 1, \ldots , N+1\).
To see that \(\Pi _{\pm }^{(N+1)}\) is orthogonal to \(\Pi _{\pm }^{(n)}\) for \(n = 1, \ldots , N\) we simply note that by induction hypothesis for any such n we have \(\Pi _{\pm }^{(0)} \perp \Pi _{\pm }^{(N+1-n)}\). Since conjugation by W preserves orthogonality, we conclude that \(\Pi _{\pm }^{(n)} \perp \Pi _{\pm }^{(N+1)}\) as required. The orthogonality of \(\Pi _{\pm }^{(-N)}\) with \(\Pi _{\pm }^{(n)}\) for \(n = -N+1, \ldots , 0\) is proved in the same way. This proves all the required orthogonality relations and thereby concludes the induction step. \(\square \)
4.4 Proof of Theorem 2.3
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 0\), all claims follow directly from Proposition 4.4.
If \(\dim \ker (A - {{\,\mathrm{\mathbb {1}}\,}}) \,\,\, {\textrm{mod}}\, 2 = 1\), then Proposition 4.4 provides a unitary W with \(U - W\) compact, \(\tau W \tau ^* = W^*\) and such that
with one-dimensional projections \(\Pi _+\) and \(\Pi _-\). Moreover, if [U, P] is Schatten-p, then so is \(U - W\).
For \(k \in \mathbb {Z}\), let \(\Pi ^{(k)}_+:= \textrm{Ad}_W^{k-1}(\Pi _+)\) and \(\Pi ^{(k)}_-:= \textrm{Ad}_{W^*}^k(\Pi _-)\). Decompose the Hilbert space as \({\mathcal {H}}= {\mathcal {H}}' \oplus {\mathcal {H}}''\) where \({\mathcal {H}}' = \bigoplus _{k \in \mathbb {Z}, \sigma \in \{+, -\}} \textrm{Ran}\Pi _{\sigma }^{(k)}\). By Proposition 4.5, both W and P leave \({\mathcal {H}}'\) and \({\mathcal {H}}''\) invariant so \(W = W' \oplus W''\) and \(P = P' \oplus P''\). Since \(\textrm{Ran}\Pi _+, \textrm{Ran}\Pi _- \subset {\mathcal {H}}'\), we have \([W'', P''] = 0\), and it only remains to identify \(W'\) with the unitary S described at the end of Sect. 2.2.
Let \(\phi _1\) be a unit vector spanning \(\textrm{Ran}\Pi _+^{(1)}\) and define \(\phi _k = W^{k-1} \phi _1\) for all \(k \in \mathbb {Z}\). Then \(\phi _k\) spans \(\textrm{Ran}\Pi _+^{(k)}\). For each \(k \in \mathbb {Z}\), let \(\overline{\phi }_k = \tau \phi _k\). Then \(\overline{\phi }_k\) spans \(\textrm{Ran}\Pi _-^{(k)}\) and \({\mathcal {H}}' = \textrm{span}\{ \phi _k, \overline{\phi }_k \,: \, k \in \mathbb {Z}\}\). On this space, the unitary \(W'\) acts as
for all \(k \in \mathbb {Z}\). Indeed, \(\phi _{k+1} {=} W^{k} \phi _1 {=} W \phi _k\) while \(\overline{\phi }_{k} {=} \tau \phi _{k} {=} \tau W^{k-1} \phi _1 {=} W^{1-k} \tau \phi _1 {=} W^{1-k} \overline{\phi }_1\), so \(\overline{\phi }_{k-1} {=} W^{2-k} \overline{\phi }_1 = W \overline{\phi }_k\). The unitary \(W'\) is equivalent to S in (2.7) by the isomorphism \(\phi _x \mapsto \vert x,+\rangle \) and \(\overline{\phi }_x \mapsto \vert x,-\rangle \). This concludes the proof. \(\square \)
Data availibility
No data were created or analyzed in this study.
References
Aizenman, M., Graf, G.M.: Localization bounds for an electron gas. J. Phys. A Math. Gen. 31(32), 6783 (1998). arXiv:cond-mat/9603116
Alldridge, A., Max, C., Zirnbauer, M.R.: Bulk-boundary correspondence for disordered free-fermion topological phases. Commun. Math. Phys. 377(3), 1761–1821 (2020). arXiv:1903.06782
Altland, A., Zirnbauer, M.R.: Nonstandard symmetry classes in mesoscopic normal-superconducting hybrid structures. Phys. Rev. B 55(2), 1142 (1997). arXiv:cond-mat/9602137
Asch, J., Bourget, O., Joye, A.: On stable quantum currents. J. Math. Phys. 61(9), 092104 (2020). arXiv:1906.08181
Atiyah, M.F., Singer, I.M.: Index theory for skew-adjoint Fredholm operators. Publications Mathématiques de l’IHÉS 37, 5–26 (1969)
Avron, J., Seiler, R., Simon, B.: The index of a pair of projections. J. Funct. Anal. 120(1), 220–237 (1994)
Bols, A., Schenker, J., Shapiro, J.: Fredholm homotopies for strongly-disordered 2D insulators. Commun. Math. Phys. 397(3), 1163–1190 (2022). arXiv:2110.07068
Bols, A., Werner, A.H.: Absolutely continuous edge spectrum of Hall insulators on the lattice. Ann. Henri Poincaré 23, 549–554 (2022). arXiv:2101.08603
Briet, P., Hislop, P.D., Raikov, G., Soccorsi, E.: Mourre estimates for a 2D magnetic quantum Hamiltonian on strip-like domains. Contemp. Math. 500, 33 (2009)
Cedzich, C., Geib, T., Grünbaum, F.A., Stahl, C., Velázquez, L., Werner, A.H., Werner, R.F.: The topological classification of one-dimensional symmetric quantum walks. Ann. Henri Poincaré 19(2), 325–383 (2018). arXiv:1611.04439
Conway, J.B.: A Course in Functional Analysis. Springer, Berlin (2019)
De Bievre, S., Pulé, J.V.: Propagating edge states for a magnetic Hamiltonian. Math. Phys. Electron. J. 5, 39–55 (2002). arXiv:math-ph/9903034
Elbau, P., Graf, G.: Equality of bulk and edge Hall conductance revisited. Commun. Math. Phys. 229(3), 415–432 (2002). arXiv:math-ph/0203019
Fonseca, E., Shapiro, J., Sheta, A., Wang, A., Yamakawa, K.: Two-dimensional time-reversal-invariant topological insulators via Fredholm theory. Math. Phys. Anal. Geom. 23(3), 1–22 (2020). arXiv:1908.00910
Fröhlich, J., Graf, G., Walcher, J.: On the extended nature of edge states of quantum Hall hamiltonians. Ann. Henri Poincaré 1(3), 405–442 (2000). arXiv:math-ph/9903014
Graf, G.M., Porta, M.: Bulk-edge correspondence for two-dimensional topological insulators. Commun. Math. Phys. 324(3), 851–895 (2013). arXiv:1207.5989
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, 2185–2190 (1982)
Hislop, P.D., Soccorsi, E.: Edge currents for quantum Hall systems I: one-edge, unbounded geometries. Rev. Math. Phys. 20(01), 71–115 (2008). arXiv:math-ph/0702092
Kane, C.L., Mele, E.J.: \({\mathbb{Z} }_2\) topological order and the quantum spin Hall effect. Phys. Rev. Lett. 95(14), 146802 (2005). arXiv:cond-mat/0506581
Kato, T.: Perturbation of continuous spectra by Trace class operators. P. Jpn. Acad. 33(5), 260–264 (1957)
Katsura, H., Koma, T.: The \({\mathbb{Z} }_2\) index of disordered topological insulators with time reversal symmetry. J. Math. Phys. 57(2), 021903 (2016). arXiv:1508.05485
Katsura, H., Koma, T.: The noncommutative index theorem and the periodic table for disordered topological insulators and superconductors. J. Math. Phys. 59(3), 56 (2018). arXiv:1611.01928
Kitaev, A.: Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134, 22–30 (2009). arXiv:0901.2686
Macris, N., Martin, P.A., Pulé, J.: On edge states in semi-infinite quantum Hall systems. J. Phys. A Math. Gen. 32(10), 1985 (1999). arXiv:cond-mat/9812367
Rosenblum, M.: Perturbation of the continuous spectrum and unitary equivalence. Pac. J. Math. 7(1), 997–1010 (1957)
Schulz-Baldes, H.: \(\mathbb{Z} _2\)-indices and factorization properties of odd symmetric Fredholm operators. Doc. Math. 20, 1481–1500 (2015). arXiv:1311.0379
Acknowledgements
A. Bols thanks the Villum Fonden through the QMATH Centre of Excellence (Grant No. 10059). C. Cedzich acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Project Number 441423094.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Kramers degeneracy
Lemma A.1
Let \(\theta \) be an anti-unitary operator on a finite dimensional Hilbert space V with \(\theta ^2 = -{{\,\mathrm{\mathbb {1}}\,}}\). Then V is even-dimensional and has an orthonormal basis consisting of Kramers pairs, i.e.there is an orthonormal basis \(\{ \phi _1, \phi '_1, \ldots \phi _n, \phi '_n \}\) such that \(\theta \phi _i = \phi '_i\) and \(\theta \phi '_i = -\phi _i\) for all \(i = 1, \ldots , n\).
Proof
Let \(\phi _1\) be any vector in V of unit length, and put \(\phi '_1 = \theta \phi _1\). Then
i.e. \(\phi _1 \perp \phi '_1\) and \(\theta \phi '_1 = \theta ^2 \phi _1 = -\phi _1\). Now pick any vector \(\phi _2\) in the orthongonal complement of \(\textrm{span}\{ \phi _1, \phi '_1\}\) and put \(\phi '_2 = \theta \phi _2\). By the same reasoning as before, \(\phi _2 \perp \phi '_2\) and \(\theta \phi '_2 = -\phi _2\). Repeating this construction eventually yields the required basis \(\{\phi _1, \phi '_1, \ldots , \phi _1, \phi '_n\}\). \(\square \)
Schatten-p Lemma
Lemma B.1
Let X be a normal operator with \(X - {{\,\mathrm{\mathbb {1}}\,}}\) compact, spectrum contained in the circle \(\{ z \in {\mathbb {C}}\,: \, ({\textrm{Im} \,}z)^2 + ({\textrm{Re} \,}z - 1/2)^2 = 1/2\}\) and empty kernel. Let
Then if \(X - {{\,\mathrm{\mathbb {1}}\,}}\) is Schatten-p, so is \(V - {{\,\mathrm{\mathbb {1}}\,}}\).
Proof
Let \(\{\lambda _i\}_{i \in {\mathbb N}}\) be the nonzero eigenvalues of the compact operator \(X - {{\,\mathrm{\mathbb {1}}\,}}\) ordered such that \(\vert \lambda _i\vert \ge \vert \lambda _{i+1}\vert \) for all i. This operator is Schatten-p if and only if
The nonzero eigenvalues of \(V - {{\,\mathrm{\mathbb {1}}\,}}\) are
Note that since \(X - {{\,\mathrm{\mathbb {1}}\,}}\) has empty kernel, none of the \(\lambda _i\) equal \(-1\) so the \(\mu _i\) are always well defined.
For \(\mu _i\) close to 0 we have \(\vert \mu _i\vert = \vert \lambda _i\vert + {\mathcal {O}}(\vert \lambda _i\vert ^2)\) so
Both terms on the right-hand side are summable by assumption, so
i.e. \(V - {{\,\mathrm{\mathbb {1}}\,}}\) is Schatten-p. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bols, A., Cedzich, C. Absolutely continuous edge spectrum of topological insulators with an odd time-reversal symmetry. Lett Math Phys 114, 99 (2024). https://doi.org/10.1007/s11005-024-01846-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01846-4
Keywords
- Time-reversal symmetry
- Topological insulator
- Absolutely continuous edge spectrum
- Wold-von-Neumann decomposition