The Density Theorem and the Homogeneous Approximation Property for Gabor Frames

The Density Theorem for Gabor Frames is a fundamental result in timefrequency analysis. Beginning with Baggett’s proof that a rectangular lattice Gabor system {eg(t−αk)}n,k∈Z must be incomplete in L (R) whenever αβ > 1, the necessary conditions for a Gabor system to be complete, a frame, a Riesz basis, or a Riesz sequence have been extended to arbitrary lattices and beyond. The first partial proofs of the Density Theorem for irregular Gabor frames were given by Landau in 1993 and by Ramanathan and Steger in 1995. A key fact proved by Ramanathan and Steger is that irregular Gabor frames possess a certain Homogeneous Approximation Property (HAP), and that the Density Theorem is a consequence of this HAP. This chapter provides a brief history of the Density Theorem and a detailed account of the proofs of Ramanathan and Steger. Furthermore, we show that the techniques of Ramanathan and Steger can be used to give a full proof of a general version of Density Theorem for irregular Gabor frames in higher dimensions and with finitely many generators.