[論文レビュー] Riffles, ruffles, and the turning algebra

Peter G. Doyle, Dan Rockmore|ArXiv.org|Apr 1, 2008

Mathematics and Applications被引用数 4

ひとこと要約

この論文は、ラフリーシャッフルを一般化した「ラッフル」——下の山をひっくり返すシャッフル——に基づき、対称群代数 $S_n$ の可換部分代数としての「ターニング代数」を導入する。ラッフルと向き付き置換の間の関係を確立し、置換の「ターニング数」を、その向き付き上昇数の最小値より1小さい値として定義する。主たる貢献は、よく知られた上昇代数を一般化する新しい代数的構造の構成であり、再構成定数が2のべきであることが示され、組合せ的複雑性の増加を示している。

ABSTRACT

The rising algebra is a subalgebra of the group algebra of the symmetric group S_n, gotten by lumping together permutations having the same number of rising sequences. This well-known algebra arises naturally when studying riffle shuffles. Here we introduce a number of other subalgebras that arise naturally when studying `ruffles', which are like riffles except that after cutting the deck you turn over the bunch of cards that were on the bottom. This orphaned draft offers no context or motivation, and uses idiosyncratic notation and terminology that `seemed like a good idea at the time'. We're making it available because it has been cited in this form.

研究の動機と目的

• ラフリーシャッフルから生じる上昇代数を、下の山をひっくり返す『ラッフル』に基づく新しい代数的構造へ一般化すること。
• ラッフル操作における複雑さの尺度としての『ターニング数』を定義し、その性質を分析すること。
• 向き付き置換を介した因子分解を通じて、$S_n$ の群代数の可換部分代数として『ターニング代数』を構成すること。
• ターニング代数と上昇代数、向き付き上昇代数の間の組合せ的複雑性を比較すること。
• 上昇代数の簡単な場合と異なり、ターニング代数における因子分解の間には自然な双対写像が存在するかを調査すること。

提案手法

• 置換を垂直分数 $\sigma|\tau$ として表す独創的な表記法を用い、シャッフルの文脈における合成と可視化を簡略化する。
• 方向パラメータ（『上』または『下』）を導入することで、ラッフル操作を拡張し、山の向きが異なるラッフルをモデル化する『方向付きラッフルモノイド』を導入する。
• 向き付き置換の『向き付き上昇数』を定義し、与えられた向き付き置換をラッフルで得る方法の数が、この数にのみ依存することを示す。
• 群 $\bar{S}_n$ の向き付き置換の群代数の可換部分代数として『向き付き上昇代数』を構成する。
• 与えられた置換をラッフルで得る方法の数が、その置換のターニング数にのみ依存することを示す。ターニング数は、その置換に還元可能な任意の向き付き置換の最小向き付き上昇数より1小さい値として定義される。
• 向き付き上昇代数と射影 $\pi_{\bar{S}_n, S_n}$ を介した因子分解を通じて、$S_n$ の群代数の可換部分代数として『ターニング代数』を確立する。

実験結果

リサーチクエスチョン

• RQ1 下の山をひっくり返すラッフル操作は、ラフリーシャッフルをどのように一般化し、どのような新しい代数的構造を生成するか？
• RQ2 置換の『ターニング数』の組合せ的意味は何か？また、関連する向き付き置換の向き付き上昇数とどのように関係するか？
• RQ3 ターニング代数は $S_n$ の群代数の可換部分代数として構成可能か？また、上昇代数と比較して構造的・複雑性の観点からどのように異なるか？
• RQ4 上昇代数におけるように、ターニング代数における因子分解の間にも自然な双対写像が存在するか？
• RQ5 ターニング代数の再構成定数は何か？なぜ上昇代数の1とは異なるのか？

主な発見

• ターニング代数は、向き付き置換の群と $S_n$ への射影を介した因子分解を通じて、$S_n$ の群代数の可換部分代数として構成される。
• 置換のターニング数は、その置換に還元可能な任意の向き付き置換の最小向き付き上昇数より1小さい値として定義される。
• 与えられた置換をラッフルで得る方法の数は、そのターニング数にのみ依存するため、ターニング代数は群代数の妥当なグルーピング（ lumping ）であることが保証される。
• ターニング代数の再構成定数は2のべきであり、上昇代数の定数が1であるのと比較して、より高い組合せ的複雑性を示している。
• 因子分解の間の双対写像はサイズの同型により保証されるが、非自明な再構成定数のため、自然な双対写像は期待されない。
• 削減されたターニング数では位置1のターニングポイントが除外され、方向付きラッフルモノイドが導入され、これにより削減されたターニング代数が構成される。