On Parseval frames of exponentially decaying composite Wannier functions
Academic Article

 Overview

 Research

 Identity

 Additional Document Info

 View All

Overview
abstract

© 2018 American Mathematical Society. Let L be a periodic selfadjoint linear elliptic operator in Rn with coefficients periodic with respect to a lattice Γ, e.g. Schrödinger operator (i−1 ∂/∂x − A(x))2 + V (x) with periodic magnetic and electric potentials A, V, or a Maxwell operator ∇ × ε(x)−1 ∇× in a periodic medium. Let also S be a finite part of its spectrum separated by gaps from the rest of the spectrum. We address here the question of existence of a finite set of exponentially decaying Wannier functions wj (x) such that their Γshifts wj,γ (x) = wj (x − γ) for γ ∈ Γ span the whole spectral subspace corresponding to S. It was shown by D. Thouless in 1984 that a topological obstruction sometimes exists to finding exponentially decaying wj,γ that form an orthonormal (or any) basis of the spectral subspace. This obstruction has the form of nontriviality of certain finite dimensional (with the dimension equal to the number of spectral bands in S) analytic vector bundle (Bloch bundle), which we denote ΛS. It was shown by G. Nenciu in 1983 that in the presence of time reversal symmetry (which implies absence of magnetic fields), and if S is a single band, the bundle is trivial and thus the desired Wannier functions do exist. In 2007, G. Panati proved that in dimensions n ≤ 3, even if S consists of several spectral bands, the time reversal symmetry removes the obstruction as well. If the bundle is nontrivial, it was shown in 2009 by one of the authors that it is always possible to find a finite number l (estimated there as m ≤ l ≤ 2n m) of exponentially decaying Wannier functions wj such that their Γshifts form a tight (Parseval) frame in the spectral subspace. A Parseval frame is the next best thing after an orthonormal basis (unavailable in the presence of the topological obstacle). This appears to be the best one can do when the topological obstruction is present. Here we significantly improve the estimate on the number of extra Wannier functions needed, showing that in physical dimensions the number l can be chosen equal to m+1, i.e. only one extra family of Wannier functions is required. This is the lowest number possible in the presence of the topological obstacle. The result for dimension four is also stated (without a proof), in which case m + 2 functions are needed.
author list (cited authors)

Auckly, D., & Kuchment, P.
citation count
publication date
publisher
published in
Research
keywords

Bloch Bundle

Condensed Matter

Periodic Operator

Spectral Theory

Wannier Function
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
end page
volume