[논문 리뷰] Gaussian Behavior of the Number of Summands in Zeckendorf Decompositions in Small Intervals

Andrew Best, Patrick Dynes외 6명|arXiv (Cornell University)|2014. 09. 01.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 11

한 줄 요약

이 논문은 $[F_n, F_{n+1})$의 작은 부분구간 내 정수의 제코프 분해에서의 항의 수가, 부분구간 길이가 $F_{\beta(n)}$ 방식으로 $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})$에서의 항 수의 알려진 정규분포를 더 작은 부분구간으로 확장하기.
• 제코프 분해에서의 항 수가 점차적으로 정규분포를 띠게 되는 부분구간 크기 조건을 규명하기.
• $[0, F_{\alpha(n)})$에서의 분포 결과를 $[m, m + F_{\alpha(n)})$로 전이할 수 있도록 하는 $m \in [F_n, F_{n+1})$의 구조적 성질을 규명하기.
• 부분구간 길이가 $F_{\alpha(n)}$이고 $\alpha(n) \to \infty$, $n - \alpha(n) \to \infty$일 때, 거의 모든 $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))$로 정규분포로 수렴함을 보임.
• 정규화된 항 수의 차이를 $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 제코프 표현에서의 간격이 분포 전이를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 증가하는 함수 $\alpha(n)$에 대해 $\alpha(n) \to \infty$ 이면서 $n - \alpha(n) \to \infty$일 경우, 거의 모든 $m \in [F_n, F_{n+1})$에 대해 $[m, m + F_{\alpha(n)})$ 내 정수의 제코프 분해에서의 항 수는 표준정규분포로 수렴한다.
• 이 수렴은 $m$의 제코프 표현에서 길이 2 이상의 간격이 존재할 조건 하에 성립하며, 이 조건은 $n \to \infty$일 때 확률 1로 성립한다.
• 정규화된 항 수의 차이는 $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$이다.
• 결과는 더 일반적인 선형재귀수열로도 확장 가능하나, 기술적 복잡도가 증가한다.