스투르미안 단어의 아벨리안 주기와 피보나치 특성

초록

이 논문은 스투르미안 단어의 모든 인자(부분어)의 최소 아벨리안 주기 집합을 완전히 규명한다. 주요 결과는 각 최소 아벨리안 주기가 연속분수 전개에 등장하는 수렴분수의 분모 (q_k) 혹은 그 반중간분수 (q_{k,\ell}) 의 배수 형태임을 보이며, 이를 통해 피보나치 단어의 아벨리안 주기 집합이 피보나치 수열과 정확히 일치함을 재확인하고 새로운 특성으로 특징짓는다.

상세 분석

논문은 먼저 전통적인 주기 개념을 아벨리안 등가(문자 순서를 무시한 동치)로 확장한 ‘아벨리안 주기’를 정의한다. 기존 연구에서는 스투르미안 단어의 일반적인 주기 집합이 수렴분수의 분모 (q_k) 와 그 선형 결합 (\ell q_k+q_{k-1}) 로 기술된 반면, 아벨리안 주기에서는 이러한 형태만으로는 충분하지 않음이 알려졌다. 저자는 이를 보완하기 위해 두 종류의 후보값을 제시한다. 첫 번째는 (t q_k) 형태로, 여기서 (t)는 해당 부분어의 ‘아벨리안 폭’이라 할 수 있는 (a_{k+1}) 이하의 정수이다. 두 번째는 반중간분수의 분모 (q_{k,\ell}) 로, 이는 (q_k) 와 (q_{k-1}) 사이에 존재하는 중간 근사값을 의미한다. 핵심 정리(정리 1.4)는 “어떤 스투르미안 단어의 인자의 최소 아벨리안 주기 (m) 은 반드시 위 두 형태 중 하나이다”라고 명시한다.

증명 전략은 크게 두 단계로 나뉜다. 첫째, 아벨리안 주기가 되려면 특정 부등식(‘주기 부등식’)을 만족해야 함을 combinatorial하게 도출한다. 이 부등식은 인자의 길이와 문자 빈도 차이, 그리고 후보 주기 (m) 사이의 관계를 정량화한다. 둘째, 연속분수와 그 수렴·반중간분수의 수치적 특성을 이용해 위 부등식을 분석한다. 여기서 중요한 수학적 도구는 (q_k) 가 (\alpha) 를 최적 근사한다는 ‘최소 근사 성질’과, 반중간분수 (q_{k,\ell}) 가 두 연속된 (q_k) 사이에서 점차 0에 가까워지는 구조이다. 이러한 수론적 결과를 통해 후보값이 부등식을 만족하는 경우와 그렇지 않은 경우를 명확히 구분한다.

특히, 피보나치 수열에 해당하는 (\alpha=