[논문 리뷰] A simplified Binet formula for k-generalized Fibonacci numbers

Gregory P. Dresden|arXiv (Cornell University)|2009. 05. 04.

Advanced Combinatorial MathematicsMathematics참고 문헌 5인용 수 20

한 줄 요약

이 논문은 트리보나치, 테트라나치 등과 같은 k-일반화 피보나치 수열을 위한 단순화된 바인에 타입의 공식을 제시한다. 이 공식은 특성방정식의 지배적인 실근만을 사용하여 각 항을 공식의 첫 번째 항의 가장 가까운 정수로 표현한다. 주요 기여는 모든 n ≥ 2−k에 대해 공식의 지배적인 항을 반올림하면 정확한 k-일반화 피보나치 수열이 얻어진다는 것을 증명한 것이다. 이는 계산적으로 효율적이고 정확한 닫힌 형태의 표현을 제공한다.

ABSTRACT

We present a particularly nice Binet-style formula that can be used to produce the k-generalized Fibonacci numbers (that is, the Tribonaccis, Tetranaccis, etc). Furthermore, we show that in fact one needs only take the integer closest to the first term of this Binet-style formula to generate the desired sequence. These results were also found (independently) at about the same time by Zhaohui Du of Singapore, China. We are working on a joint paper.

연구 동기 및 목표

• 피보나치 수열의 일반화된 형태(예: 트리보나치, 테트라나치)에 대해 바인에 스타일의 공식을 사용하여 단순화된 닫힌 형태의 표현을 유도하는 것.
• 이 공식의 첫 번째 항에 가장 가까운 정수가 항상 k-일반화 피보나치 수열을 정확히 생성한다는 것을 보여주는 것.
• 모든 n ≥ 2−k에 대해 이 반올림 방법의 타당성을 입증하는 것. 이는 음의 인덱스를 포함한다.
• 이전 공식들을 단순화하고 오차 분석을 가능하게 하는 통합적이고 해석적으로 다룰 수 있는 표현을 제공하는 것.

제안 방법

• 특성 다항식 xᵏ − xᵏ⁻¹ − ⋯ − 1 = 0의 근 α₁,…,αₖ를 사용하여 Fₙ⁽ᵏ⁾에 대한 바인에 스타일의 공식을 유도한다.
• 이 근들에 대한 합으로 Fₙ⁽ᵏ⁾을 표현한다: Fₙ⁽ᵏ⁾ = Σᵢ₌₁ᵏ [ (αᵢ − 1) / (2 + (k+1)(αᵢ − 2)) ] αᵢⁿ⁻¹.
• 지배적인 실근 α > 1을 식별하고, 나머지 근들의 기여가 지수적으로 감소함을 보여준다.
• 오차 항 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹를 정의한다. 여기서 m⁽ᵏ⁾(α)는 지배적인 항의 계수이다.
• 수학적 귀납법과 재귀 성질을 이용하여 모든 n ≥ 2−k에 대해 |Eₙ| < 1/2임을 증명함으로써 반올림이 정확한 정수를 얻도록 보장한다.
• Eₙ의 재귀성을 이용하여, 만약 어떤 n ≥ 2에 대해 |Eₙ| ≥ 1/2라면, 오차의 비무한 증가가 발생하여 점점 감소하는 점근적 행동과 모순됨을 보여준다.

실험 결과

연구 질문

• RQ1 복잡한 근 기여를 피하는 단순화된 바인에 타입의 공식을 k-일반화 피보나치 수열에 대해 유도할 수 있는가?
• RQ2 모든 n ≥ 2−k에 대해 바인에 공식의 지배적인 항에 가장 가까운 정수가 정확히 Fₙ⁽ᵏ⁾와 일치하는가?
• RQ3 오차 항 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹의 행동은 어떠한가? 그리고 모든 관련 n에 대해 1/2 이내로 유계인지 여부는?
• RQ4 어떤 수열들(예: 스케일된 피보나치 수열)에서는 반올림 성질이 실패하는가? 그리고 이 성질을 허용하는 k-일반화 피보나치 수열과의 차이는 무엇인가?
• RQ5 계수 m⁽ᵏ⁾(α) = (α−1)/(2+(k+1)(α−2))는 스피커먼의 트리보나치 수열에 대한 이전 결과와 어떻게 관련이 있는가?

주요 결과

• 논문은 모든 n ≥ 2−k에 대해 Fₙ⁽ᵏ⁾ = Round[ m⁽ᵏ⁾(α)αⁿ⁻¹ ]임을 증명한다. 여기서 α는 xᵏ − xᵏ⁻¹ − ⋯ − 1 = 0의 유일한 양의 실근이다.
• 오차 항 Eₙ = Fₙ⁽ᵏ⁾ − m⁽ᵏ⁾(α)αⁿ⁻¹는 Fₙ⁽ᵏ⁾와 동일한 k차 선형 재귀를 만족하므로, 오차 제어에 대한 귀납적 접근이 가능하다.
• n = 0일 때, 모든 k ≥ 2에 대해 |E₀| = |m⁽ᵏ⁾(α)α⁻¹| < 1/2 이며, α > 2 − 1/(3k) 및 m⁽ᵏ⁾(α) < (3k−1)/(5k−1)를 이용해 명시적 유계를 도출하였다.
• n = 1일 때, m⁽ᵏ⁾(α) ∈ (1/2, 1) 이고 F₁⁽ᵏ⁾ = 1 이므로 |E₁| < 1/2 이다.
• 만약 어떤 n ≥ 2에 대해 |Eₙ| ≥ 1/2 라는 가정을 하면, 오차의 비무한 증가가 발생하여 점점 감소하는 점근적 행동과 모순되며, 이는 모순을 초래한다.
• 이 공식은 k=3(트리보나치)일 때 스피커먼의 이전 결과와 동치이며, 이는 일致성을 확인하고 모든 k ≥ 2로 일반화함을 보여준다.