Maximally localized Wannier functions: Theory and applications
Maximally localized Wannier functions: Theory and applications
Maximally localized Wannier functions: Theory and applications
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
12<br />
G. Exponential localization<br />
The existence of exponentially <strong>localized</strong> WFs – i.e.,<br />
WFs whose tails decay exponentially fast – is a famous<br />
problem in the b<strong>and</strong> theory of solids, with close ties to the<br />
general properties of the insulating state (Kohn, 1964).<br />
While the asymptotic decay of a Fourier transform can be<br />
related to the analyticity of the function <strong>and</strong> its derivatives<br />
(see, e.g., Duffin (1953) <strong>and</strong> Duffin <strong>and</strong> Shaffer<br />
(1960) <strong>and</strong> references therein), proofs of exponential localization<br />
for the <strong>Wannier</strong> transform were obtained over<br />
the years only for limited cases, starting with the work of<br />
Kohn (1959), who considered a one-dimensional crystal<br />
with inversion symmetry. Other milestones include the<br />
work of des Cloizeaux (1964b), who established the exponential<br />
localization in 1D crystals without inversion symmetry<br />
<strong>and</strong> in the centrosymmetric 3D case, <strong>and</strong> the subsequent<br />
removal of the requirement of inversion symmetry<br />
in the latter case by Nenciu (1983). The asymptotic<br />
behavior of WFs was further clarified by He <strong>and</strong> V<strong>and</strong>erbilt<br />
(2001), who found that the exponential decay is modulated<br />
by a power law. In dimensions d > 1 the problem<br />
is further complicated by the possible existence of b<strong>and</strong><br />
degeneracies, while the proofs of des Cloizeaux <strong>and</strong> Nenciu<br />
were restricted to isolated b<strong>and</strong>s. The early work on<br />
composite b<strong>and</strong>s in 3D only established the exponential<br />
localization of the projection operator P , Eq. (13), not<br />
of the WFs themselves (des Cloizeaux, 1964a).<br />
The question of exponential decay in 2D <strong>and</strong> 3D was<br />
finally settled by Brouder et al. (2007) who showed, as a<br />
corollary to a theorem by Panati (2007), that a necessary<br />
<strong>and</strong> sufficient condition for the existence of exponentially<br />
<strong>localized</strong> WFs in 2D <strong>and</strong> 3D is that the so-called “Chern<br />
invariants” for the composite set of b<strong>and</strong>s vanish identically.<br />
Panati (2007) had demonstrated that this condition<br />
ensures the possibility of carrying out the gauge<br />
transformation of Eq. (8) in such a way that the resulting<br />
cell-periodic states |ũ nk ⟩ are analytic <strong>functions</strong> of k<br />
across the entire BZ; 7 this in turn implies the exponential<br />
falloff of the WFs given by Eq. (10).<br />
It is natural to ask whether the MLWFs obtained by<br />
minimizing the quadratic spread functional Ω are also<br />
exponentially <strong>localized</strong>. Marzari <strong>and</strong> V<strong>and</strong>erbilt (1997)<br />
established this in 1D, by simply noting that the MLWF<br />
construction then reduces to finding the eigenstates of<br />
the projected position operator P xP , a case for which<br />
exponential localization had already been proven (Niu,<br />
1991). The more complex problem of demonstrating the<br />
exponential localization of MLWFs for composite b<strong>and</strong>s<br />
in 2D <strong>and</strong> 3D was finally solved by Panati <strong>and</strong> Pisante<br />
(2011).<br />
7 Conversely, nonzero Chern numbers pose an obstruction to finding<br />
a globally smooth gauge in k-space. The mathematical definition<br />
of a Chern number is given in Sec. V.C.4.<br />
H. Hybrid <strong>Wannier</strong> <strong>functions</strong><br />
It is sometimes useful to carry out the <strong>Wannier</strong> transform<br />
in one spatial dimension only, leaving wave<strong>functions</strong><br />
that are still de<strong>localized</strong> <strong>and</strong> Bloch-periodic in the<br />
remaining directions (Sgiarovello et al., 2001). Such orbitals<br />
are usually denoted as “hermaphrodite” or “hybrid”<br />
WFs. Explicitly, Eq. (10) is replaced by the hybrid<br />
WF definition<br />
| l, nk ∥ ⟩ = c<br />
2π<br />
∫ 2π/c<br />
0<br />
| ψ nk ⟩ e −ilk ⊥c dk ⊥ , (45)<br />
where k ∥ is the wavevector in the plane (de<strong>localized</strong> directions)<br />
<strong>and</strong> k ⊥ , l, <strong>and</strong> c are the wavevector, cell index,<br />
<strong>and</strong> cell dimension in the direction of localization. The<br />
1D <strong>Wannier</strong> construction can be done independently for<br />
each k ∥ using direct (i.e., non-iterative) methods as described<br />
in Sec. IV C 1 of Marzari <strong>and</strong> V<strong>and</strong>erbilt (1997).<br />
Such a construction has proved useful for a variety of<br />
purposes, from verifying numerically exponential localization<br />
in 1 dimension, to treating electric polarization<br />
or applied electric fields along a specific spatial direction<br />
(Giustino <strong>and</strong> Pasquarello, 2005; Giustino et al.,<br />
2003; Murray <strong>and</strong> V<strong>and</strong>erbilt, 2009; Stengel <strong>and</strong> Spaldin,<br />
2006a; Wu et al., 2006) or for analyzing aspects of topological<br />
insulators (Coh <strong>and</strong> V<strong>and</strong>erbilt, 2009; Soluyanov<br />
<strong>and</strong> V<strong>and</strong>erbilt, 2011a,b). Examples will be discussed in<br />
Secs. V.B.2 <strong>and</strong> VI.A.4.<br />
I. Entangled b<strong>and</strong>s<br />
The methods described in the previous sections were<br />
designed with isolated groups of b<strong>and</strong>s in mind, separated<br />
from all other b<strong>and</strong>s by finite gaps throughout the entire<br />
Brillouin zone. However, in many <strong>applications</strong> the b<strong>and</strong>s<br />
of interest are not isolated. This can happen, for example,<br />
when studying electron transport, which is governed<br />
by the partially filled b<strong>and</strong>s close to the Fermi level, or<br />
when dealing with empty b<strong>and</strong>s, such as the four lowlying<br />
antibonding b<strong>and</strong>s of tetrahedral semiconductors,<br />
which are attached to higher conduction b<strong>and</strong>s. Another<br />
case of interest is when a partially filled manifold is to<br />
be downfolded into a basis of WFs - e.g., to construct<br />
model Hamiltonians. In all these examples the desired<br />
b<strong>and</strong>s lie within a limited energy range but overlap <strong>and</strong><br />
hybridize with other b<strong>and</strong>s which extend further out in<br />
energy. We will refer to them as entangled b<strong>and</strong>s.<br />
The difficulty in treating entangled b<strong>and</strong>s stems from<br />
the fact that it is unclear exactly which states to choose<br />
to form J WFs, particularly in those regions of k-space<br />
where the b<strong>and</strong>s of interest are hybridized with other<br />
unwanted b<strong>and</strong>s. Before a <strong>Wannier</strong> localization procedure<br />
can be applied, some prescription is needed for constructing<br />
J states per k-point from a linear combination