Linear Independence of Gabor Systems in Finite Dimensional Vector Spaces

We discuss the linear independence of systems ofmvectors in n-dimensional complex vector spaces where the m vectors are time-frequency shifts of one generating vector. Such systems are called Gabor systems. When n is prime, we show that there exists an open, dense subset with full-measure of such generating vectors with the property that any subset of n vectors in the corresponding full Gabor system of n² vectors is linearly independent. We derive consequences relevant to coding, operator identification and time-frequency analysis in general.