[论文解读] Computing with rational symmetric functions and applications to invariant theory and PI-algebras

Francesca Benanti, Silvia Boumova+3 more|arXiv (Cornell University)|Jan 21, 2012

Algebraic structures and combinatorial models参考文献 64被引用 8

一句话总结

本文提出了一种算法方法，利用Elliott在1903年提出的组合方法和MacMahon的$Ω$-演算（分拆分析），计算有理对称函数的重数级数，从而实现对不变量理论、PI-代数及非交换不变量理论中Hilbert级数和共特征序列的显式计算。关键贡献在于证明了任意‘良好’有理对称函数（分母为形如$1 - x^a$的二项式乘积）的重数级数本身也是有理函数，为长久以来的码度渐近性与不变量问题提供了构造性解法。

ABSTRACT

Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form (1 - monomial). We use a classical combinatorial method of Elliott of 1903 further developed in the Partition Analysis of MacMahon in 1916 to compute the generating function of the multiplicities (i.e., the coefficients) of the Schur functions in the expression of f. It is a rational function with denominator of a similar form as f. We apply the method to several problems on symmetric algebras, as well as problems in classical invariant theory, algebras with polynomial identities, and noncommutative invariant theory.

研究动机与目标

• 开发一种有效算法，用于计算对称代数与PI-代数中，有理对称函数的重数级数。
• 填补不变量理论与非交换代数中Hilbert级数与共特征序列构造性计算的空白。
• 将Berele关于重数级数有理性的理论结果，通过经典分拆分析方法扩展为算法框架。
• 将该方法应用于计算Weitzenböck导子作用下不变子代数的Hilbert级数，特别是$UT_2$-不变量与迹代数。

提出的方法

• 利用Elliott的1903年方法与MacMahon的$Ω$-演算（分拆分析），系统计算线性丢番图方程组的非负整数解的生成函数。
• 将该方法应用于将有理对称函数$f(X)$分解为Schur函数展开，计算重数级数$M(f;X)$为有理函数。
• 将相对自由代数的Hilbert级数转化为$d$个变量的对称函数，再应用重数级数计算以提取共特征序列。
• 基于Weitzenböck导子的若尔当代数标准型设计代换规则，将完整代数的Hilbert级数映射为不变子代数的Hilbert级数。
• 采用符号计算技术，为重数级数$M(f;x_1,\dots,x_d)$推导出闭式有理表达式，确保输出为有理函数，且分母形式与输入一致。
• 在经典不变量理论中的已知例子（如迹代数与$UT_2$-不变量）上验证该方法，结果与已有结论一致。

实验结果

研究问题

• RQ1 能否算法化地计算‘良好’有理对称函数（分母为形如$1 - x^a$的二项式乘积）的重数级数？
• RQ2 此类函数的重数级数是否仍为有理函数，且其闭式能否显式导出？
• RQ3 该方法能否应用于计算Weitzenböck导子作用下不变子代数的Hilbert级数，特别是$UT_2$-不变量？
• RQ4 PI-代数的共特征序列与它们Hilbert级数的重数级数之间有何关系，且能否实现构造性计算？
• RQ5 该方法在非交换不变量理论中，对混合迹代数与纯迹代数的推广程度如何？

主要发现

• 任意‘良好’有理对称函数$f$的重数级数$M(f;x_1,\dots,x_d)$是有理函数，且其分母形式与$f$相同，从而在算法构造上确认并扩展了Berele的理论结果。
• 对于$d=3$且仅含一个3维Weitzenböck导子的相对自由代数$F(U_2(K))$，不变子代数的Hilbert级数为$H(F_3(U_2(K))^\delta;t) = \frac{1-2t+t^2+4t^3-2t^4}{(1-t)^3(1-t^2)^2}$，该结果通过本方法显式计算得出。
• 当$d=4$且导子包含两个$2\times2$若尔当代数块时，不变子代数的Hilbert级数为$H(F_4(U_2(K))^\delta;t) = \frac{1+10t^3+23t^4+2t^5-8t^6+2t^8}{(1-t)^2(1-t^2)^5}$，表明该方法具有良好的可扩展性。
• 该方法证实了在某些代数中，$UT_2$-不变量与Weitzenböck不变量的Hilbert级数一致，如推论4.9所示，并在例4.10中得到验证。
• 对于包含一个3维与一个1维若尔当代数块的混合迹代数$T_{23}$，其不变子代数的Hilbert级数为$H(T_{23}^\delta;t) = \frac{1+2t^2+2t^3+2t^4+t^6}{(1-t)^2(1-t^2)^3(1-t^3)^2(1-t^4)}$，与$UT_2$-不变量级数完全一致。
• 该方法成功计算了二元对称函数的重数级数$M(f;x_1,x_2)$，得到如$M'(f;v_1,v_2) = \frac{1 - (v_1^2 + v_2)t + \cdots}{(1 - v_1^2 t)^2 (1 - v_2 t) (1 - v_2^2 t^2)^2}$等有理表达式，再代入$v_1=v_2=1$以获得最终的Hilbert级数。