[論文レビュー] Elements of Finite Order in the Riordan Group

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

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

本稿は、特徴値ゼロの体上のリーダン群における有限位数の元に関する2つの基礎的問題を解決する。まず、$(g(x), F(x))$ が位数 $ n $ を持つような生成関数 $ g(x) $ をすべて同定し、次にそれらの元を共役に関して分類する。主な貢献は、有限位数のリーダン行列に対する固有ベクトルの完全な特徴付けであり、これにより新しい組合せ的恒等式が得られ、マーシャルの定理（対合に関する）の新たな証明が可能になる。

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.

研究の動機と目的

• リーダン群における有限位数の元に関する未解決問題を解き、特にシャピロの対合問題を任意の位数 $ n \geq 2 $ に一般化すること。
• 群論的および行列論的技法を用いて、リーダン群のすべての有限位数の元を共役に関して分類すること。
• 有限位数のリーダン行列の固有ベクトルに対する一般式を導出し、新しい組合せ的恒等式を可能にすること。
• チョンとキムの先行研究と関連づけ、彼らが提起した未解決問題を解くこと。
• リーダン群における対合に関するC.マーシャルの定理の新たな証明を提供すること。

提案手法

• 形式的べき級数群の半直積としてリーダン群 $ \mathcal{R} $ をモデル化し、合成位数の分析を可能にする。
• 定理1を用いて、$ F(x) $ が有限合成位数を持つ場合に、$ (g(x), F(x)) $ が位数 $ n $ を持つようなすべての $ g(x) $ を特定する。
• 共役不変性を適用して、類似性に関して有限位数の元を分類し、正規形を導出する。
• 無限下三角行列の観点から結果を解釈し、有限位数のリーダン行列の固有ベクトルを同定する。
• 群構造と合成的ダイナミクスに基づいて、有限位数のリーダン行列の固有ベクトルに対する一般式を導出する。
• 固有ベクトルの公式を用いて組合せ的恒等式を生成し、マーシャルの対合に関する定理を再導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた形式的べき級数 $ F(x) $ が有限合成位数を持ち、整数 $ n \geq 2 $ が与えられたとき、$ (g(x), F(x)) $ が位数 $ n $ のリーダン元となるような $ g(x) $ はどのようなものか？
• RQ2 リーダン群 $ \mathcal{R} $ 内で、すべての有限位数のリーダン群元を共役に関してどのように分類できるか？
• RQ3 有限位数のリーダン行列の固有ベクトルに対する一般式は何か？ また、その式はどのようにして組合せ的恒等式を導出するのに使えるか？
• RQ4 本研究の結果は、チョンとキムがリーダン群における有限位数の元に関して提起した未解決問題をどのように解消するか？
• RQ5 有限位数のリーダン行列の構造は、マーシャルの対合に関する定理の新たな証明を可能にするか？

主な発見

• 定理1は、$ F(x) $ が有限合成位数を持つ場合に、$ (g(x), F(x)) $ が位数 $ n $ を持つようなすべての $ g(x) $ を完全に特徴づける。
• 定理2は、すべての有限位数のリーダン群元を共役に関して分類し、類似性に関する正規形を導く。
• 定理3は、有限位数のリーダン行列のすべての固有ベクトルに対する一般式を提供し、群構造と線形代数的性質を結びつける。
• 固有ベクトルの公式は、リーダン行列の固有値的性質に基づく新しい組合せ的恒等式を導く。
• チョンとキムが提起したリーダン群における有限位数の元に関する未解決問題が、本研究の結果によって解消される。
• 固有ベクトルの公式と共役分類の結果から、C.マーシャルの対合に関する定理の新たな証明が得られる。