[論文レビュー] Periodicity of the last digits of some combinatorial sequences

István Mező|arXiv (Cornell University)|Aug 7, 2013

Advanced Combinatorial Mathematics参考文献 29被引用数 31

ひとこと要約

この論文は、制限付きの集合分割や置換から導かれるさまざまな組合せ的数列、特に r-Fubini 数、制限付き Fubini 数、制限付き階乗、および関連 Fubini 数の、末尾の桁の周期性を確立している。これらの数列は、10 を法として周期的であり、周期は 4、5、または 20 であり、Fubini 数に関する以前の結果を拡張し、これらの合同式に対して組合せ的および代数的証明を提供している。

ABSTRACT

In 1962 O. A. Gross proved that the last digits of the Fubini numbers (or surjective numbers) have a simple periodicity property. We extend this result to a wider class of combinatorial numbers coming from restricted set partitions.

研究の動機と目的

• 制限付き集合分割から導かれる組合せ的数列のクラスに、O. A. Gross が 1962 年に発表した Fubini 数の末尾の桁の周期性に関する結果を拡張すること。
• r-Fubini 数、制限付き Fubini 数、制限付き階乗、および関連 Fubini 数に対して、末尾の桁に類似した周期的挙動が見られるかどうかを調査すること。
• 組合せ的および代数的技法を用いて、これらの数列の正確な周期長を特定し、それらの法合同式を証明すること。
• r-Bell 数や m > 3 の制限付き Bell 数ではなぜ周期性が成立しないのかを説明すること。
• 特に、最小ブロックサイズ m を持つ関連 Fubini 数の偶奇性および法に関する性質を分析し、n ≥ m のとき常に奇数であることを証明すること。

提案手法

• r-Stirling 数の第二種の和に階乗を乗じたものとして r-Fubini 数を定義・分析し、Fubini 数を一般化する。
• 集合分割や置換におけるブロックまたはサイクルのサイズ制限を導入することで、制限付き Fubini 数および制限付き階乗を定義する。
• 組合せ的議論および二項係数の恒等式を用いて、制限付き Stirling 数の閉形式表現を導出する。
• 特に 10 や 2 を法とする法的算術を用いて、末尾の桁の挙動を分析し、周期性を証明する。
• 直接的な差分の計算 Fn+T,r − Fn,r ≡ 0 (mod 10) を用いて周期性を証明し、数学的帰納法および二項係数の和の変形を応用する。
• 最小ブロックサイズ m を持つ関連 Fubini 数の偶奇性を、k! と k 個のブロック（各ブロックサイズが少なくとも m）を持つ分割の個数の和を分析することで確立する。

実験結果

リサーチクエスチョン

• RQ1 r-Fubini 数の末尾の桁は周期的であるか？ もしそうなら、周期長は何か？
• RQ2 ブロックまたはサイクルのサイズ制限がある制限付き Fubini 数および制限付き階乗は、末尾の桁に周期的挙動を示すか？
• RQ3 m > 3 のとき、r-Bell 数や制限付き Bell 数ではなぜ末尾の桁の周期性が成立しないのか？
• RQ4 最小ブロックサイズ m を持つ関連 Fubini 数（n ≥ m のとき）は常に奇数であるか？ また、10 を法として周期的挙動を示すか？
• RQ5 標準的な Fubini 数の周期 4 に対して、関連 Fubini 数ではなぜ周期が 20 にまで長くなるのか？

主な発見

• r-Fubini 数の末尾の桁は周期 4 で周期的である：すべての n, r ≥ 1 に対して Fn+4,r ≡ Fn,r (mod 10)。
• ブロックサイズが m 以下である制限付き Fubini 数について、n > 4 かつ m = 1, 2, 3, 4 のとき Fn,≤m ≡ 0 (mod 10)。
• 制限付き順列の和である制限付き階乗 An,≤m は、n > 2 かつ m = 2, 3, 4 のとき 10 を法として周期 5 で周期的である。
• 関連 Fubini 数 Fn,≥m は n ≥ m のとき常に奇数である、すなわち Fn,≥m ≡ 1 (mod 2)。
• 関連 Fubini 数の末尾の桁は周期 20 で周期的である：n ≥ 5 かつ m = 2, 3, 4, 5 のとき Fn+20,≥m ≡ Fn,≥m (mod 10)。
• m > 4 のとき、制限付き階乗 An,≤m ≡ 0 (mod 10) が n > m のとき成り立つことの証明により、このような場合に周期性が存在しないことを説明している。