[论文解读] Sets, Lists and Noncrossing Partitions

David Callan|ArXiv.org|Nov 29, 2007

Advanced Combinatorial Mathematics参考文献 1被引用 3

一句话总结

本文通过使用 Dyck 路径和峰标签的构造性映射，建立了 [n] 的集合列表划分与非交叉集合列表划分之间的双射等价关系，证明了二者计数相等。引入了整数序列上的“非交叉划分变换”，并推导出计数非交叉列表集合划分的递推关系，其中序列 A088368 作为非交叉集合列表划分的生成函数出现。

ABSTRACT

Partitions of [n]={1,2,...,n} into sets of lists are counted by sequence number A000262 in the On-Line Encyclopedia of Integer Sequences. They are somewhat less numerous than partitions of [n] into lists of sets, A000670. Here we observe that the former are actually equinumerous with partitions of [n] into lists of *noncrossing* sets and give a bijective proof. We show that partitions of [n] into sets of noncrossing lists are counted by A088368 and generalize this result to introduce a transform on integer sequences that we dub the "noncrossing partition" transform. We also derive recurrence relations to count partitions of [n] into lists of noncrossing lists.

研究动机与目标

• 建立 [n] 划分为列表集合与划分为非交叉集合列表之间的双射对应关系。
• 证明 [n] 划分为非交叉列表集合的数目由序列 A088368 给出。
• 定义整数序列上的新变换——“非交叉划分变换”，并展示其性质。
• 推导 [n] 划分为非交叉列表集合的划分数的递推关系，其中显式公式涉及多项式系数和块结构。

提出的方法

• 使用峰标签 Dyck 路径与划分为非交叉集合列表的划分之间的双射，其中峰标签对应块的排序。
• 对路径列数据应用循环旋转和部分和运算，将 Dyck 路径映射为列表集合划分。
• 通过生成函数定义非交叉划分变换，表明 A(x) = sum_{k=0}^∞ k! (x A(x))^k。
• 通过块分解和多项式系数，推导出 u(n,j)（即 [n] 划分为 j 个非交叉列表集合的划分数）的递推关系。
• 引入一个细化的递推关系 (6)，该关系考虑块长度、块数及内部顺序，通过 u(b_i, c_i)/c_i! 表达。
• 使用生成函数分析递推式中项数的结构，导出新的生成函数 (7)，并进一步提出一个包含二项式系数的细化版本。

实验结果

研究问题

• RQ1 将 [n] 划分为列表集合与划分为非交叉集合列表是否计数相等？若成立，能否构造出直接的双射？
• RQ2 将 [n] 划分为非交叉列表集合的划分数的生成函数是什么？它与已知序列有何关联？
• RQ3 能否在整数序列上定义一个通用变换，将标准划分计数映射为其非交叉类比？
• RQ4 划分为非交叉列表集合的划分数的递推结构是什么？如何高效计算？
• RQ5 递推求和中项数的规模如何随 n 变化？能否通过对称性和多项式分组进行优化？

主要发现

• 通过峰标签 Dyck 路径的双射映射，证明了 [n] 划分为列表集合与划分为非交叉集合列表的划分数相等。
• 将 [n] 划分为非交叉列表集合的划分数由序列 A088368 给出，其生成函数为 A(x) = sum_{k=0}^∞ k! (x A(x))^k。
• 通过块分解和多项式系数，推导出 u(n,j)（即 [n] 划分为 j 个非交叉列表集合的划分数）的递推关系。
• 划分为非交叉列表集合的总划分数 u(n) 从 (1, 4, 24, 184, 1680, 17592, 206472, 2674752, ...) 开始，与序列 A088368 一致。
• u(n) 递推求和中的项数由所有整数划分 π 的 π⁻¹ 中非零项乘积之和给出，其生成函数为 1/(1−x) ∏_{k≥2} 1/(1−(k−1)x^k)。
• 通过将相同的 b_i 值分组并使用二项式系数，可减少递推中的项数，从而导出细化的生成函数 ∏_{k≥2} 1/(1−x^k)^{k−1}。