[論文レビュー] 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)。
• スペクトルギャップ推定に不可欠な、irreducible representations λ に対する 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ₙ = (n/2)log n として、t = (1+ε)tₙ のとき n → ∞ で d₂(hₜ, uₙ) → 0、t = (1−ε)tₙ のとき → ∞ に発散する。
• 解析により、(n−1,1)表現の適切な分離とテイル推定を組み合わせることで、巡回ウォークのℓ²境界に定数e⁻²⁽ᶜ⁻²⁾ が達成された。