Time-frequency analysis on flat tori and Gabor frames in finite dimensions

Abstract

We provide the foundations of a Hilbert space theory for the short-time Fourier transform (STFT) where the flat tori TN2=R2/(Z×NZ)=[0,1]×[0,N] act as phase spaces. We work on an N-dimensional subspace SN of distributions periodic in time and frequency in the dual S0′(R) of the Feichtinger algebra S0(R) and equip it with an inner product. To construct the Hilbert space SN we apply a suitable double periodization operator to S0(R). On SN, the STFT is applied as the usual STFT defined on S0′(R). This STFT is a continuous extension of the finite discrete Gabor transform from the lattice onto the entire flat torus. As such, sampling theorems on flat tori lead to Gabor frames in finite dimensions. For Gaussian windows, one is lead to spaces of analytic functions and the construction allows to prove a necessary and sufficient Nyquist rate type result, which is the analogue, for Gabor frames in finite dimensions, of a well known result of Lyubarskii and Seip-Wallstén for Gabor frames with Gaussian windows and which, for N odd, produces an explicit full spark Gabor frame. The compactness of the phase space, the finite dimension of the signal spaces and our sampling theorem offer practical advantages in some applications. We illustrate this by discussing a problem of current research interest: recovering signals from the zeros of their noisy spectrograms.