[논문 리뷰] On the probability of being synchronizable

Mikhail V. Berlinkov|arXiv (Cornell University)|2013. 04. 21.

semigroups and automata theory참고 문헌 19인용 수 7

한 줄 요약

이 논문은 n개 상태를 가진 랜덤 2글자 유한 오토마타가 동기화 가능한 확률의 정확한 渐近 수렴 속도를 규명하며, 이는 $1 - \Theta(\frac{1}{n})$임을 증명한다. 랜덤 사상과 강하게 연결된 성분의 확률적 분석을 통해 저자들은 랜덤 오토마타에서 동기화 가능성의 가능성이 매우 높음을 보이며, Cameron의 추측을 확인하고 2색 경우에 대한 날카운 수렴 한계를 제시한다.

ABSTRACT

We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability (modulo an unpublished result about unique highest trees of random graphs). Moreover, we also prove that the convergence rate is exactly $1-Θ(\frac{1}{n})$ as conjectured by [Cameron, 2011] for the most interesting binary alphabet case. Finally, we present a deterministic algorithm which decides whether a given random automaton is synchronizing in linear in $n$ expected time and prove that it is optimal.

연구 동기 및 목표

• 균일하게 랜덤한 2글자 유한 오토마타가 동기화 가능한 확률의 정확한 渐近 확률을 결정하는 것.
• 특히 2글자 케이스에서 동기화 가능성 확률의 수렴 속도의 날카움을 해결하는 것.
• $k$-글자 오토마타로의 분석 확장 및 약한 연결성 조건 하에서의 거동 탐구.
• 실패 확률 $O(1/n)$을 가진 선형 시간 알고리즘 개발 및 실험적 검증.
• 최소 단어 랭크 $d > 1$과 같은 동기화의 일반화를 탐색하고, 그 확률적 가능성 파악.

제안 방법

• n개 상태에서의 랜덤 2글자 오토마타를 랜덤 사상으로 모델링하며, 전이 상태는 균일하고 독립적으로 선택된다.
• 약한 연결성과 종단 강하게 연결된 성분(하위오토마타)의 확률을 분석하여, 하위오토마타 크기가 높은 확률로 $n/4$ 이상임을 보인다.
• 이항 및 지수 尾確率 추정을 사용해 작은 하위오토마타를 가진 오토마타의 수에 대한 확률적 한계를 적용한다.
• 클러스터 분석과 안정된 쌍 탐지 기반의 선형 시간 알고리즘을 개발하며, 실패 확률은 $O(1/n)$이다.
• $k > 2$-글자 오토마타로 알고리즘 확장은 글자 쌍을 순차적으로 테스트함으로써 이루어지며, 낮은 확률로만 이차 알고리즘으로 후퇴된다.
• 실험적으로 이론 결과를 검증하기 위해 $n \in \{1000, \dots, 10000\}$ 범위의 1000개의 랜덤 이진 오토마타에 대해 검증하였으며, 낮은 실패율을 관찰하였다.

실험 결과

연구 질문

• RQ1 랜덤 2글자 오토마타가 동기화 가능한 확률의 정확한 渐近 수렴 속도는 무엇인가?
• RQ2 2글자 케이스에서 수렴 속도가 $1 - \Theta(\frac{1}{n})$인지 날카운가, Cameron의 추측을 확인하는가?
• RQ3 $k$-글자 오토마타에서 동기화 가능성의 확률은 어떻게 스케일링되며, 속도가 $1 - O(\frac{1}{n^{0.5k}})$인지 날카운가?
• RQ4 균일하게 랜덤한 약한 연결 오토마타가 동기화 가능한 확률은 얼마이며, 지수적으로 감소하는가?
• RQ5 랜덤 오토마타에서 단어의 최소 랭크가 $d > 1$이 되는 확률은 얼마이며, $d > 1$일 때 지수적으로 1에 가까운가?

주요 결과

• n개 상태를 가진 랜덤 2글자 오토마타가 동기화 가능한 확률은 $1 - \Theta(\frac{1}{n})$이며, 이는 수렴의 정확한 순서를 규명한다.
• 2글자 케이스에서 수렴 속도는 날카롭게 유지되며, Cameron의 추측에 따라 속도가 $1 - O(\frac{1}{n})$임을 확인한다.
• $k > 2$인 $k$-글자 오토마타의 경우, 동기화 가능한 확률은 $1 - O(\frac{1}{n^{0.5k}})$이며, 이 한계가 날카롭게 유지됨을 보였다.
• 랜덤 오토마타가 약한 연결이 아닐 확률은 $\Omega(\frac{1}{n})$이며, 이는 비동기화 가능성 확률에 하한을 제공한다.
• 각 종단 강하게 연결된 성분의 크기는 $1 - O(\frac{1}{n})$의 확률로 최소 $n/4$ 이상이며, 이는 주요 결과를 뒷받침한다.
• 크기가 $n \in \{1000, \dots, 10000\}$인 1000개의 랜덤 이진 오토마타에 대한 실험에서 평균적으로 1000개당 5.09개의 실패 오토마타를 관찰하였으며, 이는 이론적 $O(\frac{1}{n})$ 실패율과 일치하며, $\alpha(n) \leq 0.0055$임을 지지한다. $k > 2$일 경우 알고리즘은 기대 선형 시간 내에 실행된다.