arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2005.01223math.NAcs.NA
收藏

稀疏多项式求解的复杂性 2:重整化

Complexity of Sparse Polynomial Solving 2: Renormalization

Gregorio Malajovich

AI总结:

本文在环簇上引入重整化同伦延拓求解稀疏多项式系统,通过重整化条件长度控制成本,提出随机化算法跟踪两个一般系统间的所有解,并引入混合面积、面间隙等支撑不变量,最终给出依赖重整化环条件数和系数失衡的非均匀多项式复杂度界。

摘要:

在环簇上引入重整化同伦延拓,作为求解稀疏多项式方程组或稀疏指数和系统的一种工具。延拓的成本取决于重整化条件长度,该长度定义为沿所有提升的重整化路径的条件数的线积分。本文发展的理论导致一种延拓算法,跟踪具有相同结构的两个一般系统之间的所有解。该算法是随机化的,即它遵循两个系统之间的随机路径。成功概率为1。为了产生期望成本界限,引入了几个仅依赖于方程支撑的不变量。例如,混合面积是一个拟质量积分,它以混合体积推广普通体积的相同方式推广表面积。面间隙为扇中的每个1-锥和每个支撑多面体度量支撑超平面与最近顶点的接近程度。一旦支撑固定,期望成本仅通过两个不变量依赖于输入系数:重整化环条件数和系数绝对值的失衡。这导致多项式求解的关于这两个不变量的非均匀多项式复杂度界限。

英文摘要:

Renormalized homotopy continuation on toric varieties is introduced as a tool for solving sparse systems of polynomial equations, or sparse systems of exponential sums. The cost of continuation depends on a renormalized condition length, defined as a line integral of the condition number along all the lifted renormalized paths. The theory developed in this paper leads to a continuation algorithm tracking all the solutions between two generic systems with the same structure. The algorithm is randomized, in the sense that it follows a random path between the two systems. The probability of success is one. In order to produce an expected cost bound, several invariants depending solely of the supports of the equations are introduced. For instance, the mixed area is a quermassintegral that generalizes surface area in the same way that mixed volume generalizes ordinary volume. The facet gap measures for each 1-cone in the fan and for each support polytope, how close is the supporting hyperplane to the nearest vertex. Once the supports are fixed, the expected cost depends on the input coefficients solely through two invariants: the renormalized toric condition number and the imbalance of the absolute values of the coefficients. This leads to a non-uniform polynomial complexity bound for polynomial solving in terms of those two invariants.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑