[论文解读] Elements of Finite Order in the Riordan Group

Marshall M. Cohen|arXiv (Cornell University)|Jun 17, 2018

Advanced Combinatorial Mathematics被引用 2

一句话总结

本文解决了在特征零域上的Riordan群中关于有限阶元素的两个基础问题：它刻画了所有满足 $ (g(x), F(x)) $ 阶为 $ n $ 的生成函数 $ g(x) $，并根据共轭关系对这些元素进行了分类。主要贡献是给出了有限阶Riordan阵的特征向量的完整刻画，从而导出了新的组合恒等式，并给出了C. Marshall关于对合元素定理的新证明。

ABSTRACT

We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions posed by L. Shapiro for the case $n = 2$ (`involutions'): Given a formal power series $F(x)$ of finite compositional order and an integer $n\geq 2$, Theorem 1 states, exactly which $g(x)$ make $\big(g(x), F(x)\big)$ a Riordan element of order $n$. Theorem 2 classifies finite-order Riordan group elements up to conjugation in $\cal R$. Viewing $\cal R$ as a group of infinite lower triangular matrices, we interpret Theorem 1 in terms of existence of eigenvectors and Theorem 2 as a normal form for finite order Riordan arrays under similarity. These lead to Theorem 3, a formula for all eigenvectors of finite order Riordan arrays; and we show how this can lead to interesting combinatorial identities. We then relate our work to papers of Cheon and Kim which motivated this paper and we solve the Open question which they posed. Finally, this circle of ideas gives a new proof of C. Marshall's theorem, which finds the unique $F(x)$, given bi-invertible $g(x)$, such that $\big(g(x), F(x))$ is an involution.

研究动机与目标

• 解决关于Riordan群中有限阶元素的开放问题，特别是将Shapiro的对合问题推广到任意阶 $ n \geq 2 $。
• 利用群论与矩阵理论方法，根据共轭关系对所有有限阶Riordan群元素进行分类。
• 推导出有限阶Riordan阵特征向量的一般公式，从而导出新的组合恒等式。
• 将结果与Cheon和Kim的前期工作联系起来，解决他们提出的开放问题。
• 基于新推导的特征向量公式，给出C. Marshall关于Riordan群中对合元素定理的新证明。

提出的方法

• 将Riordan群 $ \mathcal{R} $ 建模为形式幂级数群的半直积，从而能够分析其复合阶性质。
• 利用定理1，给定 $ F(x) $ 具有有限复合阶时，确定所有使得 $ (g(x), F(x)) $ 阶为 $ n $ 的 $ g(x) $。
• 应用共轭不变性，根据相似性对有限阶元素进行分类，从而得到一种标准型。
• 从无限下三角矩阵的角度解释结果，识别出有限阶Riordan阵的特征向量。
• 基于群结构与复合动力学，推导出有限阶Riordan阵特征向量的一般公式。
• 利用特征向量公式生成组合恒等式，并重新推导出Marshall关于对合元素的定理。

实验结果

研究问题

• RQ1 对于给定的具有有限复合阶的正式幂级数 $ F(x) $ 和整数 $ n \geq 2 $，哪些 $ g(x) $ 使得 $ (g(x), F(x)) $ 成为阶为 $ n $ 的Riordan元素？
• RQ2 如何在 $ \mathcal{R} $ 中根据共轭关系对所有有限阶Riordan群元素进行分类？
• RQ3 有限阶Riordan阵的特征向量的一般公式是什么？该公式如何用于推导组合恒等式？
• RQ4 这些结果如何解决Cheon和Kim在其关于有限阶元素的研究中提出的开放问题？
• RQ5 有限阶Riordan阵的结构能否为Marshall关于对合元素的定理提供一种新证明？

主要发现

• 定理1完整刻画了所有满足 $ (g(x), F(x)) $ 阶为 $ n $ 的 $ g(x) $，前提是 $ F(x) $ 具有有限复合阶。
• 定理2根据共轭关系对所有有限阶Riordan群元素进行了分类，给出了相似下的标准型。
• 定理3给出了有限阶Riordan阵所有特征向量的一般公式，将群结构与线性代数性质联系起来。
• 特征向量公式导出了基于Riordan阵谱性质的新组合恒等式。
• 结果解决了Cheon和Kim在其关于Riordan群中有限阶元素研究中提出的开放问题。
• 作为特征向量公式与共轭分类的推论，得到了C. Marshall关于对合元素定理的新证明。