[论文解读] Descartes' Rule of Signs for Polynomial Systems supported on Circuits

Frédéric Bihan, Alicia Dickenstein|arXiv (Cornell University)|Jan 21, 2016

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

一句话总结

本文建立了多项式系统在圆周（circuits）上支持的多变量 Descartes 符号法则推广——具体而言，针对 $ n+2 $ 个单项式在 $ n $ 个变量中的系统。它通过系统指数配置和系数导出的系数序列的符号变化，提供了一个关于正实解数量的精确上界，利用 Gale 对偶性和定向拟阵理论，将经典单变量法则推广至多变量情形。

ABSTRACT

We give a multivariate version of Descartes' rule of signs to bound the number of positive real roots of a system of polynomial equations in n variables with n+2 monomials, in terms of the sign variation of a sequence associated both to the exponent vectors and the given coefficients. We show that our bound is sharp and is related to the signature of the circuit.

研究动机与目标

• 将 Descartes 符号法则推广至 $ n+2 $ 个单项式在 $ n $ 个变量中的多变量多项式系统，即所谓的圆周情形。
• 基于系统指数向量和系数导出的系数序列的符号变化，建立正实解数量的精确上界。
• 通过引入 Gale 对偶性和定向拟阵理论，将经典单变量 Descartes 法则推广至稀疏多项式系统的结构分析。
• 证明该上界在模 2 意义下与实际正实解数一致，与经典法则的奇偶性条件相一致。
• 刻画正解数为有限的条件，并提供该有限性的必要与充分条件。

提出的方法

• 使用系数矩阵 $ C \times (n \times (n+2)) $ 和指数矩阵 $ A \times ((n+1) \times (n+2)) $ 定义系统，其中 $ A $ 编码单项式的指数。
• 利用 Gale 对偶性将多变量问题转化为分析由系统导出的有理函数的实根数量。
• 基于 $ C $ 的最大子式符号，对系数向量引入排序，从而导出一个系数序列，其符号变化界定了正实解的数量。
• 应用解析函数空间的广义 Descartes 法则，以界定向量有理函数的实根数量。
• 利用圆周（指数向量之间的仿射相关性）定义一个典范仿射关系 $ \boldsymbol{\nu} $，并计算关联系数序列 $ s_\alpha $ 的符号变化 $ \mathrm{sgnvar}(s_\alpha) $。
• 证明正实解数 $ n_{\mathcal{A}}(C) $ 的上界为 $ \mathrm{sgnvar}(s_\alpha) $，且在条件 $ \mathbf{0} \in \mathcal{C}^\circ $ 下该上界是精确的。

实验结果

研究问题

• RQ1 能否将 Descartes 符号法则推广至 $ n+2 $ 个单项式在 $ n $ 个变量中的多变量多项式系统，即在圆周上支持的系统？
• RQ2 此类系统的正实解数量的精确上界如何用系数和指数向量表示？
• RQ3 由系统结构导出的系数序列的符号变化与正实解数量之间有何关系？
• RQ4 该上界是否如单变量情形一样，与实际正实解数在模 2 意义下一致？
• RQ5 在何种条件下正实解数为有限，且该上界何时可被达到？

主要发现

• 在圆周上支持的系统中，正实解数 $ n_{\mathcal{A}}(C) $ 的上界为由系统指数配置和系数导出的系数序列的符号变化 $ \mathrm{sgnvar}(s_\alpha) $。
• 上界 $ \mathrm{sgnvar}(s_\alpha) $ 是精确的：存在系统使得 $ n_{\mathcal{A}}(C) = \mathrm{sgnvar}(s_\alpha) $，甚至在某些圆周中可达到最大可能值 $ n+1 $。
• 正实解数与符号变化在模 2 意义下满足同余关系，推广了经典单变量法则。
• 该上界不依赖于系数矩阵 $ C $ 的线性等价类中的代表元选择，仅取决于最大子式的符号模式和圆周结构。
• $ \mathbf{0} \in \mathcal{C}^\circ $（其中 $ \mathcal{C}^\circ $ 是由系数列生成的正锥）是至少存在一个正解的必要且充分条件。
• 该上界并不总是等于归一化体积 $ \mathrm{vol}_{\mathbb{Z}}(\mathcal{A}) $，在某些情况下（例如 $ n=4 $，$ \boldsymbol{\nu} = (1,-1,3,-3,1,-1) $），最大上界 $ n+1 $ 无法实现，表明该上界在体积意义下并不总是精确的。