確率論と数理 統計学において、全キュムラントの法則は、全確率の法則、全期待値の法則、全分散の法則をキュムラントに一般化したものであり、時系列解析に応用されている。この法則はデイヴィッド・ブリリンガーによって提唱された。[1]
最も分かりやすいのは、特定の順序のキュムラントを1つの確率変数について記述するのではなく、結合キュムラントについて記述する最も一般的な形式である。一般に、

どこ
- κ ( X 1 , ..., X n ) はn 個の確率変数X 1 , ..., X nの結合キュムラントであり、
- 合計はインデックスの集合{1, ..., n }のすべてのパーティション にわたっており 、

- 「B ∈ π ;」は、Bがパーティションπの「ブロック」のリスト全体を実行することを意味し、
- κ ( X i : i ∈ B | Y ) は、確率変数Yの値が与えられた条件付きキュムラントです 。したがって、κ はそれ自体が確率変数、つまり確率変数 Yの関数です。
例
1つのランダム変数だけの特別なケースとn= 2または3
n = 2 または 3 の場合にのみ、 n次キュムラントはn次中心モーメントと一致します。n = 2 の場合は よく知られています(全分散の法則を参照)。以下はn = 3の場合です。μ 3という表記 は、3 次中心モーメントを意味します。

一般的な4次結合キュムラント
一般的な 4 次キュムラントの場合、この規則により、次のように 15 項の合計が得られます。
![{\displaystyle {\begin{aligned}&\kappa (X_{1},X_{2},X_{3},X_{4})\\[5pt]={}&\kappa (\kappa (X_{1},X_{2},X_{3},X_{4}\mid Y))\\[5pt]&\left.{\begin{matrix}&{}+\kappa (\kappa (X_{1},X_{2},X_{3}\mid Y),\kappa (X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{2},X_{4}\mid Y),\kappa (X_{3}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{3},X_{4}\mid Y),\kappa (X_{2}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{2},X_{3},X_{4}\mid Y),\kappa (X_{1}\mid Y))\end{matrix}}\right\}({\text{3+1{\text{形式の分割}})\\[5pt]&\left.{\begin{matrix}&{}+\kappa (\kappa (X_{1},X_{2}\mid Y),\kappa (X_{3},X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{3}\mid Y),\kappa (X_{2},X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{4}\mid Y),\kappa (X_{2},X_{3}\mid Y))\end{matrix}}\right\}({\text{}}2+2{\text{形式の分割}})\\[5pt]&\left.{\begin{matrix}&{}+\kappa (\kappa (X_{1},X_{2}\mid Y),\kappa (X_{3}\mid Y),\kappa (X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{3}\mid Y),\kappa (X_{2}\mid Y),\kappa (X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{1},X_{4}\mid Y),\kappa (X_{2}\mid Y),\kappa (X_{3}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{2},X_{3}\mid Y),\kappa (X_{1}\mid Y),\kappa (X_{4}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{2},X_{4}\mid Y),\kappa (X_{1}\mid Y),\kappa (X_{3}\mid Y))\\[5pt]&{}+\kappa (\kappa (X_{3},X_{4}\mid Y),\kappa (X_{1}\mid Y),\kappa (X_{2}\mid Y))\end{matrix}}\right\}({\text{2+1+1{\text{形式の分割}})\\[5pt]&{\begin{matrix}{}+\kappa (\kappa (X_{1}\mid Y),\kappa (X_{2}\mid Y),\kappa (X_{3}\mid Y),\kappa (X_{4}\mid Y)).\end{matrix}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
複合ポアソン確率変数のキュムラント
Y が期待値λのポアソン分布を持ち、X が互いに 独立しておりYからも独立したWのY個のコピーの合計であるとします。

ポアソン分布のキュムラントはすべて互いに等しく、したがってこの場合は λに等しい。また、確率変数W 1 , ..., W mが独立である場合、n番目のキュムラントは加法性を持つことも思い出してほしい。

Xの4次キュムラントを求めます。以下の式が成り立ちます。
![{\displaystyle {\begin{aligned}\kappa _{4}(X)={}&\kappa (X,X,X,X)\\[8pt]={}&\kappa _{1}(\kappa _{4}(X\mid Y))+4\kappa (\kappa _{3}(X\mid Y),\kappa _{1}(X\mid Y))+3\kappa _{2}(\kappa _{2}(X\mid Y))\\&{}+6\kappa (\kappa _{2}(X\mid Y),\kappa _{1}(X\mid Y),\kappa _{1}(X\mid Y))+\kappa _{4}(\kappa _{1}(X\mid Y))\\[8pt]={}&\kappa _{1}(Y\kappa _{4}(W))+4\kappa (Y\kappa _{3}(W),Y\kappa _{1}(W))+3\kappa _{2}(Y\kappa _{2}(W))\\&{}+6\kappa (Y\kappa _{2}(W),Y\kappa _{1}(W),Y\kappa _{1}(W))+\kappa _{4}(Y\kappa _{1}(W))\\[8pt]={}&\kappa _{4}(W)\kappa _{1}(Y)+4\kappa _{3}(W)\kappa _{1}(W)\kappa _{2}(Y)+3\kappa _{2}(W)^{2}\kappa _{2}(Y)\\&{}+6\kappa _{2}(W)\kappa _{1}(W)^{2}\kappa _{3}(Y)+\kappa _{1}(W)^{4}\kappa _{4}(Y)\\[8pt]={}&\kappa _{4}(W)\lambda +4\kappa _{3}(W)\kappa _{1}(W)\lambda +3\kappa _{2}(W)^{2}+6\kappa _{2}(W)\kappa _{1}(W)^{2}\lambda +\kappa _{1}(W)^{4}\lambda \\[8pt]={}&\lambda \operatorname {E} (W^{4})\qquad {\text{(オチ -- 下記の説明を参照)。}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
最後の和は、集合 { 1, 2, 3, 4 } のすべての分割について、その分割のすべてのブロックについて、ブロックの大きさに等しい位数のWのキュムラントの積を合計したものであると理解できます。これはまさにWの4 次モーメントです(この事実に関するより簡潔な議論についてはキュムラントの項を参照)。したがって、 XのキュムラントはWのモーメントにλを乗じた ものになります。
このようにして、すべてのモーメント列はキュムラント列でもあることがわかります (逆は成り立ちません。偶数次 ≥ 4 のキュムラントは負になる場合があり、正規分布のキュムラント列はどの確率分布のモーメント列でもないため)。
ベルヌーイ確率変数の条件付け
Y = 1 の確率が pで、Y = 0 の確率が q = 1 − pであるとする。Yが与えられた場合のXの条件付き確率分布が、Y = 1の場合にはF 、 Y = 0の場合にはGであるとする。 すると
、

ここでπは{1, ..., n }の最も粗い分割よりも細かい分割であることを意味する 。つまり、和はその分割を除くすべての分割についてである。例えばn = 3の
場合、

参考文献
- ^ David Brillinger、「条件付けによるキュムラントの計算」、Annals of the Institute of Statistical Mathematics、第21巻(1969年)、215~218頁。