사전 순서로 보는 유한·무한 에피스투르미아 단어의 특징화

초록

본 논문은 사전 순서(lexicographic order)를 이용해 유한 스투르미안·에피스투르미아 단어와 그 무한 확장들을 완전히 특징화한다. 유한 스투르미안(또는 에피스투르미아) 단어는 각각의 사전 최소·최대 접두어가 특정 형태를 만족함을 보이고, 이를 통해 모든 유한 스투르미안·에피스투르미아 단어를 정확히 구분한다. 또한, 이러한 유한 단어들의 집합을 인자로 하는 무한 단어들을 조사하여, 에피스투르미아와 에피스키우(에피스투르미아의 비정규 형태) 무한 단어들을 “넓은 의미”에서 특징화한다. 2문자 알파벳에 한정하면, 같은 방법으로 모든 균형 무한 단어(스투르미안·스큐 무한 단어)를 사전 순서로 완전히 규정한다.

상세 분석

이 연구는 사전 순서라는 아주 기본적인 비교 연산을 통해 복잡한 조합론적 구조인 스투르미안 및 에피스투르미아 단어군을 완전히 구분한다는 점에서 의미가 크다. 먼저 저자들은 유한 스투르미안 단어를 정의하고, 그들의 사전 최소 접두어와 사전 최대 접두어가 각각 ‘0…01…1’ 형태와 ‘1…10…0’ 형태를 띤다는 사실을 증명한다. 여기서 ‘0’과 ‘1’은 두 알파벳 문자에 대한 순서를 의미한다. 이러한 형태는 기존의 기하학적 정의(회전수, 기울기 등)와는 독립적으로, 순수히 문자열 자체만으로 스투르미안성을 판별할 수 있음을 보여준다.

에피스투르미아 단어는 다문자 알파벳에서도 정의되며, ‘표준 에피스투르미아 단어(standard episturmian word)’와 그 변형을 포함한다. 논문은 에피스투르미아 단어의 유한 부분어가 사전 최소·최대 접두어를 통해 특정한 ‘패턴’(예: a^k b a^{k-1} …)을 만족한다는 정리를 제시한다. 특히, 모든 유한 에피스투르미아 단어는 두 개의 사전 경계 문자열 L(w), R(w) 사이에 놓이며, L(w) ≤_lex w ≤_lex R(w) 를 만족한다는 점을 이용해, 주어진 문자열이 에피스투르미아인지 여부를 선형 시간 안에 판단할 수 있는 알고리즘적 함의를 도출한다.

무한 확장에 대해서는 ‘에피스키우(infinite episkew)’라는 개념을 도입한다. 이는 전통적인 에피스투르미아 무한 단어가 아닌, 모든 유한 부분어는 에피스투르미아이지만 전체 구조는 비주기적이며 ‘스큐(skew)’ 성질을 갖는 경우를 말한다. 저자들은 이러한 무한 단어들의 집합을 ‘넓은 의미의 에피스투르미아(in the wide sense)’라 정의하고, 앞서 제시한 유한 단어들의 사전 경계 조건을 무한히 연장함으로써 정확히 특징화한다. 즉, 어떤 무한 단어 x가 넓은 의미의 에피스투르미아라면, 모든 n에 대해 x