[論文レビュー] Shifted tableau switchings and shifted Littlewood-Richardson coefficients

Seung-Il Choi, Sun-Young Nam+1 more|arXiv (Cornell University)|Jan 31, 2017

Advanced Combinatorial Mathematics参考文献 10被引用数 3

ひとこと要約

本稿では、シフトド・ヤング・テーブルックスに対して古典的テーブルックスイッチング過程の類似物として、2つの新しい組合せ的アルゴリズム——シフトド・テーブルックスイッチングおよび修正シフトド・テーブルックスイッチング——を導入する。特殊な初等的変換（スイッチ）を定義することで、シフトド・パフォレートネスおよびラティス語の性質を保ちつつ、対合的かつ全単射な写像を構築し、シフトド・リトルウッド＝リチャードソン係数の組合せ的解釈を提供する。これにより、対称性が証明され、シュール $P$-および $Q$-関数の恒等式に対する構成的規則が得られる。

ABSTRACT

We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.

研究の動機と目的

• 古典的テーブルックスイッチング過程を、シフトド形状に定義され、プライム付きの要素を含むテーブルックスに拡張すること。
• 標準的なシフトド・ジュ・ド・タインが非半標準的テーブルックスを生成する問題を解決し、半標準性が保たれるように修正スイッチを導入すること。
• 新しいスイッチングアルゴリズムを用いて、シュール $P$-および $Q$-関数の恒等式の組合せ的解釈を提供すること。
• ラティス性を満たすシフトド・テーブルックスのペアの間の双対写像を確立することで、シフトド・リトルウッド＝リチャードソン係数の対称性の構成的証明を与えること。
• 修正シフトド・テーブルックスイッチングが対合的であり、かつラティス性を保つことを示し、シフトド・リトルウッド＝リチャードソン係数の計算に対する新しい規則を提供すること。

提案手法

• 空のボックスを含むシフトド・パフォレートド $({\bf a},{\bf b})$-ペアを定義し、シフトド・テーブルックス上のスイッチング過程を扱うフレームワークとする。
• シフトド・ジュ・ド・タインの作用を模倣する7つの初等的スイッチ（S1–S7）を導入し、制御された方法で要素を入れ替えることを可能にする。
• テーブルックス $T$ が $S$ を拡張するペア $(S,T)$ に対して、スイッチを逐次適用することでシフトド・テーブルックスイッチング過程を構築し、シフトド・パフォレートネスを維持する。
• プライム付きの要素が主対角線上に現れないようにするため、3つの修正スイッチ（S1′, S2′, S6′）を導入し、半標準性が保たれることを保証する。
• 特定の状況では修正スイッチを用い、それ以外は通常のスイッチを用いることで、修正シフトド・テーブルックスイッチング過程を定義し、出力が半標準的シフトド・テーブルックスのペアのまま保たれることを保証する。
• シフトド・クヌース同値およびプライム操作の不変性を用いて、修正スイッチング写像が対合的であり、読み取り語のラティス性を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的テーブルックスイッチング過程を、対合的性質や正規化行動を保つ形で、シフトド設定に一般化することは可能か？
• RQ2 シフトド・ジュ・ド・タインで非半標準的出力が生じる問題をどのように解決し、シフトド・リトルウッド＝リチャードソン係数に対する明確な組合せ的規則を可能にするか？
• RQ3 対称性 $g^{\nu}_{\nu\beta} = g^{\nu}_{\beta\beta}$ のための組合せ的解釈を提供する双対的アルゴリズムは存在するか？
• RQ4 スイッチング操作の下で、シフトド・テーブルックスの読み取り語がラティス語のまま保たれる条件は何か？
• RQ5 修正シフトド・テーブルックスイッチング過程を用いて、シュール $P$-関数のシュール $P$-関数への展開に対する構成的規則を導出できるか？

主な発見

• 修正シフトド・テーブルックスイッチング過程は対合的である。つまり、2度適用すると元のテーブルックスのペアに戻る。
• この過程は読み取り語のラティス性を保つ。つまり、テーブルックスがラティス語を持つことと、スイッチング後の像がラティス語を持つことは同値である。
• 形状 $\nu/\nu$ で重み $\nu$ の修正リトルウッド＝リチャードソン＝ステンブリッジ（LRS）テーブルックスの数は、ちょうど $g^{\nu}_{\nu\beta} = \frac{2^{\nu} f^{\nu}_{\beta\beta}}{2^{\nu - \beta}}$ に等しく、具体的な例として $\nu = (6,5,2,1)$, $\beta = (4,2)$, $\nu = (4,3,1)$ の場合に $g^{\nu}_{\nu\beta} = 8$ であることを示している。
• 修正シフトド・テーブルックスイッチングは、$\bigcup_{\nu \ni \beta} \text{SSYT}(\nu/\beta, \nu) \times \text{SSYT}(\beta)$ と $\bigcup_{\nu \ni \nu} \text{SSYT}(\nu) \times \text{SSYT}(\nu/\beta, \nu)$ の間の双対写像を誘導し、恒等式 $P_{\nu/\beta}(x) = \bigsum_{\nu} g^{\nu}_{\nu\beta} P_{\nu}(x)$ の組合せ的証明を提供する。
• シフトド・リトルウッド＝リチャードソン係数の対称性は、単に証明されるだけでなく、修正LRSテーブルックスの内側の形状と重みを入れ替える対合的写像によって明示的に実現される。$g^{\nu}_{\nu\beta} = g^{\nu}_{\beta\nu}$ が成り立つ。