-
Sampling Theorems for Shift-invariant Spaces, Gabor Frames, and Totally Positive Functions
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Joachim Stöckler
Abstract:
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(ξ)= \prod_{j=1}^n (1+2πiδ_jξ)^{-1} \, e^{-c ξ^2}$ for $δ_1,\ldots,δ_n\in \mathbb{R}, c >0$ (in which case $g$ is called totally positive of Gaussian type).
In analogy to Beurling's sampling theorem for the…
▽ More
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(ξ)= \prod_{j=1}^n (1+2πiδ_jξ)^{-1} \, e^{-c ξ^2}$ for $δ_1,\ldots,δ_n\in \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 $α\mathbb{Z} \times β\mathbb{Z}$ forms a frame, if and only if $αβ<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.
△ Less
Submitted 24 October, 2017; v1 submitted 2 December, 2016;
originally announced December 2016.
-
Implementation of discretized Gabor frames and their duals
Authors:
Tobias Kloos,
Joachim Stöckler,
Karlheinz Gröchenig
Abstract:
The usefulness of Gabor frames depends on the easy computability of a suitable dual window. This question is addressed under several aspects: several versions of Schulz's iterative algorithm for the approximation of the canonical dual window are analyzed for their numerical stability. For Gabor frames with totally positive windows or with exponential B-splines a direct algorithm yields a family of…
▽ More
The usefulness of Gabor frames depends on the easy computability of a suitable dual window. This question is addressed under several aspects: several versions of Schulz's iterative algorithm for the approximation of the canonical dual window are analyzed for their numerical stability. For Gabor frames with totally positive windows or with exponential B-splines a direct algorithm yields a family of exact dual windows with compact support. It is shown that these dual windows converge exponentially fast to the canonical dual window.
△ Less
Submitted 23 June, 2015;
originally announced June 2015.
-
Zak transforms and Gabor frames of totally positive functions and exponential B-splines
Authors:
Tobias Kloos,
Joachim Stöckler
Abstract:
We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these two classes of functions and prove that the Zak transforms have only one zero in their fundamental domain of quasi-periodicity. Our proof is based on the variation-diminishing property of shifts of exponential B-splines. F…
▽ More
We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these two classes of functions and prove that the Zak transforms have only one zero in their fundamental domain of quasi-periodicity. Our proof is based on the variation-diminishing property of shifts of exponential B-splines. For the exponential B-spline B_m of order m, we determine a large set of lattice parameters a,b>0 such that the Gabor family of time-frequency shifts is a frame for L^2(R). By the connection of its Zak transform to the Zak transform of TP functions of finite type, our result provides an alternative proof that TP functions of finite type provide Gabor frames for all lattice parameters with ab<1. For even two-sided exponentials and the related exponential B-spline of order 2, we find lower frame-bounds A, which show the asymptotically linear decay A (1-ab) as the density ab of the time-frequency lattice tends to the critical density ab=1.
△ Less
Submitted 28 November, 2013;
originally announced November 2013.
-
Discretized Gabor Frames of Totally Positive Functions
Authors:
Severin Bannert,
Karlheinz Gröchenig,
Joachim Stöckler
Abstract:
In this paper a large class of universal windows for Gabor frames (Weyl-Heisenberg frames) is constructed. These windows have the fundamental property that every overcritical rectangular lattice generates a Gabor frame. Likewise, every undercritical rectangular lattice generates a Riesz sequence.
In this paper a large class of universal windows for Gabor frames (Weyl-Heisenberg frames) is constructed. These windows have the fundamental property that every overcritical rectangular lattice generates a Gabor frame. Likewise, every undercritical rectangular lattice generates a Riesz sequence.
△ Less
Submitted 13 August, 2013;
originally announced August 2013.