피보나치와 린든 단어의 관계

초록

본 논문은 비문자 린든 단어가 두 개의 짧은 린든 단어로 분해될 수 있다는 기본 성질을 이용해, 길이 n 인 린든 단어가 가져야 하는 서로 다른 린든 부분단어의 최소 개수를 기존의 log₂ 기반 하한보다 더 정확한 log_φ 기준으로 개선한다. 피보나치 린든 단어가 이 하한을 정확히 달성함을 보이고, 무한 반복어에 대해서는 린든 부분단어 개수를 세는 함수 Lₓ를 정의하여, 재발 무한어가 비주기적일 필요충분조건을 피보나치 무한어와의 비교를 통해 제시한다.

상세 분석

논문은 먼저 린든 단어의 정의와 기본 성질을 재정리한다. 특히 “비문자 린든 단어는 두 개의 짧은 린든 단어의 연결”이라는 명제는 기존 연구에서 알려졌지만, 이를 통해 얻을 수 있는 하한이 log₂ n + 1이라는 점을 지적한다. 저자는 이 하한이 실제보다 크게 느슨하다는 점을 관찰하고, 피보나치 수열의 성장률인 황금비 φ (≈1.618…)와의 연관성을 탐색한다. 피보나치 수열 Fₖ 은 Fₖ₊₁ = Fₖ + Fₖ₋₁ 이라는 재귀 관계를 가지며, 그 비율이 φ 에 수렴한다는 사실을 이용해, 길이 n 인 린든 단어를 최소 ⌊log_φ n⌋ + 1개의 린든 부분단어로 분해할 수 있음을 증명한다. 핵심 아이디어는 “피보나치 린든 단어”라 부르는 특수한 구조를 가진 단어군을 구성하는 것이다. 이 군은 Fₖ 길이의 단어가 Fₖ₋₁ 과 Fₖ₋₂ 라는 두 짧은 린든 단어의 연결로 이루어지며, 따라서 재귀적으로 분해 과정을 진행하면 정확히 log_φ n 단계가 필요함을 보인다. 이 과정을 통해 기존 log₂ 기반 하한이 실제 최소값보다 과도하게 높다는 것을 수학적으로 입증한다.

다음으로 저자는 무한 문자열 x 에 대해 Lₓ(n) = 길이 ≤ n 인 린든 부분단어의 개수라는 함수를 정의한다. 이 함수는 문자열의 복잡도와 주기성을 측정하는 새로운 도구로 활용된다. 특히 “재발(infinite recurrent) 문자열이 비주기적이면 Lₓ ≥ L_f”라는 정리를 증명한다. 여기서 f 는 전통적인 피보나치 무한어(예: 010010100…)이며, L_f 는 피보나치 구조가 제공하는 최소 복잡도 한계값이다. 반대로, 만약 Lₓ 가 L_f 와 정확히 일치한다면 x 는 피보나치 무한어의 시프트 궤도 폐쇄(shift orbit closure) 안에 존재한다는 강력한 동등성도 제시한다. 이는 피보나치 무한어가 “복잡도 최소 비주기적 문자열”이라는 특성을 갖는다는 의미이며, 복잡도 이론과 형식 언어 이론 사이의 교량 역할을 한다.

결과적으로 논문은 린든 단어와 피보나치 수열 사이의 깊은 수학적 연결고리를 밝히고, 이를 통해 문자열 복잡도와 주기성 분석에 새로운 기준을 제공한다. 특히 log_φ n + 1이라는 하한은 기존 연구보다 훨씬 정확하며, 피보나치 린든 단어가 이 하한을 정확히 달성함을 보여줌으로써 최적성을 입증한다. 또한 Lₓ 함수와 피보나치 무한어와의 비교를 통해 무한 문자열의 비주기성을 판별하는 새로운 방법론을 제시한다는 점에서 이론적 의의가 크다.