Computational statistics technique
数値解析 および 計算統計 において 、 棄却標本抽出法は 分布 から観測値を生成する際に用いられる基本的な手法です 。これは一般に 受理棄却法 または「受理棄却アルゴリズム」とも呼ばれ、厳密なシミュレーション法の一種です。この手法は、 密度 が である任意の分布に対して適用できます 。 R m {\displaystyle \mathbb {R} ^{m}}
棄却サンプリングは、1次元のランダム変数 をサンプリングするために、2次元の直交座標グラフから均一ランダムサンプリングを実行し、サンプルをその密度関数のグラフの下の領域に保持できるという 観察に基づいています。 [1] [2] [3]この特性は N 次元関数に拡張できることに留意してください 。
説明 棄却サンプリングの背後にある動機を視覚的に理解するために、ランダム変数の 確率密度関数 (PDF)を大きな長方形のボード上にグラフ化し、そこにダーツを投げる様子を想像してみてください。ダーツはボード全体に均一に分布していると仮定します。次に、曲線の下の領域外にあるダーツをすべて取り除きます。残りのダーツは曲線の下の領域内に均一に分布し、 それらのダーツの位置はランダム変数の密度に従って分布します。これは、曲線が最も高い場所にダーツが着地する余地が最も大きく、したがって確率密度が最大になるためです。 x {\displaystyle x}
上で説明した視覚化は、「提案分布」が均一である特定の形式の棄却サンプリングに相当します。したがって、そのグラフは長方形です。一般的な形式の棄却サンプリングでは、ボードは必ずしも長方形ではなく、 サンプリング方法が分かっている(例えば、 反転サンプリング を使用する)何らかの提案分布(必ずしも に正規化されている必要はない)の密度に応じて形作られると仮定します。その形状は、すべての点で少なくともサンプリング元の分布と同じ高さでなければならず、前者が後者を完全に囲むようにする必要があります。そうでない場合、サンプリング元の曲線領域には到達できない部分が存在してしまいます。 1 {\displaystyle 1}
拒否サンプリングは次のように機能します。
提案分布から軸 上の点をサンプリングします。 x {\displaystyle x} この位置に、提案分布の確率密度関数の y 値まで 垂直線を描きます。 x {\displaystyle x} この線に沿って均一にサンプリングします。サンプリングされた値がこの垂直線における目的の分布の値より大きい場合は、その 値を棄却して手順1に戻ります。それ以外の場合は、その 値は目的の分布からのサンプリング値です。 x {\displaystyle x} x {\displaystyle x} このアルゴリズムは、関数が1に積分されるかどうかに関わらず、任意の曲線の下の領域からサンプリングするために使用できます。実際、関数を定数でスケーリングしても、サンプリングされた 位置は影響を受けません。したがって、このアルゴリズムは、 正規化定数 が不明な分布からのサンプリングにも使用できます 。これは 計算統計 でよく見られます。 x {\displaystyle x}
理論 棄却サンプリング法は、 確率密度 の 提案分布を用いて 、任意の 確率密度関数 を持つ対象分布からサンプリング値を生成します。その考え方は、 からサンプリングを行い、 から そのサンプルを 確率 で受け入れ、 値が受け入れられるまで からの抽出を繰り返すことで、から サンプル値を生成できるというものです。ここでは、 の サポート に対して を満たす、 つまり のすべての値に対して を満たす必要がある、 という尤度比 に関する定数で有限の境界があります。これは のサポートに の サポートが含まれていなければならないこと 、つまり の場合は常に である必要 があることに注意してください 。 X {\displaystyle X} f ( x ) {\displaystyle f(x)} Y {\displaystyle Y} g ( x ) {\displaystyle g(x)} X {\displaystyle X} Y {\displaystyle Y} Y {\displaystyle Y} f ( x ) / ( M g ( x ) ) {\displaystyle f(x)/(Mg(x))} Y {\displaystyle Y} M {\displaystyle M} f ( x ) / g ( x ) {\displaystyle f(x)/g(x)} M < ∞ {\displaystyle M<\infty } X {\displaystyle X} M {\displaystyle M} f ( x ) ≤ M g ( x ) {\displaystyle f(x)\leq Mg(x)} x {\displaystyle x} Y {\displaystyle Y} X {\displaystyle X} g ( x ) > 0 {\displaystyle g(x)>0} f ( x ) > 0 {\displaystyle f(x)>0}
この方法の妥当性は、包絡線原理によって検証される。ペア をシミュレーションすると 、 の部分グラフ上で均一なシミュレーションが生成される 。 となるペアのみを受け入れると、 の部分グラフ上で均一に分布する ペアが生成され 、したがって、限界的に からのシミュレーションが生成される。 ( x , v = u ⋅ M g ( x ) ) {\textstyle (x,v=u\cdot Mg(x))} M g ( x ) {\textstyle Mg(x)} u < f ( x ) / ( M g ( x ) ) {\textstyle u<f(x)/(Mg(x))} ( x , v ) {\displaystyle (x,v)} f ( x ) {\displaystyle f(x)} f ( x ) . {\displaystyle f(x).}
これは、十分な反復回数があれば、アルゴリズムは所望の分布からサンプルを生成することを意味します。このアルゴリズムには、 メトロポリスアルゴリズム など、いくつかの拡張が存在します 。 f ( x ) {\displaystyle f(x)}
この手法は、モンテカルロ 法 の一般分野に関連しており、 これには代理分布を用いて目標分布からのシミュレーションを行う マルコフ連鎖モンテカルロアルゴリズムも含まれます。 メトロポリスアルゴリズム などのアルゴリズムの基礎となっています 。 f ( x ) {\displaystyle f(x)}
無条件受理確率は、提案されたサンプルのうち受理される割合であり、 であり 、各時点 の の値は、 提案分布 の 密度関数の下で生成されます 。 P ( U ≤ f ( Y ) M g ( Y ) ) = E 1 [ U ≤ f ( Y ) M g ( Y ) ] = E [ E [ 1 [ U ≤ f ( Y ) M g ( Y ) ] | Y ] ] ( by tower property ) = E [ P ( U ≤ f ( Y ) M g ( Y ) | Y ) ] = E [ f ( Y ) M g ( Y ) ] ( because Pr ( U ≤ u ) = u , when U is uniform on ( 0 , 1 ) ) = ∫ y : g ( y ) > 0 f ( y ) M g ( y ) g ( y ) d y = 1 M ∫ y : g ( y ) > 0 f ( y ) d y = 1 M ( since support of Y includes support of X ) {\displaystyle {\begin{aligned}\mathbb {P} \left(U\leq {\frac {f(Y)}{Mg(Y)}}\right)&=\operatorname {E} \mathbf {1} _{\left[U\leq {\frac {f(Y)}{Mg(Y)}}\right]}\\[6pt]&=\operatorname {E} \left[\operatorname {E} [\mathbf {1} _{\left[U\leq {\frac {f(Y)}{Mg(Y)}}\right]}|Y]\right]&({\text{by tower property }})\\[6pt]&=\operatorname {E} \left[\mathbb {P} \left(U\leq {\frac {f(Y)}{Mg(Y)}}{\biggr |}Y\right)\right]\\[6pt]&=\operatorname {E} \left[{\frac {f(Y)}{Mg(Y)}}\right]&({\text{because }}\Pr(U\leq u)=u,{\text{when }}U{\text{ is uniform on }}(0,1))\\[6pt]&=\int \limits _{y:g(y)>0}{\frac {f(y)}{Mg(y)}}g(y)\,dy\\[6pt]&={\frac {1}{M}}\int \limits _{y:g(y)>0}f(y)\,dy\\[6pt]&={\frac {1}{M}}&({\text{since support of }}Y{\text{ includes support of }}X)\end{aligned}}} U ∼ U n i f ( 0 , 1 ) {\displaystyle U\sim \mathrm {Unif} (0,1)} y {\displaystyle y} g ( ⋅ ) {\displaystyle g(\cdot )} Y {\displaystyle Y}
したがって、許容値を得る ために必要なサンプル数は、 平均 を持つ 確率 の幾何 分布 に従います。直感的に言えば、 はアルゴリズムの計算複雑さの尺度として、必要な反復回数の期待値です。 Y {\displaystyle Y} 1 / M {\displaystyle 1/M} M {\displaystyle M} M {\displaystyle M}
上記の式を書き直すと、 となることに注意してください 。上記の公式により、 は 区間 内の値のみを取る確率です 。 が 1 に近い値に選択されると、 の比の変化が少ないほど無条件受理確率は高くなります。これは、 が 尤度比 の上限であるためです 。実際には、 の値が 1 に近いほど、平均して拒否されるサンプルが少なくなり、アルゴリズムの反復回数が少なくなるため好まれます。この意味で、 は できる限り小さいことが好ましいとされます( を満たしながら、これは が一般に何らかの形で似ているはずである ことを示唆しています )。ただし、 は 1 に等しくなることはできないことに注意してください。そのような は 、つまりターゲット分布と提案分布が実際には同じ分布であること を意味します。 M = 1 P ( U ≤ f ( Y ) M g ( Y ) ) {\displaystyle M={\frac {1}{\mathbb {P} \left(U\leq {\frac {f(Y)}{Mg(Y)}}\right)}}} 1 ≤ M < ∞ {\textstyle 1\leq M<\infty } P ( U ≤ f ( Y ) M g ( Y ) ) {\textstyle \mathbb {P} \left(U\leq {\frac {f(Y)}{Mg(Y)}}\right)} [ 0 , 1 ] {\displaystyle [0,1]} M {\displaystyle M} M {\displaystyle M} f ( x ) / g ( x ) {\textstyle f(x)/g(x)} M {\displaystyle M} M {\displaystyle M} f ( x ) ≤ M g ( x ) {\displaystyle f(x)\leq Mg(x)} g ( x ) {\displaystyle g(x)} f ( x ) {\displaystyle f(x)} M {\displaystyle M} f ( x ) = g ( x ) {\displaystyle f(x)=g(x)}
棄却サンプリングは、サンプリング の形式が困難である場合に最もよく使用されます。棄却アルゴリズムの1回の反復では、提案分布からのサンプリング、一様分布からの抽出、そして 式の評価が必要です。したがって、これらの操作にかかるコストのM倍(棄却サンプリングでサンプルを取得する際の期待コスト)が、他の方法でサンプルを取得する際のコストよりも低い場合、棄却サンプリングは他の方法よりも効率的です。 f ( x ) {\displaystyle f(x)} f ( x ) / ( M g ( x ) ) {\displaystyle f(x)/(Mg(x))}
アルゴリズム このアルゴリズムはジョン・フォン・ノイマン [4] によって使用され 、 ビュフォン と 彼の針 [5] にまで遡りますが、次のように 密度の分布からの サンプルを使用して 密度の分布 からサンプルを取得します 。 X {\displaystyle X} f {\displaystyle f} Y {\displaystyle Y} g {\displaystyle g}
分布から サンプルを取得し、( 単位区間 上の均一分布) から サンプルを取得します 。 y {\displaystyle y} Y {\displaystyle Y} u {\displaystyle u} U n i f ( 0 , 1 ) {\displaystyle \mathrm {Unif} (0,1)} かどうかを確認します 。 u < f ( y ) / M g ( y ) {\textstyle u<f(y)/Mg(y)} これが成り立つ場合は、 から抽出されたサンプルとして受け入れます 。 y {\displaystyle y} f {\displaystyle f} そうでない場合は、の値を拒否し 、サンプリング手順に戻ります。 y {\displaystyle y} このアルゴリズムは、サンプルを得るために反復 平均を取る。 [6] M {\displaystyle M}
単純な方法を用いたサンプリングに比べて優れている点 拒絶サンプリングは、状況によっては単純な手法よりもはるかに効率的です。例えば、 という問題が与えられた場合、集合 、すなわち という条件付きサンプリングは 、 単純 な 手法(例えば 逆変換サンプリング )を用いて簡単にシミュレートできることがあります 。 X ∼ F ( ⋅ ) {\textstyle X\sim F(\cdot )} X {\displaystyle X} A {\displaystyle A} X | X ∈ A {\textstyle X|X\in A} X {\textstyle X}
独立してサンプルを採取し 、満足のいくものを受け入れる X ∼ F ( ⋅ ) {\textstyle X\sim F(\cdot )} { n ≥ 1 : X n ∈ A } {\displaystyle \{n\geq 1:X_{n}\in A\}} 出力: ( 切り捨て(統計) も参照 ) { X 1 , X 2 , . . . , X N : X i ∈ A , i = 1 , . . . , N } {\displaystyle \{X_{1},X_{2},...,X_{N}:X_{i}\in A,i=1,...,N\}} 問題は、 の場合、このサンプリングが困難で非効率的になる可能性があることです 。予想される反復回数は となり 、これは無限大に近づく可能性があります。さらに、棄却サンプリング法を適用した場合でも、 尤度比の境界を最適化することは常に困難です。 が大きく、棄却率が高い場合、アルゴリズムは非常に非効率的になる可能性があります。 自然指数族 (存在する場合)は指数傾斜法とも呼ばれ、計算の複雑さを軽減し、 の値を低減し、計算を高速化 できる提案分布のクラスを提供します(例:自然指数族の操作を参照)。 P ( X ∈ A ) ≈ 0 {\textstyle \mathbb {P} (X\in A)\approx 0} 1 P ( X ∈ A ) {\displaystyle {\frac {1}{\mathbb {P} (X\in A)}}} M {\displaystyle M} M {\displaystyle M} M {\displaystyle M}
指数傾斜法を用いた棄却サンプリング 確率変数 が与えられたとき 、 は目標分布である。簡単のため、密度関数は と明示的に書けると仮定する 。提案を として選ぶ。 X ∼ F ( ⋅ ) {\displaystyle X\sim F(\cdot )} F ( x ) = P ( X ≤ x ) {\displaystyle F(x)=\mathbb {P} (X\leq x)} f ( x ) {\displaystyle f(x)}
F θ ( x ) = E [ exp ( θ X − ψ ( θ ) ) I ( X ≤ x ) ] = ∫ − ∞ x e θ y − ψ ( θ ) f ( y ) d y g θ ( x ) = F θ ′ ( x ) = e θ x − ψ ( θ ) f ( x ) {\displaystyle {\begin{aligned}F_{\theta }(x)&=\mathbb {E} \left[\exp(\theta X-\psi (\theta ))\mathbb {I} (X\leq x)\right]\\&=\int _{-\infty }^{x}e^{\theta y-\psi (\theta )}f(y)dy\\g_{\theta }(x)&=F'_{\theta }(x)=e^{\theta x-\psi (\theta )}f(x)\end{aligned}}}
ここで 、 と である 。明らかに、 は 自然指数族 に属する 。さらに、尤度比は ψ ( θ ) = log ( E exp ( θ X ) ) {\displaystyle \psi (\theta )=\log \left(\mathbb {E} \exp(\theta X)\right)} Θ = { θ : ψ ( θ ) < ∞ } {\displaystyle \Theta =\{\theta :\psi (\theta )<\infty \}} { F θ ( ⋅ ) } θ ∈ Θ {\displaystyle \{F_{\theta }(\cdot )\}_{\theta \in \Theta }}
Z ( x ) = f ( x ) g θ ( x ) = f ( x ) e θ x − ψ ( θ ) f ( x ) = e − θ x + ψ ( θ ) {\displaystyle Z(x)={\frac {f(x)}{g_{\theta }(x)}}={\frac {f(x)}{e^{\theta x-\psi (\theta )}f(x)}}=e^{-\theta x+\psi (\theta )}}
は、それが キュムラント生成関数で あることを意味することに注意されたい 。つまり、 ψ ( θ ) < ∞ {\displaystyle \psi (\theta )<\infty }
ψ ( θ ) = log E exp ( t X ) | t = θ = log M X ( t ) | t = θ {\displaystyle \psi (\theta )=\log \mathbb {E} {\exp(tX)}|_{t=\theta }=\log M_{X}(t)|_{t=\theta }} 。 提案のキュムラント生成関数、したがって提案のキュムラントを導出するのは簡単です。
ψ θ ( η ) = log ( E θ exp ( η X ) ) = ψ ( θ + η ) − ψ ( θ ) < ∞ E θ ( X ) = ∂ ψ θ ( η ) ∂ η | η = 0 V a r θ ( X ) = ∂ 2 ψ θ ( η ) ∂ 2 η | η = 0 {\displaystyle {\begin{aligned}\psi _{\theta }(\eta )&=\log \left(\mathbb {E} _{\theta }\exp(\eta X)\right)=\psi (\theta +\eta )-\psi (\theta )<\infty \\\mathbb {E} _{\theta }(X)&=\left.{\frac {\partial \psi _{\theta }(\eta )}{\partial \eta }}\right|_{\eta =0}\\\mathrm {Var} _{\theta }(X)&=\left.{\frac {\partial ^{2}\psi _{\theta }(\eta )}{\partial ^{2}\eta }}\right|_{\eta =0}\end{aligned}}} 簡単な例として、 、 、 の場合を考えます 。目標は ( ただし )をサンプリングすることです 。解析は以下のようになります。 F ( ⋅ ) {\displaystyle F(\cdot )} X ∼ N ( μ , σ 2 ) {\displaystyle X\sim \mathrm {N} (\mu ,\sigma ^{2})} ψ ( θ ) = μ θ + σ 2 θ 2 2 {\textstyle \psi (\theta )=\mu \theta +{\frac {\sigma ^{2}\theta ^{2}}{2}}} X | X ∈ [ b , ∞ ] {\displaystyle X|X\in \left[b,\infty \right]} b > μ {\displaystyle b>\mu }
キュムラント生成関数を次のようにして、 提案分布の形を選択する。 F θ ( ⋅ ) {\displaystyle F_{\theta }(\cdot )} ψ θ ( η ) = ψ ( θ + η ) − ψ ( θ ) = ( μ + θ σ 2 ) η + σ 2 η 2 2 {\textstyle \psi _{\theta }(\eta )=\psi (\theta +\eta )-\psi (\theta )=(\mu +\theta \sigma ^{2})\eta +{\frac {\sigma ^{2}\eta ^{2}}{2}}} 、 これはさらに、それが正規分布であることを意味します 。 N ( μ + θ σ 2 , σ 2 ) {\displaystyle \mathrm {N} (\mu +\theta \sigma ^{2},\sigma ^{2})} 提案の配布先として 選択した井戸を決定します。この設定では、直感的に選択する方法 は、 θ ∗ {\displaystyle \theta ^{*}} θ ∗ {\displaystyle \theta ^{*}} E θ ( X ) = μ + θ σ 2 = b {\displaystyle \mathbb {E} _{\theta }(X)=\mu +\theta \sigma ^{2}=b} 、 つまり、 提案の分布は となります 。 θ ∗ = b − μ σ 2 . {\displaystyle \theta ^{*}={\frac {b-\mu }{\sigma ^{2}}}.} g θ ∗ ( x ) = N ( b , σ 2 ) {\displaystyle g_{\theta ^{*}}(x)=\mathrm {N} (b,\sigma ^{2})} f X | X ≥ b ( x ) = f ( x ) I ( x ≥ b ) P ( X ≥ b ) g θ ∗ ( x ) = f ( x ) exp ( θ ∗ x − ψ ( θ ∗ ) ) Z ( x ) = f X | X ≥ b ( x ) g θ ∗ ( x ) = exp ( − θ ∗ x + ψ ( θ ∗ ) ) I ( x ≥ b ) P ( X ≥ b ) {\displaystyle {\begin{aligned}f_{X|X\geq b}(x)&={\frac {f(x)\mathbb {I} (x\geq b)}{\mathbb {P} (X\geq b)}}\\g_{\theta ^{*}}(x)&=f(x)\exp(\theta ^{*}x-\psi (\theta ^{*}))\\Z(x)&={\frac {f_{X|X\geq b}(x)}{g_{\theta ^{*}}(x)}}={\frac {\exp(-\theta ^{*}x+\psi (\theta ^{*}))\mathbb {I} (x\geq b)}{\mathbb {P} (X\geq b)}}\end{aligned}}} 尤度比 の 境界を導出せよ 。これは に対して減少する関数である ので、 M {\displaystyle M} Z ( x ) {\displaystyle Z(x)} x ∈ [ b , ∞ ] {\displaystyle x\in [b,\infty ]} M = Z ( b ) = exp ( − θ ∗ b + ψ ( θ ∗ ) ) P ( X ≥ b ) = exp ( − ( b − μ ) 2 2 σ 2 ) P ( X ≥ b ) = exp ( − ( b − μ ) 2 2 σ 2 ) P ( N ( 0 , 1 ) ≥ b − μ σ ) {\displaystyle M=Z(b)={\frac {\exp(-\theta ^{*}b+\psi (\theta ^{*}))}{\mathbb {P} (X\geq b)}}={\frac {\exp \left(-{\frac {(b-\mu )^{2}}{2\sigma ^{2}}}\right)}{\mathbb {P} (X\geq b)}}={\frac {\exp \left(-{\frac {(b-\mu )^{2}}{2\sigma ^{2}}}\right)}{\mathbb {P} \left(\mathrm {N} (0,1)\geq {\frac {b-\mu }{\sigma }}\right)}}} 棄却基準: の場合 、 U ∼ U n i f ( 0 , 1 ) {\displaystyle U\sim \mathrm {Unif} (0,1)} U ≤ Z ( x ) M = e − θ ∗ ( x − b ) I ( x ≥ b ) {\displaystyle U\leq {\frac {Z(x)}{M}}=e^{-\theta ^{*}(x-b)}\mathbb {I} (x\geq b)} が成り立つ場合は の値を受け入れ、そうでない場合は 受け入れるまで new と new のサンプリングを続けます。 X {\displaystyle X} X ∼ i . i . d . N ( μ + θ ∗ σ 2 , σ 2 ) {\textstyle X\sim _{i.i.d.}\mathrm {N} (\mu +\theta ^{*}\sigma ^{2},\sigma ^{2})} U ∼ U n i f ( 0 , 1 ) {\textstyle U\sim \mathrm {Unif} (0,1)}
上記の例では、効率の尺度として、自然指数族に基づく棄却サンプリング法の反復の予想回数は のオーダー 、つまり ですが 、ナイーブな方法では反復の予想回数は であり 、これははるかに非効率的です。 b {\displaystyle b} M ( b ) = O ( b ) {\displaystyle M(b)=O(b)} 1 P ( X ≥ b ) = O ( b ⋅ e ( b − μ ) 2 2 σ 2 ) {\textstyle {\frac {1}{\mathbb {P} (X\geq b)}}=O(b\cdot e^{\frac {(b-\mu )^{2}}{2\sigma ^{2}}})}
一般に、提案分布のパラメトリッククラス を指数傾斜させると 、提案分布を直接特徴付ける有用な特性により、最適化問題を簡便に解決できます。この種の問題において、単純な分布のクラスの中で を条件付きでシミュレートする には、自然指数族を使用することが鍵となります。これにより、複雑さをある程度制御し、計算を大幅に高速化できます。実際、自然指数族を使用するには、深い数学的理由があります。 X {\displaystyle X} X ∈ A {\displaystyle X\in A}
欠点 拒否サンプリングでは、ターゲットの分布 (具体的には、任意の時点でターゲット PDF を評価する機能) を知っている必要があります。
棄却サンプリングは、サンプリング対象の関数が特定の領域に高度に集中している場合(例えば、ある場所でスパイクを持つ関数など)、不要なサンプルを大量に採取してしまう可能性があります。多くの分布において、この問題は適応拡張(適応棄却サンプリングを参照)を用いるか、 一様分布比 法を用いて変数を適切に変更することで解決できます。さらに、問題の次元が大きくなるにつれて、埋め込み体積と埋め込み体積の「角」の比はゼロに近づくため、有用なサンプルが生成される前に多くの棄却が行われる可能性があり、アルゴリズムは非効率的で実用的ではありません。 次元の呪いを参照してください。高次元では、異なるアプローチ、典型的には メトロポリスサンプリング や ギブスサンプリング などのマルコフ連鎖モンテカルロ法を使用する必要があります 。(ただし、多次元サンプリング問題を一連の低次元サンプルに分解するギブスサンプリングでは、そのステップの1つとして棄却サンプリングが使用される場合があります。)
適応的除去サンプリング 多くの分布において、与えられた分布を多くの無駄な空間を残さずに包含する提案分布を見つけることは困難です。この困難を克服し、様々な分布(密度関数が 対数凹型で あること、これは一般的な分布のほとんどに当てはまります。密度関数自体が 凹型でないものも含みます)から効率的にサンプリングするために使用できる棄却サンプリングの拡張は、適応棄却サンプリング(ARS)として知られて い ます 。
1992年にギルクスによって最終的に導入されたこの技術には、3つの基本的な考え方があります。 [7]
もし役に立つなら、エンベロープ分布を対数空間(例えば対数確率や対数密度)で定義してみてください。つまり、直接 ではなく、 を使って定義するということです 。 h ( x ) = log g ( x ) {\displaystyle h\left(x\right)=\log g\left(x\right)} g ( x ) {\displaystyle g\left(x\right)} 多くの場合、代数的に複雑な密度関数を持つ分布は、比較的単純な対数密度関数を持ちます (つまり、 代数的に複雑な場合は、 扱いやすくなるか、少なくとも区分線形に近くなります)。 f ( x ) {\displaystyle f\left(x\right)} log f ( x ) {\displaystyle \log f\left(x\right)} 単一の均一なエンベロープ密度関数の代わりに、区分 線形密度 関数をエンベロープとして使用します。 サンプルを棄却しなければならないたびに、 評価した の値を用いて区分近似値 を改善できます 。これにより、次回の試行が棄却される可能性が低くなります。漸近的には、サンプルを棄却しなければならない確率はゼロに収束するはずであり、実際には非常に急速に収束することがよくあります。 f ( x ) {\displaystyle f\left(x\right)} h ( x ) {\displaystyle h\left(x\right)} 提案されているように、拒否される点を選択するたびに、選択した点と同じ x 座標を持つ点で曲線に接する別の 線分 を使用してエンベロープを引き締めます。 提案対数分布の区分線形モデルは、区分指数分布 の集合 (すなわち、1つまたは複数の指数分布の線分を端から端まで接続したもの)を生成します。指数分布は振る舞いがよく、よく理解されています。指数分布の 対数 は直線であるため、この手法は基本的に、密度の対数を一連の線分で囲むことを意味します。これが対数凹制約の起源です。分布が対数凹である場合、その対数は凹型(逆U字型)であり、曲線に接する線分は常に曲線の上を通過します。 対数空間で作業しない場合は、区分線形密度関数を三角分布でサンプリングすることもできる [8] (対数)凹面要件をさらに活用することで、サンプルが受け入れられたときの 評価 コストを回避できる可能性があります 。 f ( x ) {\displaystyle f\left(x\right)} 現在の拒否チェーンで評価する必要があったの値を使用して区分線形上限 (「エンベロープ」関数) を構築できるのと同様に 、これらの値を使用して区分線形下限 (「スクイージング」関数) も構築できます。 h ( x ) {\displaystyle h\left(x\right)} サンプルが受け入れられるかどうか (潜在的に高価)を評価する前に、利用可能な(理想的には安価な) (または この場合)スクイーズ機能 と比較することで、サンプルが受け入れられるかどうかを すでに知ることができる場合があります。 f ( x ) {\displaystyle f\left(x\right)} g l ( x ) {\displaystyle g_{l}\left(x\right)} h l ( x ) {\displaystyle h_{l}\left(x\right)} この圧縮ステップは、Gilksが提案している場合でもオプションです。せいぜい、(煩雑で高コストな)目標密度の余分な評価を1回削減できるだけです。しかし、特に高コストな密度関数の場合(そして棄却率が急速にゼロに収束すると仮定した場合)、最終的な実行時間に大きな違いが生じる可能性があります。 この手法は、本質的には、一定数の線分(場合によっては接線1本のみ)から始めて、曲線の上にあるまま対数に近似する直線部分の包絡線を順次決定していくというものです。切り捨て指数型確率変数からのサンプリングは簡単です。適切な間隔とそれに応じた切り捨てを持つ一様確率変数の対数を取るだけです。
残念ながら、ARSは対数凹面のターゲット密度からのサンプリングにしか適用できません。このため、非対数凹面のターゲット分布に対処するためのARSの拡張が文献でいくつか提案されています。 [9] [10] [11] さらに、ARSとメトロポリス-ヘイスティングス法のさまざまな組み合わせが、自己調整型提案密度(つまり、ターゲットに対して自動的に構築され適応された提案)を構築する汎用サンプラーを取得するために設計されています。このクラスの方法は、 適応型拒絶メトロポリスサンプリング(ARMS)アルゴリズム と呼ばれることがよくあります。 [12] [13] 結果として得られる適応型手法は常に適用できますが、この場合、生成されたサンプルは相関しています(ただし、反復回数が増えると相関はすぐにゼロになります)。
参照
参考文献 ^ Casella, George; Robert, Christian P.; Wells, Martin T. (2004). 一般化受理拒否サンプリング法 . 数理統計研究所. pp. 342– 347. doi :10.1214/lnms/1196285403. ISBN 9780940600614 。 ^ Neal, Radford M. (2003). 「スライスサンプリング」 Annals of Statistics . 31 (3): 705– 767. doi : 10.1214/aos/1056562461 . MR 1994729. Zbl 1051.65007. ^ ビショップ、クリストファー (2006). 「11.4: スライスサンプリング」. パターン認識と機械学習 . シュプリンガー . ISBN 978-0-387-31073-2 。 ^ Forsythe, George E. (1972). 「正規分布およびその他の分布からのランダムサンプリングのためのフォン・ノイマン比較法」 . 計算数学 . 26 (120): 817– 826. doi :10.2307/2005864. ISSN 0025-5718. JSTOR 2005864. ^ Legault, Geoffrey; Melbourne, Brett A. (2019-03-01). 「連続時間確率的個体群モデルにおける環境変化の考慮」 . 理論生態学 . 12 (1): 31– 48. Bibcode :2019ThEco..12...31L. doi :10.1007/s12080-018-0386-z. ISSN 1874-1746. ^ Thomopoulos, Nick T. (2012-12-19). 『モンテカルロシミュレーションの基礎:シミュレーションモデル構築のための統計的手法』 (2013年版). ニューヨーク、ハイデルベルグ:シュプリンガー. ISBN 978-1-4614-6021-3 。 ^ Gilks, WR; Wild, P. (1992). 「ギブスサンプリングのための適応的拒絶サンプリング」. 英国王立統計学会誌 . シリーズC (応用統計). 41 (2): 337– 348. doi :10.2307/2347565. JSTOR 2347565. ^ Thomas, DB; Luk, W. (2007). 「区分線形近似による非一様乱数生成」. IET Computers & Digital Techniques . 1 (4): 312– 321. doi :10.1049/iet-cdt:20060188. ^ Hörmann, Wolfgang (1995-06-01). 「T-凹分布からのサンプリングにおける棄却法」. ACM Trans. Math. Software . 21 (2): 182– 193. CiteSeerX 10.1.1.56.6055 . doi :10.1145/203082.203089. ISSN 0098-3500. ^ Evans, M.; Swartz, T. (1998-12-01). 「変換された密度の凹面特性を用いたランダム変数生成」. Journal of Computational and Graphical Statistics . 7 (4): 514– 528. CiteSeerX 10.1.1.53.9001 . doi :10.2307/1390680. JSTOR 1390680. ^ Görür, Dilan; Teh, Yee Whye (2011-01-01). 「Concave-Convex Adaptive Rejection Sampling」. Journal of Computational and Graphical Statistics . 20 (3): 670– 691. doi :10.1198/jcgs.2011.09058. ISSN 1061-8600. ^ Gilks, WR; Best, NG ; Tan, KKC (1995-01-01). 「ギブスサンプリングにおける適応的棄却メトロポリスサンプリング」. 英国王立統計学会誌 . シリーズC (応用統計). 44 (4): 455– 472. doi :10.2307/2986138. JSTOR 2986138. ^ マイヤー, レナーテ; カイ, ボー; ペロン, フランソワ (2008-03-15). 「2次ラグランジュ補間多項式を用いた適応的棄却メトロポリスサンプリング」. 計算統計とデータ分析 . 52 (7): 3408– 3423. doi :10.1016/j.csda.2008.01.005.
さらに読む Robert, CP; Casella, G. (2004). モンテカルロ統計手法 (第2版). ニューヨーク: Springer-Verlag.