[論文レビュー] Permutation sign under the Robinson-Schensted-Knuth correspondence

Astrid Reifegerste|ArXiv.org|Sep 16, 2003

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

ひとこと要約

本稿は、挿入表と記録表の構造を分析することで、ロビンソン＝シュケンプト＝クヌース（RSK）対応から置換の符号を直接計算する公式を確立する。符号は、挿入表の偶数番目の行の総長の偶奇と、挿入表と記録表の符号の積に等しくなることが示され、ハンク形状の表に対するスタンレーの予想の簡単な証明が得られるとともに、パターンを避ける置換における符号分布の精密化がなされる。

ABSTRACT

We show how the sign of a permutation can be deduced from the tableaux induced by the permutation under the Robinson-Schensted-Knuth correspondence. The result yields a simple proof of a conjecture on the squares of imbalances raised by Stanley.

研究の動機と目的

• RSK対応によって得られる表のみを用いて、置換の符号を決定すること。
• インボリューションのためのベイッサージャーのアルゴリズムを任意の置換へ一般化すること。
• ハンク形状の標準ヤン表における不均衡の平方に関するスタンレーの予想を証明すること。
• パターン回避置換における符号と最長増加部分列の同時分布を分析すること。

提案手法

• RSK対応の対称性を利用：置換の記録表はその逆置換の挿入表に等しい。
• Knuthの同値関係を適用して、基本的変換を介してインボリューションから一般置換への結果を拡張する。
• 表の符号を、その行語の逆転数の指数として定義する。
• 挿入表の偶数番目の行の長さの偶奇を、置換の符号を計算するための主要な要素として導入する。
• 逆RSK挿入を用いて表から置換を再構成し、降下構造を特定する。
• 既知のハンク形状の表と不均衡に関する結果を応用し、符号重み付き分布の母関数を導出する。

実験結果

リサーチクエスチョン

• RQ1 置換の符号は、RSK対応によって得られる表から直接どのように計算できるか？
• RQ2 置換の符号とその挿入表・記録表の構造との間にはどのような関係があるか？
• RQ3 置換の巡回構造に依存せずに、表の形状と内容のみから符号を特定できるか？
• RQ4 213および231を回避する置換において、符号分布はどのように振る舞うか？
• RQ5 表を介した置換の符号の公式は、ハンク形状の表の不均衡に関するスタンレーの予想を証明するものか？

主な発見

• 置換の符号は、挿入表と記録表の符号の積と、挿入表の偶数番目の行の総長の偶奇の積に等しい。
• この結果により、ハンク形状の標準ヤン表における不均衡の平方に関するスタンレーの予想に対する新しい簡単な証明が得られる。
• 213および231を回避する置換に対して、符号重み付き最長増加部分列の母関数は $ q(q+1)^{\rfloor(n-1)/2\rfloor}(q-1)^{\rfloor n/2\rfloor} $ で与えられる。
• n が奇数のとき、213/231-回避置換の集合における偶置換と奇置換の数は等しくなり、母関数は $ q(q^2 - 1)^{(n-1)/2} $ に簡略化される。
• n が偶数のとき、母関数は $ q(q-1)(q^2 - 1)^{n/2 - 1} $ に変わる。これは符号分布における不均衡を反映している。
• 本稿は、{213,231}-回避置換とハンク形状の標準ヤン表との間の双対写像を確立し、RSK対称性を用いて $ |A_n| = 2^{n-1} $ を確認する。