[論文レビュー] Approximate Parametrization of Space Algebraic Curves

Sonia L. Rueda, Juana Sendra+1 more|arXiv (Cornell University)|Jul 8, 2011

Advanced Numerical Analysis Techniques参考文献 14被引用数 4

ひとこと要約

本稿では、与えられた許容誤差 $\epsilon > 0$ 内で非有理な実空間代数的曲線を近似的にパラメータ表示するためのアルゴリズムを提示する。曲線を平面に射影し、$\epsilon$-有理性を確認した後、平面の有理パラメータ表示を再び空間に戻すことで、入力曲線と同一の次数および漸近的構造を持つ有理空間曲線が得られる。両者間のハウスドルフ距離は有限である。

ABSTRACT

Given a non-rational real space curve and a tolerance $ε>0$, we present an algorithm to approximately parametrize the curve. The algorithm checks whether a planar projection of the space curve is $ε$-rational and, in the affirmative case, generates a planar parametrization that is lifted to an space parametrization. This output rational space curve is of the same degree as the input curve, both have the same structure at infinity, and the Hausdorff distance between them is always finite.

研究の動機と目的

• 有理曲線の摂動として生じる非有理な実空間代数的曲線のパラメータ表示の課題に取り組む。
• 正確なパラメータ表示が摂動のため不可能な場合に、実用的で近似的な有理パラメータ表示を提供する。
• 出力された有理曲線が入力曲線とハウスドルフ距離の意味で近接しており、幾何的ずれが有界であることを保証する。
• 入力曲線と出力曲線の間で次数や漸近的構造（無限遠での挙動）といった重要な幾何的不変量を保存する。
• ハウスドルフ距離の意味で最も近い有理曲線を見つけるというより難しい問題に対する計算可能な最初のステップを提供する。

提案手法

• 入力空間曲線 $\mathcal{X}$ を平面に射影する（例：$\pi_z$ を用いて）。これにより平面曲線 $\pi_z(\mathcal{X})$ を得る。
• その射影された曲線が $\epsilon$-有理であるかどうかを確認する。$\epsilon$- genus を計算し、それがゼロであれば、パラメータ表示に進む。
• 既存のアルゴリズム（[PRSS] より）を適用して、$\epsilon$-有理平面曲線の有理パラメータ表示 $\mathcal{Q}(t) = \left(\frac{p_1(t)}{q(t)}, \frac{p_2(t)}{q(t)}\right)$ を計算する。
• 中国剰余定理の技法を用いて、平面の有理パラメータ表示を空間の有理パラメータ表示 $\mathcal{P}(t) = \left(\frac{p_1(t)}{q(t)}, \frac{p_2(t)}{q(t)}, \frac{p_3(t)}{q(t)}\right)$ に上昇させる。
• 上昇された空間曲線 $\overline{\mathcal{X}}$ が、元の曲線 $\mathcal{X}$ と同じ次数および漸近的構造（すなわち、同じ $\infty$-点）を持つことを保証する。
• トポロジー的および漸近的解析により、入力曲線と出力曲線の実部間のハウスドルフ距離が有限であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有理曲線からの摂動を受ける非有理空間曲線は、与えられた許容誤差 $\epsilon$ 内で効果的に近似的にパラメータ表示可能か？
• RQ2 空間曲線の平面射影が何条件下で $\epsilon$-有理となるか？ これにより近似的なパラメータ表示が可能になるか？
• RQ3 平面の $\epsilon$-有理曲線の有理パラメータ表示を、幾何的不変量を保存しながら空間の有理曲線に上昇させることは可能か？
• RQ4 入力曲線とその近似的な有理パラメータ表示との間の近接性（ハウスドルフ距離の意味で）に何の保証が得られるか？
• RQ5 元の曲線の漸近的構造（無限遠での挙動）は、近似的なパラメータ表示においてどの程度保存可能か？

主な発見

• アルゴリズムは、入力曲線と有限なハウスドルフ距離を保つ空間曲線の有理パラメータ表示を効果的に計算できる。
• 出力された有理曲線は、入力曲線と同じ次数を有しており、代数的複雑性が保存されている。
• 入力曲線の漸近的構造（無限遠での点によって定義される）は、出力曲線にも保存されており、$\mathcal{E}_1^\infty = \mathcal{E}_2^\infty$ が成り立つ。
• 入力曲線と出力曲線の実部間のハウスドルフ距離は、常に有限である。これは、無限遠付近とコンact領域における距離の有界性を示すことで証明された。
• 入力曲線と出力曲線の実漸近線は、互いに平行であり、距離が有界であるため、ハウスドルフ距離の有限性に寄与している。
• 中国剰余定理の技法の使用により、平面の有理パラメータ表示を空間に信頼性高く正確に上昇でき、有理性と次数が保持される。