[論文レビュー] Affine shuffles, shuffles with cuts, and patience sorting

Jason Fulman|arXiv (Cornell University)|Oct 18, 1999

Cellular Automata and Applications被引用数 1

ひとこと要約

この論文は、n と q−1 の最大公約数が 1 であるとき、対称群 Sn の共役類上で同一の確率測度を誘導することを示す。この条件のもとで、アフィンシャッフルとカットを伴うリフルシャッフルを比較し、主にマジョル・インデックスの等分布と巡回的降下に関する組合せ的同等性が鍵となる。また、リフルシャッフルにおけるカットが混合速度を向上させないことも示しており、パティエンス・ソーティングやランダム行列理論への応用がある。

ABSTRACT

Type A affine shuffles are compared with riffle shuffles followed by a cut. Although these probability measures on the symmetric group Sn are different, they both satisfy a convolution property. Strong evidence is given that when the underlying parameter q satisfies gcd(n, q−1) = 1, the induced measures on conjugacy classes of the symmetric group coincide. This gives rise to interesting combinatorics concerning the modular equidistribution by major index of permutations in a given conjugacy class and with a given number of cyclic descents. It is proved that the use of cuts does not speed up the convergence rate of riffle shuffles to randomness. Generating functions for the first pile size in patience sorting from decks with repeated values are derived. This relates to random matrices. Key words: card shuffling, conjugacy class, sorting, random matrix, cycle structure. 1

研究の動機と目的

• 対称群 Sn におけるアフィンシャッフルとカットを伴うリフルシャッフルの関係を調査すること。
• これらの2つのシャッフル手法が共役類上で同一の確率測度を誘導する条件を特定すること。
• この同等性に起因する組合せ的結果、特にマジョル・インデックスと巡回的降下の分布に関する考察。
• カット付きリフルシャッフルの混合時間の分析を行い、カットが一様分布への収束速度を向上させるか否かを評価すること。
• 繰り返し値を含むカードデッキにおけるパティエンス・ソーティングの最初のパイルサイズの母関数を導出すること。ランダム行列理論と関連付ける。

提案手法

• 対称群上の確率測度の畳み込み性質を用いて、アフィンシャッフルとカット付きリフルシャッフルを比較する。
• 最大公約数(n, q−1) = 1 の条件下で、共役類上への誘導される測度を群論的技法を用いて分析する。
• 繰り返し値を含むデッキにおけるパティエンス・ソーティングの最初のパイルサイズをモデル化するための母関数を用いる。
• 共役類内でのマジョル・インデックスと巡回的降下数の分布を分析する。
• パティエンス・ソーティングから得られる母関数を通じて、ランダム行列理論への接続を活用する。
• 組合せ的数え上げと合同算術を用いて、等分布現象を研究する。

実験結果

リサーチクエスチョン

• RQ1 アフィンシャッフルとカット付きリフルシャッフルが、Sn の共役類上で同一の確率分布を生成するのはどのような条件下か？
• RQ2 巡回的降下を考慮した場合、与えられた共役類内の置換におけるマジョル・インデックスの分布はどのように振る舞うか？
• RQ3 リフルシャッフルにカットステップを追加することで、一様分布への収束速度が向上するか？
• RQ4 カードの値に重複がある場合、パティエンス・ソーティングにおける最初のパイルサイズを記述する母関数は何か？
• RQ5 得られた母関数とランダム行列アンサンブルとの間にどのような関係があるか？

主な発見

• 最大公約数(n, q−1) = 1 のとき、アフィンシャッフルとカット付きリフルシャッフルが共役類上で誘導する確率測度は一致する。
• この測度の一致は、各共役類内でマジョル・インデックスのモジュラー等分布と、固定された巡回的降下数に対する等分布を示唆する。
• カットの導入は、リフルシャッフルの混合速度を向上させないため、混合時間に利点がないことが示された。
• 繰り返し値を含むデッキにおけるパティエンス・ソーティングの最初のパイルサイズの母関数が導出され、ランダム行列理論と関連することが明らかになった。
• 最大公約数の条件の下で、巡回的降下とマジョル・インデックスの組合せ的構造が体系的な等分布を示す。
• 本研究は、シャッフルプロセス、対称群の表現論、ランダム行列アンサンブルの間の非自明な接続を確立した。