루딘 샤프리 단어 궤도 폐포에서 사전순 최소 단어

초록

본 논문은 루딘‑샤프리 단어 w의 궤도 폐포(orbit closure) 안에서, 임의의 지정된 접두사를 갖는 사전순 최소 단어를 효과적으로 구별하는 방법을 제시한다. 특히, 전체 궤도 폐포에서 가장 앞서는 단어가 0w임을 증명함으로써 Allouche 등이 제기한 질문에 답한다.

상세 분석

루딘‑샤프리 단어는 2진 알파벳 {0,1} 위에서 정의되는 자동수열로, n의 이진 표현에서 연속된 ‘11’ 쌍의 개수를 짝수·홀수에 따라 0 또는 1로 매핑한다. 이 수열은 자체 동형성(shift‑invariance)과 높은 자동성으로 인해 조합론적 수론, 신호 처리 등 다양한 분야에서 연구 대상이 된다. 논문은 먼저 궤도 폐포(orbit closure)를 정의한다. 이는 모든 좌·우 이동(shift) 연산을 적용한 뒤, 점wise 수렴으로 얻어지는 무한 문자열들의 폐집합이다. 궤도 폐포 안에서는 동일한 부분 문자열이 무수히 반복되므로, 사전순(minimum lexicographic) 순서를 적용해 “가장 작은” 무한 문자열을 찾는 문제가 자연스럽게 제기된다.

저자들은 “주어진 접두사 p를 포함하는 사전순 최소 문자열”을 찾는 문제를 두 단계로 나눈다. 첫 번째 단계는 p가 w의 어느 위치에 나타나는지를 자동화된 전이 그래프(automaton)와 동형성 매핑을 이용해 결정하는 것이다. 여기서 핵심은 Rudin‑Shapiro 자동기(automaton)의 상태 전이가 접두사의 길이에 따라 선형적으로 증가한다는 점이다. 두 번째 단계는 찾은 위치를 기준으로, 그 뒤에 이어지는 최소 문자열을 구성한다. 이를 위해 저자들은 “우측 최소화 연산”(right‑minimalization)이라는 새로운 연산자를 정의하고, 이 연산이 기존의 shift 연산과 교환 가능함을 보인다.

주요 정리는 다음과 같다. 임의의 이진 문자열 p에 대해, p를 접두사로 갖는 사전순 최소 문자열은 유일하며, 이를 결정하는 알고리즘은 O(|p|) 시간 복잡도로 실행된다. 특히, p가 빈 문자열일 때(즉, 전체 궤도 폐포에서 최소 문자열을 찾을 때) 결과는 0w가 된다. 이는 Allouche 등이 제시한 “궤도 폐포의 최소 원소가 w 앞에 0을 붙인 형태일까?”라는 질문에 정확히 부합한다.

증명 과정에서는 두 가지 중요한 도구가 사용된다. 첫째, Rudin‑Shapiro 수열의 자동성에 기반한 모듈러 연산 특성; 둘째, 사전순 비교를 위한 “접두사 비교 트리”(prefix comparison tree)를 구성해, 어느 두 무한 문자열 중 어느 쪽이 사전순으로 앞서는지를 결정한다. 또한, 저자들은 기존의 “lexicographically minimal sequence” 연구와 차별화하기 위해, 접두사 제한을 명시적으로 포함시킨 일반화된 프레임워크를 제시한다. 이 프레임워크는 다른 자동수열(예: Thue‑Morse, paperfolding)에도 적용 가능함을 간단히 논의한다.

결과적으로, 논문은 루딘‑샤프리 수열의 궤도 폐포 구조를 보다 정밀하게 이해하게 해 주며, 자동수열 전반에 걸친 사전순 최소화 문제에 대한 효과적인 해법을 제공한다. 이는 이론적 조합론뿐 아니라, 암호학·신호 처리 등 실용적 응용에서도 유용한 도구가 될 수 있다.