Abstract:Standard interpolatory subdivision schemes and their underlying interpolating refinable functions are of interest in CAGD, numerical PDEs, and approximation theory. Generalizing these notions, we introduce and study $n_s$-step interpolatory $M$-subdivision schemes and their interpolating $M$-refinable functions with $n_s\in \mathbb{N} \cup\{\infty\}$ and a dilation factor $M\in \mathbb{N}\backslash\{1\}$. We completely characterize $\mathscr{C}^m$-convergence and smoothness of $n_s$-step interpolatory subdivision schemes and their interpolating $M$-refinable functions in terms of their masks. Inspired by $n_s$-step interpolatory stationary subdivision schemes, we further introduce the notion of $r$-mask quasi-stationary subdivision schemes, and then we characterize their $\mathscr{C}^m$-convergence and smoothness properties using only their masks. Moreover, combining $n_s$-step interpolatory subdivision schemes with $r$-mask quasi-stationary subdivision schemes, we can obtain $r n_s$-step interpolatory subdivision schemes. Examples and construction procedures of convergent $n_s$-step interpolatory $M$-subdivision schemes are provided to illustrate our results with dilation factors $M=2,3,4$. In addition, for the dyadic dilation $M=2$ and $r=2,3$, using $r$ masks with only two-ring stencils, we provide examples of $\mathscr{C}^r$-convergent $r$-step interpolatory $r$-mask quasi-stationary dyadic subdivision schemes.

What problem does this paper attempt to address?

The paper primarily focuses on the study and promotion of interpolatory subdivision schemes and their related refinable functions. Specifically, the authors introduce the concept of $n_s$-step interpolatory $M$-subdivision schemes and thoroughly characterize their convergence and smoothness. Additionally, they introduce $r$-mask quasi-stationary subdivision schemes, further expanding the scope of the research. ### Main Objectives 1. **Promote Traditional Concepts**: Extend the traditional concepts of interpolatory subdivision schemes and interpolatory refinable functions to $n_s$-step interpolatory $M$-subdivision schemes and the corresponding interpolatory $M$-refinable functions. 2. **Characterization of Convergence and Smoothness**: Fully characterize the $C^m$ convergence and smoothness of $n_s$-step interpolatory subdivision schemes and their interpolatory $M$-refinable functions. 3. **Introduce New Concepts**: Propose $r$-mask quasi-stationary subdivision schemes and provide their $C^m$ convergence characterization. ### Key Contributions - For specific parameters $n_s \in \mathbb{N} \cup \{\infty\}$ and real number $s_a$, $n_s$-step interpolatory subdivision schemes are defined, where $s_a$ is associated with the interpolation center of the subdivision scheme. - Use the mask of the subdivision scheme to characterize the $C^m$ convergence and smoothness of these subdivision schemes. - By introducing $r$-mask quasi-stationary subdivision schemes, a new approach is provided for constructing subdivision schemes with high smoothness, interpolatory properties, and small support masks. ### Methodology - Define $n_s$-step interpolatory subdivision schemes and provide their interpolation conditions. - Use the properties of the mask to characterize the convergence and smoothness of the subdivision schemes. - Propose $r$-mask quasi-stationary subdivision schemes and provide the conditions for their $C^m$ convergence. - Elaborate on the mathematical theoretical foundation of these concepts through a series of theorems (such as Theorem 1 and 2). ### Examples - The paper provides specific examples to illustrate how to construct subdivision schemes that meet given conditions. - Demonstrates how to obtain different types of interpolatory subdivision schemes for different dilation factors $M$ (e.g., $M=2,3,4$). - Specifically, for the case of $M=2$, it shows how to construct $C^r$ convergent $r$-step interpolatory $r$-mask quasi-stationary dyadic subdivision schemes using only two-ring templates. ### Applications - These subdivision schemes are used in computer-aided geometric design (CAGD) for the development of fast algorithms. - Used in numerical partial differential equations and image processing to construct waveform analysis tools. In summary, by introducing new concepts and methods of subdivision schemes, this paper aims to address the limitations of traditional interpolatory subdivision schemes in practical applications and provide researchers in related fields with new tools and techniques.

Interpolating Refinable Functions and $n_s$-step Interpolatory Subdivision Schemes

Subdivisions with Infinitely Supported Mask

Vector subdivision schemes in ( L p (ℝ s )) r (1⩽ p ⩽∞) spaces

Vector Subdivision Schemes in (l_p(r~5))~r(1≤p≤∞) Spaces

Vector subdivision schemes in (Lp(Rs))r(1 ≤ p ≤ ∞) spaces

Quasi-stationary Subdivision Schemes in Arbitrary Dimensions

Vector Refinement Equations with Infinitely Supported Masks

Convergence rates of cascade algorithms associated with nonhomogeneous refinement equations

Analysis and Convergence of Hermite Subdivision Schemes

Characterization of Smoothness of Multivariate Refinable Functions and Convergence of Cascade Algorithms of Nonhomogeneous Refinement Equations

Multivariate Refinement Equations and Convergence of Cascade Algorithms in L P (0 < P < 1) Spaces

Convergence Rates Of Vector Cascade Algorithms In L-P

Surface Interpolation Scheme by Distance Blending over Convex Sets

Surface Interpolation of Meshes by Geometric Subdivision

Regularity of refinable functions with exponentially decaying masks

Smoothness of multivariate refinable functions with infinitely supported masks

Convergence rates of cascade algorithms with infinitely supported masks

Refinable Functions with Exponential Decay: An Approach via Cascade Algorithms

Multivariate Generalized Hermite Subdivision Schemes

Vector Subdivision Schemes for Arbitrary Matrix Masks

Some Sufficient Conditions for Convergent Multivariate Subdivision Schemes with Nonnegative Finite Masks