A Balian–Low type theorem for Gabor Riesz sequences of arbitrary density

Kurzfassung/Abstract

Gabor systems are used in fields ranging from audio processing to digital communication. Such a Gabor system (g,Λ) consists of all time-frequency shifts π(λ)g of a window function g∈L2(R) along a lattice Λ⊂R2. We focus on Gabor systems that are also Riesz sequences, meaning that one can stably reconstruct the coefficients c=(cλ)λ∈Λ from the function ∑λ∈Λcλπ(λ)g. In digital communication, a function of this form is used to transmit the digital sequence c. It is desirable for g to be well localized in time and frequency, since the transmitted signal will then be almost compactly supported in time and frequency if the sequence c has finite support. In this paper, we study what additional structural properties the signal space G(g,Λ), i.e., the span of the Gabor system, satisfies in addition to being a closed subspace of L2(R). The most well-known result in this direction—the Balian–Low theorem—states that if g is well localized in time and frequency and if (g,Λ) is a Riesz sequence, then G(g,Λ) is necessarily a proper subspace of L2(R). We prove a generalization of this result related to the invariance of G(g,Λ) under time-frequency shifts. Precisely, we show that if (g,Λ) is a Riesz sequence with g being well localized in time and frequency (precisely, g should belong to the so-called Feichtinger algebra), then π(μ)G(g,Λ)⊂G(g,Λ) holds if and only if μ∈Λ. For lattices of rational density, this was already known, with the proof based on Zak transform techniques. These methods do not generalize to arbitrary lattices, however. Instead, our proof for lattices of irrational density relies on combining methods from time-frequency analysis with properties of a special C∗-algebra, the so-called irrational rotation algebra.