Combinatorics of higher order degenerate r-deranged bell numbers with singletons

技术摘要：含单点的高阶退化 r-错排贝尔数的组合学

问题陈述
本文探讨了一种名为“含单点的高阶退化 r-错排贝尔数”（记为 $B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma)$）的贝尔数新推广形式的组合解释及其结构性质。尽管带横杠的优先排列（插入横杠的有序集划分）和 r-错排划分（前 r 个元素位于不同循环或为单点的划分）已分别被研究，但本工作旨在统一这些概念。具体而言，本文旨在定义并解释结合了以下要素的数：

1. 退化性：通过涉及参数 $\alpha, \beta, \gamma$ 的广义斯特林数 $S(n, k, \alpha, \beta, \gamma)$ 引入。
2. 错排约束：特指 r-错排，即集合 $[n+r]$ 的前 r 个元素为单点块，且必须位于不同的循环中。
3. 带横杠结构：插入横杠以创建区段，并通过参数 $\lambda$ 推广至“高阶”。
4. 单点：明确将前 r 个元素处理为单点块。
   本文提出的核心问题是：如何为论文方程 (11) 中定义的生成函数提供严格的组合解释，该函数推广了现有的 r-错排贝尔数。

方法论
本研究采用基于广义斯特林数的生成函数和组合构造。

• 广义斯特林数：作者利用 $S(n, k, \alpha, \beta, \gamma)$，其定义为阶乘多项式 $(t|\alpha)_n$ 的展开式。根据参数 $(\alpha, \beta, \gamma)$ 的不同，这些数推广了经典斯特林数、Carlitz 退化数等。
• 组合模型：论文构建了涉及“单元”和“隔间”的特定划分模型。
  • 单元：划分的块。
  • 隔间：单元内的细分，受循环排序和占用约束限制（每个隔间最多容纳一个元素，并针对 $\alpha$-连续隔间有特定规则）。
  • 带横杠的优先排列：在线性排序的块之间插入 $\lambda-1$ 个相同的横杠以诱导区段。
• 错排约束：构造强制要求集合 $[n+r]$ 的前 r 个元素形成单点块，且当块线性排序时，这些单点必须出现在不同的循环中。
• 渐近分析：论文应用了先前文献（引用为 [21, 22]）中开发的方法，涉及形式幂级数及形式为 $a(\alpha\delta, n)$ 的系数，以推导大 $n$ 时的渐近结果。

主要贡献与结果

1. 新数的定义：
   论文通过生成函数定义了数 $B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma)$：
   $$\sum_{n=0}^{\infty} B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma) \frac{t^n}{n!} = (1 + \alpha t)^{\gamma/\alpha} \frac{[x((1 + \alpha t)^{\beta/\alpha} - 1)]^{r\lambda} \exp(-\lambda[x((1 + \alpha t)^{\beta/\alpha} - 1)])}{[1 - x((1 + \alpha t)^{\beta/\alpha} - 1)]^{(r+1)\lambda}}$$
   这推广了标准的 r-错排贝尔数（当 $\alpha \to 0$，$\beta=1$，$\gamma=r$，$\lambda=1$，$x=1$ 时恢复）。

2. 组合解释（$\lambda=1$ 的情况）：
   对于退化情况（$\lambda=1$），作者定义了 $(x, \alpha, \beta, 1, r)$-划分。这些是将 $[n+r]$ 划分为 $k+r+1$ 个块的划分，满足以下条件：

   • 前 r 个块是由前 r 个元素形成的单点块。
   • 剩余的 k 个块是带有 $\beta$ 个标记隔间的“类”块。
   • 第 $(k+r+1)$ 个块有 $\gamma$ 个标记隔间，且可能为空。
   • 前 $k+r$ 个块线性排序，使得 r 个单点位于不同的循环中（以标准形式为参考）。
   • k 个块用 x 种可用颜色着色。
   • 隔间根据 $\alpha$ 适用特定的占用规则。
     此类划分的数量由 $d_{k,r} x^k \beta^k S(n, k, \alpha, \beta, \gamma)$ 给出，其中 $d_{k,r}$ 为 r-错排数。

3. 组合解释（一般情况 $\lambda$）：
   对于任意 $\lambda \in \mathbb{N}$，作者引入了 $(x, \alpha, \beta, \lambda, r)$-划分。这通过在线性排序的前 $k+r$ 个块之间插入 $\lambda-1$ 个相同的横杠来扩展上述模型，从而创建一个具有 $\lambda+1$ 个区段的带横杠优先排列。

   • 定理 3.1 建立了一个闭式恒等式：
     $$B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma) = \sum_{k=0}^{n} \binom{k+r+\lambda-1}{k+r} d_{k,r} x^k \beta^k S(n, k, \alpha, \beta, \gamma)$$
     这将这些数解释为对 k 求和，其中包含 r-错排计数、着色因子、广义斯特林数以及放置横杠的方法数的乘积。

4. 组合恒等式：

   • 定理 3.2 提供了一个卷积恒等式，将 $B_{n}^{r,x,\lambda}$ 表示为涉及低阶 B 数乘积和广义下降阶乘 $(\gamma|\alpha)_{i_{\lambda+1}}$ 的多项式系数之和。这反映了将元素分配到由横杠定义的 $\lambda+1$ 个区段中的结构。
   • 定理 3.3 将广义贝尔多项式 $\omega_{n+r}$ 与新数联系起来，在带横杠排列的背景下区分了“固定”块和“置换”块。

5. 渐近结果：
   推论 4.1 提供了 $B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma)$ 当 $n \to \infty$ 时的渐近展开（在 $\delta$ 的特定条件下）。结果表示为涉及系数 $W(n, f)$ 的和，这些系数源自整数划分以及 $B_{i,1}^{r,x}(\alpha, \beta, \gamma)$ 的值。

意义与主张
本文声称提供了一个统一的组合框架，用于处理一大类类贝尔数。通过透过具有特定错排和单点约束的带横杠优先排列的视角来解释 $B_{n}^{r,x,\lambda}(\alpha, \beta, \gamma)$，本研究为这些抽象生成函数提供了具体的模型。

作者指出，他们提出的组合解释可以调整用于研究其他类贝尔多项式和数，因为底层的广义斯特林数 $S(n, k, \alpha, \beta, \gamma)$ 涵盖了许多已知的组合序列（例如经典斯特林数、Carlitz 数、Riordan 数和 Whitney 数）。这项工作被呈现为未来研究这些数性质的基础，包括研究它们的根以及向非退化部分错排贝尔数的潜在扩展。本文并未声称有实验应用，而是侧重于理论统一以及新恒等式和渐近行为的推导。