[論文レビュー] Bijections between pattern-avoiding fillings of Young diagrams

Matthieu Josuat-Vergès|arXiv (Cornell University)|Jan 31, 2008

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

ひとこと要約

本稿では、$λ$-完全な多ポリオミノの2つのクラスである$γ$-図形（パターン$\begin{smallmatrix}11\\10\end{smallmatrix}$および$\begin{smallmatrix}01\\10\end{smallmatrix}$を避ける）とX-図形（パターン$\begin{smallmatrix}10\\01\end{smallmatrix}$および$\begin{smallmatrix}01\\10\end{smallmatrix}$を避ける）の間で、明示的かつ構成的な全単写像を提示する。これらの全単写像は、ゼロ列や制限付き行といった重要な構造的特徴を保ち、ポストニコフとスリピドノフの再帰的結果を、ヤング図形や鐘乳石型の形状を含むより広いクラスの多ポリオミノへと拡張する。

ABSTRACT

The pattern-avoiding fillings of Young diagrams we study arose from Postnikov's work on positive Grassman cells. They are called Le-diagrams, and are in bijection with decorated permutations. Other closely-related diagrams are interpreted as acyclic orientations of some bipartite graphs. The definition of the diagrams is the same but the avoided patterns are different. We give here bijections proving that the number of pattern-avoiding filling of a Young diagram is the same, for these two different sets of patterns. The result was obtained by Postnikov via a reccurence relation. This relation was extended by Spiridonov to obtain more general results about other patterns and other polyominoes than Young diagrams, and we show that our bijections also extend to more general polyominoes.

研究の動機と目的

• ヤング図形上での$γ$-図形とX-図形の同数性について、ポストニコフが再帰的関係によって示した結果を、明示的かつ全単写的証明で再確認すること。
• ヤング図形にとどまらず、特に$λ$-完全な多ポリオミノ（スケイ形状や鐘乳石型多ポリオミノを含む）というより広いクラスの多ポリオミノへ、全単写像を拡張すること。
• ゼロ列や制限付き行といった構造的不変量を全単写像で保つことで、組合せ論的意義を高めること。
• ポストニコフとスリピドノフの再帰的同数性結果を、構成的かつ再帰的な全単写像を用いて$λ$-完全な多ポリオミノへ一般化すること。
• 鐘乳石型多ポリオミノにおける$γ$-図形の数が、列の長さにのみ依存することを示し、ヨンソンの最大1充填に関する結果に類似すること。

提案手法

• 多ポリオミノが$γ$-形状に関して閉じているもの、すなわち、$i < j, k < l$ に対して、セル$(j,k), (j,l), (i,k)$が存在するとき、$(i,l)$も存在するものとして、$λ$-完全な多ポリオミノを定義する。
• X-図形から$γ$-図形への再帰的全単写像$\Phi$を構成する。その際、底辺の0と最大の1を基準にピボット列を特定し、局所的変換を適用する。
• ピボット列の選択が列および行の状態を尊重し、像における同じ列構造を維持することで、ゼロ列と制限付き行を保つ。
• 底辺上の部分図形が再帰的に$λ$-完全であることを用い、全単写像を$λ$-完全な多ポリオミノへ一般化する。
• 定義9で示される洗練されたピボット列選択法により、ゼロ列と制限付き行を保つ全単写像$\Phi_2$が得られる。
• 再帰的構成がパターン回避性と全単写性を保つことを確認するため、再帰構造が既知の$F_\lambda(q)$の多項式再帰と色多項式$\chi_\lambda(t)$の再帰と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 ヤング図形上での$γ$-図形とX-図形の同数性について、ポストニコフの再帰的証明を超えて、構成的かつ全単写的証明を与えることは可能か？
• RQ2 $γ$-図形とX-図形の間の全単写像は、ヤング図形からどの程度、他の多ポリオミノの形状へ一般化可能か？
• RQ3 多ポリオミノのどの構造的性質（例：列連結性、形状）が、$γ$-図形の数が列の長さにのみ依存することを保証するか？
• RQ4 全単写像を、ゼロ列や制限付き行といった特定の特徴を保つように変更することは可能か？そのために必要な条件は何か？
• RQ5 $γ$-図形とX-図形のパターン回避条件は、関連する二部グラフの無閉路向き付けとどのように関係するか？この関係を全単写像を通じて明示的に示せるか？

主な発見

• 任意の$λ$-完全な多ポリオミノ上において、X-図形と$γ$-図形の間で全単写が確立され、ポストニコフの再帰的同数性結果がより広い形状クラスへ拡張された。
• $\Phi$による全単写像は、ゼロ列の集合と制限付き行の集合を保つため、単なる基数の一致よりも強い構造的同型が得られる。
• 定義9で示される洗練されたピボット列選択により得られる全単写像$\Phi_2$は、ゼロ列と制限付き行を保つ。これにより、これらの特徴が対応関係において不変であることが確認された。
• 列凸で上端が揃った鐘乳石型多ポリオミノ（列凸多ポリオミノ）では、$γ$-図形の数が列の長さにのみ依存し、ヨンソンの最大1充填に関する結果に類似している。
• 全単写像の再帰的構造は、$F_\lambda(q)$の再帰と色多項式$\chi_\lambda(t)$の再帰と一致しており、既知の代数的不変量と整合していることが確認された。
• 底辺に沿った再帰的分解により基本ケースに還元できることから、全単写像は、フランス表記のスケイ形状を含む、すべての$λ$-完全な多ポリオミノへ一般化可能である。