26.11.2014 Views

Maximally localized Wannier functions: Theory and applications

Maximally localized Wannier functions: Theory and applications

Maximally localized Wannier functions: Theory and applications

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!