[論文レビュー] 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数、修正ベルヌーイ数およびカウチ数に関する新規の行列式恒等式を確立し、トーペリッツ・ヘッセンберク行列および主要小行列を用いて閉形式表現を提供する。

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数の新たな行列式表現を導出すること。
• 修正ベルヌーイ数およびカウチ数を導入し、行列式恒等式を用いてそれらの特徴的性質を研究すること。
• Trudiの公式および行列逆行列を用いて、これらの数列の明示的組合せ的公式を導出すること。
• 古典的Fubini数の行列式表現を高階生成関数および主要小行列へ一般化すること。

提案手法

• 再帰関係を通じて列ベクトルとトーペリッツ・ヘッセンベルク行列を結ぶ一般行列式恒等式（定理1）を用いる。
• Trudiの公式を適用し、生成関数から得られる要素を持つ行列の行列式として一般化Fubイン数を表現する。
• 要素が $ t_{i,j} = \frac{(-1)^{i-1}}{i!} $（$ i \geq j $）で、上対角線に1をもつトーペリッツ・ヘッセンベルク行列 $ T_n $ を構成する。
• 生成関数の係数を行列式として表現するため、$ T_n^{-1} $ の逆行列を導出する。
• 一般化Fubini数 $ F_{n-l+1}^{(l+1)} $ に関連する和を、$ T_n $ の主要小行列を用いて表現する。
• 行列のブロック行列式恒等式を適用し、$ T_n $ の特性多項式を分解・計算し、一般化Fubini数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 制限付きおよび関連Fubini数はどのように行列式恒等式で表現できるか？
• RQ2 一般化Fubini数と特定のトーペリッツ・ヘッセンベルク行列の主要小行列との関係は何か？
• RQ3 修正ベルヌーイ数およびカウチ数は、古典的ものと類似する行列式公式で表現可能か？
• 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}^{*} $ は修正ベルヌーイ数である。
• 関連Fubini数 $ F_{n,\text{ass}}^{(m)} $ は $ \left| \frac{(-1)^{j-1} B_{j,\geq m}^{*}}{j!} \right| $ で表現され、$ B_{j,\geq m}^{*} $ は修正ベルヌーイ数である。
• 行列 $ \begin{bmatrix} 1 & & \\ \frac{-B_{1,\leq m}^{*}}{1!} & 1 & \\ \cdots & \cdots & \ddots \end{bmatrix} $ の逆行列が、副対角線に $ \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} $ と一致する。
• 行列 $ T_n $ のすべての $ 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数と関連づけられる。