TY - JOUR
T1 - Parseval Frames of Exponentially Localized Magnetic Wannier Functions
AU - Cornean, Horia
AU - Monaco, Domenico
AU - Moscolari, Massimo
PY - 2019/11/1
Y1 - 2019/11/1
N2 - Motivated by the analysis of gapped periodic quantum systems in presence of a uniform magnetic field in dimension d≤ 3 , we study the possibility to construct spanning sets of exponentially localized (generalized) Wannier functions for the space of occupied states. When the magnetic flux per unit cell satisfies a certain rationality condition, by going to the momentum-space description one can model m occupied energy bands by a real-analytic and Z
d-periodic family {P(k)}k∈Rd of orthogonal projections of rank m. A moving orthonormal basis of RanP(k) consisting of real-analytic and Z
d-periodic Bloch vectors can be constructed if and only if the first Chern number(s) of P vanish(es). Here we are mainly interested in the topologically obstructed case. First, by dropping the generating condition, we show how to algorithmically construct a collection of m- 1 orthonormal, real-analytic, and Z
d-periodic Bloch vectors. Second, by dropping the linear independence condition, we construct a Parseval frame of m+ 1 real-analytic and Z
d-periodic Bloch vectors which generate RanP(k). Both algorithms are based on a two-step logarithm method which produces a moving orthonormal basis in the topologically trivial case. A moving Parseval frame of analytic, Z
d-periodic Bloch vectors corresponds to a Parseval frame of exponentially localized composite Wannier functions. We extend this construction to the case of magnetic Hamiltonians with an irrational magnetic flux per unit cell and show how to produce Parseval frames of exponentially localized generalized Wannier functions also in this setting. Our results are illustrated in crystalline insulators modelled by 2d discrete Hofstadter-like Hamiltonians, but apply to certain continuous models of magnetic Schrödinger operators as well.
AB - Motivated by the analysis of gapped periodic quantum systems in presence of a uniform magnetic field in dimension d≤ 3 , we study the possibility to construct spanning sets of exponentially localized (generalized) Wannier functions for the space of occupied states. When the magnetic flux per unit cell satisfies a certain rationality condition, by going to the momentum-space description one can model m occupied energy bands by a real-analytic and Z
d-periodic family {P(k)}k∈Rd of orthogonal projections of rank m. A moving orthonormal basis of RanP(k) consisting of real-analytic and Z
d-periodic Bloch vectors can be constructed if and only if the first Chern number(s) of P vanish(es). Here we are mainly interested in the topologically obstructed case. First, by dropping the generating condition, we show how to algorithmically construct a collection of m- 1 orthonormal, real-analytic, and Z
d-periodic Bloch vectors. Second, by dropping the linear independence condition, we construct a Parseval frame of m+ 1 real-analytic and Z
d-periodic Bloch vectors which generate RanP(k). Both algorithms are based on a two-step logarithm method which produces a moving orthonormal basis in the topologically trivial case. A moving Parseval frame of analytic, Z
d-periodic Bloch vectors corresponds to a Parseval frame of exponentially localized composite Wannier functions. We extend this construction to the case of magnetic Hamiltonians with an irrational magnetic flux per unit cell and show how to produce Parseval frames of exponentially localized generalized Wannier functions also in this setting. Our results are illustrated in crystalline insulators modelled by 2d discrete Hofstadter-like Hamiltonians, but apply to certain continuous models of magnetic Schrödinger operators as well.
KW - localized Wannier functions
KW - aperiodic Hamiltonians
KW - magnetic perturbation theory
UR - http://www.scopus.com/inward/record.url?scp=85060821086&partnerID=8YFLogxK
U2 - 10.1007/s00220-019-03542-0
DO - 10.1007/s00220-019-03542-0
M3 - Journal article
SN - 0010-3616
VL - 371
SP - 1179
EP - 1230
JO - Communications in Mathematical Physics
JF - Communications in Mathematical Physics
IS - 3
ER -