Vector-valued nonstationary Gabor frames

As an extension of Gabor frames, nonstationary Gabor (NSG) frames were recently introduced in adaptive signal analysis. They allow for efficient reconstruction with flexible sampling and varying window functions. In this paper we generalize the notion of NSG frames from $L^2(\mathbb{R})$ to the vector-valued Hilbert space $L^2(\mathbb{R},{\mathbb{C}}^L)$, and investigate the resulting vector-valued NSG frames. We derive a Walnut's representation of the mixed frame operator, and provide some necessary/sufficient conditions for a vector-valued NSG system to be a frame for $L^2(\mathbb{R},{\mathbb{C}}^L)$. Furthermore, we show the existence of painless vector-valued NSG frames, and of vector-valued NSG frames with fast decaying window functions.     

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.     

Nonstationary Gabor frames for

Recently, continuous‐time nonstationary Gabor (NSG) frames were introduced in adaptive signal analysis. They allow for efficient reconstruction with flexible sampling and varying window functions. In this paper, we focus on the existence and construction of NSG frames in the discrete‐time setting. We provide existence results for painless NSG frames and for NSG frames with fast decaying window functions. We also construct NSG frames with noncompactly supported window functions from a known painless NSG frame. Some examples are provided to illustrate the general theory.     

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.     

Frame representations and Parseval duals with applications to Gabor frames

Let be a frame for a Hilbert space . We investigate the conditions under which there exists a dual frame for which is also a Parseval (or tight) frame. We show that the existence of a Parseval dual is equivalent to the problem whether can be dilated to an orthonormal basis (under an oblique projection). A necessary and sufficient condition for the existence of Parseval duals is obtained in terms of the frame excess. For a frame induced by a projective unitary representation of a group , it is possible that can have a Parseval dual, but does not have a Parseval dual of the same type. The primary aim of this paper is to present a complete characterization for all the projective unitary representations such that every frame (with a necessary lower frame bound condition) has a Parseval dual of the same type. As an application of this characterization together with a result about lattice tiling, we prove that every Gabor frame (again with the same necessary lower frame bound condition) has a Parseval dual of the same type if and only if the volume of the fundamental domain of is less than or equal to .

     

Gabor frames, unimodularity, and window decay

We study time-continuous Gabor frame generating window functions g satisfying decay properties in time and/or frequency with particular emphasis on rational time-frequency lattices. Specifically, we show under what conditions these decay properties of g are inherited by its minimal dual γ⁰ and by generalized duals γ. We consider compactly supported, exponentially decaying, and faster than exponentially decaying (i.e., decay like |g(t)|≤Ce^{−α|t| 1/α} for some 1/2≤α<1) window functions. Particularly, we find that g and γ⁰ have better than exponential decay in both domains if and only if the associated Zibulski-Zeevi matrix is unimodular, i.e., its determinant is a constant. In the case of integer oversampling, unimodularity of the Zibulski-Zeevi matrix is equivalent to tightness of the underlying Gabor frame. For arbitrary oversampling, we furthermore consider tight Gabor frames canonically associated to window functions g satisfying certain decay properties. Here, we show under what conditions and to what extent the canonically associated tight frame inherits decay properties of g. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Gabor frame operator, on a result by Jaffard, on a functional calculus for Gabor frame operators, on results from the theory of entire functions, and on the theory of polynomial matrices.     

Gabor frames and directional time–frequency analysis

We introduce a directionally sensitive time–frequency decomposition and representation of functions. The coefficients of this representation allow us to measure the “amount” of frequency a function (signal, image) contains in a certain time interval, and also in a certain direction. This has been previously achieved using a version of wavelets called ridgelets [E.J. Candès, Harmonic analysis of neural networks, Appl. Comput. Harmon. Anal. 6 (1999) 197–218. [2]; E.J. Candès, D.L. Donoho, New tight frames of curvelets and optimal representations of objects with piesewise-C² singularities, Comm. Pure Appl. Math. 57 (2004) 219–266. [3]] but in this work we discuss an approach based on time–frequency or Gabor elements. For such elements, a Parseval formula and a continuous frame-type representation together with boundedness properties of a semi-discrete frame operator are obtained. Spaces of functions tailored to measure quantitative properties of the time–frequency–direction analysis coefficients are introduced and some of their basic properties are discussed. Applications to image processing and medical imaging are presented.     

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.     

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.

     

Wiener's lemma for twisted convolution and Gabor frames

We prove non-commutative versions of Wiener's Lemma on absolutely convergent Fourier series (a) for the case of twisted convolution and (b) for rotation algebras. As an application we solve some open problems about Gabor frames, among them the problem of Feichtinger and Janssen that is known in the literature as the ``irrational case'.

     

Characterization of rationally sampled quaternionic dual Gabor frames

This paper addresses quaternionic dual Gabor frames under the condition that the products of time-frequency shift parameters are rational numbers. For a general overcomplete quaternionic Gabor frame with the product of time-frequency shift parameters not equal to $\frac{1}{2}$, we show that its corresponding frame and translation operators do not commute, which leads to its canonical dual frame not having the Gabor structure, but it may have other dual frames with Gabor structure. We characterize when two quaternionic Gabor Bessel sequences form a pair of dual frames, and present a class of quaternionic dual Gabor frames. We also characterize quaternionic Gabor Riesz bases and prove that their canonical dual frames have Gabor structure.     

Asymptotic properties of Gabor frame operators as sampling density tends to infinity

We study the asymptotic properties of Gabor frame operators defined by the Riemannian sums of inverse windowed Fourier transforms. When the analysis and the synthesis window functions are the same, we give necessary and sufficient conditions for the Riemannian sums to be convergent as the sampling density tends to infinity. Moreover, we show that Gabor frame operators converge to the identity operator in operator norm whenever they are generated with locally Riemann integrable window functions in the Wiener space.     

Estimates, decay properties, and computation of the dual function for Gabor frames

We present a simple proof of Ron and Shen's frame bounds estimates for Gabor frames. The proof is based on the Heil and Walnut's representation of the frame operator and shows that it can be decomposed into a continuous family of infinite matrices. The estimates then follow from a simple application of Gershgorin's theorem to each matrix. Next, we show that, if the window function has exponential decay, also the dual function has some exponential decay. Then, we describe a numerical method to compute the dual function and give an estimate of the error. Finally, we consider the spline of order 2; we investigate numerically the region of the time-frequency plane where it generates a frame and we compute the dual function for some values of the parameters.     

Simultaneous estimates for vector-valued Gabor frames of Hermite functions

We derive frame bound estimates for vector-valued Gabor systems with window functions belonging to Schwartz space. The main result provides estimates for windows composed of Hermite functions. The proof is based on a recently established sampling theorem for the simply connected Heisenberg group, which is translated to a family of frame bound estimates via a direct integral decomposition.      

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.     

On the stability of wavelet and Gabor frames (Riesz bases)

If the sequence of functions _{j, k} is a wavelet frame (Riesz basis) or Gabor frame (Riesz basis), we obtain its perturbation system _j,k which is still a frame (Riesz basis) under very mild conditions. For example, we do not need to know that the support of or is compact as in [14]. We also discuss the stability of irregular sampling problems. In order to arrive at some of our results, we set up a general multivariate version of Littlewood-Paley type inequality which was originally considered by Lemarié and Meyer [17], then by Chui and Shi [9], and Long [16].