소클러스터 자동기에서 소수 길이 사이클에 대한 체르니 추측 증명

초록

본 논문은 하나의 클러스터(한 사이클)만을 갖는 결정적 유한 자동기 중 사이클의 길이가 소수인 경우에 대해 체르니 추측을 증명한다. 핵심 아이디어는 소수 길이 사이클이 생성하는 순환군의 구조를 이용해 동기화 단어의 길이를 (n‑1)² 이하로 제한하는 것이다. 또한 이 결과를 활용해 소수 길이 사이클을 포함하는 방향 그래프에 대한 혼합형 Road‑coloring‑Cerny 추측의 특수 경우도 도출한다.

상세 분석

체르니 추측은 n개의 상태를 가진 완전 deterministic finite automaton( DFA )에 대해, 최단 동기화 단어의 길이가 (n‑1)² 를 초과하지 않는다는 주장이다. 이 추측은 1964년 제시된 이후 수많은 특수 클래스에 대해 증명되었지만, 일반적인 경우는 아직 미해결이다. 본 논문은 ‘one‑cluster automata’라 불리는, 모든 전이 그래프가 하나의 강한 연결 성분(클러스터)과 그 안에 하나의 사이클만을 포함하는 자동기에 초점을 맞춘다. 특히 사이클의 길이가 소수 p인 경우를 다루며, 이는 순환군 Cₚ 가 단순하고 비자명한 부분군을 갖지 않음으로써 구조적 제약을 크게 강화한다는 점에서 핵심적인 역할을 한다.

저자들은 먼저 기본적인 전이 행렬과 그에 대응하는 선형 변환을 정의하고, 사이클 위의 상태들을 순환 순열로 표현한다. 소수 p인 경우, 순환 행렬의 고유값은 1과 p 차수의 원시 p‑근만이 존재한다. 이를 통해 행렬의 최소 다항식이 xᵖ‑1 로 단순화되며, 특히 전이 행렬의 p 제곱이 항등 행렬이 되는 성질을 이용한다. 이러한 대수적 성질은 동기화 과정에서 ‘압축’ 연산을 반복 적용할 때, 상태 집합의 크기를 일정 단계마다 최소 1씩 감소시킬 수 있음을 보인다.

핵심 증명은 두 단계로 구성된다. 첫 번째 단계에서는 임의의 비동기화 상태 집합 S에 대해, 적절한 입력 단어 w₁을 선택해 |S·w₁| ≤ |S|‑1 로 만들 수 있음을 보인다. 여기서 w₁ 은 사이클을 따라 p 번 순환한 뒤, 클러스터 외부로 이동하는 전이를 포함한다. 두 번째 단계에서는 이러한 압축 과정을 최대 (n‑1)번 반복하면 결국 단일 상태에 도달한다는 것을 보이며, 각 단계에서 사용되는 단어의 길이는 ≤ 2p‑1 로 제한된다. 따라서 전체 동기화 단어의 길이는 ≤ (n‑1)(2p‑1) ≤ (n‑1)² 가 된다. p 가 n 보다 작거나 같은 경우는 명백히 성립하고, p 가 n 보다 큰 경우는 p 가 소수이므로 p ≤ n‑1 인 사실을 이용해 동일한 상한을 얻는다.

이와 더불어 저자들은 이 결과를 ‘Hybrid Road‑coloring‑Cerny conjecture’에 적용한다. 해당 추측은 주어진 방향 그래프가 적절한 사이클(특히 소수 길이 사이클)을 포함할 때, 적절한 색칠을 통해 동기화 자동기를 만들 수 있다는 주장이다. 본 논문의 정리는 이러한 그래프가 소수 길이 사이클을 포함하면, 기존 Road‑coloring 정리와 본 논문의 결과를 결합해 동기화 색칠이 (n‑1)² 이하의 길이로 존재함을 보인다.

결과적으로, 소수 길이 사이클을 갖는 one‑cluster 자동기에 대한 체르니 추측이 증명됨으로써, 기존에 알려진 특수 클래스(예: 순환 자동기, 아벨리안 자동기 등)와는 다른 새로운 구조적 조건이 제시된다. 이는 자동기 이론에서 대수적·조합적 방법을 결합해 일반적인 동기화 문제에 접근할 수 있는 가능성을 열어준다. 또한, 소수라는 수론적 성질이 자동기 동기화 길이 상한에 직접적인 영향을 미친다는 점은 향후 비소수 길이 사이클에 대한 연구에도 중요한 힌트를 제공한다.