Compactly Supported Wannier Functions and Strictly Local Projectors

TL;DR

This paper investigates the conditions under which compactly supported Wannier functions can be constructed, establishing that strict locality of the projection operator is both necessary and sufficient in 1D, with extensions to higher dimensions.

Contribution

It provides a complete characterization of when compactly supported Wannier functions exist, including a procedure for 1D models and conditions for higher dimensions.

Findings

Strict locality of the projection operator is necessary and sufficient for compactly supported Wannier functions in 1D.

A procedure is provided to construct such a basis for any strictly local projector.

In higher dimensions, topologically trivial projectors admit compactly supported Wannier functions under certain conditions.

Abstract

Wannier functions that are maximally localized help in understanding many properties of crystalline materials. In the absence of topological obstructions, they are at least exponentially localized. In some cases such as flat-band Hamiltonians, it is possible to construct Wannier functions that are even more localized, so that they are compactly supported thus having zero support outside their corresponding locations. Under what general conditions is it possible to construct compactly supported Wannier functions? We answer this question in this paper. Specifically, we show that in 1d non-interacting tight-binding models, strict locality of the projection operator is a necessary and sufficient condition for a subspace to be spanned by a compactly supported orthogonal basis, independent of lattice translation symmetry. For any strictly local projector, we provide a procedure for obtaining such a basis. For higher dimensional systems, we discuss some additional conditions under which an occupied subspace is spanned by a compactly supported orthogonal basis, and show that the corresponding projectors are topologically trivial in many cases. We also show that a projector in arbitrary dimensions is strictly local if and only if for any chosen axis, its image is spanned by hybrid Wannier functions that are compactly supported along that axis.