[论文解读] Certifying solutions to overdetermined and singular polynomial systems over Q

Tulay Ayyildiz Akoglu, Jonathan D. Hauenstein+1 more|arXiv (Cornell University)|Aug 12, 2014

Polynomial and algebraic computation参考文献 41被引用 6

一句话总结

该论文提出了一种混合符号数值方法，通过从数值根计算精确的有理系数一元表示（RUR），以认证在 ℚ 上的超定和奇异多项式系统的近似解。利用牛顿迭代和精确算术，该方法将病态系统转化为良好约束的RUR，从而通过α理论实现认证，具有多项式时间复杂度，并在找到RUR时实现早期终止。

ABSTRACT

This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact "rational univariate representation" (RUR) of a component of the input system from approximate roots. For overdetermined polynomial systems with simple roots, we compute an initial RUR from approximate roots. The accuracy of the RUR is increased via Newton iterations until the exact RUR is found, which we certify using exact arithmetic. Since the RUR is well-constrained, we can use it to certify the given approximate roots using alpha-theory. To certify isolated singular roots, we use a determinantal form of the "isosingular deflation", which adds new polynomials to the original system without introducing new variables. The resulting polynomial system is overdetermined, but the roots are now simple, thereby reducing the problem to the overdetermined case. We prove that our algorithms have complexity that are polynomial in the input plus the output size upon successful convergence, and we use worst case upper bounds for termination when our iteration does not converge to an exact RUR. Examples are included to demonstrate the approach.

研究动机与目标

• 为解决在 ℚ 上的超定和奇异多项式系统中认证近似根的挑战，其中一致性不连续且通用下界过于保守。
• 开发一种实用的认证方法，通过直接从近似根计算精确的有理系数一元表示（RUR），避免使用过于保守的界。
• 通过消去和迭代精化将RUR转换为良好约束形式，将α理论认证扩展至超定和奇异系统。
• 通过结合数值根求解与精确算术，确保正确性与效率，在收敛时实现输入输出规模的多项式时间复杂度。

提出的方法

• 使用同伦延续法计算随机良好约束子系统的近似根，适用于超定或奇异系统。
• 通过启发式过滤选择对应于孤立或有理分支的候选近似根。
• 通过拉格朗日插值和有理数重构，从选定的近似根构造初始RUR。
• 使用局部或全局牛顿迭代精化RUR以提高精度，迭代直至通过精确算术获得精确RUR。
• 通过行列式形式进行同态消去，添加多项式而不引入新变量，将奇异根转化为单根。
• 使用α理论或赫尔米特矩阵认证最终RUR，确认原始近似根靠近精确解。

实验结果

研究问题

• RQ1 能否通过精确RUR而非过于保守的通用下界，以高置信度认证 ℚ 上超定多项式系统的近似根？
• RQ2 如何将多项式系统中的奇异根转化为单根，以启用标准认证技术？
• RQ3 从近似根计算精确RUR的计算复杂度是多少？能否使其在实际系统中具有可行性？
• RQ4 混合符号数值方法能否在良好约束RUR上实现输入输出规模的多项式时间收敛？

主要发现

• 所提方法成功利用牛顿迭代从近似根计算出精确RUR，当正确选择根候选时收敛性得到保证。
• 在Caprasse系统中，该方法识别出4个次数为2的有理分支，分裂域为 ℚ[√3]，确认了8个重根的结构。
• 在cyclic-4系统中，该方法计算出一个系数为有理数的12次RUR，正确识别出8个嵌入的同态奇异点和两条不可约曲线。
• 在cyclic-9系统（含162个解）中，该方法为54个正则点和54个二重点计算出高阶RUR（最高12阶），确认了理想结构。
• 当见证集较小时，该方法实现早期终止，展现出相对于通用下界的实用性。
• 在成功收敛时，复杂度在输入输出规模上为多项式，非收敛情况也提供了最坏情况界。