[論文レビュー] Exact regularity of pseudo-splines

Michael S. Floater, Georg Muntingh|arXiv (Cornell University)|Sep 12, 2012

Advanced Numerical Analysis Techniques参考文献 10被引用数 9

ひとこと要約

本稿は、リウルの手法を精緻化し、対称な擬似スプラインおよび双対擬似スプライン・サブディビジョンスキームの正確なホーラー正則性を、単一の行列の固有値半径を用いて計算する。特に、マスクのフーリエ変換が厳密に正である場合、正則性の下界が最適であることを証明する。異なるスキーム間の正則性を比較する明確な不等式を確立し、ダブーシュ＝デスローレィエスキームの正則性がマスクサイズに従って増加すること、および原始的および双対的擬似スプラインがパラメータ m と ℓ に対して予測可能な正則性の傾向を示すことを示す。

ABSTRACT

In this paper we review and refine a technique of Rioul to determine the Hölder regularity of a large class of symmetric subdivision schemes from the spectral radius of a single matrix. These schemes include those of Dubuc and Deslauriers, their dual versions, and more generally all the pseudo-spline and dual pseudo-spline schemes. We also derive various comparisons between their regularities using the Fourier transform. In particular we show that the regularity of the Dubuc-Deslauriers family increases with the size of the mask.

研究の動機と目的

• 対称サブディビジョンスキームのホーラー正則性を特定するリウルの固有値半径に基づく手法を精緻化すること。
• マスクのフーリエ変換が厳密に正である場合に、正則性の下界が最適である条件を確立すること。
• フーリエ変換の比較を用いて、異なる擬似スプラインおよび双対的擬似スプラインスキームの正則性を比較する明確な不等式を導出すること。
• 低次の原始的および双対的擬似スプラインスキームの正則性を計算し、表形式で提示すること。
• ダブーシュ＝デスローレィエスキームの正則性がマスクサイズに従って増加することを示すこと。

提案手法

• サブディビジョンマスクのローレント多項式から導かれる単一の行列の固有値半径を用いて、ホーラー正則性を推定する手法を用いる。
• 減衰率 λ ≥ 1 の場合に対応するための還元手続きを適用し、標準的な減衰条件を超えた正則性解析を可能にする。
• 正則性解析には、a(z) = 2^{-r}(1+z)^{r+1}b(z) の因数分解を用い、b(z) は対称的で、非負のフーリエ変換を持つものとする。
• 異なるスキームのフーリエ変換同士の点ごとの比較を用い、補題5を介して正則性の不等式を導出する。
• 双対的擬似スプラインスキームへは、振幅係数を修正したフーリエ変換解析を適用することで、手法を拡張する。
• すべての擬似スプラインおよび双対的擬似スプラインスキームにおいて B > 0 を満たす条件のもとで、正則性の下界が最適であることを証明することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 単一の行列の固有値半径を用いて、対称的擬似スプラインスキームの正確なホーラー正則性を計算できるか？
• RQ2 リウルの正則性下界が最適となる条件は何か？
• RQ3 ダブーシュ＝デスローレィエスキームの正則性は、マスクサイズにどのように依存するか？
• RQ4 パラメータ m と ℓ に関して、原始的および双対的擬似スプラインスキームの正則性を結びつける明確な不等式は何か？
• RQ5 異なるスキーム間のフーリエ変換の比較から、それらの相対的正則性に関する厳密な境界を導出できるか？

主な発見

• ダブーシュ＝デスローレィエスキームの正則性は、マスクのフーリエ変換の点ごとの比較により、マスクサイズに従って増加することが示された。
• すべての擬似スプラインおよび双対的擬似スプラインスキームにおいて、マスクのフーリエ変換が厳密に正である場合、固有値半径から得られる正則性の下界は最適である。
• 原始的擬似スプラインスキームの正則性 γ_{m,ℓ} は、ℓ が増加するにつれて減少し、m が増加するにつれて増加する。そのとき、正確な対数の境界が与えられている。
• 双対的擬似スプラインスキームの正則性 ỹ_{m,ℓ} は、ℓ が増加するにつれて減少し、m が増加するにつれて増加する。それぞれ、log₂((m+ℓ+1/2)/ℓ) および log₂((4(m+1/2))/(m+ℓ+1/2)) を含む境界が与えられている。
• 双対的スキームの正則性 ỹ_{m,ℓ} は、γ_{m,ℓ} + log₂(2∏_{n=0}^{ℓ-1}(m+n)/(m+1/2+n)) で下界が抑えられ、上界は γ_{m,ℓ} + 1 である。ℓ = 0 のとき、積は 1 に等しい。
• 双対的スキームの正則性 ỹ_{m+1,ℓ} は、ỹ_{m,ℓ} + log₂(2∏_{n=0}^{ℓ-1}(m+1/2+n)/(m+1+n)) で下界が抑えられ、上界は ỹ_{m,ℓ} + 1 である。m による一貫した増加が示された。