[论文解读] Reducing the number of variables of a polynomial

Enrico Carlini|ArXiv.org|Jul 26, 2005

Polynomial and algebraic computation参考文献 2被引用 7

一句话总结

本文为齐次多项式（形式）表达所需变量数最小化问题提供了完整解决方案。文中引入了本质变量的概念，并证明了最小变量数 $ N_{\text{ess}}(f) $ 等于该形式 $ f $ 的首个契太利坎特矩阵的秩，且本质变量张成其 $ (d-1)\text{th} $ 偏导数空间。相关结果已在 CoCoA 中实现，可用于实际计算。

ABSTRACT

In this paper, we consider two basic questions about presenting a homogeneous polynomial f: how many variables are needed for presenting f? How can one find a presentation of f involving as few variables as possible? We give a complete answer to both questions, determining the minimal number of variables needed, NEssVar(f), and describing these variables through their linear span, EssVar(f). Our results give rise to effective algorithms which we implemented in the computer algebra system CoCoA.

研究动机与目标

• 确定表达齐次多项式所需的最少变量数。
• 识别能够实现这种最小化表示的具体线性形式（本质变量）。
• 开发有效算法，用于计算本质变量及多项式的最小变量表示。
• 将结果应用于实际问题，如代数几何中的柱面检测。

提出的方法

• 通过计算形式 $ f $ 的首个契太利坎特矩阵的秩，得到本质变量数 $ N_{\text{ess}}(f) $。
• 本质变量被确定为 $ f $ 的 $ (d-1)\text{th} $ 偏导数的线性张成，即 $ \text{EssVar}(f) = \langle D \circ f : D \in T_{d-1} \rangle $。
• 利用对偶性理论以及多项式环与微分算子之间的对偶关系，建立理论基础。
• 该方法依赖于正交理想 $ f^\perp \subset T $，其中 $ T $ 为微分算子环。
• 将结果转化为在 CoCoA 计算代数系统中实现的算法。
• 算法包括计算 $ N_{\text{ess}}(f) $、寻找本质变量，以及生成多项式的最小变量表示的函数。

实验结果

研究问题

• RQ1 表达给定齐次多项式所需的最少变量数是多少？
• RQ2 原始变量的哪些线性组合足以表示该多项式？
• RQ3 如何算法化地确定多项式的最小变量表示？
• RQ4 该理论能否用于检测代数曲面上的几何结构（如柱面）？
• RQ5 最小变量表示如何影响求解多项式方程的效率？

主要发现

• 表达齐次多项式 $ f $ 所需的最少变量数 $ N_{\text{ess}}(f) $ 等于其首个契太利坎特矩阵的秩。
• 多项式 $ f $ 的本质变量由其 $ (d-1)\text{th} $ 偏导数张成，即 $ \text{EssVar}(f) = \langle D \circ f : D \in T_{d-1} \rangle $。
• 在三维空间中，一个五次曲面的齐次化多项式 $ f^h $ 仅依赖于 3 个本质变量，证实其为柱面。
• 在四元三次多项式中，整个二次与三次部分均可表示为单个本质变量 $ y_1 = x + y - 2z - 3t $ 的函数，使系统简化为单变量方程。
• CoCoA 中的算法实现可有效预处理多项式系统，通过减少变量数后再进行数值求解。
• 该方法可实现有效的柱面检测：当且仅当 $ N_{\text{ess}}(f^h) \leq \dim \text{ambient space} $ 时，超曲面为柱面。