무한 순열의 자동성 연구

초록

이 논문은 무한 순열에 자동성 개념을 도입하고, 단어에 대한 기존 자동성 정의와 달리 서로 동등하지 않은 세 가지 정의(V‑k, A‑k, K‑k)를 제시한다. 정의들 사이의 포함 관계를 증명하고, Thue‑Morse 순열을 생성하는 자동기를 구체적으로 구성한다.

상세 분석

논문은 먼저 무한 순열을 “서로 다른 실수들의 열이 정의하는 전순서 관계”로 공식화하고, 이를 기존의 유한 순열과 구별한다. 그런 다음 자동어(automatic word)의 세 가지 동등한 정의—정규 자동기, 균일 모핑, k‑kernel—를 복습하고, 각각을 순열에 어떻게 확장할 수 있는지를 탐구한다. 첫 번째 확장은 ‘유효한’ 순열에만 적용 가능한 V‑k 자동성으로, k‑자동 단어가 유효 순열을 생성할 때만 정의된다. 두 번째는 A‑k 자동성으로, 입력으로 i와 j의 k진법 표현을 동시에 읽어 <, >, = 중 하나를 출력하는 2차원 자동기를 이용한다. 이 정의는 V‑k보다 넓으며, 모든 V‑k 자동 순열을 포함한다. 세 번째는 K‑k 자동성으로, 순열 자체에 대한 k‑kernel(즉, α_i, α_{k^n+i}, … 로 이루어진 부분 순열들의 집합)이 유한할 때를 말한다. 핵심 정리는 V‑k ⊆ A‑k ⊆ K‑k이며, 이 포함이 strict함을 보이기 위해 단조 순열과 인위적으로 만든 비자동 단어를 이용한 반례를 제시한다. 특히, 단조 순열은 A‑k에 속하지만 V‑k에는 속하지 않으며, 복잡한 이진 관계를 삽입한 순열은 K‑k에 속하지만 A‑k에는 속하지 않는다. 논문은 또한 Thue‑Morse 순열을 사례 연구로 삼아, 해당 순열이 V‑2, A‑2, K‑2 모두에 속함을 증명한다. 이를 위해 Thue‑Morse 단어의 자동기를 변형해, (i, j) 쌍의 이진 표현을 동시에 처리하고 두 숫자 사이의 순서를 결정하는 2차원 자동기를 설계한다. 자동기의 상태는 두 문자열의 길이‑2 인접 블록들의 순서를 추적하며, 전이 함수는 균일 모핑 ϕ의 이미지에 기반한다. 마지막으로, 자동기가 실제로 순서를 정의하는지(반대칭성, 전이성) 검증 가능한 알고리즘을 제시한다. 전체적으로 이 논문은 무한 순열에 대한 자동성 이론을 체계화하고, 단어 이론과의 차이점을 명확히 하며, 자동기 설계 방법론을 구체적으로 제공한다는 점에서 의미가 크다.