Construction of Gabor frames in \(l^2(\mathbb{Z})\) using Gabor frames in \(L^2(\mathbb{R})\)

We describe a connection between two seemingly different problems: (a) the construction of projections in noncommutative tori, (b) the construction of tight Gabor frames. The present investigation relies an interpretation of projective modules over noncommutative tori in terms of Gabor analysis. The main result demonstrates that Rieffel's condition on the existence of projections in noncommutative tori is equivalent to the Wexler-Raz biorthogonality relations for tight Gabor frames. Therefore we are able to invoke results on the existence of Gabor frames in the construction of projections in noncommutative tori. In particular, the projection associated with a Gabor frame generated by a Gaussian turns out to be Boca's projection. Our approach to Boca's projection allows us to characterize the range of existence of Boca's projection. The presentation of our main result provides a natural approach to the Wexler-Raz biorthogonality relations in terms of Hilbert C*-modules over noncommutative tori.

We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as hat{g}(xi )= prod _{j=1}^n (1+2pi idelta _jxi )^{-1} , e^{-c xi ^2} for delta _1,ldots ,delta _nin mathbb {R}, c >0 (in which case g is called totally positive of Gaussian type). In analogy to Beurling’s sampling theorem for the Paley–Wiener space of entire functions, we prove that every separated set with lower Beurling density >1 is a sampling set for the shift-invariant space generated by such a g. In view of the known necessary density conditions, this result is optimal and validates the heuristic reasonings in the engineering literature. Using a subtle connection between sampling in shift-invariant spaces and the theory of Gabor frames, we show that the set of phase-space shifts of g with respect to a rectangular lattice alpha mathbb {Z}times beta mathbb {Z} forms a frame, if and only if alpha beta <1. This solves an open problem going back to Daubechies in 1990 for the class of totally positive functions of Gaussian type. The proof strategy involves the connection between sampling in shift-invariant spaces and Gabor frames, a new characterization of sampling sets “without inequalities” in the style of Beurling, new properties of totally positive functions, and the interplay between zero sets of functions in a shift-invariant space and functions in the Bargmann–Fock space.

In this paper we discuss about the image of Gabor frame under a unitary operator and derive a sufficient condition under which a unitary operator from $L^2 (\mathbb R)$ to $l^2 (\mathbb Z)$ maps Gabor frame in $L^2 (\mathbb R)$ to a Gabor frame in $l^2 (\mathbb Z)$.

We consider the construction of tight Gabor frames (h, a=1, b=1) from Gabor systems (g, a=1, b=1) with g a window having few zeros in the Zak transform domain via the operation h=Z -1(Zg/|Zg|), where Z is the standard Zak transform. We consider this operation with g the Gaussian, the hyperbolic secant, and for g belonging to a class of positive, even, unimodal, rapidly decaying windows of which the two-sided exponential is a typical example. All these windows g have the property that Zg has a single zero, viz. at (1/2,\1/2), in the unit square [0,1)2. The Gaussian and hyperbolic secant yield a frame for any a,b > 0 with ab < 1, and we show that so does the two-sided exponential. For these three windows it holds that S a -1/2 g h as a 1, where S a is the frame operator corresponding to the Gabor frame (g,a,a). It turns out that the h’s corresponding to g’s of the above type look and behave quite similarly when scaling parameters are set appropriately. We give a particular detailed analysis of the h corresponding to the two-sided exponential. We give several representations of this h, and we show that , and is continuous and differentiable everywhere except at the half-integers, etc., and we pay particular attention to the cases that the time constant of the two-sided exponential g tends to . We also consider the cases that the time constants of the Gaussian and of the hyperbolic secant tend to 0 or to . It so turns out that h thus obtained changes from the box function into its Fourier transform when the time constant changes from 0 to

Banach frames in coorbit spaces consisting of elements which are invariant under symmetry groups