[論文レビュー] Lattice Path Matroids: Negative Correlation and Fast Mixing

Emma Cohen, Prasad Tetali+1 more|arXiv (Cornell University)|May 25, 2015

Stochastic processes and statistical mechanics参考文献 16被引用数 13

ひとこと要約

本稿は、カタラン数の代表的実装であるDyckパス上のランダム転置マルコフ連鎖の混合時間に対する $O(n^2 "log n)$ の上界を確立する。証明の根幹は、Dyckパスによって定義されるカタランマトロイドが負の相関性質を示すことを示すことであり、これによりバランスの取れたマトロイド上の基底交換ウォークを用いた解析が可能になる。

ABSTRACT

Catalan numbers arise in many enumerative contexts as the counting sequence of combinatorial structures. In this work, we consider natural Markov chains on some of the realizations of the Catalan sequence. While our main result is in deriving an $O(n^2 \log n)$ bound on the mixing time in $L_2$ (and hence total variation) distance for the random transposition chain on Dyck paths, we raise several open questions, including the optimality of the above bound. The novelty in our proof is in establishing a certain negative correlation property among random bases of lattice path matroids, including the so-called Catalan matroid which can be defined using Dyck paths.

研究の動機と目的

• ランダム転置連鎖のDyckパス上での混合時間に対する多項式上界を確立すること。
• Dyckパスを符号化するカタランマトロイドが、混合時間解析に不可欠な負の相関性質を満たすことを示すこと。
• バランスの取れたマトロイド上の基底交換ウォークの枠組みをカタランマトロイドへ拡張し、新たな混合時間の上界を得ること。
• 本結果が他のカタラン構造上のマルコフ連鎖に与える影響を検討し、混合時間解析における未解決問題を同定すること。

提案手法

• ランダム転置連鎖を、ラティスパスマトロイドであるカタランマトロイド上の基底交換ウォークに再定式化する。
• バランスの取れたマトロイド上の基底交換ウォークの混合時間に関する先行研究を活用し、これには負の相関性質が必要である。
• カタランマトロイドの基底（Dyckパス）の構造を分析することで、必要な負の相関性質が満たされることを証明する。
• スぺクトルギャップと $L_2$ 混合時間の枠組みを用い、負の相関性とマトロイド構造から $O(n^2 \log n)$ の上界を導出する。
• Dyckパス上の一様測度下でのNarayana分布の分散を用いて、混合時間に対する $Ω(n)$ の下界を確立する。
• Dyckパス連鎖をベルヌーイ＝ラプラースモデルや射影的連鎖と比較し、自然な距離の保存が行われないため、直接的な比較に制限があることを指摘する。

実験結果

リサーチクエスチョン

• RQ1 ランダム転置連鎖のDyckパス上での $O(n^2 \log n)$ の混合時間上界はタイトか？
• RQ2 ラティスパスマトロイドにおける負の相関性質は、他のカタラン実装へ一般化可能であり、同様の混合時間上界をもたらすか？
• RQ3 マトロイド上の基底交換ウォークの混合時間は、その基になるラティスパス領域に依存するか？ また、領域の包含関係に関して、混合時間の単調性を確立できるか？
• RQ4 バランスの取れたマトロイドと負の相関性の枠組みを、トランスバーサルマトロイドなどの非バランスマトロイドへ拡張可能か？ これにより、より広いクラスの急速混合を証明できるか？
• RQ5 Dyckパスに対する混合時間上界を、双対写像によってトライアングレーションや非交差分割などの他のカタラン構造へどの程度転送できるか？

主な発見

• Dyckパス上のランダム転置連鎖は、$L_2$ 距離および全変動距離において $O(n^2 \log n)$ 時間で混合する。
• Dyckパスを表すカタランマトロイドは、その基の間に負の相関性質を満たしており、これは重要な技術的貢献である。
• 連鎖をバランスの取れたマトロイド上の基底交換ウォークに再解釈することで、先行研究の結果を活用し、混合時間上界を導出する。
• Dyckパス上の一様測度下でのNarayana分布の分散を用いて、混合時間に対する $Ω(n)$ の下界を確立する。
• 上界はすべての状況でタイトではない—例えばベルヌーイ＝ラプラースモデルは $O(n \log n)$ 時間で混合するため、カタランの場合の上界は改善可能である可能性がある。
• 本結果は、カタランマトロイドが混合挙動においてベルヌーイ＝ラプラースの側に近い可能性を示唆しているが、これは未解決のままである。