[論文レビュー] 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行列の制約と組合せ的解釈を通じて、多項ベルヌーイ数の2つの新しい組合せ的類似物である配列 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.

研究の動機と目的

• 多項ベルヌーイ数の族を、組合せ的類似物としての2つの新しい整数配列 C_{n,k} と D_{n,k} を導入することで拡張すること。
• 01行列における禁止部分行列の制約を用いて、これらの類似物の新しい組合せ的解釈を確立すること。
• 包含除外原理とスターリング数の恒等式を用いて、C_{n,k} と D_{n,k} の明示的公式を導出すること。
• 置換の制限付き超過集合や非明確な木といった既知の組合せ的対象とこれらの類似物を結びつけること。
• 多項ベルヌーイ数の対角和を調査し、中心二項係数和と関連付ける仮説を提示すること。

提案手法

• 特定の2×2部分行列を禁止することで、修正されたlonesum行列の制約を用いて 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} は、P_N に等しいと仮説を立てており、ここで P_N は中心二項係数和 ∑_{n≥1} n^k / binom(2n,n) の展開からの有理係数である。
• C_{n,k} の対角和は、最初の項を除き、B_{n,k} の対角和のちょうど半分に等しい。これは OEIS シーケンス A098830 と A136127 によって確認された。
• 本稿は、多項ベルヌーイ数の対角和と数論的定数との強い関係を確立し、これらの組合せ的配列の背後にあるより深い算術的構造を示唆している。