[论文解读] First Steps in Algorithmic Fewnomial Theory

Frédéric Bihan, J. Maurice Rojas+1 more|ArXiv.org|Nov 5, 2004

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

一句话总结

本文建立了稀疏多项式实可行性计算复杂度的相变：对于 n 个变量的 (n+2)-项式，判断其是否存在实根的问题可在多项式时间内求解，但当项数超过 n + n^ε（对任意 ε > 0）时，问题变为 NP-难。该分析借助丢番图逼近和 A-判别式工具，为特定类别的少项式建立了高效的决策准则。

ABSTRACT

Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a real root or not. We describe a phase-transition for when m is large enough to make FEAS_R be NP-hard, when restricted to inputs consisting of a single n-variate polynomial with exactly m monomial terms: polynomial-time for m<=n+2 (for any fixed n) and NP-hardness for m<=n+n^{epsilon} (for n varying and any fixed epsilon>0). Because of important connections between FEAS_R and A-discriminants, we then study some new families of A-discriminants whose signs can be decided within polynomial-time. (A-discriminants contain all known resultants as special cases, and the latter objects are central in algorithmic algebraic geometry.) Baker's Theorem from diophantine approximation arises as a key tool. Along the way, we also derive new quantitative bounds on the real zero sets of n-variate (n+2)-nomials.

研究动机与目标

• 确定稀疏多项式系统实可行性问题（FEAS_R）的计算复杂度，尤其关注项数较少的少项式。
• 识别在 n 个变量的 m-项式背景下，实可行性问题从多项式时间可解转变为 NP-难的临界阈值。
• 为特定类别的少项式（尤其是 (n+2)-项式和某些 A-判别式族）开发判断实根存在性的高效算法。
• 将实根求解的复杂度与丢番图逼近中的深刻结果（特别是 Baker 定理）联系起来，并将其应用于 A-判别式。
• 为 n 个变量的 (n+2)-项式提供实零点数量与结构的定量边界，推动算法少项式理论的发展。

提出的方法

• 通过利用支撑集的维数，借助幺模变换，将 n 个变量的 m-项式实可行性问题约化为低维环面上的问题。
• 应用丢番图逼近中的 Baker 定理，以限制实根的大小，并为洛朗多项式的符号模式推导出决策准则。
• 使用史密斯标准形和幺模矩阵，将指数矩阵变换为对角形式，从而实现对实环面上符号条件的分析。
• 通过变量缩放将 (n+2)-项式转化为规范形式，以归一化系数，将根的存在性问题转化为对变换后指数矩阵符号条件的检查。
• 利用 A-判别式的结构及其符号模式，识别出可在多项式时间内判定的稀疏系统家族。
• 采用仿射独立性和支撑集维数的概念，对少项式系统是否可约化为低维等价形式进行分类，从而简化可行性分析。

实验结果

研究问题

• RQ1 对于哪些 m 值，n 个变量的 m-项式实可行性问题可在多项式时间内求解？
• RQ2 作为 n 的函数，实可行性问题在 m 超过多少项时会变为 NP-难？这一精确阈值是什么？
• RQ3 对于某些稀疏多项式族，A-判别式的符号是否可在多项式时间内判定？
• RQ4 n 个变量的 (n+2)-项式其实零点集在结构和连通分支数量方面如何表现？
• RQ5 Baker 定理在丢番图逼近中的结果在多大程度上可用于推导稀疏多项式实根的有效边界？

主要发现

• 由于规范形式和基于符号的决策准则，对于任意固定的 n，n 个变量的 (n+2)-项式实可行性问题可在多项式时间内求解。
• 当项数 m 满足 m ≥ n + n^ε（对任意 ε > 0）且 n 可变时，n 个变量的 m-项式实可行性问题变为 NP-难。
• 对于 n 个变量的 (n+2)-项式，其在 (R*)^n 中存在实根的问题可在多项式时间内判定，且取决于变换后指数矩阵是否含有奇数元素。
• n 个变量的 (n+2)-项式在 R^n_+ 中存在实根，当且仅当正项数少于 n 个。
• 本文为 n 个变量的 (n+2)-项式实零点集的连通分支数量提供了新的定量边界，表明其为有限且可有效界定。
• 与某些稀疏支撑相关的 A-判别式，其符号可在多项式时间内判定，从而扩展了稀疏代数几何中的算法工具。