Abstract

We investigate the implementation of approximating subdivision schemes on noisy or irregular initial control data. Presence of noise in the initial data generates oscillatory curves by subdivision schemes. To reduce or completely eliminate these oscillations, we combine subdivision schemes with other noise removal schemes such as variational regularization method. This setup will allow us to produce the limit curve with less oscillations and still stay as close as possible to the initial data points.

1. Introduction

Subdivision has been a very important tool for computer-aided geometric design, image reconstruction, and computer animation. Subdivision schemes can be divided into two categories, interpolating subdivision schemes and approximating subdivision schemes. In interpolating subdivision schemes, more data points are added between the initial or existing data points at each level of subdivision. However, in approximating subdivision schemes existing points are replaced by their approximations and new points are inserted at each level of refinement. As a result we see that approximating schemes generate smoother curve as compared to interpolating subdivision schemes.

A general form [1] of univariate 𝑛-ary subdivision scheme 𝑆 which maps set of data points π‘“π‘˜={π‘“π‘˜π‘–}π‘–βˆˆπ‘ into the next refinement level of data points π‘“π‘˜+1={π‘“π‘–π‘˜+1}π‘–βˆˆπ‘ is defined asπ‘“π‘˜+1𝑛𝑖+𝑠=ξ“π‘—βˆˆπ‘§π›½π‘›π‘—+π‘ π‘“π‘˜π‘–βˆ’π‘—,𝑠=0,1,2,…,π‘›βˆ’1,(1.1) where the set of coefficients {π›½π‘–βˆ£π‘–βˆˆπ‘} is called the mask and 𝑛 representsthe arity of the subdivision scheme. The previous equation can also be expressed as π‘“π‘˜+1=π‘†π‘“π‘˜. A necessary condition for the uniform convergence [2] of 𝑛-ary subdivision scheme isξ“π‘—βˆˆπ‘π›½π‘›π‘—+𝑠=1,𝑠=0,1,2,…,π‘›βˆ’1.(1.2) During the last several years, many subdivision schemes have been developed, and analyses regarding their smoothness and error bounds have been performed [3–7]. It is noted that if initial control data is dense and corrupted with noise then subdivision schemes will generate oscillatory curves and oscillations in the curve depend on the noise level present in the initial data points. There is not much work done on this problem, and we try to address this issue in this paper. In Section 2, we revisit some of the odd point odd-ary approximating subdivision schemes. In Section 3, we measure the performance of subdivision schemes on noisy initial data. Overview of total variational regularization is given in Section 4, and RS strategy and its performance are discussed in Section 5.

2. Odd Point Odd-Ary Subdivision Schemes

We have recently introduced a general procedure of constructing a (2π‘›βˆ’1)-point (2𝑏+1)-ary parametric approximating subdivision schemes for any integers 𝑛β‰₯2, 𝑏β‰₯1. These schemes have order of smoothness up to 𝐢2π‘›βˆ’2+⌊(π‘›βˆ’1)/π‘βŒ‹, where ⌊(π‘›βˆ’1)/π‘βŒ‹ is the largest integer less than (π‘›βˆ’1)/𝑏. Brief description of construction procedure is given below.

Consider a family of polynomials𝑃2𝑏+12π‘›βˆ’1,𝑑(𝑧)=1+𝑧+𝑧2+β‹―+𝑧2𝑏𝑑(2𝑏+1)(2π‘›βˆ’1)βˆ’2π‘π‘‘βˆ’1𝑖=0𝑒𝑖𝑧𝑖,(2.1) where 𝑑=1,2,3,…,(2π‘›βˆ’1)+⌈(π‘›βˆ’1)/π‘βŒ‰and⌈(π‘›βˆ’1)/π‘βŒ‰ is the largest integer less than or equal to (π‘›βˆ’1)/𝑏𝑒(2𝑏+1)π‘›βˆ’π‘(𝑑+1)βˆ’1βˆ’π‘–=𝑒(2𝑏+1)π‘›βˆ’π‘(𝑑+1)βˆ’1+𝑖𝑒,𝑖=1,2,…,(2𝑏+1)π‘›βˆ’π‘(𝑑+1)βˆ’1,(2𝑏+1)π‘›βˆ’π‘(𝑑+1)βˆ’1=1(2𝑏+1)π‘‘βˆ’1βˆ’2(2𝑏+1)π‘›βˆ’π‘(𝑑+1)βˆ’2𝑖=0𝑒𝑖.(2.2) From (2.1), we get (2π‘›βˆ’1)+⌈(π‘›βˆ’1)/π‘βŒ‰ different polynomials 𝑃2𝑏+12π‘›βˆ’1,𝑑(𝑧) one for each 𝑑. Let 𝛼2𝑏+12π‘›βˆ’1,𝑑 denote the sets of coefficients of polynomials 𝑃2𝑏+12π‘›βˆ’1,𝑑(𝑧), then these set of coefficients will represent the masks of (2π‘›βˆ’1)-point (2𝑏+1)-ary approximating schemes.

For 𝑏=1, 𝑛=2, and 𝑑=3,4 in (2.1), we have the following masks for 3-point ternary subdivision schemes:𝛼33,3=𝑒0,𝑒0+19,𝑒0+13,23βˆ’2𝑒0,79βˆ’2𝑒0,23βˆ’2𝑒0,𝑒0+13,𝑒0+19,𝑒0,𝛼33,4=127{1,4,10,16,19,16,10,4,1}.(2.3) Similarly, for 𝑏=1, 𝑛=3, and 𝑑=6,7 in (2.1), we have the following masks for 5-point ternary subdivision schemes: 𝛼35,6=𝑒0,4𝑒0+135,10𝑒0+635,14𝑒0+2135,11𝑒0+5035,9035βˆ’4𝑒0,12635βˆ’21𝑒0,14135βˆ’30𝑒0,12635βˆ’21𝑒0,9035βˆ’4𝑒0,11𝑒0+5035,14𝑒0+2135,10𝑒0+635,4𝑒0+135,𝑒0ξ‚Ό,𝛼35,7=136{1,7,28,77,161,266,357,393,357,266,161,77,28,7,1}.(2.4) Masks for 3-point and 5-point quinary schemes can be obtained by a similar approach. Given below are two of the these masks one for 3-point and one for 5-point quinary scheme: 𝛼53,3=𝑒0,𝑒0+125,𝑒0+325,𝑒0+625,𝑒0+10,251525βˆ’2𝑒0,1825βˆ’2𝑒0,1925βˆ’2𝑒0,1825βˆ’2𝑒0,1525βˆ’2𝑒0,𝑒0+1025,𝑒0+625,𝑒0+325,𝑒0+125,𝑒0,𝛼55,6=155{1,6,21,56,126,246,426,666,951,1246,1506,1686,1751,1686,1506,1246,951,666,426,246,126,56,21,6,1}.(2.5) It is to be noted that all the masks given above satisfy the necessary condition for the uniform convergence (1.2) of the subdivision schemes.

3. Performance over Irregular Initial Polygon

Subdivision schemes have been successful in finding smooth curves and surfaces from the regular or noise free data points. However, they do not have the same performance if the initial data or control points are dense and corrupted with noise. Subdivision schemes on irregular or noisy control points will generate oscillatory curves. Figure 1 explains this phenomenon.

In order to measure the performance of subdivision schemes on irregular initial data points, we are defining mathematical error function as follows. Let 𝑓 represent the initial data point and 𝑔 represent the data obtained after applying subdivision transform 𝑆, that is, 𝑔=𝑆𝑓. We define an error function π‘’πœ† asπ‘’πœ†=(1βˆ’πœ†)β€–π‘“βˆ’π‘”β€–22+πœ†π‘‡π‘‰(𝑔)(3.1) for some parameter 0<πœ†<1 and βˆ‘π‘‡π‘‰(𝑔)=π‘›βˆ’1𝑖=1|𝑔(𝑖+1)βˆ’π‘”(𝑖)|, for π‘”βˆˆπ‘…π‘›.

Second term in (3.1) represents a measure of smoothness and the first term is a least square error term. Since 𝑔=𝑆𝑓, both 𝑓 and 𝑔 are vectors of different lengths. For example, if 𝑆 is ternary subdivision scheme and π‘“βˆˆπ‘…π‘› then π‘”βˆˆπ‘…3𝑛 and we have β€–π‘“βˆ’π‘”β€–22=βˆ‘π‘›π‘–=1|𝑓(𝑖)βˆ’π‘”(3π‘–βˆ’1)|2 and similarly, if 𝑆 is quinary then β€–π‘“βˆ’π‘”β€–22=βˆ‘π‘›π‘–=1|𝑓(𝑖)βˆ’π‘”(5π‘–βˆ’2)|2. Least square error term for interpolating subdivision schemes is zero because of the retention of initial data in the new data.

In practice, subdivision schemes with small number of points and smaller arity are preferred, therefore, we limit our analysis to 3-point and 5-point ternary and quinary subdivision schemes. We present comparison of Ternary and Quinary approximating subdivision schemes on their performance on the initial noisy control points. With πœ†=1/2 in (3.1), we have computed error function for ternary and quinary schemes at different subdivision levels to the irregular initial data shown in Figure 1. Our results are shown in Figure 2. It is evident that 5-point schemes have better performance than 3-point subdivision schemes on noisy initial data.

4. Regularization Method

In this section, we revisit variational regularization method which is widely used for noise removal in image processing and other applications. Suppose we are given a noisy signal 𝑓 and we are interested in finding its noise-free approximation. The most successful and commonly used method to solve this problem is total variation regularization approach [8–10] and is given byπ‘”πœƒ=argminπ‘”βˆˆπ‘…π‘›ξ‚†12β€–π‘“βˆ’π‘”β€–22+πœƒπ‘‡π‘‰(𝑔)(4.1) for some parameter πœƒ>0, where π‘”πœƒ is the approximation of 𝑓 and subject to the penalty function 𝑇𝑉(𝑔). Here 𝑇𝑉(𝑔) approximates the total variation of the function 𝑔 and it is defined in the previous section.

First term in (4.1) describes the closeness of regularized solutions with 𝑓 and the second term penalizes those solutions which have high oscillations. For our computations, we used Newton’s method to find π‘”πœƒ and 𝐿-curve method to select parameter πœƒ. For more details about implementation and parameter selection processes, we may refer to [9]. This method is extensively explored and implemented for noise removal, image restoration, and other applications [8–10].

Figure 3(a) shows a noisy signal and its approximation by regularization method with πœƒ=.1. Noise in the approximated signal by regularization method is almost gone, but resulting curve is not smooth at certain locations where it appears to have big jumps. On the other hand curves obtained by subdivision schemes as shown in Figure 1 are smoother but effects of noise can be seen in the form of oscillations.

5. RS Strategy and Numerical Results

We have noted that subdivision schemes produce oscillatory curves for the noisy initial data and regularization approach lacks smoothness at certain points. Therefore, we have combined these two approaches into the following two-step strategy and it is called regularization + subdivision or RS strategy.

Let 𝑓 be the given initial noisy polygon.Regularization Step: Find approximation π‘”πœƒ of 𝑓 as given in (4.1);Subdivision Step: Apply subdivision transform 𝑆 to π‘”πœƒ, that is find π‘†π‘”πœƒ.

We choose two examples to explain the results by RS strategy: one example with open irregular initial control polygon shown in Figure 3(b) and second example of closed irregular initial control polygon shown in Figure 4(b). In our implementation, we used πœƒ=.1 in the regularization step and 5-point ternary subdivision schemes at 1st level in subdivision step. Improvement by RS strategy can be easily seen by comparing Figures 4(a) and 4(b) and similarly Figures 1(b) and 3(b). Subdivision step of RS strategy is repeated for the curve obtained in Figure 3(a), with 5-point ternary and 5-point quinary subdivision schemes. Results are shown in Figure 5.

We have done performance analysis of RS strategy by using the error function defined by (3.1) and compared it with ternary and quinary subdivision schemes. Results obtained at different levels of subdivision (for the initial noisy data shown in Figure 1) are shown in Figure 6. Error function for RS strategy gives the same value for all levels of subdivision. It means that for RS strategy only one level of subdivision is enough and its performance is much better than subdivision schemes.

6. Conclusion

In this paper, we presented a criterion for performance analysis of subdivision schemes over noisy initial control polygon and showed that 5-point ternary and quinary schemes performed better than 3-point ternary and quinary subdivision schemes. Further we defined RS strategy by combining total variational regularization with subdivision schemes. Our results showed that RS strategy outperformed subdivision schemes for noisy and dense initial data points.