[論文レビュー] A Simple Method Which Generates Infinitely Many Congruence Identities

Bau-Sen Du|ArXiv.org|Jun 16, 2007

History and Theory of Mathematics参考文献 2被引用数 6

ひとこと要約

本稿では、区分的線形関数の周期的点の個数を計算するために、記号的表現手法を導入する。再帰的に定義された関数に対して、最小周期 $ m $ の周期的点の個数が $ m $ で割り切れることが証明され、無限個の合同恒等式が得られる。主な結果として、一般化フィボナッチ数やラウス数を含む、再帰的数列 $ \phi_n(m) $ の族に対して $ \Phi_1(m, \phi_n) \equiv 0 \pmod{m} $ が成り立つことが示された。

ABSTRACT

A simple method called symbolic representation for piecewise linear functions on the real line is introduced and used to compute the numbers of periodic points of all periods for some such functions. Since, for every positive integer m, the number of periodic points of minimal period m must be divisible by m, we obtain infinitely many congruence identities.

研究の動機と目的

• 実数直線上の区分的線形関数における周期的点を分析するための記号的手法の開発。
• 古典的ケース（例：$ n^m $）を越えて、既知の合同恒等式を拡張すること、例えばフェルマーの小定理の一般化。
• 線形再帰関係によって定義される再帰的数列 $ \phi_n(m) $ が、$ m $ を法として無限個の新しい合同恒等式を生成することの証明。
• 特性多項式の支配的根を用いて、周期的点の個数の漸近的成長率を確立すること。

提案手法

• 記号的表現手法により、区分的線形写像 $ f_n $ の反復における区間の進化を追跡し、桁の列に動的挙動を符号化する。
• 方程式 $ f_n^k(x) = x $ の解の個数は $ c_{k,n} $ として計算され、これは周期 $ k $ の周期的点の総数を表す。
• 隣接する区間間の遷移の個数 $ a_{k,i,j,n} $ に対する再帰的関係が導かれる。これらは $ c_{k,n} $ の計算に用いられる。
• 初期値 $ c_{k,n} = 2^k - 1 $（$ 1 \leq k \leq n-1 $）を満たし、$ k \geq n $ に対して $ c_{k,n} = \sum_{i=1}^{n-1} c_{k-i,n} $ が成り立つ再帰的関係が、数列 $ \phi_n(m) $ を定義する。
• 関数 $ \Phi_1(m, \phi_n) $ は、$ m $ の約数の上での包含除算と、ムビウス型の逆算を用いて計算される。
• $ \phi_n(m) $ の成長率は、$ x^{n-1} - \sum_{k=0}^{n-2} x^k $ の最大の根 $ \alpha_n $ に対して $ \log \alpha_n $ の指数的成長を示す。

実験結果

リサーチクエスチョン

• RQ1 記号的表現手法は、区分的線形写像における周期的点の個数に関して、無限個の合同恒等式を生成できるか？
• RQ2 実数直線上に再帰的に定義された関数のクラスにおける周期軌道の構造はいかなるものか？
• RQ3 このような再帰的数列に対して、最小周期 $ m $ の周期的点の個数は $ m $ を法としてどのように振る舞うか？
• RQ4 これらの関数に対して、周期的点の個数の漸近的成長率は何か？
• RQ5 線形再帰関係によって定義される一般化フィボナッチ数に類似した数列 $ \phi_n(m) $ は、$ \Phi_1(m, \phi_n) \equiv 0 \pmod{m} $ を満たすか？

主な発見

• すべての $ n \geq 3 $ に対して、再帰的に定義された関数 $ \phi_n(m) $ は $ \Phi_1(m, \phi_n) \equiv 0 \pmod{m} $ を満たし、無限個の新しい合同恒等式が得られる。
• $ \phi_n(m) $ の初期値は $ 1 \leq m \leq n-1 $ に対して $ 2^m - 1 $ であり、$ k \geq 0 $ に対して $ \phi_n(n+k) = \sum_{j=1}^{n-1} \phi_n(n+k-j) $ が成り立つ。
• 方程式 $ f_n^m(x) = x $ の解の個数は正確に $ \phi_n(m) $ に等しく、この個数は $ m $ で割り切れるという条件を満たす。
• $ \phi_n(m) $ の漸近的成長率は、$ x^{n-1} - \sum_{k=0}^{n-2} x^k $ の唯一の正の実根 $ \alpha_n $ に対して $ \log \alpha_n $ である。
• $ n=3 $ の場合、数列 $ \phi_3(m) $ はラウス数に対応する：$ 1, 3, 4, 7, 11, 18, 29, \dots $。
• 本手法は、フェルマーの小定理に関連する既知の恒等式を一般化し、任意の線形再帰次数を持つ再帰的数列へと拡張する。