[論文レビュー] Fixed points and excedances in restricted permutations

Sergi Elizalde|ArXiv.org|Dec 16, 2002

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

ひとこと要約

この論文は、321を避ける順列と132を避ける順列における固定点と超過度の2変数の等分布性を確立し、すべての $ n, i, j $ に対して、321を避ける $ n $ 順列で固定点が $ i $ 個、超過度が $ j $ 個であるものの個数が、132を避ける順列で同じ統計量を持つものの個数に等しいことを証明する。証明は、非有理生成関数の対角線に着目する独自の技法と、パターンを避ける順列とDyckパスとの間の双対写像を用い、固定点のみを扱う以前の結果を、固定点と超過度の2変数に一般化する。

ABSTRACT

In this paper we prove that among the permutations of length n with i fixed points and j excedances, the number of 321-avoiding ones equals the number of 132-avoiding ones, for all given i,j<=n. We use a new technique involving diagonals of non-rational generating functions. This theorem generalizes a recent result of Robertson, Saracino and Zeilberger, for which we also give another, more direct proof.

研究の動機と目的

• 321-および132-避ける順列における固定点に関する既知の等分布結果を、超過度を加えることで精緻化すること。
• 321-避ける順列と132-避ける順列における固定点と超過度の間の2変数等分布を確立すること。
• 非有理生成関数の対角線に基づく新しい手法を開発し、それを順列統計の解析に適用すること。
• ロバートソン、サラシノ、ザイルバーガーの固定点のみを扱う結果を、固定点と超過度の2変数に一般化すること。

提案手法

• 321-避ける順列における固定点（$ x $）、超過度（$ q $）、順列長（$ t $）を追跡する生成関数 $ F_{321}(x,q,t) $ を定義する。
• 321-避ける順列とDyckパスとの間の双対写像 $ heta_{\text{corner}} $ を用い、順列の統計量をパスの統計量に翻訳する。
• 生成関数を有理関数の形で表現し、対角線法を適用して2変数分布の生成関数を抽出する。
• 新たな統計量をモデル化するための追加変数を導入し、それを特徴付ける関数方程式を導出する。
• 得られた生成関数が132-避ける順列に対して導出された関数方程式と一致することを証明し、等分布性を示す。
• 代数的恒等式と留数計算を用いて、生成関数の閉形式表現を予想し、検証する。

実験結果

リサーチクエスチョン

• RQ1 321-および132-避ける順列における固定点の等分布性が、超過度も含めた2変数の場合に拡張可能か？
• RQ2 非有理対角線を用いた生成関数的手法が、順列パターン回避における2変数等分布の証明に利用可能か？
• RQ3 321-および132-避ける順列の間の固定点と超過度に関する対称性の背後にある構造的根拠はあるか？
• RQ4 321-避ける順列における2変数分布の生成関数を明示的に計算し、132-避ける順列のそれと一致することを示せるか？

主な発見

• すべての $ n, i, j \≤ n $ に対して、321を避ける $ n $ 順列で固定点が $ i $ 個、超過度が $ j $ 個であるものの個数は、132を避ける順列で同じ $ i $ と $ j $ を持つものの個数に等しい。
• 321-避ける順列における固定点、超過度、長さを追跡する生成関数 $ F_{321}(x,q,t) $ が、132-避ける順列のそれと等しいことが示された。
• 証明は、非有理生成関数の対角線抽出を新たな応用で用いたものであり、この文脈ではこれまで使われていなかった技法である。
• 2変数分布の生成関数は関数方程式を経由して導出され、留数計算と代数的変形によって検証された。
• ロバートソン、サラシノ、ザイルバーガーの固定点のみを扱う以前の定理が、現在は超過度を第二の統計量として含む2変数に一般化された。
• 著者らは生成関数の閉形式表現を予想し、組合せ的モデルから導出された関数方程式と一致することを検証した。