동기화 단어와 체르니 추측의 새로운 증명

초록

본 논문은 행 단위 단일 1을 갖는 행 단위 모노미얼 행렬을 이용해 동기화 단어의 길이와 해당 행렬 공간의 차원을 연결함으로써 체르니 추측의 상한인 ((n-1)^2)을 증명한다.

상세 분석

논문은 먼저 DFA의 상태 전이 그래프 (\Gamma) 위에 정의된 알파벳 라벨을 이용해 각 단어 (w)에 대응되는 행 단위 모노미얼 행렬 (M_w)를 구성한다. 이러한 행렬은 각 행에 정확히 하나의 1과 나머지 0을 갖는 특수한 형태이며, 행렬 곱셈은 단어 연결에 해당한다. 저자는 이 행렬들의 집합이 닫힌 연산을 통해 벡터 공간을 형성한다는 사실을 이용한다. 핵심 아이디어는 동기화 단어 (s)에 대해 방정식 (M_u L_x = M_s)의 해 (L_x)를 고려하고, 여기서 (u)는 임의의 부분 단어, (L_x)는 또 다른 행 단위 모노미얼 행렬이다. 저자는 (M_u)와 (L_x)의 랭크 관계를 정밀히 분석하여, (u)의 길이가 증가할수록 생성되는 해 공간의 차원이 제한적으로 증가함을 보인다. 특히, (\operatorname{rank}(M_u) = n - k) 일 때, 가능한 (L_x)의 수는 (\binom{n}{k}) 이하이며, 이는 곧 동기화 단어의 최소 길이가 ((n-1)^2)을 초과할 수 없음을 의미한다. 또한, 행렬 방정식의 해가 존재하려면 (M_u)가 충분히 낮은 랭크를 가져야 함을 보이며, 이는 결국 모든 상태를 하나의 상태로 수렴시키는 최소 길이의 상한을 강제한다. 논문은 이러한 논리를 단계별로 전개하면서, 기존의 조합론적 접근과는 달리 선형 대수적 구조를 활용한 새로운 증명 체계를 제시한다. 특히, 행 단위 모노미얼 행렬이 갖는 폐쇄성, 가역성(특정 경우), 그리고 랭크 감소 효과를 정리함으로써, 기존에 알려진 특수 사례(예: 체르니가 제시한 시퀀스)와 일반적인 완전 DFA 모두에 적용 가능한 일반적 결과를 도출한다. 마지막으로, 제시된 방법이 동기화 길이 상한을 정확히 ((n-1)^2)로 제한함을 보이며, 체르니 추측이 완전 증명되었음을 선언한다.