確率と統計において、自然指数族( NEF ) は、指数族(EF)の特殊なケースである確率分布のクラスです。
意味
単変量の場合
自然指数族 (NEF) は指数族のサブセットです。NEF は、自然パラメータηと自然統計量T ( x ) が両方とも恒等関数である指数族です。パラメータθを持つ指数族の分布は、確率密度関数(PDF)
で表すことができます。
ここで、 と は既知の関数です。したがって、パラメータ θ を持つ自然指数族の分布は PDF で表すことができます
[NEF の考案者である Carl Morris は、わずかに異なる表記法を使用していることに注意してください。[1] Morris は、 ηの代わりにω を、Aの代わりにψ を 使用しています。]




一般的な多変量の場合
とすると、 p次の自然指数族は次のような形の密度関数または質量関数を持つ。
この場合、パラメータ

モーメントとキュムラント生成関数
自然指数族のメンバーは、次の形式の
モーメント生成関数(MGF)を持つ。
キュムラント生成関数は定義上MGFの対数なので、
例
最も重要な 5 つの単変量ケースは次のとおりです。
これら 5 つの例 (ポアソン分布、二項分布、負の二項分布、正規分布、ガンマ分布) は NEF の特殊なサブセットであり、分散を平均の 2 次関数として表すことができることから、2 次分散関数を持つ NEF (NEF-QVF) と呼ばれます。NEF-QVF については以下で説明します。
指数分布、ベルヌーイ分布、幾何分布などの分布は、上記の 5 つの分布の特殊なケースです。たとえば、ベルヌーイ分布はn = 1 試行の二項分布であり、指数分布は形状パラメータ α = 1 (またはk = 1 )のガンマ分布であり 、幾何分布は負の二項分布の特殊なケースです。
一部の指数族分布は NEF ではありません。対数正規分布とベータ分布は指数族に属しますが、自然指数族には属しません。2つのパラメータを持つガンマ分布は指数族ですが NEF ではありません 。カイ 2 乗分布は、固定スケール パラメータを持つガンマ分布の特殊なケースであるため、これも指数族ですが NEF ではありません (固定形状パラメータを持つガンマ分布のみが NEF であることに注意してください)。
逆ガウス分布は、 3 次分散関数を持つ NEF です。
上記の分布のほとんどのパラメータ化は、教科書や上記のリンクされたページで一般的に使用されているパラメータ化とは異なって書かれています。たとえば、上記のパラメータ化は、ポアソン分布の場合のリンクされた記事のパラメータ化とは異なります。2つのパラメータ化は によって関連付けられており、ここでλは平均パラメータであり、密度は に対して と記述できる
ため、



この代替パラメータ化により、数理統計学の計算が大幅に簡素化されます。たとえば、ベイズ推論では、事後確率分布は2 つの分布の積として計算されます。通常、この計算には確率分布関数 (PDF) を書き出して積分する必要がありますが、上記のパラメータ化を使用すると、その計算を回避できます。代わりに、以下で説明する NEF の特性により、分布間の関係を抽象化できます。
多変量の場合の例としては、試行回数が既知の
多項分布があります。
プロパティ
自然指数族の特性を利用すると、これらの分布に関する計算を簡素化できます。
単変量の場合
- 自然指数族(NEF)は畳み込みの下で閉じている。[2] NEFからの分布を持つ独立同一分布(iid)
が与えられた場合 、はNEFであるが、必ずしも元のNEFである必要はない。これは、キュムラント生成関数の特性に従う。


- NEF分布に従うランダム変数の分散関数は平均で表すことができます。[2]

- NEF分布の最初の2つのモーメントは、その分布族内の分布を一意に指定します。[2]
![{\displaystyle X\sim \operatorname {NEF} [\mu ,V(\mu )].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ce52184c075fd5c506eaef7a99a0c7fac4a2322)
多変量ケース
多変量の場合、平均ベクトルと共分散行列は[要出典]
で、は勾配、はヘッセ行列です。
![{\displaystyle \operatorname {E} [X]=\nabla A({\boldsymbol {\theta }}){\text{ および }}\operatorname {Cov} [X]=\nabla \nabla ^{\rm {T}}A({\boldsymbol {\theta }})\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2acafb1ec6cd50a88bc14d204496fcfbc2b48e7c)


二次分散関数を持つ自然指数族 (NEF-QVF)
自然指数族の特殊なケースとして、2次分散関数を持つものがあります。6つのNEFには2次分散関数(QVF)があり、分布の分散は平均の2次関数として表すことができます。これらはNEF-QVFと呼ばれます。これらの分布の特性は、カール・モリスによって初めて説明されました。[3]
6つのNEF-QVF
ここでは、分散と平均の関係の複雑さが増すにつれて、6 つの NEF-QVF が記述されます。
- 固定分散を持つ正規分布は、分散が一定であるため NEF-QVF です。分散は と表記できるため、分散は平均の次数 0 の関数です。


- すべてのポアソン分布の分散は平均に等しく、分散は平均の線形関数であるため、ポアソン分布は NEF-QVF です。


- ガンマ分布は NEF-QVF です。ガンマ分布の平均は であり、ガンマ分布の分散は であり、分散は平均の 2 次関数だからです。



- 二項分布はNEF-QVFです。なぜなら平均はであり、分散はであり、平均を使って次のように表すことができるからです。




- 負の二項分布は平均が、分散が



- 一般化された[説明が必要] 双曲正割分布(NEF-GHS)によって生成される(あまり有名ではない)分布は[引用が必要] であり、


NEF-QVFの特性
NEF-QVF の特性により、これらの分布を使用する計算を簡素化できます。
- 二次分散関数を持つ自然指数族(NEF-QVF)は、線形変換の畳み込みに対して閉じている。[4] つまり、NEF-QVFの線形変換の畳み込みもNEF-QVFであるが、必ずしも元のNEF-QVFと同じではない。
NEF-QVF からの分布を持つ独立同一分布(iid)が与えられます 。NEF-QVF の線形変換の畳み込みも NEF-QVF です。

をXの線形変換の畳み込みとします。Yの平均はです。Yの分散は、元のNEF-QVFの分散関数で表すことができます。元のNEF-QVFに分散関数があった場合
、新しいNEF-QVFには分散関数があり
、ここで





- と を同じパラメータ θ を持つ独立した NEF とし、 とします。このとき、 の条件付き分布はにおいて2 次分散を持ち、かつ とがNEF-QVF である場合に限ります。このような条件付き分布の例には、正規分布、二項分布、ベータ分布、超幾何分布、幾何分布などがありますが、これらはすべて NEF-QVF ではありません。[1]








- NEF-QVFは、ピアソン分布系(ピアソン分布とも呼ばれるが、ピアソン分布系は実際には単一の分布ではなく分布族である)のμに関する共役事前分布を持つ。NEF-QVF分布の共役事前分布の例としては、正規分布、ガンマ分布、逆ガンマ分布、ベータ分布、F分布、t分布などがある。繰り返しになるが、これらの共役事前分布はすべてNEF-QVFというわけではない。[1]
- がNEF-QVF分布を持ち、μが共役事前分布を持つ場合、周辺分布はよく知られた分布です。 [1]これらの特性と上記の表記を組み合わせることで、通常は複雑な計算と微積分を使って行われる数理統計学
の計算を簡素化できます。

参照
参考文献
- ^ abcd Morris C. (2006)「自然指数族」、統計科学百科事典。
- ^ abc カール・N・モリス。「二次分散関数を持つ自然指数族:統計理論」Ann. Statist. 11 (2) 515 - 529、1983年6月 。doi :10.1214/aos/1176346158
- ^モリス、カール (1982)。 「二次分散関数を持つ自然指数族」。統計年報。10 (1): 65–80。doi : 10.1214/aos/1176345690。
- ^ モリス、カール; ロック、カリ F. (2009)。「名前付き自然指数族とその関連族の統合」。アメリカ統計学者。63 ( 3): 247–253。doi :10.1198/tast.2009.08145。S2CID 7095121 。
- Morris C. (1982)二次分散関数を持つ自然指数族: 統計理論テキサス大学オースティン校、統計研究所、数学部。