[論文レビュー] The octahedron recurrence and RSK-correspondence

В. И. Данилов, Gleb Koshevoy|ArXiv.org|Mar 14, 2007

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

ひとこと要約

本稿では、六面体再帰を介して代数的RSK対応のトロピカル版を確立し、グリッド上の超モodular関数が双対的に非モodular関数に対応することを示し、最終的に平面分割に対応することを明らかにした。Noumi-Yamadaの代数的RSK構成を遺伝的配列を用いてトロピカル化することで、修正されたRSK対応を回復する区分線形双対写像を導出し、離散的下に凸性と六面体関係を通じて組合せ論的および代数的構造を統一した。

ABSTRACT

We start with an ``algebraic'' RSK-correspondence due to Noumi and Yamada. Given a matrix $X$, we consider a pyramidal array of solid minors of $X$. It turns out that this array satisfies an algebraic variant of octahedron recurrence. The main observation is that this array can also be constructed with the help of some square `genetic' array. Next we tropicalize this algebraic construction and consider $T$-{\em polarized} pyramidal arrays (that is arrays satisfying octahedral relations). As a result we get several bijections, viz: a) a linear bijection between non-negative arrays and supermodular functions; b) a piecewise linear bijection between supermodular functions and the so called infra-modular functions; c) a linear bijection between infra-modular functions and plane partitions. A composition of these bijections yields a bijection between non-negative arrays and plane partitions coinciding with the modified RSK-correspondence.

研究の動機と目的

• 古典的RSK対応と六面体再帰との間の明確な接続を、トロピカル化を用いて確立すること。
• 先行研究で得られた修正RSK対応が、代数的RSK構成の自然なトロピカル極限として生じることを示すこと。
• 六面体再帰がグリッド上の超モodular関数と非モodular関数の間の双対写像を誘導することを証明すること。
• 非負の配列から平面分割への双対写像の合成が、RSK対応と一致することを示すこと。

提案手法

• 著者らは、行列Xの立体的 minorsのピラミッド配列を定義し、これが代数的六面体再帰を満たすことを示した。
• このような minors を生成するための「遺伝的」配列を導入し、正の遺伝的配列が完全正行列を生成することを示した。
• 代数的構成をトロピカル化することで、格子上の離散的下に凸関数が得られ、maxと加法をminと加法に置き換えた。
• 六面体再帰を用いて3次元グリッド全体に値を伝搬させ、面およびレベル間の整合性を保証した。
• i+kおよびj+kの補正関数を用いて、超モodular関数を非モodular関数に変換する変換を適用した。
• 重要なステップとして、[3]の補題5を用いて、修正された関数が錐上で離散的下に凸関数を生成することを示し、元の関数が所定の性質を満たすことを示した。

実験結果

リサーチクエスチョン

• RQ1 NoumiとYamadaの代数的RSK対応をどのようにトロピカル化すれば、RSK対応を回復できるか？
• RQ2 六面体再帰は、超モodular関数と平面分割をどのように結びつけるか？
• RQ3 修正RSK対応は、六面体再帰を介して区分線形双対写像の合成として導出可能か？
• RQ4 トロピカル化された再帰がRSK対応の構造を保つために必要な条件は何か？

主な発見

• 六面体再帰は、グリッド上の超モodular関数と非モodular関数の間の区分線形双対写像を誘導する。
• 非負の配列から超モodular関数への双対写像、次に非モodular関数への双対写像、最後に平面分割への双対写像の合成により、修正RSK対応と等価な双対写像が得られる。
• トロピカル化された遺伝的配列構成により、すべての完全正行列が生成され、得られる関数は六面体再帰を満たす。
• 証明の鍵となるのは、ピラミッドを錐に変換し、離散的下に凸性を用いて補正関数を通じて非モodular性および超モodular性を検証することである。
• 重要な恒等式 a′ + a = max(e + e′, b + c) は、六面体再帰下での整合性を保証し、超モodular性および非モodular性の証明を可能にする。