[論文レビュー] Restricted inversion sequences and enhanced $3$-noncrossing partitions

Zhicong Lin|arXiv (Cornell University)|Jun 22, 2017

Advanced Combinatorial Mathematics被引用数 3

ひとこと要約

この論文は、ヤンとマルティネス＝サルバドルが提起した予想を証明する。すなわち、長さ3の弱く減少する部分列を避ける逆順序列の個数は、強化3非交差分割の個数と等しい。生成木と不退避核法を用いて、関数方程式を確立し、ラグランジュの逆数法とザイルバーガーのアルゴリズムを用いてそれを解き、等数性を確認するとともに、古典的および強化3非交差分割を結ぶ新しい恒等式を導出する。

ABSTRACT

We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.

研究の動機と目的

• 長さ3の弱く減少する部分列を避ける逆順序列の個数が、強化3非交差分割の個数に等しいという予想を証明すること。
• 生成木の技法を用いて、これらの制限付き逆順序列の母関数に対する関数方程式を確立すること。
• 不退避核法とラグランジュの逆数法を用いて、得られた関数方程式を解き、予想の正しさを確認すること。
• 古典的および強化3非交差分割を結ぶ新しい恒等式 $C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$ を導出すること。
• 逆順序列、上昇順序列、集合分割の間の関係を調査し、$k$-非交差構造への拡張を提案すること。

提案手法

• 左から右への最大値と残りの要素を状態パラメータとして用いて、$(\geq,\geq,-)$-回避逆順序列の集合に対する生成木を構築する。
• 二変数母関数 $F(u,v)$ を定義し、パラメータ $(p,q)$ で逆順序列を符号化する。ここで $p = \alpha(e) - \beta(e)$ および $q = n - \alpha(e)$ である。
• 生成木の再書き換え規則に基づき、関数方程式 (5.1) を導出する：$F(u,v) = t u v + \frac{t u v}{v - u}(F(v,1) - F(u,1)) + \frac{t u v}{1 - u}(F(u,1) - F(u,u))$。
• 対称性と核条件を活用して、係数を抽出する不退避核法を適用して関数方程式を解く。
• ラグランジュの逆数法とザイルバーガーのアルゴリズムを用いて母関数の係数を計算し、予想された列挙を確認する。
• この手法を $\mathcal{AW}$-逆順序列に拡張し、閉形式が得られないままでも $|\mathbf{I}_n(\mathcal{AW})|$ の計算が可能な再帰的関数方程式 (5.2) を導出する。

実験結果

リサーチクエスチョン

• RQ1 長さ3の弱く減少する部分列を避ける逆順序列の個数は、強化3非交差分割の個数と等しいか？
• RQ2 生成木の技法を用いて、$(\geq,\geq,-)$-回避逆順序列の母関数に対する関数方程式を導出できるか？
• RQ3 不退避核法は、得られた関数方程式を解くのにも適用可能で、閉形式の列挙をもたらすか？
• RQ4 等数性は、古典的および強化3非交差分割の間のより深い組合せ的恒等式を示唆するか？
• RQ5 同様の技法は、$\mathcal{AW}$-逆順序列のような他の制限付き逆順序列クラスに対しても適用可能か？

主な発見

• 予想 $|\mathbf{I}_n(\geq,\geq,-)| = E_3(n)$ が確認され、$(\geq,\geq,-)$-回避逆順序列と強化3非交差分割との間の等数性が確立された。
• 新しい恒等式 $C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$ が導出され、古典的および強化3非交差分割を結ぶ。
• $(\geq,\geq,-)$-回避逆順序列の母関数に対する関数方程式が不退避核法を用いて解かれ、正しい列挙列が得られた。
• 生成木のアプローチは、パラメータ $p$ と $q$ を用いて制限付き逆順序列の構造をうまくモデル化でき、再帰的構成を可能にした。
• この手法は $\mathcal{AW}$-逆順序列に拡張され、$|\mathbf{I}_n(\mathcal{AW})|$ の計算が可能な再帰的関数方程式 (5.2) を得たが、閉形式は得られなかった。
• 最近の発展により、三角形状の01埋め込みを用いた双対的構成によって、この結果が組合せ論的に証明された。