[论文解读] Combinatorial properties of poly-Bernoulli relatives

Beáta Bényi, Peter I. Hajnal|arXiv (Cornell University)|Feb 28, 2016

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

一句话总结

本文通过改进的lonesum矩阵约束和组合解释，引入了多伯努利数的两个新组合亲属——数组 C_{n,k} 和 D_{n,k}）。推导了闭式公式，通过容斥原理和递推关系建立了联系，并提出了一个深刻猜想：多伯努利数的对角线和与中心二项式和之间存在联系，暗示 ∑_{n+k=N} B_{n,k} = 3P_N，其中 P_N 来自 π/√3 的有理逼近。

ABSTRACT

In this note we augment the poly-Bernoulli family with two new combinatorial objects. We derive formulas for the relatives of the poly-Bernoulli numbers using the appropriate variations of combinatorial interpretations. Our goal is to show connections between the different areas where poly-Bernoulli numbers and their relatives appear and give examples how the combinatorial methods can be used for deriving formulas between integer arrays.

研究动机与目标

• 通过引入两个新的整数数组 C_{n,k} 和 D_{n,k}，将多伯努利数家族扩展为组合亲属。
• 通过01-矩阵中禁止子矩阵的约束，为这些亲属建立新的组合解释。
• 使用容斥原理和第二类斯特林数恒等式，推导 C_{n,k} 和 D_{n,k} 的显式公式。
• 将这些亲属与已知的组合对象（如受限超出集的排列和非歧义树）联系起来。
• 研究多伯努利数的对角线和，并提出一个猜想，将其与中心二项式和联系起来。

提出的方法

• 通过修改的lonesum矩阵约束（具体为禁止某些2×2子矩阵）定义 C_{n,k} 和 D_{n,k}，作为多伯努利数的亲属。
• 使用Akiyama–Tanigawa算法及其变体生成数组，表明 AT({(i+1)^k}) = {(-1)^i C_{i,k}} 且 AT({i^k}) = {(-1)^i D_{i,k}}。
• 利用第二类斯特林数和阶乘项，推导 C_{n,k} 和 D_{n,k} 的容斥公式。
• 通过二项式系数和移位索引，建立与已知 B_{n,k} 递推关系类似的数组递推关系。
• 利用多伯努利数组的对称性，为新序列推导双重解释。
• 使用生成函数和指数生成函数，将新数组与已知的数论和组合序列联系起来。

实验结果

研究问题

• RQ1 如何通过引入新的组合数组 C_{n,k} 和 D_{n,k} 来扩展多伯努利数家族？
• RQ2 支撑新数组 C_{n,k} 和 D_{n,k} 的组合解释（如矩阵约束或排列类）是什么？
• RQ3 能否使用容斥原理或斯特林数恒等式，为 C_{n,k} 和 D_{n,k} 推导出闭式公式？
• RQ4 B_{n,k}、C_{n,k} 和 D_{n,k} 的对角线和之间存在何种关系？它们如何与已知数列关联？
• RQ5 猜想 ∑_{n+k=N} B_{n,k} = 3P_N 是否成立，其中 P_N 是中心二项式和展开中的有理系数？

主要发现

• 数组 C_{n,k} 定义为避免特定2×2子矩阵集合的01-矩阵数量，满足 C_{n,k} = ∑_{m=0}^{min(n,k)} (-1)^m m! S(n+1, m+1) m! S(k+1, m+1) (m+1)^k。
• 数组 D_{n,k} 通过不同的禁止子矩阵模式类似定义，满足 D_{n,k} = ∑_{m=0}^{min(n,k)} (-1)^m m! S(n+1, m+1) m! S(k+1, m+1) m^k。
• Akiyama–Tanigawa算法通过变换 AT({(i+1)^k}) = {(-1)^i C_{i,k}} 和 AT({i^k}) = {(-1)^i D_{i,k}} 生成 C_{n,k} 和 D_{n,k}。
• 对角线和 ∑_{n+k=N} B_{n,k} 被猜想等于 3P_N，其中 P_N 是中心二项式和 ∑_{n≥1} n^k / binom(2n,n) 展开中的有理系数。
• C_{n,k} 的对角线和恰好是 B_{n,k} 对角线和的一半（首项除外），此结论由OEIS序列A098830和A136127证实。
• 本文建立了多伯努利数对角线和与数论常数之间的强关联，暗示这些组合数组背后存在更深层的算术结构。