Highly Symmetric Multiple Bi-Frames for Curve and Surface Multiresolution Processing

Wavelets and wavelet frames are important and useful mathematical tools in numerous applications, such as signal and image processing, and numerical analysis. Recently, the theory of wavelet frames plays an essential role in signal processing, image processing, sampling theory, and harmonic analysis. However, multiwavelets and multiple frames are more flexible and have more freedom in their construction which can provide more desired properties than the scalar case, such as short compact support, orthogonality, high approximation order, and symmetry. These properties are useful in several applications, such as curve and surface noise-removing as studied in this dissertation. Thus, the study of multiwavelets and multiple frames construction has more advantages for many applications. Recently, the construction of highly symmetric bi-frames for curve and surface multiresolution processing has been investigated. The 6-fold symmetric bi-frames, which lead to highly symmetric analysis and synthesis bi-frame algorithms, have been introduced. Moreover, these multiple bi-frame algorithms play an important role on curve and surface multiresolution processing. This dissertation is an extension of the study of construction of univariate biorthogonal wavelet frames (bi-frames for short) or dual wavelet frames with each framelet being symmetric in the scalar case. We will expand the study of biorthogonal wavelets and bi-frames construction from the scalar case to the vector case to construct biorthogonal multiwavelets and multiple bi-frames in one-dimension. In addition, we will extend the study of highly symmetric bi-frames for triangle surface multiresolution processing from the scalar case to the vector case. More precisely, the objective of this research is to construct highly symmetric biorthogonal multiwavelets and multiple bi-frames in one and two dimensions for curve and surface multiresolution processing. It runs in parallel with the scalar case. We mainly present the methods of constructing biorthogonal multiwavelets and multiple bi-frames in both dimensions by using the idea of lifting scheme. On the whole, we discuss several topics include a brief introduction and discussion of multiwavelets theory, multiresolution analysis, scalar wavelet frames, multiple frames, and the lifting scheme. Then, we present and discuss some results of one-dimensional biorthogonal multiwavelets and multiple bi-frames for curve multiresolution processing with uniform symmetry: type I and type II along with biorthogonality, sum rule orders, vanishing moments, and uniform symmetry for both types. In addition, we present and discuss some results of two-dimensional biorthogonal multiwavelets and multiple bi-frames and the multiresolution algorithms for surface multiresolution processing. Finally, we show experimental results on curve and surface noise-removing by applying our multiple bi-frame algorithms

Adaptive transient solution of nonuniform multiconductor transmission lines using wavelets

Abstract—This paper presents a highly adaptive algorithm for the transient simulation of nonuniform interconnects loaded with arbitrary nonlinear and dynamic terminations. The discretization of the governing equations is obtained through a weak formula-tion using biorthogonal wavelet bases as trial and test functions. It is shown how the multiresolution properties of wavelets lead to very sparse approximations of the voltages and currents in typical transient analyzes. A simple yet effective time–space adaptive al-gorithm capable of selecting the minimal number of unknowns at each time iteration is described. Numerical results show the high degree of adaptivity of the proposed scheme. Index Terms—Electromagnetic (EM) transient analysis, multi-conductor transmission lines (TLs), wavelet transforms. I

Almost diagonal matrices and Besov-type spaces based on wavelet expansions

This paper is concerned with problems in the context of the theoretical foundation of adaptive (wavelet) algorithms for the numerical treatment of operator equations. It is well-known that the analysis of such schemes naturally leads to function spaces of Besov type. But, especially when dealing with equations on non-smooth manifolds, the definition of these spaces is not straightforward. Nevertheless, motivated by applications, recently Besov-type spaces $B^\alpha_{\Psi,q}(L_p(\Gamma))$ on certain two-dimensional, patchwise smooth surfaces were defined and employed successfully. In the present paper, we extend this definition (based on wavelet expansions) to a quite general class of $d$-dimensional manifolds and investigate some analytical properties (such as, e.g., embeddings and best $n$-term approximation rates) of the resulting quasi-Banach spaces. In particular, we prove that different prominent constructions of biorthogonal wavelet systems $\Psi$ on domains or manifolds $\Gamma$ which admit a decomposition into smooth patches actually generate the same Besov-type function spaces $B^\alpha_{\Psi,q}(L_p(\Gamma))$, provided that their univariate ingredients possess a sufficiently large order of cancellation and regularity (compared to the smoothness parameter $\alpha$ of the space). For this purpose, a theory of almost diagonal matrices on related sequence spaces $b^\alpha_{p,q}(\nabla)$ of Besov type is developed. Keywords: Besov spaces, wavelets, localization, sequence spaces, adaptive methods, non-linear approximation, manifolds, domain decomposition.Comment: 38 pages, 2 figure

The Multilevel Structures of NURBs and NURBlets on Intervals

This dissertation is concerned with the problem of constructing biorthogonal wavelets based on non-uniform rational cubic B-Splines on intervals. We call non-uniform rational B-Splines ``NURBs , and such biorthogonal wavelets ``NURBlets . Constructing NURBlets is useful in designing and representing an arbitrary shape of an object in the industry, especially when exactness of the shape is critical such as the shape of an aircraft. As we know presently most popular wavelet models in the industry are approximated at boundaries. In this dissertation a new model is presented that is well suited for generating arbitrary shapes in the industry with mathematical exactness throughout intervals; it fulfills interpolation at boundaries as well

Extreme Value Analysis of Empirical Frame Coefficients and Implications for Denoising by Soft-Thresholding

Denoising by frame thresholding is one of the most basic and efficient methods for recovering a discrete signal or image from data that are corrupted by additive Gaussian white noise. The basic idea is to select a frame of analyzing elements that separates the data in few large coefficients due to the signal and many small coefficients mainly due to the noise \epsilon_n. Removing all data coefficients being in magnitude below a certain threshold yields a reconstruction of the original signal. In order to properly balance the amount of noise to be removed and the relevant signal features to be kept, a precise understanding of the statistical properties of thresholding is important. For that purpose we derive the asymptotic distribution of max_{\omega \in \Omega_n} || for a wide class of redundant frames (\phi_\omega^n: \omega \in \Omega_n}. Based on our theoretical results we give a rationale for universal extreme value thresholding techniques yielding asymptotically sharp confidence regions and smoothness estimates corresponding to prescribed significance levels. The results cover many frames used in imaging and signal recovery applications, such as redundant wavelet systems, curvelet frames, or unions of bases. We show that `generically' a standard Gumbel law results as it is known from the case of orthonormal wavelet bases. However, for specific highly redundant frames other limiting laws may occur. We indeed verify that the translation invariant wavelet transform shows a different asymptotic behaviour.Comment: [Content: 39 pages, 4 figures] Note that in this version 4 we have slightely changed the title of the paper and we have rewritten parts of the introduction. Except for corrected typos the other parts of the paper are the same as the original versions

Orthonormal bases of regular wavelets in spaces of homogeneous type

Adapting the recently developed randomized dyadic structures, we introduce the notion of spline function in geometrically doubling quasi-metric spaces. Such functions have interpolation and reproducing properties as the linear splines in Euclidean spaces. They also have H\"older regularity. This is used to build an orthonormal basis of H\"older-continuous wavelets with exponential decay in any space of homogeneous type. As in the classical theory, wavelet bases provide a universal Calder\'on reproducing formula to study and develop function space theory and singular integrals. We discuss the examples of $L^p$ spaces, BMO and apply this to a proof of the T(1) theorem. As no extra condition {(like 'reverse doubling', 'small boundary' of balls, etc.)} on the space of homogeneous type is required, our results extend a long line of works on the subject.Comment: We have made improvements to section 2 following the referees suggestions. In particular, it now contains full proof of formerly Theorem 2.7 instead of sending back to earlier works, which makes the construction of splines self-contained. One reference adde

Coupling of Brownian motions in Banach spaces

Consider a separable Banach space $\mathcal{W}$ supporting a non-trivial Gaussian measure $\mu$. The following is an immediate consequence of the theory of Gaussian measure on Banach spaces: there exist (almost surely) successful couplings of two $\mathcal{W}$-valued Brownian motions $\mathbf{B}$ and $\widetilde{\mathbf{B}}$ begun at starting points $\mathbf{B}(0)$ and $\widetilde{\mathbf{B}}(0)$ if and only if the difference $\mathbf{B}(0)-\widetilde{\mathbf{B}}(0)$ of their initial positions belongs to the Cameron-Martin space $\mathcal{H}_{\mu}$ of $\mathcal{W}$ corresponding to $\mu$. For more general starting points, can there be a "coupling at time $\infty$", such that almost surely $\|\mathbf{B}(t)-\widetilde{\mathbf{B}}(t)\|_{\mathcal{W}} \to 0$ as $t\to\infty$? Such couplings exist if there exists a Schauder basis of $\mathcal{W}$ which is also a $\mathcal{H}_{\mu}$-orthonormal basis of $\mathcal{H}_{\mu}$. We propose (and discuss some partial answers to) the question, to what extent can one express the probabilistic Banach space property "Brownian coupling at time $\infty$ is always possible" purely in terms of Banach space geometry?Comment: 12 page

Multiresolution and Explicit Methods for Vector Field Analysis and Visualization

We first report on our current progress in the area of explicit methods for tangent curve computation. The basic idea of this method is to decompose the domain into a collection of triangles (or tetrahedra) and assume linear variation of the vector field over each cell. With this assumption, the equations which define a tangent curve become a system of linear, constant coefficient ODE's which can be solved explicitly. There are five different representation of the solution depending on the eigenvalues of the Jacobian. The analysis of these five cases is somewhat similar to the phase plane analysis often associate with critical point classification within the context of topological methods, but it is not exactly the same. There are some critical differences. Moving from one cell to the next as a tangent curve is tracked, requires the computation of the exit point which is an intersection of the solution of the constant coefficient ODE and the edge of a triangle. There are two possible approaches to this root computation problem. We can express the tangent curve into parametric form and substitute into an implicit form for the edge or we can express the edge in parametric form and substitute in an implicit form of the tangent curve. Normally the solution of a system of ODE's is given in parametric form and so the first approach is the most accessible and straightforward. The second approach requires the 'implicitization' of these parametric curves. The implicitization of parametric curves can often be rather difficult, but in this case we have been successful and have been able to develop algorithms and subsequent computer programs for both approaches. We will give these details along with some comparisons in a forthcoming research paper on this topic