Refinable maps in dimension theory

This paper studies properties of refinable maps and contains applications to dimension theory. It is proved that refinable maps between compact Hausdorff spaces preserve covering dimension exactly and do not raise small cohomological dimension with any coefficient group. The notion of a c-refinable map is introduced and is shown to play a comparable role in the setting of normal spaces. For example, c-refinable maps between normal spaces are shown to preserve covering dimension and S-weak infinite-dimensionality. These facts do not hold for refinable maps.     

Orthogonal polynomials for refinable linear functionals

A refinable linear functional is one that can be expressed as a convex combination and defined by a finite number of mask coefficients of certain stretched and shifted replicas of itself. The notion generalizes an integral weighted by a refinable function. The key to calculating a Gaussian quadrature formula for such a functional is to find the three-term recursion coefficients for the polynomials orthogonal with respect to that functional. We show how to obtain the recursion coefficients by using only the mask coefficients, and without the aid of modified moments. Our result implies the existence of the corresponding refinable functional whenever the mask coefficients are nonnegative, even when the same mask does not define a refinable function. The algorithm requires rational operations and, thus, can in principle deliver exact results. Numerical evidence suggests that it is also effective in floating-point arithmetic.

     

The limits of refinable functions

A function is refinable ( ) if it is in the closed span of . This set is not closed in , and we characterize its closure. A necessary and sufficient condition for a function to be refinable is presented without any information on the refinement mask. The Fourier transform of every vanishes on a set of positive measure. As an example, we show that all functions with Fourier transform supported in are the limits of refinable functions. The relation between a refinable function and its mask is studied, and nonuniqueness is proved. For inhomogeneous refinement equations we determine when a solution is refinable. This result is used to investigate refinable components of multiple refinable functions. Finally, we investigate fully refinable functions for which all translates (by any real number) are refinable.

     

Approximation properties of multivariate wavelets

Wavelets are generated from refinable functions by using multiresolution analysis. In this paper we investigate the approximation properties of multivariate refinable functions. We give a characterization for the approximation order provided by a refinable function in terms of the order of the sum rules satisfied by the refinement mask. We connect the approximation properties of a refinable function with the spectral properties of the corresponding subdivision and transition operators. Finally, we demonstrate that a refinable function in provides approximation order .

     

Iterations of linear maps over finite fields

We study the dynamics of the evolution of Ducci sequences and the Martin-Odlyzko-Wolfram cellular automaton by iterating their respective linear maps on . After a review of an algebraic characterization of cycle lengths, we deduce the relationship between the maximal cycle lengths of these two maps from a simple connection between them. For n odd, we establish a conjugacy relationship that provides a more direct identification of their dynamics. We give an alternate, geometric proof of the maximal cycle length relationship, based on this conjugacy and a symmetry property. We show that the cyclic dynamics of both maps in dimension 2n can be deduced from their periodic behavior in dimension n. This link is generalized to a larger class of maps. With restrictions shared by both maps, we obtain a formula for the number of vectors in dimension 2n belonging to a cycle of length q that expresses this number in terms of the analogous values in dimension n.     

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.     

On divergence-free wavelets

This paper is concerned with the construction of compactly supported divergence-free vector wavelets. Our construction is based on a large class of refinable functions which generate multivariate multiresolution analyses which includes, in particular, the non tensor product case.For this purpose, we develop a certain relationship between partial derivatives of refinable functions and wavelets with modifications of the coefficients in their refinement equation. In addition, we demonstrate that the wavelets we construct form a Riesz-basis for the space of divergence-free vector fields.Work supported by the Deutsche Forschungsgemeinschaft in the Graduiertenkolleg Analyse und Konstruktion in der Mathematik at the RWTH Aachen.     

An approach to the regularity for stable-stationary harmonic maps

In this paper we investigate the regularity of stable-stationary harmonic maps. By assuming that the target manifolds do not carry any stable harmonic , we obtain some compactness results and regularity theorems. In particular, we prove that the Hausdorff dimension of the singular set of these maps cannot exceed , and the dimension estimate is optimal.

     

The Katětov dimension of proximity spaces

An analogue of Kattov's theorem on the equality between the dimension of a Tychonov space and the analytic dimension of its ring of bounded real-valued continuous maps is established for proximity spaces and proximally continuous maps by an internal method of proof. A new kind of filter, called proximally prime filter, arises naturally as a tool in this theory.     

Band-limited Wavelets and Framelets in Low Dimensions

In this paper, we study the problem of constructing non-separable band-limited wavelet tight frames, Riesz wavelets and orthonormal wavelets in $\mathbb {R}^{2}$ and $\mathbb {R}^{3}$ . We first construct a class of non-separable band-limited refinable functions in low-dimensional Euclidean spaces by using univariate Meyer’s refinable functions along multiple directions defined by classical box-spline direction matrices. These non-separable band-limited definable functions are then used to construct non-separable band-limited wavelet tight frames via the unitary and oblique extension principles. However, these refinable functions cannot be used for constructing Riesz wavelets and orthonormal wavelets in low dimensions as they are not stable. Another construction scheme is then developed to construct stable refinable functions in low dimensions by using a special class of direction matrices. The resulting stable refinable functions allow us to construct a class of MRA-based non-separable band-limited Riesz wavelets and particularly band-limited orthonormal wavelets in low dimensions with small frequency support.     

Quincunx fundamental refinable functions and quincunx biorthogonal wavelets

We analyze the approximation and smoothness properties of quincunx fundamental refinable functions. In particular, we provide a general way for the construction of quincunx interpolatory refinement masks associated with the quincunx lattice in . Their corresponding quincunx fundamental refinable functions attain the optimal approximation order and smoothness order. In addition, these examples are minimally supported with symmetry. For two special families of such quincunx interpolatory masks, we prove that their symbols are nonnegative. Finally, a general way of constructing quincunx biorthogonal wavelets is presented. Several examples of quincunx interpolatory masks and quincunx biorthogonal wavelets are explicitly computed.

     

On a class of weak nonhomogeneous affine bi-frames for reducing subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>)

For refinable function-based affine bi-frames, nonhomogeneous ones admit fast algorithms and have extension principles as homogeneous ones. But all extension principles are based on some restrictions on refinable functions. So it is natural to ask what are expected from general refinable functions. In this paper, we introduce the notion of weak nonhomogeneous affine bi-frame (WNABF). Under the setting of reducing subspaces of L ²(R ^d ), we characterize WNABFs and obtain a mixed oblique extension principle for WNABFs based on general refinable functions.     

A Class of Orthogonal Refinable Functions and Wavelets

We give a construction, for any n 2, of a space S of spline functions of degree n – 1 with simple knots in (1/4)Z which is generated by a triple of refinable, orthogonal functions with compact support. Indeed, the result holds more generally by replacing the B-spline of degree n – 1 with simple knots at the integers by any continuous refinable function whose mask is a Hurwitz polynomial of degree n. A simple construction is also given for the corresponding wavelets.     

Refinable and monotone maps revisited

Generalizing results by J. Ford, J. W. Rogers, Jr. and H. Kato we prove that (1) a map f from a G-like continuum onto a graph G is refinable iff f is monotone; (2) a graph G is an arc or a simple closed curve iff every G-like continuum that contains no nonboundary indecomposable subcontinuum admits a monotone map onto G.We prove that if bonding maps in the inverse sequence of compact spaces are refinable then the projections of the inverse limit onto factor spaces are refinable. We use this fact to show that refinable maps do not preserve completely regular or totally regular continua.     

Extension Principles for Dual Multiwavelet Frames of $$L_2(\mathbb {R}^s)$$ constructed from Multirefinable Generators

In this work we prove that any pair of homogeneous dual multiwavelet frames of \(L_2(\mathbb {R}^s)\) constructed from a pair of refinable function vectors gives rise to a pair of nonhomogeneous dual multiwavelet frames and vice versa. We also prove that the Mixed Oblique Extension Principle characterizes dual multiwavelet frames. Our results extend recent characterizations of affine dual frames derived from scalar refinable functions obtained in [3].     

Isometric embeddings of real projective spaces into Euclidean spaces

This paper studies isometric embeddings of RPn via non-degenerate symmetric bilinear maps. The main result shows the infimum dimension of target Euclidean spaces among these constructions for RPn is . Next, we construct Veronese maps by induction, which realize the infimum. Finally, we give a simple proof of Rigidity Theorem of Veronese maps.     

Local reconstruction for sampling in shift-invariant spaces

The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we will consider the local reconstruction problem for signals in a shift-invariant space. In particular, we consider finding sampling sets X such that signals in a shift-invariant space can be locally reconstructed from their samples on X. For a locally finite-dimensional shift-invariant space V we show that signals in V can be locally reconstructed from its samples on any sampling set with sufficiently large density. For a shift-invariant space V(? ₁, ..., ? _N ) generated by finitely many compactly supported functions ? ₁, ..., ? _N , we characterize all periodic nonuniform sampling sets X such that signals in that shift-invariant space V(? ₁, ..., ? _N ) can be locally reconstructed from the samples taken from X. For a refinable shift-invariant space V(?) generated by a compactly supported refinable function ?, we prove that for almost all \((x_0, x_1)\in [0,1]^2\), any signal in V(?) can be locally reconstructed from its samples from \(\{x_0, x_1\}+{\mathbb Z}\) with oversampling rate 2. The proofs of our results on the local sampling and reconstruction in the refinable shift-invariant space V(?) depend heavily on the linear independent shifts of a refinable function on measurable sets with positive Lebesgue measure and the almost ripplet property for a refinable function, which are new and interesting by themselves.     

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})$.     

Refinable bivariate quartic -splines for multi-level data representation and surface display

In this paper, a second-order Hermite basis of the space of -quartic splines on the six-directional mesh is constructed and the refinable mask of the basis functions is derived. In addition, the extra parameters of this basis are modified to extend the Hermite interpolating property at the integer lattices by including Lagrange interpolation at the half integers as well. We also formulate a compactly supported super function in terms of the basis functions to facilitate the construction of quasi-interpolants to achieve the highest (i.e., fifth) order of approximation in an efficient way. Due to the small (minimum) support of the basis functions, the refinable mask immediately yields (up to) four-point matrix-valued coefficient stencils of a vector subdivision scheme for efficient display of -quartic spline surfaces. Finally, this vector subdivision approach is further modified to reduce the size of the coefficient stencils to two-point templates while maintaining the second-order Hermite interpolating property.