Logarithms and Stirling numbers associated with delta series

技術要約：デルタ級数に関連する対数およびスターリング数

問題提起
組合せ解析における最近の発展により、古典的な結果を一般化するために確率的スターリング数やB-スターリング数が導入されている。しかし、導入部で指摘されているように、これらの定式化は、堅牢な反転公式に不可欠な標準的な直交性や逆関係の欠如という、構造的な不備を抱えていることが多い。さらに、特定の定義は、決定論的な極限（例：ランダム変数 $Y=1$ の場合）において古典的なスターリング数を復元できない。本論文は、これらの基本的な代数的性質を回復しつつ、スターリング数の範囲を退化および確率的バリアントにまで拡張する統一的な枠組みの必要性に対処するものである。

手法
著者であるDae San KimとTaekyun Kimは、デルタ級数に基づく理論的枠組みを確立している。デルタ級数とは、$f(0)=0$ かつ $f'(0) \neq 0$ である形式的べき級数として定義される。手法は以下の通りである：

1. 多項式列との関連性： デルタ級数 $f(t)$ に対して、その合成逆関数を $\bar{f}(t)$ とする。著者らは、生成関数 $\sum_{n=0}^\infty p_n(x) \frac{t^n}{n!} = e^{x\bar{f}(t)}$ を通じて、多項式列 $\{p_n(x)\}$ を定義する。
2. 一般化されたスターリング数の定義：
   • 第2種 ($S_2(n,k; f(t))$): 生成関数 $\frac{1}{k!}(e^{\bar{f}(t)} - 1)^k = \sum_{n=k}^\infty S_2(n,k; f(t)) \frac{t^n}{n!}$ によって定義される。
   • 第1種 ($S_1(n,k; f(t)$): 生成関数 $\frac{1}{k!}(\bar{e}_{f(t)}(t))^k = \sum_{n=k}^\infty S_1(n,k; f(t)) \frac{t^n}{n!}$ によって定義される。ここで $\bar{e}_{f(t)}(t)$ は $e^{\bar{f}(t)} - 1$ の合成逆関数である。
3. 関連する対数の導入： 本論文では、「$f(t)$ に関連する対数」を $\log_{f(t)}(1+t) = f(\log(1+t))$ と定義する。この関数は $e^{\bar{f}(t)} - 1$ の合成逆関数として機能する。
4. 恒等式の導出： ラグランジュの反転公式および部分ベル多項式の性質を用いて、著者らはこれらの一般化された数と $f(t)$ に関連するベルヌーイ多項式、および互いの間の明示的な関係式を導出する。

主要な貢献と結果

• 直交性と逆関係の回復： 本論文は、定義された数 $S_1(n,k; f(t))$ および $S_2(n,k; f(t))$ が基本的な直交性と逆関係（命題 2.1）を満たすことを証明している。具体的には、$\sum_{k=l}^n S_2(n,k; f(t))S_1(k,l; f(t)) = \delta_{n,l}$ であり、これにより、近年の確率的バリアントにおいてしばしば欠落している、反転公式のための整合したペアとしての性質が保証される。
• シュルミルヒ型公式： 中心的な結果は、2種類のスターリング数の間の明示的な接続を提供するシュルミルヒ型公式（定理 2.7）の導出である：
  $$S_1(n,k; f(t)) = \sum_{j=0}^{n-k} \binom{n+j-1}{n+j-k} \binom{2n-k}{n-k-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-k+j, j; f(t))$$
• 関連する対数の明示的な表現： シュルミルヒ型公式を利用して、著者らは関連する対数 $\log_{f(t)}(1+t)$ を、第2種スターリング数のみを用いた新しい表現（定理 2.8）を導出した：
  $$\log_{f(t)}(1+t) = \sum_{n=1}^\infty \left( \sum_{j=0}^{n-1} \binom{2n-1}{n-1-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-1+j, j; f(t)) \right) \frac{t^n}{n!}$$
• 既知の結果の統一： この枠組みは、様々な既存の数体系を統一することを示す。本論文は以下のように示している：
  • $f(t)=t$ のとき、古典的なスターリング数が現れる。
  • $f(t) = \frac{1}{\lambda}(e^{\lambda t}-1)$ のとき、退化スターリング数が現れる。
  • 確率的スターリング数（ランダム変数 $Y$ に関連するもの）は、$\bar{f}(t) = \log \mathbb{E}[e^{Y_\lambda(t)}]$ であるデルタ級数に対応する。
  • B-スターリング数は、生成関数 $B(t) = e^{\bar{f}(t)}$ である場合に相当する。

意義
本論文は、このデルタ級数によるアプローチが、近年の確率的およびB-スターリング数の定義に見られる構造的不整合を解決する「堅牢な枠組み」を提供すると主張している。定義をデルタ級数の合成逆関数に基づかせることで、著者らは、得られる数が本質的に直交性と逆関係を満たすことを保証している。

その意義は、以下の項目を含む15の具体的な例（セクション3）によって示される、この枠組みの汎用性にあり：

• 確率的および退化スターリング数。
• ロー数（Lah numbers）およびロー・ベル多項式。
• 中心階乗および中心ベル多項式。
• ミッタッグ・レフラーおよびラグーエル多項式。

著者らは、この方法論が既知の結果を復元するだけでなく、それらを拡張し、組合せ解析のための一貫した計算効率の高いツールを提供すると結論付けている。本論文は、将来の研究において、このアプローチを他の特殊な数列に適用したり、$q$-アナログへの拡張を行ったりできる可能性を示唆している。