느리게 동기화되는 자동자와 방향 그래프

초록

본 논문은 상태 수 n에 대해 리셋 단어의 최소 길이가 n²에 근접하는 무한 계열의 동기화 자동자를 제시한다. 이러한 자동자는 큰 지수(exponent)를 갖는 원시(primitive) 방향 그래프와 밀접한 연관이 있음을 보인다.

상세 분석

동기화 자동자 이론의 중심 과제는 모든 상태를 하나의 상태로 몰아넣는 리셋 단어의 최단 길이를 찾는 것이며, 이를 둘러싼 가장 유명한 추측이 바로 Černý 추측이다. Černý는 n개의 상태를 가진 동기화 자동자는 최장 리셋 단어 길이가 (n‑1)² 이하라고 주장했으며, 현재까지 이 상한을 만족하는 자동자는 매우 제한적이다. 본 논문은 이러한 상황을 확장하기 위해 원시 방향 그래프의 지수와 동기화 길이 사이의 깊은 연관성을 탐구한다. 원시 그래프란 충분히 큰 거듭제곱을 취하면 완전 그래프가 되는 그래프를 의미하며, 그 최소 거듭제곱을 지수라 부른다. Wielandt의 정리에 따르면 n개의 정점을 가진 원시 그래프의 지수는 (n‑1)²+1 이하이다. 저자들은 이 정리를 자동자 이론에 적용하여, 지수가 큰 그래프를 기반으로 자동자를 구성하면 리셋 단어 길이도 지수에 비례해 크게 만든다는 사실을 증명한다. 구체적으로, 순환 구조와 추가적인 전이(transition)를 적절히 배치한 무한 계열의 자동자를 정의하고, 각 자동자에 대해 최소 리셋 길이가 n²‑3n+3 혹은 (n‑1)²‑2와 같은 형태로 n에 대한 2차식에 근접함을 보인다. 또한 이러한 자동자들이 기존에 알려진 Černý 자동자와는 다른 구조적 특성을 가지며, 특히 전이 함수가 두 개 이하인 경우에도 높은 리셋 길이를 달성할 수 있음을 강조한다. 논문은 증명 과정에서 그래프 이론의 경로 길이와 사이클 구조, 그리고 자동자 이론의 동기화 집합(synchronizing set) 개념을 교차 활용한다. 특히, 원시 그래프의 지수를 정확히 계산하거나 상한을 추정하는 방법을 자동자의 리셋 길이 분석에 직접 적용함으로써, 두 분야 사이의 이론적 다리 역할을 수행한다. 이러한 접근은 기존에 동기화 자동자 연구에서 간과되던 그래프 지수의 중요성을 부각시키며, 향후 더 일반적인 자동자 클래스에 대한 상한 추정에도 활용될 가능성을 제시한다.