Abstract
We investigate the relation between the localization of generalized Wannier bases and the topological properties of twodimensional gapped quantum systems of independent electrons in a disordered background, including magnetic fields, as in the case of Chern insulators and quantum Hall systems. We prove that the existence of a welllocalized generalized Wannier basis for the Fermi projection implies the vanishing of the Chern character, which is proportional to the Hall conductivity in the linear response regime. Moreover, we state a localization dichotomy conjecture for general nonperiodic gapped quantum systems.
Introduction
Wannier bases have become, in the last few decades, a fundamental tool in theoretical and computational solidstate physics, as they provide a reasonable compromise between localization in position space and localization in energy, as far as compatible with the uncertainty principle [59]. Whenever it is well localized, a Wannier basis:

(i)
allows to implement numerical algorithms whose computational costs scale only linearly with the system size [33];

(ii)
provides a key tool for a simple and transparent description of macroscopic polarization and orbital magnetization in solids, yielding to computable formulae [16, 43], later proved in a broader setting by more advanced mathematical techniques [74, 76];

(iii)
allows an efficient numerical treatment of deformed periodic systems [83];

(iv)
helps to justify the socalled atomic limit, i. e. , the description of macroscopic solids as “consisting of welllocalized atoms”, a classical paradigm whose violation has opened the new field of topological chemistry [11].
Last but not least, the variational characterization of Wannier functions proposed by Marzari and Vanderbilt has turned Wannier bases into an efficient and flexible computational tool [59, 60, 73].
Since these advantages rely on good decay properties of Wannier functions, several works have been dedicated to the rigorous proof of the existence of an exponentially localized Wannier basis in periodic (timereversal symmetric) insulators. These research efforts started with the pioneering work of Kohn and des Cloizeaux [27, 28, 45] and continued with the work of Nenciu and HelfferSjöstrand [38, 67,68,69], till the modern bundletheoretic methods [13, 72]. More recently, the emphasis has shifted from abstract to algorithmic proofs of existence [19, 20, 22, 23, 31], which allow a direct numerical implementation [15]. Neglecting the linear independence condition, the related concept of Parseval frame has also been investigated [2, 22, 47].
When the Hamiltonian breaks timereversal symmetry (TRS), as, for example, in Chern insulators and quantum Hall systems, the existence issue becomes more involved and interesting. A Localization–Topology Correspondence, also dubbed Localization Dichotomy, has been noticed and proved in [62]. There the authors proved that in a gapped \(\Gamma \)periodic insulator in dimension \(d \le 3\), with \(\Gamma \simeq \mathbb {Z}^d\) a Bravais lattice, a Wannier basis \( w = \left\{ w_{\gamma , a} \right\} _{\gamma \in \Gamma , 1 \le a \le m}\) which is well localized, in the sense that there exists \(M_{*}<\infty \) such that
exists if and only if the Bloch bundle associated with the Fermi projection P is Chern trivial. In \(d=2\), the latter condition is equivalent to the vanishing of the (first) Chern number, defined by
where \(\mathbb {T}^2_* = \mathbb {R}^2/\Gamma ^*\) is the twodimensional Brillouin torus and \( \mathcal {U}_{\mathrm {BF}} \, P \, \mathcal {U}_{\mathrm {BF}}^{1}= \int ^{\oplus }_{\mathbb {T}^2_*} P(\mathbf{k}) \, d\mathbf{k}\) is the Bloch–Floquet–Zak decomposition of P; see, e.g., [48] or [61].
For \(d=3\), the Chern triviality corresponds to the vanishing of three “first Chern numbers” defined, for \(i \ne j \in \left\{ 1,2,3 \right\} \), by^{Footnote 1}
where \(\mathbb {B}_{ij} \subset \mathbb {T}^3_*\) is the twodimensional subtorus of the Brillouin torus \(\mathbb {T}^3_* = \mathbb {R}^3/\Gamma ^*\) obtained by fixing the coordinate different from the ith and the jth (e.g., equal to zero). Moreover, if the Bloch bundle is Chern trivial, then an exponentially localized Wannier basis always exists for \(d\le 3\) [13, 72].
To avoid any source of confusion, we emphasize here that the Localization–Topology Correspondence (LTC) refers to a different kind of localization mechanism than the one appearing in the wellknown Anderson localization. Moreover, while Anderson localization concerns the decay properties of eigenfunctions of Schrödinger operators with random potentials, the LTC refers to the decay properties of particular orthornormal bases, namely generalized Wannier bases, that span the spectral subspaces of a (possibly nonperiodic) Hamiltonian operator.
This paper aims at the generalization of the LTC from the periodic setting considered in [62] to the nonperiodic one. Since both sides of the correspondence, namely Wannier bases and Chern numbers, are defined by using periodicity in an essential way, even the formulation of a reasonable conjecture requires some care.
On the side of Wannier bases, a generalization of this concept to nonperiodic systems has been discussed since the early work of Kohn and Onffroy [46]. Later, Kivelson noticed that for \(d=1\) a generalized Wannier basis is provided by the eigenfunctions of the reduced position operator \({\widetilde{X}} := PXP\), where X is the usual position operator [44]. This intuition has been put on solid mathematical grounds in [71], where it is proved that for any gapped onedimensional Schrödinger operator the spectrum of \({\widetilde{X}} \) is discrete, and the corresponding eigenfunctions form a generalized Wannier basis (GWB)^{Footnote 2}, as reviewed in Example 2.7. While the above construction does not generalize to \(d>1\), the existence of a GWB can be proved for several specific ddimensional systems, as discussed in Sect. 2.1 following [70] and [10]. Moreover, in [26] it has been shown that the construction of [71] is optimal, in the sense that the obtained GWB has the same exponential decay of the associated Fermi projection. An alternative strategy to construct a GWB for a generic twodimensional nonperiodic system has been recently suggested and numerically validated [79]. We shortly review the whole topic of GWB in Sect. 2.1.
On the other side of the correspondence, for \(d=2\) the Chern number of the Bloch bundle is naturally generalized to nonperiodic models by the Chern character, defined, for a sufficiently regular orthogonal projection P acting on \(L^2(\mathbb {R}^2)\), by
where \(\tau (\cdot )\) is the trace per unit volume. Whenever P is periodic the above formula reduces to (1.1), so that \(C(P)=c_1(P)\). Physically, \(\frac{1}{2\pi }C(P)\) gives in Hartree units^{Footnote 3} the Hall conductivity of the system, which agrees with the Hall conductance under mild technical assumptions [5].
In connection with solidstate physics, formula (1.3) first appeared—to the best of our knowledge—in 1986 in a conference proceedings by J. Bellissard [6], where C(P) is baptized Chern character and it is specified that formula (1.3) applies to orthogonal projectors affiliated to a specific \(C^*\)algebra of ergodic operators (reducing to periodic operators in the deterministic case). However, as early envisaged by Bellissard himself, the same formula makes sense in a broader context, for projectors P whose kernel is sufficiently fast decreasing away from the diagonal [66]. In an ergodic setting, this viewpoint and its relation with noncommutative geometry have been deeply explored in [7]. The relation with the index of a pair of projections and with the Fredholm index has been also clarified [5, 6, 42], see the review paper [34] and references therein.
The same formula (1.3) has later been reconsidered in a nonergodic and noncovariant setting, provided the trace per unit volume exists, which it happens in particular for exponentially localized projections, as in Definition 2.3. Interpreted in this broader sense, formula (1.3) still produces an integer whenever the trace per unit volume exists, as proved in [29] for discrete models. The latter proof, which is essentially based on the identity between the Chern character and the index of a Fredholm operator as previously established in the covariant and ergodic setting [5, 42], is generalized to gapped continuum models in Proposition 2.13.
Finally, in 2011 physicists rediscovered an equivalent version of formula (1.3), namely \(C(P) = 2\pi \mathrm {i}\, \tau ( [ P X_1 P, P X_2 P])\), labeling the corresponding quantity as Chern invariant [8] and Chern marker [14, 40]. The latter name has been also used in the recent mathematical literature [21, 55].
In this paper, we conjecture a Localization–Topology Correspondence for nonperiodic gapped systems (Conjecture 3.2) and we prove one of the conjectured implications, with a nonoptimal threshold (Theorem 3.1): if an orthogonal projection P, which acts on \(L^2(\mathbb {R}^2)\) and is exponentially localized in the sense of Definition 2.3, admits a GWB \(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) (here \(\mathfrak {D}\) is a discrete set, as in Definition 2.5) which is slocalized for some \(s>4\), i. e. , for \(s>4\) there exists \(M<+\infty \) such that
then the corresponding Chern character C(P) vanishes. Notice that neither periodicity nor covariance with respect to the action of a group is required. The fact that our result does not assume periodicity or covariance makes it suitable for applications also to random Schrödinger operators [1]. In that context, it has been proved that localized eigenfunctions, whose localization might be caused by very different mechanisms, do not contribute to the conductivity: The case of localization of eigenfunctions due to deep wells has been analyzed in [66], while the case of Anderson localization has been treated in [32]; see also the earlier work [49]. Although Wannier functions are not eigenfunctions, our results say—coherently with the latter papers—that the existence of a welllocalized GWB implies the vanishing of the transverse charge conductivity.
Further References
We conclude the Introduction mentioning some results appeared during the revision of our manuscript. The result in this paper was first announced in [55], and a preliminary version of the proof was provided in the PhD thesis of one of the authors [64]. These preliminary papers, together with the results in [62], resparked the interest of part of the community for the analysis of Wannier bases for nonperiodic systems. Besides the aforementioned [79, 80], we notice the preprint by Lu and Stubbs [52] (see also [51]) where they manage to show Theorem 3.1 with \(s>1\). Nevertheless, Theorem 3.1 with the optimal threshold \(s\ge 1\) is still an open problem. Finally, it is worth to notice that the LTC has been recently generalized also in a different direction, within the \(C^*\)algebraic approach to solidstate physics [9, 53].
Setting and Fundamental Concepts
As explained in the Introduction, the aim of this paper is to generalize results from the periodic setting to the nonperiodic one. In order to model materials that are not exactly crystalline we have to replace the Bravais lattice^{Footnote 4}, which models the periodicity of a crystalline system, by a discrete set \(\mathfrak {D}\). We require some uniformity as in the following definition, where \(B_\rho (\mathbf{x})\subset \mathbb {R}^d\) denotes the open ball of radius \(\rho >0\) centered in \(\mathbf{x}\in \mathbb {R}^d\).
Definition 2.1
A set \(\mathfrak {D}\subset \mathbb {R}^d\) is said to be runiformly discrete if there exists \(r>0\) such that \(\forall \,\mathbf{x}\in \mathbb {R}^d\) the set \(B_{r}(\mathbf{x}) \cap \mathfrak {D}\) contains at most one element.
Obviously, a Bravais lattice \(\Gamma \simeq \mathbb {Z}^d\) is a runiformly discrete set for a suitable \(r>0\).
A central role in our analysis will be played by the concept of localization in space; hence, the following Definition will be useful.
Definition 2.2
(Localization function). We say that a continuous function
is a localization function if \(\lim _{x \rightarrow \infty }G(x)=+\infty \) and there exists a constant \(C_G>0\) such that
Natural examples of localization functions are \(G(x) = {{\,\mathrm{e}\,}}^{\alpha x}\) for some \(\alpha > 0\), and \(G(x)=\langle x \rangle ^{2s}\) for some \(s > 0\), where \(\langle x \rangle := \left( 1+ x^2 \right) ^{\frac{1}{2}}\) as usual.
Our aim is to investigate the relation between localization of GWBs and transport properties in noninteracting gapped quantum systems, whose dynamics is generated by a oneparticle (magnetic) Schrödinger operator [3]. The spectral projections onto an isolated component of the spectrum of such operators provide archetypal examples of exponentially localized projections, defined as follows.
Definition 2.3
(Exponentially localized projection). We say that an orthogonal projection P acting on \(L^2(\mathbb {R}^d)\) is exponentially localized if P is an integral operator with a jointly continuous integral kernel \(P(\cdot \,,\,\cdot ):\mathbb {R}^d\times \mathbb {R}^d \rightarrow \mathbb {C}\) and there exist two constants \(C,\beta >0\) such that
The following proposition provides examples of exponentially localized projection for a large class of twodimensional quantum systems, including magnetic Schrödinger operators with constant magnetic field.
Proposition 2.4
Let \(V: \mathbb {R}^2 \rightarrow \mathbb {R}\) be in \(L^2_{\mathrm{uloc}}(\mathbb {R}^2)\), which means that V is uniformly locally squareintegrable, i. e. ,
Assume that the magnetic vector potential \(\mathbf{A}: \mathbb {R}^2 \rightarrow \mathbb {R}^2\) is in \(L^4_{\mathrm{loc}}(\mathbb {R}^2,\mathbb {R}^2)\) with distributional derivative \(\nabla \cdot \mathbf{A} \in L^2_{\mathrm{loc}}(\mathbb {R}^2)\). Consider the Hamiltonian operator
where \(\Delta _\mathbf{A}:=\left( \mathrm {i}\nabla  \mathbf {A}\right) ^2\). Then,

(i)
\(H_\mathbf{A}\) is essentially selfadjoint on \(C^\infty _{\mathrm{c}}(\mathbb {R}^2)\). We denote its closure again by \(H_\mathbf{A}\).

(ii)
The domain \(\mathcal {D}_\mathbf{A}\) of selfadjointness of \(H_\mathbf{A}\) is contained in \(C(\mathbb {R}^2)\).

(iii)
\(H_\mathbf{A}\) is bounded from below.
Moreover, assume that \(\sigma (H_\mathbf{A})\), the spectrum of \(H_\mathbf{A}\), has an isolated component, i. e. , there exist two non empty sets \(\sigma _0,\sigma _1 \subset \mathbb {R}\) and \(E_{\pm } \in \mathbb {R}\setminus \sigma (H_\mathbf{A})\) such that
Let \(P_0\) be the spectral projection corresponding to \(\sigma _0\). Then,

(iv)
\(P_0\) is an exponentially localized projection in the sense of Definition 2.3.
We refer to \(P_0\) as the Fermi projection, interpreting it as the projection onto the space of “occupied” states of a system of noninteracting particles.
Sketch of the proof
The statements (i) and (iii) are a special case of [50, Theorem 3]. The property (ii) is a consequence of the fact that the Schrödinger semigroup \(e^{t H_A}\) is a bounded operator from \(L^2(\mathbb {R}^2)\) to \(L^\infty (\mathbb {R}^2)\) [12, equation (2.40)] and maps \(L^2(\mathbb {R}^2)\) into the space of continuous functions [12, Theorem 4.1]. Therefore, repeating the proof of [77, Corollary B.3.2, Theorem B.3.3] one can show that, for \(\lambda >0\) large enough, the resolvent \(\left( H_\mathbf{A} + \lambda \right) ^{1}\) maps \(L^2(\mathbb {R}^2)\) into the space of continuous functions. Regarding the statement (iv), the existence and joint continuity of the integral kernel of \(P_0\) is a standard result in the theory of Schrödinger operators [12, Remarks 6.2.(ii)] [77]. The exponential localization of the integral kernel is a consequence of the Combes–Thomas estimates on the resolvent [17], which can be shown by adapting the proofs of [24, Proposition 3.1, Appendix A], coupled with the spectral gap assumption on \(\sigma _0\), which allows to choose an integration contour \(\mathcal {C}\subset \mathbb {C}\) with a uniform positive distance from \(\sigma _0\), and the fact that \(P_0 =\frac{\mathrm {i}}{2 \pi } \oint _{\mathcal {C}} dz \, z (H_\mathbf{A}z)^{2}\); see [64, Appendix A.1.1] for details. \(\square \)
Generalized Wannier Bases: A Short Review
Following the seminal idea in [70, 71] we define generalized Wannier bases and functions as follows.
Definition 2.5
(Generalized Wannier basis). Let P be an orthogonal projection acting on \(L^2(\mathbb {R}^d)\) . We say that P admits a generalized Wannier basis (GWB) if there exist a localization function \(G\), a discrete set \(\mathfrak {D}\subset \mathbb {R}^d\), a constant \(m_*>0\) and a set \(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\subset L^2(\mathbb {R}^d)\) with \(m(\gamma )\le m_*\) for every \(\gamma \in \mathfrak {D}\), such that:

(i)
\(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) is an orthonormal basis for \({{\,\mathrm{Ran}\,}}P\);

(ii)
there exists \(M<\infty \) such that every \(\psi _{\gamma ,a}\) is \(G\)localized around \(\gamma \), i. e. ,
$$\begin{aligned} \int _{\mathbb {R}^d} \psi _{\gamma ,a}(\mathbf{x})^2 G(\Vert \mathbf{x}\gamma \Vert ) \, \mathrm{d}\mathbf{x}\le M \quad \forall \gamma \in \mathfrak {D},\,1 \le a \le m(\gamma ). \end{aligned}$$(2.5)
If the above conditions are satisfied, we say that P admits a GWB which is \(G\)localized around the set \(\mathfrak {D}\). One also says that \(\psi _{\gamma ,a}\) is a generalized Wannier function (GWF) \(G\)localized around \(\gamma \in \mathfrak {D}\).
Notice that the localization center \(\gamma \in \mathfrak {D}\) is far from being unique, even in the periodic case. In the physics literature, the vector \(\langle \psi _{\gamma ,a}, \mathbf {X} \psi _{\gamma ,a}\rangle \) is called centroid of \(\psi _{\gamma ,a}\). Moreover, in contrast with the usual definition of Wannier functions for periodic systems, the index \(m(\gamma )\) might depend on \(\gamma \in {\mathfrak {D}}\). Indeed, without a periodicity assumption, one may in general expect a different number of orbitals in different lattice sites. The only constraint we require is that such a number is uniformly bounded, namely \(m(\gamma ) \le m_*, \, \forall \gamma \in {\mathfrak {D}}\).
Finally, it might seem natural to require, in the definition of GWB, that the set \(\mathfrak {D}\) is a Delone set, i. e. , both uniformly discrete and uniformly nowhere sparse^{Footnote 5}. However, as we do not use both these properties in our Theorem (only uniform discreteness is assumed), we preferred not to include them in the definition.
The following terminology agrees with [62]:

\(\diamond \) if (2.5) holds true with \(G(\Vert \mathbf{x}\Vert )={\mathrm {e}}^{2 \alpha \Vert \mathbf{x}\Vert }\), for some \(\alpha > 0\), we say that the GWB is exponentially localized;

\(\diamond \) if (2.5) holds true with \(G(\Vert \mathbf{x}\Vert )=\langle \mathbf{x}\rangle ^{2s}\) for some \(s > 0\), we say that the GWB is slocalized.
In the case of an exponentially localized projection P, the \(L^2\)localization estimate (2.5) implies a \(L^\infty \)estimate on any GWF \(\psi _{\gamma ,{a}}\), as in the following
Lemma 2.6
(From \(L^2\)estimates to \(L^\infty \)estimates). Let P be an exponentially localized projection acting on \(L^2(\mathbb {R}^d)\). Assume that P admits a GWB \(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) with localization function \(G(\Vert \mathbf{x}\Vert ) \le C_1 \mathrm {e}^{\lambda \Vert \mathbf{x}\Vert }\), with \(C_1 > 0\) and \(\lambda < 2\beta \) for \(\beta \) as in (2.2). Then, there exists a constant \(K>0\), independent of \(\gamma \in \mathfrak {D}\), such that each GWF \(\psi _{\gamma ,{a}}\) satisfies
Proof
Using the fact that \(\psi _{\gamma ,{a}}=P\psi _{\gamma ,{a}}\), one has
where in the second and third inequality we have used property (2.1) and the Cauchy–Schwarz inequality, respectively. In view of (2.2) and of the hypothesis on G, there exists a constant \(K>0\), independent of \(\gamma \in \mathfrak {D}\), such that
Therefore, (2.6) is proved. \(\square \)
Whenever the projection P admits a GWB, it can be written as (using the Dirac notation)
where the series is understood as the strong limit of the finite sums of the projections on the onedimensional spaces spanned by each GWF. Notice that the strong limit is independent of the ordering of the series. Moreover, if the set \(\mathfrak {D}\) is runiformly discrete, it is convenient to rearrange the above series as
with \(\Lambda _L = [L,L]^d\). Furthermore, if \(P= P_0\) is the Fermi projection of an operator satisfying the hypotheses of Proposition 2.4 and admitting a GWB that is exponentially localized or slocalized, with \(s>1\), the equality
holds true pointwise, since \(\psi _{\gamma ,a}\in {{\,\mathrm{Ran}\,}}P_0\subset \mathcal {D}_\mathbf{A}\subset C(\mathbb {R}^2)\) by Proposition 2.4(ii) and \(\psi _{\gamma ,{a}}\) satisfies (2.6).
We emphasize a crucial point: The fact that \(P_0\) is an exponentially localized projection does not imply that the GWFs appearing in (2.8) are themselves exponentially localized, as it is explained in [62] for the periodic case. While the exponential localization of \(P_0\) is a mere consequence of the gap condition, via Combes–Thomas estimates, the existence of an exponentially localized Wannier basis is related—in the periodic case—to the Chern triviality of the vector bundle associated with \(P_0\) [13, 19, 22, 31, 48, 72]. Notice, moreover, that not every orthonormal basis is able to capture the topological properties of the former vector bundle. Indeed, if one relaxes the definition of GWB, allowing, for example, an orthonormal basis whose elements are localized around circles of increasing radii as in [75], it is always possible to find an exponentially localized orthonormal basis such that (2.8) holds true; see [65]. In this sense, the definition of GWB is a good compromise between generality and ability to “read” the vanishing of the Chern character.
Whenever the Hamiltonian operator is \(\Gamma \)periodic and satisfies suitable regularity conditions, see, e.g., [62, Remark 3.2], the Fermi projection \(P_0\) commutes with a unitary representation of the group \(\Gamma \simeq \mathbb {Z}^d\), denoted by \(\left\{ T_\gamma \right\} _{\gamma \in \Gamma }\), and one constructs via Bloch–Floquet theory the usual composite Wannier basis for \(P_0\), denoted by \(\{T_\gamma w_{0,a} \}_{\gamma \in \Gamma , 1 \le a \le m}\), for some fixed integer \(m \ge 1\) (equal to the number of Bloch bands associated with \(P_0\)). It is easy to see that such composite Wannier basis satisfies Definition 2.5, so it is indeed a GWB. According to the value of the first Chern number(s) of P, such a GWB can be chosen exponentially localized if \(c_1(P) = 0\), or slocalized for any \(s <1\) (but not for \(s=1\)!) if instead \(c_1(P) \ne 0\) [62].
It is of relevance to note that there are nonperiodic systems in which is not possible to construct a composite Wannier basis—in view of the lack of periodicity—but is still possible to have a generalized Wannier basis. In this direction, we review here some examples^{Footnote 6}:
Example 2.7
(Generic onedimensional insulators). Consider the onedimensional Schrödinger operator
H is a selfadjoint operator in \(L^2(\mathbb {R})\), bounded from below. Assume that the spectrum of H has an isolated component \(\sigma _0\), such that the range of the spectral projection \(P_0\) corresponding to \(\sigma _0\) has infinite dimension. Inspired by Kivelson [44], the authors of [71] consider the reduced position operator \(P_0XP_0\) with domain \(\mathcal {D}(P_0XP_0)=\mathcal {D}(X)\cap {{\,\mathrm{Ran}\,}}P_0\) and prove that:

(i)
the resolvent of \(P_0XP_0\) is a compact operator; hence, the spectrum of \(P_0XP_0\) is purely discrete. The corresponding eigenvectors \(\psi _{\gamma ,a} \in L^2(\mathbb {R})\) satisfy
$$\begin{aligned} P_0XP_0 \psi _{\gamma ,a}=\gamma \psi _{\gamma ,a} \qquad \forall \,\gamma \in \sigma (P_0XP_0) ,\,1 \le a \le m(\gamma ), \end{aligned}$$where \(m(\gamma )\) is the degeneracy index of the eigenvalue \(\gamma \);

(ii)
there exist two constants \(0<\alpha , M <\infty \) such that
$$\begin{aligned} \int _{\mathbb {R}} \psi _{\gamma ,a}(\mathbf{x})^2 \mathrm {e}^{ \alpha \Vert \mathbf{x}\gamma \Vert } \, \mathrm{d}\mathbf{x}\le M \quad \forall \,\gamma \in \sigma (P_0XP_0) ,\,1 \le a \le m(\gamma ). \end{aligned}$$
Setting \(\mathfrak {D}_0 = \sigma (P_0XP_0)\), the orthonormal basis \(\left\{ \psi _{\gamma ,{a}}\right\} _{\gamma \in \mathfrak {D}_0, 1 \le a \le m(\gamma ) }\) is a GWB in the sense of Nenciu–Nenciu, as defined in [71], exponentially localized around the discrete set \(\mathfrak {D}_0\). To prove that \(\left\{ \psi _{\gamma ,{a}}\right\} \) is a GWB according to our (stronger) Definition 2.5, one has to show that \(\exists \, m_* : m(\gamma )\le m_*\) for all \(\gamma \in \mathfrak {D}\), which is not known in general. Whenever the Hamiltonian is periodic, the generalized Wannier basis constructed with the previous strategy [71] coincides with a usual composite Wannier basis [25, 64]. Furthermore, in [26] it has been proved that the number of eigenvalues of \(P_0XP_0\), counted with their multiplicity, contained in an interval of length L, grows at most linearly with L. However, this result does not imply that the set \(\sigma (P_0XP_0)\) is runiformly discrete or Runiformly nowhere sparse for some \(r,R>0\). The proof of the latter claims is, to our knowledge, still an open problem.
The previous construction for onedimensional systems does not directly generalize to higher dimensions, essentially for two reasons:

(i)
generically, the compact resolvent property of \(P_0XP_0\) holds true only in \(L^2(\mathbb {R})\), as one can easily see for \(d=2\) when \(P_0\) is \(\mathbb {Z}^2\)periodic;

(ii)
in general \(P_0 X_i P_0\) and \(P_0 X_jP_0\) do not commute for \(i \ne j\), so the attempt to simultaneously diagonalize them fails. It is worth noticing that the topological and transport properties of the system are encoded exactly in the commutator between \(P_0 X_1 P_0\) and \(P_0 X_2 P_0\); see Sect. 2.2 and specifically equation (2.14). The relation with the theory of almostcommuting operators has been explored in [37].
Some proposals to circumvent these difficulties appeared recently in [79, 80], where the authors show that, under the additional crucial assumptions of uniform spectral gaps for the spectrum of the operator \(PX_1P\), it is possible to prove the existence of an exponentially decaying GWB for the projection P. Proving that \(PX_1P\) satisfies such uniform spectral gaps hypothesis is still an open problem, but in [79] the authors present numerical simulations showing that in explicit tightbinding models the spectrum of \(PX_1P\) has spectral gaps only when the projection P is Chern trivial, which is in accordance with Conjecture 3.2.
Despite the difficulties to deal with generic nonperiodic systems for \(d>1\), there are several specific ddimensional models for which the existence of a welllocalized GWB has been proved, as in the following examples.
Example 2.8
(ddimensional insulators with weak disorder). Generalized Wannier bases can be useful in the analysis of periodic systems perturbed by impurities and weak disorder. Given \(\lambda \in \mathbb {R}\) and a Bravais lattice \(\Gamma \subset \mathbb {R}^d\), \(d\le 3\), we consider the Hamiltonian operator, acting in \(L^2(\mathbb {R}^d)\),
where \(V_\Gamma \in L^2_{\mathrm{uloc}}(\mathbb {R}^d)\) is \(\Gamma \)periodic. Assume that \(W\in L^2_{\mathrm{uloc}}(\mathbb {R}^d)\), so that \(H_\lambda \) is an entire family of type A in the sense of Kato. The potential \(V_\Gamma \) models the periodic background of the crystalline insulator, while W models either a sum of localized impurities or a delocalized disorder.
Assume that the spectrum of \(H_0\) has an isolated component \(\sigma _0\). Since \(H_0\) is timereversal symmetric, the projection \(P_0\) onto the isolated component \(\sigma _0\) admits a Wannier basis \(\left\{ \psi _{\gamma ,a}:=\psi _{0,{a}}(\cdot \gamma )\right\} _{\gamma \in \Gamma , 1\le a \le m}\), for some \(m>0\), where each Wannier function \(\psi _{\gamma ,{a}}\) is exponentially localized around \(\gamma \) in the sense of Definition 2.5. By standard perturbation theory [41, Remark VII.2.3, p. 379] one can prove that there exists a \(\lambda _0>0\) small enough such that, for \(\lambda <\lambda _0\), the spectrum of \(H_\lambda \) has an isolated component \(\sigma _{\lambda }\) that varies continuously with \(\lambda \) in the Hausdorff distance. Denote by \(P_\lambda \) the spectral projection onto \(\sigma _\lambda \).
In [70], it is shown how to transport an exponentially localized GWB from the range of \(P_0\) to the range of \(P_\lambda \). Let us review here the main steps of the proof rewritten in our setting. First of all, since \(H_\lambda \) is an analytic family of type A, the family of projections is analytic in \(\lambda \) [41, Theorem VII.3.1.7], in particular \(\Vert P_\lambda P_{\lambda '}\Vert \le C \lambda \lambda '\) for some positive constant C. It follows that, for \(\lambda \lambda '\) small enough, there exists a unitary operator which intertwines the two projections and, as a consequence, it unitarily maps an orthonormal basis for the range of \(P_\lambda \) into an orthonormal basis for the range of \(P_{\lambda '}\). Furthermore, in view of the hypothesis on the Hamiltonian and the gap condition, one can prove that the projections, \(P_\lambda \) and \(P_{\lambda '}\), are both exponentially localized projection in the sense of Definition 2.3. In addition, using again the Riesz formula, together with the Combes–Thomas rotation and the relative smallness of W, one gets that, for some \(\delta >0\) small enough, \(\sup _{\mathbf{{a}} \in \mathbb {R}^d}\Vert {{\,\mathrm{e}\,}}^{\delta \langle \cdot \mathbf{{a}\rangle }} \left( P_{\lambda }P_{\lambda '}\right) {{\,\mathrm{e}\,}}^{\delta \langle \cdot \mathbf{{a}\rangle }}\Vert \le C \lambda \lambda '\) which implies that the intertwining unitary, explicitly given by the Kato–Nagy formula, preserves the exponential localization; see [70]. Therefore, starting from an exponentially localized GWB for \(P_0\) and iterating the unitary transport a finite number of times, one obtains a GWB for every \(P_\lambda \), with \(\lambda <\lambda _0\), which is exponentially localized around the same discrete lattice \(\Gamma \) as the original one.
Notice that this argument relies on the fact that \(P_\lambda \) is a spectral projection onto an isolated component of the spectrum, namely we are assuming that the Fermi energy lies always in a spectral gap. In the setting of random Schrödinger operator, it is usually considered also the case of the Fermi energy lying in a region of mobility gap. In such a situation, even though the integral kernel of the Fermi projection is not exponentially localized, it might still be possible to construct special orthonormal basis that is localized in space; see, for example, [32] and references therein.
Example 2.9
(Deformed ddimensional insulators: the Gubanov model). A class of examples of nonperiodic gapped quantum systems that admit an exponentially localized GWB is provided by a Schrödinger operator modeling the deformation of a periodic ddimensional insulator. We recall the definition of this model, following [10], where it is called quasicrystalline model of Gubanov.
The Hamiltonian \(H_0\) describing the undeformed system, acting in \(L^2(\mathbb {R}^d)\) for \(d \le 3\), is given by
We assume that the spectrum of \(H_0\) has an isolated component \(\sigma _0\), and denote by \(P_0\) the corresponding spectral projection. In order to describe the deformation of the system, we consider \(g \in C^2(\mathbb {R}^d,\mathbb {R}^d)\) and \(\Omega \subset \mathbb {R}^d\) and set
Let \(V_g\) be the potential given by \(V_g(\mathbf{x})=V(\mathbf{x}+g(\mathbf{x}))\), for all \(\mathbf{x}\in \mathbb {R}^d\). Then the Hamiltonian of the deformed system is \(H_g=\Delta + V_g\).
Assume that \(b(g,\mathbb {R}^d)=\xi < + \infty \) and that \(P_0\) admits a GWB which is exponentially localized around some runiformly discrete set \(\mathfrak {D}\). A consequence of [10, Proposition 4] is that, for \(\xi \) small enough, the spectrum of \(H_g\) has an isolated component \(\sigma _{g}\) that varies continuously with \(\xi \) in the Hausdorff distance. The corresponding spectral projection \(P_g\) of \(H_g\) is not norm continuous with respect to \(\xi \). However, if, for \(\xi \) small enough, one defines the unitary operator [10] \((Y\psi )(\mathbf{x})= \left( \det \left( \partial _{j}(\mathbf{x}+g(\mathbf{x}))_i\right) \right) ^{1/2} \psi (\mathbf{x}+g(\mathbf{x}))\) for every \(\psi \in L^2(\mathbb {R}^2)\), then \(YP_gY^*\) depends continuously on \(\xi \); hence, \(\left\ YP_gY^*  P_0 \right\ < 1\) for \(\xi \) sufficiently small. Therefore, by repeating the steps described in Example 2.8 one can unitarily transport the GWB from the range of \(P_0\) to the range of \(YP_gY^*\), without spoiling the localization properties. Let \(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) be the GWB of \(YP_gY^*\). Exploiting the explicit expression of the operator \(Y^*\) and the fact that the derivatives of g are uniformly bounded by \(\xi \), one gets that \(\{\varphi _{{\widetilde{\gamma }},a}:=Y^* \psi _{\gamma ,a}\}_{{\widetilde{\gamma }} \in {\widetilde{\mathfrak {D}}}, 1 \le a \le m({\widetilde{\gamma }})}\) is an exponentially localized GWB for the range of \(P_g\), where \({\widetilde{\mathfrak {D}}}:=\{\mathbf{x}\in \mathbb {R}^d \; \; \mathbf{x}= \gamma +g(\gamma ), \gamma \in \mathfrak {D}\}\) is an \(r'\)uniformly discrete set and \(m({\widetilde{\gamma }})=m(\gamma )\).
Example 2.10
(Magnetic perturbations of Cherntrivial 2D insulators). Generalized Wannier functions naturally appear when a twodimensional system is subjected to a constant magnetic field whose flux through the periodicity cell does not necessarily satisfies a commensurability condition with respect to the quantum of magnetic flux. While it is not possible, in such a case, to rely on any type of magnetic Bloch–Floquet transform, it is still possible to exploit the covariance with respect to magnetic translations. This problem has been tackled in [19] and [22]. Consider a \(\mathbb {Z}^2\)periodic insulator modeled by a Bloch–Landau Hamiltonian, acting in \(L^2(\mathbb {R}^2)\), that is
where \(V_{\mathbb {Z}^2}\) is a smooth \(\mathbb {Z}^2\)periodic scalar potential, \(\mathbf {A}_{\mathbb {Z}^2}\) is a smooth \(\mathbb {Z}^2\)periodic vector potential, \(\epsilon \in \mathbb {R}\), \(b_0 \in 2\pi \mathbb {Q}\) and \(\mathbf {A}(\mathbf{x})=\frac{1}{2}\left( x_2,x_1\right) \) is the magnetic potential of a constant magnetic field in the symmetric gauge. Assume that the spectrum of \(H_0\) has an isolated component \(\sigma _0\) and let \(P_0\) be the corresponding spectral projection. Then, for \(\epsilon \) small enough, the spectrum of \(H_\epsilon \) has an isolated component \(\sigma _{\epsilon }\) which varies continuously with \(\epsilon \) in the Hausdorff distance. If \(P_0\) has a vanishing Chern number, then \(P_0\) admits a (magnetic) Wannier basis \(\left\{ \psi _{\gamma ,{a}}\right\} _{\gamma \in \mathbb {Z}^2, 1\le a \le m}\), for some \(m>0\), where each Wannier function \(\psi _{\gamma ,{a}}\) is exponentially localized around \(\gamma \). A consequence of the results in [19] is that, if \(\epsilon \) is small enough, then \(P_\epsilon \) admits a GWB exponentially localized around the same lattice \(\mathbb {Z}^2\). Notice that the “magnetic” GWB for the perturbed projection \(P_\epsilon \) present an almostladder structure, in the sense that it can be written just using a finite set of vectors together with magnetic translation and a position dependent phase, as explained in [22], where also a constructive algorithm for the GWB is provided.
A Topological Marker in Position Space
The TKNN approach to the quantum Hall effect [82] established that the Hall conductivity, as given by the Kubo formula for linear response, is always an integer in units of \(\frac{e^2}{h} = \frac{1}{2\pi }\). Shortly after, the topological origin of such an integer has been recognized [4, 78], thus establishing a Transport–Topology Correspondence: For gapped periodic magnetic systems, the Hall conductivity equals (up to a universal constant) the Chern number \(c_1(P)\) of the (magnetic) Bloch bundle corresponding to the Fermi projection. Later, Haldane noticed that such a correspondence and the existence of a nontrivial topology only rely on the breaking of TRS, thus paving the way to the flourishing new field of topological insulators [35, 36].
The former Transport–Topology Correspondence for periodic systems has been later extended to nonperiodic models, either by methods from noncommutative geometry [6, 7, 66], or by using the index of a pair of projections [5, 6]. As mentioned in the Introduction, in the nonperiodic setting the Chern number is replaced by the Chern character C(P), given by formula (1.3) [6, 7]. Its main advantage is that it provides a topological marker defined in position space, with no reference to a quasimomentum space which is available only in a periodic setting.
We emphasize that the Chern character can be defined without any ergodicity or covariance assumption on P, as in the following
Definition 2.11
(Chern character). Let P be an orthogonal projection in \(L^2(\mathbb {R}^2)\). Let \(X_1\) and \(X_2\) be the multiplication operators by the respective component of the position operator, i. e. , \((X_i \psi )(\mathbf{x})=x_i \psi (\mathbf{x})\), for \(\psi \in \mathcal {D}(X_i)\). Given \(L>1\) and \(\Lambda _L:= [L,L]^2\), we denote by \(\chi _{\Lambda _L}\) the characteristic function of the set \(\Lambda _L\). Assume that \(\left[ X_1, P \right] , \left[ X_2,P \right] \) uniquely extend to bounded operators and \(\chi _{\Lambda _L} P \left[ \left[ X_1, P \right] ,\left[ X_2,P \right] \right] P\chi _{\Lambda _L}\) is a trace class operator for every \(L>1\).
Under these assumptions, the Chern character of P is defined by the following trace per unit volume:
whenever the limit exists.
Formula (2.11) coincides up to a universal constant with the Hall conductivity in gapped systems, in the linear response regime, provided Kubo formula holds true. For the validity of the latter, see the recent papers [54, 56, 63, 81] and references therein; concerning the Kubo formula for spin conductivity, see [57, 58] and references therein.
The limit in (2.11) equals \(2\pi \) times the trace per unit volume of the operator
hence, it agrees with formula (1.3) in the Introduction. It is interesting to notice that it is possible to rewrite (2.12) in terms of commutators of the socalled reduced position operators. Let P be an exponentially localized projection and \(\widetilde{X}_j\;:=\; P X_j P\) be the reduced position operator in direction \(j \in \{1,2\}\). A direct computation^{Footnote 7}, exploiting only \(P^2=P\) and \(\left[ X_1,X_2\right] \;=\;0\), yields
so that
where \(\tau (\cdot )\) denotes the trace per unit volume, which is conditionally cyclic^{Footnote 8}. Notice that the operator \(\big [\widetilde{X}_1,\widetilde{X}_2\big ]\) is densely defined since the projection P maps pointwise exponentially decaying functions, with exponential decay less than \(\beta \) in (2.2), into pointwise exponentially decaying functions.
Definition 2.11 contains two relevant constraints: the trace class condition of \(\chi _{\Lambda _L}\mathfrak {C}_{P}\chi _{\Lambda _L}\) and the existence of the limit of (2.11), which are not trivial when P is a generic orthogonal projection. Whenever the orthogonal projection is exponentially localized and timereversal symmetric, the Chern character vanishes, independently of any periodicity hypothesis, cf. [5, Theorem 3.9], as detailed in the following.
Proposition 2.12
(Chern character vanishes under TRS). Let P be an exponentially localized projection acting on \(L^2(\mathbb {R}^2)\). Let timereversal symmetry be encoded by^{Footnote 9} an antiunitary operator \(\Theta \) such that \(\Theta ^2=\pm \mathbbm {1}\) and \([\Theta , X_i]=0\) for any \(i\in \{1,2\}\). If P is timereversal symmetric in the sense that \(\Theta P \Theta ^{1}= P\), then \(C(P)=0\).
Proof
First, notice that by Proposition 4.1, the sequence of traces defining the Chern character is well defined. Then, by using that \({{\,\mathrm{Tr}\,}}(A)=\overline{{{\,\mathrm{Tr}\,}}(\Theta \,A\, \Theta ^{1})}\) for every trace class operator A and exploiting the timereversal symmetry of P, we have the chain of equalities
which implies that the Chern character is zero. \(\square \)
Notice that the exponential localization hypothesis in Proposition 2.12 is only used to justify the formal computations with the double commutator formula; however, a sufficiently fast polynomial decay of the integral kernel would be sufficient to prove the statement.
Even though the limit (2.11) defining the Chern character might not exist for generic orthogonal projections, this is never the case when P is an exponentially localized projection. Moreover, in such situation, the Chern character is an integer. This fact has first been proved in [29, Appendix, Proposition 3 and Remark 3] in the discrete setting and using a different terminology^{Footnote 10}, covering also the more general case of a mobility gap. The proof in [29] is based on the index of pair of projections defined in [5, 6, 66], and here we adapt their argument to our setting, i. e. , exponentially localized projections on the continuum. We notice that the profound reason for the quantization of such index can be traced back to the Fedosov formula for the index of elliptic operators [30, 39]. Before formulating the results, let us briefly remind the definition of the index of pair of projections.
Consider the unitary multiplication operator U, defined by \((U\psi )(\mathbf{x}) =U(\mathbf{x}) \psi (\mathbf{x})\) with
The unitary U represents a singular gauge transformation associated with the insertion of a magnetic flux tube carrying one unit of quantum flux. As emphasized in [5], it is not restrictive to consider only unitary operators with unit winding number, like (2.15), see [5, Theorem 4.2]. Then, the index of pair of projections P, \(UPU^*\), is defined by
We show that the Chern character coincides with the index of a pair of projection and hence is an integer, with no ergodicity or covariance assumption on P.
Proposition 2.13
Let P be an orthogonal projection acting on \(L^2(\mathbb {R}^2)\) which is an exponentially localized projection in the sense of Definition 2.3. Let U be the unitary multiplication operator defined in (2.15). Then,
where C(P) is the Chern character defined in (2.11) and \({\text {Index}}(P,UPU^*)\) is the index of pair of projections defined in (2.16).
The proof is postponed to Appendix A.
Main Result
We can now formulate our main result.
Theorem 3.1
(Localization of GWB implies Chern triviality). Let P be an orthogonal projection acting on \(L^2(\mathbb {R}^2)\), which is an exponentially localized projection in the sense of Definition 2.3. Let \(\mathfrak {D}\subset \mathbb {R}^2\) be a runiformly discrete set and let \(s>4\). Suppose that P admits a generalized Wannier basis \(\{\psi _{\gamma ,a}\}_{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) which is slocalized around \(\mathfrak {D}\), in the sense of Definition 2.5. Then, the Chern character of P is zero.
Notice that periodicity plays no role in Theorem 3.1. In nonperiodic context, one might think that a natural generalization of Bravais lattice is a Delone set, which is both runiformly discrete and Runiformly nowhere sparse\(^(5)\). However, in the proof of the above theorem only the property of \({\mathfrak {D}}\) to be uniformly discrete is used, via the“Generalized Maclaurin–Cauchy test” (Lemma B.1).
As we have already mentioned in the Introduction, in the periodic context the relation between the localization of Wannier bases and the topology of the Bloch bundle is a wellestablished paradigm [62]. Inspired by the latter result, we conjecture that the remarkable dichotomic character that pertains to periodic systems is actually a more general phenomenon.
Conjecture 3.2
(Localization dichotomy for nonperiodic gapped systems). Let \(P_0\) be the spectral projection, acting on \(L^2(\mathbb {R}^2)\), corresponding to an isolated component \(\sigma _0\) of an operator satisfying the hypotheses of Proposition 2.4. Then there exists a number \(s_* \ge 1\) such that the following statements are equivalent:

(a)
\(P_0\) admits a generalized Wannier basis that is exponentially localized around a runiformly discrete set, for some \(r >0\).

(b)
\(P_0\) admits a generalized Wannier basis that is slocalized, with \(s \ge s_*\), around a \(r'\)uniformly discrete set, for some \(r' >0\).

(c)
\(P_0\) is Chern trivial in the sense that its Chern character \(C(P_0)\) exists and is equal to zero.
Clearly, (a) implies (b) by a simple inequality. The implication from (b) (with \(s_*>4\)) to (c) is the content of Theorem 3.1, which is proved in the next section. The open problem in the conjecture is to show that (c) is implies (a). Moreover, since for any timereversal symmetric system the Chern character vanishes, see Proposition 2.12, proving that (c) is implies (a) would solve a long standing conjecture about the existence of generalized Wannier bases for timereversal symmetric systems [70].
Furthermore, in view of the periodic counterpart, the threshold \(s_*>4\) appearing in Theorem 3.1 does not seem optimal. In fact, a generalization of the localization dichotomy for periodic systems proved in [62] would require \(s_*=1\).
Theorem 3.1, coupled with the techniques used in [70], allows to show that the nonexistence of a welllocalized GWB is stable with respect to suitable perturbations, as detailed in the following Corollary. A similar stability result concerning the vanishing of the Chern character holds also true.
Corollary 3.3
(Stability of the GWB delocalization). Consider the family of Hamiltonian operators, acting in \(L^2(\mathbb {R}^2)\),
where \(V_{\mathbb {Z}^2}\) is a smooth \(\mathbb {Z}^2\)periodic scalar potential, \(\mathbf {A}_{\mathbb {Z}^2}\) is a smooth \(\mathbb {Z}^2\)periodic vector potential, \(b_0 \in 2\pi \mathbb {Q}\) and \({\mathbf {A}}(\mathbf{x})=\frac{1}{2}\left( x_2,x_1\right) \). Assume that W is infinitesimally relatively bounded with respect to \(H_0\) and that the spectrum of \(H_0\) has an isolated component \(\sigma _0\subset (E_,E_+)\), \(E_\pm \in \mathbb {R}\setminus \sigma (H_0)\). For \(\lambda \) small enough, say \(\lambda  < \delta \), \(E_\pm \) belong to the resolvent set of \(H_{\lambda }\). Denote by \(P_\lambda \) the spectral projection onto the spectral island \(\sigma _\lambda :=\sigma (H_\lambda ) \cap (E_,E_+)\). It holds true that

(i)
if the Chern number of \(P_0\) is different from zero, then for \(\lambda  < \delta \) the projection \(P_\lambda \) does not admit any GWB that is slocalized for \(s>4\);

(ii)
if \(P_0\) admits an slocalized GWB around a certain runiformly discrete set for \(s>4\), then \(C(P_\lambda )=0\) for \(\lambda <\delta \).
Proof
Let us prove statement (i). We first consider \(\lambda =0\). Suppose by contradiction that \(P_0\) admits a slocalized GWB, with \(s>4\). Then, in view of Theorem 3.1, the Chern character of \(P_0\) vanishes. This leads to a contradiction since, as \(P_0\) commutes with a unitary representation of \(\mathbb {Z}^2\), one has \(C(P_0) = c_1(P_0) \ne 0\). Consider now \(\lambda \ne 0\). Since W is infinitesimally small with respect to \(H_0\), \(H_\lambda \) defines an entire family of type A; hence, for \(\lambda \) small enough \(E_\pm \) belongs to the resolvent set of \(H_\lambda \) and \(\sigma _\lambda \) is a welldefined isolated component of the spectrum [41, Remark VII.2.3, p. 379], such that \(\Vert P_\lambda  P\Vert \le C \lambda <1\). Assume now by contradiction that \(P_\lambda \) admits a GWB that is slocalized for \(s>4\). Therefore, following the idea in [70], it is possible to unitarily transport the GWB back to the original system by using the Kato–Nagy unitary operator U that intertwines \(P_0\) and \(P_\lambda \). Moreover, since \(H_\lambda \) satisfies the assumptions of Proposition 2.4, we can apply the result of [22, Lemma C.1], which implies that \(U\mathbbm {1}\) is an integral operator with an exponentially localized kernel, that is a kernel satisfying (2.2). Hence, via a Schur–Hölmgren estimate we get that
which implies that U preserves the localization properties of the GWB. Therefore, \(P_0\) admits a GWB that is slocalized. Then, Theorem 3.1 implies that the \(C(P_0)=0\), which is a contradiction.
The proof of statement (ii) follows a similar argument. \(\square \)
Proofs
WellPosedness of the Chern Character
The main result of this section is the proof that the operator \(\chi _{\Lambda _L} \mathfrak {C}_P \chi _{\Lambda _L}\) with P an exponentially localized projection, see (2.12), is trace class, and that its trace is \({\mathcal {O}}(L^2)\).
As anticipated in Sect. 2.2, the topological properties of the system are encoded in the commutator \(\left[ \widetilde{X}_1,\widetilde{X}_2\right] \), and the Chern character is proportional to
Now, we prove that for all \(L>1\), each summand of the commutator \(\chi _{\Lambda _L} [\widetilde{X}_1,\widetilde{X}_2]\chi _{\Lambda _L}\), and the terms involved in the direct computation (2.13) are trace class.
Proposition 4.1
Let P be an exponentially localized projection acting on \(L^2(\mathbb {R}^2)\), let \(X_i\), for \(i \in \left\{ 1,2 \right\} \), denote the components of the position operator, and let \(\chi _{\Lambda _L}\) be the characteristic function of the set \(\Lambda _L:=[L,L]^2\). Then

(i)
for every \(m,n,m',n' \in \mathbb {N}= \left\{ 0,1,\ldots \right\} \) the operator
$$\begin{aligned} \chi _{\Lambda _L} P (X_i)^m(X_j)^{m'} P (X_j)^n (X_i)^{n'} \end{aligned}$$is a trace class operator.

(ii)
Moreover, there exists \(C>0\) such that
$$\begin{aligned} \left {{\,\mathrm{Tr}\,}}(\chi _{\Lambda _L} P \left[ \left[ X_1, P\right] ,\left[ X_2, P\right] \right] \chi _{\Lambda _L})\right \le C L^2 \qquad \forall L \ge 1. \end{aligned}$$
Proof
(i). Consider \(\beta \) as in inequality (2.2). Let \(\eta <\beta /3\) and consider the multiplication operators \({\mathrm {e}}^{\eta \Vert X \Vert }\) and \({\mathrm {e}}^{\eta \Vert X \Vert }\). One has
From estimate (2.2) and the triangle inequality it follows that
Thus, the two operators appearing on the l.h.s above have both integral kernels in \(L^2(\mathbb {R}^2 \times \mathbb {R}^2)\) and hence are Hilbert–Schmidt operators. Since the product of two Hilbert–Schmidt operators is in the trace class ideal, and \(\chi _{\Lambda _L} \, {\mathrm {e}}^{4\eta \Vert X \Vert }\) is a bounded operator, the first part of the proposition is proved. In particular, choosing \(m=0=m'\) and \(n=0=n'\), one concludes that \(\chi _{\Lambda _L}P^2=\chi _{\Lambda _L}P\) is trace class.
(ii). We have that
By writing explicitly the integral kernel of \(\mathfrak {C}_{P}\) and exploiting that the kernel of P is jointly continuous and satisfies (2.2), we obtain that there exist two positive constants \(\alpha \) and C such that
Hence, we can easily estimate the Hilbert–Schmidt norm of \(\chi _{\Lambda _L} \mathfrak {C}_{P} P \) and \(P \chi _{\Lambda _L}\) by explicit integration and conclude the proof of the proposition. \(\square \)
The Proof in a Nutshell
Let P be an exponentially localized projection that admits a GWB localized around a runiformly discrete set \(\mathfrak {D}\), with localization function G (see Definition 2.5). In general, one cannot expect the operators \(\widetilde{X}_i\) to be diagonal in the GWB representation, as the expectation value of the position operators in the GWB, namely \( \langle \psi _{\gamma ,{a}}, X_i \psi _{\eta ,{b}} \rangle \, , \) has nonvanishing offdiagonal elements. However, in order to understand the main idea behind our proof, let us suppose for the moment that P admits a GWB made of generalized Wannier functions localized on a runiformly discrete set \(\mathfrak {D}\) and with compact and mutually disjoint supports. In this setting, we have
in view of the mutually disjoint support property of the GWFs. Then, the operators \(\widetilde{X}_1\) and \(\widetilde{X}_2\) are diagonal operators in the generalized Wannier basis, which implies that \([\widetilde{X}_1,\widetilde{X}_2]=0\). Therefore, we can easily see from (4.1) that in such oversimplified setting the Chern character vanishes and Theorem 3.1 holds true.
Hence, we find convenient to introduce the operators \(\Gamma _i\), for \(i\in \left\{ 1,2\right\} \), by setting
acting on the maximal domain \(\mathcal {D}(\Gamma _i):= \left\{ \varphi \in L^2(\mathbb {R}^2) \;  \; \sum _{\gamma ,a} \gamma _i^2 \langle \psi _{\gamma ,a}, \varphi \rangle ^2\right. \left. < +\infty \right\} \).
The orthonormality of the GWB implies that
and, obviously, one has \(\tau ( \left[ \Gamma _i,\Gamma _j\right] ) = 0\). The strategy of the proof of Theorem 3.1 is to control “how far” the commutator between the reduced position operators is from the commutator between the operators \(\Gamma _i\), when they are localized on the compact region \(\Lambda _L\). In particular, we show that
which implies that
The proof consists in splitting the contribution of the difference of commutators appearing in (4.4) in several terms and to show that each of these terms separately goes at most linearly in L as \(L \rightarrow \infty \). The main ingredients of our analysis are the estimates contained in the Proposition 4.2 which are of two types:

Estimates (4.6) and (4.5) show that the \(L^2\) norm contribution in \(\Lambda _L\) (resp. in \(\Lambda ^c_L\) ) coming from the GWFs that have a center outside \(\Lambda _L\) (resp. inside \(\Lambda _L\)) is at most of order L. Loosely speaking, when we look at the norm of GWFs in a certain region of the plane, the error we make by considering only the ones with the center in such region grows only like the boundary of the region.

The estimates (4.84.11) are used to analyze the contribution to the trace in (4.4) coming from the fact that the reduced position operators \(\widetilde{X}_i\) are not diagonal in the generalized Wannier basis, namely (4.2) does not hold true in general. From the proof of (4.11), we have that such error is again of order L as \(L\rightarrow \infty \).
Proof of Theorem 3.1
To make the proof as clear as possible, we first recollect in the next technical proposition all the important estimates on the GWB that we need for the proof. Notice that in order to estimate the values of certain series over the runiformly discrete set \(\mathfrak {D}\) we make use of a generalized Cauchy–Maclaurin test, see Lemma B.1, to obtain an upper bound using Lebesgue integrals over the plane.
Proposition 4.2
Let the hypotheses of Theorem 3.1 be satisfied. Then, there exist two positive constants \(\mathcal {I}_{\textsc {mo}},\mathcal {I}_{\textsc {mi}}\) such that, for every \(L\ge 1\), one has
Moreover, there exists a function \(F: [0,+ \infty ) \rightarrow [0,+ \infty )\) such that
and the following integrability conditions are satisfied:
The proof of Proposition 4.2, postponed to Appendix B.3, shows that one can choose F in the form \(F(\Vert \mathbf{x}\Vert ):= k_s \langle \mathbf{x}\rangle ^{(s2\epsilon )}\), for an arbitrary \(0< \epsilon <1\). However, we prefer to state the Proposition in the form above, to single out the properties of F that will be used in the proof of Theorem 3.1. Indeed, we now prove the statement of Theorem 3.1 using only the estimates (4.5)–(4.11). For the sake of better readability, in the following the generic series \(\sum _{\gamma \in \mathfrak {D}\cap \Lambda _L} \sum _{1\le a \le m(\gamma )} A(\gamma ,a)\) and \(\sum _{\gamma \in \mathfrak {D}} \sum _{1\le a \le m(\gamma )} A(\gamma ,a)\) will be written shortly as \(\sum _{\gamma \in \Lambda _L ,a}A(\gamma ,a)\) and \(\sum _{\gamma ,a}A(\gamma ,a)\), respectively.
Let us start by noticing that by a simple algebraic manipulation one has
In the following, we show that each of the traces \({{\,\mathrm{Tr}\,}}(T_i)\), \(i \in \{1,2,3\}\), goes at most linearly in L as \(L \rightarrow \infty \).
First of all, note that all the terms in the commutators appearing in \(\chi _{\Lambda _L} T_j\), \(j \in \{1,2,3\}\) are trace class due to Proposition B.4. Let us start by analyzing the trace of \(\chi _{\Lambda _L} T_2\). By substituting \(\chi _{\Lambda _L} = 1  \chi _{{\Lambda ^c_L}}\) and by exploiting the fact that P is an orthogonal projection and that the GWB is an orthonormal basis of \({{\,\mathrm{Ran}\,}}(P)\), we obtain
The first series, namely \(T_{21}\), is zero after the summation in \(\gamma \). The series \(T_{22}\) reads
where we have used (4.5), (4.7) and (4.7), together with Lemma B.1 to estimate the series with the integral. Analogously, by using (4.7), Lemma B.1, (4.6) and (4.10), we get that \(\left T_{23}\right \le K_r I_3 \mathcal {I}_{\textsc {mi}}\,\, L \).
Therefore, we have obtained an upper bound for the trace of \(\chi _{\Lambda _L}T_2\), that is \( \left {{\,\mathrm{Tr}\,}}(\chi _{\Lambda _L} T_2)\right \le C L\) as \(L \rightarrow \infty .\) An upper bound on the trace of \(\chi _{\Lambda _L} T_3\) is obtained by a similar computation: it goes also at most linearly in L as \(L \rightarrow \infty \). Hence, both these terms do not contribute to the thermodynamic limit (4.1).
It remains to estimate the trace of \(\chi _{\Lambda _L}T_1\). By similar computations as the ones above, we can write \(\chi _{\Lambda _L}T_1=:R_1+R_2+R_3\), where \(R_i\), \(i\in \left\{ 1,2,3\right\} \) are (a posteriori absolutely convergent) series such that \(R_3\) contains the localization function \(\chi _{\Lambda _L^c}\), \(R_2\) contains the localization function \(\chi _{\Lambda _L}\) and \(R_1\) does not contain neither \(\chi _{\Lambda _L}\) nor \(\chi _{\Lambda _L^c}\). By using (4.6), (4.5) and (4.8) in a similar way as in (4.12), one can show that \(R_2\) and \(R_3\) are absolutely convergent series that go at most linearly in L, as \(L \rightarrow \infty \). This means that the only contribution to the limit \(L\rightarrow \infty \) can come from \(R_1\). However, this is not the case as we now show. Consider the series \(R_1\):
By using Lemma B.1 and (4.9), one easily gets that \(R_1\) is absolutely convergent together with a nonoptimal estimate (quadratic in L) for its sum. Let us now show that also \(R_1\) goes at most linearly in L. By using the shorthand notation \( D(\eta ,\xi ,b,c):=\left\langle \psi _{\xi ,c}, (X_1\xi _1) \psi _{\eta ,b} \right\rangle \left\langle \psi _{\eta ,b}, (X_2\eta _2) \psi _{\xi ,c} \right\rangle \), \(R_1\) can be written as
Notice that \(D(\eta ,\xi ,b,c) \le F^2(\Vert \eta \xi \Vert )\,\). For our purposes, we just need to study the asymptotics of the absolute value of the series of \(R_1\), namely
From the proof of Proposition 4.2, it is clear that F is not in \(\ell ^1(\mathfrak {D}\times \mathfrak {D})\). As we cannot invoke Lebesgue dominated convergence theorem in order to perform the limit \(L \rightarrow \infty \), we explicitly estimate the series with Lemma B.1, obtaining that
where the limit vanishes in view of (4.11). Taking into account the last estimate, and all the previous ones, we get (4.4), and the proof is concluded.
Notes
The vanishing of the numbers below expresses the vanishing of the first Chern class \(c_1(P)\) as an element of the cohomology space \(H^1(\mathbb {T}^3_*, \mathbb {R})\), which also implies the vanishing of the integer first Chern class in \(H^1(\mathbb {T}^3_*, \mathbb {Z})\); see [72].
Whenever we use the adjective “generalized” we refer to Wannier functions for nonperiodic systems. However, this terminology is far from universal. The reader is warned that the adjective “generalized” has been occasionally used referring to Wannier functions for a multiband periodic system (which are called composite Wannier functions in the mathematical literature), as, for example, in [60].
In this system of units the reduced Planck constant, the electron charge and the electron mass are dimensionless and equal to 1. In particular, the quantum of charge conductivity in the quantum Hall effect is \(\frac{e^2}{h}=\frac{1}{2\pi }\), where \(e\) is the electron charge and h is the Planck constant.
Recall that a Bravais lattice \(\Gamma \subset \mathbb {R}^d\) is defined as a discrete subgroup of \((\mathbb {R}^d, +)\) with maximal rank. It follows that there exist a (nonunique) linear basis \( \left\{ \mathbf {a}_1, \ldots , \mathbf {a}_d \right\} \subset {\mathbb {R}^d}\) such that \(\Gamma = {{\,\mathrm{Span}\,}}_{\mathbb {Z}} \left\{ \mathbf {a}_1, \ldots , \mathbf {a}_d \right\} \simeq \mathbb {Z}^d\).
A discrete set is said to be Runiformly nowhere sparse if there exists \(R>0\) such that \(\forall \, \mathbf{x}\in \mathbb {R}^d\) the set \(B_{R}(\mathbf{x}) \cap \mathfrak {D}\) contains at least one element.
See (2.3) for the definition of \(L^2_{\mathrm{{uloc}}}(\mathbb {R}^2)\), which can be easily generalized to any dimension.
Notice that all the terms involved in the direct computation are trace class operators, as it is proved in Proposition 4.1.
Here, we use the adverb “conditionally” to stress the fact that \(\tau (\cdot )\) is cyclic under some additional conditions, e.g., the operators involved in its arguments are periodic. Indeed, even if the Chern character can be expressed as the trace per unit volume of the commutator between the reduced position operators \(\widetilde{X}_1\) and \(\widetilde{X}_2\), it may very well be nonvanishing. (The reduced position operators are not periodic.)
In our setting, a canonical timereversal operator is simply given by the complex conjugation operator.
Notice that in [29] the authors focus on the Hall conductance, which, however, for \(d=2\), as in our setting, equals the Hall conductivity and hence is proportional to the Chern character.
References
Aizenman, M., Warzel, S.: Random Operators. Graduate Studies in Mathematics. American Mathematical Society (2015)
Auckly, D., Kuchment, P.: On Parseval frames of exponentially decaying composite Wannier functions. Mathematical Problems in Quantum Physics, F. Bonetto, D. Borthwick, E. Harrell, and M. Loss (eds.), pp. 227240. Vol. 717 in Contemporary Mathematics Volume. American Mathematical Society (2018)
Avron, J.E., Herbst, I.W., Simon, B.: Schrödinger operators with magnetic fields. Commun. Math. Phys. 79, 529 (1981)
Avron, J.E., Seiler, R., Simon, B.: Homotopy and quantization in condensed matter physics. Phys. Rev. Lett. 51, 51 (1983)
Avron, J.E., Seiler, R., Simon, B.: Charge deficiency, charge transport and comparison of dimensions. Commun. Math. Phys. 159, 399 (1994)
Bellissard, J.: Ordinary quantum Hall effect and noncommutative cohomology. In: Weller, W., Zieche, P. (eds.) Localization in Disordered Systems. Leipzig: Teubner (1986)
Bellissard, J., van Elst, A., SchulzBaldes, H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35, 5373 (1994)
Bianco, R., Resta, R.: Mapping topological order in coordinate space. Phys. Rev. B 84, 241106 (2011)
Bourne, C., Mesland, B.: Localised module frames and Wannier bases from groupoid Morita equivalences. J. Fourier. Anal. Appl. 27, 69 (2021). Revised version of: Gabor frames and Wannier bases from groupoid Morita equivalence. arXiv:2009.13806 (2020)
Boutet De MonvelBerthier, A., Nenciu, A., Nenciu, G.: Perturbed periodic Hamiltonians: essential spectrum and exponential decay of eigenfunctions. Lett. Math. Phys. 34, 119 (1995)
Bradlyn, B., Elcoro, L., Cano, J., Vergniory, M.G., Wang, Z., Felser, C., Aroyo, M.I., Bernevig, A.: Topological quantum chemistry. Nature 547, 298–305 (2017)
Broderix, K., Hundertmark, D., Leschke, H.: Continuity properties of Schrödinger semigroups with magnetic fields. Rev. Math. Phys. 12, 181–225 (2000)
Brouder, Ch., Panati, G., Calandra, M., Mourougane, Ch., Marzari, N.: Exponential localization of Wannier functions in insulators. Phys. Rev. Lett. 98, 046402 (2007)
Caio, M.D., Möller, G., Cooper, N.R., Bhaseen, M.J.: Topological marker currents in Chern insulators. Nat. Phys. 15, 257–261 (2019)
Cancès, É., Levitt, A., Panati, G., Stoltz, G.: Robust determination of maximallylocalized Wannier functions. Phys. Rev. B 95, 075114 (2017)
Ceresoli, D., Thonhauser, T., Vanderbilt, D., Resta, R.: Orbital magnetization in crystalline solids: multiband insulators, Chern insulators, and metals. Phys. Rev. B 74, 024408 (2006)
Combes, J.M., Thomas, L.: Asymptotic behavior of eigenfunctions for multiparticle Schrödinger operators. Commun. Math. Phys. 34, 251–270 (1973)
Connes, A.: Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math. 62, 257–360 (1985)
Cornean, H.D., Herbst, I., Nenciu, G.: On the construction of composite Wannier functions. Ann. Henri Poincaré 17, 3361–3398 (2016)
Cornean, H.D., Monaco, D.: On the construction of Wannier functions in topological insulators: the 3D case. Ann. Henri Poincaré 18, 3863–3902 (2017)
Cornean, H.D., Monaco, D., Moscolari, M.: Beyond Diophantine Wannier diagrams: gap labelling for Bloch–Landau Hamiltonians. J. Eur. Math. Soc. 23, 3679–3705 (2021)
Cornean, H.D., Monaco, D., Moscolari, M.: Parseval frames of exponentially localized magnetic Wannier functions. Commun. Math. Phys. 371, 1179–1230 (2019)
Cornean, H.D., Monaco, D., Teufel, S.: Wannier functions and \({\mathbb{Z} }_{2}\) invariants in timereversal symmetric topological insulators. Rev. Math. Phys. 29, 1730001 (2017)
Cornean, H.D., Nenciu, G.: The Faraday effect revisited: thermodynamic limit. J. Funct. Anal. 257, 2024–2066 (2009)
Costa, M.: Funzioni di Wannier associate ad operatori di Schrödinger con un gap nello spettro. Master Thesis (Supervisor: G. Panati), “La Sapienza” University of Rome (2014)
Cornean, H.D., Nenciu, A., Nenciu, G.: Optimally localized Wannier functions for quasi onedimensional nonperiodic insulators. J. Phys. A 41, 125202 (2008)
des Cloizeaux, J.: Energy bands and projection operators in a crystal: analytic and asymptotic properties. Phys. Rev. 135, A685–A697 (1964)
des Cloizeaux, J.: Analytical properties of \(n\)dimensional energy bands and Wannier functions. Phys. Rev. 135, A698–A707 (1964)
Elgart, A., Graf, G., Schenker, J.: Equality of the bulk and edge Hall conductances in a mobility gap. Commun. Math. Phys. 259, 185–221 (2005)
Fedosov, B.V.: Direct proof of the formula for the index of an elliptic system in Euclidean space. Funktional Anal. i.Prilozhen 4(4), 83–84 (1970). (also in Functional Anal. Appl. 4, 339–341 (1970))
Fiorenza, D., Monaco, D., Panati, G.: Construction of realvalued localized composite Wannier functions for insulators. Ann. Henri Poincaré 17, 63–97 (2016)
Germinet, F., Klein, A., Schenker, J.H.: Dynamical delocalization in random Landau Hamiltonians. Ann. Math. 166 (2007)
Goedecker, S.: Linear scaling electronic structure methods. Rev. Mod. Phys. 71, 1085–1111 (1999)
Graf, G.M.: Aspects of the integer quantum Hall effect. In: Proceedings of Symposia in Pure Mathematics, Spectral Theory, and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday, pp. 429–442, Proceedings of Symposium in Pure Mathematics 76, Part 1, American Mathematical Society (2007)
Haldane, F.D.M.: Model for a Quantum Hall effect without Landau levels: condensedmatter realization of the parity anomaly. Phys. Rev. Lett. 61, 2017–2020 (1988)
Hasan, M.Z., Kane, C.L.: Colloquium: topological insulators. Rev. Mod. Phys. 82, 3045–3067 (2010)
Hastings, M.B., Loring, T.A.: Almost commuting matrices, localized Wannier functions, and the quantum Hall effect. J. Math. Phys. 51, 015214 (2010)
Helffer, B. Sjöstrand, J.: Équation de Schrödinger avec champ magnetique et equation de Harper. In: Schrödinger operators, Lecture Notes in Physics 345, Springer, Berlin, 1989, pp. 118–197
Hörmander, L.: The Weyl calculus of pseudodifferential operators. Comm. Pure Appl. Math. 32, 359–443 (1979)
Irsigler, B., Zheng, J., Hofstetter, W.: Microscopic characteristics and tomography scheme of the local Chern marker. Phys. Rev. A 100, 23610 (2019)
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1966)
Kellendonk, J., SchulzBaldes, H.: Quantization of edge currents for continuous magnetic operators. J. Funct. Anal. 209, 388–413 (2004)
KingSmith, R.D., Vanderbilt, D.: Theory of polarization of crystalline solids. Phys. Rev. B 47, 1651–1654 (1993)
Kivelson, S.: Wannier functions in onedimensional disordered systems: application to fractionally charged solitons. Phys. Rev. B 26, 4269 (1982)
Kohn, W.: Analytic properties of Bloch waves and Wannier functions. Phys. Rev. 115, 809 (1959)
Kohn, W., Onffroy, J.R.: Wannier functions in a simple nonperiodic system. Phys. Rev. B 8, 2485 (1973)
Kuchment, P.: Tight frames of exponentially decaying Wannier functions. J. Phys. A Math. Theor. 42, 025203 (2009)
Kuchment, P.: An overview of periodic elliptic operators. Bull. AMS 53, 343–414 (2016)
Kunz, H.: The quantum hall effect for electrons in a random potential. Commun. Math. Phys. 112, 121–145 (1987)
Leinfelder, H., Simader, C.G.: Schrödingers operators with singular magnetic vector potentials. Math. Z. 176, 1–19 (1981)
Lu, J., Stubbs, K.: Algebraic localization implies exponential localization in nonperiodic insulators. Preprint arXiv: 2101.02626 (2021)
Lu, J., Stubbs, K.: Algebraic localization of Wannier functions implies Chern triviality in nonperiodic insulators. Preprint arXiv:2107.10699 (2021)
Ludewig, L., Thiang, G.C.: Good Wannier bases in Hilbert modules associated to topological insulators. J. Math. Phys. 61, 061902 (2020)
Marcelli, G.: Improved energy estimates for a class of timedependent perturbed Hamiltonians. Lett. Math. Phys. 112, 51 (2022)
Marcelli, G., Monaco, D., Moscolari, M., Panati, G.: The Haldane model and its localization dichotomy. Rend. Mat. Appl. 39, 307–327 (2018). Extended version available at arXiv:1909.03298
Marcelli, G., Monaco, D.: Purely linear response of the quantum Hall current to spaceadiabatic perturbations. Accepted in Lett. Math. Phys. Preprint arXiv:2112.03071 (2021)
Marcelli, G., Panati, G., Tauber, C.: Spin conductance and spin conductivity in topological insulators: analysis of Kubolike terms. Ann. Henri Poincaré 20, 2071–2099 (2019)
Marcelli, G., Panati, G., Teufel, S.: A new approach to transport coefficients in the quantum spin Hall effect. Ann. Henri Poincaré 22, 1069–1111 (2021)
Marzari, N., Mostofi, A.A., Yates, J.R., Souza, I., Vanderbilt, D.: Maximally localized Wannier functions: theory and applications. Rev. Mod. Phys. 84, 1419 (2012)
Marzari, N., Vanderbilt, D.: Maximally localized generalized Wannier functions for composite energy bands. Phys. Rev. B 56, 12847–12865 (1997)
Monaco, D., Panati, G.: Symmetry and localization in periodic crystals: triviality of Bloch bundles with a fermionic timereversal symmetry. Acta Appl. Math. 137, 185–203 (2015)
Monaco, D., Panati, G., Pisante, A., Teufel, S.: Optimal decay of Wannier functions in Chern and quantum Hall insulators. Commun. Math. Phys. 359, 61 (2018)
Monaco, D., Teufel, S.: Adiabatic currents for interacting electrons on a lattice. Rev. Math. Phys. 31, 1950009 (2019)
Moscolari, M.: On the Localization Dichotomy for Gapped Quantum Systems. Ph.D. Thesis, “La Sapienza” University of Rome (2018)
Moscolari, M., Panati, G.: Ultra Generalized Wannier bases: Are they relevant for topological transport? In preparation (2022)
Nakamura, S., Bellissard, J.: Low energy bands do not contribute to quantum Hall effect. Commun. Math. Phys. 131(2), 283–305 (1990)
Nenciu, G.: Existence of the exponentially localised Wannier functions. Commun. Math. Phys. 91, 81–85 (1983)
Nenciu, G.: Dynamics of band electrons in electric and magnetic fields: rigorous justification of the effective Hamiltonians. Rev. Mod. Phys. 63, 91–127 (1991)
Nenciu, A., Nenciu, G.: Dynamics of Bloch electrons in external electric fields. II. The existence of Stark–Wannier ladder resonances. J. Phys. A 15, 3313–3328 (1982)
Nenciu, A., Nenciu, G.: Existence of exponentially localized Wannier functions for nonperiodic systems. Phys. Rev. B 47, 10112–10115 (1993)
Nenciu, A., Nenciu, G.: The existence of generalised Wannier functions for onedimensional systems. Commun. Math. Phys. 190, 541–548 (1998)
Panati, G.: Triviality of Bloch and Bloch–Dirac bundles. Ann. Henri Poincaré 8, 995–1011 (2007)
Panati, G., Pisante, A.: Bloch bundles, Marzari–Vanderbilt functional and maximally localized Wannier functions. Commun. Math. Phys. 322, 835–875 (2013)
Panati, G., Sparber, C., Teufel, S.: Geometric currents in piezoelectricity. Arch. Ration. Mech. Anal. 91, 387–422 (2009)
Prodan, E.: On the generalized Wannier functions. J. Math. Phys. 56, 113511 (2015)
SchulzBaldes, H., Teufel, S.: Orbital polarization and magnetization for independent particles in disordered media. Commun. Math. Phys. 319, 649 (2013)
Simon, B.: Schrödinger semigroups. Bull. Am. Math. Soc. 7, 447 (1982)
Simon, B.: Holonomy, the quantum adiabatic theorem, and Berry’s Phase. Phys. Rev. Lett. 51, 2167 (1983)
Stubbs, K.D., Watson, A.B., Lu, J.: Existence and computation of generalized Wannier functions for nonperiodic systems in two dimensions and higher. Arch. Ration. Mech. Anal. 243, 1269–1323 (2022)
Stubbs, K.D., Watson, A.B., Lu, J.: The iterated projected position algorithm for constructing exponentially localized generalized Wannier functions for periodic and nonperiodic insulators in two dimensions and higher. Phys. Rev. B 103, 075125 (2021)
Teufel, S.: Nonequilibrium almoststationary states and linear response for gapped quantum systems. Commun. Math. Phys. 373, 621–653 (2020)
Thouless, D.J., Kohmoto, M., Nightingale, M.P., den Nijs, M.: Quantized Hall conductance in a twodimensional periodic potential. Phys. Rev. Lett. 49, 405–408 (1982)
Weinan, E., Lu, J.: The electronic structure of smoothly deformed crystals: Wannier functions and the Cauchy–Born rule. Arch. Ration. Mech. Anal. 199, 407–433 (2011)
Acknowledgements
We are grateful to H. Cornean, T. Loring, D. Monaco, G. Nenciu, M. Porta, G. C. Thiang, and S. Teufel for several stimulating discussions on related aspects of the theory of Wannier bases and of transport theory. We thank the anonymous reviewers for several stimulating comments and remarks on the previous version of the paper. G. M. gratefully acknowledges the financial support from the European Research Council (ERC), under the European Union’s Horizon 2020 research and innovation program (ERC Starting Grant MaMBoQ, no. 802901). M. M. gratefully acknowledges the financial support from Grant 802100084B of the Danish Council for Independent Research  Natural Sciences. The work of M. M. is supported by a fellowship of the Alexander von Humboldt Foundation.
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vieri Mastropietro.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Proof of Proposition 2.13
Before starting with the proof of Proposition 2.13, let us recall some known facts about the index of a pair of projections. First, let \(\mathbf{p} \in \mathbb {R}^2\) and \(U_\mathbf{p}\) be the multiplication operator associated with the function \(U(\cdot  \mathbf{p})\), clearly \(U_0 \equiv U\). As it is proved in [5], we have that, for every \(\mathbf{p} \in \mathbb {R}\)
In particular, the first equality shows that the index (2.16) is translation invariant.
A second crucial ingredient of the proof of Proposition 2.13 is the Connes area formula [18, Lemma 9.2] regarding the area of the oriented triangle spanned by three points in the plane. For every \(\mathbf{p},\mathbf{x},\mathbf{y}\in \mathbb {R}^2\), let \(\sin ({\angle }(\mathbf{x},\mathbf{p},\mathbf{y}))\) be the sinus of the angle of view \({\angle }(\mathbf{x},\mathbf{p},\mathbf{y}) \in (\pi ,\pi )\) from \(\mathbf{p}\) of \(\mathbf{x}\) relative to \(\mathbf{y}\) (which is the angle formed by the segment \(\mathbf{y}\mathbf{p}\) and \(\mathbf{x}\mathbf{p}\)). One can easily check that
Then, the Connes area formula gives
where \(\frac{1}{2} (\mathbf{x}\mathbf{y})\wedge (\mathbf{y}\mathbf{z})\) is the oriented area of the triangle formed by \(\mathbf{x},\mathbf{y},\mathbf{z}\).
The proof of Proposition 2.13 exploits the translation invariance of the index, expressed by (A.1), jointly with the Connes area formula, following essentially the same strategy used in [29] for discrete models.
Proof of Proposition 2.13
To shorten the notation, let \(N:={\text {Index}}(P,UPU^*)\) and \(N_\mathbf{p}:={\text {Index}}(P_\mathbf{p},U_\mathbf{p}PU_\mathbf{p}^*)\). Moreover, we will denote by K the irrelevant strictly positive constants appearing in the proof. From (A.1) we have \(N_\mathbf{p}=N\) for every \(\mathbf{p} \in \mathbb {R}^2\); hence,
By suitable estimates on the decay of f, we have that f is integrable in both \(\mathbb {R}^2 \times \Lambda _L\) and \(\Lambda _L \times \mathbb {R}^2\), see (A.3). Therefore, the proof is reduced to show that it is possible to exchange the role of the integral in \(\mathbf{p}\) with the integral in \(\mathbf{x}\) up to an error of order \(L^{1/2}\), which eventually goes to zero by taking the limit \(L \rightarrow \infty \). More precisely, by adding and subtracting the same term, we get
By using the exponential localization of the integral kernel of P, we now prove a decay estimate on f; after that, exploiting such estimate, we show that the error terms \(R_1\) and \(R_2\) are of actually of order \(L\sqrt{L}\).
First, by using the trivial inequality \(S(\mathbf{p},\mathbf{x},\mathbf{y},\mathbf{z})\le 3\) and the exponential localization of the integral kernel of the projection, we get that f is uniformly bounded, that is \(f(\mathbf{p},\mathbf{x})\le K\), for all \(\mathbf{p},\mathbf{x}\in \mathbb {R}^2\).
Assume now that \(\mathbf{x}\mathbf{p}\ge 1\). We first consider the contribution to the integral in case either \(\mathbf{y}\) or \(\mathbf{z}\) are outside the ball of radius \(\mathbf{p}\mathbf{x}\) centered in \(\mathbf{x}\), denoted by \(B_{\mathbf{p}\mathbf{x}}(\mathbf{x})\). We can bound such contribution by
where we have used that P has an exponentially localized integral kernel. It remains to control the contribution coming from the points where both \(\mathbf{y}\) and \(\mathbf{z}\) are inside \(B_{\mathbf{p}\mathbf{x}}(\mathbf{x})\). By a geometric argument, one can prove that \(\angle (\mathbf{y},\mathbf{p},\mathbf{x})\) and \(\angle (\mathbf{z},\mathbf{p},\mathbf{x})\) must be in \((\frac{\pi }{2},\frac{\pi }{2})\). Then, consider the following two estimates: for \(\alpha ,\beta \in (\frac{\pi }{2},\frac{\pi }{2})\)
and, for every \(\mathbf{y}\) such that \(\mathbf{y}\mathbf{x} < \mathbf{p}\mathbf{x}\), we obtain \( \sin (\angle (\mathbf{y},\mathbf{p},\mathbf{x})) \le \mathbf{y}\mathbf{x}\mathbf{p}\mathbf{x}^{1}\). Therefore, we get
Hence, by using (A.2) together with the exponential localization of P, we obtain
For \(\mathbf{x}\mathbf{p}\ge 1\), we have \(\frac{\langle \mathbf{x}\mathbf{p}\rangle }{\mathbf{x}\mathbf{p}} \le 2\). Therefore, putting together all the previous estimates, we obtain
By simple estimates and integration exploiting (A.3), one can show that the error terms are of order \(L\sqrt{L}\) as \(L \rightarrow \infty \); thus, we obtain
Finally, by performing first the integral with respect to \(\mathbf{p}\) and then using Connes area formula the proof is concluded. \(\square \)
Appendix B. Technical Results
B.1. Generalized Maclaurin–Cauchy Test
The proof of Theorem 3.1 is based on the estimates of series evaluated on points of the discrete set \(\mathfrak {D}\). Because of that, it is useful to have an efficient tool to estimate the value of the series we are interested in. The next lemma concerns a generalized Maclaurin–Cauchy estimate that serves exactly this purpose.
Lemma B.1
(Generalized Maclaurin–Cauchy test). Let \(\mathfrak {D}\subset \mathbb {R}^2\) be a runiformly discrete set. Consider a continuous function
such that \(D(\mathbf{x}) \ge D(\mathbf{y})\) whenever \(\mathbf{x}\le \mathbf{y}\). Then, there exists a constant \(K_r\), depending on r but independent of L, such that for every \(L>2r\) it holds that
Proof
The proof is based on the same argument of the wellknown Maclaurin–Cauchy integral test. First of all, by the hypothesis on \(\mathfrak {D}\), it holds that
Fix \(\rho =2r\). By hypothesis on \(\mathfrak {D}\), the number of points of \(\mathfrak {D}\) such that \(\gamma <\rho \) is finite, so their contribution to the series is finite, say \(K_\rho \in \mathbb {R}_+\). Hence, one has
For every point \(\gamma \in \mathfrak {D}\cap \Lambda _L \) such that \(\gamma  \ge \rho \), one constructs a square \(A_r(\gamma )\) of area \(\frac{r^2}{2}\) such that one of its vertices is \(\gamma \) and for all \(\mathbf{x}\in A_r(\gamma )\) it holds that \(\mathbf{x} \le \gamma \). (For example, \(A_r(\gamma )\) might be the open square of diagonal length equal to r constructed along the line passing through the origin and \(\gamma \)). It is also true that
Therefore, we obtain that
Then, considering (B.2) and \(\Lambda _\rho \subseteq \Lambda _L\), we get that
This proves the claim, with the constant \(K_r\) given by the bracketed expression exhibited in the l.h.s of (B.3). \(\square \)
Remark B.2
The result of Lemma B.1, namely inequality (B.1), still holds true if, instead of the radial monotonicity of the function \(D: \mathbb {R}^2 \rightarrow \mathbb {R}\), we require only a directional monotonicity, that is \(D(\mathbf{x}) \ge D(\mathbf{y})\) whenever \(\mathbf{x}_i\le \mathbf{y}_i\), for \(i=1\) or \(i=2\). The strategy of the proof is exactly the same, one just need to replace the square \(A_r(\gamma )\) with another suitable rdependent set such that \(A_r(\gamma ) \subset \Lambda _L\), \(A_r(\gamma )=\frac{r^2}{2}\), and \(\mathbf{x}_i\le \gamma _i\) for all \(\mathbf{x}\in A_r(\gamma )\).
B.2. Properties of the Operators \(\Gamma _i\)
In this section, we collect the properties of the operators \(\Gamma _i\) that are used in the proof of Theorem 3.1.
Lemma B.3
Let \(\mathfrak {D}\) be a runiformly discrete set, and \( \left\{ \psi _{\gamma , a} \right\} _{\gamma \in \mathfrak {D}, 1 \le a \le m(\gamma )}\) a GWB Glocalized around \(\mathfrak {D}\). Then, the operators \(\Gamma _i\) defined by (4.3) are integral operators. Moreover,

(i)
if \(G(\Vert \mathbf{x}\Vert )={\mathrm {e}}^{2\alpha \Vert \mathbf{x}\Vert }\) with \(\alpha <\beta \) for \(\beta \) as in (2.2), then the integral kernel \(\Gamma _i(\mathbf{x},\mathbf{y})\) satisfies
$$\begin{aligned} \left \Gamma _i(\mathbf{x},\mathbf{y}) \right \le C {\mathrm {e}}^{\beta ' \mathbf{x}\mathbf{y}} + C' x_i {{\,\mathrm{e}\,}}^{\beta '  \mathbf{x}\mathbf{y}} \end{aligned}$$for \(C,C' >0\) and \(\beta '<\alpha \).

(ii)
if \(G(\Vert \mathbf{x}\Vert )=\langle \mathbf{x}\rangle ^{2s}\) with \(s>\frac{3}{2}\), then the integral kernel \(\Gamma _i(\mathbf{x},\mathbf{y})\) satisfies
$$\begin{aligned} \left \Gamma _i(\mathbf{x},\mathbf{y}) \right \le C \langle \mathbf{x}\mathbf{y}\rangle ^{(s\frac{3}{2}\epsilon )} + C' x_i \, \langle \mathbf{x} \mathbf{y}\rangle ^{(s1\epsilon )} \end{aligned}$$for every \(0<\epsilon <s\frac{3}{2}\).
Proof
Let us show only the proof of (ii), since the proof of (i) is similar and simpler. The formal integral kernel of \(\Gamma _i\) is given by
For every fixed \(\mathbf{x},\mathbf{y}\in \mathbb {R}^2\), the sum over the indices \(\{\gamma ,a\}\) is absolutely convergent. Indeed, fix \(0<\epsilon <s \frac{3}{2}\), since \(\left\ \mathbf{x}\gamma \right\ \langle \mathbf{x} \gamma \rangle ^{1} \le 1\), we get that
where again in the first inequality we have used \(L^\infty \) estimate on the GWF (2.6), in the second inequality we have used the property (2.1) of the localization function G (denoting by \(C_s\) the constant \(C_G\) appearing in (2.1)) and in the last inequality we have used Hölder’s inequality. Hence, the operators \(\Gamma _i\) admit an integral kernel. \(\square \)
As a consequence of the previous estimates on the integral kernels, the operators \(\Gamma _i\) enjoy some trace class properties.
Proposition B.4
Let P be an exponentially localized projection and \(X_i\), \(\Gamma _i\), for \(i\in \left\{ 1,2\right\} \) and \(\chi _{\Lambda _L}\) as defined above. Assume that P admits a GWB, Glocalized around a runiformly discrete set \(\mathfrak {D}\), with localization function \(G(\Vert \mathbf{x}\Vert ) = \langle \mathbf{x}\rangle ^{2s}\) for some \(s>\frac{7}{2}\). Then, for every \(i,j \in \{1,2\}\) the operators
are trace class in \(L^2(\mathbb {R}^2)\).
Proof
The strategy of the proof is the same of Proposition 4.1. Let us show the computations explicitly for the operator \(\chi _{\Lambda _L}\; P \;\Gamma _1 \; P \; X_2\), the other cases can be treated similarly.
Since \(\Gamma _1\) commutes with P, and \(P^2=P\), we have that
where we have chosen the constant \(\alpha \) strictly smaller than the exponent \(\beta \) appearing in (2.2). Then, by using the estimate (2.2) and triangular inequality, we have that
for some positive constants C. Therefore, \(\left( {\mathrm {e}}^{2\alpha \Vert X\Vert }\; P \; {\mathrm {e}}^{\alpha \Vert X\Vert } \right) \) is a Hilbert–Schmidt operator. Similarly, considering (B.4) instead of (2.2), we have
where \(0<\tilde{\alpha }<\alpha \). Since \(s>\frac{7}{2}\), we can choose \(\epsilon \) small enough so that the integral kernel of \( \left( {\mathrm {e}}^{\alpha \Vert X\Vert } \;\Gamma _1\; \langle X \rangle \right) \) is in \(L^2(\mathbb {R}^2\times \mathbb {R}^2)\) and hence the operator is Hilbert–Schmidt. Eventually, since \(\langle X \rangle ^{1} \; X_2\) and \(\chi _{\Lambda _L}\; {\mathrm {e}}^{2\alpha \Vert X\Vert }\) are bounded operators and the product of two Hilbert–Schmidt operators is trace class, the proof is over. \(\square \)
Remark B.5
Although the proofs of Proposition 4.1 and Proposition B.4 appear similar, their hypotheses have a crucial difference. Proposition 4.1 requires only the localization of the integral kernel of the projection, which follows from the existence of a gap in the spectrum of H, while Proposition B.4 requires, beyond the gap assumption, the existence of a GWB for the projection with a particular decay of the GWFs.
B.3. Proof of Proposition 4.2
Consider \(\Lambda _L = [L,L]^2 \subset \mathbb {R}^2\) and \(\gamma \in \mathfrak {D}\cap \Lambda _L\). To estimate “how much of \(\psi _{\gamma ,a}\) is outside \(\Lambda _L\),” we consider \(\left\ \chi _{\Lambda ^c_L} \psi _{\gamma ,a} \right\ \) where \(\chi _{\Lambda _L^c}\) is the characteristic function of the complementary set of \(\Lambda _L\). We get
Using Remark B.2, one can see by explicit integration that, if \(s>\frac{1}{2}\), then both terms on the righthand side of (B.5) are integrable in \(\mathbb {R}\) and therefore there exists a positive constant \(\mathcal {I}_{\textsc {mo}}\) such that \( \sum \limits _{\xi \in \Lambda _L , \, c} \left\ \chi _{\Lambda _L^c} \psi _{\xi ,c}\right\ \le \mathcal {I}_{\textsc {mo}}L \) .
If, instead, \(\gamma \) is outside \(\Lambda _L\) we have that
where \(A_1:=([\infty ,L]\cup [L,\infty ])\times [L,L]\), \(A_2:= [L,L]\times ([\infty ,L]\cup [L,\infty ])\) and \(A_3:=\Lambda _L^c \setminus (A_1 \cup A_2)\), and \(\chi _{A_i}\), with \(i \in \left\{ 1,2,3\right\} \), is the characteristic function of the set \(A_i\). As in the previous case, using Lemma B.1 and Remark B.2, one can see by explicit integration that, if \(s>\frac{1}{2}\), then the first two terms on the righthand side of (B.6) are integrable in \(\mathbb {R}\) and, if \(s>1\), the last term is integrable in \(\mathbb {R}^2\). Therefore, there exists a positive constant \(\mathcal {I}_{\textsc {mi}}\) such that \( \sum \nolimits _{\xi \notin \Lambda _L \, , c} \Vert \chi _{\Lambda _L} \psi _{\xi ,c}\Vert \le \mathcal {I}_{\textsc {mi}}L \) .
It remains to prove the second part of Proposition 4.2, concerning the offdiagonal terms of \(\widetilde{X}_i\). Considering the generic matrix element of \(\widetilde{X}_1\Gamma _1\), one has
where \({\tilde{a}}\) and \({\tilde{b}}\) are the maximizers of \(\left\langle \psi _{\gamma ,a}, (X_1\gamma _1) \psi _{\eta ,b} \right\rangle \). Therefore, we get that
where in the last inequality we have used Cauchy–Schwarz inequality together with property (2.5). This implies that
As clear from the above computation, \(k_s\) depends, actually, also on \(m_*, K, C_s\). The same computation goes through exchanging \(X_1\gamma _1\) with \(X_2\gamma _2\). Therefore, the function F defined by
satisfies (4.7). A direct computation shows that F satisfies also the requirements (4.8) for every \(s>3\), (4.9) for every \(s>2\), and (4.10) for every \(s>4\).
Finally, we show that (4.11) is satisfied for every \(s>3\). Indeed, let \(\epsilon =\frac{s3}{100}\) and consider the integral
Since the integrand is positive, the order of integration does not affect the result. For a fixed \(\mathbf{x}\in \Lambda _L\) and \(\alpha :=s1\epsilon \), we have the inequality
Since \(s>3\), the righthand side in (B.9) is integrable in \(\mathbf{y}\), and hence we obtain
for some positive constant C. By an elementary estimate and explicit integration, one can see that the integral with respect to \(\mathbf{x}\) is of order L. This concludes the proof. \(\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
Marcelli, G., Moscolari, M. & Panati, G. Localization of Generalized Wannier Bases Implies Chern Triviality in Nonperiodic Insulators. Ann. Henri Poincaré (2022). https://doi.org/10.1007/s00023022012327
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023022012327