[论文解读] Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case

B. Bank, M Giusti+3 more|ArXiv.org|Sep 6, 1996

Polynomial and algebraic computation参考文献 15被引用 32

一句话总结

本文提出了一种多项式时间算法，用于在由具有有理系数的无平方多项式定义的光滑有界实超曲面上的每个连通分支中计算至少一个代表点。通过利用极化曲线并用实次数替代直线程序编码输入中的仿射次数，该方法实现了复杂度界 $(nd\beta^*L)^{O(1)}$，其中 $eta^*$ 是相关极化曲线的实次数，$L$ 是输入大小。

ABSTRACT

The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo \cite{gihemorpar} can be applied to a case of real polynomial equation solving. Our main result concerns the problem of finding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in \cite{gihemorpar} yields a method for symbolically solving a zero-dimensional polynomial equation system in the affine (and toric) case. Its main feature is the use of adapted data structure: Arithmetical networks and straight-line programs. The algorithm solves any affine zero-dimensional equation system in non-uniform sequential time that is polynomial in the length of the input description and an adequately defined {\em affine degree} of the equation system. Replacing the affine degree of the equation system by a suitably defined {\em real degree} of certain polar varieties associated to the input equation, which describes the hypersurface under consideration, and using straight-line program codification of the input and intermediate results, we obtain a method for the problem introduced above that is polynomial in the input length and the real degree.

研究动机与目标

• 为高效求解实多项式方程组提供方法，特别是针对光滑实超曲面的每个连通分支寻找至少一个代表点。
• 通过使用实次数等几何不变量，将原本专为代数闭情形设计的内在算法扩展至实情形。
• 用新的不变量——极化曲线的实次数，替代先前工作中使用的仿射次数，以更准确地反映实代数集的复杂度。
• 在输入大小和实次数上均实现多项式时间复杂度，确保实代数几何时的实际效率。

提出的方法

• 该方法使用直线程序编码输入多项式及中间结果，实现高效的算术计算，且无需关键除法。
• 引入与输入超曲面相关的极化曲线，定义一种新的几何不变量：实次数 $\delta^*$，其捕捉了实解集的拓扑复杂度。
• 通过连续投影构造一系列代数簇，并利用提升-纤维过程，从 $\mathbb{Q}$ 上的不可约因子中隔离实分量。
• 关键步骤是通过一般性地特化变量，将多元因子分解简化为 $\mathbb{Q}$ 上的单变量因子分解，利用希尔伯特不可约性定理。
• 通过在单变量约化中测试实根，清除非实 $\mathbb{Q}$-不可约分量，确保仅保留实分量。
• 最终输出通过有理函数 $p_1(\tau), \dots, p_n(\tau)$ 和一个其根对应于代表点的单变量多项式 $q(\tau)$ 参数化实解集。

实验结果

研究问题

• RQ1 能否通过用实几何不变量替代仿射次数，将零维系统的内在算法适配至实情形？
• RQ2 如何以反映实代数集拓扑结构的方式定义并计算极化曲线的实次数？
• RQ3 是否可能在输入大小和实次数的多项式时间内，计算光滑实超曲面每个连通分支的至少一个代表点？
• RQ4 使用直线程序和有理数算术是否能确保算法保持完全有理化，避免代数扩张？
• RQ5 希尔伯特不可约性定理在 $\mathbb{Q}$ 上因子分解过程中隔离实分量时起到何种作用？

主要发现

• 该算法在输入大小 $L$、多项式次数 $d$ 和相关极化曲线的实次数 $δ^*$ 的多项式时间内，计算出光滑有界实超曲面上每个连通分支的代表点。
• 实次数 $δ^*$（定义为极化曲线 $W_i^*$ 的最大次数）作为复杂度度量，相较于仿射次数，对实解集而言更为紧致。
• 该方法仅使用有理数算术和直线程序编码，实现了复杂度 $(nd\delta^*L)^{O(1)}$，避免了代数扩张。
• 输出包含一个次数为 $δ^*_{n-1} \leq \delta^*$ 的单变量多项式 $q$，以及次数小于 $δ^*_{n-1}$ 的有理函数 $p_i$，每个分量参数化一个点。
• 该算法通过将多元因子分解简化为 $\mathbb{Q}$ 上的单变量因子分解，再进行实根测试，实现对实分量的隔离。
• 该构造确保：对于实超曲面的每个连通分支 $C$，存在 $\tau \in \mathbb{R}$，使得 $\xi = (p_1(\tau), \dots, p_n(\tau)) \in C$。