무한 접두 정규어의 새로운 지평

초록

본 논문은 무한 이진 문자열 중 ‘접두 정규( prefix‑normal)’ 성질을 만족하는 단어들을 체계적으로 연구한다. 유한 접두 정규어를 확장하는 두 연산(flip‑ext, lazy‑flip‑ext)을 정의하고, 이들로 생성되는 무한 단어들의 밀도, 주기성, Sturmian·Thue‑Morse·Champernowne 등 유명한 수열과의 관계를 밝힌다. 또한 접두 정규 형태와 아벨리안 복잡도 사이의 깊은 연관성을 입증하고, 사전순(Lexicographic) 정렬과의 연결고리까지 제시한다.

상세 분석

논문은 먼저 접두 정규성을 ‘어떤 길이 i에 대해 접두의 1의 개수 P(i)가 그 길이 i의 모든 인자 중 1의 최대 개수 F₁(i)와 일치한다’는 정의로 정립한다. 이 정의는 유한·무한 모두에 적용 가능하며, 최소 밀도 δ(w)=inf D(i)와 최소‑밀도 접두 ι(w) 같은 파라미터를 도입해 구조적 특성을 정량화한다. 핵심 연산인 flip‑ext은 현재 접두 정규어 w에 최소한의 0‑블록을 삽입하고 뒤에 1을 붙여 새로운 정규어를 만든다. 이 연산은 최소 밀도를 보존하고, 반복 적용시( flip‑ext^ω ) 얻어지는 무한 단어가 동일한 시작 접두를 갖는 모든 접두 정규어 중 가장 ‘밀도가 높은’(즉, 각 위치에서 가능한 최대 1의 수를 갖는) 단어임을 정리 1·2에서 증명한다. lazy‑flip‑ext는 목표 밀도 α를 미리 정하고, α 이하로 떨어지지 않도록 0을 가능한 많이 추가한 뒤 1을 붙이는 방식이다. 이 연산 역시 정규성을 유지하며, α=δ(w)일 때 생성되는 무한 단어는 주어진 시작 접두를 갖는 모든 정규어 중 1의 총 개수가 최소인(즉, 가장 ‘희소한’) 단어가 된다(정리 3).

Sturmian 단어와의 관계는 특히 흥미로운데, 논문은 ‘특정 기울기 α의 특성 단어 c_α에 앞에 단 하나의 1을 붙이면(prefix 1 c_α) 무한 접두 정규어가 된다’는 정리 2를 제시한다. 이는 모든 Sturmian 단어가 적절히 앞에 1을 추가하면 정규성이 확보된다는 의미이며, c‑balanced(특히 1‑balanced) 성질을 이용한 일반화(Lemma 5)도 제공한다. 반면, Thue‑Morse와 Champernowne 단어는 각각 두 개의 1을 앞에 붙이면 정규성이 회복되지만, Champernowne는 어떤 유한 개의 1을 앞에 붙여도 정규성을 얻을 수 없다는 부정적 결과를 보여준다.

아벨리안 복잡도와의 연결은 ‘접두 정규 형태가 주어지면 해당 단어의 아벨리안 복잡도 함수를 정확히 복원할 수 있다’는 정리 3으로 요약된다. 이를 통해 Sturmian·Thue‑Morse·균등 모핑 이미지 등에서 접두 정규 형태를 명시적으로 계산하고, 역으로 아벨리안 복잡도 정보를 이용해 정규 형태를 추정한다(정리 5, Corollary 3).

마지막으로 사전순 관점에서, 접두 정규 단어와 무한 Lyndon 단어, 그리고 max/min‑word 개념을 비교한다. 특히, 정리 8은 ‘최소 밀도 δ(w)와 최소‑밀도 접두 ι(w)만 알면 해당 단어가 주기적, 궁극적 주기적, 혹은 비주기적인지 판별 가능’하다는 실용적 기준을 제공한다. 전체적으로 논문은 접두 정규성이라는 새로운 시각을 통해 무한 이진 문자열의 구조를 다각도로 조명하고, 기존 이론(스투르미안, 아벨리안 복잡도, 사전순)과의 깊은 연계성을 입증한다.