[論文レビュー] Some remarks on sign-balanced and maj-balanced posets

Richard P. Stanley|ArXiv.org|Nov 6, 2002

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

ひとこと要約

本稿は、符号平衡型およびmaj平衡型posetを調査し、符号平衡性を確立するためにパリティ反転自己同型を導入し、フック長posetを用いてmaj平衡性の基準を導出する。主な貢献は、偶数フック長の個数を用いたmaj平衡型posetの特徴付けであり、平衡でない場合のmaj不均衡の正確な式が得られている。

ABSTRACT

Let P be a poset with elements 1,2,...,n. We say that P is sign-balanced if exactly half the linear extensions of P (regarded as permutations of 1,2,...,n) are even permutations, i.e., have an even number of inversions. This concept first arose in the work of Frank Ruskey, who was interested in the efficient generation of all linear extensions of P. We survey a number of techniques for showing that posets are sign-balanced, and more generally, computing their "imbalance." There are close connections with domino tilings and, for certain posets, a "domino generalization" of Schur functions due to Carre and Leclerc. We also say that P is maj-balanced if exactly half the linear extensions of P have even major index. We discuss some similarities and some differences between sign-balanced and maj-balanced posets.

研究の動機と目的

• 線形拡張のパリティを分析することにより、符号平衡型またはmaj平衡型であるposetを特徴付けること。
• 符号平衡性を示す一般的手法を開発し、特に置換表現における隣接要素の交換を用いたパリティ反転自己同型を用いること。
• 線形拡張の結果をスケル形状およびドミノタイルに拡張し、組合せ論と対称関数を結びつけること。
• 偶数フック長の分布を用いて、フック長posetにおけるmaj平衡性の明示的基準を提供すること。
• 非平衡な場合における偶数と奇数の線形拡張の不均衡を計算すること、特にチェーンの積およびスケル形状に対して重点を置く。

提案手法

• 線形拡張の集合にパリティ反転自己同型を用いて符号平衡性を証明し、特に置換表現における隣接要素の交換を用いる。
• 線形拡張におけるプロモーションおよびエバージュ操作を適用し、パリティの変化を分析し、双対写像を構成する。
• 正方形の集合から導かれるposetにシュールラベルを導入し、ドミノタイルと符号およびmaj平衡性を、タイルの符号を通じて結びつける。
• 生成関数がqに関する有理関数として表されるフック長posetを定義し、公式 $ W_P(q) = \frac{[n]!}{(1-q^{h_1})\cdots(1-q^{h_n})} $ を用いる。
• ムルナカナ・ナカヤマの法則および対称関数論を用いて、スケル形状および標準ヤング盤について結果を検証する。
• ドミノタイルにおける2×2のフリップを用いて、タイルの符号が形状にのみ依存することを示し、グローバルな符号不変量を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下でposetは符号平衡的であるか、すなわち偶数と奇数の線形拡張の個数が等しいか？
• RQ2 posetの線形拡張における主要指数の分布がいつバランスをなすか？
• RQ3 非符号平衡的posetにおいて、偶数と奇数の線形拡張の不均衡はどのように定量的に測定できるか？
• RQ4 ドミノタイルおよびシュールラベルは、線形拡張の符号を決定づける役割を果たすか？
• RQ5 フック長にどのような条件が満たされると、posetがmaj平衡的になるか？

主な発見

• 非最小元である各要素が少なくとも2つの最小元を被覆するposetは、隣接要素の交換を用いたパリティ反転自己同型により符号平衡的であることが示される。
• 2つのチェーンの積 $ m \times n $ に対して、posetは $ m,n > 1 $ かつ $ m \equiv n \pmod{2} $ のときに限り符号平衡的であり、これはルスキーの予想を裏付ける。
• フック長posetのmaj不均衡は $ W_P(-1) = \frac{\lfloor n/2\rfloor!}{\prod_{h_i \text{ even}} (h_i/2)} $ で与えられ、不均衡の定量的測度が得られる。
• ドミノタイル可能な形状 $ \cal S $ から導かれるposet $ P_{\cal S} $ は、$ \text{sgn}(\cal S) \cdot W_{P_{\cal S}}(-1) $ が $ P_{\cal S} $-ドミノテーブルックスの個数に等しいときに限りmaj平衡的である。
• フック長posetに対して、$ P $ がmaj平衡的であるための必要十分条件は、偶数フック長の個数が $ \lfloor n/2 \rfloor $ より小さいことである。これは単純な組合せ的基準を提供する。
• 結果はスケル形状 $ P_{\lambda/\mu} $ に拡張され、符号およびmaj平衡性はドミノタイルの符号とフック長構造によって支配される。