Constructing pairs of dual bandlimited framelets with desired time localization

For sufficiently small translation parameters, we prove that any bandlimited function ψ, for which the dilations of its Fourier transform form a partition of unity, generates a wavelet frame with a dual frame also having the wavelet structure. This dual frame is generated by a finite linear combination of dilations of ψ with explicitly given coefficients. The result allows a simple construction procedure for pairs of dual wavelet frames whose generators have compact support in the Fourier domain and desired time localization. The construction is based on characterizing equations for dual wavelet frames and relies on a technical condition. We exhibit a general class of function satisfying this condition; in particular, we construct piecewise polynomial functions satisfying the condition.      

Pairs of Dual Wavelet Frames from Any Two Refinable Functions

Starting from any two compactly supported refinable functions in L₂(R) with dilation factor d,we show that it is always possible to construct 2d wavelet functions with compact support such that they generate a pair of dual d-wavelet frames in L₂(R). Moreover, the number of vanishing moments of each of these wavelet frames is equal to the approximation order of the dual MRA; this is the highest possible. In particular, when we consider symmetric refinable functions, the constructed dual wavelets are also symmetric or antisymmetric. As a consequence, for any compactly supported refinable function in L₂(R), it is possible to construct, explicitly and easily, wavelets that are finite linear combinations of translates (d · – k), and that generate a wavelet frame with an arbitrarily preassigned number of vanishing moments.We illustrate the general theory by examples of such pairs of dual wavelet frames derived from B-spline functions.     

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.     

B-Spline Approximations of the Gaussian,their Gabor Frame Properties,and Approximately Dual Frames

We prove that Gabor systems generated by certain scaled B-splines can be considered as perturbations of the Gabor systems generated by the Gaussian, with a deviation within an arbitrary small tolerance whenever the order N of the B-spline is sufficiently large. As a consequence we show that for any choice of translation/modulation parameters \(a,b>0\) with \(ab<1\), the scaled version of \(B_N\) generates Gabor frames for N sufficiently large. Considering the Gabor frame decomposition generated by the Gaussian and a dual window, the results lead to estimates of the deviation from perfect reconstruction that arise when the Gaussian is replaced by a scaled B-spline, or when the dual window of the Gaussian is replaced by certain explicitly given and compactly supported linear combinations of the B-splines. In particular, this leads to a family of approximate dual windows of a very simple form, leading to “almost perfect reconstruction” within any desired error tolerance whenever the product ab is sufficiently small. In contrast, the known (exact) dual windows have a very complicated form. A similar analysis is sketched with the scaled B-splines replaced by certain truncations of the Gaussian. As a consequence of the approach we prove (mostly known) convergence results for the considered scaled B-splines to the Gaussian in the \(L^p\)-spaces, as well in the time-domain as in the frequency domain.     

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.     

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.     

Functional Gabor frame multipliers

A Gabor frame multiplier is a bounded operator that maps normalized tight Gabor frame generators to normalized tight Gabor frame generators. While characterization of such operators is still unknown, we give a complete characterization for the functional Gabor frame multipliers. We prove that a L^∞ -function h is a functional Gabor frame multiplier (for the time-frequency lattice aℤ × bℤ) if and only if it is unimodular and is a-periodic. Along the same line, we also characterize all the Gabor frame generators g (resp. frame wavelets ψ) for which there is a function ∈ L^∞(ℝ) such that {wg_mn} (resp. ωψ_k,ℝ) is a normalized tight frame.     

Flexible Gabor-wavelet atomic decompositions for L 2-Sobolev spaces

In this paper we present a general construction of frames, which allows one to ensure that certain families of functions (atoms) obtained by a suitable combination of translation, modulation, and dilation will form Banach frames for the family of L²-Sobolev spaces on ℝ of any order. In this construction a parameter α∈[0,1) governs the dependence of the dilation factor on the frequency parameter. The well-known Gabor and wavelet frames (also valid for the same scale of Hilbert spaces) using suitable Schwartz functions as building blocks arise as special cases (α=0) and a limiting case (α→1), respectively. In contrast to those limiting cases, it is no longer possible to use group-theoretical arguments. Nevertheless, we will show how to constructively ensure that for Schwartz analyzing atoms and any sufficiently dense but discrete and well-structured family of parameters one can guarantee the frame property. As a consequence of this novel constructive technique, one can generate quasicoherent dual frames by an iterative algorithm. As will be shown in a subsequent paper, the new frames introduced here generate Banach frames for corresponding families of α-modulation spaces. Mathematics Subject Classification (2000) 42C15, 46S30, 49M27, 65T60     

Multiwavelet Frames from Refinable Function Vectors

Starting from any two compactly supported d-refinable function vectors in (L ₂(R)) ^r with multiplicity r and dilation factor d, we show that it is always possible to construct 2rd wavelet functions with compact support such that they generate a pair of dual d-wavelet frames in L ₂(R) and they achieve the best possible orders of vanishing moments. When all the components of the two real-valued d-refinable function vectors are either symmetric or antisymmetric with their symmetry centers differing by half integers, such 2rd wavelet functions, which generate a pair of dual d-wavelet frames, can be real-valued and be either symmetric or antisymmetric with the same symmetry center. Wavelet frames from any d-refinable function vector are also considered. This paper generalizes the work in [5,12,13] on constructing dual wavelet frames from scalar refinable functions to the multiwavelet case. Examples are provided to illustrate the construction in this paper.     

Varying the time-frequency lattice of Gabor frames

A Gabor or Weyl-Heisenberg frame for is generated by time-frequency shifts of a square-integrable function, the Gabor atom, along a time-frequency lattice. The dual frame is again a Gabor frame, generated by the dual atom. In general, Gabor frames are not stable under a perturbation of the lattice constants; that is, even for arbitrarily small changes of the parameters the frame property can be lost.

In contrast, as a main result we show that this kind of stability does hold for Gabor frames generated by a Gabor atom from the modulation space , which is a dense subspace of . Moreover, in this case the dual atom depends continuously on the lattice constants. In fact, we prove these results for more general weighted modulation spaces. As a consequence, we obtain for Gabor atoms from the Schwartz class that the continuous dependence of the dual atom holds even in the Schwartz topology. Also, we complement these main results by corresponding statements for Gabor Riesz sequences and their biorthogonal system.

     

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.     

Porosity of Mutually Nearest and Mutually Furthest Points Problems in Geodesic Space

The notion of superframe in general Hilbert spaces was introduced in the context of multiplexing, which has been widely used in mobile communication network, satellite communication network and computer area network. The notion of oblique dual frame is a generalization of conventional dual frame. It has provided us with a frame-like expansion. Using oblique dual frames one can extend frame expansions to include redundant expansions in which the analysis and synthesis frames lie in different spaces. Given positive integers L, M and N, an N?-periodic set 𝕊 in ?, let 𝒢(g, N, M) be a frame for l ²(𝕊, ? ^L ), and let 𝒢(h, N, M) be a frame for ?(h, N, M) (generated by 𝒢(h, N, M)). This article addresses super Gabor duals of g in ?(h, N, M). We obtain a necessary and sufficient condition on h admitting super oblique Gabor duals of g, and present a parametrization expression of all super oblique Gabor duals and all oblique canonical Gabor duals of g. We also characterize the uniqueness of super oblique Gabor dual and oblique canonical Gabor dual of g. Some examples are also provided.     

Wavelet bi‐frames with uniform symmetry

Wavelet bi‐frames with uniform symmetry are discussed in this paper. Every refinable function in the bi‐frame system is symmetric, which is very useful in the image processing and curve and surface multiresolution processing. By the aid of the lifting scheme, bi‐frame multiresolution algorithms can be divided into several iterative steps, and each step can be shown by a symmetric template. The template‐based procedure is established for constructing bi‐frames with uniform symmetry and N > 2 generators. In particular, we take the bi‐frame with three generators as an example to provide a clearer picture of the template‐based procedure for constructing bi‐frames. Three types of bi‐frames with three generators are studied, and some examples with certain smoothness are constructed. These examples include some bi‐frames with interpolating property. Copyright © 2016 John Wiley & Sons, Ltd.     

多个生成子生成的Gabor框架

本文首先给出了由多个生成子生成的Gabor系成为Gabor框架(多Gabor框架)的几个充分条件.然后利用上述充分条件之一,构造出了一类多Gabor框架,它的生成子具有很好的时-频局部性质,此构造结果规避了Balian-Low定理的限制.另外,文中又给出了两种构造方案,通过这些方案可以对已有的多Gabor框架进行修正从而得到许多新的多Gabor框架.     

Pairs of Explicitly Given Dual Gabor Frames in L2(ℝd)

Given certain compactly supported functions g ≥ L²(ℝ^d) whose ℤ^d-translates form a partition of unity, and real invertible d × d matrices B,C for which ||C^T B|| is sufficiently small, we prove that the Gabor system forms a frame, with a (noncanonical) dual Gabor frame generated by an explicitly given finite linear combination of shifts of g. For functions g of the above type and arbitrary real invertible d × d matrices B,C this result leads to a construction of a multi-Gabor frame , where all the generators g_k are dilated and translated versions of g. Again, the dual generators have a similar form, and are given explicitly. Our concrete examples concern box splines.     

Functional Matrix Multipliers for Parseval Gabor Multi-frame Generators

We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.

     

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     

Density, Overcompleteness, and Localization of Frames. II. Gabor Systems

This work develops a quantitative framework for describing the overcompleteness of a large class of frames. A previous article introduced notions of localization and approximation between two frames F = {f_i}_i∈I and E = {e_j}_j∈G (G a discrete abelian group), relating the decay of the expansion of the elements of F in terms of the elements of E via a map a : I → G. This article shows that those abstract results yield an array of new implications for irregular Gabor frames. Additionally, various Nyquist density results for Gabor frames are recovered as special cases, and in the process both their meaning and implications are clarified. New results are obtained on the excess and overcompleteness of Gabor frames, on the relationship between frame bounds and density, and on the structure of the dual frame of an irregular Gabor frame. More generally, these results apply both to Gabor frames and to systems of Gabor molecules, whose elements share only a common envelope of concentration in the time-frequency plane. The notions of localization and related approximation properties are a spectrum of ideas that quantify the degree to which elements of one frame can be approximated by elements of another frame. In this article, a comprehensive examination of the interrelations among these localization and approximation concepts is made, with most implications shown to be sharp.     

Redundancy for localized frames

Redundancy is the qualitative property which makes Hilbert space frames so useful in practice. However, developing a meaningful quantitative notion of redundancy for infinite frames has proven elusive. Though quantitative candidates for redundancy exist, the main open problem is whether a frame with redundancy greater than one contains a subframe with redundancy arbitrarily close to one. We will answer this question in the affirmative for ℓ ¹-localized frames. We then specialize our results to Gabor multi-frames with generators in M ¹(R ^d ), and Gabor molecules with envelopes in W(C, l ¹). As a main tool in this work, we show there is a universal function g(x) so that, for every ε =s> 0, every Parseval frame {f _i } _i=1 ^M for an N-dimensional Hilbert space H _N has a subset of fewer than (1+ε)N elements which is a frame for H _N with lower frame bound g(ε/(2M/N − 1)). This work provides the first meaningful quantative notion of redundancy for a large class of infinite frames. In addition, the results give compelling new evidence in support of a general definition of redundancy given in [5].