[논문 리뷰] An Improvement to a Recent Upper Bound for Synchronizing Words of Finite Automata

Yaroslav Shitov|arXiv (Cornell University)|2019. 01. 01.

semigroups and automata theory인용 수 19

한 줄 요약

이 논문은 Szyku{ł}a의 2017년 방법을 개선하여, corank 진행과 최적화된 단어 길이 간격을 기반으로 하는 새로운 세는 방법을 도입함으로써, 동기화 가능한 유한 오토마타의 리셋 임계값에 대한 상한을 α ≈ 0.1664에서 α ≤ 0.1654로 향상시켰다. 이 방법은 수정된 Theorem 1의 응용과 단어 랭크 전이의 정교한 분석을 결합하여, n-상태 오토마타에서 가장 짧은 리셋 워드 길이에 대한 더 날카운 삼차 상한을 이끌어낸다.

ABSTRACT

It has been known since the 60's that any complete discrete $n$-state automaton admits a reset word of length not exceeding $αn^3+o(n^3)$ for some absolute constant $α$. J.-E. Pin and P. Frankl proved this statement with $α=1/6=0.1666...$ in 1982, and this bound remained best known until 2017, when M. Szykuła decreased its value to $α\approx0.1664$. In this note, we present a modification to the latest approach and develop a different counting argument which leads to a more substantial improvement of $α\leqslant 0.1654$.

연구 동기 및 목표

• 동기화 가능한 유한 오토마타의 리셋 임계값에 대한 오랜 기간 동안 유지되어 온 상한을 향상시키는 것.
• α ≈ 0.1664로 상한을 낮춘 Szyku{ł}a의 2017년 방법을 더욱 정교화하는 것.
• corank 진행과 단어 길이 간격을 기반으로 하는 새로운 세는 방법을 개발하여 삼차 계수의 더 큰 향상을 달성하는 것.
• 가장 짧은 리셋 워드 길이에 대한 더 날카운 삼차 상한 αn³ + o(n³)의 형태를 제공하는 것.
• 제약 조건을 부여한 합산을 통한 랭크 전이 분포 분석을 통해 상한의 배경이 되는 최적화 문제를 해결하는 것.

제안 방법

• Szyku{ł}a의 연구에서 유래한 Theorem 1의 수정된 버전을 도입하여, corank를 더 효율적으로 증가시키는 워드를 구성하는 것.
• λi를 corank가 적어도 i 이상인 최소 길이의 워드로 정의하고, δj = λj+1 − λj를 통해 corank 수준 간의 길이 증가를 추적하는 것.
• Theorem 5를 적용하여, r에서 r+1로 corank를 증가시키는 데 필요한 길이를 두 가지 방법으로 제한: Pin–Frankl의 상한 또는 sr(값 {2r−1, 2r}에 속하는 δj 값의 수)를 포함하는 새로운 세는 기반 상한.
• Corollary 6를 사용하여 총 리셋 임계값을 min{r²/4, 1s₁ + ⋯ + rsr} 항의 합으로 표현하고, 이를 최적화하는 것.
• 제약 조건 s₁ + ⋯ + sk ≤ ρ 및 1s₁ + ⋥ + rsr ≤ r²/4 (r ≥ ρ일 때) 하에 최적화를 수행하여, 합의 최대값이 15625n³/1597536로 유계됨을 증명하는 것.
• 콤���트한 타당 영역에서 미적분을 적용하여 목적 함수를 최대화하고, 최댓값이 (25n/129, 125n/258) + o(n)에서 도달됨을 확인하는 것.

실험 결과

연구 질문

• RQ1 n-상태 동기화 오토마타의 리셋 임계값에 대한 상한을 α ≈ 0.1664를 초월하여 향상시킬 수 있는가?
• RQ2 랭크 전이에 대한 제약 조건이 있을 때, 단어의 corank를 한 단계 증가시키는 데 필요한 길이 증가량을 최적화하는 방법은 무엇인가?
• RQ3 Szyku{ł}a의 방법에서의 세는 방법을 어떻게 정교화하여 삼차 계수의 더 큰 향상을 이룰 수 있는가?
• RQ4 제약 조건 s₁ + ⋯ + sk ≤ ρ 및 1s₁ + ⋯ + rsr ≤ r²/4 (모든 r ≥ ρ에 대해) 하에 합 ∑_{r=ρ}^k min{r²/4, 1s₁ + ⋯ + rsr}의 최대값은 얼마인가?
• RQ5 이 합의 최적화를 분석적으로 완료하여 리셋 임계값에 대한 닫힌 형태의 상한을 도출할 수 있는가?

주요 결과

• 논문은 임의의 동기화 가능한 n-상태 오토마타에 대해 새로운 리셋 임계값 상한을 확립한다: rt(A) ≤ 0.1654n³ + O(n²).
• 이 상한은 Szyku{ł}a의 방법을 새로운 세는 방법으로 개선함으로써, 계수 α를 0.1664에서 0.1654로 향상시켜 달성되었다.
• 합 ∑_{r=ρ}^k min{r²/4, 1s₁ + ⋯ + rsr}의 최적화가 15625n³/1597536 + o(n³)로 유계됨을 보여주었으며, 이는 향상의 핵심 분석적 요소이다.
• 목적 함수의 최댓값은 점 (25n/129, 125n/258) + o(n)에서 도달함을 확인하여 유도된 상한의 날카로움을 뒷받침한다.
• o(n³) 오차 항은 O(n² log n)임을 보였으며, 더 정교한 분석을 통해 명시적이고 작은 계수를 가진 O(n²)로 줄일 수 있다.
• 이 결과는 (n−1)² 상한을 제안하는 Černý 추측을 해결하는 데 중요한 단계를 제공하며, 삼차 계수의 격차를 좁혔다.