Gabor Time-Frequency Lattices and the Wexler-Raz Identity

Gabor time-frequency lattices are sets of functions of the form generated from a given function by discrete translations in time and frequency. They are potential tools for the decomposition and handling of signals that, like speech or music, seem over short intervals to have well-defined frequencies that, however, change with time. It was recently observed that the behavior of a lattice can be connected to that of a dual lattice Here we establish this interesting relationship and study its properties. We then clarify the results by applying the theory of von Neumann algebras. One outcome is a simple proof that for to span the lattice must have at least unit density. Finally, we exploit the connection between the two lattices to construct expansions having improved convergence and localization properties.