[论文解读] Run Distribution Over Flattened Partitions

Olivia Nabawanda, Fanja Rakotondrajao+1 more|arXiv (Cornell University)|Jul 7, 2020

Advanced Combinatorial Mathematics参考文献 15被引用 5

一句话总结

本文提出了一种关于 [n] 上扁平化分拆的组合框架，定义 $ f_{n,k} $ 为具有 $ k $ 个运行的此类分拆的数量。它建立了递推关系、指数生成函数，并提出了一种从 [n] 的集合分拆到 [n+1] 的扁平化分拆的新型双射，证明了分拆中大小大于 1 的块的数量等于其对应扁平化分拆中运行数减一，从而为 OEIS A124324 提供了新的组合解释。

ABSTRACT

The study of flattened partitions is an active area of current research. In this paper, our study unexpectedly leads us to the OEIS numbers A124324. We provide a new combinatorial interpretation of these numbers. A combinatorial bijection between flattened partitions over $[n+1]$ and the partitions of $[n]$ is also given in a separate section. We introduce the numbers $f_{n, k}$ which count the number of flattened partitions over $[n]$ having $k$ runs. We give recurrence relations defining them, as well as their exponential generating function in differential form. It should be appreciated if its closed form is established. We extend the results to flattened partitions where the first $s$ integers belong to different runs. Combinatorial proofs are given.

研究动机与目标

• 定义并分析 [n] 上扁平化分拆中运行的统计特性，特别是具有 $ k $ 个运行的此类分拆数量 $ f_{n,k} $。
• 建立 $ f_{n,k} $ 的递推关系和指数生成函数，并探讨其微分形式。
• 将研究推广至第一 $ s $ 个整数属于不同运行的扁平化分拆，引入 $ f_{n,k}^{(s)} $。
• 构建并证明 [n] 的集合分拆与 [n+1] 的扁平化分拆之间的双射对应关系，保持如块大小和运行数等结构特性。
• 为 OEIS 序列 A124324 提供新的组合解释，该序列计数 [n] 的分拆中具有 $ k $ 个大小大于 1 的块。

提出的方法

• 将 $ f_{n,k} $ 定义为 [n] 上具有 $ k $ 个运行的扁平化分拆的数量，其中运行为递增子序列，且其首元素按递增顺序排列。
• 通过将最大元素 $ n $ 插入现有运行或作为新运行的组合论证，推导 $ f_{n,k} $ 的递推关系。
• 引入指数生成函数 $ F(x,u) = rac{1}{1 - x(e^u - 1)} $，其满足微分方程 $ F_u = x(e^u - 1)F $，并推导其闭式结构。
• 将框架推广至 $ f_{n,k}^{(s)} $，即计数第一 $ s $ 个整数位于不同运行中的扁平化分拆，并推导生成函数 $ F^{[s]}(x,u) = (x(e^u - 1))^s F(x,u) $。
• 通过重新排列块使最小值位于末尾、移除分隔符、将所有元素加 1，并在前面添加 1，构造双射 $ f: \text{Partitions of }[n] \to \text{Flattened partitions of }[n+1] $。
• 证明该双射保持分拆中大小大于 1 的块的数量与扁平化分拆中运行数的一致性，从而建立大小大于 1 的块数为 $ k-1 $ 与运行数为 $ k $ 的等价关系。

实验结果

研究问题

• RQ1 关于 [n] 上的扁平化分拆，其组合结构是什么？具有 $ k $ 个运行的此类分拆数量 $ f_{n,k} $ 如何表征？
• RQ2 递推关系和指数生成函数如何描述扁平化分拆中运行的分布？
• RQ3 在扁平化分拆中，前 $ s $ 个整数属于不同运行的意义是什么？这如何推广运行的分布？
• RQ4 能否在 [n] 的集合分拆与 [n+1] 的扁平化分拆之间构造一个保持结构不变量（如块大小和运行数）的双射？
• RQ5 序列 $ f_{n,k} $ 是否对应于 OEIS 中的已知整数序列？能否为 A124324 提供新的组合解释？

主要发现

• 数字 $ f_{n,k} $ 满足递推关系 $ f_{n,k} = (k-1)f_{n-1,k} + (n-k+1)f_{n-1,k-1} $，初始条件为 $ f_{n,1} = 1 $，$ f_{n,n} = 1 $，且当 $ k > n $ 时 $ f_{n,k} = 0 $。
• 对于 $ f_{n,k} $ 的指数生成函数为 $ F(x,u) = rac{1}{1 - x(e^u - 1)} $，其满足微分方程 $ F_u = x(e^u - 1)F $。
• 在第一 $ s $ 个整数位于不同运行的推广情形下，生成函数为 $ F^{[s]}(x,u) = (x(e^u - 1))^s F(x,u) $，且递推关系包含依赖于 $ s $ 的项。
• 双射 $ f: \text{Partitions of }[n] \to \text{Flattened partitions of }[n+1] $ 是良定义且双射的，保持大小大于 1 的块数与运行数。
• 当且仅当对应扁平化分拆 $ \tau = f(P) $ 具有 $ k $ 个运行时，[n] 的分拆 $ P $ 中大小大于 1 的块数为 $ k-1 $。
• 当 $ k=2 $ 时，序列 $ f_{n,k} $ 对应欧拉数，且 $ f_{n,k} $ 的完整数组与 OEIS A124324 匹配，从而为该序列提供了新的组合解释：即 [n] 的分拆中具有 $ k $ 个大小大于 1 的块的数量。