[論文レビュー] Cutoff for the Transposition Walk on Permutations with One-Sided Restrictions

Olena Blumberg|arXiv (Cornell University)|Feb 22, 2012

semigroups and automata theory参考文献 6被引用数 3

ひとこと要約

本稿は、ハロンの対角化を用いたスペクトル解析により、片側区間制約付きの置換上のランダム転置ウォークに対してカイ二乗距離のカットオフを確立する。制約行列に特定の条件が満たされると、混合時間よりもはるかに小さい窓内で、ウォークが鋭い混合を示すことを証明し、ダイアコニスとハロンが提起した、カイ二乗距離と全変動距離の混合挙動の差異に関する予想を解消する。

ABSTRACT

This paper explores the mixing time of the random transposition walk on permutations with one-sided interval restrictions. In particular, we're interested in the notion of cutoff, a phenomenon which occurs when mixing occurs in a window of order smaller than the mixing time. One of the main tools of the paper is the diagonalization obtained by Hanlon; the use of the spectral information is inspired by the famous paper of Diaconis and Shahshahani on the mixing time of the random transposition walk on the entire symmetric group. The diagonalization allows us to prove chi-squared cutoff for a broad class of one-sided restriction matrices. Furthermore, under an extra condition, the walk also undergoes total variation cutoff. Finally, a large collection of examples which undergo chi-squared cutoff but in which total variation mixing occurs substantially earlier and without cutoff is produced. These results resolve a conjecture of Diaconis and Hanlon from Section 5 of Hanlon's paper.

研究の動機と目的

• 片側区間制約付き置換上のランダム転置ウォークの混合時間を分析すること。
• ウォークがカットオフを示す条件、特にカイ二乗距離と全変動距離のカットオフを区別すること。
• 制限付き置換ウォークにおけるカイ二乗距離と全変動距離の混合時間の差異に関するダイアコニスとハロンの予想を解消すること。
• ハロンの対角化を用いて、対称群からのスペクトル技法を制限付き置換構造へ拡張すること。
• 全変動距離の混合が、カイ二乗距離のカットオフとは異なり、より早く発生し、かつカットオフを示さない条件を特定すること。

提案手法

• 片側制約行列に対してハロンの遷移行列の対角化を用い、正確な固有値と固有ベクトルを導出する。
• 対称群におけるダイアコニスとシャフシャハニの研究にインspiredされたスペクトル技法を適用し、カイ二乗距離の上限を求める。
• スペクトル解析に適した性質を有するため、全変動距離の代理としてカイ二乗距離を用いる。
• 頂点推移性を保証する二段階制約構造（各S(i)が[1,n]または[a,n]のいずれか）を導入し、固有値のみを用いた解析を可能にする。
• n → ∞における最大固有値の振る舞いを解析することで、混合時間の明確な漸近的境界を導出する。
• 組合せ論的議論を用いて、カイ二乗距離と全変動距離のカットオフを比較し、特にf(n)とg(n)の成長条件に応じた挙動を検討する。

実験結果

リサーチクエスチョン

• RQ1 片側区間制限付き置換上のランダム転置ウォークが、カイ二乗距離のカットオフを示す制約行列の条件は何か？
• RQ2 全変動距離の混合が、カイ二乗距離の混合よりも著しく早く発生するのはいつか？ また、どのような条件下でカットオフが成立しないのか？
• RQ3 二段階制約行列におけるf(n)とg(n)の成長率の正確な関係は、全変動距離におけるカットオフの発生にどのように影響するか？
• RQ4 二段階行列に用いられたスペクトルフレームワークを、より広いクラスの片側制約行列へ拡張可能か？
• RQ5 制約行列のどのような構造的性質が、カイ二乗距離と全変動距離の混合時間が一致することを保証するか？

主な発見

• 二段階片側制約行列の広いクラスに対して、f(n) → ∞ かつ f(n)/n → 0 がn → ∞で成り立つ限り、ランダム転置ウォークはカイ二乗距離のカットオフを示す。
• 全変動距離のカットオフは、f(n)とg(n)が極限で同値である（すなわち、lim f(n)/g(n) が存在して有限）場合にかつその場合に限り成立する。
• g(n) = 1の場合、全変動距離の混合はカイ二乗距離の混合よりも著しく早く発生し、カットオフを示さないが、カイ二乗距離のカットオフは成立する。
• f(n)/n → 0 という条件は主に計算を簡略化する技術的仮定であるが、主な固有値が最初のf(n)行によって支配されるために必要不可欠である。
• 固有値解析により、f(n)が混合時間を支配することが確認され、f(n) + g(n) > n であれば、混合は逆に最後のg(n)列によって支配され、この議論は無効化される。
• 本稿は、ダイアコニスとハロンの予想を解消し、カイ二乗距離のカットオフが成立するが、全変動距離の混合がカットオフを示さず、かつ著しく早い例を明示的に構成した。