[论文解读] 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]$上此类划分数量的普通生成函数推导出闭式表达式，推广已知的非交叉与非嵌套划分结果。
• 将核法扩展至由划分块结构约束引发的双索引线性递推系统。
• 建立生成函数与包含$\sqrt{(1-kx)^2 - 4x^2}$的代数函数之间的联系，揭示更深层的组合结构。

提出的方法

• 作者根据参数$\ell$将$(k,2)$-非交叉划分集合划分为不相交子集$\mathcal{P}_{k,\ell}(n)$，其中$\ell$对应于$\ell$-递增划分，即满足$\pi_i = i$对所有$i \leq \ell$，且$\pi_{\ell+1} \neq \ell+1$。
• 为每个子集定义生成函数$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 核法如何被调整以求解由划分块结构约束引发的双索引递推系统？
• 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)$-非交叉划分计数相符。
• 对于$\mathcal{Q}_\ell(n)$（即最多$\ell$个初始不动点的划分集合），其生成函数由包含相同$\beta_{i,j}$系数和$y_k$的有理公式给出。
• 解揭示了当$\ell \geq k$时，有$J_{k,\ell}(x) = x^{\ell+1-k} J_{k,k-1}(x)$，表明生成函数在不同层级间具有自相似结构。
• 该方法成功将核技术推广至多变量递推系统，实现了对一类新型受限集合划分的精确计数。