[论文解读] Algebraic G-functions associated to matrices over a group-ring

Jean Bellissard, Stavros Garoufalidis|ArXiv.org|Aug 30, 2007

Mathematical Dynamics and Fractals参考文献 51被引用 5

一句话总结

该论文证明了有限秩自由群的群环上矩阵的幂迹生成函数是代数G-函数，方法基于非交换有理函数与代数函数及Haiman关于上下文无关语言的定理。该结果表明，此类矩阵的范数是代数可计算的数，其格林函数是代数的，该结果在算子代数、自由概率论和数学物理中有应用。

ABSTRACT

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.

研究动机与目标

• 建立有限秩自由群群环上矩阵的格林函数的代数性。
• 将生成函数的微分-代数性质与群论中的词问题及形式语言理论相联系。
• 将G-函数的结果推广至非交换设置，特别是在自由概率论与谱论的背景下。
• 通过非交换函数理论，为群环元素的范数可计算性提供新的代数证明。
• 探讨在量子力学与凝聚态物理中，代数生成函数的泛函分析与物理意义。

提出的方法

• 应用Haiman定理，该定理将非交换变量上的有理与代数幂级数与上下文无关语言相联系。
• 利用自由群群环中矩阵幂的迹，定义生成函数 R_P(z)。
• 证明矩生成函数是非交换变量上的代数幂级数矩阵。
• 借助Chomsky-Schützenberger定理关于上下文无关语言，证明 R_P(z) 的代数性。
• 通过变换 z → 1/z 将生成函数与预解迹相联系，从而关联到谱论。
• 使用Schur补方法作为替代的泛函分析证明，该方法在量子化学与固态物理中具有相关性。

实验结果

研究问题

• RQ1 对于自由群 F_r 的群环上任意矩阵 P，其迹的幂的生成函数 R_P(z) 是否为代数函数？
• RQ2 当群为有限秩自由交换群时，生成函数是否仍为G-函数？
• RQ3 鉴于双曲群的词问题为上下文无关语言，R_P(z) 的代数性是否可推广至双曲群？
• RQ4 R_P(z) 与其阿贝尔化 R_P^ab(z) 的奇点之间有何关系？
• RQ5 非交换变量下的Holonomic函数如何定义，其结构为何？

主要发现

• 对于任意矩阵 P ∈ M_N(Q[F_r])，当 F_r 为有限秩自由群时，其生成函数 R_P(z) 是代数G-函数。
• M_N(Q[F_r]) 中任意元素的范数是代数可计算的数，该结论由 R_P(z) 的代数性推出。
• 与 P 相关的格林函数是代数的，为 L(F_r) 中算子提供了精确的谱信息。
• 矩生成函数是非交换变量上的代数幂级数矩阵，该结果强于 R_P(z) 的代数性。
• 对于自由交换群，生成函数 R_P(z) 是G-函数，但不一定是代数的。
• Schur补方法提供了泛函分析解释，将结果与量子系统中的预解迹及谱测度相联系。