Construction of Multivariate Tight Framelet Packets Associated with Dilation Matrix

In this paper, we present a method for constructing multivariate tight framelet packets associated with an arbitrary dilation matrix using unitary extension principles.We also prove how to construct various tight frames for L2(Rd) by replac-ing some mother framelets.     

Convergence analysis of tight framelet approach for missing data recovery

How to recover missing data from an incomplete samples is a fundamental problem in mathematics and it has wide range of applications in image analysis and processing. Although many existing methods, e.g. various data smoothing methods and PDE approaches, are available in the literature, there is always a need to find new methods leading to the best solution according to various cost functionals. In this paper, we propose an iterative algorithm based on tight framelets for image recovery from incomplete observed data. The algorithm is motivated from our framelet algorithm used in high-resolution image reconstruction and it exploits the redundance in tight framelet systems. We prove the convergence of the algorithm and also give its convergence factor. Furthermore, we derive the minimization properties of the algorithm and explore the roles of the redundancy of tight framelet systems. As an illustration of the effectiveness of the algorithm, we give an application of it in impulse noise removal.     

Existence theorem and minimal cardinality of UEP framelets and MEP bi-framelets

Based on multiresolution analysis (MRA) structures combined with the unitary extension principle (UEP), many frame wavelets were constructed, which are called UEP framelets. The aim of this letter is to derive general properties of UEP framelets based on the spectrum of the center space of the underlying MRA structures. We first give the existence theorem, that is, we give a necessary and sufficient condition that an MRA structure can derive UEP framelets. Second, we present a split trick that each mother function can be split into several functions such that the set consisting of these functions is still a UEP framelet. Third, we determine the minimal cardinality of UEP framelets. Finally, we directly construct UEP framelets with the minimal cardinality. Based on a pair of multiresolution analysis (MRA) structures, when their spectra intersect, we can always construct a pair of dual frame wavelets using mixed extension principle (MEP). This pair of dual frame wavelets is called a pair of MEP bi-framelets. We also give the split trick and find out the minimal cardinality of such MEP bi-framelets.     

Symmetric Framelets

We study tight wavelet frames associated with symmetric compactly supported refinable functions, which are obtained with the unitary extension principle . We give a criterion for the existence of two symmetric or antisymmetric compactly supported framelets. All refinable masks of length up to 6 satisfying this criterion are found.     

Some Smooth Compactly Supported Tight Wavelet Frames with Vanishing Moments

Let \(A \in \mathbb {R}^{d \times d}\), \(d \ge 1\) be a dilation matrix with integer entries and \(| \det A|=2\). We construct several families of compactly supported Parseval framelets associated to A having any desired number of vanishing moments. The first family has a single generator and its construction is based on refinable functions associated to Daubechies low pass filters and a theorem of Bownik. For the construction of the second family we adapt methods employed by Chui and He and Petukhov for dyadic dilations to any dilation matrix A. The third family of Parseval framelets has the additional property that we can find members of that family having any desired degree of regularity. The number of generators is \(2^d+d\) and its construction involves some compactly supported refinable functions, the Oblique Extension Principle and a slight generalization of a theorem of Lai and Stöckler. For the particular case \(d=2\) and based on the previous construction, we present two families of compactly supported Parseval framelets with any desired number of vanishing moments and degree of regularity. None of these framelet families have been obtained by means of tensor products of lower-dimensional functions. One of the families has only two generators, whereas the other family has only three generators. Some of the generators associated with these constructions are even and therefore symmetric. All have even absolute values.     

A class of tight framelet packets

This paper obtains a class of tight framelet packets on L ²(ℝ ^d ) from the extension principles and constructs the relationships between the basic framelet packets and the associated filters.     

Pseudo-splines,wavelets and framelets

The first type of pseudo-splines were introduced in [I. Daubechies, B. Han, A. Ron, Z. Shen, Framelets: MRA-based constructions of wavelet frames, Appl. Comput. Harmon. Anal. 14 (1) (2003) 1–46; I. Selesnick, Smooth wavelet tight frames with zero moments, Appl. Comput. Harmon. Anal. 10 (2) (2001) 163–181] to construct tight framelets with desired approximation orders via the unitary extension principle of [A. Ron, Z. Shen, Affine systems in $L_2({\mathbb{R}}^d)$: The analysis of the analysis operator, J. Funct. Anal. 148 (2) (1997) 408–447]. In the spirit of the first type of pseudo-splines, we introduce here a new type (the second type) of pseudo-splines to construct symmetric or antisymmetric tight framelets with desired approximation orders. Pseudo-splines provide a rich family of refinable functions. B-splines are one of the special classes of pseudo-splines; orthogonal refinable functions (whose shifts form an orthonormal system given in [I. Daubechies, Orthonormal bases of compactly supported wavelets, Comm. Pure Appl. Math. 41 (1988) 909–996]) are another class of pseudo-splines; and so are the interpolatory refinable functions (which are the Lagrange interpolatory functions at $\mathbb{Z}$ and were first discussed in [S. Dubuc, Interpolation through an iterative scheme, J. Math. Anal. Appl. 114 (1986) 185–204]). The other pseudo-splines with various orders fill in the gaps between the B-splines and orthogonal refinable functions for the first type and between B-splines and interpolatory refinable functions for the second type. This gives a wide range of choices of refinable functions that meets various demands for balancing the approximation power, the length of the support, and the regularity in applications. This paper will give a regularity analysis of pseudo-splines of the both types and provide various constructions of wavelets and framelets. It is easy to see that the regularity of the first type of pseudo-splines is between B-spline and orthogonal refinable function of the same order. However, there is no precise regularity estimate for pseudo-splines in general. In this paper, an optimal estimate of the decay of the Fourier transform of the pseudo-splines is given. The regularity of pseudo-splines can then be deduced and hence, the regularity of the corresponding wavelets and framelets. The asymptotical regularity analysis, as the order of the pseudo-splines goes to infinity, is also provided. Furthermore, we show that in all tight frame systems constructed from pseudo-splines by methods provided both in [I. Daubechies, B. Han, A. Ron, Z. Shen, Framelets: MRA-based constructions of wavelet frames, Appl. Comput. Harmon. Anal. 14 (1) (2003) 1–46] and this paper, there is one tight framelet from the generating set of the tight frame system whose dilations and shifts already form a Riesz basis for $L_2(\mathbb{R})$.     

Construction and reconstruction of tight framelets and wavelets via matrix mask functions

The paper develops construction procedures for tight framelets and wavelets using matrix mask functions in the setting of a generalized multiresolution analysis (GMRA). We show the existence of a scaling vector of a GMRA such that its first component exhausts the spectrum of the core space near the origin. The corresponding low-pass matrix mask has an especially advantageous form enabling an effective reconstruction procedure of the original scaling vector. We also prove a generalization of the Unitary Extension Principle for an infinite number of generators. This results in the construction scheme for tight framelets using low-pass and high-pass matrix masks generalizing the classical MRA constructions. We prove that our scheme is flexible enough to reconstruct all possible orthonormal wavelets. As an illustration we exhibit a pathwise connected class of non-MSF non-MRA wavelets sharing the same wavelet dimension function.     

具有整数值伸缩矩阵的三维紧框架小波的存在性

引进了三维紧框架小波的概念,它是由框架多分辨分析中子空间X_1中的若干个三维函数Γ~1(y),Γ~2(y),…,Γ~n(y)构成的.研究了对应于三维尺度函数的三维紧框架小波的存在性.运用时频分析方法、滤波器理论、算子理论,给出这n个三维函数生成小波紧框架的充分条件,得到了由一个尺度函数Ψ(y)构造三维紧框架小波的显式公式.     

Parameterizations of Masks for Tight Affine Frames with Two Symmetric/Antisymmetric Generators

Parameterizations of FIR orthogonal systems are of fundamental importance to the design of filters with desired properties. By constructing paraunitary matrices, one can construct tight affine frames. In this paper we discuss parameterizations of paraunitary matrices which generate tight affine frames with two symmetric/antisymmetric generators (framelets). Based on the parameterizations, several symmetric/antisymmetric framelets are constructed.     

A new proof of some polynomial inequalities related to pseudo-splines

Pseudo-splines of type I were introduced in [I. Daubechies, B. Han, A. Ron, Z. Shen, Framelets: MRA-based constructions of wavelet frames, Appl. Comput. Harmon. Anal. 14 (2003) 1–46] and [Selenick, Smooth wavelet tight frames with zero moments, Appl. Comput. Harmon. Anal. 10 (2000) 163–181] and type II were introduced in [B. Dong, Z. Shen, Pseudo-splines, wavelets and framelets, Appl. Comput. Harmon. Anal. 22 (2007) 78–104]. Both types of pseudo-splines provide a rich family of refinable functions with B-splines, interpolatory refinable functions and refinable functions with orthonormal shifts as special examples. In [B. Dong, Z. Shen, Pseudo-splines, wavelets and framelets, Appl. Comput. Harmon. Anal. 22 (2007) 78–104], Dong and Shen gave a regularity analysis of pseudo-splines of both types. The key to regularity analysis is Proposition 3.2 in [B. Dong, Z. Shen, Pseudo-splines, wavelets and framelets, Appl. Comput. Harmon. Anal. 22 (2007) 78–104], which also appeared in [A. Cohen, J.P. Conze, Régularité des bases d'ondelettes et mesures ergodiques, Rev. Mat. Iberoamericana 8 (1992) 351–365] and [I. Daubechies, Ten Lectures on Wavelets, CBMS-NSF Series in Applied Mathematics, SIAM, Philadelphia, 1992] for the case l=N−1. In this note, we will give a new insight into this proposition.     

The Method of Virtual Components in the Multivariate Setting

We describe the so-called method of virtual components for tight wavelet framelets to increase their approximation order and vanishing moments in the multivariate setting. Two examples of the virtual components for tight wavelet frames based on bivariate box splines on three or four direction mesh are given. As a byproduct, a new construction of tight wavelet frames based on box splines under the quincunx dilation matrix is presented.     

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²( ).     

Fréchet Embeddings of Negative Type Metrics

We show that every n-point metric of negative type (in particular, every n-point subset of L ₁) admits a Fréchet embedding into Euclidean space with distortion , a result which is tight up to the O(log log n) factor, even for Euclidean metrics. This strengthens our recent work on the Euclidean distortion of metrics of negative into Euclidean space. S. Arora supported by David and Lucile Packard Fellowship and NSF grant CCR-0205594. J.R. Lee supported by NSF grant CCR-0121555, NSF 0514993, NSF 0528414 and an NSF Graduate Research Fellowship.     

Quasi-interpolation by thin-plate splines on a square

Quasi-interpolation is one method of generating approximations from a space of translates of dilates of a single function ψ. This method has been applied widely to approximation by radial basis functions. However, such analysis has most often been performed in the setting of an infinite uniform grid of centers. In this paper we develop general error bounds for approximation by quasiinterpolation on ann-cube. The quasi-interpolant analyzed involves a finite number, growing ash ^?n , of translates of dilates of the function ψ, and a bounded number of edge functions. The centers of the translates of dilates of ψ form a uniformly spaced grid within the cube. These error bounds are then applied to approximation by thin-plate splines on a square. The result is an O(ω(f, [-1,1]²,h)) error bound for approximation by thin-plate splines supplemented with eight arctan functions.     

Inverse semigroups and combinatorial C*-algebras

We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term tight. These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the tight spectrum, which is in turn shown to be precisely the closure of the space of ultra-filters, once filters are identified with semicharacters in a natural way. These representations are moreover shown to correspond to representations of the C*-algebra of the groupoid of germs for the action of S on its tight spectrum. We then treat the case of certain inverse semigroups constructed from semigroupoids, generalizing and inspired by inverse semigroups constructed from ordinary and higher rank graphs. The tight representations of this inverse semigroup are in one-to-one correspondence with representations of the semigroupoid, and consequently the semigroupoid algebra is given a groupoid model. The groupoid which arises from this construction is shown to be the same as the boundary path groupoid of Farthing, Muhly and Yeend, at least in the singly aligned, sourceless case. *Partially supported by CNPq.     

Compactly Supported Tight Frames Associated with Refinable Functions

It is well known that in applied and computational mathematics, cardinal B-splines play an important role in geometric modeling (in computer-aided geometric design), statistical data representation (or modeling), solution of differential equations (in numerical analysis), and so forth. More recently, in the development of wavelet analysis, cardinal B-splines also serve as a canonical example of scaling functions that generate multiresolution analyses of L²(−∞,∞). However, although cardinal B-splines have compact support, their corresponding orthonormal wavelets (of Battle and Lemarie) have infinite duration. To preserve such properties as self-duality while requiring compact support, the notion of tight frames is probably the only replacement of that of orthonormal wavelets. In this paper, we study compactly supported tight frames Ψ={ψ¹,…,ψ^N} for L²(−∞,∞) that correspond to some refinable functions with compact support, give a precise existence criterion of Ψ in terms of an inequality condition on the Laurent polynomial symbols of the refinable functions, show that this condition is not always satisfied (implying the nonexistence of tight frames via the matrix extension approach), and give a constructive proof that when Ψ does exist, two functions with compact support are sufficient to constitute Ψ, while three guarantee symmetry/anti-symmetry, when the given refinable function is symmetric.     

Traces in Complex Hyperbolic Triangle Groups

We present several formulas for the traces of elements in complex hyperbolic triangle groups generated by complex reflections. The space of such groups of fixed signature is of real dimension one. We parameterise this space by a real invariant α of triangles in the complex hyperbolic plane. The main result of the paper is a formula, which expresses the trace of an element of the group as a Laurent polynomial in e^{i α} with coefficients independent of α and computable using a certain combinatorial winding number. We also give a recursion formula for these Laurent polynomials and generalise the trace formulas for the groups generated by complex μ-reflections. We apply these formulas to prove some discreteness and some non-discreteness results for complex hyperbolic triangle groups.Research partially supported by NSF grant DMS-0072607 and by SFB 611 of the DFG.     

Tight representations of semilattices and inverse semigroups

By a Boolean inverse semigroup we mean an inverse semigroup whose semilattice of idempotents is a Boolean algebra. We study representations of a given inverse semigroup in a Boolean inverse semigroup which are tight in a certain well defined technical sense. These representations are supposed to preserve as much as possible any trace of Booleanness present in the semilattice of idempotents of  . After observing that the Vagner–Preston representation is not tight, we exhibit a canonical tight representation for any inverse semigroup with zero, called the regular tight representation. We then tackle the question as to whether this representation is faithful, but it turns out that the answer is often negative. The lack of faithfulness is however completely understood as long as we restrict to continuous inverse semigroups, a class generalizing the E ^*-unitaries. Partially supported by CNPq.