[論文レビュー] Enumeration of $(k,2)$-noncrossing partitions

Toufik Mansour, Simone Severini|ArXiv.org|Aug 8, 2008

Advanced Combinatorial Mathematics参考文献 7被引用数 6

ひとこと要約

本稿は、核法を用いて、$(k,2)$-非交差分割—パターン$12\cdots k12\cdots 2$を避ける集合分割—の通常型母関数の明示的公式を提示する。$x$および$\sqrt{(1-kx)^2 - 4x^2}$に関する有理式が得られ、$k \geq 2$に対して、カタラン型の数え上げをより広いクラスの制限付き分割へ一般化する。主な貢献は、ブロック構造パラメータに基づく再帰と母関数分解を用いた体系的な解法である。

ABSTRACT

A set partition is said to be $(k,d)$-noncrossing if it avoids the pattern $12... k12... d$. We find an explicit formula for the ordinary generating function of the number of $(k,d)$-noncrossing partitions of $\{1,2,...,n\}$ when $d=1,2$.

研究の動機と目的

• すべての$k \geq 2$に対して、$(k,2)$-非交差分割—部分列パターン$12\cdots k12\cdots 2$を避ける集合分割—を数えること。
• 集合$[n]$上のこのような分割の数の通常型母関数に対する閉形式式を導出すること。非交差分割および非ネスト分割の既知の結果を一般化すること。
• 分割のブロック構造制約から生じる2変数の線形再帰系を解くために、核法を拡張すること。
• 母関数と$\sqrt{(1-kx)^2 - 4x^2}$を含む代数的関数との関係を確立し、より深い組合せ的構造を明らかにすること。

提案手法

• 著者らは、パラメータ$\ell$（$\pi_i = i$（$i \leq \ell$）かつ$\pi_{\ell+1} \neq \ell+1$を満たす$\ell$-増加分割に対応）に基づき、$(k,2)$-非交差分割の集合を互いに素な部分集合$\mathcal{P}_{k,\ell}(n)$に分解する。
• 各部分集合に対して生成関数$F_{k,\ell}(x)$を定義し、禁止パターンからの構造的制約を用いて、$n$および$\ell$に関する線形再帰関係系を導出する。
• 生成関数$F_k(x,y) = \sum_{\ell \geq 0} F_{k,\ell}(x) y^\ell$の関数方程式を解くために、核法を適用し、核方程式の根$y_k$を特定する。
• ブロック遷移の再帰重みを符号化するため、積$\ell x \prod_{s=i+1}^{j-1} (sx - 1)$によって定義される補助係数$\beta_{i,j}$を導入する。
• 全クラスの生成関数は、$x$、$y_k$、および係数$\beta_{i,j}$に関する有理関数として表現され、$k$への明示的依存性を持つ。
• 関数方程式と代数的変形を活用して$F_k(x,1)$を分離し、主な生成関数式を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての$k \geq 2$に対して、$[n]$の$(k,2)$-非交差分割の通常型母関数は何か？
• RQ2 分割のブロック構造制約から生じる2インデックス再帰系を解くために、核法はどのように適合可能か？
• RQ3 $(k,2)$-非交差分割の母関数の背後にある代数的構造は何か？また、既知の組合せ的数列とどのように関係するか？
• RQ4 母関数は$\sqrt{(1-kx)^2 - 4x^2}$を含む有理式として表現可能か？このことは組合せ的クラスにどのような意味を持つのか？
• RQ5 係数$\beta_{i,j}$は、異なるブロック構成における分割数の再帰的挙動をどのように符号化しているか？

主な発見

• $(k,2)$-非交差分割の通常型母関数は、$x$および$\sqrt{(1-kx)^2 - 4x^2}$に関する有理式として明示的に導出され、核法を用いて得られた。
• $k=2$の場合、母関数は$y_2 = \frac{1 - \sqrt{1 - 4x}}{2x}$に簡略化され、これはカタラン数の母関数と一致し、既知の非交差分割の結果と整合性を確認する。
• $k=3$の場合、母関数は数列$1, 1, 2, 5, 15, 51, 188, 731, \dots$を生成し、既知の$(3,2)$-非交差分割の数と一致する。
• 最初の固定点が高々$\ell$個の分割の集合$\mathcal{Q}_\ell(n)$の母関数は、同じ$\beta_{i,j}$係数と$y_k$を含む有理式で与えられる。
• 解法により、$\ell \geq k$に対して$J_{k,\ell}(x) = x^{\ell+1-k} J_{k,k-1}(x)$が成り立つことが判明し、生成関数のレベル間で自己相似構造が現れる。
• 本手法は核法を多変数再帰系に成功裏に拡張し、制限付き集合分割の新しいクラスの正確な数え上げを可能にした。