[논문 리뷰] On the number of summands in Zeckendorf decompositions

Murat Koloğlu, Gene S. Kopp외 2명|arXiv (Cornell University)|2010. 08. 19.

Advanced Algebra and Geometry참고 문헌 6인용 수 38

한 줄 요약

이 논문은 [Fₙ, Fₙ₊₁) 내 정수의 제코프 분해에서의 합성수 개수의 분포를 조사하며, n → ∞ 일 때 합성수 개수가 정규 분포(가우시안 분포)로 수렴함을 증명한다. 조합론적 방법과 스타링의 근사법을 사용하여 평균 합성수 개수는 점점 n/(φ² + 1)에 수렴하며, 분산과 고차모멘트는 정규 분포의 것과 수렴함을 확립한다.

ABSTRACT

Zeckendorf proved that every positive integer has a unique representation as a sum of non-consecutive Fibonacci numbers. Once this has been shown, it's natural to ask how many summands are needed. Using a continued fraction approach, Lekkerkerker proved that the average number of such summands needed for integers in $[F_n, F_{n+1})$ is $n / (φ^2 + 1) + O(1)$, where $φ= \frac{1+\sqrt{5}}2$ is the golden mean. Surprisingly, no one appears to have investigated the distribution of the number of summands; our main result is that this converges to a Gaussian as $n o\infty$. Moreover, such a result holds not just for the Fibonacci numbers but many other problems, such as linear recurrence relation with non-negative integer coefficients (which is a generalization of base $B$ expansions of numbers) and far-difference representations. In general the proofs involve adopting a combinatorial viewpoint and analyzing the resulting generating functions through partial fraction expansions and differentiating identities. The resulting arguments become quite technical; the purpose of this paper is to concentrate on the special and most interesting case of the Fibonacci numbers, where the obstructions vanish and the proofs follow from some combinatorics and Stirling's formula; see [MW] for proofs in the general case.

연구 동기 및 목표

• 구간 [Fₙ, Fₙ₊₁) 내 정수의 제코프 분해에서 합성수 개수의 분포를 조사하며, 기존의 평균 사례를 초월하여 확장한다.
• 합성수 개수가 소수의 약수 개수에 대한 에르되시–카크 정리와 유사한 중심극한정리 유형의 정리에 따르는지 여부를 규명한다.
• n → ∞ 일 때 합성수 개수의 분포가 정규 분포(가우시안 분포)로 수렴함을 증명하며, 특히 피보나치 수와 관련된 선형 재귀 수열에 대해 다룬다.
• 일반적인 양의 선형 재귀 수열(PLRS) 사례에서 사용된 기술적 장치를 피하고, 피보나치 사례에 대해 간결한 조합론적 증명을 제공한다.
• 기타 재귀 수열으로의 일반화를 위한 기초를 마련하며, 이를 통해 백터 기반 전개와 원거리-차이 표현 등으로 확장한다.

제안 방법

• 제코프 분해에서 정확히 k개의 합성수를 가지는 [Fₙ, Fₙ₊₁) 내 정수의 수를 세는 조합론적 접근을 취하며, 이를 Nₙ(k)로 표기한다.
• 생성함수와 부분분수 전개를 사용하여 합성수 개수의 분포를 분석하며, 특히 Nₙ(k)의 지수 생성함수에 초점을 맞춘다.
• 스타링의 근사법을 적용하여 이항계수와 피보나치 수의 점근적 근사를 분석함으로써 Nₙ(k) 및 Sₙ(k), 즉 합성수 개수의 합을 분석한다.
• 이항항등식과 재귀관계(예: E(n) = (n−2)Fₙ₋₃ − E(n−2))를 사용하여 평균 합성수 개수의 닫힌형 표현식을 유도한다.
• 피보나치 수에 대한 바이네의 공식을 사용하여 Fₙ을 포함하는 합을 표현하고, 기하급수를 통해 근사함을 분석함에 있어 특히 교대합의 경우에 유용하게 사용한다.
• 생성함수를 미분하고 ∑j x^j 및 ∑j j x^j와 관련된 항등식을 적용하여 오차항을 제어하고 주요 점근적 행동을 추출한다.

실험 결과

연구 질문

• RQ1 n → ∞ 일 때, [Fₙ, Fₙ₊₁) 내 정수의 제코프 분해에서 합성수 개수가 정규 분포로 수렴하는가?
• RQ2 이러한 분해에서 합성수 개수의 평균과 분산의 점근적 행동은 어떠한가?
• RQ3 피보나치 사례에 대해 기초적인 조합론과 스타링의 근사법을 사용하여 합성수 개수의 중심극한정리를 증명할 수 있는가?
• RQ4 합성수 개수의 분포는 피보나치 수를 초월하여 비음수 계수를 가진 다른 선형 재귀 수열으로 어떻게 일반화되는가?
• RQ5 황금비 φ는 합성수 개수의 점근적 평균을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 구간 [Fₙ, Fₙ₊₁) 내 정수의 제코프 분해에서 합성수 개수는 n → ∞ 일 때 정규 분포(가우시안 분포)로 수렴한다.
• 합성수 개수의 기댓값은 점점 n/(φ² + 1) + O(1)로 수렴하며, 여기서 φ = (1 + √5)/2는 황금비이다.
• 합성수 개수의 분산 역시 n에 비례하여 증가하며, 평균이 n/(φ² + 1)인 정규 분포의 분산과 일치한다.
• 저자들은 평균 합성수 개수에 대한 정확한 점근적 표현식을 유도한다: E(n) = n Fₙ₋₁ / (φ² + 1) + O(Fₙ₋₂).
• 조합론과 스타링의 공식에 기반한 증명 기법은 일반적인 PLRS 사례보다 훨씬 단순하며, 복잡한 부분분수 분해를 피한다.
• 결과는 피보나치 수를 초월하여 기저-B 전개와 원거리-차이 표현을 포함한 광범위한 재귀 수열 클래스로 확장되며, 일반 사례는 별도의 논문에서 다루어진다.