[论文解读] Numerical Nonlinear Algebra

Daniel J. Bates, Paul Breiding+4 more|arXiv (Cornell University)|Feb 16, 2023

Polynomial and algebraic computation被引用 4

一句话总结

本文提出数值非线性代数作为求解多项式方程组的计算框架，利用数值同伦延续法，结合代数几何与组合结构，高效计算复数解。通过解的认证和在计算机视觉中的应用（如5点和3点相机标定等极小问题，对应次数分别为20和8），展示了该方法的有效性。

ABSTRACT

Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations. Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications.

研究动机与目标

• 开发并系统化基于数值分析与代数几何的多项式方程组数值解法。
• 通过同伦延续法高效计算多项式方程组的复数解，尤其针对高次极小问题。
• 提供数值解的认证技术，确保在实际应用中解的正确性与可靠性。
• 展示数值非线性代数在计算机视觉与几何优化等实际领域中的实用性。
• 通过推进处理正维代数集与超定方程组的工具，弥合符号计算与数值计算之间的鸿沟。

提出的方法

• 利用多项式同伦延续法，从已知起点系统追踪解路径至目标系统，通过插值于F与G之间的同伦H(x,t)求解F(x) = 0。
• 采用预测-校正格式数值求解控制解路径追踪的Davidenko微分方程。
• 应用多面体同伦算法，利用多项式系统中的组合结构，提升稀疏系统求解效率。
• 使用末端过程（endgames）处理t=0处的奇异解，确保对非正则零点的鲁棒性。
• 实施认证方法以验证近似数值解的正确性，确保在扰动下仍成立。
• 在某些情况下将同伦延续与机器学习结合，例如使用神经网络引导路径追踪，避免计算所有解。

实验结果

研究问题

• RQ1 如何系统性地应用数值同伦延续法求解代数几何与应用中出现的多项式方程组？
• RQ2 多项式系统中的哪些组合与几何结构可被利用以提升数值求解方法的效率？
• RQ3 如何严格认证多项式方程组的近似数值解，确保其正确性？
• RQ4 在高次极小问题（如5点问题）中，数值非线性代数的实际极限与性能权衡是什么？
• RQ5 在多项式次数超过符号计算实用阈值时，数值非线性代数在求解复杂几何问题方面如何优于符号方法？

主要发现

• 计算机视觉中的5点问题具有20次分支覆盖，数值同伦延续法可高效计算全部20个复数解。
• 3点校准相机问题的次数为8，数值方法可计算全部复数解，但实际中仅有部分解具有正深度。
• 对于涉及点与直线对应关系的高次问题（如216次与312次），专用求解器MINUS可利用优化的同伦延续法计算全部复数解。
• 结合神经网络引导路径追踪的混合方法可聚焦于相关实数解，显著减少计算量，性能媲美最先进求解器。
• 认证技术可对数值解进行严格验证，确保即使在近似解下也具备可靠性。
• 该框架通过求解松弛问题并利用原始公式验证解，实现了对超定系统的求解，增强了几何优化中的鲁棒性。