[論文レビュー] Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences

Rhodes Peele, Pantelimon Stănică|ArXiv.org|Oct 18, 2000

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

ひとこと要約

この論文は、列寄せパスカル行列 $L_n$ と $R_n$ の行列のべき乗を調査し、$L_n^e$ の閉形式表現 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ を導出するとともに、$R_n^e$ とフィボナッチ数の深い関係を明らかにした。主な貢献は、$R_n^e$ がフィボナッチ係数を含む線形再帰関係を満たし、素数 $p$ における $R_n$ の位数が $4e$ を割り切ることである。ここで $e$ はフィボナッチ数列が $p$ を法として現れる最初の位置（エントリーポイント）である。これにより、$p \equiv \pm 2 \pmod{5}$ の場合に、行列の位数に対するタイトな境界が得られ、その厳密性が示された。結果は $L_n$ および $R_n$ の逆行列や固有値に関する予想へと拡張され、組合せ行列とフィボナッチ数列の数論的性質の間の関係が結びつけられた。

ABSTRACT

If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.

研究の動機と目的

• 左寄せパスカル行列 $L_n$ の $e$ 乗 $L_n^e$ の要素に対する閉形式表現を導出すること。
• 右寄せパスカル行列 $R_n$ の $e$ 乗 $R_n^e$ についても同様の閉形式が存在するかを調査すること。ただし、単純な閉形式は得にくい。
• $R_n^e$ とフィボナッチ数列との構造的関係を、特にフィボナッチ数を係数とする再帰関係を通じて確立すること。
• 素数 $p$ を法とする $R_n$ の位数を特定し、それが $4e$ を割り切ることを示すこと。ここで $e$ はフィボナッチ数列が $p$ を法として現れる最初の位置（エントリーポイント）である。
• これらの結果をモジュラー行列の位数に拡張し、特に $p \equiv \pm 2 \pmod{5}$ の場合に、$R_n$ の周期に対するタイトな境界を示すこと。

提案手法

• 数学的帰納法と行列乗算を用いて、$L_n^e$ の閉形式表現 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ を導出する。
• $R_n^e$ の場合、境界条件 $a_{1,n} = 1$、$a_{1,j} = 0$（$j \neq n$）を満たす再帰テーブルを定義し、$i \geq 2$、$j \geq 1$ に対して $a_{i,j} = a_{i-1,j-1} + a_{i-1,j}$ と定義する。
• $R^2$ および $R^3$ の再帰関係を導出し、それぞれ $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$ および $c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$ が成り立つことを示した。
• 一般の再帰関係を確立：$F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$ であり、$R_n^e$ の要素がフィボナッチ数と関係していることを示す。
• フィボナッチ数列が $p$ を法とするときの性質、特にエントリーポイントとピサノ周期を用いて、$R_n$ が $p$ を法とする位数を分析する。
• ブロム＝ウォールの定理やフェルマーの小定理といった既知の数論的結果を応用し、$R_n^e$ のモジュラー恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての $e$ に対して、$L_n^e$ の要素に対する閉形式表現を導出可能か？
• RQ2 $R_n$ のべき乗とフィボナッチ数列との間に構造的関係は存在するか？
• RQ3 素数 $p$ を法とする $R_n$ の位数は何か？ そして、フィボナッチ数列が $p$ を法として現れる最初の位置（エントリーポイント）とどのように関係するか？
• RQ4 $R_n$ の位数に対してタイトな境界を確立でき、かつその境界が達成可能か？
• RQ5 $R_n$ の固有値は黄金比やフィボナッチ数とどのように関係するか？

主な発見

• $L_n^e$ の要素は、帰納法と行列乗算により証明された閉形式 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ で与えられる。
• $R_n^2$ の要素は、行列乗算と境界条件を用いて導出された再帰関係 $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$ を満たす。
• $R_n^3$ の要素は、行列乗算と再帰関係の繰り返し適用により、$c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$ を満たすことが示された。
• $R_n^e$ の要素は一般再帰関係 $F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$ を満たし、行列のべき乗とフィボナッチ数が結びついている。
• 素数 $p$ を法とする $R_n$ の位数は $4e$ を割り切り、ここで $e$ はフィボナッチ数列が $p$ を法として現れる最初の位置（エントリーポイント）である。この境界は $p \equiv \pm 2 \pmod{5}$ の場合にタイトである。
• $p \equiv \pm 1 \pmod{5}$ の場合、$R_n^{p-1} \equiv I_n \pmod{p}$ であり、$p \equiv \pm 2 \pmod{5}$ の場合、$R_n^{p+1} \equiv (-1)^{n-1} I_n \pmod{p}$ であり、さらに $R_n^{2p+2} \equiv I_n \pmod{p}$ が成り立つ。