Employing a matrix mask, a vector subdivision scheme is a fast iterative averaging algorithm to compute refinable vector functions for wavelet methods in numerical PDEs and to produce smooth curves in CAGD. In sharp contrast to the well-studied scalar subdivision schemes, vector subdivision schemes are much less well understood, e.g., Lagrange and (generalized) Hermite subdivision schemes are the only studied vector subdivision schemes in the literature. Because many wavelets used in numerical PDEs are derived from refinable vector functions whose matrix masks are not from Hermite subdivision schemes, it is necessary to introduce and study vector subdivision schemes for any general matrix masks in order to compute wavelets and refinable vector functions efficiently. For a general matrix mask, we show that there is only one meaningful way of defining a vector subdivision scheme. Motivated by vector cascade algorithms and recent study on Hermite subdivision schemes, we shall define a vector subdivision scheme for any arbitrary matrix mask and then we prove that the convergence of the newly defined vector subdivision scheme is equivalent to the convergence of its associated vector cascade algorithm. We also study convergence rates of vector subdivision schemes. The results of this paper not only bridge the gaps and establish intrinsic links between vector subdivision schemes and vector cascade algorithms but also strengthen and generalize current known results on Lagrange and (generalized) Hermite subdivision schemes. Several examples are provided to illustrate the results in this paper on various types of vector subdivision schemes with convergence rates.
This paper provides a strategy to analyse the convergence of nonlinear analogues of linear subdivision processes on the sphere. In contrast to previous work, we study the Riemannian analogue of a linear scheme on a Riemannian manifold with positive sectional curvature. Our result can be applied to all general subdivision schemes without any sign restriction on the mask.
This paper discusses the generation of multivariate $C^\infty$ functions with compact small supports by subdivision schemes. Following the construction of such a univariate function, called \emph{Up-function}, by a non-stationary scheme based on masks of {spline subdivision schemes} of growing degrees, we term the multivariate functions we generate Up-like functions. We generate them by non-stationary schemes based on masks of box-splines of growing supports. To analyze the convergence and smoothness of these non-stationary schemes, we develop new tools which apply to a wider class of schemes …
A new class of univariate stationary interpolatory subdivision schemes of dual type is presented. As opposed to classical primal interpolatory schemes, these new schemes have masks with an even number of elements and are not step-wise interpolants. A complete algebraic characterization, which covers every arity, is given in terms of identities of trigonometric polynomials associated to the schemes. This characterization is based on a necessary condition for refinable functions to have prescribed values at the nodes of a uniform lattice, as a consequence of the Poisson summation formula. A stra…
A Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration
MPI for Informatics, Saarland Informatics Campus（德国马克斯·普朗克计算机科学研究所）；MPC-VCC and Saarbrücken Graduate School of Computer Science（萨尔布吕肯计算机科学研究学院）；Institute of Mathematical Sciences Chennai（印度马德拉斯数学科学研究所）；Courant Institute of Mathematical Sciences, New York University（纽约大学库朗数学科学研究所）
