일반화 피보나치 수열의 최대 주기와 조건 S에 관한 연구

1. 서론에서는 피보나치 수열을 일반화한 형태 x_n = ±x_{n‑s} ± x_{n‑r} (mod 2^w) 를 소개하고, 이러한 재귀식이 난수 생성에 널리 쓰이는 배경을 설명한다. 차수 r>0, 초기값이 모두 짝수가 아닌 경우에만 순환열이 보장된다는 점을 강조한다. 2. 기본 정의와 기초 정리에서는 다항식 Q(t)=∑_{j=0}^r q_j t^j 로 선형 재귀를 표현하고, 역전 가능성(q_0·q_r가 홀수)과 ρ_w(=t의 최소 주기) 를 도입한다. λ는 Q(t)의 원시성에 대응하는 지표이며, λ|2^r‑1 이다. 3. Lemma 1은 Hensel 보조정리를 이용해 P(t) 가 mod 2 가 가역이면 모든 w≥1 에 대해 mod 2^w 도 가역임을 보인다. Lemma 2는 p_w=ρ_w 를 증명하고, 이는 주기가 다항식 자체에만 의존함을 의미한다. 4. “조건 S”를 정의한다. Q(t)^2+Q(−t)^2≡2 q_r Q(t^2) (mod 8) 라는 식은 다항식의 계수들만으로 검증 가능하도록 Lemma 3에서 전개된다. 여기서 ε_m = q_m(q_m−q_r)^2 로 정의하고, ∑_{j+k=2m} q_j q_k ≡ ε_m (mod 2) 가 성립하면 조건 S를 만족한다. 5. Lemma 4는 제곱 연산에 대한 모듈러 상승 특성을 정리한다. 특히 X≡Y (mod 2^w) ⇒ X^2≡Y^2 (mod 2^{w+1}) 를 이용해 조건 S가 주기에 미치는 영향을 단계적으로 분석한다. 6. Theorem 1은 조건 S와 t^λ≡±1 (mod 4, Q) 사이의 동치성을 증명한다. 증명은 Q(t)를 짝·홀 부분 V(t^2)+tW(t^2) 로 분해하고, λ가 홀수임을 이용해 V,W 의 제곱 관계를 전개한다. 7. Theorem 2는 조건 S의 존재 여부에 따라 p_w 의 상한을 정확히 규정한다. - Q(−t) 가 조건 S이면 p_w ≤ 2^{w‑2}·λ (w≥2) - Q(t) 가 조건 S이면 p_w ≤ 2^{w‑2}·λ (w≥3) - 두 경우 모두 아니면 p_w = 2^{w‑1}·λ (모든 w≥1) 증명은 ρ_w = ord_{(2^w,Q)}(t) 를 이용하고, Theorem 1에서 얻은 t^{2^{w‑2}λ}=1 (mod 2^w) 를 귀납적으로 확장한다. 8. 삼항식에 대한 특수화에서는 Q(t)=1+t^s+t^r (r>s>0) 를 고려한다. Theorem 3은 r>2 이고 Q가 원시 삼항식이면 Q와 Q(−t) 모두 조건 S를 만족하지 않으므로, p_w = 2^{w‑1}(2^r‑1) 가 된다. 증명은 조건 S가 삼항식에 강제하는 짝·홀 인덱스 관계를 이용해 모순을 도출한다. 9. Theorem 4는 r=2s 인 경우에도 같은 결론이 성립함을 보여, 차수가 짝수이면서도 원시성을 유지하는 경우를 포괄한다. 10. 예외 다항식 섹션에서는 조건 S와 계수 제한(q_j∈{−1,0,1}, q_0=q_r=1) 을 동시에 만족하는 다항식을 “예외”라 정의한다. 이러한 다항식은 원시이지만 주기가 최대가 아니므로 실제 난수 생성에 부적합하다. 저자는 차수 15 이하까지 모든 예외 다항식을 열거하고, 그 수가 매우 제한적임을 보고한다. 11. 결론에서는 조건 S가 주기 최적화 판단 기준으로서의 효율성을 강조한다. 기존에 행렬 거듭제곱을 이용해 O(r^3 log w) 정도의 복잡도가 필요했던 방법에 비해, 조건 S 검증은 O(r^2) 혹은 FFT 사용 시 O(r log r) 로 크게 개선된다. 또한, 원시 삼항식이 널리 사용되는 Mersenne‑prime 기반 난수 생성기에서 최대 주기가 보장됨을 재확인한다. 전체적으로 이 논문은 2진수 모듈러 선형 재귀의 주기 이론을 간결한 대수적 조건 하나로 통합하고, 실용적인 검증 절차와 예외 다항식 분류를 제공함으로써 난수 생성기 설계와 암호학적 스트림 암호 구현에 중요한 이론적·실무적 기여를 한다.