스투르미안 단어의 아벨리안 반환 특성

초록

본 논문은 아벨리안 반환이라는 개념을 도입하여 스투르미안 단어를 새롭게 규정한다. 모든 인수(요소)마다 두 개 또는 세 개의 아벨리안 반환만을 갖는 무한 반복 단어가 정확히 스투르미안 단어임을 증명하고, 반환의 구조와 주기성 사이의 관계도 탐구한다.

상세 분석

논문은 먼저 전통적인 반환(return word) 개념을 복습하고, 이를 아벨리안 동등성(문자들의 순서를 무시하고 개수만 동일함)으로 일반화한다. 아벨리안 반환은 특정 요인의 아벨리안 동등 클래스에 속하는 모든 등장 위치를 고려해, 그 사이에 나타나는 구간을 아벨리안 클래스로 묶어 정의한다. 주요 정리는 “아벨리안 반환이 두 개 또는 세 개인 모든 인수가 존재하는 무한 반복 단어는 정확히 스투르미안 단어이다”라는 것인데, 이는 기존의 ‘각 인수가 두 개의 반환을 가진다’는 정리와 직접적인 유사성을 보인다. 그러나 아벨리안 경우에는 반환의 개수가 2 또는 3이 될 수 있다는 미묘한 차이가 있다. 저자는 이를 증명하기 위해 (1) 알파벳 크기 k에 대한 일반적인 주기성 조건을 제시하는 Lemma 1을 도입하고, (2) 스투르미안 단어의 특수한 구조—특히 오른쪽·왼쪽 특수성, 이중특수성, 그리고 singular factor(아벨리안 클래스가 하나뿐인 인자)—를 활용한다. Proposition 2와 Corollary 1을 통해 반환이 문자 자체이거나 aBb 형태(여기서 a≠b, B는 이중특수)임을 보이며, 이러한 형태가 스투르미안 단어에서 반환의 길이를 제한한다. 또한, 균형성(balanced) 특성을 이용해 아벨리안 반환이 네 개 이상 발생하면 주기성을 강제한다는 Lemma 1의 역방향이 성립하지 않음을 논증한다. 마지막으로, 충분성 증명에서는 아벨리안 반환이 두 개 혹은 세 개인 경우가 모두 singular factor와 비singular factor(아벨리안 클래스가 두 개인 경우)로 구분됨을 보이고, 이를 통해 스투르미안 단어의 완전한 특성화를 마무리한다. 전체 흐름은 기존 반환 이론을 아벨리안 환경에 맞게 재구성하고, 새로운 정리와 보조 명제들을 통해 스투르미안 단어를 아벨리안 반환 관점에서 완전히 규정한다는 점에서 학문적 기여가 크다.