確率論や統計学において、キュムラント(きゅむらんと、英: cumulant)は、分布を特徴付ける特性値の一つ。キュムラント母関数を級数展開した際の係数として定義する。その性質を研究したT. N. ティエレに因み[1]
、ティエレの半不変数(英: semi-invariant)とも呼ぶ[2]。
確率変数Xに対して、
-
で定義されるモーメント母関数の対数log M(s)をキュムラント母関数と呼ぶ。但し、⟨…⟩は期待値を取る操作を表すものとする。キュムラント母関数の級数展開
-
において、係数cnをn次のキュムラントもしくは、ティエレの半不変数と呼ぶ。この級数展開がn=0の項を含まないことは、logM(0) = log 1 = 0よりわかる。キュムラントを表す記号としてcnのほかに、κnやモーメント⟨Xn⟩に対応した⟨Xn⟩cが用いられる。また、確率変数のべき乗Xnに対し
-
を与える操作をキュムラント平均と呼ぶ。
半不変数という呼び名は、確率変数のアフィン変換
-
において、モーメントが
-
となり、一般に
-
と変換されるのに対し、キュムラントは、
-
と、ほとんど形を変えないことに因む。
多変数の確率変数X1,..., Xnに対するキュムラントも、そのキュムラント母関数の級数展開の係数として、次式で与えられる。
-
ここで、第一行の右辺は、j1,..., jkは1,..., nの値を自由に取るものとした、変数の重複も含む表現であり、第二行の右辺は変数の重複は含まない表現である。
多変数のキュムラントは、確率変数X1,..., Xnが二つ以上の互いに独立な組に分かれるとすると、それらのなかで独立な変数にまたがるキュムラントは常に0になるという重要な性質を有する。
- (独立な組に分けられる場合)
実際、確率変数が例えば、(X1,..., Xm)、(Xm+1,..., Xn)と二つの独立な組に分かれるとすると、モーメント母関数はその性質から二つの積に分解される。
-
従って、キュムラント母関数は
-
となり、左辺の級数展開において、二つの組にまたがる変数の積の項は現れず、対応するキュムラントは0となる。二つ以上の互いに独立な組に分かれる場合も同様である。
確率分布関数が
-
で与えられるポアソン分布において、キュムラント母関数は次のように与えられる。
-
従って、全てのキュムラント cn は λ となる。
-
確率密度関数が
-
で与えられるガウス分布において、キュムラント母関数は
-
であり、キュムラントは
-
となる。このように三次以上の高次のキュムラントが全て0になるのが、ガウス分布の特徴である。
物理学でキュムラント展開が用いられる例として以下のようなものがある。