[論文レビュー] 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(n\log n)$ 時間で達成されることを示すカップリングによる証明を提示している。長年の未解決問題を解決する。ウォークを共轭類に射影し、シュラムのランダム転置に関する研究から得られる技術を用いてバブリー・ダイヤーのパスカップリングを適用することで、平均的に $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.

研究の動機と目的

• ランダム転置ウォークの混合時間の $O(n\\log n)$ 界をカップリングによる証明で確立すること。
• マルコフ的カップリングでは $O(n^2)$ 界を超えることができないという制限を克服するため、非マルコフ的カップリング戦略を採用すること。
• ランダム転置ウォークを共轭類に射影し、それを分割統合ランダムウォークに変換することで、解析を単純化しながらも混合時間の性質を保持すること。
• バブリー・ダイヤーのパスカップリングフレームワークを分割統合ウォークに適用し、平均的に $1 - \frac{1}{n}$ の好都合な収縮係数を確立すること。
• ランダム転置の合成に関するシュラムの解析手法を用いて、カップリング過程における合流までの時間を制限すること。

提案手法

• ランダム転置ウォークを $S_n$ 上から共轭類に射影し、マルコフ的でかつ混合時間の挙動を保持する分割統合ランダムウォークが得られること。
• 分割統合ウォークにバブリー・ダイヤーのパスカップリング技術を適用し、サイクル構造に基づく距離関数を用いて、カップリングされた連鎖間の収縮を測定すること。
• カップリング戦略下でのサイクルの統合・分裂確率を分析することで、1ステップあたりの期待収縮率が $1 - \frac{1}{n}$ であることを示すこと。
• シュラムによる、時間 $\frac{n}{2}$ 経過後に大きなサイクルが出現するという結果を用いて、カップリングされた連鎖が高確率で合流するまでの時間を制限すること。
• 非マルコフ的カップリングを構築する。具体的には、$X_t$ と $Y_t$ のカップリングされた連鎖の遷移を巧みに一致させ、特に大きなサイクルが形成された際に合流確率を最大化すること。
• しきい値を超えるサイクルサイズの和が増加する確率に関する境界を用いて、$O(n\log n)$ 混合時間に到達する十分な収縮を保証すること。

実験結果

リサーチクエスチョン

• RQ1 マルコフ的カップリングが失敗するにもかかわらず、カップリングによる証明で $S_n$ 上のランダム転置ウォークの混合時間が $O(n\\log n)$ 時間で達成可能かどうか。
• RQ2 パスカップリングが $O(n\log n)$ 混合時間に到達可能となるように、共轭類上の分割統合ウォークに適した収縮係数は何か。
• RQ3 シュラムのランダム転置の合成に関する解析を、パスカップリングフレームワークにおけるカップリング連鎖の合流時間を制限するためにどのように適応できるか。
• RQ4 標準的なパスカップリングが分割統合ウォークに直接適用された場合に失敗する理由は何か。そして、その失敗をどのように回避できるか。
• RQ5 大きなサイクルは合流時間をどのように加速させるか。また、その出現を定量的にどのように活用できるか。

主な発見

• この論文は、ランダム転置ウォークが $S_n$ 上で $O(n\log n)$ 時間で混合することをカップリングによる証明で確立し、長年の未解決問題を解決した。
• カップリングの証明は、ウォークを共轭類に射影し、それによって得られる分割統合プロセスにパスカップリングを適用することに依存している。
• 分割統合ウォークの平均収縮係数が $1 - \frac{1}{n}$ であることが示され、これによりパスカップリングによって $O(n\log n)$ の境界が得られる。
• 証明ではシュラムによるサイクル合成に関する結果を用いて、時間 $\frac{n}{2}$ 経過後に大きなサイクルが出現することを示し、これがカップリングプロセスの加速に寄与することを示した。
• 理論的制限に従い、カップリングは非マルコフ的であり、すべての初期状態に対して $O(n\log n)$ の合流時間の境界を達成している。
• $O(n\log n)$ の境界における定数は大きいが、これはカットオフ現象を示すものではないが、オーダーは正しい。