[論文レビュー] RSK Insertion for Set Partitions and Diagram Algebras

Tom Halverson, Tim Lewandowski|ArXiv.org|Jul 1, 2005

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

ひとこと要約

本稿では、集合分割および図形代数に対する一般化されたRSK挿入アルゴリズムを提示し、分割代数 $\mathbb{C}A_k(n)$ の表現論における2つの恒等式の組み合わせ的証明を提供する：$n^k = \sum_{\lambda} f^\lambda m_k^\lambda$ および $B(2k) = \sum_{\lambda} (m_k^\lambda)^2$、ここで $m_k^\lambda$ は長さ $2k$ で形状 $\lambda$ の空振るテーブルックスの個数を表す。この手法はRSKおよび jeu de taquin を図形代数へ拡張し、対称群、ブラウアー代数、テンパー・リーブ代数の既知の対応を統一する。

ABSTRACT

We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.

研究の動機と目的

• 分割代数 $\mathbb{C}A_k(n)$ の表現論における恒等式 $n^k = \sum_{\lambda} f^\lambda m_k^\lambda$ の組み合わせ的証明を提供すること。
• 集合分割 $\{1,\dots,2k\}$ の個数である $B(2k)$ についての双対的証明 $B(2k) = \sum_{\lambda} (m_k^\lambda)^2$ を確立すること。
• 対称群、ブラウアー代数、テンパー・リーブ代数、ルックモノイド代数を含む、さまざまな図形代数のRSK対応を統合的かつ一般化すること。
• 挿入アルゴリズムが分割代数の部分代数に自然に制限され、組み合わせ的構造を保存することを示すこと。

提案手法

• 著者らは、ロビンソン＝シェンステッド＝クヌース（RSK）の列挿入と jeu de taquin を組み合わせ、$\{1,\dots,n\}^k$ の列と、$P$ が標準ヤングテーブルックスで、$Q$ が長さ $2k$ で形状 $\lambda$ の空振るテーブルックスであるようなペア $(P, Q)$ の間の双対写像を構成する。
• 空振るテーブルックスは、分割代数 $\mathbb{C}A_k(n)$ のブラッテリ図における整数分割の列として定義され、$m_k^\lambda$ は形状 $\lambda$ のようなパスの個数を数える。
• 成長図と対称性を保つ局所規則を用いて、図形代数へ挿入プロセスを拡張し、対称的でない図形を含む一様な取り扱いを可能にする。
• アルゴリズムが対称群 $S_k$、ブラウアー代数 $B_k(n)$ および他の部分代数（テンパー・リーブ代数、ルックモノイド代数など）に対して既知のRSK対応に制限されることを示した。
• 主な技術的革新は、対称図形を等しい $P$ と $Q$ テーブルックスから再構成できるようにする、可逆な局所規則を成長図に用いることである。
• $B(2k) = \sum_{\lambda} (m_k^\lambda)^2$ の証明は、空振るテーブルックスのペアと集合分割の間の双対的対応に依拠しており、対称性条件が正確な個数を保証する。

実験結果

リサーチクエスチョン

• RQ1 RSK対応を分割代数 $\mathbb{C}A_k(n)$ にどのように拡張すれば、恒等式 $n^k = \sum_{\lambda} f^\lambda m_k^\lambda$ の組み合わせ的証明が得られるか？
• RQ2 ブラウアー代数、テンパー・リーブ代数、ルックモノイド代数を含む、複数の図形代数に一般化された一様な挿入アルゴリズムを構築できるか？
• RQ3 空振るテーブルックスを用いたとき、$A_k$ 内の対称図形の個数の組み合わせ的解釈は何か？
• RQ4 挿入プロセスは分割代数の部分代数にどのように制限され、どのような恒等式が回復されるか？

主な発見

• 恒等式 $n^k = \sum_{\lambda \in \Lambda_n^k} f^\lambda m_k^\lambda$ は、RSK挿入と jeu de taquin を用いて組み合わせ的に証明された。ここで $m_k^\lambda$ は長さ $2k$ で形状 $\lambda$ の空振るテーブルックスの個数を表す。
• 恒等式 $B(2k) = \sum_{\lambda} (m_k^\lambda)^2$ は、空振るテーブルックスのペアと集合分割 $\{1,\dots,2k\}$ の間の双対的対応により確立された。
• 挿入アルゴリズムは、対称群 $S_k$、ブラウアー代数 $B_k(n)$ および他の図形代数に対して既知のRSK対応に制限され、それらの組み合わせ論を統一した。
• $A_k$ 内の対称図形の個数は $\sum_{\lambda \in \Lambda_k} m_k^\lambda$ に等しく、これは長さ $2k$ の空振るテーブルックスの個数に一致する。
• 可逆な局所規則を用いた成長図の構成により、対称的テーブルックス $P = Q$ が正確に対称図形に対応することが保証され、$A_k$ 内の対称的要素の構造的特徴づけが得られた。
• この手法は、置換に制限した場合に古典的RSK対応が特殊ケースとして含まれる一様なフレームワークを提供する。