A‑엄격 표준 에피스투르미아 단어의 거듭제곱 구조

초록

본 논문은 지시어가 특성 스투르미안 단어와 유사한 A‑엄격 표준 에피스투르미아 단어군을 대상으로, 이 무한 단어들에 나타나는 모든 정수 거듭제곱을 명시적으로 규명한다. 핵심 도구는 정규 분해와 피보나치 단어에서 도입된 특이 단어의 일반화이며, 이를 통해 k‑보나치 단어를 포함한 다양한 예시에서 결과를 확인한다.

상세 분석

에피스투르미아 단어는 알파벳 A 위에 정의된 무한 단어 계열로, 스투르미안 단어의 일반화라 할 수 있다. 특히 A‑엄격 표준 에피스투르미아 단어는 모든 문자 a∈A가 무한히 자주 등장하고, 각 단계에서 앞선 단어에 새로운 문자와 그 반전(역순)을 삽입하는 규칙을 따른다. 논문은 이러한 단어들의 지시어가 “특성 스투르미안” 형태, 즉 0·1·0·1·…과 같은 교대 패턴을 갖는 경우에 초점을 맞춘다.

이러한 지시어를 갖는 경우, 단어는 “canonical decomposition”이라 불리는 고유한 분해를 갖는다. 구체적으로, n번째 단계에서 얻어지는 부분어 sₙ은 sₙ₋₁와 새로운 문자 aₙ, 그리고 sₙ₋₁의 역순을 차례대로 연결한 형태이며, 이는 전통적인 피보나치 단어의 재귀식과 구조적으로 동일하다. 이때 등장하는 “singular word”는 sₙ₋₁와 aₙ 사이에 삽입되는 최소 길이의 블록으로, 피보나치 경우의 “Fibonacci singular word”를 일반화한 개념이다.

논문은 먼저 이러한 singular word들의 길이와 위치를 정확히 기술하고, 이를 이용해 임의의 정수 p≥2에 대해 wᵖ 형태의 거듭제곱이 단어 내에 존재하려면 w가 반드시 특정 singular word 혹은 그 연속 결합이어야 함을 증명한다. 이 과정에서 Damanik‑Lenz(2003)의 스투르미안 거듭제곱 결과를 확장하는데, 그들의 방법은 주로 회전 대칭과 부분어 복제 구조에 의존했지만, 여기서는 에피스투르미아 특유의 다중 문자 교환을 고려한 새로운 combinatorial argument을 도입한다.

주요 정리에서는 “모든 정수 거듭제곱은 정확히 다음과 같은 형태로만 나타난다”는 명시적 목록을 제공한다. 예를 들어, k‑보나치 단어(알파벳 크기 k≥2)에서는 길이 Fₙ(k)인 기본 블록이 등장하고, 그 블록의 p제곱은 n이 충분히 크면 반드시 존재한다는 것이 증명된다. 또한, 거듭제곱이 나타나는 최소 인덱스와 해당 블록의 길이 사이의 관계식도 제시되어, 알고리즘적 검증이 가능하도록 한다.

결과적으로, 이 논문은 A‑엄격 표준 에피스투르미아 단어군에서 거듭제곱 구조를 완전히 규정함으로써, 기존 스투르미안 이론을 다중 문자 환경으로 자연스럽게 확장하고, combinatorial word theory와 symbolic dynamics 사이의 연결 고리를 강화한다.