독립 치환과 구간성에 관한 새로운 정리

초록

이 논문은 정규 언어 위에 정의된 추상 수 체계에 대해, 각 체계마다 자연스럽게 대응되는 치환을 구성한다. 문자 성장 차수를 이용해 두 치환이 ‘독립’임을 정의하고, 하나는 지수적 성장, 다른 하나는 다항식 성장을 가질 때, 두 치환으로 생성된 무한 문자열의 무한히 자주 나타나는 부분문자열들은 유한한 간격으로 반복된다는 주요 결과를 증명한다. 이를 통해 다항식 성장과 지수적 성장 두 추상 수 체계가 동시에 적용될 경우, 코브함 정리와 유사한 강력한 구분 정리를 얻는다.

상세 분석

본 연구는 추상 수 체계(abstract numeration system, ANS)를 정규 언어 L 위에 구축하고, L의 구조를 반영하는 치환 σ_L을 정의함으로써 시작한다. 치환은 각 알파벳 기호 a에 대해 L∩aΣ* 를 순서대로 나열한 뒤, 그 열을 새로운 단어로 매핑하는 방식으로 구성된다. 이때 각 기호의 성장 차수는 σ_L이 반복 적용될 때 해당 기호가 생성하는 단어 길이의 증가율을 의미하며, 이는 다항식 성장(O(n^k)) 혹은 지수적 성장(Θ(c^n)) 형태로 구분된다.

두 치환 σ₁, σ₂가 ‘독립’이라는 개념은, 각각의 성장 차수가 서로 서로소이며, 특히 한 치환이 지수적 성장, 다른 하나가 다항식 성장일 때를 말한다. 저자는 이 독립성 조건 하에서, 두 치환이 동시에 생성하는 무한 문자열 x에 대해 ‘무한히 자주 나타나는 부분문자열(infinite recurrent factors)’이 존재한다면, 그 출현 간격이 상한값을 갖는다는 정리를 증명한다. 핵심 아이디어는 다음과 같다.

1. 성장 차수와 빈도 분석: 지수적 성장 치환은 특정 기호가 급격히 늘어나면서 전체 문자열의 밀도를 지배한다. 반면 다항식 성장 치환은 상대적으로 균등한 분포를 유지한다. 두 치환이 독립이면, 한쪽의 급격한 성장은 다른 쪽의 균등성을 방해하지 못한다는 점을 보인다.

2. 공통 부분문자열의 구조: x가 σ₁와 σ₂에 의해 동시에 생성되면, x는 두 치환의 고정점(limit word)들의 교차점으로 볼 수 있다. 이 교차점에서 무한히 반복되는 부분문자열은 각각의 치환이 만든 ‘돌출 구간(peak blocks)’에 포함된다.

3. 간격 유계성 증명: 각 치환의 반복 단계 n에 대해, 해당 단계에서 생성되는 블록 길이는 성장 차수에 따라 명시적으로 계산 가능하다. 독립성으로 인해 두 블록 길이의 비율이 일정 범위 내에 머무르므로, 특정 부분문자열이 나타나는 위치 사이의 거리도 상수 상한을 갖는다. 이를 정밀히 다루기 위해 저자는 ‘연속적인 사전 순서(lexicographic) 구간’과 ‘표준 전이 그래프(standard transition graph)’를 이용해 복합적인 마코프 체인 모델을 구성한다.

4. Cobham‑type 정리 도출: 위 결과를 활용하면, 다항식 성장 ANS와 지수적 성장 ANS가 동시에 적용될 때, 두 시스템이 정의하는 언어가 동일한 경우에는 그 언어가 결국 정규 언어에 귀속된다는 결론을 얻는다. 이는 전통적인 Cobham 정리(정수 기반 자동수 체계에 대한)와 구조적으로 유사하지만, 보다 일반적인 추상 수 체계와 치환 프레임워크에 적용될 수 있다.

이러한 분석은 기존의 자동수 이론과 치환 동역학 사이의 연결 고리를 강화하고, 특히 비정규 언어를 다루는 새로운 방법론을 제공한다. 또한, 성장 차수와 독립성 개념을 통해 복합 시스템에서의 반복 구조와 간격 제어를 정량화하는 도구를 제시함으로써, 형식 언어 이론, 동적 시스템, 그리고 계산 복잡도 연구에 폭넓은 응용 가능성을 열어준다.