[論文レビュー] Central Limit Theorems for Gaps of Generalized Zeckendorf Decompositions

Ray Li, Steven J. Miller|arXiv (Cornell University)|Jun 27, 2016

Advanced Mathematical Theories and Applications参考文献 11被引用数 10

ひとこと要約

本稿は、正の線形再帰列 ${ G_n \u007d$ に対して、$[G_n, G_{n+1})$ から抽出された整数の一般化されたゼッケンドルフ分解におけるサイズ $g$ のギャップ数についての中心極限定理を確立する。$n \to \infty$ のとき、ギャップ数の分布は正規分布に収束し、平均および分散の両方が $n$ に対して線形に増加する。また、正の先頭係数を持つ明示的な漸近公式を導出する。

ABSTRACT

Zeckendorf proved that every integer can be written uniquely as a sum of non-adjacent Fibonacci numbers $\{1,2,3,5,\dots\}$. This has been extended to many other recurrence relations $\{G_n\}$ (with their own notion of a legal decomposition) and to proving that the distribution of the number of summands of an $M \in [G_n, G_{n+1})$ converges to a Gaussian as $n o\infty$. We prove that for any non-negative integer $g$ the average number of gaps of size $g$ in many generalized Zeckendorf decompositions is $C_μn+d_μ+o(1)$ for constants $C_μ> 0$ and $d_μ$ depending on $g$ and the recurrence, the variance of the number of gaps of size $g$ is similarly $C_σn + d_σ+ o(1)$ with $C_σ> 0$, and the number of gaps of size $g$ of an $M\in[G_n,G_{n+1})$ converges to a Gaussian as $n o\infty$. The proof is by analysis of an associated two-dimensional recurrence; we prove a general result on when such behavior converges to a Gaussian, and additionally re-derive other results in the literature.

研究の動機と目的

• 一般化されたゼッケンドルフ分解における $[G_n, G_{n+1})$ 内の整数のサイズ $g$ のギャップ数の漸近的分布を確立すること。
• $n \to \infty$ のとき、サイズ $g$ のギャップ数が確率変数として正規分布に収束することを証明すること。
• サイズ $g$ のギャップ数の平均および分散の明示的な漸近公式を導出し、両者が $n$ に対して線形に増加することを示し、先頭係数が正であることを示すこと。

提案手法

• サイズ $g$ のギャップをもつ $[G_n, G_{n+1})$ 内の整数の個数を記述する2次元の再帰関係を分析し、母関数および再帰的分解技法を用いる。
• 2次元線形再帰にノイズを含む一般結果を適用し、適切な条件下で正規性への収束を確立する。
• $[G_n, G_{n+1})$ 内のランダムな整数が正確に $k$ 個のサイズ $g$ のギャップをもつ確率 $p_{g,n,k}$ の明示的な再帰関係を、列 ${ G_n \u007d$ の構造に基づいて導出する。
• スペクトル解析および母関数法を用いて再帰を解き、関連する線形系の主要固有値 $\lambda_1$ に注目する。
• 既知のゼッケンドルフ分解における和項数に関する結果を再導出し、手法の妥当性を確認する。
• 主固有ベクトルおよび固有値構造の分析により、平均および分散の線形漸近展開における先頭係数 $C_\mu > 0$ および $C_\sigma > 0$ の正の性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたゼッケンドルフ分解における $[G_n, G_{n+1})$ 内の整数のサイズ $g$ のギャップ数は、$n \to \infty$ のとき正規分布に収束するか？
• RQ2 平均および分散の $n$ の増加に伴う漸近的形態は何か？
• RQ3 すべての有効な再帰列およびギャップサイズ $g$ に対して、平均および分散の線形漸近展開における先頭係数 $C_\mu$ および $C_\sigma$ は厳密に正か？
• RQ4 ギャップ数の解析に用いた手法を、ゼッケンドルフ分解における和項数に関する既知の結果を再導出可能か？

主な発見

• ランダムに選ばれた $[G_n, G_{n+1})$ 内の整数におけるサイズ $g$ のギャップ数は、$n \to \infty$ のとき確率変数として正規分布に収束し、中心極限定理を満たす。
• サイズ $g$ のギャップ数の期待値は、漸近的に $C_\mu n + d_\mu + o(1)$ に収束し、$C_\mu > 0$ かつ $d_\mu$ は $g$ および再帰列に依存する定数である。
• サイズ $g$ のギャップ数の分散は、漸近的に $C_\sigma n + d_\sigma + o(1)$ に収束し、$C_\sigma > 0$ であるため、線形増加が確認される。
• すべての非自明なギャップサイズ $g$ およびすべての正の線形再帰列に対して、先頭係数 $C_\mu$ および $C_\sigma$ は厳密に正であり、非退化な極限挙動が保証される。
• 本手法は、ゼッケンドルフ分解における和項数に関する既知の結果を成功裏に再導出し、その一般性および正しさを裏付けた。
• 2次元再帰がギャップ数を記述する場合、ガウス的フラクチュエーションが生じることを確認し、中心極限定理の枠組みをギャップ統計に拡張した。