[论文解读] 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年提出的方法进行了改进，将同步有限自动机的重置阈值上界从 α ≈ 0.1664 提高到 α ≤ 0.1654。该方法结合了定理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$.

研究动机与目标

• 改进同步有限自动机重置阈值的长期上界。
• 改进Szykuła在2017年将上界降至 α ≈ 0.1664 的方法。
• 提出一种基于相关秩演进和词长间隙的新型计数论证，以实现更显著的改进。
• 为最短重置词长度提供形式为 αn³ + o(n³) 的更紧致的三次方上界。
• 通过受约束的求和分析秩转换分布，解决该上界背后的优化问题。

提出的方法

• 引入Szykuła工作中的定理1的改进版本，以更高效地构造相关秩提升的词。
• 将 λi 定义为相关秩至少为 i 的最短词的长度，并定义 δj = λj+1 − λj 以追踪不同相关秩层级之间的长度增量。
• 应用定理5，通过两种备选方式界定从相关秩 r 提升到 r+1 所需的长度：Pin–Frankl的界或涉及 sr（值为 {2r−1, 2r} 的 δj 的数量）的新计数界。
• 使用推论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 在秩转换受约束的条件下，如何最优地界定将词的相关秩增加1所需的长度增量？
• 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²) 且具有显式的小系数。
• 该结果显著推进了Černý猜想的解决，该猜想主张存在 (n−1)² 的界，通过缩小三次方系数的差距实现了重要进展。