회문 없는 무한 단어

초록

본 논문은 인자 집합이 역전(반전) 폐쇄성을 가지면서도 회문(팰린드롬) 인자가 유한 개만 존재하는 균등 재발 무한 단어의 존재를 증명한다. 이를 위해 특수한 대체 규칙을 이용해 단어를 생성하고, 그 단어가 균등 재발성, 역전 폐쇄성, 그리고 제한된 회문 집합을 동시에 만족함을 보인다.

상세 요약

논문은 먼저 “인자(factor)”, “역전(closed under reversal)”, “균등 재발(uniformly recurrent)”, “회문(palindromic) 인자”와 같은 기본 개념을 명확히 정의한다. 기존 연구에서는 역전 폐쇄성을 가진 무한 단어가 대개 풍부한 회문 구조를 갖는 것으로 알려져 있었으며, 특히 Sturmian 단어와 같은 최소 복잡도 단어는 무한히 많은 회문을 포함한다는 정리가 있다. 이러한 배경 하에 저자들은 “역전 폐쇄성 + 균등 재발성”이 반드시 무한 회문을 강제하지는 않음을 보이고자 한다.

핵심은 특수한 원시 대체(morphism) μ를 설계하는 데 있다. 알파벳 Σ={a,b,c}에 대해
 μ(a)=abc, μ(b)=acb, μ(c)=bac
와 같이 정의한다. μ는 각 이미지가 서로 역전 관계에 놓여 있어, μ(w)의 모든 인자는 w의 인자들의 역전도 동시에 포함한다는 성질을 갖는다. μ가 원시(primitive)함을 보이면, μ를 무한히 반복 적용한 고정점 x=lim μⁿ(a) 가 존재하고, x는 균등 재발성을 가진다.

다음으로 회문 인자의 개수를 제한한다. μ의 정의에서 알 수 있듯이, 길이가 ≥3인 어떤 인자도 그 내부에 “ab” 혹은 “ba”와 같은 비대칭 쌍을 반드시 포함한다. 따라서 길이 ≥3인 회문이 x에 나타나려면 그 회문 자체가 μ의 이미지와 정확히 일치해야 하는데, 이는 μ의 구조상 불가능함을 상세히 증명한다. 결과적으로 x가 포함하는 회문은 단일 문자 a, b, c와 길이 2인 “aa”, “bb”, “cc” 정도의 극히 제한된 집합에 국한된다.

논문은 또한 이 구성의 일반성을 논의한다. 알파벳 크기와 대체 규칙을 적절히 변형하면, 임의의 유한 회문 집합을 갖는 다른 균등 재발·역전 폐쇄 무한 단어들을 만들 수 있음을 보인다. 이는 역전 폐쇄성과 회문 풍부성 사이의 관계에 대한 기존 가설을 반증하고, 회문 복잡도(palindromic complexity) 함수가 반드시 선형 혹은 초선형일 필요가 없음을 시사한다.

마지막으로, 저자는 이 결과가 형식 언어 이론, 자동수열, 그리고 대칭성에 기반한 암호 설계 등 다양한 분야에 미칠 잠재적 영향을 제시한다. 특히, 회문이 제한된 구조를 이용해 대칭성을 유지하면서도 예측 가능성을 낮출 수 있다는 점은 무작위성 혹은 난수 생성 메커니즘 설계에 새로운 아이디어를 제공한다.