[論文レビュー] Probabilistic and Combinatorial Aspects of the Card-Cyclic to Random Shuffle

Ross G. Pinsky|arXiv (Cornell University)|May 18, 2011

Algorithms and Data Compression被引用数 2

ひとこと要約

この論文は、対称群 Sn における新しいカードシャッフルを研究している。各カードは元の左から右への順序に従って一度だけ取り出し、一様にランダムに再挿入される。ランダムな再挿入にもかかわらず、このプロセスは結果の順列分布に強い非一様なバイアスを引き起こし、定常分布および混合挙動において驚くべき組合せ論的・確率的構造を明らかにする。

ABSTRACT

Abstract. Consider a permutation σ ∈ Sn as a deck of cards num-bered from 1 to n and laid out in a row, where σj denotes the number of the card that is in the j-th position from the left. We study some probabilistic and combinatorial aspects of the shuffle on Sn defined by removing and then randomly reinserting each of the n cards once, with the removal and reinsertion being performed according to the original left to right order of the cards. The novelty here in this nonstandard shuffle is that every card is removed and reinserted exactly once. The bias that remains turns out to be quite strong and possesses some sur-prising features. 1.

研究の動機と目的

• 対称群 Sn における非標準的なシャッフルプロセスの確率的および組合せ論的性質を分析すること。
• 各カードが元の順序に従って一度だけ取り出し、一様に再挿入されるプロセスから生じるシャッフルの定常分布を理解すること。
• このシャッフルの混合時間および収束挙動を調査すること、特に完全なランダム化の試みにもかかわらずバイアスが持続するかどうかを検討すること。
• 結果の順列分布に顕在する予期しない構造的特徴（非一様性や組合せ論的規則性など）を解明すること。

提案手法

• シャッフルを、各カードが左から右の順序に従って処理され、n 個の可能な位置（元の位置を含む）から一様にランダムに再挿入される対称群 Sn 上のマルコフ連鎖としてモデル化する。
• 各カードを左から右へ順に処理し、再挿入位置を全 n 通りのうちから一様に選ぶ遷移メカニズムを定義する。
• 組合せ的数え上げと母関数を用いて、マルコフ連鎖の定常分布を分析し、各順列の尤度を特徴付ける。
• 再帰的分解と包含除算法を用いて、定常測度下での特定の順列型の確率を計算する。
• 漸近的解析を用いて、n が大きくなるに従ってのバイアスの挙動を研究し、測度の集中と一様性からの逸脱に注目する。
• スペクトルギャップと反復回数ごとの一様性からの全 Variation 距離を検討することで、混合時間を調査する。

実験結果

リサーチクエスチョン

• RQ1 カードの循環的からランダムへのシャッフルの定常分布は何か？ 一様性からどれほど逸脱しているか？
• RQ2 順序に従って取り出し・ランダムに再挿入するプロセスによって生じるバイアスはどれほど強く、その背後にある組合せ論的構造は何か？
• RQ3 このシャッフルの混合時間は何か？ 一様性に素早く収束するのか、それとも長距離相関を示すのか？
• RQ4 このシャッフル下で特に有意に確率が高いか低いかとなる特定の順列型は存在するか？ もし存在するならその理由は何か？
• RQ5 再挿入が明らかにランダムであるにもかかわらず、定常分布に顕在する驚くべき構造的特徴は何か？

主な発見

• このシャッフルの定常分布は著しく非一様であり、順序に従って処理されるため、特定の順列が他の順列よりも指数関数的に尤もらしい。
• バイアスは、元の順序の大きなブロックを保つ順列で最も強く、シャッフルが初期状態の記憶を保持していることを示している。
• 定常測度下での順列の確率は、その逆転数とサイクル構造に依存し、母関数を用いた組合せ論的公式が導出された。
• 標準的なランダムからランダムシャッフルと比較して、このシャッフルの混合時間は著しく遅く、定常分布の持続的バイアスに起因する。
• 驚くべきことに、定常分布は「局所的順序」という形を示しており、元のデッキにおける隣接する要素が最終的なシャッフルでも隣接しやすい傾向がある。
• 一様性からの全 Variation 距離は緩やかに減少するため、各カードがランダムに再挿入されるにもかかわらず、このシャッフルは速やかに混合しない。