[论文解读] On the probability to be synchronizable

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

semigroups and automata theory被引用 8

一句话总结

本文证明了具有 n 个状态且任意固定非单字母表的随机自动机以高概率是同步的，验证了 Cameron 的猜想：在二字母表情况下，收敛速度为 1−Θ(1/n)。该结果为随机自动机中的同步性提供了强有力的概率保证，并对同步可实现性的概率给出了精确的渐近界。

ABSTRACT

We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability. Moreover, we also prove that the convergence speed is exactly $1-\Theta(\frac{1}{n})$ as conjectured by Cameron \cite{CamConj} for the most interesting 2-letter alphabet case.

研究动机与目标

• 研究具有 n 个状态和固定非单字母表的随机自动机为同步的概率。
• 解决 Cameron 关于二字母表情况下同步概率收敛速度的猜想。
• 建立当 n 增大时，可同步性的概率的紧致渐近界。

提出的方法

• 使用概率组合方法分析具有 n 个状态和固定字母表大小 ≥2 的随机自动机。
• 应用集中不等式和尾部概率界限来估计同步概率。
• 聚焦于二字母表情况，以验证 Cameron 关于收敛速率的猜想。
• 利用同步自动机的结构特性以及随机生成下的转移矩阵行为。
• 推导出可同步性的概率的渐近表达式，表明其随 n 增大趋近于 1。
• 证明在二字母表情况下，收敛速度恰好为 1−Θ(1/n)，与猜想的界限一致。

实验结果

研究问题

• RQ1 当 n 增大时，具有 n 个状态和固定非单字母表的随机自动机为同步的概率是多少？
• RQ2 在二字母表情况下，同步概率的收敛速率是否与猜想的 1−Θ(1/n) 一致？
• RQ3 对于更大字母表的随机自动机，可同步性的概率如何渐近表现？
• RQ4 能否为随机自动机中同步可能性建立紧致的概率界限？
• RQ5 随机自动机的何种结构或组合特性导致其具有高同步概率？

主要发现

• 具有 n 个状态和任意固定非单字母表的随机自动机，随着 n 增大，以高概率是同步的。
• 在二字母表情况下，可同步性的概率以 1−Θ(1/n) 的速率收敛到 1，验证了 Cameron 的猜想。
• 收敛速度是渐近紧致的，意味着在无额外假设下无法进一步改进该界限。
• 只要字母表大小固定且非单元素，该结果对任何具体字母表大小均成立。
• 分析确认，在给定条件下，同步是随机自动机的典型性质。
• 研究结果为随机构造中同步自动机的普遍性提供了强有力的概率依据。