[論文レビュー] Injectivity of 2D Toric Bézier Patches

Frank Sottile, Chun-Gang Zhu|arXiv (Cornell University)|Jun 15, 2011

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

ひとこと要約

本稿は、正の重みにかかわらず、すべての2次元トーリックBézierパッチの単射性を保証する制御点に関する幾何的条件を確立する。この条件——制御点の弱適合性——は、写像に自己交差を生じさせないことを保証し、先行研究が内部での単射性のみを保証していたのを改善し、頂点が異なる点に写像されることを追加要件として含む。

ABSTRACT

Rational Bézier functions are widely used as mapping functions in surface reparameterization, finite element analysis, image warping and morphing. The injectivity (one-to-one property) of a mapping function is typically necessary for these applications. Toric Bézier patches are generalizations of classical patches (triangular, tensor product) which are defined on the convex hull of a set of integer lattice points. We give a geometric condition on the control points that we show is equivalent to the injectivity of every 2D toric Bézier patch with those control points for all possible choices of weights. This condition refines that of Craciun, et al., which only implied injectivity on the interior of a patch.

研究の動機と目的

• ドメインの内部でのみ単射性を保証する既存のトーリックBézierパッチの単射性基準に生じるギャップを解消すること。
• すべての正の重みに対して、境界および頂点を含む全領域で単射性を保証する制御点に関する条件を確立すること。
• Craciunら（2010年）の幾何的条件を、頂点が異なる制御点に写像されることを追加することで改善すること。
• 任意の正の重み下での2次元トーリックBézierパッチの単射性を完全に特徴付けること。
• 弱適合性（三重の行列式による検証）が、すべての重みで等価に単射性を保証することを示すこと。

提案手法

• 有限な格子点集合 𝒜 ⊂ ℤ² とその凸包 Δₐ の辺不等式から導かれるトーリックベルンシュタイン多項式 βₐ(x) を用いて、トーリックBézierパッチを定義する。
• 重み wₐβₐ(x) による制御点 f(a) の有理結合として写像 F_w(x) を構築し、Δₐ 上で定義され連続であることを保証する。
• 弱適合性の概念を導入：𝒜 内の任意の三重の点に対して、対応する制御点が正の向きの三角形を形成する（正の行列式）。
• Craciun ら（2010年）の結果を拡張し、弱適合性が Δₐ の内部での単射性を保証することを証明する。
• 半空間と射影に関する幾何的議論を用いて、弱適合性および頂点の異なる写像が、境界および頂点での単射性を保証することを示す。
• 背理法を用いて、領域内に非単射なペア (x,y) が存在しないことを証明し、それらが弱適合性または頂点の相異なる写像の条件を破ることを示す。

実験結果

リサーチクエスチョン

• RQ1 制御点にどのような幾何的条件を課すと、すべての正の重みに対して2次元トーリックBézierパッチが単射になるか？
• RQ2 Craciun ら（2010年）の結果が内部に限られていた単射性を、境界および頂点まで拡張するにはどうすればよいか？
• RQ3 弱適合性条件を、すべての重みで完全な単射性と同等にするために、どのような追加仮定が必要か？
• RQ4 トーリックBézierパッチの単射性を、制御点配置に基づく純粋な幾何的特徴付けで記述できるか？
• RQ5 弱適合性は、制御ネットの三角形分割によって誘導される区分線形写像とどのように関係するか？

主な発見

• 本稿は、𝒜 内のすべての三重の点に対して、対応する制御点が正の行列式をもつ——つまり、弱適合性——であるならば、すべての正の重みに対して2次元トーリックBézierパッチの単射性が保証されることを確立した。
• 頂点が異なる制御点に写像されることという追加条件を組み合わせると、この条件は単射性と完全に同値であることが示された。
• 境界および頂点での単射性は、辺不等式によって定義される半空間の幾何的構造と、補題 III.7 で用いられた射影議論によって保証される。
• F_w の任意の辺 δ への制限は、f が弱適合性を満たす限り、ℝ への直交射影と定理 III.2 の適用により単射である。
• 証明により、非単射ペア (x,y) は弱適合性条件下では存在しえないことが示され、それらは凸包および半空間の幾何的制約に反する。
• 弱適合性の検証の計算複雑度は O(|𝒜|³) であり、特に三角形分割された制御ネットから出発する場合には実用的である。