[論文レビュー] Shuffles on Coxeter groups

Swapneel Mahajan|ArXiv.org|Aug 13, 2001

Advanced Combinatorial Mathematics参考文献 15被引用数 6

ひとこと要約

本稿は、対称群 $A_{n-1}$ のリフルシャッフルやランダム・トゥ・トップ・シャッフルを符号付きカードデッキに一般化する、型 $B_n$ および $D_n$ のコクセター群のシャッフル代数を導入する。シャッフル力学とコクセター複体の幾何学の間の関係を統一的な代数的枠組みで結びつける。これらのシャッフル代数は、半群代数 $k\Sigma$ の $W$-不変元を介してソロモンの降下代数の可換部分代数として得られ、建物上の確率ウォークや $q$-アナローグへの応用を可能にする。

ABSTRACT

The random-to-top and the riffle shuffle are two well-studied methods for shuffling a deck of cards. These correspond to the symmetric group $S_n$, i.e., the Coxeter group of type $A_{n-1}$. In this paper, we give analogous shuffles for the Coxeter groups of type $B_n$ and $D_n$. These can be interpreted as shuffles on a ``signed'' deck of cards. With these examples as motivation, we abstract the notion of a shuffle algebra which captures the connection between the algebraic structure of the shuffles and the geometry of the Coxeter groups. We also briefly discuss the generalisation to buildings which leads to q-analogues.

研究の動機と目的

• 対称群 $S_n$（型 $A_{n-1}$）における古典的なシャッフルプロセス（リフルシャッフルやランダム・トゥ・トップ・シャッフルなど）を、ハイパーオクテハドラル群 $B_n$ および偶符号置換群 $D_n$ に一般化すること。
• シャッフルの代数的構造とコクセター複体の幾何学的構造の間の相互作用を捉える統一的な代数的枠組み（シャッフル代数）を構築すること。
• これらのシャッフル代数が、半群代数 $k\Sigma$ の $W$-不変元を介してソロモンの降下代数の可換部分代数として生じることを示し、部屋上の確率ウォークの解析を可能にすること。
• 枠組みを建物へと拡張し、シャッフル代数の $q$-アナローグを得るとともに、組合せ的表現論との深い関係を明らかにすること。

提案手法

• コクセター群 $W$ のコクセター複体に関連する半群 $\Sigma$ を定義する。ここで、部屋は最大単体であり、射影写像によって乗法が誘導される。
• 半群代数 $k\Sigma$ を構成し、$W$-不変部分代数 $(k\Sigma)^W$ を特定する。これは単体の $W$-軌道によってインデックスづけられる基底を持つ。
• シャッフル代数を、シャッフルプロセスに由来する $W$-不変元 $\sigma$ を用いて定義される可換部分代数 $k[\sigma] \subseteq (k\Sigma)^W$ として導入する。
• 包含写像 $k\Sigma \hookrightarrow \text{End}_k(k\mathcal{C})$ を用いて、$\sigma$ を部屋モジュール $k\mathcal{C}$ 上の線形作用素として解釈し、左乗法による確率ウォークのモデル化を行う。
• $[n,\overline{n}]$ の符号付き反対称順序付き分割を用いて、面と部屋を表現する。$B_n$ および $D_n$ 構造を符号付けるために、中央ブロック（またはゼロブロック）を特別扱いする。
• 単体の細分によるこれらの分割の乗法則を確立し、重複表現（例：$D_n$ における中心部の単一ブロックの統合）を処理するための同定を導入する。

実験結果

リサーチクエスチョン

• RQ1 リフルシャッフルやランダム・トゥ・トップ・シャッフルといった古典的シャッフルプロセスを、型 $B_n$ および $D_n$ のコクセター群にどのように一般化できるか？
• RQ2 シャッフル力学とコクセター複体の幾何学の間の関係を規定する代数的構造は何か？
• RQ3 半群代数 $k\Sigma$ の $W$-不変元が、部屋上の確率ウォークをモデル化する可換部分代数をどのように生じさせるか？
• RQ4 型 $D_n$ の面の分割表現における中央ブロックの役割は何か？また、それは乗法や代数的閉包にどのように影響するか？
• RQ5 この枠組みを建物へと拡張することで、シャッフル代数の $q$-アナローグを得られるか？

主な発見

• 型 $B_n$ および $D_n$ のシャッフル代数は、$W$-不変元 $\sigma$ を用いて $k[\sigma] \subseteq (k\Sigma)^W$ として得られる、ソロモンの降下代数の可換部分代数である。
• $D_n$ のコクセター複体の部屋は、最下段のカードを除きすべて符号付きである「ほとんど符号付きデッキ」に対応し、型 $B_n$ の符号付きデッキを一般化する。
• $D_n$ の面の乗法は、反対称順序付き分割の細分によって定義され、中心部の2つの単一ブロックを1つの対（互いに符号が反対の要素）に統合する特別な同定が施される。
• $D_n$ の面の分割表現における中央ブロックは、$u$ および $v$ 生成子が両方存在するとき空でない。このとき、正確に2つの要素が互いに符号反対である必要がある。
• この枠組みは、実コクセター複体を超えて建物へ一般化することで、$q$-アナローグの構成を可能にする。
• 確率ウォークのモデルは、$k\Sigma$ 内での $\sigma$ の左乗法によって代数的に符号化され、$\text{End}_k(k\mathcal{C})$ への $\sigma$ の像から得られる遷移行列（正規化を除く）によって記述される。