[論文レビュー] Invariant number triangles, eigentriangles and Somos-4 sequences

Paul Barry|arXiv (Cornell University)|Jul 27, 2011

Advanced Mathematical Theories and Applications参考文献 7被引用数 3

ひとこと要約

本稿は、リオーダン行列理論を用いて、下三角行列に対する新規変換—(a,b)-プロセスと呼ばれるもの—を導入し、連分数および母関数に関連する不変行列を特定する。このプロセスから得られる特定の数列のヘンケル変換が、ソモス-4再帰を満たすことを確立し、行列反復を用いてタケウチ数やベル数といった数列を構成するための固有行列三角形（eigentriangles）の概念を導入する。

ABSTRACT

Using the language of Riordan arrays, we look at two related iterative processes on matrices and determine which matrices are invariant under these processes. In a special case, the invariant sequences that arise are conjectured to have Hankel transforms that obey Somos-4 recurrences. A notion of eigentriangle for a number triangle emerges and examples are given, including a construction of the Takeuchi numbers.

研究の動機と目的

• 下三角行列に1が対角線上に並ぶような、新規の行列変換である(a,b)-プロセスを定義し、その分析を行う。
• 特にリオーダン行列の文脈において、行列がこのプロセスに対して不変となる条件を同定する。
• (a,b)-プロセスによって生成される数列のヘンケル変換を調査し、それらがソモス-4再帰とどのように関係するかを検討する。
• 固有行列三角形の概念を形式化し、それらがタケウチ数やベル数といった特別な整数列を構成するうえでの有用性を示す。

提案手法

• (a,b)-プロセスは、要素を下方にずらし、修正された行列の逆行列をとる変換として定義される。
• 本稿では、行列を母関数のペア(g(x), f(x))として表現するリオーダン行列理論を用い、不変行列を特徴付ける。
• 不変行列を特徴付けるための連分数方程式を、母関数f(x)について導出する。
• 本手法は、母関数の恒等式および合成逆関数を用い、特にf(x)が特定の関数方程式を満たすとき(f(x), x)が不変であることを示す。
• 固有行列三角形の構成は、再帰的行列乗算および行列の逆行列を用いた反復的列生成によって形式化される。
• このアプローチにより、ベル数やタケウチ数といった数列が、カタラン行列や二項行列といった既知の行列の固有行列三角形と結びつけられる。

実験結果

リサーチクエスチョン

• RQ1 どの下三角行列が(a,b)-プロセスに対して不変であり、それらを特徴付ける母関数の条件は何か？
• RQ2 (a,b)-プロセスによって生成される数列のヘンケル変換は、ソモス-4再帰を満たすか？もしそうならば、どのような条件下で成立するか？
• RQ3 固有行列三角形の概念を体系的に定義し、既知の行列から新しい整数列を生成する応用にどう活用できるか？
• RQ4 既知の数列、たとえばタケウチ数やベル数は、標準的なリオーダン行列からの固有行列三角形の構成によって再構成可能か？

主な発見

• (a,b)-プロセスに対して、f(x)が関数方程式 f(x) = 1 / (1 - ax - (b-1)x² - x²f(x)) を満たすとき、リオーダン行列 (f(x), x) は不変である。
• 不変行列の最初の列の母関数は、g(x) = 1 / (1 - ax - bx² - x²g(x)) で与えられ、カタラン数を含む閉形式の表現が得られる。
• (a,b)-プロセスによって生成される数列のヘンケル変換は、ソモス-4再帰に従うと予想され、本手法が非線形再帰数列と関連していることが示唆される。
• カタラン行列 (c(x), xc(x)) の固有行列三角形が構成され、既知の数列配列との行列乗算によりタケウチ数が生成されることを示した。
• ベル数は二項行列 (1/(1-x), x/(1-x)) の固有列として現れ、固有行列三角形の構成により a_n = sum_{k=0}^{n-1} binom(n-1,k) a_k という再帰式が得られる。
• カタラン行列の固有行列三角形の最初の列は、列番号A091768に対応し、タケウチ数の構成におけるその役割が裏付けられた。