[论文解读] 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$-有理性，并将平面有理参数化重新提升至空间，该方法生成一条与输入曲线同次、渐近结构相同的有理空间曲线，且两者之间具有有限的Hausdorff距离。

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.

研究动机与目标

• 解决由有理曲线扰动产生的非有理实空间代数曲线的参数化挑战。
• 在精确参数化因扰动而不可行时，提供一种实用的近似有理参数化方法。
• 确保输出的有理曲线在Hausdorff距离下与输入曲线接近，且几何偏差有界。
• 在输入与输出曲线之间保持关键几何不变量，如次数和渐近结构（无穷远处的行为）。
• 为求解Hausdorff距离下最接近有理曲线这一更难问题，提供计算上可行的第一步。

提出的方法

• 将输入空间曲线 $\mathcal{X}$ 投影到平面上（例如通过 $\pi_z$）以获得平面曲线 $\pi_z(\mathcal{X})$。
• 通过计算其 $\epsilon$-亏格来检查投影曲线是否为 $\epsilon$-有理；若为零，则继续进行参数化。
• 应用现有算法（来自 [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$-点）。
• 通过拓扑与渐近分析，保证输入与输出曲线实部之间的Hausdorff距离为有限值。

实验结果

研究问题

• RQ1 能否对从有理曲线扰动而来的非有理空间曲线，在给定容差 $\epsilon$ 内实现有效的近似参数化？
• RQ2 在何种条件下，空间曲线的平面投影为 $\epsilon$-有理，从而实现近似参数化？
• RQ3 如何将平面 $\epsilon$-有理曲线的有理参数化提升为保持几何不变量的空间有理曲线？
• RQ4 在Hausdorff距离下，原始曲线与其近似有理参数化之间可提供何种接近性保证？
• RQ5 原始曲线的渐近结构（无穷远处的行为）在近似参数化中可在多大程度上被保留？

主要发现

• 该算法成功计算出一条与输入曲线在有限Hausdorff距离内的有理空间曲线参数化。
• 输出的有理曲线与输入曲线具有相同的次数，从而保持了其代数复杂度。
• 输入曲线的渐近结构——由其无穷远点定义——在输出曲线中得以保留，即 $\mathcal{E}_1^\infty = \mathcal{E}_2^\infty$。
• 通过在无穷远处和紧致区域中控制距离，证明了输入与输出曲线实部之间的Hausdorff距离始终为有限值。
• 该方法确保输入与输出曲线的实渐近线平行且距离有界，从而贡献于Hausdorff距离的有限性。
• 使用中国剩余定理技术可实现平面有理参数化向空间的可靠且精确的提升，从而保持有理性和次数。