[论文解读] Computing with matrix invariants

Vesselin Drensky|ArXiv.org|Jun 30, 2005

Advanced Topics in Algebra参考文献 50被引用 24

一句话总结

本文全面综述了复数域上一般线性群 $GL_n(\mathbb{C})$ 对 $d$ 个矩阵进行同时共轭作用下的不变量理论，重点研究最小生成集、定义关系以及希尔伯特系列的重数。主要贡献在于对 $n=3, d=2$ 和 $n=4, d=2$ 两种情形下，显式计算了重数级数和希尔伯特系列重数的渐近公式，结果通过对称函数理论与计算机辅助代数技术推导得出。

ABSTRACT

This is an improved version of the talk of the author given at the Antalya Algebra Days VII on May 21, 2005. We present an introduction to the theory of the invariants under the action of GL(n,C) by simultaneous conjugation of d matrices of size n x n. Then we survey some results, old or recent, obtained by a dozen of mathematicians, on minimal sets of generators, the defining relations of the algebras of invariants and on the multiplicities of the Hilbert series of these algebras. The picture is completely understood only in the case n=2. Besides, explicit minimal sets of generators are known for n=3 and any d and for n=4, d=2. The multiplicities of the Hilbert series are obtained only for n=3,4 and d=2. For n > 2 most of the concrete results are obtained with essential use of computers.

研究动机与目标

• 综述 $GL_n(\mathbb{C})$ 对 $d$ 个矩阵进行同时共轭作用下不变量理论的最新研究进展。
• 总结这些不变量代数的最小生成集、定义关系以及希尔伯特系列的已知结果。
• 为两个 $3\times3$ 和两个 $4\times4$ 矩阵的不变量代数 $C_{32}$ 和 $C_{42}$，呈现其希尔伯特系列中不可约表示重数的显式公式。
• 强调计算机代数在推导这些结果中的作用，尤其是在 $n>2$ 的情形下，此时闭式结果极为罕见。

提出的方法

• 利用对称函数与舒尔函数，将不变量代数的希尔伯特系列表示为生成函数的形式。
• 计算两变量对称函数的重数级数 $M'(f,t,v)$，以提取表示重数。
• 应用莫利恩-维耳公式与有理函数分解，分析希尔伯特系列的结构。
• 使用计算机代数系统推导并验证复杂数理有理表达式中的重数级数。
• 利用迹代数 $T_{nd}$ 与矩阵不变量代数 $C_{nd}$ 之间的关系，实现结果转移，例如 $m_\lambda(T_{nd}) \approx c \cdot m_\lambda(C_{nd})$。
• 通过严格的代数验证，修正并完善早期研究中关于 $C_{32}$ 的技术性错误。

实验结果

研究问题

• RQ1 在 $GL_n(\mathbb{C})$ 对 $d$ 个矩阵进行同时共轭作用下，不变量代数的结构是怎样的？
• RQ2 当 $n=3$ 且 $d$ 任意，或 $n=4$ 且 $d=2$ 时，不变量代数的最小生成集是什么？
• RQ3 这些不变量代数的生成元之间存在哪些定义关系？
• RQ4 不变量代数 $C_{nd}$ 的希尔伯特系列是什么？其不可约分量如何分解？
• RQ5 在 $C_{32}$ 和 $C_{42}$ 的希尔伯特系列中，不可约表示重数的渐近公式是什么？

主要发现

• 对于 $n=3$, $d=2$，$C_{32}$ 的希尔伯特系列重数级数被显式计算为 $t$ 和 $v$ 的有理函数，其闭式表达式涉及对称有理函数。
• 当 $p>2q$ 时，重数 $m(p,q)$ 的渐近行为为 $\frac{p^2 q^5}{17280} - \frac{11pq^6}{103680} + \frac{71q^7}{1451520} + \mathcal{O}((p+q)^6)$；当 $2q \geq p \geq q$ 时，采用另一有理表达式，并包含一个涉及 $(2q-p)^7$ 的修正项。
• 对于 $n=4$, $d=2$，重数 $m_\lambda(C_{42})$ 表示为三项之和 $m_1 + m_2 + m_3$，每项均为 $\lambda_1, \lambda_2$ 的显式有理函数，包含 $\lambda_1 - \lambda_2$ 和 $\lambda_2$ 的高次单项式，系数涉及阶乘以及 2、3 和 5 的幂次。
• 迹代数 $T_{32}$ 的重数级数约为 $C_{32}$ 的九倍，即 $m_\lambda(T_{32}) \approx 9m_\lambda(C_{32})$；对于 $T_{42}$，其重数级数约为 $16m_\lambda(C_{42})$，仅在低阶项上存在差异。
• 目前方法尚无法处理 $C_{33}$ 和 $T_{33}$ 的情形，因为对称函数在三个或更多变量下的技术尚不足以支持具体计算。
• 本文修正了早期关于 $C_{32}$ 研究中的技术性错误，并通过严格的代数验证确认了所推导重数级数的有效性。