The distribution of the de Moivre experiment

技術要約：ド・モアブル実験の分布

問題提起と動機
本論文は、「ド・モアブル実験」に関する確率論的モデリングにおける歴史的な空白に対処するものである。アブラハム・ド・モアブルは、1711年の著作『偶然の理論（The Doctrine of Chances）』において、$n$ 個の $(s+1)$ 面のダイスを振った際に特定の和 $k$ を得る方法の数を決定するという組合せ論的問題を分析したが、この実験を支配する確率分布は、文献において正式に展開されてこなかった。歴史的に、$s=1$（コイン投げ）の場合がベルヌーイ分布および二項分布へとつながったが、$s > 1$ の場合の一様分布 $\{0, 1, \dots, s\}$ への一般化は、関連する係数の簡略化された表現が2000年代に確立されるまで、モデル化されないまま残されていた。著者らは、この実験を定式化し、関連する確率法則を定義し、その極限挙動を調査することを目的としている。

手法と定義
本研究は、基本となる確率変数とその関連分布を定義することによって進行する。

1. $s$-ベルヌーイ分布： 著者らは、$\{0, 1, \dots, s\}$ の値を取る $(s+1)$ 面のダイスの結果を表す確率変数 $X$ を定義する。その確率質量関数は、$p$（成功確率）と $q$（失敗確率）によってパラメータ化され、確率の総和が1になるように特定の制約が設けられている。

   • $p \neq q$ の場合と $p = q$ の場合の両方について、母関数 $G_X(t)$ が導出されている。
   • 平均および分散の明示的な公式が提供されている。
   • この分布のモーメントと拡張オイラー数 $A(n, k, s)$ との間の関係を確立している。$p=q$ の場合、モーメントはベルヌーイ数を用いて表現される。

2. ビスノミアル（bisnomial）分布： $s$-ベルヌーイ実験を $n$ 回独立に繰り返すことにより、著者らはビスノミアル分布（$B^{(s)}(n, p)$ と表記）を定義する。その確率質量関数には、$(s+1)$ 面の $n$ 個のダイスに $k$ 個の点を分配する方法の数を数えるビスノミアル係数 $\binom{n}{k}_s$ が含まれる。

   • ビスノミアル分布の母関数は、$s$-ベルヌーイ母関数の $n$ 乗として導出される。
   • 平均および分散の公式が確立されている。
   • 高次のモーメントは部分ベル多項式を用いて表現され、この分布と組合せ論的構造との関連付けが行われている。

主要な結果：極限分布
本論文の核心的な理論的貢献は、$n \to \infty$ の下での特定の極限条件下におけるビスノミアル分布の収束の証明である。

1. ポアソン分布への収束：
   試行回数 $n$ が無限に増加し、かつ和の期待値が一定（$\lambda_s$）に保たれる場合、ビスノミアル分布がパラメータ $\lambda_s$ のポアソン分布に収束することを著者らは証明している。

   • 証明には、$n \to \infty$ におけるパラメータ $p_n$ と $q_n$ の関係を近似するための陰関数定理が用いられている。
   • これらのパラメータを冪級数で展開し、補題5.2（正規化されたビスノミアル係数 $\binom{n}{k}_s / n^k$ の極限を確立するもの）を適用することで、著者らは確率質量関数が $\frac{\lambda_s^k}{k!} e^{-\lambda_s}$ に収束することを実証している。
   • 本論文は、この結果が、ポアソンの1837年の研究に先立つ1711年に、ド・モアブルが二項分布の極限としてポアソン分布を導き出したという歴史的な議論を支持するものであると述べている。

2. 正規分布への収束：
   本論文は、$n$ が大きい場合、ビスノミアル分布が正規分布を近似することを確立している。

   • **モーメント母関数（MGF）**法を用い、標準化された変数 $Z = \frac{X - E(X)}{\sigma_s}$ を分析している。
   • MGFのテイラー展開を通じて、$n \to \infty$ のとき、$Z$ のMGFが標準正規分布のMGFである $e^{t^2/2}$ に収束することを示す。
   • これにより、ビスノミアル分布が、$s$-ベルヌーイ分布のパラメータから導かれる平均 $\mu_s$ と分散 $\sigma_s^2$ を持つ古典的な二項分布と同様の、中心極限定理を満たすことが確認される。

意義と主張
本論文は、一般的な面数 $(s+1)$ に対するド・モアブル実験の最初の包括的な確率論的モデル化を提供したと主張している。$s$-ベルヌーイ分布およびビスノミアル分布を導入することにより、著者らは古典的な二項フレームワークをより広い組合せ論的設定へと拡張している。

本研究の意義は以下の点にある：

• 歴史的文脈： ド・モアブルの1711年の組合せ論的補題と現代の確率論との間の溝を埋め、これまで暗黙的であった分布法則を正式に定義した。
• 数学的一般化： 二項分布（$s=1$）をビスノミアルのケースへと一般化し、モーメント、母関数、およびオイラー数やベル多項式を用いた歪度・尖度係数の明示的な公式を提供した。
• 極限挙動： これらの一般化された分布がポアソン分布および正規分布に収束することを厳密に証明し、それによってド・モアブル実験を確率論の基本となる極限定理と統一した。

著者らは、提示された数学的証明を超えた新しい実験的応用や将来的な含意を提案することなく、これらの分布の定義、特性、および極限ケースの記述に厳密に焦点を当て、その範囲を控えめに維持している。