[論文レビュー] An Improvement to a Recent Upper Bound for Synchronizing Words of Finite Automata

Yaroslav Shitov|arXiv (Cornell University)|Jan 1, 2019

semigroups and automata theory被引用数 19

ひとこと要約

本稿は、Szyku{ł}aの2017年メソッドを精緻化し、corank進行に基づく新規な数え上げ論法と最適化された語長ギャップを用いることで、同期有限オートマトンのリセット閾値の上界を α ≈ 0.1664 から α ≤ 0.1654 に改善した。この手法は、定理1の修正適用と語のランク遷移の洗練された分析を組み合わせ、n状態オートマトンにおける最短リセット語長に対するよりきつい3次式の上界を導出する。

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進行と語長ギャップに基づく新規な数え上げ論法を提案し、より顕著な改善を達成すること。
• 最短リセット語長に対するよりきつい3次式上界 αn³ + o(n³) を得ること。
• 制約付き和の最適化問題を、ランク遷移の分布の分析によって解明すること。

提案手法

• Szyku{ł}aの研究から取り入れた定理1の修正版を導入し、corankをより効率的に向上させる語を構築する。
• λi を、corank が少なくとも i であるような語の最小長と定義し、δj = λj+1 − λj を用いてcorankレベル間の長さ増分を追跡する。
• 定理5を適用し、corank を r から r+1 に増加させるために必要な長さを、Pin–Franklの上界または sr（値 {2r−1, 2r} に属する δj の数）を含む新規な数え上げに基づく上界の2通りの選択肢で制限する。
• 系6を用いて、全リセット閾値を min{r²/4, 1s₁ + ⋯ + rsr} 項の和として表現し、その後最適化を行う。
• 制約 s₁ + ⋯ + sk ≤ ρ および 1s₁ + ⋯ + rsr ≤ r²/4（r ≥ ρ のすべての r に対して）の下で最適化を実施し、和の最大値が 15625n³/1597536 で抑えられることを証明する。
• コンパクトな実行可能領域上で微積分を用いて目的関数を最大化し、最大値が (25n/129, 125n/258) + o(n) で達成されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 n状態の同期オートマトンのリセット閾値に対する上界を α ≈ 0.1664 を超えて改善できるか？
• RQ2 ランク遷移の制約のもとで、語のcorankを1増加させるために必要な長さ増分を最適に制限する方法は何か？
• RQ3 Szyku{ł}aの手法における数え上げ論法をどのように精緻化すれば、3次係数をより顕著に改善できるか？
• 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の手法を、corank進行に基づく新規な数え上げ論法と最適化された語長ギャップを用いて精緻化することで、係数 α を 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ý予想への解決に向けた重要な一歩であり、3次係数のギャップを狭めた。