[论文解读] A Wronskian Approach to the real τ-conjecture

Pascal Koiran, Natacha Portier+1 more|HAL (Le Centre pour la Communication Scientifique Directe)|May 4, 2012

Complexity and Algorithms in Graphs被引用 3

一句话总结

本文提出了一种基于朗斯基行列式的方法，用于界定稀疏单变量多项式乘积之和的实根数量，实现了关于 t 的多项式、关于 k 的准多项式以及关于 m 的指数型上界。该方法消除了 k 的双重指数依赖，解决了实 τ-猜想的关键情形，并为同一类多项式提供了确定性多项式身份测试（PIT）算法，其复杂度优于先前工作。

ABSTRACT

According to the real τ-conjecture, the number of real roots of a sum of products of sparse polynomials should be polynomially bounded in the size of such an expression. It is known that this conjecture implies a superpolynomial lower bound on the arithmetic circuit complexity of the permanent. In this paper, we use the Wronksian determinant to give an upper bound on the number of real roots of sums of products of sparse polynomials. The proof technique is quite versatile; it can in particular be applied to some sparse geometric problems that do not originate from arithmetic circuit complexity. The paper should therefore be of interest to researchers from these two communities (complexity theory and sparse polynomial systems).

研究动机与目标

• 通过界定稀疏单变量多项式乘积之和的实根数量，解决实 τ-猜想。
• 通过实现关于实根数量的 t^{O(k²m)} 上界，改进先前在 k 和 m 上的指数与双重指数依赖。
• 为同一类多项式开发一种确定性多项式身份测试（PIT）算法，降低对 k 和 m 的依赖。
• 将朗斯基行列式与笛卡尔符号法则技术的应用范围，从算术电路复杂度扩展至稀疏几何问题。
• 通过构造示例证明根界的最优性，表明其紧致性仅相差常数因子。

提出的方法

• 利用函数 f^{α_i + k} 的朗斯基行列式分析稀疏多项式幂之和的线性相关性与根结构。
• 应用笛卡尔符号法则的弱形式，将具有实指数的 t-稀疏多项式的正实根数量界定为 t−1 个。
• 结合罗尔定理与介值定理构造具有大量根的示例，证明界的紧致性。
• 提出一个关键引理，将朗斯基行列式消失与 f f′ 的零点联系起来，从而控制临界点数量。
• 通过构造 g = h ∘ f（其中 h 具有多个根）来生成具有大量实根的多项式。
• 通过结合朗斯基分析、根计数与系数求值，开发确定性 PIT 算法，仅在 k 和 m 上呈现指数依赖。

实验结果

研究问题

• RQ1 稀疏多项式乘积之和的实根数量是否可被界定为 t 的多项式与 k 的准多项式函数，且仅对 m 呈指数依赖？
• RQ2 朗斯基行列式是否足以控制稀疏多项式幂之和的实根数量？
• RQ3 能否将实根数量的界从 k 的双重指数依赖改进为单指数依赖，以满足对永久函数电路复杂度的推论要求？
• RQ4 是否存在一种复杂度为 t 的多项式函数、k 和 m 的指数函数的确定性多项式身份测试算法，适用于此类多项式？
• RQ5 基于朗斯基行列式的该方法是否可推广至算术电路复杂度之外的稀疏几何问题？

主要发现

• 形如 ∑_{i=1}^k ∏_{j=1}^m f_j^{α_{i,j}} 的和的实根数量被界定为 t^{O(k²m)}，消除了先前工作中 k 的双重指数依赖。
• 该界在 t 上为多项式，在 m 上为指数，在 k 上为准多项式，相较于先前结果有显著改进。
• 开发出一种确定性多项式身份测试算法，其运行时间在 t 以及系数和指数的位大小上为多项式，且在 k 和 m 上为指数。
• 论文通过构造证明了基于朗斯基行列式的根界在常数因子范围内最优，即存在某个 g 满足 Z(g) ≥ (|ϒ| + 1)(k − 1) + Z(f)。
• 该方法可推广至非整数指数，并为更广泛的函数类 ∑_{i=1}^k x^{α_i}(ax + b)^{β_i}（其中 α_i, β_i 为实数）提供了多项式上界。
• 该方法给出了弱笛卡尔符号法则的新证明，并推广了 Avendaño 关于稀疏曲线与直线交点结果的结论。