[論文レビュー] Gaussian Behavior of the Number of Summands in Zeckendorf Decompositions in Small Intervals

Andrew Best, Patrick Dynes+6 more|arXiv (Cornell University)|Sep 1, 2014

Advanced Combinatorial Mathematics参考文献 20被引用数 11

ひとこと要約

本稿では、$[F_n, F_{n+1})$ の小さな部分区間内の整数のゼッケンドルフ分解における和項の個数が、適切に正規化された場合、部分区間の長さが $F_{\beta(n)}$ によって $n$ と共に増加するような関数 $eta(n)$ を通じて、正規分布に収束することを確立している。主な洞察は、ほとんどすべての $m$ に対して、その分解における十分に大きなギャップが存在すれば、$[0, F_{\alpha(n)})$ への双対写像が可能となり、そこではガウス型の挙動が既に知られているため、その分布的結果をより小さな区間へと移すことができるというものである。

ABSTRACT

Zeckendorf's theorem states that every positive integer can be written uniquely as a sum of non-consecutive Fibonacci numbers ${F_n}$, with initial terms $F_1 = 1, F_2 = 2$. We consider the distribution of the number of summands involved in such decompositions. Previous work proved that as $n o \infty$ the distribution of the number of summands in the Zeckendorf decompositions of $m \in [F_n, F_{n+1})$, appropriately normalized, converges to the standard normal. The proofs crucially used the fact that all integers in $[F_n, F_{n+1})$ share the same potential summands. We generalize these results to subintervals of $[F_n, F_{n+1})$ as $n o \infty$; the analysis is significantly more involved here as different integers have different sets of potential summands. Explicitly, fix an integer sequence $α(n) o \infty$. As $n o \infty$, for almost all $m \in [F_n, F_{n+1})$ the distribution of the number of summands in the Zeckendorf decompositions of integers in the subintervals $[m, m + F_{α(n)})$, appropriately normalized, converges to the standard normal. The proof follows by showing that, with probability tending to $1$, $m$ has at least one appropriately located large gap between indices in its decomposition. We then use a correspondence between this interval and $[0, F_{α(n)})$ to obtain the result, since the summands are known to have Gaussian behavior in the latter interval. % We also prove the same result for more general linear recurrences.

研究の動機と目的

• 全区間 $[F_n, F_{n+1})$ における和項数の既知の正規分布を、より小さな部分区間に拡張すること。
• 部分区間のサイズにどのような条件下で、ゼッケンドルフ分解における和項数が漸近的に正規分布に従うかを特定すること。
• $m \in [F_n, F_{n+1})$ の構造的性質を同定し、$[0, F_{\alpha(n)})$ における分布的結果を $[m, m + F_{\alpha(n)})$ へと移す要件を明らかにすること。
• $\alpha(n) \to \infty$ かつ $n - \alpha(n) \to \infty$ を満たすとき、部分区間長が $F_{\alpha(n)}$ であるならば、$[F_n, F_{n+1})$ のほとんどすべての $m$ に対して、そのガウス的挙動が成り立つことを示すこと。

提案手法

• $m$ の分解における中間インデックスに長さ2以上のギャップが存在する場合、$[m, m + F_{\alpha(n)})$ 内のゼッケンドルフ分解と $[0, F_{\alpha(n)})$ 内のそれとの間で双対写像を構築する。
• $[m, m + F_{\alpha(n)})$ 内の和項数の分布を $[0, F_{\alpha(n)})$ 内のそれと関連付けるために、シフト法を用い、誤差は関数 $q(n)$ で抑えられる。
• $[0, F_{\alpha(n)})$ 内の和項数が正規化された際に正規分布に収束することを示す既知の結果を適用し、平均は $\sim \alpha(n)/(\varphi + 2)$、分散は $\sim \varphi \alpha(n)/(5(\varphi + 2))$ となる。
• $[m, m + F_{\alpha(n)})$ 内の正規化済み和項数と $[0, F_{\alpha(n)})$ 内のそれとの差を $q(n)/\sigma_y(n)$ で抑え、標準正規分布への収束を保証するため $q(n) = o(\sqrt{n})$ を要求する。
• ギャップ条件の下で、両区間における正規化済み和項数の累積分布関数が漸近的に等価であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 $[F_n, F_{n+1})$ のどの部分区間において、ゼッケンドルフ分解における和項数が正規分布に収束するか。
• RQ2 $m \in [F_n, F_{n+1})$ にどのような構造的条件が、$[0, F_{\alpha(n)})$ における分布的結果を $[m, m + F_{\alpha(n)})$ へと移すことを可能にするか。
• RQ3 部分区間 $[m, m + F_{\alpha(n)})$ がどれほど小さくても、和項数におけるガウス的挙動を維持できるか。
• RQ4 ゼッケンドルフ表現における $m$ のギャップが、分布的移転を可能にする役割は何か。

主な発見

• $\alpha(n)$ が増加関数で $\alpha(n) \to \infty$ かつ $n - \alpha(n) \to \infty$ を満たすとき、$[F_n, F_{n+1})$ 内の整数のゼッケンドルフ分解における和項数は、ほとんどすべての $m \in [F_n, F_{n+1})$ に対して、標準正規分布に分布収束する。
• この収束は、$m$ がそのゼッケンドルフ表現に長さ2以上のギャップを持つという条件下で成立し、$n \to \infty$ のときその確率は1に近づく。
• $[m, m + F_{\alpha(n)})$ 内の正規化済み和項数は、$[0, F_{\alpha(n)})$ 内のそれと漸近的に等価であり、差は $q(n)/\sigma_y(n)$ で抑えられる。ここで $q(n) = o(\sqrt{n})$ である。
• $[0, F_{\alpha(n)})$ 内の和項数の平均は漸近的に $\alpha(n)/(\varphi + 2)$ に、分散は $\sim \varphi \alpha(n)/(5(\varphi + 2))$ に近づく。ここで $\varphi = (1 + \sqrt{5})/2$ である。
• この結果は、より一般的な線形再帰列に対しても拡張可能であるが、技術的複雑性が増加する。