[論文レビュー] Increasing and Decreasing Sequences in Fillings of Moon Polyominoes

Martin Rubey|arXiv (Cornell University)|Apr 6, 2006

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

ひとこと要約

この論文は、月型多ポリオミノの充填に jeu de taquin とプロモーションを拡張し、その充填における増加および減少列の対称性を証明する。また、Jakob Jonsson による予想を確認する。その予想とは、与えられた閾値よりも長い北東方向の鎖を持たない 0-1 充填の数は、列の高さ分布にのみ依存するというものである。これは、マッチングや集合分割における交差とネストの結果を一般化するものである。

ABSTRACT

We present an adaptation of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. Using this construction we show various symmetry properties of such fillings taking into account the lengths of longest increasing and decreasing chains. In particular, we prove a conjecture of Jakob Jonsson. We also relate our construction to the one recently employed by Christian Krattenthaler, thus generalising his results.

研究の動機と目的

• 月型多ポリオミノの任意の充填に jeu de taquin とプロモーションを一般化すること。
• 列の高さ分布に依存する、長さが与えられた閾値を超える北東方向の鎖を持たない 0-1 充填の数の不変性に関する Jakob Jonsson の予想を証明すること。
• 月型多ポリオミノの充填における最長増加および減少鎖の対称性を確立すること。
• 成長図と Greene の不変量を通じて、Christian Krattenthaler の先行研究とこの構成を関連させること。
• プロモーション作用素を備えた他の双対順序付きグラフへの結果の一般化の可能性を検討すること。

提案手法

• 成長図の技術を用いて、月型多ポリオミノの充填に jeu de taquin とプロモーションを適応する。
• Robinson-Schensted-Knuth 対応およびその Greene 不変量を用いて、最長北東方向鎖の長さを符号化する。
• 命題 4.7 で証明されたプロモーションの局所性および RSK アルゴリズムの性質を用いて、列の順列に対して不変であることを確立する。
• Knuth 同値および双対 Knuth 同値関係を用いて、プロモーションによる充填の変換を分析する。
• 一般ケースを標準的充填に還元するために、充填の部分的標準化を利用する。
• 主対角線に関する反射を通じて、Knuth 同値と双対 Knuth 同値の双対性を活用する。

実験結果

リサーチクエスチョン

• RQ1 月型多ポリオミノの 0-1 充填において、ある閾値を超える長さの北東方向鎖を持たないものの数は、列の高さにのみ依存するか？
• RQ2 マッチングや集合分割における交差とネストの対称性は、月型多ポリオミノの充填に一般化可能か？
• RQ3 プロモーションおよび jeu de taquin は、非標準的充填において鎖長統計をどのように保存するか？
• RQ4 プロモーションの局所性は、月型多ポリオミノの文脈における RSK 対応とどのように関係するか？
• RQ5 この結果は、古典的 RSK フレームワークを超えた他の双対順序付きグラフへ拡張可能か？

主な発見

• ある閾値を超える長さの北東方向鎖を持たない月型多ポリオミノの 0-1 充填の数は、列の高さ分布にのみ依存し、Jonsson の予想を確認した。
• 月型多ポリオミノの充填に対するプロモーションおよび jeu de taquin の構成は、最長増加および減少鎖の長さを保存する。
• 成長図を用いて、特定の構造的制約を満たす充填に対して、Knuth 同値がプロモーションによって保存されることを示した。
• プロモーションの局所性（命題 4.7）により、充填の局所的変更が結果の表に影響するのは局所的領域に限られる。
• Krattenthaler の交差とネストに関する結果を、月型多ポリオミノのより広いクラスへ拡張することで一般化した。
• 各列に高々1つの非ゼロ要素を持つ 0-1 充填および固定された鎖長を持つ生成関数は、列の順列に対して不変であり、Kasraoui によって示されたが、今やこの枠組みの中で解釈された。