피보나치 k 구간 합성수열의 성질과 응용

초록

본 논문은 피보나치 수열의 k-구간(Φₙ,ₖ = F_{nk}/F_k)에 대한 합성 연산을 일반화한 Φₙ,ₖ^{(s)} 를 정의하고, 이들의 명시적 전개식, Binet 형태식, 그리고 Chebyshev 제2종 다항식 및 Lucas 수와의 깊은 관계를 제시한다. 또한 암호학적 스트림 암호 설계에 활용될 수 있는 수학적 특성을 탐구한다.

상세 분석

논문은 먼저 기존의 피보나치 수열 Fₙ과 그 일반화인 합성 피보나치 수 Fₙ^{(s)}(s≥1)를 소개한다. 여기서 합성은 Φₙ,ₖ^{(1)} = Σ_{j=0}^{n-1} Φ_{j+1, k} Φ_{n‑j, k} 로 정의되며, s>1일 때는 Φₙ,ₖ^{(s)} = Σ_{j=0}^{n-1} Φ_{j+1, k} Φ_{n‑j, k}^{(s‑1)} 로 재귀적으로 확장된다. k=1이면 기존 피보나치와 동일함을 확인한다.

주요 결과는 두 가지 형태의 닫힌식이다. 첫 번째는 이항계수를 이용한 전개식
Φₙ,ₖ^{(s)} = 5^{‑s}(F_k)^{‑2s‑1} ∑{j=0}^{s} (‑1)^{(k‑1)j} C{n+2s}^{ j} C_{n+s‑1‑j}^{ n‑1} F_{k(n+2s‑2j)}
이며, 여기서 C는 이항계수이다. 두 번째는 φ = (1+√5)/2 를 이용한 Binet‑형식으로, φ와 φ^{‑1}의 거듭제곱과 이항계수의 조합으로 Φₙ,ₖ^{(s)} 를 표현한다. 이 식은 k가 짝수·홀수일 때 각각 다른 형태를 갖으며, Lucas 수 L_k 로도 재작성 가능하다.

생성함수 접근법을 통해 Φₙ,ₖ와 Φₙ,ₖ^{(s)} 의 모듈러 관계를 도출한다. 기본 피보나치의 생성함수 f(z)=z/(1‑z‑z²) 와 k‑구간의 생성함수 \hat f_k(z)=z/(1‑L_k z + (‑1)^k z²) 를 이용해, Chebyshev 제2종 다항식 U_n(z) 의 표준 생성함수 g(z,t)=1/(1‑2tz+z²) 와 연결한다. 특히, z g(z/i,i/2)=f(z) 와 z g(z,3/2)=\hat f(z) 를 이용해 Φₙ,ₖ 를 U_{n‑1}(·) 로 표현하고, 합성 수열 Φₙ,ₖ^{(s)} 은 U_n^{(s)}(·) (s차 도함수) 로 나타낸다.

이러한 관계는 식 (10)–(21) 에서 구체화되며, 특히 식 (20) 은 Φₙ,ₖ^{(s)} = (2s)!⁻¹ U_{n+s‑1}^{(s)}(i² L_k) (k 홀수) 혹은 U_{n+s‑1}^{(s)}(½ L_k) (k 짝수) 로 표현한다. 이를 φ와 Lucas 수를 이용한 Binet‑형식으로 변환하면, 기존의 합성 피보나치 수와 동일한 구조를 갖는 일반화된 형태를 얻는다.

논문은 또한 Φₙ,ₖ^{(s)} 가 기존 OEIS에 등재되지 않은 새로운 정수열임을 강조하고, 몇몇 특수 경우(k=3, s=1,2,3 등) 에 대해 구체적인 수열을 제시한다. 예를 들어 Φ_{n,3}^{(1)} = {1,8,50,280,…} 은 격자 경로 수와 연관된 A005570 와 동일하지만, 고차 합성(k≥3, s≥2) 은 아직 등록되지 않았다.

암호학적 관점에서, 이러한 수열은 긴 의사난수열을 생성하는 선형 시프트 레지스터(LFSR)의 비선형 변형으로 활용될 수 있다. 높은 차수의 합성 연산은 선형 복구 공격에 대한 저항성을 높이며, Binet‑형식과 Chebyshev 다항식의 미분 구조는 효율적인 구현 및 분석을 가능하게 한다.

결론적으로, 논문은 피보나치 k‑구간의 합성 구조를 체계적으로 정리하고, 이항계수, Binet‑식, Chebyshev 다항식, Lucas 수 사이의 풍부한 상호작용을 밝혀냈다. 이는 순수 수학적 흥미뿐 아니라 스트림 암호 설계에 실용적인 도구를 제공한다.