[论文解读] Improved Complexity Bounds for Computing with Planar Algebraic Curves.

Alexander Kobel, Michael Sagraloff|arXiv (Cornell University)|Jan 22, 2014

Polynomial and algebraic computation参考文献 37被引用 4

一句话总结

本论文提出了用于计算平面代数曲线的确定性算法，将计算隔离区域、分离形式、多项式在实解处的符号计算以及曲线拓扑的位复杂度界限提升至 $\tilde{O}(n^6 + n^5 \alpha)$。结果相较于以往的确定性界限改进了 $n^2$ 倍或更多，并缩小了与随机化前沿复杂度在拓扑计算方面的差距。

ABSTRACT

In this paper, we give improved bounds for the computational complexity of computing with planar algebraic curves. More specifically, for arbitrary coprime polynomials $f$, $g \in \mathbb{Z}[x,y]$ and an arbitrary polynomial $h \in \mathbb{Z}[x,y]$, each of total degree less than $n$ and with integer coefficients of absolute value less than $2^ au$, we show that each of the following problems can be solved in a deterministic way with a number of bit operations bounded by $ ilde{O}(n^6+n^5 au)$, where we ignore polylogarithmic factors in $n$ and $ au$: (1) The computation of isolating regions in $\mathbb{C}^2$ for all complex solutions of the system $f = g = 0$, (2) the computation of a separating form for the solutions of $f = g = 0$, (3) the computation of the sign of $h$ at all real valued solutions of $f = g = 0$, and (4) the computation of the topology of the planar algebraic curve $\mathcal{C}$ defined as the real valued vanishing set of the polynomial $f$. Our bound improves upon the best currently known bounds for the first three problems by a factor of $n^2$ or more and closes the gap to the state-of-the-art randomized complexity for the last problem.

研究动机与目标

• 改进由互质多项式定义的平面代数曲线的基本运算的确定性计算复杂度界限。
• 弥合计算实代数曲线拓扑时确定性与随机化复杂度界限之间的差距。
• 为复解的隔离、分离形式的计算、实解处多项式符号的计算以及曲线拓扑的构建提供高效且位级别的复杂度保证。
• 实现更紧致的复杂度界限，使关键问题的复杂度相较于以往的确定性方法提升 $n^2$ 倍或更多。
• 统一并强化涉及平面曲线的计算代数几何中多个核心问题的复杂度分析。

提出的方法

• 作者采用代数几何与符号计算中的先进技术，以界定二元多项式方程组求解的位复杂度。
• 他们设计了一种确定性算法，通过根分离与精度控制的区间算术，将 $f = g = 0$ 的所有复解隔离在 $\mathbb{C}^2$ 中的隔离区域内。
• 通过结式与 Gelfond 型界限计算分离形式，以确保解的唯一表示，从而实现高效比较与隔离。
• 对于 $h$ 在 $f = g = 0$ 的所有实解处的符号计算，该方法结合根隔离与 Sturm 序列或类似符号计算技术进行求值。
• 通过基于临界点与投影的认证方法重建实曲线 $\mathcal{C} = \{f = 0\}$ 的拓扑，确保正确性与有界复杂度。
• 复杂度分析利用了系数增长与根分离的界限，最终得出位复杂度为 $\tilde{O}(n^6 + n^5 \alpha)$，其中 $\alpha$ 为系数的位大小界限。

实验结果

研究问题

• RQ1 能否将 $f = g = 0$ 的复解隔离区域计算的确定性位复杂度超越现有界限？
• RQ2 双变量多项式方程组解的分离形式计算的最优确定性复杂度为何？
• RQ3 如何以保证位复杂度的方式高效计算多项式 $h$ 在 $f = g = 0$ 所有实解处的符号？
• RQ4 能否以接近最优随机化算法复杂度的方式，确定性地计算实平面代数曲线 $\mathcal{C}$ 的拓扑？
• RQ5 在曲线拓扑计算中，确定性与随机化复杂度之间的 $n^2$ 差距在多大程度上可以被缩小？

主要发现

• 本论文在 $\mathbb{C}^2$ 中计算 $f = g = 0$ 所有复解的隔离区域时，实现了 $\tilde{O}(n^6 + n^5 \alpha)$ 的确定性位复杂度，相较于以往的确定性界限改进了 $n^2$ 倍或更多。
• 在相同复杂度界限内计算了 $f = g = 0$ 解的分离形式，实现了对解的高效表示与比较。
• $f = g = 0$ 所有实解处 $h$ 的符号计算以 $\tilde{O}(n^6 + n^5 \alpha)$ 位运算的确定性方式完成，与其它核心问题的改进复杂度一致。
• 实代数曲线 $\mathcal{C} = \{f = 0\}$ 的拓扑以相同复杂度确定性地计算完成，缩小了与最佳已知随机化算法之间的差距。
• 结果表明，确定性算法现在可在渐近复杂度上匹配随机化算法在曲线拓扑计算中的表现，这是理论与实践上的重大进展。
• $\tilde{O}(n^6 + n^5 \alpha)$ 的复杂度界限在所有四个问题中统一实现，表明该方法在平面曲线计算代数几何中具有统一且稳健的特性。