Probability distribution
幾何学的 確率質量関数
累積分布関数
パラメータ 0 < p ≤ 1 {\displaystyle 0<p\leq 1} 成功確率( 実数 ) 0 < p ≤ 1 {\displaystyle 0<p\leq 1} 成功確率( 実数 ) サポート k回 の試行で k ∈ N = { 1 , 2 , 3 , … } {\displaystyle k\in \mathbb {N} =\{1,2,3,\dotsc \}} k回 の失敗で k ∈ N 0 = { 0 , 1 , 2 , … } {\displaystyle k\in \mathbb {N} _{0}=\{0,1,2,\dotsc \}} PMF ( 1 − p ) k − 1 p {\displaystyle (1-p)^{k-1}p} ( 1 − p ) k p {\displaystyle (1-p)^{k}p} CDF 1 − ( 1 − p ) ⌊ x ⌋ {\displaystyle 1-(1-p)^{\lfloor x\rfloor }} のために 、 のために x ≥ 1 {\displaystyle x\geq 1} 0 {\displaystyle 0} x < 1 {\displaystyle x<1} 1 − ( 1 − p ) ⌊ x ⌋ + 1 {\displaystyle 1-(1-p)^{\lfloor x\rfloor +1}} のために 、 のために x ≥ 0 {\displaystyle x\geq 0} 0 {\displaystyle 0} x < 0 {\displaystyle x<0} 平均 1 p {\displaystyle {\frac {1}{p}}} 1 − p p {\displaystyle {\frac {1-p}{p}}} 中央値 ⌈ − 1 log 2 ( 1 − p ) ⌉ {\displaystyle \left\lceil {\frac {-1}{\log _{2}(1-p)}}\right\rceil }
( 整数の場合は一意ではありません) − 1 / log 2 ( 1 − p ) {\displaystyle -1/\log _{2}(1-p)} ⌈ − 1 log 2 ( 1 − p ) ⌉ − 1 {\displaystyle \left\lceil {\frac {-1}{\log _{2}(1-p)}}\right\rceil -1}
( 整数の場合は一意ではありません) − 1 / log 2 ( 1 − p ) {\displaystyle -1/\log _{2}(1-p)} モード 1 {\displaystyle 1} 0 {\displaystyle 0} 分散 1 − p p 2 {\displaystyle {\frac {1-p}{p^{2}}}} 1 − p p 2 {\displaystyle {\frac {1-p}{p^{2}}}} 歪度 2 − p 1 − p {\displaystyle {\frac {2-p}{\sqrt {1-p}}}} 2 − p 1 − p {\displaystyle {\frac {2-p}{\sqrt {1-p}}}} 過剰尖度 6 + p 2 1 − p {\displaystyle 6+{\frac {p^{2}}{1-p}}} 6 + p 2 1 − p {\displaystyle 6+{\frac {p^{2}}{1-p}}} エントロピ − ( 1 − p ) log ( 1 − p ) − p log p p {\displaystyle {\tfrac {-(1-p)\log(1-p)-p\log p}{p}}} − ( 1 − p ) log ( 1 − p ) − p log p p {\displaystyle {\tfrac {-(1-p)\log(1-p)-p\log p}{p}}} MGF p e t 1 − ( 1 − p ) e t , {\displaystyle {\frac {pe^{t}}{1-(1-p)e^{t}}},} のために t < − ln ( 1 − p ) {\displaystyle t<-\ln(1-p)} p 1 − ( 1 − p ) e t , {\displaystyle {\frac {p}{1-(1-p)e^{t}}},} のために t < − ln ( 1 − p ) {\displaystyle t<-\ln(1-p)} CF p e i t 1 − ( 1 − p ) e i t {\displaystyle {\frac {pe^{it}}{1-(1-p)e^{it}}}} p 1 − ( 1 − p ) e i t {\displaystyle {\frac {p}{1-(1-p)e^{it}}}} PGF p z 1 − ( 1 − p ) z {\displaystyle {\frac {pz}{1-(1-p)z}}} p 1 − ( 1 − p ) z {\displaystyle {\frac {p}{1-(1-p)z}}} フィッシャー情報 1 p 2 ( 1 − p ) {\displaystyle {\tfrac {1}{p^{2}(1-p)}}} 1 p 2 ( 1 − p ) {\displaystyle {\tfrac {1}{p^{2}(1-p)}}}
確率論 と 統計学 において 、 幾何分布は次の 2 つの 離散確率分布 のいずれかです 。
1 回の成功を得るために必要な ベルヌーイ試行 回数の 確率分布 。 X {\displaystyle X} N = { 1 , 2 , 3 , … } {\displaystyle \mathbb {N} =\{1,2,3,\ldots \}} 最初の成功までの失敗 回数の確率分布 。 Y = X − 1 {\displaystyle Y=X-1} N 0 = { 0 , 1 , 2 , … } {\displaystyle \mathbb {N} _{0}=\{0,1,2,\ldots \}} これら2つの異なる幾何分布を混同してはいけません。 前者( の分布)はしばしば「 シフト 幾何分布」と呼ばれますが、曖昧さを避けるため、支持点を明示的に示すことで、どちらを意図しているかを示すことが賢明です。 X {\displaystyle X}
幾何分布は、最初の成功発生にはそれぞれ成功確率 の独立試行が必要となる確率を与える 。各試行における成功確率が の場合、 最初の成功が 回目の試行で ある確率はとなる。 k {\displaystyle k} p {\displaystyle p} p {\displaystyle p} k {\displaystyle k}
Pr ( X = k ) = ( 1 − p ) k − 1 p {\displaystyle \Pr(X=k)=(1-p)^{k-1}p}
のために k = 1 , 2 , 3 , 4 , … {\displaystyle k=1,2,3,4,\dots }
上記の幾何分布は、最初の成功までの試行回数をモデル化するために使用されます。一方、次の幾何分布は、最初の成功までの失敗回数をモデル化するために使用されます。
Pr ( Y = k ) = Pr ( X = k + 1 ) = ( 1 − p ) k p {\displaystyle \Pr(Y=k)=\Pr(X=k+1)=(1-p)^{k}p}
のために k = 0 , 1 , 2 , 3 , … {\displaystyle k=0,1,2,3,\dots }
幾何分布は、その確率が 幾何級数に従うことからその名が付けられました。 ウェンデル・H・ファーリー にちなんで、ファーリー分布と呼ばれることもあります 。 [1] : 210
意味 幾何分布は、 独立かつ同一分布に従う ベルヌーイ試行 の無限系列において、最初の成功がいつ発生するかを記述する 離散確率分布 である。その 確率質量関数は、 そのパラメータ化と 支持度 に依存する。支持度が である場合 、確率質量関数は となる。 ここで 、 は試行回数、 は各試行における成功確率である。 [2] : 260–261 N {\displaystyle \mathbb {N} } P ( X = k ) = ( 1 − p ) k − 1 p {\displaystyle P(X=k)=(1-p)^{k-1}p} k = 1 , 2 , 3 , … {\displaystyle k=1,2,3,\dotsc } p {\displaystyle p}
サポートは と定義されることもある 。これにより確率質量関数は となる。 ここで は最初の成功までの失敗回数である。 [3] : 66 N 0 {\displaystyle \mathbb {N} _{0}} Y = X − 1 {\displaystyle Y=X-1} P ( Y = k ) = ( 1 − p ) k p {\displaystyle P(Y=k)=(1-p)^{k}p} k = 0 , 1 , 2 , … {\displaystyle k=0,1,2,\dotsc }
分布の別のパラメータ化は確率質量関数を与える。 ここで 、および 。 [1] :208–209 P ( Y = k ) = ( P Q ) k ( 1 − P Q ) {\displaystyle P(Y=k)=\left({\frac {P}{Q}}\right)^{k}\left(1-{\frac {P}{Q}}\right)} P = 1 − p p {\displaystyle P={\frac {1-p}{p}}} Q = 1 p {\displaystyle Q={\frac {1}{p}}}
幾何分布の例としては、6面 サイコロ を「1」が出るまで振るというものがあります。各振る動作は 独立して おり、成功する確率はそれぞれ異なります 。必要な振る回数は、 という幾何分布に従います 。 1 / 6 {\displaystyle 1/6} p = 1 / 6 {\displaystyle p=1/6}
プロパティ
記憶喪失 幾何分布は、唯一の記憶のない離散確率分布です。 [4]これは、 指数分布 に見られるのと同じ特性の離散バージョンです 。 [1] : 228 この特性は、以前に失敗した試行の回数が、成功に必要な将来の試行回数に影響を与えないと主張しています。
幾何分布には2つの定義があるため、離散確率変数の記憶のなさにも2つの定義がある。 [5] 条件付き確率 で表現すると 、2つの定義は 次のように
なる。 Pr ( X > m + n ∣ X > n ) = Pr ( X > m ) , {\displaystyle \Pr(X>m+n\mid X>n)=\Pr(X>m),} Pr ( Y > m + n ∣ Y ≥ n ) = Pr ( Y > m ) , {\displaystyle \Pr(Y>m+n\mid Y\geq n)=\Pr(Y>m),}
ここで 、 と は 自然数 、 は 上で定義される幾何分布の確率変数 、 は 上で定義される幾何分布の確率変数です 。これらの定義は離散確率変数に対しては等しくないことに注意する必要があります。 は最初の式を満たさず、 2番目の式も満たしません。 m {\displaystyle m} n {\displaystyle n} X {\displaystyle X} N {\displaystyle \mathbb {N} } Y {\displaystyle Y} N 0 {\displaystyle \mathbb {N} _{0}} Y {\displaystyle Y} X {\displaystyle X}
モーメントとキュムラント 上で定義される 幾何分布の 確率変数 の期待 値 と 分散は [2] :261 である。 上で定義される 幾何分布の確率変数では 、期待値は に変化するが、 分散は変わらない。 [6] :114–115 X {\displaystyle X} N {\displaystyle \mathbb {N} } E ( X ) = 1 p , var ( X ) = 1 − p p 2 . {\displaystyle \operatorname {E} (X)={\frac {1}{p}},\qquad \operatorname {var} (X)={\frac {1-p}{p^{2}}}.} Y {\displaystyle Y} N 0 {\displaystyle \mathbb {N} _{0}} E ( Y ) = 1 − p p , {\displaystyle \operatorname {E} (Y)={\frac {1-p}{p}},}
たとえば、6面サイコロを振って「1」が出るまで、必要なサイコロの平均回数は で 、失敗する平均回数は です 。 1 1 / 6 = 6 {\displaystyle {\frac {1}{1/6}}=6} 1 − 1 / 6 1 / 6 = 5 {\displaystyle {\frac {1-1/6}{1/6}}=5}
およびでそれぞれ 定義された幾何分布のモーメント 生成 関数は [7] [6] : 114 である 。最初の成功までの失敗回数のモーメントは次のように与えられる。 N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}} M X ( t ) = p e t 1 − ( 1 − p ) e t M Y ( t ) = p 1 − ( 1 − p ) e t , t < − ln ( 1 − p ) {\displaystyle {\begin{aligned}M_{X}(t)&={\frac {pe^{t}}{1-(1-p)e^{t}}}\\M_{Y}(t)&={\frac {p}{1-(1-p)e^{t}}},t<-\ln(1-p)\end{aligned}}} E ( Y n ) = ∑ k = 0 ∞ ( 1 − p ) k p ⋅ k n = p Li − n ( 1 − p ) ( for n ≠ 0 ) {\displaystyle {\begin{aligned}\mathrm {E} (Y^{n})&{}=\sum _{k=0}^{\infty }(1-p)^{k}p\cdot k^{n}\\&{}=p\operatorname {Li} _{-n}(1-p)&({\text{for }}n\neq 0)\end{aligned}}}
ここでは 多重対数関数 である 。 [8] Li − n ( 1 − p ) {\displaystyle \operatorname {Li} _{-n}(1-p)}
上で定義される幾何分布の キュムラント 生成関数は [1] :216 である。 キュムラント は 、上で 定義されているとき、 再帰性を満たす 。 [1] :216 N 0 {\displaystyle \mathbb {N} _{0}} K ( t ) = ln p − ln ( 1 − ( 1 − p ) e t ) {\displaystyle K(t)=\ln p-\ln(1-(1-p)e^{t})} κ r {\displaystyle \kappa _{r}} κ r + 1 = q δ κ r δ q , r = 1 , 2 , … {\displaystyle \kappa _{r+1}=q{\frac {\delta \kappa _{r}}{\delta q}},r=1,2,\dotsc } q = 1 − p {\displaystyle q=1-p} N 0 {\displaystyle \mathbb {N} _{0}}
期待値の証明 上記のX の 期待値 、つまり成功までの平均試行回数を考えてみましょう。最初の試行は確率 で成功する か、確率 で失敗します 。最初の試行が失敗した場合、成功まで の残りの 平均試行回数は最初の平均と一致します。これは、すべての試行が独立しているという事実から導き出されます。 E ( X ) {\displaystyle \mathrm {E} (X)} p {\displaystyle p} 1 − p {\displaystyle 1-p}
これから次の式が得られます。
E ( X ) = p + ( 1 − p ) ( 1 + E [ X ] ) , {\displaystyle \operatorname {\mathrm {E} } (X)=p+(1-p)(1+\mathrm {E} [X]),}
これを について解くと次のように なります。 E ( X ) {\displaystyle \mathrm {E} (X)}
E ( X ) = 1 p . {\displaystyle \operatorname {E} (X)={\frac {1}{p}}.}
期待される故障 数は、 期待値の線形性 から求めることができます 。 また、次のように表すこともできます。 Y {\displaystyle Y} E ( Y ) = E ( X − 1 ) = E ( X ) − 1 = 1 p − 1 = 1 − p p {\displaystyle \mathrm {E} (Y)=\mathrm {E} (X-1)=\mathrm {E} (X)-1={\frac {1}{p}}-1={\frac {1-p}{p}}}
E ( Y ) = p ∑ k = 0 ∞ ( 1 − p ) k k = p ( 1 − p ) ∑ k = 0 ∞ ( 1 − p ) k − 1 k = p ( 1 − p ) ( − ∑ k = 0 ∞ d d p [ ( 1 − p ) k ] ) = p ( 1 − p ) [ d d p ( − ∑ k = 0 ∞ ( 1 − p ) k ) ] = p ( 1 − p ) d d p ( − 1 p ) = 1 − p p . {\displaystyle {\begin{aligned}\operatorname {E} (Y)&=p\sum _{k=0}^{\infty }(1-p)^{k}k\\&=p(1-p)\sum _{k=0}^{\infty }(1-p)^{k-1}k\\&=p(1-p)\left(-\sum _{k=0}^{\infty }{\frac {d}{dp}}\left[(1-p)^{k}\right]\right)\\&=p(1-p)\left[{\frac {d}{dp}}\left(-\sum _{k=0}^{\infty }(1-p)^{k}\right)\right]\\&=p(1-p){\frac {d}{dp}}\left(-{\frac {1}{p}}\right)\\&={\frac {1-p}{p}}.\end{aligned}}}
和と微分の交換は、収束するべき級数が 、収束する点の集合の コンパクトな 部分集合上で 均一に収束する という事実によって正当化されます。
要約統計 幾何分布の平均 は その期待値であり、§ モーメントとキュムラントで前述したように、 または または で それぞれ定義されている場合です 。 1 p {\displaystyle {\frac {1}{p}}} 1 − p p {\displaystyle {\frac {1-p}{p}}} N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}}
幾何分布の 中央値 は、 [9] で定義されるとき 、また [3] で定義されるとき 、69である 。 ⌈ − log 2 log ( 1 − p ) ⌉ {\displaystyle \left\lceil -{\frac {\log 2}{\log(1-p)}}\right\rceil } N {\displaystyle \mathbb {N} } ⌊ − log 2 log ( 1 − p ) ⌋ {\displaystyle \left\lfloor -{\frac {\log 2}{\log(1-p)}}\right\rfloor } N 0 {\displaystyle \mathbb {N} _{0}}
幾何分布の最頻値 は 、サポートセットの最初の値です。これは、 で定義されている場合は1 、 で定義されている場合は0です 。 [3] : 69 N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}}
幾何分布の 歪度 は [6] :115で ある。 2 − p 1 − p {\displaystyle {\frac {2-p}{\sqrt {1-p}}}}
幾何分布の尖度は です 。 [ 6 ] : 115 分布の過剰尖度は、分布の尖度と正規分布の尖度 との差です 。 [ 10 ] : 217 したがって 、幾何分布の過剰尖度は です 。 であるため 、過剰尖度は常に正であり、分布は 急尖 です。 [3] : 69 言い換えると、幾何分布の裾はガウス分布よりも速く減少します。 [10] : 217 9 + p 2 1 − p {\displaystyle 9+{\frac {p^{2}}{1-p}}} 3 {\displaystyle 3} 6 + p 2 1 − p {\displaystyle 6+{\frac {p^{2}}{1-p}}} p 2 1 − p ≥ 0 {\displaystyle {\frac {p^{2}}{1-p}}\geq 0}
エントロピー(幾何分布、成功の前の失敗) エントロピーは確率分布における不確実性の尺度です。最初の成功までの失敗回数をモデル化する幾何分布の場合、確率質量関数は次のようになります。
P ( X = k ) = ( 1 − p ) k p , k = 0 , 1 , 2 , … {\displaystyle P(X=k)=(1-p)^{k}p,\quad k=0,1,2,\dots }
この分布の エントロピーは次のように定義されます。 H ( X ) {\displaystyle H(X)}
H ( X ) = − ∑ k = 0 ∞ P ( X = k ) ln P ( X = k ) = − ∑ k = 0 ∞ ( 1 − p ) k p ln ( ( 1 − p ) k p ) = − ∑ k = 0 ∞ ( 1 − p ) k p [ k ln ( 1 − p ) + ln p ] = − log p − 1 − p p log ( 1 − p ) {\displaystyle {\begin{aligned}H(X)&=-\sum _{k=0}^{\infty }P(X=k)\ln P(X=k)\\&=-\sum _{k=0}^{\infty }(1-p)^{k}p\ln \left((1-p)^{k}p\right)\\&=-\sum _{k=0}^{\infty }(1-p)^{k}p\left[k\ln(1-p)+\ln p\right]\\&=-\log p-{\frac {1-p}{p}}\log(1-p)\end{aligned}}}
確率が低下するにつれてエントロピーが増加し 、成功が稀になるにつれて不確実性が増すことを反映します。 p {\displaystyle p}
フィッシャー情報量は、観測可能な確率変数が未知のパラメータについて持つ 情報量を測定するものです 。幾何分布(最初の成功の前に失敗がある分布)の場合、フィッシャー情報量は 次のように与えられます。 X {\displaystyle X} p {\displaystyle p} p {\displaystyle p}
I ( p ) = 1 p 2 ( 1 − p ) {\displaystyle I(p)={\frac {1}{p^{2}(1-p)}}}
証拠:
幾何確率変数の 尤度 関数 は次のようになります。 X {\displaystyle X} L ( p ; X ) = ( 1 − p ) X p {\displaystyle L(p;X)=(1-p)^{X}p} 対数 尤度関数は 次のようになります。 ln L ( p ; X ) = X ln ( 1 − p ) + ln p {\displaystyle \ln L(p;X)=X\ln(1-p)+\ln p} スコア関数( に対する対数尤度の一次導関数 )は次のようになります。 p {\displaystyle p} ∂ ∂ p ln L ( p ; X ) = 1 p − X 1 − p {\displaystyle {\frac {\partial }{\partial p}}\ln L(p;X)={\frac {1}{p}}-{\frac {X}{1-p}}} 対数尤度関数の2次導関数は次のようになります。 ∂ 2 ∂ p 2 ln L ( p ; X ) = − 1 p 2 − X ( 1 − p ) 2 {\displaystyle {\frac {\partial ^{2}}{\partial p^{2}}}\ln L(p;X)=-{\frac {1}{p^{2}}}-{\frac {X}{(1-p)^{2}}}} フィッシャー情報量 は、2次導関数の負の期待値として計算されます。 I ( p ) = − E [ ∂ 2 ∂ p 2 ln L ( p ; X ) ] = − ( − 1 p 2 − 1 − p p ( 1 − p ) 2 ) = 1 p 2 ( 1 − p ) {\displaystyle {\begin{aligned}I(p)&=-E\left[{\frac {\partial ^{2}}{\partial p^{2}}}\ln L(p;X)\right]\\&=-\left(-{\frac {1}{p^{2}}}-{\frac {1-p}{p(1-p)^{2}}}\right)\\&={\frac {1}{p^{2}(1-p)}}\end{aligned}}} フィッシャー情報量は が減少するにつれて増加し、より稀な成功がパラメータに関するより多くの情報を提供することを示しています 。 p {\displaystyle p} p {\displaystyle p}
エントロピー(幾何分布、成功までの試行) 最初の成功までの試行回数をモデル化する幾何分布の場合、確率質量関数は次のようになります。
P ( X = k ) = ( 1 − p ) k − 1 p , k = 1 , 2 , 3 , … {\displaystyle P(X=k)=(1-p)^{k-1}p,\quad k=1,2,3,\dots }
この分布のエントロピーは 、失敗するまでのバージョンモデリング試行のエントロピーと同じです。 H ( X ) {\displaystyle H(X)}
H ( X ) = − log p − 1 − p p log ( 1 − p ) {\displaystyle {\begin{aligned}H(X)&=-\log p-{\frac {1-p}{p}}\log(1-p)\end{aligned}}}
最初の成功までの試行回数をモデル化する幾何分布のフィッシャー情報は次のように与えられます。
I ( p ) = 1 p 2 ( 1 − p ) {\displaystyle I(p)={\frac {1}{p^{2}(1-p)}}}
証拠:
幾何確率変数の 尤度 関数 は次のようになります。 X {\displaystyle X} L ( p ; X ) = ( 1 − p ) X − 1 p {\displaystyle L(p;X)=(1-p)^{X-1}p} ln L ( p ; X ) = ( X − 1 ) ln ( 1 − p ) + ln p {\displaystyle \ln L(p;X)=(X-1)\ln(1-p)+\ln p} スコア関数( に対する対数尤度の一次導関数 )は次のようになります。 p {\displaystyle p} ∂ ∂ p ln L ( p ; X ) = 1 p − X − 1 1 − p {\displaystyle {\frac {\partial }{\partial p}}\ln L(p;X)={\frac {1}{p}}-{\frac {X-1}{1-p}}} ∂ 2 ∂ p 2 ln L ( p ; X ) = − 1 p 2 − X − 1 ( 1 − p ) 2 {\displaystyle {\frac {\partial ^{2}}{\partial p^{2}}}\ln L(p;X)=-{\frac {1}{p^{2}}}-{\frac {X-1}{(1-p)^{2}}}} フィッシャー情報量 は、2次導関数の負の期待値として計算されます。 I ( p ) = − E [ ∂ 2 ∂ p 2 ln L ( p ; X ) ] = − ( − 1 p 2 − 1 − p p ( 1 − p ) 2 ) = 1 p 2 ( 1 − p ) {\displaystyle {\begin{aligned}I(p)&=-E\left[{\frac {\partial ^{2}}{\partial p^{2}}}\ln L(p;X)\right]\\&=-\left(-{\frac {1}{p^{2}}}-{\frac {1-p}{p(1-p)^{2}}}\right)\\&={\frac {1}{p^{2}(1-p)}}\end{aligned}}}
一般的な特性 および上 で 定義される 幾何確率変数の 確率 生成関数は それぞれ、 [6] : 114–115 X {\displaystyle X} Y {\displaystyle Y} N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}} G X ( s ) = s p 1 − s ( 1 − p ) , G Y ( s ) = p 1 − s ( 1 − p ) , | s | < ( 1 − p ) − 1 . {\displaystyle {\begin{aligned}G_{X}(s)&={\frac {s\,p}{1-s\,(1-p)}},\\[10pt]G_{Y}(s)&={\frac {p}{1-s\,(1-p)}},\quad |s|<(1-p)^{-1}.\end{aligned}}} 特性 関数 は に等しいので、 とをそれぞれ 定義すると、幾何分布の特性関数は [11] : 1630 となる。 φ ( t ) {\displaystyle \varphi (t)} G ( e i t ) {\displaystyle G(e^{it})} N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}} φ X ( t ) = p e i t 1 − ( 1 − p ) e i t , φ Y ( t ) = p 1 − ( 1 − p ) e i t . {\displaystyle {\begin{aligned}\varphi _{X}(t)&={\frac {pe^{it}}{1-(1-p)e^{it}}},\\[10pt]\varphi _{Y}(t)&={\frac {p}{1-(1-p)e^{it}}}.\end{aligned}}} パラメータ を持つ幾何分布の エントロピー は [12] である。 p {\displaystyle p} − p log 2 p + ( 1 − p ) log 2 ( 1 − p ) p {\displaystyle -{\frac {p\log _{2}p+(1-p)\log _{2}(1-p)}{p}}} 平均 が与えられたとき 、幾何分布はすべての離散確率分布の中で 最大エントロピー確率分布 となる。対応する連続分布は 指数分布 である。 [13] で定義される幾何分布は 無限に割り切れる 。 つまり、任意の正の整数 に対して 、和が幾何分布に従う独立かつ同一分布の確率変数が存在する。これは、負の二項分布が 対数確率変数 のポアソン分布和から導出できるためである 。 [11] : 606–607 N 0 {\displaystyle \mathbb {N} _{0}} n {\displaystyle n} n {\displaystyle n} 幾何分布するランダム変数 Yの小数桁は、 独立した (同一に分布して いない )ランダム変数 の列です。 [ 引用が必要 ] たとえば、百の位の数字 D には、この確率分布があります。 ここで q = 1 − p であり、他の桁についても同様であり、より一般的には、 10 以外の基数を持つ 記数法についても同様です。基数が 2 の場合、幾何分布するランダム変数は、確率分布が 分解できない 独立したランダム変数の合計として表すことができることがわかります 。 Pr ( D = d ) = q 100 d 1 + q 100 + q 200 + ⋯ + q 900 , {\displaystyle \Pr(D=d)={q^{100d} \over 1+q^{100}+q^{200}+\cdots +q^{900}},} ゴロム符号化は 、幾何学的離散分布に 最適な プレフィックス符号である [ 説明が必要 ] 。 [12]
パラメータを持つ独立した 幾何確率変数 の和は、 パラメータがおよび である 負の二項 確率変数です 。 [14] 幾何分布は、負の二項分布の特殊なケースであり、 です 。 r {\displaystyle r} p {\displaystyle p} r {\displaystyle r} p {\displaystyle p} r = 1 {\displaystyle r=1} 幾何分布は離散 複合ポアソン分布 の特殊なケースである。 [11] : 606 パラメータを持つ幾何確率変数 の最小値 もパラメータを持つ幾何分布に従う 。 [15] n {\displaystyle n} p 1 , … , p n {\displaystyle p_{1},\dotsc ,p_{n}} 1 − ∏ i = 1 n ( 1 − p i ) {\displaystyle 1-\prod _{i=1}^{n}(1-p_{i})} 0 < r < 1 とし、 k = 1, 2, 3, ... に対して、確率変数 X k は期待値 r k / kの ポアソン分布 に従うと仮定する 。すると、 は の範囲に値を持つ幾何分布に従うことになり 、期待値 r /(1 − r ) となる。 [ 要出典 ] ∑ k = 1 ∞ k X k {\displaystyle \sum _{k=1}^{\infty }k\,X_{k}} N 0 {\displaystyle \mathbb {N} _{0}} 指数 分布は 幾何分布の連続的な類似物です。 パラメータ を持つ指数分布に 床 関数を適用すると、 で定義された パラメータ を持つ幾何分布が生成されます 。 [3] : 74 これは、§乱数生成で詳述されているように、幾何分布に従う乱数を生成するために使用できます。 λ {\displaystyle \lambda } p = 1 − e − λ {\displaystyle p=1-e^{-\lambda }} N 0 {\displaystyle \mathbb {N} _{0}} p = 1/ n で、 X がパラメータ p で幾何分布している 場合、 n → ∞ のにつれて、 X / n の分布は 期待値 1 の 指数分布 に近づきます。 より一般的には、 p = λ / n ( λ はパラメータ)の場合、 n → ∞ のにつれて、 X / n の 分布 は速度 λ で指数分布に近づきます 。したがって、 X / n の分布関数 は に収束します 。これは、指数ランダム変数の分布関数です。 [ 引用が必要 ] Pr ( X / n > a ) = Pr ( X > n a ) = ( 1 − p ) n a = ( 1 − 1 n ) n a = [ ( 1 − 1 n ) n ] a → [ e − 1 ] a = e − a as n → ∞ . {\displaystyle {\begin{aligned}\Pr(X/n>a)=\Pr(X>na)&=(1-p)^{na}=\left(1-{\frac {1}{n}}\right)^{na}=\left[\left(1-{\frac {1}{n}}\right)^{n}\right]^{a}\\&\to [e^{-1}]^{a}=e^{-a}{\text{ as }}n\to \infty .\end{aligned}}} Pr ( X > n x ) = lim n → ∞ ( 1 − λ / n ) n x = e − λ x {\displaystyle \Pr(X>nx)=\lim _{n\to \infty }(1-\lambda /n)^{nx}=e^{-\lambda x}} 1 − e − λ x {\displaystyle 1-e^{-\lambda x}} 幾何分布の 分散指数 はであり 、 変動係数 はである 。この分布は 過剰分散して いる。 [1] : 216 1 p {\displaystyle {\frac {1}{p}}} 1 1 − p {\displaystyle {\frac {1}{\sqrt {1-p}}}}
統計的推論 未知の幾何分布の 真のパラメータは、推定値と共役分布を通じて推測できます。 p {\displaystyle p}
モーメント法 確率分布の第一モーメントは、存在する場合、 次の式 を用いて標本 から推定できる 。 ここで、 は番目の標本モーメント、である。 [16] : 349–350 で 推定すると、 標本平均 が得られ 、 と表記される 。この推定値を幾何分布の期待値の式に代入し、を解くと 、それぞれおよび で サポートされている場合の 推定値およびが得られる 。これらの推定値は、 Jensenの不等式 の結果として、 であるため、 偏り がある。 [17] : 53–54 l {\displaystyle l} x 1 , … , x n {\displaystyle x_{1},\dotsc ,x_{n}} m i = 1 n ∑ j = 1 n x j i {\displaystyle m_{i}={\frac {1}{n}}\sum _{j=1}^{n}x_{j}^{i}} m i {\displaystyle m_{i}} i {\displaystyle i} 1 ≤ i ≤ l {\displaystyle 1\leq i\leq l} E ( X ) {\displaystyle \mathrm {E} (X)} m 1 {\displaystyle m_{1}} x ¯ {\displaystyle {\bar {x}}} p {\displaystyle p} p ^ = 1 x ¯ {\displaystyle {\hat {p}}={\frac {1}{\bar {x}}}} p ^ = 1 x ¯ + 1 {\displaystyle {\hat {p}}={\frac {1}{{\bar {x}}+1}}} N {\displaystyle \mathbb {N} } N 0 {\displaystyle \mathbb {N} _{0}} E ( 1 x ¯ ) > 1 E ( x ¯ ) = p {\displaystyle \mathrm {E} \left({\frac {1}{\bar {x}}}\right)>{\frac {1}{\mathrm {E} ({\bar {x}})}}=p}
最大尤度推定 の 最大 尤度推定量 は、標本が与えられた場合に 尤度関数 を最大化する値である。 [16] : 308 分布が 上で定義されているときに 対数尤度関数 の 導関数 の 零点を 求めることにより 、最大尤度推定量は であることが分かる。 ここで は標本平均である。 [18] 定義域が の場合 、推定量は にシフトする 。§ モーメント法で前述したように、これらの推定量には偏りがある。 p {\displaystyle p} N {\displaystyle \mathbb {N} } p ^ = 1 x ¯ {\displaystyle {\hat {p}}={\frac {1}{\bar {x}}}} x ¯ {\displaystyle {\bar {x}}} N 0 {\displaystyle \mathbb {N} _{0}} p ^ = 1 x ¯ + 1 {\displaystyle {\hat {p}}={\frac {1}{{\bar {x}}+1}}}
ドメインに関係なく、バイアスは次のようになります。
b ≡ E [ ( p ^ m l e − p ) ] = p ( 1 − p ) n {\displaystyle b\equiv \operatorname {E} {\bigg [}\;({\hat {p}}_{\mathrm {mle} }-p)\;{\bigg ]}={\frac {p\,(1-p)}{n}}}
これにより、 バイアス補正された最大尤度推定値 が得られる。 [ 要出典 ]
p ^ mle ∗ = p ^ mle − b ^ {\displaystyle {\hat {p\,}}_{\text{mle}}^{*}={\hat {p\,}}_{\text{mle}}-{\hat {b\,}}}
ベイズ推論 ベイズ推論 において 、パラメータは、 サンプルを観測した後に ベイズの定理 を用いて計算された事後 分布 を伴う 事前分布 からのランダム変数である。 [17] : 167 事前分布としてベータ分布を 選択した場合 、事後もベータ分布となり、 共役分布 と呼ばれる。特に、 事前を選択した場合、サンプルを観測した後の事後分布は 、 [19] である。あるいは、サンプルが である場合 、事後分布は [20] である。分布 の期待値は であるため 、 [11] : 145 とがゼロに近づく につれて 、事後平均は最大尤度推定に近づく。 p {\displaystyle p} B e t a ( α , β ) {\displaystyle \mathrm {Beta} (\alpha ,\beta )} k 1 , … , k n ∈ N {\displaystyle k_{1},\dotsc ,k_{n}\in \mathbb {N} } p ∼ B e t a ( α + n , β + ∑ i = 1 n ( k i − 1 ) ) . {\displaystyle p\sim \mathrm {Beta} \left(\alpha +n,\ \beta +\sum _{i=1}^{n}(k_{i}-1)\right).\!} N 0 {\displaystyle \mathbb {N} _{0}} p ∼ B e t a ( α + n , β + ∑ i = 1 n k i ) . {\displaystyle p\sim \mathrm {Beta} \left(\alpha +n,\beta +\sum _{i=1}^{n}k_{i}\right).} B e t a ( α , β ) {\displaystyle \mathrm {Beta} (\alpha ,\beta )} α α + β {\displaystyle {\frac {\alpha }{\alpha +\beta }}} α {\displaystyle \alpha } β {\displaystyle \beta }
ランダム変数生成 幾何分布は、 IID 標準一様 確率変数から、 より小さいか等しい最初の確率変数を見つけることによって実験的に生成することができる 。しかし、必要な確率変数の数も幾何分布に従うため、 が減少するにつれてアルゴリズムは遅くなる 。 [21] : 498 p {\displaystyle p} p {\displaystyle p}
乱数生成は、指数乱数を 切り捨てることで 定数時間 で行うことができます 。指数乱数変数は、パラメータ を通して 幾何分布に従うことができます 。また、 式を に変更することで、 標準的な一様乱数変数から を生成することができます 。 [21] : 499–500 [22] E {\displaystyle E} p {\displaystyle p} ⌈ − E / log ( 1 − p ) ⌉ {\displaystyle \lceil -E/\log(1-p)\rceil } E {\displaystyle E} U {\displaystyle U} ⌈ log ( U ) / log ( 1 − p ) ⌉ {\displaystyle \lceil \log(U)/\log(1-p)\rceil }
アプリケーション 幾何分布は多くの分野で用いられている。 待ち行列理論 では、 M/M/1待ち行列は 幾何分布に従う定常状態をとる。 [23] 確率過程 においては 、ユール・ファーリー過程は幾何分布に従う。 [24] この分布は、離散的な文脈におけるデバイスの寿命をモデル化する際にも現れる。 [25]また、 COVID-19 を拡散させる患者のモデル化を含むデータのフィッティングにも用いられている 。 [26]
参照
参考文献 ^ abcdef ジョンソン, ノーマン L. ; ケンプ, アドリエンヌ W. ; コッツ, サミュエル (2005-08-19). 単変量離散分布. Wileyシリーズ 確率統計 (第1版). Wiley. doi :10.1002/0471715816. ISBN 978-0-471-27246-5 。 ^ ab Nagel, Werner; Steyer, Rolf (2017-04-04). 確率と条件付き期待値:経験科学の基礎. Wileyシリーズ 確率・統計(第1版). Wiley. doi :10.1002/9781119243496. ISBN 978-1-119-24352-6 。 ^ abcde Chattamvelli, Rajan; Shanmugam , Ramalingam (2020). 工学と応用科学における離散分布.数学と統計に関する統合講義.Cham: Springer International Publishing.doi : 10.1007 /978-3-031-02425-2.ISBN 978-3-031-01297-6 。 ^ デッキング、フレデリック・ミシェル;クライカンプ、コーネリス。ロプハー、ヘンドリック・ポール。メースター、ルドルフ・アーウィン (2005)。確率と統計の現代的な入門。統計学におけるシュプリンガーのテキスト。ロンドン:スプリンガーロンドン。 p. 50. 土井 :10.1007/1-84628-168-7。 ISBN 978-1-85233-896-1 。 ^ Weisstein, Eric W. 「Memoryless」. mathworld.wolfram.com . 2024年7月25日 閲覧 。 ^ abcde フォーブス, キャサリン; エヴァンス, メラン; ヘイスティングス, ニコラス; ピーコック, ブライアン (2010-11-29). 統計分布(第1版). Wiley. doi :10.1002/9780470627242. ISBN 978-0-470-39063-4 。 ^ Bertsekas, Dimitri P. ; Tsitsiklis, John N. (2008). 確率入門 最適化と計算シリーズ(第2版) ベルモント: Athena Scientific . p. 235. ISBN 978-1-886529-23-6 。 ^ Weisstein, Eric W. 「幾何分布」. MathWorld . 2024年7月13日 閲覧 。 ^ Aggarwal, Charu C. (2024). 機械学習のための確率と統計:教科書. 出版社: Springer Nature Switzerland. p. 138. doi :10.1007/978-3-031-53282-5. ISBN 978-3-031-53281-8 。 ^ ab Chan, Stanley (2021). データサイエンスのための確率入門(第1版). ミシガン出版 . ISBN 978-1-60785-747-1 。 ^ abcd Lovric, Miodrag編 (2011). 国際統計科学百科事典(第1版). ベルリン、ハイデルベルク: Springer Berlin Heidelberg. doi :10.1007/978-3-642-04898-2. ISBN 978-3-642-04897-5 。 ^ ab Gallager, R.; van Voorhis, D. (1975年3月). 「幾何学的に分散された整数アルファベットの最適ソースコード(対応)」. IEEE Transactions on Information Theory . 21 (2): 228– 230. doi :10.1109/TIT.1975.1055357. ISSN 0018-9448. ^ Lisman, JHC; Zuylen, MCA van (1972年3月). 「最確度分布の生成に関する注記」 . Statistica Neerlandica . 26 (1): 19– 23. doi :10.1111/j.1467-9574.1972.tb00152.x. ISSN 0039-0402. ^ ピットマン、ジム (1993). 確率. ニューヨーク: シュプリンガー・ニューヨーク. p. 372. doi :10.1007/978-1-4612-4374-8. ISBN 978-0-387-94594-1 。 ^ Ciardo, Gianfranco; Leemis, Lawrence M.; Nicol, David (1995年6月1日). 「独立幾何分布確率変数の最小値について」 . Statistics & Probability Letters . 23 (4): 313– 326. doi :10.1016/0167-7152(94)00130-Z. hdl : 2060/19940028569 . S2CID 1505801. ^ ab エヴァンス、マイケル、ローゼンタール、ジェフリー (2023). 『確率と統計:不確実性の科学』(第2版). マクミラン・ラーニング. ISBN 978-1429224628 。 ^ ab Held, Leonhard; Sabanés Bové, Daniel (2020). 尤度とベイズ推論:生物学と医学への応用. 生物学と健康のための統計学. ベルリン、ハイデルベルク: Springer Berlin Heidelberg. doi :10.1007/978-3-662-60792-3. ISBN 978-3-662-60791-6 。 ^ Siegrist, Kyle (2020年5月5日). 「7.3: 最大尤度」. Statistics LibreTexts . 2024年6月20日 閲覧。 ^ フィンク、ダニエル. 「共役事前分布の概要」. CiteSeerX 10.1.1.157.5540 . ^ 「3. 共役分布族」 (PDF) 。 2010年4月8日時点のオリジナルより アーカイブ (PDF) 。 ^ ab Devroye, Luc (1986). 非一様乱数変量生成. ニューヨーク: Springer New York. doi :10.1007/978-1-4613-8643-8. ISBN 978-1-4613-8645-2 。 ^ ドナルド・アービン・クヌース (1997). 『コンピュータプログラミングの芸術 』 第2巻 (第3版). マサチューセッツ州レディング: アディソン・ウェスレー . p. 136. ISBN 978-0-201-89683-1 。 ^ ダスキン、マーク・S. (2021). 一口サイズのオペレーションズ・マネジメント. オペレーションズ・リサーチと応用に関する統合講義. シュプリンガー・ インターナショナル・パブリッシング . p. 127. doi :10.1007/978-3-031-02493-1. ISBN 978-3-031-01365-2 。 ^ マディラ、シヴァプラサド;デシュムク、シャイラジャ(2023)。 R を使用した確率過程の紹介。シンガポール: Springer Nature Singapore。 p. 449. 土井 :10.1007/978-981-99-5601-2。 ISBN 978-981-99-5600-5 。 ^ Gupta, Rakesh; Gupta, Shubham; Ali, Irfan (2023), Garg, Harish (ed.) 「信頼性を分析するためのいくつかの離散パラメトリックマルコフ連鎖システムモデル」 、 信頼性、故障、リスク分析の進歩 、シンガポール:Springer Nature Singapore、pp. 305– 306、 doi :10.1007/978-981-19-9909-3_14、 ISBN 978-981-19-9908-6 、 2024年7月13日 取得 ^ Polymenis, Athanase (2021-10-01). 「SARS-CoV-2感染リスクの地域別評価における幾何分布の応用」. Asian Journal of Medical Sciences . 12 (10): 8– 11. doi : 10.3126/ajms.v12i10.38783 . ISSN 2091-0576.
離散 一変数
連続 一変量
制限された間隔 でサポートされている 半無限 間隔 でサポートされている 実数直線 全体で サポートされている さまざまなタイプの サポート付き
混合 単変量
多変量 (ジョイント) 方向性 退化 と 特異性 家族