The existence of tight Gabor duals for Gabor frames and subspace Gabor frames

Let K and L be two full-rank lattices in Rd. We give a complete characterization for all the Gabor frames that admit tight dual of the same type. The characterization is given in terms of the center-valued trace of the von Neumann algebra generated by the left regular projective unitary representations associated with the time-frequency lattice K×L. Two applications of this characterization were obtained: (i) We are able to prove that every Gabor frame has a tight dual if and only if the volume of K×L is less than or equal to . (ii) We are able to obtain sufficient or necessary conditions for the existence of tight Gabor pseudo-duals for subspace Gabor frames in various cases. In particular, we prove that every subspace Gabor frame has a tight Gabor pseudo-dual if either the volume or v(K×L)?2. Moreover, if K=αZd, L=βZd with αβ=1, then a subspace Gabor frame G(g,L,K) has a tight Gabor pseudo-dual only when G(g,L,K) itself is already tight.     

Compactly supported multiwindow dual Gabor frames of rational sampling density

We consider multiwindow Gabor systems (G _N ; a, b) with N compactly supported windows and rational sampling density N/ab. We give another set of necessary and sufficient conditions for two multiwindow Gabor systems to form a pair of dual frames in addition to the Zibulski–Zeevi and Janssen conditions. Our conditions come from the back transform of Zibulski–Zeevi condition to the time domain but are more informative to construct window functions. For example, the masks satisfying unitary extension principle (UEP) condition generate a tight Gabor system when restricted on [0, 2] with a?=?1 and b?=?1. As another application, we show that a multiwindow Gabor system (G _N ; 1, 1) forms an orthonormal basis if and only if it has only one window (N?=?1) which is a sum of characteristic functions whose supports ‘essentially’ form a Lebesgue measurable partition of the unit interval. Our criteria also provide a rich family of multiwindow dual Gabor frames and multiwindow tight Gabor frames for the particular choices of lattice parameters, number and support of the windows. (Section 4)     

A unified characterization of reproducing systems generated by a finite family

This article presents a general result from the study of shift-invariant spaces that characterizes tight frame and dual frame generators for shift-invariant subspaces of L²(ℝⁿ). A number of applications of this general result are then obtained, among which are the characterization of tight frames and dual frames for Gabor and wavelet systems.     

On Dual Wavelet Tight Frames

A characterization of multivariate dual wavelet tight frames for any general dilation matrix is presented in this paper. As an application, Lawton's result on wavelet tight frames inL²( ) is generalized to then-dimensional case. Two ways of constructing certain dual wavelet tight frames inL²( ⁿ) are suggested. Finally, examples of smooth wavelet tight frames inL²( ) andH²( ) are provided. In particular, an example is given to demonstrate that there is a function ψ whose Fourier transform is positive, compactly supported, and infinitely differentiable which generates a non-MRA wavelet tight frame inH²( ).     

Subspace dual super wavelet and Gabor frames

Due to its potential applications in multiplexing techniques, the study of superframes has interested some researchers. This paper addresses dual super wavelet and Gabor frames in the subspace setting. We obtain a basic-equation characterization for subspace dual super wavelet and Gabor frames. In addition, applying this characterization, we derive a procedure that allows for constructing subspace dual super wavelet frames based on certain subspace dual super Gabor frames, and vice versa. Our results are new even in L²(R;C ^L ) setting.     

Chirp transforms and Chirp series

Motivated by the recent work on the non-harmonic Fourier atoms initiated by T. Qian and the non-harmonic Fourier series which originated from the celebrated work of Paley and Wiener, we introduce an integral version of the non-harmonic Fourier series, called Chirp transform. As an integral transform with kernel ei?(t)θ(ω), the Chirp transform is an unitary isometry from L²(R,d?) onto L²(R,dθ) and it can be explicitly defined in terms of generalized Hermite polynomials. The corresponding Chirp series take einθ(t) as a basis which in some sense is dual to the theory of non-harmonic Fourier series which take eiλnt as a basis. The Chirp version of the Shannon sampling theorem and the Poisson summation formula are also considered by dealing with sampling points which may non-equally distributed. Since the Chirp transform interchanges weighted derivatives into multiplications, it plays a role in solving certain differential equations with variable coefficients. In addition, we extend T. Qian's theorem on the characterization of a measure to be a linear combination of a number of harmonic measures on the unit disc with positive integer coefficients to that with positive rational coefficients.     

Stability of Gabor frames with arbitrary sampling points

Summary We study the stability of Gabor frames with arbitrary sampling points in the time-frequency plane, in several aspects. We prove that a Gabor frame generated by a window function in the Segal algebra S₀(R^d) remains a frame even if (possibly) all the sampling points undergo an arbitrary perturbation, as long as this is uniformly small. We give explicit stability bounds when the window function is nice enough, showing that the allowed perturbation depends only on the lower frame bound of the original family and some qualitative parameters of the window under consideration. For the perturbation of window functions we show that a Gabor frame generated by any window function with arbitrary sampling points remains a frame when the window function has a small perturbation in S₀(R^d) sense. We also study the stability of dual frames, which is useful in practice but has not found much attention in the literature. We give some general results on this topic and explain consequences to Gabor frames.     

Perturbations of Banach Frames and Atomic Decompositions

Banach frames and atomic decompositions are sequences that have basis-like properties but which need not be bases. In particular, they allow elements of a Banach space to be written as linear combinations of the frame or atomic decomposition elements in a stable manner. In this paper we prove several functional — analytic properties of these decompositions, and show how these properties apply to Gabor and wavelet systems. We first prove that frames and atomic decompositions are stable under small perturbations. This is inspired by corresponding classical perturbation results for bases, including the Paley — Wiener basis stability criteria and the perturbation theorem el kato. We introduce new and weaker conditions which ensure the desired stability. We then prove quality properties of atomic decompositions and consider some consequences for Hilbert frames. Finally, we demonstrate how our results apply in the practical case of Gabor systems in weighted L² spaces. Such systems can form atomic decompositions for L²_w(IR), but cannot form Hilbert frames but L²_w(IR) unless the weight is trivial.     

Perturbation of wavelet and Gabor frames

In this work two aspects of theory of frames are presented: a side necessary condition on irregular wavelet frames is obtained, another perturbation of wavelet and Gabor frames is considered. Specifically,we present the results obtained on frame stability when one disturbs the mother of wavelet frame, or the parameter of dilatation, and in Gabor frames when the generating function or the parameter of translation are perturbed. In all cases we work without demanding compactness of the support, neither on the generating function, nor on its Fourier transform.     

Gabor systems on discrete periodic sets

Due to its good potential for digital signal processing, discrete Gabor analysis has interested some mathematicians. This paper addresses Gabor systems on discrete periodic sets, which can model signals to appear periodically but intermittently. Complete Gabor systems and Gabor frames on discrete periodic sets are characterized; a sufficient and necessary condition on what periodic sets admit complete Gabor systems is obtained; this condition is also proved to be sufficient and necessary for the existence of sets E such that the Gabor systems generated by χ _E are tight frames on these periodic sets; our proof is constructive, and all tight frames of the above form with a special frame bound can be obtained by our method; periodic sets admitting Gabor Riesz bases are characterized; some examples are also provided to illustrate the general theory. This work was supported by National Natural Science Foundation of China (Grant No. 10671008), Beijing Natural Science Foundation (Grant No. 1092001), PHR (IHLB) and the project sponsored by SRF for ROCS, SEM of China     

A Decay Result for Certain Windows Generating Orthogonal Gabor Bases

We consider tight Gabor frames (h,a=1,b=1) at critical density with h of the form Z ⁻¹(Zg/|Zg|). Here Z is the standard Zak transform and g is an even, real, well-behaved window such that Zg has exactly one zero, at , in [0,1)². We show that h and its Fourier transform have maximal decay as allowed by the Balian-Low theorem. Our result illustrates a theorem of Benedetto, Czaja, Gadziński, and Powell, case p=q=2, on sharpness of the Balian-Low theorem.      

A duality principle for groups

The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for L²(Rd) if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality principle extends to any dual pairs of projective unitary representations of countable groups. We examine the existence problem of dual pairs and establish some connection with classification problems for II₁ factors. While in general such a pair may not exist for some groups, we show that such a dual pair always exists for every subrepresentation of the left regular unitary representation when G is an abelian infinite countable group or an amenable ICC group. For free groups with finitely many generators, the existence problem of such a dual pair is equivalent to the well-known problem about the classification of free group von Neumann algebras.     

Theory, implementation and applications of nonstationary Gabor frames

Signal analysis with classical Gabor frames leads to a fixed time-frequency resolution over the whole time-frequency plane. To overcome the limitations imposed by this rigidity, we propose an extension of Gabor theory that leads to the construction of frames with time-frequency resolution changing over time or frequency. We describe the construction of the resulting nonstationary Gabor frames and give the explicit formula for the canonical dual frame for a particular case, the painless case. We show that wavelet transforms, constant-Q transforms and more general filter banks may be modeled in the framework of nonstationary Gabor frames. Further, we present the results in the finite-dimensional case, which provides a method for implementing the above-mentioned transforms with perfect reconstruction. Finally, we elaborate on two applications of nonstationary Gabor frames in audio signal processing, namely a method for automatic adaptation to transients and an algorithm for an invertible constant-Q transform.     

Theory,implementation and applications of nonstationary Gabor frames

Signal analysis with classical Gabor frames leads to a fixed time–frequency resolution over the whole time–frequency plane. To overcome the limitations imposed by this rigidity, we propose an extension of Gabor theory that leads to the construction of frames with time–frequency resolution changing over time or frequency. We describe the construction of the resulting nonstationary Gabor frames and give the explicit formula for the canonical dual frame for a particular case, the painless case. We show that wavelet transforms, constant-Q transforms and more general filter banks may be modeled in the framework of nonstationary Gabor frames. Further, we present the results in the finite-dimensional case, which provides a method for implementing the above-mentioned transforms with perfect reconstruction. Finally, we elaborate on two applications of nonstationary Gabor frames in audio signal processing, namely a method for automatic adaptation to transients and an algorithm for an invertible constant-Q transform.     

Irregular Gabor frames and their stability

In this paper we give sufficient conditions for irregular Gabor systems to be frames. We show that for a large class of window functions, every relatively uniformly discrete sequence in with sufficiently high density will generate a Gabor frame. Explicit frame bounds are given. We also study the stability of irregular Gabor frames and show that every Gabor frame with arbitrary time-frequency parameters is stable if the window function is nice enough. Explicit stability bounds are given.

     

Dilations and Completions for Gabor Systems

Let be a full rank time-frequency lattice in ℝ ^d ×ℝ ^d . In this note we first prove that any dual Gabor frame pair for a Λ-shift invariant subspace M can be dilated to a dual Gabor frame pair for the whole space L ²(ℝ ^d ) when the volume v(Λ) of the lattice Λ satisfies the condition v(Λ)≤1, and to a dual Gabor Riesz basis pair for a Λ-shift invariant subspace containing M when v(Λ)>1. This generalizes the dilation result in Gabardo and Han (J. Fourier Anal. Appl. 7:419–433, [2001]) to both higher dimensions and dual subspace Gabor frame pairs. Secondly, for any fixed positive integer N, we investigate the problem whether any Bessel–Gabor family G(g,Λ) can be completed to a tight Gabor (multi-)frame G(g,Λ)∪(∪ _j=1 ^N G(g _j ,Λ)) for L ²(ℝ ^d ). We show that this is true whenever v(Λ)≤N. In particular, when v(Λ)≤1, any Bessel–Gabor system is a subset of a tight Gabor frame G(g,Λ)∪G(h,Λ) for L ²(ℝ ^d ). Related results for affine systems are also discussed. Communicated by Chris Heil.     

Hyperbolic Secants Yield Gabor Frames

We show that (g₂,a,b) is a Gabor frame when a>0, b>0, ab<1, and $\text{g}{}_2\text{(t)=(}\text{1}\text{2}\text{πγ)}{}^{\mathrm{1/2}}\text{(cosh}\text{πγt)}{}^{\mathrm{-1}}$ is a hyperbolic secant with scaling parameter γ>0. This is accomplished by expressing the Zak transform of g₂ in terms of the Zak transform of the Gaussian g₁(t)=(2γ)^1/4 exp (−πγt²), together with an appropriate use of the Ron–Shen criterion for being a Gabor frame. As a side result it follows that the windows, generating tight Gabor frames, that are canonically associated to g₂ and g₁ are the same at critical density a=b=1. Also, we display the “singular” dual function corresponding to the hyperbolic secant at critical density.