[論文レビュー] On the Complexity of Smooth Spline Surfaces from Quad Meshes

Jörg Peters, Jianhua Fan|ArXiv.org|Jun 5, 2009

Advanced Numerical Analysis Techniques参考文献 19被引用数 3

ひとこと要約

本稿は、任意の四角形メッシュから1つの双三次テンソル積Bスプラインパッチを1つの四角形に対して使用して、$G^1$-連続かつ$C^1$-滑らかなスプライン曲面を構築するための、結び目の複雑さのタイトな下界を確立する。境界線分が強制されないために、辺ごとに少なくとも2つの内部二重結び目が必須かつ十分であることを証明し、既知の構成の再解釈によりこの下界が鋭いことが確認され、幾何的設計分野における長年の未解決問題が解決される。

ABSTRACT

This paper derives strong relations that boundary curves of a smooth complex of patches have to obey when the patches are computed by local averaging. These relations restrict the choice of reparameterizations for geometric continuity. In particular, when one bicubic tensor-product B-spline patch is associated with each facet of a quadrilateral mesh with n-valent vertices and we do not want segments of the boundary curves forced to be linear, then the relations dictate the minimal number and multiplicity of knots: For general data, the tensor-product spline patches must have at least two internal double knots per edge to be able to model a G^1-conneced complex of C^1 splines. This lower bound on the complexity of any construction is proven to be sharp by suitably interpreting an existing surface construction. That is, we have a tight bound on the complexity of smoothing quad meshes with bicubic tensor-product B-spline patches.

研究の動機と目的

• 一般の四角形メッシュから双三次Bスプラインパッチを用いて局所的かつ滑らかな曲面を構築するための、最小の結び目複雑さを特定すること。
• 辺あたり2つ未満の内部二重結び目で、線形境界線分を強制せずに$G^1$-連続かつ$C^1$-滑らかな曲面が得られるかどうかという未解決問題を解消すること。
• 四角形メッシュからの$C^1$スプラインの局所的構成に適用可能な、結び目の多重度および分布に関する鋭い下界を確立すること。
• 既存の構成を再解釈することで、辺あたり正確に2つの内部二重結び目を持つスプラインとして再構成し、この下界が達成可能であることを証明すること。
• 根本的な制限を特定することで、今後の研究の理論的基盤を提供すること。

提案手法

• パラメータ化に依存しない定式化を用いて、共通の点に接する$n$個のパッチにおける一般の$G^1$連続性制約を導出する。
• これらの制約を次数がバイ-3の多項式テンソル積Bスプラインに適用し、パッチ境界に沿うスケーリング関数$\alpha^k(u)$の振る舞いに注目する。
• 関数$\alpha^k(u)$が至る所で線形であってはならないという要件を用いて、結び目の多重度および分布の下界を導出する。
• 境界曲線のパラメトリック連続性を分析し、非線形な$\alpha^k$セグメントが端セグメントから分離されるために二重結び目が必要であることを示す。
• 既存の構成[FP08]を、辺あたり正確に2つの内部二重結び目を持つスプライン曲面として再解釈し、下界が達成可能であることを証明する。
• 一般化されたスプライン構成にこれらの結果を適用し、対称的な入力条件下で非一様重み$\beta^k, \gamma^k$を用いた$G^1$遷移への拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 一般の四角形メッシュから双三次テンソル積Bスプラインパッチを用いて$G^1$-連続かつ$C^1$-滑らかな曲面を構築する場合、線形境界線分を強制せずに必要な最小の結び目の数および多重度は何か？
• RQ2 辺あたり2つの内部二重結び目未満の局所的構成で、任意のメッシュの次数に対して滑らかな$G^1$-接続曲面が得られるか？
• RQ3 このような構成における結び目の複雑さの下界は鋭いか、それともより高次またはより複雑なパッチ配置が必要か？
• RQ4 本稿で導出された一般の滑らかなパッチ接合における$G^1$連続性制約は、バイ-3スプラインパッチのパラメトリゼーションおよび結び目の分布にどのように制約を加えるか？
• RQ5 既存の構成を、最小の結び目複雑さを持つスプライン曲面として再解釈することで、理論的下界の鋭さを確認できるか？

主な発見

• 一般の四角形メッシュから$G^1$-連続かつ$C^1$-滑らかな曲面を構築するためには、双三次テンソル積Bスプラインパッチにおいて、辺あたり少なくとも2つの内部二重結び目が必要である。
• 辺あたり2つの内部二重結び目という下界は、[FP08]の構成を正確にこの結び目分布を持つスプラインとして再解釈することで、鋭いことが示された。
• [FP08]の構成は、各辺の中央セグメントでのみ二次関数$\alpha^k$を用いることで、高次のサドル形状の欠陥を回避している一方、端セグメントは線形を維持している。
• 本稿で導出された一般の$G^1$制約は、多項式スプラインに限らず、十分に滑らかなパッチワークに一般化可能であり、パッチの次数や多項式性とは無関係である。
• 本稿の結果は、[HBC08]のような1つの内部二重結び目のみを用いる構成が、一般の入力データでは制約（特に補題1）に違反するため、失敗することを示している。
• 対称的な次数または制限付き接続性（例：すべての奇数次数、またはX配置の接線）の特殊な場合では、結び目の数を減らした構成が可能であるが、これは一般則の例外に過ぎない。