[论文解读] A Coupling Argument for the Random Transposition Walk

Olena Bormashenko|arXiv (Cornell University)|Sep 18, 2011

Stochastic processes and statistical mechanics参考文献 15被引用 11

一句话总结

本文提出了一种耦合论证，证明对称群 $S_n$ 上的随机对换随机游走的混合时间为 $O(nackepsilon n)$，从而解决了长期悬而未决的开放问题。通过将游走投影到共轭类上，并应用 Bubley-Dyer 路径耦合方法，结合 Schramm 关于随机对换的研究技术，作者建立了平均收缩率为 $1 - \frac{1}{n}$ 的结果，从而通过耦合方法得出 $O(n\log n)$ 的界。

ABSTRACT

This paper explores the mixing time of the random transposition walk on the symmetric group. While it has long been known that this walk mixes in order n*log(n) time, this result has not previously been attained using coupling. A coupling argument showing the correct order mixing time is presented. This is accomplished by first projecting to conjugacy classes, and then using the Bubley-Dyer path coupling construction. In order to obtain appropriate bounds on the time it takes the path coupling to meet, ideas from Schramm's paper "Compositions of Random Transpositions" are used.

研究动机与目标

• 通过耦合论证解决随机对换随机游走在 $S_n$ 上的 $O(n\log n)$ 混合时间这一开放问题。
• 通过采用非马尔可夫耦合策略，克服马尔可夫耦合无法实现优于 $O(n^2)$ 界限的局限性。
• 将随机对换随机游走投影到共轭类上，转化为一种分裂-合并随机游走，从而简化分析，同时保持混合时间的性质。
• 在分裂-合并游走中应用 Bubley-Dyer 路径耦合框架，通过建立平均为 $1 - \frac{1}{n}$ 的有利收缩系数。
• 利用 Schramm 对随机对换组合分析的工具，界定耦合过程中链相遇的时间。

提出的方法

• 将 $S_n$ 上的随机对换随机游走投影到共轭类上，得到一个马尔可夫性的分裂-合并随机游走，其保持了混合时间的行为。
• 在分裂-合并游走上应用 Bubley-Dyer 路径耦合技术，使用基于循环结构的距离函数来衡量耦合链之间的收缩程度。
• 通过分析耦合方案下循环合并与分裂的概率，证明每步的期望收缩率为 $1 - \frac{1}{n}$。
• 利用 Schramm 关于时间 $\frac{n}{2}$ 后大循环出现的结果，界定耦合链以高概率相遇的时间。
• 通过精心对齐耦合链 $X_t$ 和 $Y_t$ 的转移过程，构建非马尔可夫耦合，以最大化相遇概率，特别是在大循环形成时。
• 利用循环大小总和超过阈值的概率的界，确保充分的收缩，从而实现 $O(n\log n)$ 的混合时间。

实验结果

研究问题

• RQ1 尽管马尔可夫耦合失败，耦合论证是否能够实现 $O(n\log n)$ 的混合时间界，用于 $S_n$ 上的随机对换随机游走？
• RQ2 分裂-合并游走在共轭类上的合适收缩率是多少，才能使路径耦合产生 $O(n\log n)$ 的混合时间？
• RQ3 如何将 Schramm 对随机对换组合的分析方法改编，用于界定路径耦合框架中耦合链的相遇时间？
• RQ4 为何标准路径耦合在直接应用于分裂-合并游走时会失效，以及如何克服这一问题？
• RQ5 大循环在加速耦合时间中起什么作用，如何对其出现进行定量利用？

主要发现

• 本文证明了 $S_n$ 上的随机对换随机游走在 $O(n\log n)$ 时间内混合，通过耦合论证解决了长期悬而未决的开放问题。
• 该耦合论证依赖于将游走投影到共轭类，并对所得的分裂-合并过程应用路径耦合。
• 证明了分裂-合并游走的平均收缩系数为 $1 - \frac{1}{n}$，从而通过路径耦合实现 $O(n\log n)$ 的界。
• 证明利用了 Schramm 关于循环组合的研究结果，表明在时间 $\frac{n}{2}$ 后大循环会出现，从而加速了耦合过程。
• 该耦合是非马尔可夫的，符合理论限制，且对所有初始配置均实现了 $O(n\log n)$ 的相遇时间界。
• 在 $O(n\log n)$ 界中的常数较大，表明该耦合并未证明截断现象，尽管阶数是正确的。