Inequalities for Wavelet Frames

One of the fundamental problems in the study of wavelet frames is to find conditions on the wavelet function and the dilation and translation parameters so that the corresponding wavelet system forms a frame. In this article, we obtain some inequalities for a discrete wavelet system to be a frame. Our result improves known ones by Chui, Shi, and Chen.     

Some Results on the Lattice Parameters of Quaternionic Gabor Frames

Gabor frames play a vital role not only in modern harmonic analysis but also in several fields of applied mathematics, for instances, detection of chirps, or image processing. In this work we present a non-trivial generalization of Gabor frames to the quaternionic case and give new density results. The key tool is the two-sided windowed quaternionic Fourier transform (WQFT). As in the complex case, we want to write the WQFT as an inner product between a quaternion-valued signal and shifts and modulates of a real-valued window function. We demonstrate a Heisenberg uncertainty principle and for the results regarding the density, we employ the quaternionic Zak transform to obtain necessary and sufficient conditions to ensure that a quaternionic Gabor system is a quaternionic Gabor frame. We conclude with a proof that the Gabor conjecture does not hold true in the quaternionic case.     

Multi-frame representations in linear inverse problems with mixed multi-constraints

This paper is concerned with linear inverse problems where the solution is assumed to have a sparse expansion with respect to several bases or frames. We were mainly motivated by the following two different approaches: (1) Jaillet and Torrésani [F. Jaillet, B. Torrésani, Time–frequency jigsaw puzzle: Adaptive multi-window and multi-layered Gabor expansions, preprint, 2005] and Molla and Torrésani [S. Molla, B. Torrésani, A hybrid audio scheme using hidden Markov models of waveforms, Appl. Comput. Harmon. Anal. (2005), in press] have suggested to represent audio signals by means of at least a wavelet for transient and a local cosine dictionary for tonal components. The suggested technology produces sparse representations of audio signals that are very efficient in audio coding. (2) Also quite recently, Daubechies et al. [I. Daubechies, M. Defrise, C. DeMol, An iterative thresholding algorithm for linear inverse problems with a sparsity constraint, Comm. Pure Appl. Math. 57 (2004) 1413–1541] have developed an iterative method for linear inverse problems that promote a sparse representation for the solution to be reconstructed. Here in this paper, we bring both ideas together and construct schemes for linear inverse problems where the solution might then have a sparse representation (we also allow smoothness constraints) with respect to several bases or frames. By a few numerical examples in the field of audio and image processing we show that the resulting method works quite nicely.     

Sparse Dual Frames and Dual Gabor Functions of Minimal Time and Frequency Supports

Exploitation of the optimality of (non-exact) frames from a sparse dual point of view is presented. Sparse dual frames and dual Gabor functions of the minimal time and/or frequency supports are studied and constructed through the notion of sparse representations. Conditions on the sparsest dual frames and the dual Gabor functions of the minimal time and/or frequency supports are discussed. Algorithms and examples are provided.     

Compressed sensing with local structure: Uniform recovery guarantees for the sparsity in levels class

In compressed sensing, it is often desirable to consider signals possessing additional structure beyond sparsity. One such structured signal model – which forms the focus of this paper – is the local sparsity in levels class. This class has recently found applications in problems such as compressive imaging, multi-sensor acquisition systems and sparse regularization in inverse problems. In this paper we present uniform recovery guarantees for this class when the measurement matrix corresponds to a subsampled isometry. We do this by establishing a variant of the standard restricted isometry property for sparse in levels vectors, known as the restricted isometry property in levels. Interestingly, besides the usual log factors, our uniform recovery guarantees are simpler and less stringent than existing nonuniform recovery guarantees. For the particular case of discrete Fourier sampling with Haar wavelet sparsity, a corollary of our main theorem yields a new recovery guarantee which improves over the current state-of-the-art.     

Directional Haar wavelet frames on triangles

Traditional wavelets are not very effective in dealing with images that contain orientated discontinuities (edges). To achieve a more efficient representation one has to use basis elements with much higher directional sensitivity. In recent years several approaches like curvelets and shearlets have been studied providing essentially optimal approximation properties for images that are piecewise smooth and have discontinuities along C²-curves. While curvelets and shearlets have compact support in frequency domain, we construct directional wavelet frames generated by functions with compact support in time domain. Our Haar wavelet constructions can be seen as special composite dilation wavelets, being based on a generalized multiresolution analysis (MRA) associated with a dilation matrix and a finite collection of ‘shear’ matrices. The complete system of constructed wavelet functions forms a Parseval frame. Based on this MRA structure we provide an efficient filter bank algorithm. The freedom obtained by the redundancy of the applied Haar functions will be used for an efficient sparse representation of piecewise constant images as well as for image denoising.     

Frames and Coorbit Theory on Homogeneous Spaces with a Special Guidance on the Sphere

The topic of this article is a generalization of the theory of coorbit spaces and related frame constructions to Banach spaces of functions or distributions over domains and manifolds. As a special case one obtains modulation spaces and Gabor frames on spheres. Group theoretical considerations allow first to introduce generalized wavelet transforms. These are then used to define coorbit spaces on homogeneous spaces, which consist of functions having their generalized wavelet transform in some weighted L_p space. We also describe natural ways of discretizing those wavelet transforms, or equivalently to obtain atomic decompositions and Banach frames for the corresponding coorbit spaces. Based on these facts we treat aspects of nonlinear approximation and show how the new theory can be applied to the Gabor transform on spheres. For the S¹ we exhibit concrete examples of admissible Gabor atoms which are very closely related to uncertainty minimizing states.     

Image deblurring by sparsity constraint on the Fourier coefficients

This paper is concerned with the image deconvolution problem. For the basic model, where the convolution matrix can be diagonalized by discrete Fourier transform, the Tikhonov regularization method is computationally attractive since the associated linear system can be easily solved by fast Fourier transforms. On the other hand, the provided solutions are usually oversmoothed and other regularization terms are often employed to improve the quality of the restoration. Of course, this weighs down on the computational cost of the regularization method. Starting from the fact that images have sparse representations in the Fourier and wavelet domains, many deconvolution methods have been recently proposed with the aim of minimizing the ?₁-norm of these transformed coefficients. This paper uses the iteratively reweighted least squares strategy to introduce a diagonal weighting matrix in the Fourier domain. The resulting linear system is diagonal and hence the regularization parameter can be easily estimated, for instance by the generalized cross validation. The method benefits from a proper initial approximation that can be the observed image or the Tikhonov approximation. Therefore, embedding this method in an outer iteration may yield further improvement of the solution. Finally, since some properties of the observed image, like continuity or sparsity, are obviously changed when working in the Fourier domain, we introduce a filtering factor which keeps unchanged the large singular values and preserves the jumps in the Fourier coefficients related to the low frequencies. Numerical examples are given in order to show the effectiveness of the proposed method.     

框架的局部化

Grochenig and Balan, Casazza, Heil, and Landau introduced the concepts of localization. The concepts were used to Gabor frames, wavelet frames and sampling theorem in recent years. Here they are applied to the frame of exponential windows with the conclusion that the frame of exponential windows is a Banach frame for a kind of Banach spaces, and the conclusion is also obtained about the relationship between frame bounds, frame density, measure and density of indexing set.     

Affine Density,Frame Bounds,and the Admissibility Condition for Wavelet Frames

For a large class of irregular wavelet frames we derive a fundamental relationship between the affine density of the set of indices, the frame bounds, and the admissibility constant of the wavelet. Several implications of this theorem are studied. For instance, this result reveals one reason why wavelet systems do not display a Nyquist phenomenon analogous to Gabor systems, a question asked in Daubechies' Ten Lectures book. It also implies that the affine density of the set of indices associated with a tight wavelet frame has to be uniform. Finally, we show that affine density conditions can even be used to characterize the existence of wavelet frames, thus serving, in particular, as sufficient conditions.     

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.     

Characterization and Computation of Canonical Tight Windows for Gabor Frames

Let (\gnm)_{n,m ? \Zst}(\gnm)_{n,m\in\Zst} be a Gabor frame for \LtR\LtR for given window gg. We show that the window \ho = \SQI g\ho=\SQI g that generates the canonically associated tight Gabor frame minimizes ||g-h||\|g-h\| among all windows hh generating a normalized tight Gabor frame. We present and prove versions of this result in the time domain, the frequency domain, the time-frequency domain, and the Zak transform domain, where in each domain the canonical \ho\ho is expressed using functional calculus for Gabor frame operators. Furthermore, we derive a Wiener--Levy type theorem for rationally oversampled Gabor frames. Finally, a Newton-type method for a fast numerical calculation of \ho\ho is presented. We analyze the convergence behavior of this method and demonstrate the efficiency of the proposed algorithm by some numerical examples.     

Bessel sequences,wavelet frames,duals and extensions

From the perspectives of duality and extensions, Gabor frames and wavelet frames have contrasting behaviour. Our chief concern here is about duality. Canonical duals of wavelet frames may not be wavelet frames, whereas canonical duals of Gabor frames are Gabor frames. Keeping these in view, we give several constructions of wavelet frames with wavelet canonical duals. For this, a simple characterisation of Bessel sequences and a general commutativity result are given, the former also leading naturally to some extension results.     

A Geometric Construction of Tight Multivariate Gabor Frames with Compactly Supported Smooth Windows

Fundamental domains of pairs of lattices were used by Han and Wang to construct multivariate Gabor frames for separable lattices. We build upon their results to obtain Gabor frames with smooth and compactly supported window functions. Our results are applicable, for example, if certain pairs of lattices with equal density allow for a common compact and star-shaped fundamental domain.     

Time-domain characterization of multiwindow Gabor systems on discrete periodic sets

This paper addresses multiwindow Gabor systems on discrete periodic sets, which can model signals to appear periodically but intermittently. We give some necessary and/or sufficient conditions for multiwindow Gabor systems to foe frames on discrete periodic sets, and characterize two multiwindow Gabor Bessel sequences to foe dual frames on discrete periodic sets. For a given multiwindow Gabor frame, we derive all its Gabor duals, among which we obtain an explicit expression of the canonical Gabor dual. In addition, we generalize multiwindow Gabor systems to the case of a different sampling rate for each window, and investigate multiwindow Gabor frames and dual frames in this case. We also show the properties of the multiwindow Gabor systems are essentially not changed by replacing the exponential kernel with other kernels.     

Approximations for Gabor and wavelet frames

Let be a frame vector under the action of a collection of unitary operators . Motivated by the recent work of Frank, Paulsen and Tiballi and some application aspects of Gabor and wavelet frames, we consider the existence and uniqueness of the best approximation by normalized tight frame vectors. We prove that for any frame induced by a projective unitary representation for a countable discrete group, the best normalized tight frame (NTF) approximation exists and is unique. Therefore it applies to Gabor frames (including Gabor frames for subspaces) and frames induced by translation groups. Similar results hold for semi-orthogonal wavelet frames.

     

Explicit constructions and properties of generalized shift-invariant systems in $L^{2}(\mathbb {R})$

Generalized shift-invariant (GSI) systems, originally introduced by Hernández et al. and Ron and Shen, provide a common frame work for analysis of Gabor systems, wavelet systems, wave packet systems, and other types of structured function systems. In this paper we analyze three important aspects of such systems. First, in contrast to the known cases of Gabor frames and wavelet frames, we show that for a GSI system forming a frame, the Calderón sum is not necessarily bounded by the lower frame bound. We identify a technical condition implying that the Calderón sum is bounded by the lower frame bound and show that under a weak assumption the condition is equivalent with the local integrability condition introduced by Hernández et al. Second, we provide explicit and general constructions of frames and dual pairs of frames having the GSI-structure. In particular, the setup applies to wave packet systems and in contrast to the constructions in the literature, these constructions are not based on characteristic functions in the Fourier domain. Third, our results provide insight into the local integrability condition (LIC).     

基于基底合并的分片稀疏恢复

如我们所知,诸如视频和图像等信号可以在某些框架下被表示为稀疏信号,因此稀疏恢复(或稀疏表示)是信号处理、图像处理、计算机视觉、机器学习等领域中被广泛研究的问题之一.通常大多数在稀疏恢复中的有效快速算法都是基于求解$l^0$或者$l^1$优化问题.但是,对于求解$l^0$或者$l^1$优化问题以及相关算法所得到的理论充分性条件对信号的稀疏性要求过严.考虑到在很多实际应用中,信号是具有一定结构的,也即,信号的非零元素具有一定的分布特点.在本文中,我们研究分片稀疏恢复的唯一性条件和可行性条件.分片稀疏性是指一个稀疏信号由多个稀疏的子信号合并所得.相应的采样矩阵是由多个基底合并组成.考虑到采样矩阵的分块结构,我们引入了子矩阵的互相干性,由此可以得到相应$l^0$或者$l^1$优化问题可精确恢复解的稀疏度的新上界.本文结果表明.通过引入采样矩阵的分块结构信息.可以改进分片稀疏恢复的充分性条件.以及相应$l^0$或者$l^1$优化问题整体稀疏解的可靠性条件.     

Full Spark Frames

Finite frame theory has a number of real-world applications. In applications like sparse signal processing, data transmission with robustness to erasures, and reconstruction without phase, there is a pressing need for deterministic constructions of frames with the following property: every size-M subcollection of the M-dimensional frame elements is a spanning set. Such frames are called full spark frames, and this paper provides new constructions using the discrete Fourier transform. Later, we prove that full spark Parseval frames are dense in the entire set of Parseval frames, meaning full spark frames are abundant, even if one imposes an additional tightness constraint. Finally, we prove that testing whether a given matrix is full spark is hard for NP under randomized polynomial-time reductions, indicating that deterministic full spark constructions are particularly significant because they guarantee a property which is otherwise difficult to check.     

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.