[论文解读] Some determinants involving incomplete Fubini numbers

Takao Komatsu, Jósé L. Ramírez|arXiv (Cornell University)|Feb 17, 2018

Advanced Mathematical Identities参考文献 15被引用 4

一句话总结

本文通过行列式表达式，将经典Fubini数自然推广为受限Fubini数与关联Fubini数，利用Trudi恒等式与矩阵求逆推导出新的显式公式。研究建立了广义Fubini数、修正Bernoulli数与Cauchy数的新行列式恒等式，并通过Toeplitz-Hessenberg矩阵与主子式给出闭式表达。

ABSTRACT

We study some properties of restricted and associated Fubini numbers. In particular, they have the natural extensions of the original Fubini numbers in the sense of determinants. We also introduce modified Bernoulli and Cauchy numbers and study characteristic properties.

研究动机与目标

• 通过块大小约束引入受限与关联Fubini数，扩展经典Fubini数。
• 利用矩阵理论技术，为这些广义Fubini数推导新的行列式表达式。
• 引入修正Bernoulli数与Cauchy数，并通过行列式恒等式研究其特征性质。
• 应用Trudi公式与矩阵求逆，获得这些序列的显式组合公式。
• 将经典Fubini数的行列式表示推广至高阶生成函数与主子式。

提出的方法

• 利用一般行列式恒等式（定理1），通过递推关系将序列与Toeplitz-Hessenberg矩阵联系起来。
• 应用Trudi公式，将广义Fubini数表示为由生成函数导出元素的矩阵行列式。
• 构造Toeplitz-Hessenberg矩阵 $ T_n $，其元素满足 $ t_{i,j} = \frac{(-1)^{i-1}}{i!} $（当 $ i \geq j $），次对角线上元素为1。
• 推导 $ T_n^{-1} $ 的逆矩阵形式，以行列式表达生成函数的系数。
• 利用 $ T_n $ 的主子式，表达与广义Fubini数 $ F_{n-l+1}^{(l+1)} $ 相关的和。
• 应用矩阵分块行列式恒等式，分解并计算 $ T_n $ 的特征多项式，将其与广义Fubini数关联。

实验结果

研究问题

• RQ1 受限与关联Fubini数如何通过行列式恒等式表示？
• RQ2 广义Fubini数与特定Toeplitz-Hessenberg矩阵的主子式之间有何联系？
• RQ3 修正Bernoulli数与Cauchy数能否通过类比经典公式的行列式公式表达？
• RQ4 矩阵 $ T_n $ 的特征多项式系数如何与广义Fubini数关联？
• RQ5 Trudi公式在推导这些序列显式组合表达式中起什么作用？

主要发现

• 受限Fubini数 $ F_{n,\text{res}}^{(m)} $ 由行列式 $ \left| \frac{(-1)^{j-1} B_{j,\leq m}^{*}}{j!} \right| $ 给出，其中 $ B_{j,\leq m}^{*} $ 为修正Bernoulli数。
• 关联Fubini数 $ F_{n,\text{ass}}^{(m)} $ 表示为 $ \left| \frac{(-1)^{j-1} B_{j,\geq m}^{*}}{j!} \right| $，其中 $ B_{j,\geq m}^{*} $ 为修正Bernoulli数。
• 矩阵 $ \begin{bmatrix} 1 & & \\ \frac{-B_{1,\leq m}^{*}}{1!} & 1 & \\ \cdots & \cdots & \ddots \end{bmatrix} $ 的逆矩阵被证明为下Hessenberg矩阵，其次对角线元素为 $ \frac{1}{k!} $。
• 广义Fubini数 $ \frac{F_{n-l+1}^{(l+1)}}{(n-l+1)!} $ 等于 $ T_n $ 的特征多项式中 $ x^l $ 项的系数（符号相反）。
• 对于 $ T_5 $，其特征多项式为 $ -x^5 + 5x^4 - 12x^3 + \frac{33}{2}x^2 - \frac{77}{6}x + \frac{541}{120} $，且 $ x^1 $ 项系数与 $ \frac{F_5^{(2)}}{5!} = \frac{77}{6} $ 一致。
• 所有阶数为 $ n-l $ 的主子式之和为 $ S_{n-l} = \sum_{j_1+\cdots+j_{l+1}=n-l} \prod_{i=1}^{l+1} \frac{F_{j_i+1}}{(j_i+1)!} $，该和与广义Fubini数相关。