[論文レビュー] Equidistribution and Sign-Balance on 321-Avoiding Permutations

Ron M. Adin, Yuval Roichman|ArXiv.org|Apr 27, 2003

Advanced Combinatorial Mathematics参考文献 21被引用数 20

ひとこと要約

この論文は、321を避ける順列における最後の下降と最後のインデックスから1を引いた統計の間で等分布を確立し、これらの順列の符号付き数え上げと、より小さい集合における最後の下降の生成関数との深い関係を証明する。再帰的多変数生成関数とDyckパスへの双対写像を用いて、$T_{2n+1}$ および $T_{2n}$ における符号と最後の下降の生成関数が、$T_n$ における最後の下降の生成関数と本質的に等しいことを示し、循環的Sieving現象に関連する精製された符号のバランス現象を明らかにする。

ABSTRACT

Let $T_n$ be the set of 321-avoiding permutations of order $n$. Two properties of $T_n$ are proved: (1) The {\em last descent} and {\em last index minus one} statistics are equidistributed over $T_n$, and also over subsets of permutations whose inverse has an (almost) prescribed descent set. An analogous result holds for Dyck paths. (2) The sign-and-last-descent enumerators for $T_{2n}$ and $T_{2n+1}$ are essentially equal to the last-descent enumerator for $T_n$. The proofs use a recursion formula for an appropriate multivariate generating function.

研究の動機と目的

• 321を避ける順列およびその逆下降集合クラスにおける最後の下降と最後のインデックスから1を引いた統計の等分布を確立すること。
• 321を避ける順列の符号付き数え上げと、より小さい集合における生成関数との関係を調査すること。
• Dyckパスへの双対写像および商環を用いた生成関数の代数的および組合的に解釈すること。
• シミオンとスミスの研究を拡張し、特にパターンを避ける順列における符号のバランスに関する先行研究を精製すること。

提案手法

• 321を避ける順列における統計を分析するために、再帰的多変数生成関数が開発された。
• 321を避ける順列とDyckパスとの間で、最後の下降および最後のインデックス統計を保存する双対写像 $\phi$ が構成された。
• 写像 $\phi$ を用いて、順列からDyckパスへの等分布結果の転送とその逆が行われた。
• 証明は、Robinson-Schensted-Knuth対応および対称群における最長元 $w_0$ の性質に依拠した。
• 商環 $P_n / \langle QS_n \rangle$ を用いた代数的解釈が得られ、ヒルベルト系列が最後の下降統計と関連づけられた。
• 写像 $\psi(\pi) = w_0 \pi^{-1} w_0$ を用いて、Dyckパスにおける下降集合とテール長の関係が導かれた。

実験結果

リサーチクエスチョン

• RQ1 321を避ける順列およびその逆下降集合クラスにおいて、『最後の下降』と『最後のインデックスから1を引いたもの』の統計は等分布するか？
• RQ2 321を避ける順列の符号付き数え上げは、より小さい集合における最後の下降の生成関数と関係づけられるか？
• RQ3 この文脈における符号付き統計と符号なし統計を結ぶ生成関数に、組合的にもしくは代数的に解釈は可能か？
• RQ4 321を避ける順列の構造は、商環 $P_n / \langle QS_n \rangle$ のヒルベルト系列とどのように関係するか？

主な発見

• 最後の下降統計と最後のインデックスから1を引いた統計は、$T_n$ および逆下降集合が指定された部分集合 $T_n(B)$ において等分布する。
• $T_n$ における最後の下降の生成関数は、長さ $2n$ のDyckパスにおける最後の下降および最後のインデックスから1を引いた統計の生成関数に等しい。
• 符号と最後の下降の生成関数は、$\sum_{\pi \in T_{2n+1}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)} = \sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$ を満たす。
• 偶数添え字の場合、符号付き生成関数は $\sum_{\pi \in T_{2n}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)} = (1 - q) \sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$ を満たす。
• 商環 $P_n / \langle QS_n \rangle$ のヒルベルト系列は、$\sum_{\pi \in T_n} q^{\mathrm{l}des(\pi)}$ に等しく、生成関数の代数的解釈を提供する。
• 最後の下降統計は、全対称群における主要指標の $T_n$-類似物として機能し、コインvariant代数における主要指標の役割と類似している。