[论文解读] The number of real roots of a bivariate polynomial on a line

Martín Avendaño|ArXiv.org|Feb 28, 2007

Coding theory and cryptography参考文献 10被引用 4

一句话总结

该论文为在实直线 $ y = ax + b $ 上受限的、具有 $ t $ 个非零项的二元多项式，建立了非指数上界 $ 6t - 4 $ 个实根，证明了该限制要么恒等于零，要么至多有这么多实根（重根计数，但可能例外地仅将 0 和 $-b/a$ 各计一次）。该结果使得在实数域上的稀疏二元多项式中，能够以多项式时间检测其是否被线性因式整除。

ABSTRACT

We prove that a bivariate polynomial f with exactly t non-zero terms, restricted to a real line {y=ax+b}, either has at most 6t-4 zeroes or vanishes over the whole line. As a consequence, we derive an alternative algorithm to decide whether a linear polynomial divides a bivariate polynomial (with exactly t non-zero terms) over a real number field K within [ log(H(f)H(a)H(b)) [K:Q}] log(deg(f)) t]^{O(1)} bit operations.

研究动机与目标

• 建立稀疏二元多项式在实直线上受限时实根数的非指数上界。
• 解决 Descartes 符号法则在多变量情形下缺乏推广的问题。
• 提供一种替代算法，用于检测稀疏二元多项式是否被线性因式整除。
• 通过避免依赖间隙定理，转而使用单变量代入法，改进现有算法。

提出的方法

• 将具有 $ t $ 个非零项的二元多项式 $ f \in \mathbb{R}[x,y] $ 限制在直线 $ y = ax + b $ 上，得到单变量多项式 $ g(x) = f(x, ax + b) $。
• 使用系数向量中符号变化 $ V(f) $ 的 Descartes 符号法则变体，以界定向实根数。
• 证明对于单变量多项式有 $ V((x+1)f) \leq V(f) $，这是关键引理，使符号变化的归纳控制成为可能。
• 通过一种减少项数但控制符号变化的变换，递归应用该界。
• 利用该界证明：若 $ g(x) $ 有超过 $ 6t - 4 $ 个实根，则其必恒等于零。
• 构建一种算法，通过计算 $ f(x, x^n) $（$ n $ 为小的奇数）并检查因式包含性，来测试 $ y - ax - b $ 是否整除 $ f $。

实验结果

研究问题

• RQ1 一个具有 $ t $ 个非零项的二元多项式，在限制于实直线时，最多有多少个实根？
• RQ2 能否为这种受限多项式的实根数建立一个非指数上界？
• RQ3 是否存在一种高效算法，用于检测稀疏二元多项式是否被线性因式整除，且不依赖于间隙定理？
• RQ4 能否利用系数向量中符号变化的结构，来界定向多变量限制下的根数？

主要发现

• 当二元多项式 $ f \in \mathbb{R}[x,y] $ 有 $ t $ 个非零项，并限制于直线 $ y = ax + b $ 时，除非其在该直线上恒等于零，否则至多有 $ 6t - 4 $ 个实根。
• 上界 $ 6t - 4 $ 是非指数的，即使将根 0 和 $-b/a$ 各计一次（而非按重数计数）也成立。
• 该结果提供了一种新的、初等的方法，用于界定向实直线上的稀疏二元多项式实根数，且不依赖于 Khovanskii 类型的指数界。
• 构建了一种算法，用于检测 $ y - ax - b $ 是否整除稀疏多项式 $ f $，其时间复杂度为 $[\log(H(f)H(a)H(b))[K:\mathbb{Q}] oneq \log(\deg(f))t]^{O(1)}$ 比特操作。
• 该算法避免了间隙定理，转而使用小奇数 $ n $ 的单变量代入 $ f(x, x^n) $，其正确性由根的上界保证。
• 该方法确保：若存在 $ n \leq 12t - 5 $ 使得 $ f(x, x^n) \neq 0 $，则 $ f $ 不被 $ y - ax - b $ 整除，且在完成 $ 6t - 3 $ 次此类检查后，测试即告完整。