[论文解读] Refined estimates for some basic random walks on the symmetric and alternating groups

Laurent Saloff‐Coste, J. Zúñiga|ArXiv.org|Sep 3, 2008

Geometric and Algebraic Topology参考文献 25被引用 14

一句话总结

本文改进了对称群和交错群上离散时间与连续时间随机游走的估计，重点关注随机对换、将顶部元素与随机元素对换，以及由共轭类生成的随机游走。研究证明了在由奇长循环上均匀测度驱动的交错群 Aₙ 上，连续时间随机游走的 ℓ² 截止点为 (n/2)log n，与离散时间版本相比，其混合时间显著延迟，通过谱分析与特征理论得出了精确的界。

ABSTRACT

We give refined estimates for the discrete time and continuous time versions of some basic random walks on the symmetric and alternating groups $S_n$ and $A_n$. We consider the following models: random transposition, transpose top with random, random insertion, and walks generated by the uniform measure on a conjugacy class. In the case of random walks on $S_n$ and $A_n$ generated by the uniform measure on a conjugacy class, we show that in continuous time the $\ell^2$-cuttoff has a lower bound of $(n/2)\log n$. This result, along with the results of Müller, Schlage-Puchta and Roichman, demonstrates that the continuous time version of these walks may take much longer to reach stationarity than its discrete time counterpart.

研究动机与目标

• 改进对称群和交错群上基本随机游走的现有 ℓ² 收敛估计。
• 澄清共轭类生成的随机游走中，离散时间与连续时间混合时间之间的差异。
• 为连续时间与离散时间下的 ℓ² 距离至平稳分布提供精确且显式的界。
• 将改进的估计应用于改进相关过程（如随机插入和半随机对换）的收敛界。
• 在由奇长循环上均匀测度生成的 Aₙ 上，建立连续时间 ℓ² 截止点为 (n/2)log n。

提出的方法

• 通过 Sₙ 和 Aₙ 的不可约特征对马尔可夫核进行谱分解。
• 应用特征理论与表示论，计算共轭类游走的特征值与重数。
• 使用 ℓ² 距离公式：d₂(q⁽ⁿ⁾, u)² = |G|∑ₓ|q⁽ⁿ⁾(x) - u(x)|²，其中 u 为均匀分布。
• 通过生成函数分析连续时间过程：hₜ(x) = e⁻ᵗ∑ₙ tⁿ/n! q⁽ⁿ⁾(x)。
• 推导出对不可约表示 λ 的 r₄(λ) = M₄(λ)/(2(2n−3)M₂(λ)) 的界，这对谱隙估计至关重要。
• 利用 M₂(λ) 和 M₄(λ) 的组合界，控制 ℓ² 范数中的指数衰减。

实验结果

研究问题

• RQ1 连续时间随机对换在 Sₙ 上的精确 ℓ² 收敛时间为何？
• RQ2 Sₙ 和 Aₙ 上共轭类游走的离散时间与连续时间版本在混合时间上如何比较？
• RQ3 能否为由奇长循环上均匀测度生成的 Aₙ 上的连续时间游走，推导出 ℓ² 距离的精确界？
• RQ4 与离散时间版本相比，连续时间游走为何存在显著的混合延迟？
• RQ5 改进的谱估计如何提升相关过程（如随机插入）的收敛界？

主要发现

• 对于 Sₙ 上的连续时间随机对换，当 t ≥ (n/2)(log n + c) 时，有 d₂(hₜ, u) ≤ 2e⁻ᶜ，优于 Diaconis 和 Shahshahani 的界。
• 对于将顶部元素与随机元素对换的游走，当 t ≥ n(log n + c) 时，有 d₂(q⁽ⁿ⁾, u) ≤ √2 e⁻ᶜ，且在离散时间下具有精确的 ℓ² 界。
• 对于由奇长 kₙ-循环上均匀测度生成的 Aₙ 上的连续时间游走，且当 kₙ → ∞ 时，ℓ² 截止点出现在 (n/2)log n。
• 当 kₙ → ∞ 时，离散时间的混合时间 (n/kₙ)log n 远小于连续时间的截止时间 (n/2)log n。
• 连续时间过程表现出精确的 ℓ² 截止：当 t = (1+ε)tₙ 时，d₂(hₜ, uₙ) → 0（n → ∞）；当 t = (1−ε)tₙ 时，d₂(hₜ, uₙ) → ∞，其中 tₙ = (n/2)log n。
• 该分析在循环游走的 ℓ² 界中得到常数 e⁻²⁽ᶜ⁻²⁾，通过精细分离 (n−1,1) 表示和尾部估计实现。