This work characterizes (dyadic) wavelet frames for $L^2({\mathbb R})$ by means of spectral techniques. These techniques use decomposability properties of the frame operator in spectral representations associated to the dilation operator. The approach is closely related to usual Fourier domain fiberization techniques, dual Gramian analysis and extension principles, which are described here on the basis of the periodized Fourier transform. In a second paper of this series, we shall show how the spectral formulas obtained here permit us to calculate all the tight wavelet frames for $L^2({\mathbb R})$ with a fixed number of generators of minimal support.
It is an open problem whether any pair of Bessel sequences with wavelet structure can be extended to a pair of dual frames by adding a pair of singly generated wavelet systems. We consider the particular case where the given wavelet systems are generated by the multiscale setup with trigonometric masks and provide a positive answer under extra assumptions. We also identify a number of conditions that are necessary for the extension to dual multiscale wavelet frames with any number of generators, and show that they imply that an extension with two pairs of wavelet systems is possible. Along the…
We study the construction of nonuniform tight wavelet frames for the Lebesgue space $L^2(\mathbb{R})$, where the related translation set is not necessary a group. The main purpose of this paper is to prove the unitary extension principle (UEP) and the oblique extension principle (OEP) for construction of multi-generated nonuniform tight wavelet frames for $L^2(\mathbb{R})$. Some examples are also given to illustrate the results.
We propose a simple method to construct step mask and corresponding step wavelet functions that generate tight wavelet frames on the field of p-adic numbers. To construct tight wavelet frames we do not use the principle of unitary extension, we use Pontryagin's principle of duality.
For a given symmetric refinable mask obeying the sum rule of order $n$, an explicit method is suggested for the construction of mutually symmetric almost frame-like wavelet system providing approximation order $n$. A transformation based on the lifting scheme is described that allows to improve almost frame-like wavelets to dual wavelet frames and preserve other properties. A direct method for the construction of dual wavelet frames providing approximation order $n$ and mutual symmetry properties is also discussed. For an abelian symmetry group $H$, a technique providing the $H$-symmetry prope…
Using a prime element of a local field K of positive characteristic p, the concepts of multiresolution analysis (MRA) and wavelet can be generalized to such a field. We prove a version of the splitting lemma for this setup and using this lemma we have constructed the wavelet packets associated with such MRAs. We show that these wavelet packets generate an orthonormal basis by translations only. We also prove an analogue of splitting lemma for frames and construct the wavelet frame packets in this setting.
In this paper, we study nonhomogeneous wavelet systems which have close relations to the fast wavelet transform and homogeneous wavelet systems. We introduce and characterize a pair of frequency-based nonhomogeneous dual wavelet frames in the distribution space; the proposed notion enables us to completely separate the perfect reconstruction property of a wavelet system from its stability property in function spaces. The results in this paper lead to a natural explanation for the oblique extension principle, which has been widely used to construct dual wavelet frames from refinable functions, …
We generalize the Second Oversampling Theorem for wavelet frames and dual wavelet frames from the setting of integer dilations to real dilations. We also study the relationship between dilation matrix oversampling of semi-orthogonal Parseval wavelet frames and the additional shift invariance gain of the core subspace.
Tight wavelet frames are computationally and theoretically attractive, but most existing multivariate constructions have various drawbacks, including low vanishing moments for the wavelets, or a large number of wavelet masks. We further develop existing work combining sums of squares representations with tight wavelet frame construction, and present a new and general method for constructing such frames. Focusing on the case of box splines, we also demonstrate how the flexibility of our approach can lead to tight wavelet frames with high numbers of vanishing moments for all of the wavelet masks…
Wavelet frames for $L^2({\mathbb R})$ can be characterized by means of spectral techniques. This work uses spectral formulas to determine all the tight wavelet frames for $L^2({\mathbb R})$ with a fixed finite number of generators of minimal support. The method associates wavelet frames of this type with certain inner operator-valued functions in Hardy spaces. The cases with one and two generators are completely solved.
In this paper, we provide the characterization of nonhomogeneous wavelet bi-frames. First of all we introduce the reducing subspaces of Sobolev spaces over local fields of prime characteristics and then characterize the nonhomogeneous wavelet bi frames over such fields.
In this article, we present a constructive method for computing the frame coefficients of finite wavelet frames over prime fields using tools from computational harmonic analysis and group theory.
In this paper, an algorithm based on polyphase matrix for constructing a pair of orthogonal wavelet frames is suggested, and a general form for all orthogonal tight wavelet frames on local fields of positive characteristic is described. Moreover, we investigate their properties by means of the Fourier transform.
This paper deals with structural issues concerning wavelet frames and their dual frames. It is known that there exist wavelet frames $\{a^{j/2}ψ( a^j\cdot -kb)\}_{j,k\in \mathbb Z}$ in $L^2(\mathbb R)$ for which no dual frame has wavelet structure. We first generalize this result by proving that there exist wavelet frames for which no approximately dual frame has wavelet structure. Motivated by this we show that by imposing a very mild decay condition on the Fourier transform of the generator $ψ\in L^2(\mathbb R),$ a certain oversampling $\{a^{j/2}ψ( a^j\cdot -kb/N)\}_{j,k\in \mathbb Z}$ indee…
A wavelet is a special case of a vector in a separable Hilbert space that generates a basis under the action of a collection, or system, of unitary operators. We will describe the operator-interpolation approach to wavelet theory using the local commutant of a system. This is really an abstract application of the theory of operator algebras to wavelet theory. The concrete applications of this method include results obtained using specially constructed families of wavelet sets. A frame is a sequence of vectors in a Hilbert space which is a compression of a basis for a larger space. This is not …
We establish system of equations for single function normalized tight frame wavelets with compact supports associated with $2\times 2$ expansive integral matrices in $L^2(\R^2)$.
Wavelet set wavelets were the first examples of wavelets that may not have associated multiresolution analyses. Furthermore, they provided examples of complete orthonormal wavelet systems in $L^2(\mathbb{R}^d)$ which only require a single generating wavelet. Although work had been done to smooth these wavelets, which are by definition discontinuous on the frequency domain, nothing had been explicitly done over $\mathbb{R}^d$, $d >1$. This paper, along with another one cowritten by the author, finally addresses this issue. Smoothing does not work as expected in higher dimensions. For example, B…
For any symmetry group $H$ and any appropriate matrix dilation we give an explicit method for the construction of $H$-symmetric refinable interpolatory refinable masks which satisfy sum rule of arbitrary order $n$. For each such mask we give an explicit technique for the construction of dual wavelet frames such that the corresponding wavelet masks are mutually symmetric and have the vanishing moments up to the order n. For an abelian symmetry group $H$ we modify the technique such that each constructed wavelet mask is $H$-symmetric.
The concept of super-wavelet was introduced by Balan, and Han and Larson over the field of real numbers which has many applications not only in engineering branches but also in different areas of mathematics. To develop this notion on local fields having positive characteristic we obtain characterizations of super-wavelets of finite length as well as Parseval frame multiwavelet sets of finite order in this setup. Using the group theoretical approach based on coset representatives, further we establish Shannon type multiwavelet in this perspective while providing examples of Parseval frame (mul…
In the framework of wave packet analysis, finite wavelet systems are particular classes of finite wave packet systems. In this paper, using a scaling matrix on a permuted version of the discrete Fourier transform (DFT) of system generator, we derive a locally-scaled version of the DFT of system genarator and obtain a finite equal-norm Parseval wavelet frame over prime fields. We also give a characterization of all multiplicative subgroups of the cyclic multiplicative group, for which the associated wavelet systems form frames. Finally, we present some concrete examples as applications of our r…
Wavelet frames have become a useful tool in time freqency analysis and image processing. Many authors worked in the field of wavelet frames and obtained various necessary and sufficient conditions. Ron and Shen [17] gave a charactarization of wavelet frames. Benedetto and Treiber [3], Ron and Shen [17] presented different presentations to the wavelet frames. Any function $f \in L^2(R)$ can be expanded as an orthonormal wavelet series and pointwise convergence and uniform convergence of series have been discussed extensively by various authors [9, 17]. In this paper we investigate the pointwise…
We construct Parseval wavelet frames in $L^2(M)$ for a general Riemannian manifold $M$ and we show the existence of wavelet unconditional frames in $L^p(M)$ for $1 < p <\infty$. This is made possible thanks to smooth orthogonal projection decomposition of the identity operator on $L^2(M)$, which was recently proven by the authors in arXiv:1803.03634. We also show a characterization of Triebel-Lizorkin $\mathbf F_{p,q}^s(M)$ and Besov $\mathbf B_{p,q}^s(M)$ spaces on compact manifolds in terms of magnitudes of coefficients of Parseval wavelet frames. We achieve this by showing that Hestenes ope…
Given a real, expansive dilation matrix we prove that any bandlimited function $ψ\in L^2(\mathbb{R}^n)$, for which the dilations of its Fourier transform form a partition of unity, generates a wavelet frame for certain translation lattices. Moreover, there exists a dual wavelet frame 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 relies on a technical condi…
Gabardo and Nashed have studied nonuniform wavelets based on the theory of spectral pairs for which the associated translation set $Λ=\left\{ 0,r/N\right\}+2\,\mathbb Z$ is no longer a discrete subgroup of $\mathbb R$ but a spectrum associated with a certain one-dimensional spectral pair and the associated dilation is an even positive integer related to the given spectral pair. In this paper, we construct the associated wavelet frames and establish some sufficient conditions that ensure the nonuniform wavelet system $\left\{ ψ_{j, λ}(x)= (2N)^{j/2}ψ\big( (2N)^{j}x-λ\big), j\in \mathbb Z, λ\in …
Recent results from real algebraic geometry and the theory of polynomial optimization are related in a new framework to the existence question of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely, several equivalent formulations of the so-called Unitary Extension Principle by Ron and Shen are interpreted in terms of hermitian sums of squares of certain nonnegative trigonometric polynomials and in terms of semi-definite programming. The latter together with the recent results in algebraic geometry and semi-definite programming allow us to answer affir…
For an arbitrary matrix dilation, any integer n and any integer/semi-integer c, we describe all masks that are symmetric with respect to the point c and have sum rule of order n. For each such mask, we give explicit formulas for wavelet functions that are point symmetric/antisymmetric and generate frame-like wavelet system providing approximation order n. For any matrix dilations (which are appropriate for axial symmetry group on R^2 in some natural sense) and given integer n, axial symmetric/antisymmetric frame-like wavelet systems providing approximation order n are constructed. Also, for se…
Radially symmetric wavelets possessing multiresolution framework are found to be useful in different fields like Pattern recognition, Computed Tomography (CT) etc. The compactly supported wavelets are known to be useful for localized operations in applications such as reconstruction, enhancement etc. In this work we introduce a novel way of designing compactly supported radial wavelets in $L^2(\mathbb{R}^2)$ from a 1D Daubechies wavelets and obtain a reconstruction formula possessing multiresolution framework. Further, we demonstrate the usefulness of our radial wavelets in Tomography.
Wavelet and frames have become a widely used tool in mathematics, physics, and applied science during the last decade. This article gives an overview over some well known results about the continuous and discrete wavelet transforms and groups acting on $\mathbb{R}^n$. We also show how this action can give rise to wavelets, and in particular, MSF wavelets)in $L^2(\mathbb{R}^n)$.
In this paper, we study a newly developed shearlet system on bounded domains which yields frames for $H^s(Ω)$ for some $s\in \mathbb{N}$, $Ω\subset \mathbb{R}^2$. We will derive approximation rates with respect to $H^s(Ω)$ norms for functions whose derivatives admit smooth jumps along curves and demonstrate superior rates to those provided by pure wavelet systems. These improved approximation rates demonstrate the potential of the novel shearlet system for the discretization of partial differential equations. Therefore, we implement an adaptive shearlet-based algorithm for the solution of an e…
Continuing our recent work we study polynomial masks of multivariate tight wavelet frames from two additional and complementary points of view: convexity and system theory. We consider such polynomial masks that are derived by means of the unitary extension principle from a single polynomial. We show that the set of such polynomials is convex and reveal its extremal points as polynomials that satisfy the quadrature mirror filter condition. Multiplicative structure of such polynomial sets allows us to improve the known upper bounds on the number of frame generators derived from box splines. In …
Let $d\geq 1$ be a natural number and $A_0$ be a $d\times d$ expansive integral matrix with determinant $\pm 2.$ Then $A_0$ is integrally similar to an integral matrix $A$ with certain additional properties. A finite solution to the system of equations associated with the matrix $A$ will result in an iterated sequence $\{Ψ^k χ_{[0,1)^d}\}$ that converges to a function $φ_A$ in $L^2(\R^d)$-norm. With this (scaling) function $φ_A,$ we will construct the Parseval's wavelet function $ψ$ with compact support associated with matrix $A_0.$
National University of Singapore（新加坡国立大学）；Academy of Mathematics and System Sciences, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
Spline wavelet tight frames of Ron-Shen have been used widely in frame based image analysis and restorations. However, except for the tight frame property and the approximation order of the truncated series, there are few other properties of this family of spline wavelet tight frames to be known. This paper is to present a few new properties of this family that will provide further understanding of it and, hopefully, give some indications why it is efficient in image analysis and restorations. In particular, we present a recurrence formula of computing generators of higher order spline wavelet…
In this paper, we introduce a new (constructive) characterization of tight wavelet frames on non-flat domains in both continuum setting, i.e. on manifolds, and discrete setting, i.e. on graphs; discuss how fast tight wavelet frame transforms can be computed and how they can be effectively used to process graph data. We start with defining the quasi-affine systems on a given manifold $\cM$ that is formed by generalized dilations and shifts of a finite collection of wavelet functions $Ψ:=\{ψ_j: 1\le j\le r\}\subset L_2(\R)$. We further require that $ψ_j$ is generated by some refinable function $…
In this paper we analyze two-dimensional wavelet reconstructions from Fourier samples within the framework of generalized sampling. For this, we consider both separable compactly-supported wavelets and boundary wavelets. We prove that the number of samples that must be acquired to ensure a stable and accurate reconstruction scales linearly with the number of reconstructing wavelet functions. We also provide numerical experiments that corroborate our theoretical results.
We provide explicit criteria for wavelets to give rise to frames and atomic decompositions in ${\rm L}^2(\mathbb{R}^d)$, but also in more general Banach function spaces. We consider wavelet systems that arise by translating and dilating the mother wavelet, with the dilations taken from a suitable subgroup of ${\rm GL}(\mathbb{R}^d)$, the so-called {\em dilation group}.The paper provides a unified approach that is applicable to a wide range of dilation groups, thus giving rise to new atomic decompositions for homogeneous Besov spaces in arbitrary dimensions, but also for other function spaces s…
We show that the spin wavelets on the sphere $S^2$, which were constructed by the first author and Marinucci in an earlier article, can be chosen so as to form a nearly tight frame. These spin wavelets can be applied to the study of the polarization of cosmic microwave background radiation. For certain of these frames, there is a positive $C$ such that each frame element at scale $a^j$ is supported in a geodesic ball of radius $Ca^j$.
A family of Parseval periodic wavelet frames is constructed. The family has optimal time-frequency localization (in the sense of the Breitenberger uncertainty constant) with respect to a family parameter and it has the best currently known localization with respect to a multiresolution analysis parameter.
In this paper we propose and study a family of continuous wavelets on general domains, and a corresponding stochastic discretization that we call Monte Carlo wavelets. First, using tools from the theory of reproducing kernel Hilbert spaces and associated integral operators, we define a family of continuous wavelets by spectral calculus. Then, we propose a stochastic discretization based on Monte Carlo estimates of integral operators. Using concentration of measure results, we establish the convergence of such a discretization and derive convergence rates under natural regularity assumptions.
We study singly-generated wavelet systems on $\Bbb R^2$ that are naturally associated with rank-one wavelet systems on the Heisenberg group $N$. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset $I$ of the dual of $N$, we give an explicit construction for Parseval frame wavelets that are associated with $I$. We say that $g\in L^2(I\times \Bbb R)$ is Gabor field over $I$ if, for a.e. $λ\in I$, $|λ|^{1/2} g(λ,\cdot)$ is the Gabor generator of a Parseval frame for $L^2(\Bbb R)$, and that $I$ is a Heisenberg wavelet set if ev…
In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $π(\G)ψ$, where $π$ is a unitary representation of a wavelet group and $\G$ is the abstract pseudo-lattice $\G$. We prove a condition in order that a Parseval frame $π(\G)ψ$ can be dilated to an orthonormal basis of the form $τ(\G)Ψ$ where $τ$ is a super-representation of $π$. For a subclass of groups that includes the case where the translation subgroup is Heisenberg, we show that this condition always holds, and we cite fam…
We introduce a construction of multiscale tight frames on general domains. The frame elements are obtained by spectral filtering of the integral operator associated with a reproducing kernel. Our construction extends classical wavelets as well as generalized wavelets on both continuous and discrete non-Euclidean structures such as Riemannian manifolds and weighted graphs. Moreover, it allows to study the relation between continuous and discrete frames in a random sampling regime, where discrete frames can be seen as Monte Carlo estimates of the continuous ones. Pairing spectral regularization …
Image restoration is one of the most important areas in imaging science. Mathematical tools have been widely used in image restoration, where wavelet frame based approach is one of the successful examples. In this paper, we introduce a generic wavelet frame based image restoration model, called the "general model", which includes most of the existing wavelet frame based models as special cases. Moreover, the general model also includes examples that are new to the literature. Motivated by our earlier studies [1-3], We provide an asymptotic analysis of the general model as image resolution goes…
Let G be a stratified Lie group and L be the sub-Laplacian on G. Let 0 \neq f\in S(R^+). We show that Lf(L)δ, the distribution kernel of the operator Lf(L), is an admissible function on G. We also show that, if ξf(ξ) satisfies Daubechies' criterion, then L f(L)δgenerates a frame for any sufficiently fine lattice subgroup of G.
Let $q\geq 2$ be an integer, and $\Bbb F_q^d$, $d\geq 1$, be the vector space over the cyclic space $\Bbb F_q$. The purpose of this paper is two-fold. First, we obtain sufficient conditions on $E \subset \Bbb F_q^d$ such that the inverse Fourier transform of $1_E$ generates a tight wavelet frame in $L^2(\Bbb F_q^d)$. We call these sets (tight) wavelet frame sets. The conditions are given in terms of multiplicative and translational tilings, which is analogous with Theorem 1.1 ([20]) by Wang in the setting of finite fields. In the second part of the paper, we exhibit a constructive method for o…
Motivated by potential applications in multiplexing and by recent results on Gabor analysis with Hermite windows due to Gröchenig and Lyubarskii, we investigate vector-valued wavelet transforms and vector-valued wavelet frames, which constitute special cases of super-wavelets, with a particular attention to the case when the analyzing wavelet vector is related to Fourier transforms of Laguerre functions. We construct an isometric isomorphism between $L^{2}(\mathbb{R}^{+},\mathbf{C}^{n})$ and poly-Bergman spaces, with a view to relate the sampling sequences in the poly-Bergman spaces to the wav…
Simon Fraser University（西蒙弗雷泽大学）；The University of Arizona（亚利桑那大学）
The theory of (tight) wavelet frames has been extensively studied in the past twenty years and they are currently widely used for image restoration and other image processing and analysis problems. The success of wavelet frame based models, including balanced approach and analysis based approach, is due to their capability of sparsely approximating piecewise smooth functions like images. Motivated by the balanced approach and analysis based approach, we shall propose a wavelet frame based $\ell_0$ minimization model, where the $\ell_0$ "norm" of the frame coefficients is penalized. We adapt th…
We consider the problem of designing spectral graph filters for the construction of dictionaries of atoms that can be used to efficiently represent signals residing on weighted graphs. While the filters used in previous spectral graph wavelet constructions are only adapted to the length of the spectrum, the filters proposed in this paper are adapted to the distribution of graph Laplacian eigenvalues, and therefore lead to atoms with better discriminatory power. Our approach is to first characterize a family of systems of uniformly translated kernels in the graph spectral domain that give rise …
