[论文解读] A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture

J. Maurice Rojas|ArXiv.org|Apr 7, 2003

Polynomial and algebraic computation参考文献 9被引用 3

一句话总结

本文提出了一种新颖的超度量方法，利用p进分析研究加法复杂度，证明了加法复杂度为 $ s $ 的单变量多项式在 $ \mathbb{Q}_2 $ 中的根数至多为 $ O(e^{s\log s}) $，显著优于先前的界。该研究建立了Shub-Smale $ \tau $-猜想的弱形式，并表明，若对任意素数 $ p $，$ p $-进数字猜想为真，则可推出 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $，从而为解决BSS模型中的 $ \mathbf{P} \stackrel{?}{=} \mathbf{NP} $ 问题提供了数论路径。

ABSTRACT

The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture follows from an even more plausible hypothesis. Our results follow from a new p-adic analogue of earlier work relating real algebraic geometry to additive complexity. For instance, we can show that a nonzero univariate polynomial of additive complexity s can have no more than 15+s^3(s+1)(7.5)^s s! =O(e^{s\log s}) roots in the 2-adic rational numbers Q_2, thus dramatically improving an earlier result of the author. This immediately implies the same bound on the number of ordinary rational roots, whereas the best previous upper bound via earlier techniques from real algebraic geometry was a quantity in Omega((22.6)^{s^2}). This paper presents another step in the author's program of establishing an algorithmic arithmetic version of fewnomial theory.

研究动机与目标

• 通过超度量方法建立多项式有理根数量的更紧致上界。
• 通过 $ p $-进分析证明弱形式的Shub-Smale $ \tau $-猜想，为该猜想提供证据。
• 通过数论假设将加法复杂度与 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $ 猜想联系起来。
• 利用 $ p $-进几何开发少项式理论的算法算术版本。

提出的方法

• 利用 $ p $-进赋值和超度量几何分析 $ \mathbb{Q}_p $ 上多项式根的分布。
• 应用 $ p $-进复少项式定理，限制 $ \mathbb{C}_p^{s+1} $ 中几何孤立根的数量。
• 将加法复杂度 $ \sigma_R(f) $ 定义为在环 $ R $ 上通过嵌套加法与乘法表达 $ f $ 所需的最少运算次数。
• 将根计数问题转化为由 SLP 表示导出的多项式方程组的孤立解计数问题。
• 通过缩放和赋值约束，将根的位置限制在半径为 $ 1/p^r $ 的 $ p $-进球内。
• 应用关于单项式结构的组合界，以控制可能的根构型数量。

实验结果

研究问题

• RQ1 能否通过实代数几何的 $ p $-进类比方法来接近Shub-Smale $ \tau $-猜想？
• RQ2 加法复杂度为 $ s $ 的单变量多项式在 $ \mathbb{Q}_2 $ 中最多有多少个有理根？
• RQ3 若对任意素数 $ p $，$ p $-进数字猜想为真，是否可推出 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $？
• RQ4 能否利用超度量技术对加法复杂度进行有界，以获得比经典少项式理论更紧致的根计数估计？
• RQ5 直线程序的结构如何与 $ p $-进域中根的分布相关联？

主要发现

• 非零单变量多项式在加法复杂度 $ s $ 下，其在 $ \mathbb{Q}_2 $ 中的根数至多为 $ 1 + s^3(s+1)(7.5)^s s! = O(e^{s\log s}) $，相比先前的 $ \Omega((22.6)^{s^2}) $ 界有显著改进。
• 该界同样适用于普通有理根，为整数根数量提供了新的、显著更紧致的上界。
• 对任意固定素数 $ p $，若 $ p $-进数字猜想为真，则可推出 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $，从而也意味着完整的 $ \tau $-猜想为真。
• 满足 $ |x - 1|_p \leq 1/p^r $ 的 $ p $-进根的数量受包含 $ C_p(k,1,r) $ 的函数控制，该函数通过少项式型界控制根的重数。
• 证明表明 $ N_p(s) \geq s $，即加法复杂度 $ s $ 可支持至少 $ s $ 个不同的 $ p $-进根的赋值。
• 该方法通过同构 $ \mathbb{C}_p[x]/\langle f \rangle \cong \mathbb{C}_p[X_1,\ldots,X_{s+1}]/\langle G \rangle $，在 SLP 复杂度与 $ \mathbb{C}_p^{s+1} $ 中根的几何结构之间建立了构造性联系。