[论文解读] Resultants and Contour Integrals

А. Морозов, Sh. Shakirov|ArXiv.org|Jul 28, 2008

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

一句话总结

本文提出了一种新颖的方法，通过递归围线积分和谱参数的级数展开，计算 n 个齐次多项式在 n 个变量下的结式。通过将结式的对数表示为迭代围线积分并指数化，作者利用辅助参数的泰勒展开，推导出显式的多项式形式公式，从而实现高效计算，并揭示了结式在非线性代数中的齐次多项式结构。

ABSTRACT

Resultants are important special functions used in description of non-linear phenomena. Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. In this paper we use Cauchy contour integrals to obtain a polynomial formula for resultants, which is expected to be useful in applications.

研究动机与目标

• 开发一种适用于 n 个齐次多项式在 n 个变量下的实用且可计算的结式公式，这类结式在非线性代数和物理学中具有核心地位。
• 克服在行列式（线性情形）之外缺乏高效计算工具的问题，因为高次多项式时显式公式变得难以处理。
• 将结式对数的指数围线积分表示转化为显式的多项式公式，保持齐次性并支持算法实现。
• 建立一种系统化方法，通过谱参数的递归积分与级数展开计算结式，推广已知的 n=2 和 n=3 情形的公式。

提出的方法

• 该方法从一个关于 log R 的递归围线积分公式出发，涉及对围绕无穷远点的围线进行 (n−1) 重积分，被积函数为 log fi。
• 通过引入一个平移系统，将 fi 替换为 (xi)^ri − λi fi，将结式的对数在谱参数 λi 上展开为泰勒级数。
• 级数展开中的每一项系数对应于原多项式系数的齐次多项式，通过留数计算和由齐次性导出的选择规则获得。
• 系数 T_{k1…kn} 以满足 r_i1 + … + rin = r_i ki 的单项式次数之和为条件进行求和，当 n ≥ 3 时涉及行列式。
• 结式 R 通过这些系数的求和重建，采用符号约定并通过总次数 d = r1…rn(1/r1 + … + 1/rn) 进行归一化。
• 该方法在 MAPLE 程序中实现，通过计算迹、行列式和舒尔函数，高效评估结式。

实验结果

研究问题

• RQ1 结式的对数能否以围线积分形式表达，从而实现系统性的多项式重构？
• RQ2 结式的指数形式如何转化为适合计算的显式多项式表达式？
• RQ3 结式在谱参数展开中的系数具有何种结构？其如何反映原系统的齐次性与对称性？
• RQ4 该方法能否推广至任意 n 和次数 ri，并实现算法化？

主要发现

• 结式的对数被表达为递归围线积分，将已知的 n=2 和 n=3 情形推广至任意 n。
• 对围线积分公式进行指数化后，得到结式的显式表达式，但该表达式并非明显为多项式形式。
• 通过引入谱参数 λi 并对其幂次展开，该方法通过泰勒系数 T_{k1…kn} 生成结式的多项式公式。
• 每个系数 T_{k1…kn} 是 fi 系数的齐次多项式，关于 fi 的次数为 d_i = (r1…rn)/ri，通过留数和行列式计算得出。
• 当 n ≥ 3 时，系数涉及由单项式次数构成的矩阵的行列式，反映了由齐次性导出的横向选择规则。
• 结式通过这些系数的求和重建，最终通过舒尔函数和迹运算进行归一化，使实际计算成为可能。