[论文解读] Analogue of the identity Log Det = Trace Log for resultants

A. Yu. Morozov, Sh. Shakirov|ArXiv.org|Apr 29, 2008

Neural Networks and Applications参考文献 16被引用 11

一句话总结

本文将恒等式 $\log \det = \operatorname{trace} \log$ 从行列式推广至结式，通过广义移位算子的幂的迹，为多维结式提供了多项式公式。关键贡献在于将结式 $ R_{r_1,\rho_2,\rho_3} $ 表示为迹的西鲁多项式，从而通过路径求和表示和积分公式实现显式计算，即使对于高次系统如 $ R_{2,2,2} $（含 21,894 项）亦可实现。

ABSTRACT

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. Because of this, resultants are important special functions of upcoming non-linear physics and begin to play a role in various topics related to string theory. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. To cure this problem, we generalize the well-known identity Log Det = Trace Log from determinants to resultants. The generalized identity allows to obtain explicit polynomial formulas for multidimensional resultants: for any number of variables, resultant is given by a Schur polynomial. We also give several integral representations for resultants, as well as a sum-over-paths representation.

研究动机与目标

• 为解决多维结式缺乏显式多项式公式的问题，特别是针对多于两个变量的系统。
• 通过结式作为行列式的非线性类比，将著名的恒等式 $ \log \det = \operatorname{trace} \log $ 从线性系统推广至非线性系统。
• 利用广义移位算子的幂的迹，为结式（特别是 $ R_{2,2,2} $）提供构造性、可计算的表达式。
• 建立结式为迹的西鲁多项式，为非线性代数几何与理论物理提供新的代数结构。
• 推导结式的积分表示与路径求和表示，为新计算方法与物理应用提供支持。

提出的方法

• 通过引入作用于齐次多项式上的广义移位算子，将恒等式 $ \log \det(I - f) = \operatorname{trace} \log(I - f) $ 推广至结式。
• 将迹 $ T_k $ 定义为广义移位算子幂的迹，这些迹作为系统系数的对称函数。
• 利用对称多项式与表示理论的结构，将结式 $ R_{r_1,\dots,r_n} $ 表示为迹 $ T_k $ 的西鲁多项式。
• 通过将西鲁多项式解释为格路路径上的生成函数，推导出结式的路径求和表示。
• 通过将系统嵌入具有非线性相互作用项的高斯型泛函积分中，构造结式的矩阵积分表示。
• 利用结式之间的递推关系推导出迹 $ T_k $，这些迹是输入多项式系数的多项式。

实验结果

研究问题

• RQ1 能否将恒等式 $ \log \det = \operatorname{trace} \log $ 从行列式推广至多变量非线性系统中的结式？
• RQ2 是否存在多维结式的多项式公式（如 $ R_{2,2,2} $），可用广义算子幂的迹表示？
• RQ3 结式能否表示为迹的西鲁多项式？这对它们的代数结构意味着什么？
• RQ4 结式的积分表示与路径求和表示是什么？它们如何促进计算或物理解释？
• RQ5 如何利用结式的递推结构系统地计算迹 $ T_k $ 并重构结式？

主要发现

• 结式 $ R_{2,2,2} $ 表示为迹 $ T_k $ 的西鲁多项式，其紧凑公式仅含 12 个 $ T_k $ 项，尽管该结式本身包含 21,894 个单项式。
• 广义移位算子使迹 $ T_k $ 的构造成为可能，这些迹是输入多项式系数的对称多项式，且通过西鲁多项式生成结式。
• 结式 $ R_{2,2,2} $ 显式计算为 $ \{ -T_k/k \} $ 的多项式，得到一个关于三个二次型系数的 12 次齐次多项式。
• 路径求和表示为结式提供了组合解释，即作为格路路径上的生成函数，类似于量子力学中的费曼路径积分。
• 通过将结式嵌入具有非高斯相互作用的泛函积分中，推导出矩阵积分表示，将高斯积分方法推广至非线性系统。
• 该方法通过迹与对称多项式的紧凑代数形式编码结式，成功规避了直接展开中项数的指数增长。