Type of Monte Carlo algorithms for signal processing and statistical inference
粒子フィルタ (シーケンシャルモンテカルロ 法とも呼ばれる)は、 信号処理 や ベイズ統計的推論 などの非線形状態空間システムの フィルタリング問題 の近似解を求めるために使用される モンテカルロ アルゴリズムの集合である 。 [1] フィルタリング 問題は、部分的な観測が行われ、センサーと動的 システムの両方にランダムな摂動が存在する場合の動的システム の内部状態を推定することから構成される 。目的は、ノイズを含む部分的な観測が与えられた場合に、 マルコフ過程 の状態の 事後分布を 計算することである。「粒子フィルタ」という用語は、 1960年代初頭から 流体力学 で使用されている 平均場相互作用粒子法について、1996年にピエール・デル・モラルによって初めて造語された。 [2] 「シーケンシャルモンテカルロ」という用語は、1998年に ジュン・S・リウ とロン・チェン によって造語された。 [3]
粒子フィルタリングは、ノイズを含む観測値や部分的な観測値が与えられた場合、 確率過程 の 事後分布を 表すために、粒子集合(サンプルとも呼ばれる)を用いる。状態空間モデルは非線形であってもよく、初期状態分布とノイズ分布は任意の形式をとることができる。粒子フィルタ技術は、状態空間モデルや状態分布に関する仮定を必要とせずに、必要な分布からサンプルを生成するための確立された手法 [2] [4] [5] を提供する。しかし、これらの手法は、非常に高次元のシステムに適用した場合、良好な性能を発揮しない。
粒子フィルタは、近似的(統計的)な方法で予測を更新します。分布からのサンプルは粒子の集合で表されます。各粒子には、 確率密度関数 からその粒子がサンプリングされる 確率 を表す尤度重みが割り当てられています。重みの不均衡が重みの崩壊につながることは、これらのフィルタリングアルゴリズムでよく発生する問題です。しかし、重みが不均衡になる前に再サンプリングステップを追加することで、この問題を軽減できます。 重みの 分散 や一様分布に関する相対 エントロピーなど、いくつかの適応型再サンプリング基準を使用できます。 [6] 再サンプリングステップでは、無視できる重みを持つ粒子が、重みの高い粒子の近くにある新しい粒子に置き換えられます。
統計的および確率論的な観点からは、粒子フィルタは、 ファインマン-カック 確率測度の 平均場粒子 解釈として解釈することができる。 [7] [8] [9] [10] [11] これらの粒子統合手法は、 分子化学 および 計算物理学 において、 1951 年に セオドア・E・ハリス と ハーマン・カーン、1955 年に マーシャル・N・ローゼンブルース と アリアナ・W・ローゼンブルース 、 [12] さらに最近では 1984 年にジャック・H・ヘザリントンによって開発さ れた 。 [13] 計算物理学では、これらのファインマン-カックタイプのパス粒子統合法は、 量子モンテカルロ法 、より具体的には 拡散モンテカルロ法 でも使用されている。 [14] [15] [16] ファインマン-カック相互作用粒子法は、複雑な最適化問題を解決するために現在 進化計算で使用されている 突然変異選択遺伝的アルゴリズム にも深く関連している 。
粒子フィルタ法は、 隠れマルコフモデル (HMM)と 非線形フィルタリング 問題を解決するために使用されます。線形ガウス信号観測モデル( カルマンフィルタ )またはより広いクラスのモデル(ベネスフィルタ [17] )の顕著な例外を除いて、ミレイユ・シャレイア=モーレルとドミニク・ミシェルは1984年に、観測値が与えられた場合の信号のランダム状態の事後分布のシーケンス(最適フィルタとも呼ばれます)には有限再帰がないことを証明しました。 [18] 固定グリッド近似、 マルコフ連鎖モンテカルロ法、従来の線形化、 拡張カルマンフィルタ 、または(期待コスト-誤差の意味で)最適な線形システムを決定することに基づくその他のさまざまな数値手法は、 大規模システム、不安定なプロセス、または十分に滑らかでない非線形性には対応できません。
粒子フィルタとファインマン・カック粒子法は、 信号および画像処理 、 ベイズ推論 、 機械学習 、 リスク分析および稀なイベントのサンプリング 、 工学 およびロボット工学 、 人工知能 、 バイオインフォマティクス 、 [19] 系統学、 計算科学 、 経済学 および 数理 ファイナンス、 分子化学 、 計算物理学 、 薬物動態学 、 定量的リスクおよび保険 [20] [21] などの分野で応用されています。
歴史
ヒューリスティックなアルゴリズム 統計的および確率的観点から、粒子フィルタは 分岐 / 遺伝的型アルゴリズム 、および 平均場型相互作用粒子法のクラスに属します。 これらの粒子法の解釈は科学分野によって異なります。 進化コンピューティング では、 平均場遺伝的型粒子法は、ヒューリスティックおよび自然探索アルゴリズム(別名メタ ヒューリスティック )としてよく使用されます 。 計算物理学 および 分子化学では、ファインマン-カッツ 経路積分 問題を解いたり、ボルツマン-ギブス測度、トップ固有値、 シュレーディンガー 演算子の 基底状態 を計算したりするために使用されます 。 生物学 および 遺伝学 では、ある環境における個体または遺伝子の集団の進化を表します。
平均場型 進化計算手法 の起源は、1950年と1954年の アラン・チューリングの 遺伝子型突然変異選択学習機械に関する研究 [22]と、 ニュージャージー州プリンストン 高等 研究所 の ニルス・オール・バリセリ の論文 [23 ] に遡ります。 [24] 統計手法 における粒子フィルタの最初の痕跡は、 1950年代半ばに遡ります。1954年に ジョン・ハマーズリー らが提案した「貧者のモンテカルロ」 [25] には、今日使用されている遺伝子型粒子フィルタリング手法のヒントが含まれていました。 1963年、 ニルス・オール・バリセリは 、個体が単純なゲームをプレイする能力を模倣する遺伝子型アルゴリズムをシミュレートしました。 [26] 進化計算の 文献では 、遺伝的突然変異選択アルゴリズムは、 1970年代初頭の ジョン・ホランドの独創的な研究、特に1975年に出版された著書 [27] を通じて人気を博しました。
1957年、オーストラリアの遺伝学者 アレックス・フレイザー も生物学と 遺伝学の 分野で、生物の 人為選択 の遺伝子型シミュレーションに関する一連の論文を発表しました。 [28] 生物学者による進化のコンピュータシミュレーションは1960年代初頭に一般的になり、その手法はフレイザーとバーネル(1970年) [29]とクロスビー(1973年) [30] の著書で説明されました。 フレイザーのシミュレーションには、現代の突然変異選択遺伝粒子アルゴリズムの重要な要素がすべて含まれていました。
数学的観点からは、 部分的かつノイズの多い観測を与えられた信号のランダム状態の 条件付き分布は、一連の尤度ポテンシャル関数によって重み付けされた信号のランダム軌道上のファインマン・カック確率によって記述されます。 [7] [8] 量子モンテカルロ 法、より具体的には 拡散モンテカルロ法は、 ファインマン・カック経路積分の平均場遺伝的型粒子近似として解釈することもできます。 [7] [8] [9] [13] [14] [31] [32] 量子モンテカルロ 法 の起源は、1948 年に 中性子連鎖反応 の平均場粒子解釈を開発した エンリコ・フェルミ と ロバート・リヒトマイヤー にあるとされることが多いが、 [33] 量子システムの基底状態エネルギーを推定する(縮小行列モデル内)最初のヒューリスティックな遺伝的粒子アルゴリズム(別名、再サンプル・モンテカルロ法または再構成モンテカルロ法)は、1984 年のジャック・H・ヘザリントンによるものである。 [13]また、粒子透過エネルギーを推定するために平均場だがヒューリスティックな遺伝的方法を使用している、1951 年に発表された粒子物理学における セオドア・E・ハリス と ハーマン・カーン の初期の独創的な研究を引用すること もできる。 [34] 分子化学において、遺伝的ヒューリスティックな粒子法(別名、剪定と濃縮戦略)の使用は、1955年の マーシャル・N・ローゼンブルース と アリアナ・W・ローゼンブルース の先駆的な研究にまで遡ることができます。 [12]
遺伝的粒子アルゴリズム が高度な 信号処理 や ベイズ推論 に利用されるようになったの は比較的最近のことである。1993年1月、北川源四郎は「モンテカルロフィルタ」 [35] を開発し、この論文の若干の修正版が1996年に発表された [36]。 1993年4月、Neil J. Gordonらは、その独創的な論文 [37] において、ベイズ統計推論への遺伝的型アルゴリズムの応用を発表した。著者らは、このアルゴリズムを「ブートストラップフィルタ」と名付け、他のフィルタリング手法と比較して、ブートストラップアルゴリズムは状態空間やシステムのノイズに関する仮定を必要としないことを示した。これとは独立して、1990年代半ばには、ピエール・デル・モラル [2] と、ヒミルコン・カルヴァリョ、ピエール・デル・モラル、 アンドレ・モナン 、ジェラール・サリュ [38] による粒子フィルタに関する論文が発表されている。粒子フィルタは、1989年から1992年初頭にかけて、 LAAS-CNRS のP.デルモラル、JCノイヤー、G.リガル、G.サリュートによって信号処理 分野でも開発され、STCAN(Service Technique des Constructions et Armes Navales)、IT企業DIGILOG、LAAS-CNRS(システム分析・アーキテクチャ研究所)と共同で、レーダー/ソナーおよびGPS信号処理の問題に関する一連の限定的かつ機密の研究報告書の中で発表された。 [39] [40] [41] [42] [43] [44]
数学の基礎 1950 年から 1996 年にかけて、計算物理学と分子化学で導入された刈り込み法や再サンプル法のモンテ カルロ法を含む粒子フィルタと遺伝的アルゴリズムに関するすべての出版物では、さまざまな状況に適用された自然でヒューリスティックなアルゴリズムが紹介されていますが、その一貫性の証明は一切なく、推定値の偏りや系図および祖先ツリーに基づくアルゴリズムに関する議論も一切ありません。
これらの粒子アルゴリズムの数学的基礎と最初の厳密な解析は、 1996年にピエール・デル・モラル [2] [4]によって行われました。この論文 [2]には、尤度関数と非正規化 条件付き確率 測度の粒子近似の不偏特性の証明も含まれています 。この論文で提示された尤度関数の不偏粒子推定量は、今日ベイズ統計推論において用いられています。
Dan Crisan、Jessica Gaines、および Terry Lyons [45] [46] [47] とPierre Del Moral、およびTerry Lyons [48] は、1990年代末頃に様々な個体群サイズを持つ分岐型粒子手法を考案しました。P. Del Moral、A. Guionnet、およびL. Miclo [8] [49] [50] は 、2000年にこの主題でさらなる進歩を遂げました。Pierre Del MoralとAlice Guionnet [51] は1999年に最初の中心極限定理を証明し、Pierre Del MoralとLaurent Miclo [8]は2000年にそれを証明しました。粒子フィルタの時間パラメータに関する最初の一様収束結果は、1990年代末にPierre Del Moralと Alice Guionnet によって開発されました 。 [49] [50] 系図ツリーベースの粒子フィルタスムージングの最初の厳密な分析は、2001年にP.デルモラルとL.ミクロによって行われた [52]。
ファインマン-カック粒子方法論と関連する粒子フィルタアルゴリズムの理論は、2000年と2004年に書籍で展開されました。 [8] [5] これらの抽象的な確率モデルには、遺伝的型アルゴリズム、粒子およびブートストラップフィルタ、相互作用カルマンフィルタ(別名ラオ-ブラックウェル化粒子フィルタ [53] )、 重要度サンプリング および再サンプリングスタイルの粒子フィルタ技術がカプセル化されており、フィルタリングとスムージングの問題を解決するための系図ツリーベースおよび粒子後方方法論が含まれています。その他の粒子フィルタリング手法としては、系図ツリーベースモデル、 [10] [5] [54] 後方マルコフ粒子モデル、 [10] [55] 適応平均場粒子モデル、 [6] 島型粒子モデル、 [56] [57] 粒子マルコフ連鎖モンテカルロ手法、 [58] [59] シーケンシャルモンテカルロサンプラー [60] [61] [62] およびシーケンシャルモンテカルロ近似ベイズ計算法 [63] およびシーケンシャルモンテカルロABCベースベイズブートストラップ [64] がある。
フィルタリングの問題
客観的 粒子フィルタの目的は、観測変数が与えられた場合に状態変数の事後密度を推定することです。粒子フィルタは、 隠れマルコフモデル (隠れ変数と観測変数の両方を含むシステム)で使用することを目的としています。観測変数(観測プロセス)は、既知の関数形を介して隠れ変数(状態プロセス)にリンクされています。同様に、状態変数の発展を定義する力学系の確率的記述も既知です。
一般的な粒子フィルタは、観測測定プロセスを用いて隠れ状態の事後分布を推定します。以下の状態空間を例に挙げると、
X 0 → X 1 → X 2 → X 3 → ⋯ signal ↓ ↓ ↓ ↓ ⋯ Y 0 Y 1 Y 2 Y 3 ⋯ observation {\displaystyle {\begin{array}{cccccccccc}X_{0}&\to &X_{1}&\to &X_{2}&\to &X_{3}&\to &\cdots &{\text{signal}}\\\downarrow &&\downarrow &&\downarrow &&\downarrow &&\cdots &\\Y_{0}&&Y_{1}&&Y_{2}&&Y_{3}&&\cdots &{\text{observation}}\end{array}}} フィルタリング問題は、 任意の時間ステップ k における観測プロセスの値が与えられたときに、 隠れ状態の値を 順次 推定することです。 X k {\displaystyle X_{k}} Y 0 , ⋯ , Y k , {\displaystyle Y_{0},\cdots ,Y_{k},}
のすべてのベイズ推定値は 事後密度 から導かれる 。粒子フィルタ法は、遺伝的粒子アルゴリズムに関連する経験的尺度を用いて、これらの条件付き確率の近似値を提供する。対照的に、マルコフ連鎖モンテカルロ法や 重要度サンプリング 法は、事後密度全体をモデル化する 。 X k {\displaystyle X_{k}} p ( x k | y 0 , y 1 , . . . , y k ) {\displaystyle p(x_{k}|y_{0},y_{1},...,y_{k})} p ( x 0 , x 1 , . . . , x k | y 0 , y 1 , . . . , y k ) {\displaystyle p(x_{0},x_{1},...,x_{k}|y_{0},y_{1},...,y_{k})}
信号観測モデル 粒子法では多くの場合、次のような仮定が立てられ 、観測結果は 次のような形式でモデル化できます。 X k {\displaystyle X_{k}} Y k {\displaystyle Y_{k}}
X 0 , X 1 , ⋯ {\displaystyle X_{0},X_{1},\cdots } は、 (ある に対して) 上の マルコフ過程 であり 、遷移確率密度 に従って発展する 。このモデルは、次のように合成的に記述されることが多い。 R d x {\displaystyle \mathbb {R} ^{d_{x}}} d x ⩾ 1 {\displaystyle d_{x}\geqslant 1} p ( x k | x k − 1 ) {\displaystyle p(x_{k}|x_{k-1})} X k | X k − 1 = x k ∼ p ( x k | x k − 1 ) {\displaystyle X_{k}|X_{k-1}=x_{k}\sim p(x_{k}|x_{k-1})} 初期確率密度 を持つ 。 p ( x 0 ) {\displaystyle p(x_{0})} 観測値は (ある に対して ) 上の何らかの状態空間で値を取り、 が 既知であれば条件付き独立である。言い換えれば、各 は のみに依存する 。さらに、 与えられたに対する条件付き分布が 絶対連続であると仮定し、合成的に次式を得る。 Y 0 , Y 1 , ⋯ {\displaystyle Y_{0},Y_{1},\cdots } R d y {\displaystyle \mathbb {R} ^{d_{y}}} d y ⩾ 1 {\displaystyle d_{y}\geqslant 1} X 0 , X 1 , ⋯ {\displaystyle X_{0},X_{1},\cdots } Y k {\displaystyle Y_{k}} X k {\displaystyle X_{k}} Y k {\displaystyle Y_{k}} X k = x k {\displaystyle X_{k}=x_{k}} Y k | X k = y k ∼ p ( y k | x k ) {\displaystyle Y_{k}|X_{k}=y_{k}\sim p(y_{k}|x_{k})} これらのプロパティを持つシステムの例は次のとおりです。
X k = g ( X k − 1 ) + W k − 1 {\displaystyle X_{k}=g(X_{k-1})+W_{k-1}} Y k = h ( X k ) + V k {\displaystyle Y_{k}=h(X_{k})+V_{k}} ここで 、と はどちらも既知の 確率密度関数 を持つ相互に独立したシーケンスで あり、 g と h は 既知の関数です。これら2つの方程式は 状態空間 方程式として見ることができ、カルマンフィルタの状態空間方程式に似ています。 上記の例で関数 g と h が 線形で、 と が両方とも ガウス 分布である場合 、カルマンフィルタは正確なベイズフィルタリング分布を見つけます。そうでない場合、カルマンフィルタベースの手法は、1次近似( EKF )または2次近似(一般に UKF ですが、確率分布がガウス分布の場合は3次近似が可能です)になります。 W k {\displaystyle W_{k}} V k {\displaystyle V_{k}} W k {\displaystyle W_{k}} V k {\displaystyle V_{k}}
ルベーグ測度 において、初期分布とマルコフ連鎖の遷移が連続であるという仮定は 緩和できる。粒子フィルタを設計するには、 マルコフ連鎖の遷移をサンプリングできると仮定し 、尤度関数を計算すればよい (例えば、以下に示す粒子フィルタの遺伝的選択変異の説明を参照)。マルコフ遷移の連続性に関する仮定は、 条件付き密度に対するベイズの定理を用いて、事後分布間の異なる式を非公式(かつむしろ乱用的)に導出するためにのみ用いられる。 X k − 1 → X k {\displaystyle X_{k-1}\to X_{k}} X k , {\displaystyle X_{k},} x k ↦ p ( y k | x k ) {\displaystyle x_{k}\mapsto p(y_{k}|x_{k})} X k {\displaystyle X_{k}}
近似ベイズ計算モデル 特定の問題では、信号のランダム状態を与えられた観測値の条件付き分布は密度を持たない可能性がある。後者は計算不可能か複雑すぎる可能性がある。 [19] このような状況では、追加の近似レベルが必要となる。一つの戦略は、信号をマルコフ連鎖に 置き換え 、次のような仮想観測を導入することである。 X k {\displaystyle X_{k}} X k = ( X k , Y k ) {\displaystyle {\mathcal {X}}_{k}=\left(X_{k},Y_{k}\right)}
Y k = Y k + ϵ V k for some parameter ϵ ∈ [ 0 , 1 ] {\displaystyle {\mathcal {Y}}_{k}=Y_{k}+\epsilon {\mathcal {V}}_{k}\quad {\mbox{for some parameter}}\quad \epsilon \in [0,1]} 既知の 確率密度関数 を持つ独立確率変数の列に対して 、中心となる考え方は次のようになる。 V k {\displaystyle {\mathcal {V}}_{k}}
Law ( X k | Y 0 = y 0 , ⋯ , Y k = y k ) ≈ ϵ ↓ 0 Law ( X k | Y 0 = y 0 , ⋯ , Y k = y k ) {\displaystyle {\text{Law}}\left(X_{k}|{\mathcal {Y}}_{0}=y_{0},\cdots ,{\mathcal {Y}}_{k}=y_{k}\right)\approx _{\epsilon \downarrow 0}{\text{Law}}\left(X_{k}|Y_{0}=y_{0},\cdots ,Y_{k}=y_{k}\right)} 部分観測が与えられた マルコフ過程に関連する粒子フィルタは、 尤度関数が によって明らかに乱用的な表記で与えられる ことで定義される。これらの確率的手法は、 近似ベイズ計算 (ABC)と密接に関連している 。粒子フィルタの文脈において、これらのABC粒子フィルタリング手法は1998年にP. Del Moral、J. Jacod、P. Protterによって導入された。 [65] これらはP. Del Moral、A. Doucet、A. Jasraによってさらに発展させられた。 [66] [67] X k = ( X k , Y k ) {\displaystyle {\mathcal {X}}_{k}=\left(X_{k},Y_{k}\right)} Y 0 = y 0 , ⋯ , Y k = y k , {\displaystyle {\mathcal {Y}}_{0}=y_{0},\cdots ,{\mathcal {Y}}_{k}=y_{k},} R d x + d y {\displaystyle \mathbb {R} ^{d_{x}+d_{y}}} p ( Y k | X k ) {\displaystyle p({\mathcal {Y}}_{k}|{\mathcal {X}}_{k})}
非線形フィルタリング方程式 条件付き確率に関する ベイズの定理は次のようになります。
p ( x 0 , ⋯ , x k | y 0 , ⋯ , y k ) = p ( y 0 , ⋯ , y k | x 0 , ⋯ , x k ) p ( x 0 , ⋯ , x k ) p ( y 0 , ⋯ , y k ) {\displaystyle p(x_{0},\cdots ,x_{k}|y_{0},\cdots ,y_{k})={\frac {p(y_{0},\cdots ,y_{k}|x_{0},\cdots ,x_{k})p(x_{0},\cdots ,x_{k})}{p(y_{0},\cdots ,y_{k})}}} どこ
p ( y 0 , ⋯ , y k ) = ∫ p ( y 0 , ⋯ , y k | x 0 , ⋯ , x k ) p ( x 0 , ⋯ , x k ) d x 0 ⋯ d x k p ( y 0 , ⋯ , y k | x 0 , ⋯ , x k ) = ∏ l = 0 k p ( y l | x l ) p ( x 0 , ⋯ , x k ) = p 0 ( x 0 ) ∏ l = 1 k p ( x l | x l − 1 ) {\displaystyle {\begin{aligned}p(y_{0},\cdots ,y_{k})&=\int p(y_{0},\cdots ,y_{k}|x_{0},\cdots ,x_{k})p(x_{0},\cdots ,x_{k})dx_{0}\cdots dx_{k}\\p(y_{0},\cdots ,y_{k}|x_{0},\cdots ,x_{k})&=\prod _{l=0}^{k}p(y_{l}|x_{l})\\p(x_{0},\cdots ,x_{k})&=p_{0}(x_{0})\prod _{l=1}^{k}p(x_{l}|x_{l-1})\end{aligned}}} 粒子フィルタも近似値ではあるが、十分な粒子数があればより正確な値が得られる。 [2] [4] [5] [49] [50] 非線形フィルタリング方程式は再帰式で与えられる。
p ( x k | y 0 , ⋯ , y k − 1 ) ⟶ updating p ( x k | y 0 , ⋯ , y k ) = p ( y k | x k ) p ( x k | y 0 , ⋯ , y k − 1 ) ∫ p ( y k | x k ′ ) p ( x k ′ | y 0 , ⋯ , y k − 1 ) d x k ′ ⟶ prediction p ( x k + 1 | y 0 , ⋯ , y k ) = ∫ p ( x k + 1 | x k ) p ( x k | y 0 , ⋯ , y k ) d x k {\displaystyle {\begin{aligned}p(x_{k}|y_{0},\cdots ,y_{k-1})&{\stackrel {\text{updating}}{\longrightarrow }}p(x_{k}|y_{0},\cdots ,y_{k})={\frac {p(y_{k}|x_{k})p(x_{k}|y_{0},\cdots ,y_{k-1})}{\int p(y_{k}|x'_{k})p(x'_{k}|y_{0},\cdots ,y_{k-1})dx'_{k}}}\\&{\stackrel {\text{prediction}}{\longrightarrow }}p(x_{k+1}|y_{0},\cdots ,y_{k})=\int p(x_{k+1}|x_{k})p(x_{k}|y_{0},\cdots ,y_{k})dx_{k}\end{aligned}}}
式1
k = 0の 規則に従います。 非線形フィルタリングの問題は、これらの条件付き分布を順番に計算することです。 p ( x 0 | y 0 , ⋯ , y k − 1 ) = p ( x 0 ) {\displaystyle p(x_{0}|y_{0},\cdots ,y_{k-1})=p(x_{0})}
時間範囲 n と観測シーケンスを固定し 、各 k = 0, ..., n に対して以下を設定します。 Y 0 = y 0 , ⋯ , Y n = y n {\displaystyle Y_{0}=y_{0},\cdots ,Y_{n}=y_{n}}
G k ( x k ) = p ( y k | x k ) . {\displaystyle G_{k}(x_{k})=p(y_{k}|x_{k}).} この記法では、原点 k = 0から時刻 k = n まで の軌道の集合上の 任意の有界関数 F に対して、ファインマン-カックの公式が成り立ちます。 X k {\displaystyle X_{k}}
∫ F ( x 0 , ⋯ , x n ) p ( x 0 , ⋯ , x n | y 0 , ⋯ , y n ) d x 0 ⋯ d x n = ∫ F ( x 0 , ⋯ , x n ) { ∏ k = 0 n p ( y k | x k ) } p ( x 0 , ⋯ , x n ) d x 0 ⋯ d x n ∫ { ∏ k = 0 n p ( y k | x k ) } p ( x 0 , ⋯ , x n ) d x 0 ⋯ d x n = E ( F ( X 0 , ⋯ , X n ) ∏ k = 0 n G k ( X k ) ) E ( ∏ k = 0 n G k ( X k ) ) {\displaystyle {\begin{aligned}\int F(x_{0},\cdots ,x_{n})p(x_{0},\cdots ,x_{n}|y_{0},\cdots ,y_{n})dx_{0}\cdots dx_{n}&={\frac {\int F(x_{0},\cdots ,x_{n})\left\{\prod \limits _{k=0}^{n}p(y_{k}|x_{k})\right\}p(x_{0},\cdots ,x_{n})dx_{0}\cdots dx_{n}}{\int \left\{\prod \limits _{k=0}^{n}p(y_{k}|x_{k})\right\}p(x_{0},\cdots ,x_{n})dx_{0}\cdots dx_{n}}}\\&={\frac {E\left(F(X_{0},\cdots ,X_{n})\prod \limits _{k=0}^{n}G_{k}(X_{k})\right)}{E\left(\prod \limits _{k=0}^{n}G_{k}(X_{k})\right)}}\end{aligned}}} ファインマン-カック経路積分モデルは、計算物理学、生物学、情報理論、コンピュータサイエンスなど、様々な科学分野で用いられている。 [8] [10] [5] これらのモデルは、適用分野によって解釈が異なる。例えば、状態空間のサブセットの指標関数を選べば 、与えられたチューブ内に留まるマルコフ連鎖の条件付き分布を表すことができる。つまり、以下の式が成り立つ。 G n ( x n ) = 1 A ( x n ) {\displaystyle G_{n}(x_{n})=1_{A}(x_{n})}
E ( F ( X 0 , ⋯ , X n ) | X 0 ∈ A , ⋯ , X n ∈ A ) = E ( F ( X 0 , ⋯ , X n ) ∏ k = 0 n G k ( X k ) ) E ( ∏ k = 0 n G k ( X k ) ) {\displaystyle E\left(F(X_{0},\cdots ,X_{n})|X_{0}\in A,\cdots ,X_{n}\in A\right)={\frac {E\left(F(X_{0},\cdots ,X_{n})\prod \limits _{k=0}^{n}G_{k}(X_{k})\right)}{E\left(\prod \limits _{k=0}^{n}G_{k}(X_{k})\right)}}} そして
P ( X 0 ∈ A , ⋯ , X n ∈ A ) = E ( ∏ k = 0 n G k ( X k ) ) {\displaystyle P\left(X_{0}\in A,\cdots ,X_{n}\in A\right)=E\left(\prod \limits _{k=0}^{n}G_{k}(X_{k})\right)} 正規化定数が厳密に正であれば。
粒子フィルター
遺伝的粒子アルゴリズム 最初に、このようなアルゴリズムは、 共通の確率密度を持つ N個 の独立した確率変数から始まる 。遺伝的アルゴリズムは、選択突然変異遷移 [2] [4] ( ξ 0 i ) 1 ⩽ i ⩽ N {\displaystyle \left(\xi _{0}^{i}\right)_{1\leqslant i\leqslant N}} p ( x 0 ) {\displaystyle p(x_{0})}
ξ k := ( ξ k i ) 1 ⩽ i ⩽ N ⟶ selection ξ ^ k := ( ξ ^ k i ) 1 ⩽ i ⩽ N ⟶ mutation ξ k + 1 := ( ξ k + 1 i ) 1 ⩽ i ⩽ N {\displaystyle \xi _{k}:=\left(\xi _{k}^{i}\right)_{1\leqslant i\leqslant N}{\stackrel {\text{selection}}{\longrightarrow }}{\widehat {\xi }}_{k}:=\left({\widehat {\xi }}_{k}^{i}\right)_{1\leqslant i\leqslant N}{\stackrel {\text{mutation}}{\longrightarrow }}\xi _{k+1}:=\left(\xi _{k+1}^{i}\right)_{1\leqslant i\leqslant N}} 最適フィルタ進化の更新予測遷移を模倣/近似する( 式1 ):
選択更新遷移中に、 共通の(条件付き)分布を持つ N個 の(条件付き)独立確率変数を サンプリングする。 ξ ^ k := ( ξ ^ k i ) 1 ⩽ i ⩽ N {\displaystyle {\widehat {\xi }}_{k}:=\left({\widehat {\xi }}_{k}^{i}\right)_{1\leqslant i\leqslant N}} ∑ i = 1 N p ( y k | ξ k i ) ∑ j = 1 N p ( y k | ξ k j ) δ ξ k i ( d x k ) {\displaystyle \sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k}^{i})}{\sum _{j=1}^{N}p(y_{k}|\xi _{k}^{j})}}\delta _{\xi _{k}^{i}}(dx_{k})} ここで、は 与えられた状態 a における ディラック測度 を表します。 δ a {\displaystyle \delta _{a}}
突然変異予測遷移の間、 選択された各粒子から 独立して遷移をサンプリングする。 ξ ^ k i {\displaystyle {\widehat {\xi }}_{k}^{i}} ξ ^ k i ⟶ ξ k + 1 i ∼ p ( x k + 1 | ξ ^ k i ) , i = 1 , ⋯ , N . {\displaystyle {\widehat {\xi }}_{k}^{i}\longrightarrow \xi _{k+1}^{i}\sim p(x_{k+1}|{\widehat {\xi }}_{k}^{i}),\qquad i=1,\cdots ,N.} 上記の式では 、 は で評価された 尤度関数を表し 、 は で評価された 条件付き密度を表します 。 p ( y k | ξ k i ) {\displaystyle p(y_{k}|\xi _{k}^{i})} x k ↦ p ( y k | x k ) {\displaystyle x_{k}\mapsto p(y_{k}|x_{k})} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}} p ( x k + 1 | ξ ^ k i ) {\displaystyle p(x_{k+1}|{\widehat {\xi }}_{k}^{i})} p ( x k + 1 | x k ) {\displaystyle p(x_{k+1}|x_{k})} x k = ξ ^ k i {\displaystyle x_{k}={\widehat {\xi }}_{k}^{i}}
各時刻 k において、粒子近似は次のようになる。
p ^ ( d x k | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N δ ξ ^ k i ( d x k ) ≈ N ↑ ∞ p ( d x k | y 0 , ⋯ , y k ) ≈ N ↑ ∞ ∑ i = 1 N p ( y k | ξ k i ) ∑ i = 1 N p ( y k | ξ k j ) δ ξ k i ( d x k ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{{\widehat {\xi }}_{k}^{i}}(dx_{k})\approx _{N\uparrow \infty }p(dx_{k}|y_{0},\cdots ,y_{k})\approx _{N\uparrow \infty }\sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k}^{i})}{\sum _{i=1}^{N}p(y_{k}|\xi _{k}^{j})}}\delta _{\xi _{k}^{i}}(dx_{k})} そして
p ^ ( d x k | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N δ ξ k i ( d x k ) ≈ N ↑ ∞ p ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k}^{i}}(dx_{k})\approx _{N\uparrow \infty }p(dx_{k}|y_{0},\cdots ,y_{k-1})} 遺伝的アルゴリズムと 進化的コンピューティングの コミュニティでは、上記の突然変異-選択マルコフ連鎖は、しばしば比例選択を伴う遺伝的アルゴリズムと呼ばれます。論文では、ランダムな集団サイズを含むいくつかの分岐変種も提案されています。 [5] [45] [48]
粒子法は、他のサンプリングベースのアプローチ(例えば、 マルコフ連鎖モンテカルロ )と同様に、フィルタリング密度を近似するサンプルのセットを生成する。
p ( x k | y 0 , ⋯ , y k ) . {\displaystyle p(x_{k}|y_{0},\cdots ,y_{k}).} たとえば、 の近似事後分布から N 個の サンプルを取得するとします。この場合、サンプルには次のように上付き文字が付けられます。 X k {\displaystyle X_{k}}
ξ ^ k 1 , ⋯ , ξ ^ k N . {\displaystyle {\widehat {\xi }}_{k}^{1},\cdots ,{\widehat {\xi }}_{k}^{N}.} そして、フィルタリング分布に関する期待値は次のように近似される。
∫ f ( x k ) p ( x k | y 0 , ⋯ , y k ) d x k ≈ N ↑ ∞ 1 N ∑ i = 1 N f ( ξ ^ k i ) = ∫ f ( x k ) p ^ ( d x k | y 0 , ⋯ , y k ) {\displaystyle \int f(x_{k})p(x_{k}|y_{0},\cdots ,y_{k})\,dx_{k}\approx _{N\uparrow \infty }{\frac {1}{N}}\sum _{i=1}^{N}f\left({\widehat {\xi }}_{k}^{i}\right)=\int f(x_{k}){\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k})} 式2
と
p ^ ( d x k | y 0 , ⋯ , y k ) = 1 N ∑ i = 1 N δ ξ ^ k i ( d x k ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k})={\frac {1}{N}}\sum _{i=1}^{N}\delta _{{\widehat {\xi }}_{k}^{i}}(dx_{k})} ここで、は与えられた状態aにおける ディラック測度 を表す。 モンテカルロ法でよく使われる 関数 f は、ある程度の近似誤差を除けば、分布の モーメントなどを与えることができる。近似方程式( 式2 )が任意の有界関数 f に対して満たされるとき、次のように書く。 δ a {\displaystyle \delta _{a}}
p ( d x k | y 0 , ⋯ , y k ) := p ( x k | y 0 , ⋯ , y k ) d x k ≈ N ↑ ∞ p ^ ( d x k | y 0 , ⋯ , y k ) = 1 N ∑ i = 1 N δ ξ ^ k i ( d x k ) {\displaystyle p(dx_{k}|y_{0},\cdots ,y_{k}):=p(x_{k}|y_{0},\cdots ,y_{k})dx_{k}\approx _{N\uparrow \infty }{\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k})={\frac {1}{N}}\sum _{i=1}^{N}\delta _{{\widehat {\xi }}_{k}^{i}}(dx_{k})} 粒子フィルタは、突然変異と選択の遷移によって進化する遺伝的粒子アルゴリズムとして解釈できます。祖先の系統を追跡することができます。
( ξ ^ 0 , k i , ξ ^ 1 , k i , ⋯ , ξ ^ k − 1 , k i , ξ ^ k , k i ) {\displaystyle \left({\widehat {\xi }}_{0,k}^{i},{\widehat {\xi }}_{1,k}^{i},\cdots ,{\widehat {\xi }}_{k-1,k}^{i},{\widehat {\xi }}_{k,k}^{i}\right)} 粒子の ランダム状態。下側の添え字l=0,...,kを持つランダム状態 は、レベルl=0,...,kにおける個体の祖先を表す 。この状況では、近似式は次のようになる。 i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} ξ ^ l , k i {\displaystyle {\widehat {\xi }}_{l,k}^{i}} ξ ^ k , k i = ξ ^ k i {\displaystyle {\widehat {\xi }}_{k,k}^{i}={\widehat {\xi }}_{k}^{i}}
∫ F ( x 0 , ⋯ , x k ) p ( x 0 , ⋯ , x k | y 0 , ⋯ , y k ) d x 0 ⋯ d x k ≈ N ↑ ∞ 1 N ∑ i = 1 N F ( ξ ^ 0 , k i , ξ ^ 1 , k i , ⋯ , ξ ^ k , k i ) = ∫ F ( x 0 , ⋯ , x k ) p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) {\displaystyle {\begin{aligned}\int F(x_{0},\cdots ,x_{k})p(x_{0},\cdots ,x_{k}|y_{0},\cdots ,y_{k})\,dx_{0}\cdots dx_{k}&\approx _{N\uparrow \infty }{\frac {1}{N}}\sum _{i=1}^{N}F\left({\widehat {\xi }}_{0,k}^{i},{\widehat {\xi }}_{1,k}^{i},\cdots ,{\widehat {\xi }}_{k,k}^{i}\right)\\&=\int F(x_{0},\cdots ,x_{k}){\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})\end{aligned}}} 式3
経験的尺度 による
p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N δ ( ξ ^ 0 , k i , ξ ^ 1 , k i , ⋯ , ξ ^ k , k i ) ( d ( x 0 , ⋯ , x k ) ) {\displaystyle {\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\left({\widehat {\xi }}_{0,k}^{i},{\widehat {\xi }}_{1,k}^{i},\cdots ,{\widehat {\xi }}_{k,k}^{i}\right)}(d(x_{0},\cdots ,x_{k}))} ここで F は信号の経路空間上の任意の基礎関数を表す。より合成的な形( 式3 )は次式と等価である。
p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) := p ( x 0 , ⋯ , x k | y 0 , ⋯ , y k ) d x 0 ⋯ d x k ≈ N ↑ ∞ p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N δ ( ξ ^ 0 , k i , ⋯ , ξ ^ k , k i ) ( d ( x 0 , ⋯ , x k ) ) {\displaystyle {\begin{aligned}p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})&:=p(x_{0},\cdots ,x_{k}|y_{0},\cdots ,y_{k})\,dx_{0}\cdots dx_{k}\\&\approx _{N\uparrow \infty }{\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})\\&:={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\left({\widehat {\xi }}_{0,k}^{i},\cdots ,{\widehat {\xi }}_{k,k}^{i}\right)}(d(x_{0},\cdots ,x_{k}))\end{aligned}}} 粒子フィルタは様々な解釈が可能です。確率論的な観点からは、非線形フィルタリング方程式の 平均場粒子 解釈と一致します。最適フィルタ進化における更新-予測遷移は、個体の古典的な遺伝子型選択-突然変異遷移として解釈することもできます。シーケンシャルインポータンスリサンプリング法は、インポータンスサンプリングとブートストラップリサンプリングステップを組み合わせることで、フィルタリング遷移の別の解釈を提供します。最後に、粒子フィルタは、リサイクル機構を備えた受理-拒否法と見なすことができます。 [10] [5]
一般確率原理 非線形フィルタリングの進化は、確率分布の集合からそれ自身への写像を表す 、確率測度の集合における力学系として解釈できる 。例えば、1ステップ最適予測器の進化は、 η n + 1 = Φ n + 1 ( η n ) {\displaystyle \eta _{n+1}=\Phi _{n+1}\left(\eta _{n}\right)} Φ n + 1 {\displaystyle \Phi _{n+1}} η n ( d x n ) = p ( x n | y 0 , ⋯ , y n − 1 ) d x n {\displaystyle \eta _{n}(dx_{n})=p(x_{n}|y_{0},\cdots ,y_{n-1})dx_{n}}
は確率分布から始まる非線形発展を満たす 。これらの確率測度を近似する最も簡単な方法の一つは、 共通の確率分布を持つ N個 の独立した確率変数から始めることである。N 個 の確率変数 の列を 次のように
定義したとする。 η 0 ( d x 0 ) = p ( x 0 ) d x 0 {\displaystyle \eta _{0}(dx_{0})=p(x_{0})dx_{0}} ( ξ 0 i ) 1 ⩽ i ⩽ N {\displaystyle \left(\xi _{0}^{i}\right)_{1\leqslant i\leqslant N}} η 0 ( d x 0 ) = p ( x 0 ) d x 0 {\displaystyle \eta _{0}(dx_{0})=p(x_{0})dx_{0}} ( ξ n i ) 1 ⩽ i ⩽ N {\displaystyle \left(\xi _{n}^{i}\right)_{1\leqslant i\leqslant N}}
1 N ∑ i = 1 N δ ξ n i ( d x n ) ≈ N ↑ ∞ η n ( d x n ) {\displaystyle {\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{n}^{i}}(dx_{n})\approx _{N\uparrow \infty }\eta _{n}(dx_{n})} 次のステップでは、共通法則を使用して N 個 の(条件付きで)独立したランダム変数をサンプリングします 。 ξ n + 1 := ( ξ n + 1 i ) 1 ⩽ i ⩽ N {\displaystyle \xi _{n+1}:=\left(\xi _{n+1}^{i}\right)_{1\leqslant i\leqslant N}}
Φ n + 1 ( 1 N ∑ i = 1 N δ ξ n i ) ≈ N ↑ ∞ Φ n + 1 ( η n ) = η n + 1 {\displaystyle \Phi _{n+1}\left({\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{n}^{i}}\right)\approx _{N\uparrow \infty }\Phi _{n+1}\left(\eta _{n}\right)=\eta _{n+1}}
フィルタリング方程式の粒子解釈 この平均場粒子原理を、1ステップ最適予測子の進化の文脈で説明する。
p ( x k | y 0 , ⋯ , y k − 1 ) d x k → p ( x k + 1 | y 0 , ⋯ , y k ) = ∫ p ( x k + 1 | x k ′ ) p ( y k | x k ′ ) p ( x k ′ | y 0 , ⋯ , y k − 1 ) d x k ′ ∫ p ( y k | x k ″ ) p ( x k ″ | y 0 , ⋯ , y k − 1 ) d x k ″ {\displaystyle p(x_{k}|y_{0},\cdots ,y_{k-1})dx_{k}\to p(x_{k+1}|y_{0},\cdots ,y_{k})=\int p(x_{k+1}|x'_{k}){\frac {p(y_{k}|x_{k}')p(x'_{k}|y_{0},\cdots ,y_{k-1})dx'_{k}}{\int p(y_{k}|x''_{k})p(x''_{k}|y_{0},\cdots ,y_{k-1})dx''_{k}}}}
式4
k = 0の場合、 規則 を使用します 。 p ( x 0 | y 0 , ⋯ , y − 1 ) := p ( x 0 ) {\displaystyle p(x_{0}|y_{0},\cdots ,y_{-1}):=p(x_{0})}
大数の法則により、
p ^ ( d x 0 ) = 1 N ∑ i = 1 N δ ξ 0 i ( d x 0 ) ≈ N ↑ ∞ p ( x 0 ) d x 0 {\displaystyle {\widehat {p}}(dx_{0})={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{0}^{i}}(dx_{0})\approx _{N\uparrow \infty }p(x_{0})dx_{0}} という意味で
∫ f ( x 0 ) p ^ ( d x 0 ) = 1 N ∑ i = 1 N f ( ξ 0 i ) ≈ N ↑ ∞ ∫ f ( x 0 ) p ( d x 0 ) d x 0 {\displaystyle \int f(x_{0}){\widehat {p}}(dx_{0})={\frac {1}{N}}\sum _{i=1}^{N}f(\xi _{0}^{i})\approx _{N\uparrow \infty }\int f(x_{0})p(dx_{0})dx_{0}} 任意の有界関数に対して。 さらに
、 あるランク k の粒子列を構築し、 f {\displaystyle f} ( ξ k i ) 1 ⩽ i ⩽ N {\displaystyle \left(\xi _{k}^{i}\right)_{1\leqslant i\leqslant N}}
p ^ ( d x k | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N δ ξ k i ( d x k ) ≈ N ↑ ∞ p ( x k | y 0 , ⋯ , y k − 1 ) d x k {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k}^{i}}(dx_{k})\approx _{N\uparrow \infty }~p(x_{k}~|~y_{0},\cdots ,y_{k-1})dx_{k}} 任意の有界関数に対して 、 f {\displaystyle f}
∫ f ( x k ) p ^ ( d x k | y 0 , ⋯ , y k − 1 ) = 1 N ∑ i = 1 N f ( ξ k i ) ≈ N ↑ ∞ ∫ f ( x k ) p ( d x k | y 0 , ⋯ , y k − 1 ) d x k {\displaystyle \int f(x_{k}){\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})={\frac {1}{N}}\sum _{i=1}^{N}f(\xi _{k}^{i})\approx _{N\uparrow \infty }\int f(x_{k})p(dx_{k}|y_{0},\cdots ,y_{k-1})dx_{k}} この状況では、 ( 式4 )で述べた1ステップ最適フィルタの発展方程式の 経験的尺度 を置き換えると、 次の式が得られる。 p ( x k | y 0 , ⋯ , y k − 1 ) d x k {\displaystyle p(x_{k}|y_{0},\cdots ,y_{k-1})dx_{k}} p ^ ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})}
p ( x k + 1 | y 0 , ⋯ , y k ) ≈ N ↑ ∞ ∫ p ( x k + 1 | x k ′ ) p ( y k | x k ′ ) p ^ ( d x k ′ | y 0 , ⋯ , y k − 1 ) ∫ p ( y k | x k ″ ) p ^ ( d x k ″ | y 0 , ⋯ , y k − 1 ) {\displaystyle p(x_{k+1}|y_{0},\cdots ,y_{k})\approx _{N\uparrow \infty }\int p(x_{k+1}|x'_{k}){\frac {p(y_{k}|x_{k}'){\widehat {p}}(dx'_{k}|y_{0},\cdots ,y_{k-1})}{\int p(y_{k}|x''_{k}){\widehat {p}}(dx''_{k}|y_{0},\cdots ,y_{k-1})}}} 上記の式の右側の項は重み付き確率混合であることに注意する。
∫ p ( x k + 1 | x k ′ ) p ( y k | x k ′ ) p ^ ( d x k ′ | y 0 , ⋯ , y k − 1 ) ∫ p ( y k | x k ″ ) p ^ ( d x k ″ | y 0 , ⋯ , y k − 1 ) = ∑ i = 1 N p ( y k | ξ k i ) ∑ i = 1 N p ( y k | ξ k j ) p ( x k + 1 | ξ k i ) =: q ^ ( x k + 1 | y 0 , ⋯ , y k ) {\displaystyle \int p(x_{k+1}|x'_{k}){\frac {p(y_{k}|x_{k}'){\widehat {p}}(dx'_{k}|y_{0},\cdots ,y_{k-1})}{\int p(y_{k}|x''_{k}){\widehat {p}}(dx''_{k}|y_{0},\cdots ,y_{k-1})}}=\sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k}^{i})}{\sum _{i=1}^{N}p(y_{k}|\xi _{k}^{j})}}p(x_{k+1}|\xi _{k}^{i})=:{\widehat {q}}(x_{k+1}|y_{0},\cdots ,y_{k})} ここで、 は における 密度 、 は における 密度を表します 。 p ( y k | ξ k i ) {\displaystyle p(y_{k}|\xi _{k}^{i})} p ( y k | x k ) {\displaystyle p(y_{k}|x_{k})} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}} p ( x k + 1 | ξ k i ) {\displaystyle p(x_{k+1}|\xi _{k}^{i})} p ( x k + 1 | x k ) {\displaystyle p(x_{k+1}|x_{k})} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}} i = 1 , ⋯ , N . {\displaystyle i=1,\cdots ,N.}
次に、共通の確率密度を持つ N個の 独立確率変数 をサンプリングし 、 ( ξ k + 1 i ) 1 ⩽ i ⩽ N {\displaystyle \left(\xi _{k+1}^{i}\right)_{1\leqslant i\leqslant N}} q ^ ( x k + 1 | y 0 , ⋯ , y k ) {\displaystyle {\widehat {q}}(x_{k+1}|y_{0},\cdots ,y_{k})}
p ^ ( d x k + 1 | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N δ ξ k + 1 i ( d x k + 1 ) ≈ N ↑ ∞ q ^ ( x k + 1 | y 0 , ⋯ , y k ) d x k + 1 ≈ N ↑ ∞ p ( x k + 1 | y 0 , ⋯ , y k ) d x k + 1 {\displaystyle {\widehat {p}}(dx_{k+1}|y_{0},\cdots ,y_{k}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k+1}^{i}}(dx_{k+1})\approx _{N\uparrow \infty }{\widehat {q}}(x_{k+1}|y_{0},\cdots ,y_{k})dx_{k+1}\approx _{N\uparrow \infty }p(x_{k+1}|y_{0},\cdots ,y_{k})dx_{k+1}} この手順を繰り返して、次のようなマルコフ連鎖を設計する。
p ^ ( d x k | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N δ ξ k i ( d x k ) ≈ N ↑ ∞ p ( d x k | y 0 , ⋯ , y k − 1 ) := p ( x k | y 0 , ⋯ , y k − 1 ) d x k {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k}^{i}}(dx_{k})\approx _{N\uparrow \infty }p(dx_{k}|y_{0},\cdots ,y_{k-1}):=p(x_{k}|y_{0},\cdots ,y_{k-1})dx_{k}} 最適なフィルタは、ベイズの公式を用いて各時間ステップkで近似されることに注意してください。
p ( d x k | y 0 , ⋯ , y k ) ≈ N ↑ ∞ p ( y k | x k ) p ^ ( d x k | y 0 , ⋯ , y k − 1 ) ∫ p ( y k | x k ′ ) p ^ ( d x k ′ | y 0 , ⋯ , y k − 1 ) = ∑ i = 1 N p ( y k | ξ k i ) ∑ j = 1 N p ( y k | ξ k j ) δ ξ k i ( d x k ) {\displaystyle p(dx_{k}|y_{0},\cdots ,y_{k})\approx _{N\uparrow \infty }{\frac {p(y_{k}|x_{k}){\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})}{\int p(y_{k}|x'_{k}){\widehat {p}}(dx'_{k}|y_{0},\cdots ,y_{k-1})}}=\sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k}^{i})}{\sum _{j=1}^{N}p(y_{k}|\xi _{k}^{j})}}~\delta _{\xi _{k}^{i}}(dx_{k})} 「平均場近似」という用語は、各時間ステップにおいて確率測度を経験的近似に 置き換えるという事実に由来する 。フィルタリング問題における平均場粒子近似は、決して唯一のものではない。書籍ではいくつかの戦略が展開されている。 [10] [5] p ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle p(dx_{k}|y_{0},\cdots ,y_{k-1})} p ^ ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})}
いくつかの収束結果 粒子フィルタの収束の解析は1996年に [2] [4] 、2000年に書籍 [8] と一連の論文[48]で開始された。 [49] [50 ] [51] [52] [68] [69] 最近の展開は書籍 [10] [5] に記載されている。フィルタリング方程式が安定している場合(誤った初期条件を修正するという意味)、粒子推定値のバイアスと分散は
I k ( f ) := ∫ f ( x k ) p ( d x k | y 0 , ⋯ , y k − 1 ) ≈ N ↑ ∞ I ^ k ( f ) := ∫ f ( x k ) p ^ ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle I_{k}(f):=\int f(x_{k})p(dx_{k}|y_{0},\cdots ,y_{k-1})\approx _{N\uparrow \infty }{\widehat {I}}_{k}(f):=\int f(x_{k}){\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})} 非漸近一様推定値によって制御される
sup k ⩾ 0 | E ( I ^ k ( f ) ) − I k ( f ) | ⩽ c 1 N {\displaystyle \sup _{k\geqslant 0}\left\vert E\left({\widehat {I}}_{k}(f)\right)-I_{k}(f)\right\vert \leqslant {\frac {c_{1}}{N}}} sup k ⩾ 0 E ( [ I ^ k ( f ) − I k ( f ) ] 2 ) ⩽ c 2 N {\displaystyle \sup _{k\geqslant 0}E\left(\left[{\widehat {I}}_{k}(f)-I_{k}(f)\right]^{2}\right)\leqslant {\frac {c_{2}}{N}}} 1で制限される任意 の関数 f といくつかの有限定数に対して さらに、任意のに対して : c 1 , c 2 . {\displaystyle c_{1},c_{2}.} x ⩾ 0 {\displaystyle x\geqslant 0}
P ( | I ^ k ( f ) − I k ( f ) | ⩽ c 1 x N + c 2 x N ∧ sup 0 ⩽ k ⩽ n | I ^ k ( f ) − I k ( f ) | ⩽ c x log ( n ) N ) > 1 − e − x {\displaystyle \mathbf {P} \left(\left|{\widehat {I}}_{k}(f)-I_{k}(f)\right|\leqslant c_{1}{\frac {x}{N}}+c_{2}{\sqrt {\frac {x}{N}}}\land \sup _{0\leqslant k\leqslant n}\left|{\widehat {I}}_{k}(f)-I_{k}(f)\right|\leqslant c{\sqrt {\frac {x\log(n)}{N}}}\right)>1-e^{-x}} 漸近的バイアスと粒子推定値の分散に関連する いくつかの有限定数、および有限定数 c について。1ステップの最適予測子を最適フィルタ近似に置き換えても、同じ結果が得られます。 c 1 , c 2 {\displaystyle c_{1},c_{2}}
系図と不偏性の性質
系図ツリーに基づく粒子スムージング 祖先の系譜を遡る
( ξ ^ 0 , k i , ξ ^ 1 , k i , ⋯ , ξ ^ k − 1 , k i , ξ ^ k , k i ) , ( ξ 0 , k i , ξ 1 , k i , ⋯ , ξ k − 1 , k i , ξ k , k i ) {\displaystyle \left({\widehat {\xi }}_{0,k}^{i},{\widehat {\xi }}_{1,k}^{i},\cdots ,{\widehat {\xi }}_{k-1,k}^{i},{\widehat {\xi }}_{k,k}^{i}\right),\quad \left(\xi _{0,k}^{i},\xi _{1,k}^{i},\cdots ,\xi _{k-1,k}^{i},\xi _{k,k}^{i}\right)} 個体の 、そして 各時間ステップ k において、粒子近似も得られる。 ξ ^ k i ( = ξ ^ k , k i ) {\displaystyle {\widehat {\xi }}_{k}^{i}\left(={\widehat {\xi }}_{k,k}^{i}\right)} ξ k i ( = ξ k , k i ) {\displaystyle \xi _{k}^{i}\left(={\xi }_{k,k}^{i}\right)}
p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N δ ( ξ ^ 0 , k i , ⋯ , ξ ^ 0 , k i ) ( d ( x 0 , ⋯ , x k ) ) ≈ N ↑ ∞ p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) ≈ N ↑ ∞ ∑ i = 1 N p ( y k | ξ k , k i ) ∑ j = 1 N p ( y k | ξ k , k j ) δ ( ξ 0 , k i , ⋯ , ξ 0 , k i ) ( d ( x 0 , ⋯ , x k ) ) p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N δ ( ξ 0 , k i , ⋯ , ξ k , k i ) ( d ( x 0 , ⋯ , x k ) ) ≈ N ↑ ∞ p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) := p ( x 0 , ⋯ , x k | y 0 , ⋯ , y k − 1 ) d x 0 , ⋯ , d x k {\displaystyle {\begin{aligned}{\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})&:={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\left({\widehat {\xi }}_{0,k}^{i},\cdots ,{\widehat {\xi }}_{0,k}^{i}\right)}(d(x_{0},\cdots ,x_{k}))\\&\approx _{N\uparrow \infty }p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})\\&\approx _{N\uparrow \infty }\sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k,k}^{i})}{\sum _{j=1}^{N}p(y_{k}|\xi _{k,k}^{j})}}\delta _{\left(\xi _{0,k}^{i},\cdots ,\xi _{0,k}^{i}\right)}(d(x_{0},\cdots ,x_{k}))\\&\ \\{\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})&:={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\left(\xi _{0,k}^{i},\cdots ,\xi _{k,k}^{i}\right)}(d(x_{0},\cdots ,x_{k}))\\&\approx _{N\uparrow \infty }p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})\\&:=p(x_{0},\cdots ,x_{k}|y_{0},\cdots ,y_{k-1})dx_{0},\cdots ,dx_{k}\end{aligned}}} これらの経験的近似は粒子積分近似と同等である。
∫ F ( x 0 , ⋯ , x n ) p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) := 1 N ∑ i = 1 N F ( ξ ^ 0 , k i , ⋯ , ξ ^ 0 , k i ) ≈ N ↑ ∞ ∫ F ( x 0 , ⋯ , x n ) p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k ) ≈ N ↑ ∞ ∑ i = 1 N p ( y k | ξ k , k i ) ∑ j = 1 N p ( y k | ξ k , k j ) F ( ξ 0 , k i , ⋯ , ξ k , k i ) ∫ F ( x 0 , ⋯ , x n ) p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N F ( ξ 0 , k i , ⋯ , ξ k , k i ) ≈ N ↑ ∞ ∫ F ( x 0 , ⋯ , x n ) p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) {\displaystyle {\begin{aligned}\int F(x_{0},\cdots ,x_{n}){\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})&:={\frac {1}{N}}\sum _{i=1}^{N}F\left({\widehat {\xi }}_{0,k}^{i},\cdots ,{\widehat {\xi }}_{0,k}^{i}\right)\\&\approx _{N\uparrow \infty }\int F(x_{0},\cdots ,x_{n})p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k})\\&\approx _{N\uparrow \infty }\sum _{i=1}^{N}{\frac {p(y_{k}|\xi _{k,k}^{i})}{\sum _{j=1}^{N}p(y_{k}|\xi _{k,k}^{j})}}F\left(\xi _{0,k}^{i},\cdots ,\xi _{k,k}^{i}\right)\\&\ \\\int F(x_{0},\cdots ,x_{n}){\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})&:={\frac {1}{N}}\sum _{i=1}^{N}F\left(\xi _{0,k}^{i},\cdots ,\xi _{k,k}^{i}\right)\\&\approx _{N\uparrow \infty }\int F(x_{0},\cdots ,x_{n})p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})\end{aligned}}} 信号のランダム軌道上の任意の 有界関数 Fに対して。 [54] に示されているように、系図樹の進化は、信号軌道の事後密度に関連する進化方程式の平均場粒子解釈と一致する。これらのパス空間モデルの詳細については、書籍 [10] [5]を参照のこと。
尤度関数の不偏粒子推定 積の式を使用します
p ( y 0 , ⋯ , y n ) = ∏ k = 0 n p ( y k | y 0 , ⋯ , y k − 1 ) {\displaystyle p(y_{0},\cdots ,y_{n})=\prod _{k=0}^{n}p(y_{k}|y_{0},\cdots ,y_{k-1})} と
p ( y k | y 0 , ⋯ , y k − 1 ) = ∫ p ( y k | x k ) p ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle p(y_{k}|y_{0},\cdots ,y_{k-1})=\int p(y_{k}|x_{k})p(dx_{k}|y_{0},\cdots ,y_{k-1})} 慣例と k = 0の 場合。 経験的 近似 に置き換えると p ( y 0 | y 0 , ⋯ , y − 1 ) = p ( y 0 ) {\displaystyle p(y_{0}|y_{0},\cdots ,y_{-1})=p(y_{0})} p ( x 0 | y 0 , ⋯ , y − 1 ) = p ( x 0 ) , {\displaystyle p(x_{0}|y_{0},\cdots ,y_{-1})=p(x_{0}),} p ( x k | y 0 , ⋯ , y k − 1 ) d x k {\displaystyle p(x_{k}|y_{0},\cdots ,y_{k-1})dx_{k}}
p ^ ( d x k | y 0 , ⋯ , y k − 1 ) := 1 N ∑ i = 1 N δ ξ k i ( d x k ) ≈ N ↑ ∞ p ( d x k | y 0 , ⋯ , y k − 1 ) {\displaystyle {\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1}):={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k}^{i}}(dx_{k})\approx _{N\uparrow \infty }p(dx_{k}|y_{0},\cdots ,y_{k-1})} 上記の式では、尤度関数の次のような不偏粒子近似を設計する。
p ( y 0 , ⋯ , y n ) ≈ N ↑ ∞ p ^ ( y 0 , ⋯ , y n ) = ∏ k = 0 n p ^ ( y k | y 0 , ⋯ , y k − 1 ) {\displaystyle p(y_{0},\cdots ,y_{n})\approx _{N\uparrow \infty }{\widehat {p}}(y_{0},\cdots ,y_{n})=\prod _{k=0}^{n}{\widehat {p}}(y_{k}|y_{0},\cdots ,y_{k-1})} と
p ^ ( y k | y 0 , ⋯ , y k − 1 ) = ∫ p ( y k | x k ) p ^ ( d x k | y 0 , ⋯ , y k − 1 ) = 1 N ∑ i = 1 N p ( y k | ξ k i ) {\displaystyle {\widehat {p}}(y_{k}|y_{0},\cdots ,y_{k-1})=\int p(y_{k}|x_{k}){\widehat {p}}(dx_{k}|y_{0},\cdots ,y_{k-1})={\frac {1}{N}}\sum _{i=1}^{N}p(y_{k}|\xi _{k}^{i})} ここで、は で評価された 密度を表す 。この粒子推定の設計と不偏性は、1996年の論文 [2]で証明されている。改良された分散推定値は [5]と [10] に記載されている 。 p ( y k | ξ k i ) {\displaystyle p(y_{k}|\xi _{k}^{i})} p ( y k | x k ) {\displaystyle p(y_{k}|x_{k})} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}}
後方粒子スムージング ベイズの定理を用いると、次の式が得られる。
p ( x 0 , ⋯ , x n | y 0 , ⋯ , y n − 1 ) = p ( x n | y 0 , ⋯ , y n − 1 ) p ( x n − 1 | x n , y 0 , ⋯ , y n − 1 ) ⋯ p ( x 1 | x 2 , y 0 , y 1 ) p ( x 0 | x 1 , y 0 ) {\displaystyle p(x_{0},\cdots ,x_{n}|y_{0},\cdots ,y_{n-1})=p(x_{n}|y_{0},\cdots ,y_{n-1})p(x_{n-1}|x_{n},y_{0},\cdots ,y_{n-1})\cdots p(x_{1}|x_{2},y_{0},y_{1})p(x_{0}|x_{1},y_{0})} 注意してください
p ( x k − 1 | x k , ( y 0 , ⋯ , y k − 1 ) ) ∝ p ( x k | x k − 1 ) p ( x k − 1 | ( y 0 , ⋯ , y k − 1 ) ) p ( x k − 1 | ( y 0 , ⋯ , y k − 1 ) ∝ p ( y k − 1 | x k − 1 ) p ( x k − 1 | ( y 0 , ⋯ , y k − 2 ) {\displaystyle {\begin{aligned}p(x_{k-1}|x_{k},(y_{0},\cdots ,y_{k-1}))&\propto p(x_{k}|x_{k-1})p(x_{k-1}|(y_{0},\cdots ,y_{k-1}))\\p(x_{k-1}|(y_{0},\cdots ,y_{k-1})&\propto p(y_{k-1}|x_{k-1})p(x_{k-1}|(y_{0},\cdots ,y_{k-2})\end{aligned}}} これは、
p ( x k − 1 | x k , ( y 0 , ⋯ , y k − 1 ) ) = p ( y k − 1 | x k − 1 ) p ( x k | x k − 1 ) p ( x k − 1 | y 0 , ⋯ , y k − 2 ) ∫ p ( y k − 1 | x k − 1 ′ ) p ( x k | x k − 1 ′ ) p ( x k − 1 ′ | y 0 , ⋯ , y k − 2 ) d x k − 1 ′ {\displaystyle p(x_{k-1}|x_{k},(y_{0},\cdots ,y_{k-1}))={\frac {p(y_{k-1}|x_{k-1})p(x_{k}|x_{k-1})p(x_{k-1}|y_{0},\cdots ,y_{k-2})}{\int p(y_{k-1}|x'_{k-1})p(x_{k}|x'_{k-1})p(x'_{k-1}|y_{0},\cdots ,y_{k-2})dx'_{k-1}}}} ワンステップ最適予測変数を 粒子 経験的尺度に置き換える p ( x k − 1 | ( y 0 , ⋯ , y k − 2 ) ) d x k − 1 {\displaystyle p(x_{k-1}|(y_{0},\cdots ,y_{k-2}))dx_{k-1}}
p ^ ( d x k − 1 | ( y 0 , ⋯ , y k − 2 ) ) = 1 N ∑ i = 1 N δ ξ k − 1 i ( d x k − 1 ) ( ≈ N ↑ ∞ p ( d x k − 1 | ( y 0 , ⋯ , y k − 2 ) ) := p ( x k − 1 | ( y 0 , ⋯ , y k − 2 ) ) d x k − 1 ) {\displaystyle {\widehat {p}}(dx_{k-1}|(y_{0},\cdots ,y_{k-2}))={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{k-1}^{i}}(dx_{k-1})\left(\approx _{N\uparrow \infty }p(dx_{k-1}|(y_{0},\cdots ,y_{k-2})):={p}(x_{k-1}|(y_{0},\cdots ,y_{k-2}))dx_{k-1}\right)} 私たちは、
p ( d x k − 1 | x k , ( y 0 , ⋯ , y k − 1 ) ) ≈ N ↑ ∞ p ^ ( d x k − 1 | x k , ( y 0 , ⋯ , y k − 1 ) ) := p ( y k − 1 | x k − 1 ) p ( x k | x k − 1 ) p ^ ( d x k − 1 | y 0 , ⋯ , y k − 2 ) ∫ p ( y k − 1 | x k − 1 ′ ) p ( x k | x k − 1 ′ ) p ^ ( d x k − 1 ′ | y 0 , ⋯ , y k − 2 ) = ∑ i = 1 N p ( y k − 1 | ξ k − 1 i ) p ( x k | ξ k − 1 i ) ∑ j = 1 N p ( y k − 1 | ξ k − 1 j ) p ( x k | ξ k − 1 j ) δ ξ k − 1 i ( d x k − 1 ) {\displaystyle {\begin{aligned}p(dx_{k-1}|x_{k},(y_{0},\cdots ,y_{k-1}))&\approx _{N\uparrow \infty }{\widehat {p}}(dx_{k-1}|x_{k},(y_{0},\cdots ,y_{k-1}))\\&:={\frac {p(y_{k-1}|x_{k-1})p(x_{k}|x_{k-1}){\widehat {p}}(dx_{k-1}|y_{0},\cdots ,y_{k-2})}{\int p(y_{k-1}|x'_{k-1})~p(x_{k}|x'_{k-1}){\widehat {p}}(dx'_{k-1}|y_{0},\cdots ,y_{k-2})}}\\&=\sum _{i=1}^{N}{\frac {p(y_{k-1}|\xi _{k-1}^{i})p(x_{k}|\xi _{k-1}^{i})}{\sum _{j=1}^{N}p(y_{k-1}|\xi _{k-1}^{j})p(x_{k}|\xi _{k-1}^{j})}}\delta _{\xi _{k-1}^{i}}(dx_{k-1})\end{aligned}}} 我々は次のように結論づけた。
p ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) ≈ N ↑ ∞ p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) {\displaystyle p(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))\approx _{N\uparrow \infty }{\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))} 後方粒子近似を用いた
p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) = p ^ ( d x n | ( y 0 , ⋯ , y n − 1 ) ) p ^ ( d x n − 1 | x n , ( y 0 , ⋯ , y n − 1 ) ) ⋯ p ^ ( d x 1 | x 2 , ( y 0 , y 1 ) ) p ^ ( d x 0 | x 1 , y 0 ) {\displaystyle {\begin{aligned}{\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))={\widehat {p}}(dx_{n}|(y_{0},\cdots ,y_{n-1})){\widehat {p}}(dx_{n-1}|x_{n},(y_{0},\cdots ,y_{n-1}))\cdots {\widehat {p}}(dx_{1}|x_{2},(y_{0},y_{1})){\widehat {p}}(dx_{0}|x_{1},y_{0})\end{aligned}}} 確率測定
p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) {\displaystyle {\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))} は、k=n から k=0 まで時間的に逆方向に進み、各時間ステップ k で粒子の集団に関連付けられた状態空間で進化する マルコフ連鎖のランダムパスの確率である。 ( X k , n ♭ ) 0 ⩽ k ⩽ n {\displaystyle \left(\mathbb {X} _{k,n}^{\flat }\right)_{0\leqslant k\leqslant n}} ξ k i , i = 1 , ⋯ , N . {\displaystyle \xi _{k}^{i},i=1,\cdots ,N.}
初期(時刻k=n)では、チェーン は分布が X n , n ♭ {\displaystyle \mathbb {X} _{n,n}^{\flat }} p ^ ( d x n | ( y 0 , ⋯ , y n − 1 ) ) = 1 N ∑ i = 1 N δ ξ n i ( d x n ) {\displaystyle {\widehat {p}}(dx_{n}|(y_{0},\cdots ,y_{n-1}))={\frac {1}{N}}\sum _{i=1}^{N}\delta _{\xi _{n}^{i}}(dx_{n})} 時刻kから時刻(k-1)まで、時刻kのある状態から始まる連鎖は、 時刻 (k-1)で 離散重み付き確率で選択されたランダムな状態に移動する。 X k , n ♭ = ξ k i {\displaystyle \mathbb {X} _{k,n}^{\flat }=\xi _{k}^{i}} i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} X k − 1 , n ♭ {\displaystyle \mathbb {X} _{k-1,n}^{\flat }} p ^ ( d x k − 1 | ξ k i , ( y 0 , ⋯ , y k − 1 ) ) = ∑ j = 1 N p ( y k − 1 | ξ k − 1 j ) p ( ξ k i | ξ k − 1 j ) ∑ l = 1 N p ( y k − 1 | ξ k − 1 l ) p ( ξ k i | ξ k − 1 l ) δ ξ k − 1 j ( d x k − 1 ) {\displaystyle {\widehat {p}}(dx_{k-1}|\xi _{k}^{i},(y_{0},\cdots ,y_{k-1}))=\sum _{j=1}^{N}{\frac {p(y_{k-1}|\xi _{k-1}^{j})p(\xi _{k}^{i}|\xi _{k-1}^{j})}{\sum _{l=1}^{N}p(y_{k-1}|\xi _{k-1}^{l})p(\xi _{k}^{i}|\xi _{k-1}^{l})}}~\delta _{\xi _{k-1}^{j}}(dx_{k-1})} 上記の式において、 は で評価された 条件付き分布を表します 。同様に、 およびは および で評価された 条件付き密度を表します。 これらのモデルは 、上で説明した連鎖のマルコフ遷移に関する行列演算によって、 密度に関する積分を簡約することを可能にします。 [55] 例えば、任意の関数について、 粒子推定値 p ^ ( d x k − 1 | ξ k i , ( y 0 , ⋯ , y k − 1 ) ) {\displaystyle {\widehat {p}}(dx_{k-1}|\xi _{k}^{i},(y_{0},\cdots ,y_{k-1}))} p ^ ( d x k − 1 | x k , ( y 0 , ⋯ , y k − 1 ) ) {\displaystyle {\widehat {p}}(dx_{k-1}|x_{k},(y_{0},\cdots ,y_{k-1}))} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}} p ( y k − 1 | ξ k − 1 j ) {\displaystyle p(y_{k-1}|\xi _{k-1}^{j})} p ( ξ k i | ξ k − 1 j ) {\displaystyle p(\xi _{k}^{i}|\xi _{k-1}^{j})} p ( y k − 1 | x k − 1 ) {\displaystyle p(y_{k-1}|x_{k-1})} p ( x k | x k − 1 ) {\displaystyle p(x_{k}|x_{k-1})} x k = ξ k i {\displaystyle x_{k}=\xi _{k}^{i}} x k − 1 = ξ k − 1 j . {\displaystyle x_{k-1}=\xi _{k-1}^{j}.} p ( ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) {\displaystyle p((x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))} f k {\displaystyle f_{k}}
∫ p ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) f k ( x k ) ≈ N ↑ ∞ ∫ p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) f k ( x k ) = ∫ p ^ ( d x n | ( y 0 , ⋯ , y n − 1 ) ) p ^ ( d x n − 1 | x n , ( y 0 , ⋯ , y n − 1 ) ) ⋯ p ^ ( d x k | x k + 1 , ( y 0 , ⋯ , y k ) ) f k ( x k ) = [ 1 N , ⋯ , 1 N ] ⏟ N times M n − 1 ⋯ M k [ f k ( ξ k 1 ) ⋮ f k ( ξ k N ) ] {\displaystyle {\begin{aligned}\int p(d(x_{0},\cdots ,x_{n})&|(y_{0},\cdots ,y_{n-1}))f_{k}(x_{k})\\&\approx _{N\uparrow \infty }\int {\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))f_{k}(x_{k})\\&=\int {\widehat {p}}(dx_{n}|(y_{0},\cdots ,y_{n-1})){\widehat {p}}(dx_{n-1}|x_{n},(y_{0},\cdots ,y_{n-1}))\cdots {\widehat {p}}(dx_{k}|x_{k+1},(y_{0},\cdots ,y_{k}))f_{k}(x_{k})\\&=\underbrace {\left[{\tfrac {1}{N}},\cdots ,{\tfrac {1}{N}}\right]} _{N{\text{ times}}}\mathbb {M} _{n-1}\cdots \mathbb {M} _{k}{\begin{bmatrix}f_{k}(\xi _{k}^{1})\\\vdots \\f_{k}(\xi _{k}^{N})\end{bmatrix}}\end{aligned}}} どこ
M k = ( M k ( i , j ) ) 1 ⩽ i , j ⩽ N : M k ( i , j ) = p ( ξ k i | ξ k − 1 j ) p ( y k − 1 | ξ k − 1 j ) ∑ l = 1 N p ( ξ k i | ξ k − 1 l ) p ( y k − 1 | ξ k − 1 l ) {\displaystyle \mathbb {M} _{k}=(\mathbb {M} _{k}(i,j))_{1\leqslant i,j\leqslant N}:\qquad \mathbb {M} _{k}(i,j)={\frac {p(\xi _{k}^{i}|\xi _{k-1}^{j})~p(y_{k-1}|\xi _{k-1}^{j})}{\sum \limits _{l=1}^{N}p(\xi _{k}^{i}|\xi _{k-1}^{l})p(y_{k-1}|\xi _{k-1}^{l})}}} これはまた、もし
F ¯ ( x 0 , ⋯ , x n ) := 1 n + 1 ∑ k = 0 n f k ( x k ) {\displaystyle {\overline {F}}(x_{0},\cdots ,x_{n}):={\frac {1}{n+1}}\sum _{k=0}^{n}f_{k}(x_{k})} それから
∫ F ¯ ( x 0 , ⋯ , x n ) p ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) ≈ N ↑ ∞ ∫ F ¯ ( x 0 , ⋯ , x n ) p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) = 1 n + 1 ∑ k = 0 n [ 1 N , ⋯ , 1 N ] ⏟ N times M n − 1 M n − 2 ⋯ M k [ f k ( ξ k 1 ) ⋮ f k ( ξ k N ) ] {\displaystyle {\begin{aligned}\int {\overline {F}}(x_{0},\cdots ,x_{n})p(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))&\approx _{N\uparrow \infty }\int {\overline {F}}(x_{0},\cdots ,x_{n}){\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))\\&={\frac {1}{n+1}}\sum _{k=0}^{n}\underbrace {\left[{\tfrac {1}{N}},\cdots ,{\tfrac {1}{N}}\right]} _{N{\text{ times}}}\mathbb {M} _{n-1}\mathbb {M} _{n-2}\cdots \mathbb {M} _{k}{\begin{bmatrix}f_{k}(\xi _{k}^{1})\\\vdots \\f_{k}(\xi _{k}^{N})\end{bmatrix}}\end{aligned}}} 粒子の平滑化は、固定遅延近似による単一のオンラインパスで達成することもできる。 [70]
いくつかの収束結果 フィルタリング方程式は、誤った初期条件を修正するという意味において安定していると仮定します。
この状況では、 尤度関数の粒子近似は 不偏であり、相対分散は
E ( p ^ ( y 0 , ⋯ , y n ) ) = p ( y 0 , ⋯ , y n ) , E ( [ p ^ ( y 0 , ⋯ , y n ) p ( y 0 , ⋯ , y n ) − 1 ] 2 ) ⩽ c n N , {\displaystyle E\left({\widehat {p}}(y_{0},\cdots ,y_{n})\right)=p(y_{0},\cdots ,y_{n}),\qquad E\left(\left[{\frac {{\widehat {p}}(y_{0},\cdots ,y_{n})}{p(y_{0},\cdots ,y_{n})}}-1\right]^{2}\right)\leqslant {\frac {cn}{N}},} 有限定数 c に対して成り立つ。さらに、任意の に対して成り立つ 。 x ⩾ 0 {\displaystyle x\geqslant 0}
P ( | 1 n log p ^ ( y 0 , ⋯ , y n ) − 1 n log p ( y 0 , ⋯ , y n ) | ⩽ c 1 x N + c 2 x N ) > 1 − e − x {\displaystyle \mathbf {P} \left(\left\vert {\frac {1}{n}}\log {{\widehat {p}}(y_{0},\cdots ,y_{n})}-{\frac {1}{n}}\log {p(y_{0},\cdots ,y_{n})}\right\vert \leqslant c_{1}{\frac {x}{N}}+c_{2}{\sqrt {\frac {x}{N}}}\right)>1-e^{-x}} 粒子推定値の漸近的バイアスと分散に関連する いくつかの有限定数、および有限定数 c 。 c 1 , c 2 {\displaystyle c_{1},c_{2}}
系図の祖先系統に基づく粒子推定値 のバイアスと分散
I k p a t h ( F ) := ∫ F ( x 0 , ⋯ , x k ) p ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) ≈ N ↑ ∞ I ^ k p a t h ( F ) := ∫ F ( x 0 , ⋯ , x k ) p ^ ( d ( x 0 , ⋯ , x k ) | y 0 , ⋯ , y k − 1 ) = 1 N ∑ i = 1 N F ( ξ 0 , k i , ⋯ , ξ k , k i ) {\displaystyle {\begin{aligned}I_{k}^{path}(F)&:=\int F(x_{0},\cdots ,x_{k})p(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})\\&\approx _{N\uparrow \infty }{\widehat {I}}_{k}^{path}(F)\\&:=\int F(x_{0},\cdots ,x_{k}){\widehat {p}}(d(x_{0},\cdots ,x_{k})|y_{0},\cdots ,y_{k-1})\\&={\frac {1}{N}}\sum _{i=1}^{N}F\left(\xi _{0,k}^{i},\cdots ,\xi _{k,k}^{i}\right)\end{aligned}}} 非漸近一様推定値によって制御される
| E ( I ^ k p a t h ( F ) ) − I k p a t h ( F ) | ⩽ c 1 k N , E ( [ I ^ k p a t h ( F ) − I k p a t h ( F ) ] 2 ) ⩽ c 2 k N , {\displaystyle \left|E\left({\widehat {I}}_{k}^{path}(F)\right)-I_{k}^{path}(F)\right|\leqslant {\frac {c_{1}k}{N}},\qquad E\left(\left[{\widehat {I}}_{k}^{path}(F)-I_{k}^{path}(F)\right]^{2}\right)\leqslant {\frac {c_{2}k}{N}},} 1で制限される任意 の関数 F といくつかの有限定数に対して、さらに任意のに対して : c 1 , c 2 . {\displaystyle c_{1},c_{2}.} x ⩾ 0 {\displaystyle x\geqslant 0}
P ( | I ^ k p a t h ( F ) − I k p a t h ( F ) | ⩽ c 1 k x N + c 2 k x N ∧ sup 0 ⩽ k ⩽ n | I ^ k p a t h ( F ) − I k p a t h ( F ) | ⩽ c x n log ( n ) N ) > 1 − e − x {\displaystyle \mathbf {P} \left(\left|{\widehat {I}}_{k}^{path}(F)-I_{k}^{path}(F)\right|\leqslant c_{1}{\frac {kx}{N}}+c_{2}{\sqrt {\frac {kx}{N}}}\land \sup _{0\leqslant k\leqslant n}\left|{\widehat {I}}_{k}^{path}(F)-I_{k}^{path}(F)\right|\leqslant c{\sqrt {\frac {xn\log(n)}{N}}}\right)>1-e^{-x}} 粒子推定値の漸近的バイアスと分散に関連する 有限定数、および有限定数 c について成り立つ。同様のバイアスと分散の推定値は、後方粒子スムージングにも当てはまる。加法関数が以下の形式である場合、 c 1 , c 2 {\displaystyle c_{1},c_{2}}
F ¯ ( x 0 , ⋯ , x n ) := 1 n + 1 ∑ 0 ⩽ k ⩽ n f k ( x k ) {\displaystyle {\overline {F}}(x_{0},\cdots ,x_{n}):={\frac {1}{n+1}}\sum _{0\leqslant k\leqslant n}f_{k}(x_{k})} と
I n p a t h ( F ¯ ) ≈ N ↑ ∞ I n ♭ , p a t h ( F ¯ ) := ∫ F ¯ ( x 0 , ⋯ , x n ) p ^ b a c k w a r d ( d ( x 0 , ⋯ , x n ) | ( y 0 , ⋯ , y n − 1 ) ) {\displaystyle I_{n}^{path}({\overline {F}})\approx _{N\uparrow \infty }I_{n}^{\flat ,path}({\overline {F}}):=\int {\overline {F}}(x_{0},\cdots ,x_{n}){\widehat {p}}_{backward}(d(x_{0},\cdots ,x_{n})|(y_{0},\cdots ,y_{n-1}))} 1で制限される 関数の場合、 f k {\displaystyle f_{k}}
sup n ⩾ 0 | E ( I ^ n ♭ , p a t h ( F ¯ ) ) − I n p a t h ( F ¯ ) | ⩽ c 1 N {\displaystyle \sup _{n\geqslant 0}{\left\vert E\left({\widehat {I}}_{n}^{\flat ,path}({\overline {F}})\right)-I_{n}^{path}({\overline {F}})\right\vert }\leqslant {\frac {c_{1}}{N}}} そして
E ( [ I ^ n ♭ , p a t h ( F ) − I n p a t h ( F ) ] 2 ) ⩽ c 2 n N + c 3 N 2 {\displaystyle E\left(\left[{\widehat {I}}_{n}^{\flat ,path}(F)-I_{n}^{path}(F)\right]^{2}\right)\leqslant {\frac {c_{2}}{nN}}+{\frac {c_{3}}{N^{2}}}} いくつかの有限定数については、 指数関数的に小さい誤差の確率を含むより洗練された推定値が開発されている。 [10] c 1 , c 2 , c 3 . {\displaystyle c_{1},c_{2},c_{3}.}
シーケンシャル・インポータンス・リサンプリング(SIR)
モンテカルロフィルタとブートストラップフィルタ シーケンシャルインポータンス リサンプリング (SIR) 、モンテカルロフィルタリング(Kitagawa 1993 [35] )、ブートストラップフィルタリングアルゴリズム(Gordon et al. 1993 [37] )、および単一分布リサンプリング(Bejuri WMYB et al. 2017 [71] )も、フィルタリング確率密度を 重み付き N サンプル
セットで近似する、一般的に適用されるフィルタリングアルゴリズムである。 p ( x k | y 0 , ⋯ , y k ) {\displaystyle p(x_{k}|y_{0},\cdots ,y_{k})}
{ ( w k ( i ) , x k ( i ) ) : i ∈ { 1 , ⋯ , N } } . {\displaystyle \left\{\left(w_{k}^{(i)},x_{k}^{(i)}\right)\ :\ i\in \{1,\cdots ,N\}\right\}.} 重要 度の重み は、サンプルの相対的な事後確率(または密度)の近似値であり、 w k ( i ) {\displaystyle w_{k}^{(i)}}
∑ i = 1 N w k ( i ) = 1. {\displaystyle \sum _{i=1}^{N}w_{k}^{(i)}=1.} 逐次重要度サンプリング(SIS)は、重要度サンプリング の逐次的(すなわち再帰的)バージョンである 。重要度サンプリングと同様に、関数 f の期待値は加重平均として近似できる。
∫ f ( x k ) p ( x k | y 0 , … , y k ) d x k ≈ ∑ i = 1 N w k ( i ) f ( x k ( i ) ) . {\displaystyle \int f(x_{k})p(x_{k}|y_{0},\dots ,y_{k})dx_{k}\approx \sum _{i=1}^{N}w_{k}^{(i)}f(x_{k}^{(i)}).} 有限のサンプル集合の場合、アルゴリズムのパフォーマンスは提案分布 の選択に依存する。
π ( x k | x 0 : k − 1 , y 0 : k ) {\displaystyle \pi (x_{k}|x_{0:k-1},y_{0:k})\,} 。 「 最適な」提案分布は 目標分布 として与えられる
π ( x k | x 0 : k − 1 , y 0 : k ) = p ( x k | x k − 1 , y k ) = p ( y k | x k ) ∫ p ( y k | x k ) p ( x k | x k − 1 ) d x k p ( x k | x k − 1 ) . {\displaystyle \pi (x_{k}|x_{0:k-1},y_{0:k})=p(x_{k}|x_{k-1},y_{k})={\frac {p(y_{k}|x_{k})}{\int p(y_{k}|x_{k})p(x_{k}|x_{k-1})dx_{k}}}~p(x_{k}|x_{k-1}).} この特定の提案遷移の選択は、1996年と1998年にP.デルモラルによって提案された。 [4] 分布に従って遷移をサンプリングすることが難しい場合、 1つの自然な戦略は次の粒子近似を使用することである。 p ( x k | x k − 1 , y k ) {\displaystyle p(x_{k}|x_{k-1},y_{k})}
p ( y k | x k ) ∫ p ( y k | x k ) p ( x k | x k − 1 ) d x k p ( x k | x k − 1 ) d x k ≃ N ↑ ∞ p ( y k | x k ) ∫ p ( y k | x k ) p ^ ( d x k | x k − 1 ) p ^ ( d x k | x k − 1 ) = ∑ i = 1 N p ( y k | X k i ( x k − 1 ) ) ∑ j = 1 N p ( y k | X k j ( x k − 1 ) ) δ X k i ( x k − 1 ) ( d x k ) {\displaystyle {\begin{aligned}{\frac {p(y_{k}|x_{k})}{\int p(y_{k}|x_{k})p(x_{k}|x_{k-1})dx_{k}}}p(x_{k}|x_{k-1})dx_{k}&\simeq _{N\uparrow \infty }{\frac {p(y_{k}|x_{k})}{\int p(y_{k}|x_{k}){\widehat {p}}(dx_{k}|x_{k-1})}}{\widehat {p}}(dx_{k}|x_{k-1})\\&=\sum _{i=1}^{N}{\frac {p(y_{k}|X_{k}^{i}(x_{k-1}))}{\sum _{j=1}^{N}p(y_{k}|X_{k}^{j}(x_{k-1}))}}\delta _{X_{k}^{i}(x_{k-1})}(dx_{k})\end{aligned}}} 経験的近似値
p ^ ( d x k | x k − 1 ) = 1 N ∑ i = 1 N δ X k i ( x k − 1 ) ( d x k ) ≃ N ↑ ∞ p ( x k | x k − 1 ) d x k {\displaystyle {\widehat {p}}(dx_{k}|x_{k-1})={\frac {1}{N}}\sum _{i=1}^{N}\delta _{X_{k}^{i}(x_{k-1})}(dx_{k})~\simeq _{N\uparrow \infty }p(x_{k}|x_{k-1})dx_{k}} 与えられた ランダム状態の条件付き分布に 従う N個 (または任意の多数のサンプル)の独立したランダムサンプルに関連付けられた。この近似から得られる粒子フィルタの整合性とその他の拡張は [4] で展開されている。 上記の表示は、 与えられた状態aにおける ディラック測度 を表す。 X k i ( x k − 1 ) , i = 1 , ⋯ , N {\displaystyle X_{k}^{i}(x_{k-1}),i=1,\cdots ,N} X k {\displaystyle X_{k}} X k − 1 = x k − 1 {\displaystyle X_{k-1}=x_{k-1}} δ a {\displaystyle \delta _{a}}
ただし、遷移事前確率分布は、粒子(またはサンプル)を描画してその後の重要度重み計算を実行する方が簡単なため、重要度関数としてよく使用されます。
π ( x k | x 0 : k − 1 , y 0 : k ) = p ( x k | x k − 1 ) . {\displaystyle \pi (x_{k}|x_{0:k-1},y_{0:k})=p(x_{k}|x_{k-1}).} 遷移事前確率分布を重要度関数として使用する SIR ( Sequential Importance Resampling ) フィルターは、一般に ブートストラップ フィルター および 凝縮アルゴリズム として知られています。
再サンプリングは 、アルゴリズムの退化の問題を回避するために用いられます。つまり、重要度の重みの1つを除いてすべてがゼロに近づく状況を回避するためです。アルゴリズムの性能は、適切な再サンプリング方法の選択によっても影響を受けます。Kitagawa (1993 [35] ) が提案した 層別サンプリングは 、分散の観点から最適です。
順次重要度再サンプリングの 1 つのステップは次のとおりです。
1) 提案分布 からの抽出サンプル i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} x k ( i ) ∼ π ( x k | x 0 : k − 1 ( i ) , y 0 : k ) {\displaystyle x_{k}^{(i)}\sim \pi (x_{k}|x_{0:k-1}^{(i)},y_{0:k})} 2) 重要度の重みを正規化定数まで更新します。 i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} w ^ k ( i ) = w k − 1 ( i ) p ( y k | x k ( i ) ) p ( x k ( i ) | x k − 1 ( i ) ) π ( x k ( i ) | x 0 : k − 1 ( i ) , y 0 : k ) . {\displaystyle {\hat {w}}_{k}^{(i)}=w_{k-1}^{(i)}{\frac {p(y_{k}|x_{k}^{(i)})p(x_{k}^{(i)}|x_{k-1}^{(i)})}{\pi (x_{k}^{(i)}|x_{0:k-1}^{(i)},y_{0:k})}}.} 遷移事前確率分布を重要度関数として使用する場合、 π ( x k ( i ) | x 0 : k − 1 ( i ) , y 0 : k ) = p ( x k ( i ) | x k − 1 ( i ) ) , {\displaystyle \pi (x_{k}^{(i)}|x_{0:k-1}^{(i)},y_{0:k})=p(x_{k}^{(i)}|x_{k-1}^{(i)}),} これを簡略化すると次のようになります。 w ^ k ( i ) = w k − 1 ( i ) p ( y k | x k ( i ) ) , {\displaystyle {\hat {w}}_{k}^{(i)}=w_{k-1}^{(i)}p(y_{k}|x_{k}^{(i)}),} 3) 正規化された重要度の重みを計算するには、 i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} w k ( i ) = w ^ k ( i ) ∑ j = 1 N w ^ k ( j ) {\displaystyle w_{k}^{(i)}={\frac {{\hat {w}}_{k}^{(i)}}{\sum _{j=1}^{N}{\hat {w}}_{k}^{(j)}}}} 4) 有効粒子数の推定値を計算する。 N ^ e f f = 1 ∑ i = 1 N ( w k ( i ) ) 2 {\displaystyle {\hat {N}}_{\mathit {eff}}={\frac {1}{\sum _{i=1}^{N}\left(w_{k}^{(i)}\right)^{2}}}} この基準は重みの分散を反映しています。その他の基準 については、厳密な分析や中心極限定理など、論文 [6]に記載されています。 5) 有効な粒子数が指定された閾値より少ない場合は 、再サンプリングを実行します。 N ^ e f f < N t h r {\displaystyle {\hat {N}}_{\mathit {eff}}<N_{thr}} a) 現在の粒子集合から、重みに比例した確率で N個の粒子を取り出し、現在の粒子集合をこの新しい粒子集合に置き換えます。 b) セットの場合 i = 1 , ⋯ , N {\displaystyle i=1,\cdots ,N} w k ( i ) = 1 / N . {\displaystyle w_{k}^{(i)}=1/N.} SIRフィルタを指す際に「サンプリング・インポータンス・リサンプリング」という用語も使用されることがあるが、 「リサンプリング」という言葉は最初のサンプリングがすでに行われていることを意味するため、「 インポータンス・リサンプリング 」という用語の方が正確である。 [72]
順次重要度サンプリング(SIS) シーケンシャル・インポータンス・サンプリング(SIS)はSIRアルゴリズムと同じですが、リサンプリング段階がありません。このバージョンでは、粒子重みの崩壊(すべての確率が1つまたは2つの粒子に集中し、残りの粒子重みは非常に小さな確率に対応する)がしばしば発生します。リサンプリングの導入により、この問題は軽減されます。
「直接版」アルゴリズム 「直接版」アルゴリズム [ 要出典 ] は(他の粒子フィルタリングアルゴリズムと比較して)かなり単純で、合成と除去を用いています。kにおける 単一のサンプル xを生成するには、 次 のようにします 。 p x k | y 1 : k ( x | y 1 : k ) {\displaystyle p_{x_{k}|y_{1:k}}(x|y_{1:k})}
1) n = 0 を設定します(これにより、これまでに生成された粒子の数をカウントします) 2) 範囲からインデックスiを 一様に選択する { 1 , . . . , N } {\displaystyle \{1,...,N\}} 3)分布から テスト を生成する x ^ {\displaystyle {\hat {x}}} p ( x k | x k − 1 ) {\displaystyle p(x_{k}|x_{k-1})} x k − 1 = x k − 1 | k − 1 ( i ) {\displaystyle x_{k-1}=x_{k-1|k-1}^{(i)}} 4)測定値が どこ から 使用される かの確率を生成する y ^ {\displaystyle {\hat {y}}} x ^ {\displaystyle {\hat {x}}} p ( y k | x k ) , with x k = x ^ {\displaystyle p(y_{k}|x_{k}),~{\mbox{with}}~x_{k}={\hat {x}}} y k {\displaystyle y_{k}} 5) もう一つの 均一な uを生成する 。 [ 0 , m k ] {\displaystyle [0,m_{k}]} m k = sup x k p ( y k | x k ) {\displaystyle m_{k}=\sup _{x_{k}}p(y_{k}|x_{k})} 6) uと p ( y ^ ) {\displaystyle p\left({\hat {y}}\right)} 6a) uが大きい場合は手順2から繰り返します 6b) uが小さい場合は 名前を付けて保存し 、nを増分する x ^ {\displaystyle {\hat {x}}} x k | k ( i ) {\displaystyle x_{k|k}^{(i)}} 7) n == N の場合は終了する 目標は、 からの粒子のみを用いて、 k に P 個の「粒子」を生成することです。そのためには、のみに基づいて を生成するマルコフ方程式を記述(および計算)できる必要があります 。このアルゴリズムは、 からの P 個の粒子の合成を用いて k に粒子を生成し、 k に P 個の粒子が生成されるまで(手順 2~6)を繰り返します 。 k − 1 {\displaystyle k-1} x k {\displaystyle x_{k}} x k − 1 {\displaystyle x_{k-1}} k − 1 {\displaystyle k-1}
x を 2次元配列として見る と、より容易に視覚化できます。1次元目は k で、もう1次元目は粒子番号です。例えば、は における i 番目の 粒子 であり 、 と書くこともできます (上記のアルゴリズムで行ったように)。ステップ3では、 時刻 における ランダムに選択された粒子 ( ) に基づいて ポテンシャルを 生成し、ステップ6でそれを棄却または承認します。つまり、 値は以前に生成された を用いて生成されます 。 x ( k , i ) {\displaystyle x(k,i)} k {\displaystyle k} x k ( i ) {\displaystyle x_{k}^{(i)}} x k {\displaystyle x_{k}} x k − 1 ( i ) {\displaystyle x_{k-1}^{(i)}} k − 1 {\displaystyle k-1} x k {\displaystyle x_{k}} x k − 1 {\displaystyle x_{k-1}}
アプリケーション 粒子フィルタとファインマン-カック粒子法は、次のようなノイズの多い観測や強い非線形性に対処するための効果的な手段として、さまざまな状況で応用されています。
その他の粒子フィルター 補助粒子フィルター [83] コスト参照粒子フィルター 指数関数的自然粒子フィルタ [84] ファインマン・カック法と平均場粒子法 [2] [10] [5] ガウス粒子フィルタ ガウス・エルミート粒子フィルター 階層的/スケーラブル粒子フィルタ [85] ナッジ粒子フィルタ [86] 粒子マルコフ連鎖モンテカルロ法については、擬似 周辺メトロポリス-ヘイスティングスアルゴリズム を参照してください。 ラオ・ブラックウェル粒子フィルタ [53] 正規化補助粒子フィルタ [87] 拒絶サンプリング に基づく最適粒子フィルタ [88] [89] 無香料粒子フィルター オンライン粒子スムージング [70]
参照
参考文献 ^ Wills, Adrian G.; Schön, Thomas B. (2023年5月3日). 「シーケンシャル・モンテカルロ:統一レビュー」. Annual Review of Control, Robotics, and Autonomous Systems . 6 (1): 159– 182. doi : 10.1146/annurev-control-042920-015119 . ISSN 2573-5144. S2CID 255638127. ^ abcdefghij Del Moral, Pierre (1996). 「非線形フィルタリング:相互作用粒子解法」 (PDF) . マルコフ過程と関連分野 . 2 (4): 555– 580. ^ Liu, Jun S.; Chen, Rong (1998-09-01). 「動的システムのための逐次モンテカルロ法」. アメリカ統計学会誌 . 93 (443): 1032– 1044. doi :10.1080/01621459.1998.10473765. ISSN 0162-1459. ^ abcdefg デル・モラル、ピエール (1998)。 「価値のあるプロセスと相互作用する粒子システムの測定。非線形フィルタリング問題への応用」。 応用確率の年報 。 8 (2) (Publications du Laboratoire de Statistique et Probabilités、96-15 (1996) ed.): 438–495。doi : 10.1214 / aoap / 1028903535 。 ^ abcdefghijkl デル・モラル、ピエール (2004). ファインマン-カック公式. 系譜学的および相互作用粒子近似. シュプリンガー. シリーズ:確率とその応用. p. 556. ISBN 978-0-387-20268-6 。 ^ abc デル・モラル、ピエール;ドゥーセ、アルノー。ジャスラ、アジェイ (2012)。 「逐次モンテカルロ法の適応リサンプリング手順について」 (PDF) 。 ベルヌーイ 。 18 (1): 252–278 . 土井 : 10.3150/10-bej335 。 S2CID 4506682。 ^ abc Del Moral, Pierre (2004). ファインマン-カック公式. 系譜学的および相互作用粒子近似. 確率とその応用. Springer. p. 575. ISBN 9780387202686 シリーズ :確率とその応用 ^ abcdefgh デル・モラル、ピエール;マイクロ、ローラン (2000)。 「非線形フィルタリングへの応用によるファインマン・カック公式の分岐および相互作用粒子系近似」。ジャック・アゼマの場合。ミシェル・ルドゥー。ミシェル・エメリ;マーク・ヨール(編)。確率セミナー XXXIV (PDF) 。数学の講義ノート。 Vol. 1729. pp. 1–145 . 土井 :10.1007/bfb0103798。 ISBN 978-3-540-67314-9 。 ^ ab Del Moral, Pierre; Miclo, Laurent (2000). 「ファインマン-カック公式のモラン粒子系近似」. 確率過程とその応用 . 86 (2): 193– 216. doi :10.1016/S0304-4149(99)00094-0. S2CID 122757112. ^ abcdefghijk デル・モラル、ピエール (2013). モンテカルロ積分のための平均場シミュレーション. チャップマン&ホール/CRCプレス. p. 626. 統計と応用確率に関するモノグラフ ^ Moral, Piere Del; Doucet, Arnaud (2014). 「粒子法:応用を伴う入門」 ESAIM: Proc . 44 : 1–46 . doi : 10.1051/proc/201444001 . ^ ab Rosenbluth, Marshall, N.; Rosenbluth, Arianna, W. (1955). 「高分子鎖の平均伸長のモンテカルロ計算」 J. Chem. Phys . 23 (2): 356– 359. Bibcode :1955JChPh..23..356R. doi : 10.1063/1.1741967 . S2CID 89611599. {{cite journal }}: CS1 maint: multiple names: authors list (link )^ abc Hetherington, Jack, H. (1984). 「行列の統計的反復法に関する考察」. Phys. Rev. A. 30 ( 2713): 2713– 2719. Bibcode :1984PhRvA..30.2713H. doi :10.1103/PhysRevA.30.2713. {{cite journal }}: CS1 maint: multiple names: authors list (link )^ ab Del Moral, Pierre (2003). 「シュレーディンガー作用素とファインマン・カッツ半群に関連するリアプノフ指数の粒子近似」 ESAIM Probability & Statistics . 7 : 171–208 . doi : 10.1051/ps:2003001 . ^ Assaraf, Roland; Caffarel, Michel; Khelif, Anatole (2000). 「ウォーカー数を固定した拡散モンテカルロ法」 (PDF) . Phys. Rev. E. 61 ( 4): 4566– 4575. Bibcode :2000PhRvE..61.4566A. doi :10.1103/physreve.61.4566. PMID 11088257. 2014年11月7日時点のオリジナル (PDF) からアーカイブ。 ^ Caffarel, Michel; Ceperley, David; Kalos, Malvin (1993). 「原子の基底状態エネルギーのFeynman-Kac経路積分計算に関するコメント」. Phys. Rev. Lett . 71 (13): 2159. Bibcode :1993PhRvL..71.2159C. doi :10.1103/physrevlett.71.2159. PMID 10054598. ^ Ocone, DL (1999年1月1日). 「ベネシュフィルタの漸近安定性」. 確率解析とその応用 . 17 (6): 1053– 1074. doi :10.1080/07362999908809648. ISSN 0736-2994. ^ モーレル、ミレーユ・シャレヤ;ミシェル、ドミニク(1984年1月1日)。 「次元の限界による非存在の結果」。 ストキャスティクス 。 13 ( 1–2 ): 83–102 . 土井 :10.1080/17442508408833312。 ISSN 0090-9491。 ^ abc Hajiramezanali, Ehsan; Imani, Mahdi; Braga-Neto, Ulisses; Qian, Xiaoning; Dougherty, Edward R. (2019). 「制御モデルの不確実性下における単一細胞軌跡のスケーラブルな最適ベイズ分類」. BMC Genomics . 20 (Suppl 6): 435. arXiv : 1902.03188 . Bibcode :2019arXiv190203188H. doi : 10.1186/s12864-019-5720-3 . PMC 6561847. PMID 31189480 . ^ ^ ^ チューリング、アラン・M. (1950年10月). 「計算機械と知能」. Mind . LIX (238): 433– 460. doi :10.1093/mind/LIX.236.433. ^ バリチェリ、ニルス・アール (1954)。 「進化過程における数値計算」。 メソッド : 45–68 。 ^ バリチェリ、ニルス・オール (1957年)「人工的手法によって実現される共生的進化プロセス」 『 方法論』 143-182 頁。 ^ Hammersley, JM; Morton, KW (1954). 「Poor Man's Monte Carlo」. Journal of the Royal Statistical Society. Series B (Methodological) . 16 (1): 23– 38. doi :10.1111/j.2517-6161.1954.tb00145.x. JSTOR 2984008. ^ バリチェリ、ニルス・オール (1963). 「進化理論の数値的検証。第2部:性能、共生、そして地球上の生命に関する予備的検証」. Acta Biotheoretica . 16 ( 3–4 ): 99– 126. doi :10.1007/BF01556602. S2CID 86717105. ^ 「自然システムと人工システムにおける適応 | MITプレス」 mitpress.mit.edu . 2015年6月6日 閲覧 。 ^ フレイザー、アレックス (1957). 「自動デジタルコンピュータによる遺伝システムのシミュレーション。I. 序論」. Aust. J. Biol. Sci . 10 (4): 484– 491. doi : 10.1071/BI9570484 . ^ アレックス・フレイザー 、ドナルド・バーネル(1970年) 『遺伝学におけるコンピュータモデル 』ニューヨーク:マグロウヒル、 ISBN 978-0-07-021904-5 。 ^ クロスビー、ジャック・L. (1973). 遺伝学におけるコンピュータシミュレーション . ロンドン: ジョン・ワイリー・アンド・サンズ. ISBN 978-0-471-18880-3 。 ^ Assaraf, Roland; Caffarel, Michel; Khelif, Anatole (2000). 「ウォーカー数を固定した拡散モンテカルロ法」 (PDF) . Phys. Rev. E. 61 ( 4): 4566– 4575. Bibcode :2000PhRvE..61.4566A. doi :10.1103/physreve.61.4566. PMID 11088257. 2014年11月7日時点のオリジナル (PDF) からアーカイブ。 ^ Caffarel, Michel; Ceperley, David; Kalos, Malvin (1993). 「原子の基底状態エネルギーのFeynman-Kac経路積分計算に関するコメント」. Phys. Rev. Lett . 71 (13): 2159. Bibcode :1993PhRvL..71.2159C. doi :10.1103/physrevlett.71.2159. PMID 10054598. ^ フェルミ、エンリケ、リヒトマイヤー、ロバート、D. (1948). 「モンテカルロ法における人口調査に関する注記」 (PDF) . LAM . 805 (A). 機密解除された報告書 ロスアラモス文書館 {{cite journal }}: CS1 maint: multiple names: authors list (link )^ ハーマン・カーン、ハリス・セオドア、E. (1951). 「ランダムサンプリングによる粒子透過率の推定」 (PDF) . Natl. Bur. Stand. Appl. Math. Ser . 12 : 27–30 . {{cite journal }}: CS1 maint: multiple names: authors list (link )^ abc 北川 剛 (1993年1月). 「非ガウス非線形状態空間モデルのためのモンテカルロフィルタリングおよびスムージング法」 (PDF) . 第2回統計時系列解析に関する日米合同セミナー論文集 : 110–131 . ^ Kitagawa, G. (1996). 「非ガウス非線形状態空間モデルのためのモンテカルロフィルタとスムーザ」. Journal of Computational and Graphical Statistics . 5 (1): 1– 25. doi :10.2307/1390750. JSTOR 1390750. ^ ab Gordon, NJ; Salmond, DJ; Smith, AFM (1993年4月). 「非線形/非ガウスベイズ状態推定への新たなアプローチ」. IEE Proceedings F - Radar and Signal Processing . 140 (2): 107– 113. doi :10.1049/ip-f-2.1993.0015. ISSN 0956-375X. ^ Carvalho, Himilcon; Del Moral, Pierre; Monin, André; Salut, Gérard (1997年7月). 「GPS/INS統合における最適非線形フィルタリング」 (PDF) . IEEE Transactions on Aerospace and Electronic Systems . 33 (3): 835. Bibcode :1997ITAES..33..835C. doi :10.1109/7.599254. S2CID 27966240. オリジナル (PDF) から2022年11月10日にアーカイブ。 2015年6月1日 閲覧 。 ^ P. デル モラル、G. リガル、G. サルート。推定と非線形最適制御: 粒子ソリューションのための統一フレームワーク LAAS-CNRS、トゥールーズ、研究レポート no. 91137、DRET-DIGILOG-LAAS/CNRS 契約、4 月 (1991 年)。 ^ P. Del Moral, G. Rigal, G. Salut. 非線形および非ガウス粒子フィルタの慣性プラットフォーム再配置への適用. LAAS-CNRS, トゥールーズ, 研究報告書番号92207, STCAN/DIGILOG-LAAS/CNRS コンベンション STCAN 番号A.91.77.013, (94p.) 9月 (1991年). ^ P. Del Moral, G. Rigal, G. Salut. 推定と非線形最適制御:フィルタリングと推定における粒子分解能。実験結果。Convention DRET no. 89.34.553.00.470.75.01、研究報告書第2号(54ページ)、1月(1992年)。 ^ P. Del Moral, G. Rigal, G. Salut. 推定と非線形最適制御:フィルタリングと推定における粒子分解能。理論的結果 DRET 会議第89.34.553.00.470.75.01号、研究報告書第3号(123ページ)、1992年10月。 ^ P. Del Moral, J.-Ch. Noyer, G. Rigal, G. Salut. 「レーダー信号処理における粒子フィルタ:検出、推定、空中目標認識」 LAAS-CNRS、トゥールーズ、研究報告書番号92495、1992年12月。 ^ P. Del Moral, G. Rigal, G. Salut. 推定と非線形最適制御:フィルタリングと推定における粒子分解. フィルタリング,最適制御,最大尤度推定に関する研究.Convention DRET no. 89.34.553.00.470.75.01.研究報告書第4号(210ページ),1993年1月. ^ ab Crisan, Dan; Gaines, Jessica; Lyons, Terry (1998). 「分岐粒子法によるZakai解への収束」. SIAM Journal on Applied Mathematics . 58 (5): 1568– 1590. doi :10.1137/s0036139996307371. S2CID 39982562. ^ Crisan, Dan; Lyons, Terry (1997). 「非線形フィルタリングと測度値プロセス」. 確率論と関連分野 . 109 (2): 217– 244. doi : 10.1007/s004400050131 . S2CID 119809371. ^ Crisan, Dan; Lyons, Terry (1999). 「クシュナー・ストラトノビッチ方程式の解の粒子近似」. 確率論と関連分野 . 115 (4): 549– 578. doi : 10.1007/s004400050249 . S2CID 117725141. ^ abc Crisan, Dan; Del Moral, Pierre; Lyons, Terry (1999). 「分岐および相互作用粒子システムを用いた離散フィルタリング」 (PDF) . マルコフ過程と関連分野 . 5 (3): 293– 318. ^ abcd Del Moral, Pierre; Guionnet, Alice (1999). 「測度値プロセスの安定性とフィルタリングへの応用について」. CR Acad. Sci. Paris . 39 (1): 429– 434. ^ abcd Del Moral, Pierre; Guionnet, Alice (2001). 「相互作用プロセスの安定性とフィルタリングおよび遺伝的アルゴリズムへの応用」 Annales de l'Institut Henri Poincaré . 37 (2): 155– 194. Bibcode :2001AIHPB..37..155D. doi :10.1016/s0246-0203(00)01064-5. 2014年11月7日時点のオリジナルよりアーカイブ。 ^ ab Del Moral, P.; Guionnet, A. (1999). 「非線形フィルタリングと相互作用粒子系の中心極限定理」. 応用確率年報 . 9 (2): 275– 297. doi : 10.1214/aoap/1029962742 . ISSN 1050-5164. ^ ab Del Moral, Pierre; Miclo, Laurent (2001). 「ファインマン-カック法と遺伝的モデルにおけるカオスの系譜と増大する伝播」 応用確率年報 . 11 (4): 1166– 1198. doi : 10.1214/aoap/1015345399 . ISSN 1050-5164. ^ ab Doucet, A.; De Freitas, N.; Murphy, K.; Russell, S. (2000). 動的ベイジアンネットワークにおけるRao–Blackwellised粒子フィルタリング .人工知能における不確実性に関する第16回会議論文集.pp. 176– 183. CiteSeerX 10.1.1.137.5199 . ^ ab デル・モラル, ピエール; ミクロ, ローラン (2001). 「ファインマン-カックモデルと遺伝的モデルにおけるカオスの系譜と増加伝播」. Annals of Applied Probability . 11 (4): 1166– 1198. ^ ab Del Moral, Pierre; Doucet, Arnaud; Singh, Sumeetpal, S. (2010). 「ファインマン-カック公式の逆粒子解釈」 (PDF) . M2AN . 44 (5): 947– 976. doi : 10.1051/m2an/2010048 . S2CID 14758161. {{cite journal }}: CS1 maint: multiple names: authors list (link )^ Vergé, Christelle; Dubarry, Cyrille; Del Moral, Pierre; Moulines, Eric (2013). 「逐次モンテカルロ法の並列実装について:島粒子モデル」. Statistics and Computing . 25 (2): 243– 260. arXiv : 1306.3911 . Bibcode :2013arXiv1306.3911V. doi :10.1007/s11222-013-9429-x. S2CID 39379264. ^ Chopin, Nicolas; Jacob, Pierre, E.; Papaspiliopoulos, Omiros (2011). 「SMC^2:状態空間モデルの逐次解析のための効率的なアルゴリズム」. arXiv : 1101.1528v3 [stat.CO]. {{cite arXiv }}: CS1 maint: multiple names: authors list (link )^ Andrieu, Christophe; Doucet, Arnaud; Holenstein, Roman (2010). 「粒子マルコフ連鎖モンテカルロ法」. Journal of the Royal Statistical Society, Series B. 72 ( 3): 269– 342. doi : 10.1111/j.1467-9868.2009.00736.x . ^ デル・モラル、ピエール;パトラス、フレデリック。ロバート・コーン(2014)。 「ファインマン・カックと粒子マルコフ連鎖モンテカルロモデルについて」。 arXiv : 1404.5733 [数学.PR]。 ^ デル・モラル、ピエール;ドゥーセ、アルノー。ジャスラ、アジェイ (2006)。 「シーケンシャル モンテカルロ サンプラー」。 王立統計協会のジャーナル。シリーズ B (統計的方法論) 。 68 (3): 411–436。arXiv : cond-mat / 0212648 。 土井 :10.1111/j.1467-9868.2006.00553.x。 ISSN 1369-7412。 JSTOR 3879283。 ^ Peters, Gareth (2005). 「シーケンシャルモンテカルロサンプラーのトピック」. SSRN電子ジャーナル . doi :10.2139/ssrn.3785582. ISSN 1556-5068. ^ Del Moral, Pierre; Doucet, Arnaud; Peters, Gareth (2004). 「シーケンシャル・モンテカルロ・サンプラーCUED技術レポート」. SSRN電子ジャーナル . doi :10.2139/ssrn.3841065. ISSN 1556-5068. ^ Sisson, SA; Fan, Y.; Beaumont, MA, 編 (2019). 近似ベイズ計算ハンドブック . ボカラトン: CRC Press, Taylor and Francis Group. ISBN 978-1-315-11719-5 。 ^ Peters, Gareth W.; Wüthrich, Mario V.; Shevchenko, Pavel V. (2010-08-01). 「チェーンラダー法:ベイズブートストラップ法と古典的ブートストラップ法」. Insurance: Mathematics and Economics . 47 (1): 36– 51. arXiv : 1004.2548 . doi :10.1016/j.insmatheco.2010.03.007. ISSN 0167-6687. ^ デル・モラル, ピエール; ジャコッド, ジャン; プロッター, フィリップ (2001-07-01). 「離散時間観測によるフィルタリングのためのモンテカルロ法」. 確率論と関連分野 . 120 (3): 346– 368. doi :10.1007/PL00008786. hdl : 1813/9179 . ISSN 0178-8051. S2CID 116274. ^ Del Moral, Pierre; Doucet, Arnaud; Jasra, Ajay (2011). 「近似ベイズ計算のための適応型逐次モンテカルロ法」. Statistics and Computing . 22 (5): 1009– 1020. CiteSeerX 10.1.1.218.9800 . doi :10.1007/s11222-011-9271-y. ISSN 0960-3174. S2CID 4514922. ^ Martin, James S.; Jasra, Ajay; Singh, Sumeetpal S.; Whiteley, Nick; Del Moral, Pierre; McCoy, Emma (2014年5月4日). 「平滑化のための近似ベイズ計算」. 確率解析とその応用 . 32 (3): 397– 420. arXiv : 1206.5208 . doi :10.1080/07362994.2013.879262. ISSN 0736-2994. S2CID 17117364. ^ デル・モラル, ピエール; リオ, エマニュエル (2011). 「平均場粒子モデルにおける濃度不等式」. 応用確率年報 . 21 (3): 1017–1052 . arXiv : 1211.1837 . doi :10.1214/10-AAP716. ISSN 1050-5164. S2CID 17693884. ^ デル・モラル、ピエール、フー、ペン、ウー、リミン (2012). 相互作用粒子過程の濃度特性について. マサチューセッツ州ハノーバー、アメリカ合衆国: Now Publishers Inc. ISBN 978-1601985125 。 ^ ab Duffield, Samuel; Singh, Sumeetpal (2022). 「オンライン粒子スムージングとマップマッチングへの応用」. IEEE Transactions on Signal Processing . 70 : 497–508 . arXiv : 2012.04602 . Bibcode :2022ITSP...70..497D. doi :10.1109/TSP.2022.3141259. ISSN 1053-587X. ^ ベジュリ、ワン・モフド・ヤコブ・ワン;モハマド、モハド・ムルタダ。ラジャ・モフド・ラジ、ラジャ・ザヒラ。サレー、マズリーナ。ユソフ、アフマド・ファディル (2017-10-18)。 「粒子フィルター用の適応メモリベースの単一分布リサンプリング」。 ビッグデータジャーナル 。 4 (1): 33. 土井 : 10.1186/s40537-017-0094-3 。 ISSN 2196-1115。 S2CID 256407088。 ^ ゲルマン, アンドリュー ; カーリン, ジョン・B.; スターン, ハル・S.; ダンソン, デイビッド・B.; ベタリ, アキ; ルービン, ドナルド・B. (2013). ベイズデータ分析 第3版 . チャップマン・アンド・ホール/CRC. ISBN 978-1-4398-4095-5 。 ^ Creal, Drew (2012). 「経済と金融のための逐次モンテカルロ法の概説」. 計量経済学レビュー . 31 (2): 245– 296. doi :10.1080/07474938.2011.607333. hdl : 1871/15287 . S2CID 2730761. ^ Moss, Robert; Zarebski, Alexander; Dawson, Peter; McCaw, James M. (2016). 「メルボルンにおけるインフルエンザ流行の動向:インターネット検索クエリ監視データを用いた予測」. インフルエンザおよびその他の呼吸器ウイルス . 10 (4): 314– 323. doi : 10.1111/irv.12376 . PMC 4910172. PMID 26859411 . ^ Shen, Yin; Xiangping, Zhu (2015). 「インテリジェント粒子フィルタと非線形システムの故障検出への応用」. IEEE Transactions on Industrial Electronics . 62 (6): 1. Bibcode :2015ITIE...62.3852Y. doi :10.1109/TIE.2015.2399396. S2CID 23951880. ^ D'Amato, Edigio; Notaro, Immacolata; Nardi, Vito Antonio; Scordamaglia, Valerio (2021). 「UAV IMUセンサーの障害検出と分離のための粒子フィルタリングアプローチ:設計、実装、感度分析」. Sensors . 21 (9): 3066. Bibcode :2021Senso..21.3066D. doi : 10.3390/s21093066 . PMC 8124649. PMID 33924891 . ^ Kadirkamanathan, V.; Li, P.; Jaward, MH; Fabri, SG (2002). 「非線形確率システムにおける粒子フィルタリングに基づく故障検出」. International Journal of Systems Science . 33 (4): 259– 265. Bibcode :2002IJSyS..33..259K. doi :10.1080/00207720110102566. S2CID 28634585. ^ Bonate P.「薬物動態-薬力学的モデリングとシミュレーション」ベルリン:シュプリンガー、2011年。 ^
Dieter Fox、Wolfram Burgard、Frank Dellaert、Sebastian Thrun、「モンテカルロ法による位置推定:移動ロボットの効率的な位置推定」 第16回人工知能全国会議議事録、 John Wiley & Sons Ltd、1999年。 ^ セバスチャン・スラン、ウォルフラム・バーガード、ディーター・フォックス著。確率論的ロボティクス MITプレス、2005年、第8.3章 ISBN 9780262201629 。 ^ Sebastian Thrun、Dieter Fox、Wolfram Burgard、Frank Dellaert。「移動ロボットのためのロバストなモンテカルロ法による自己位置推定」 人工知能 128.1 (2001): 99–141。 ^ Abbasi, Mahdi; Khosravi, Mohammad R. (2020). 「大規模データセットの眼球ビデオのための堅牢かつ正確な粒子フィルタベースの瞳孔検出法」. Journal of Grid Computing . 18 (2): 305– 325. doi :10.1007/s10723-019-09502-1. S2CID 209481431. ^ Pitt, MK; Shephard, N. (1999). 「シミュレーションによるフィルタリング:補助粒子フィルタ」. Journal of the American Statistical Association . 94 (446): 590– 591. doi :10.2307/2670179. JSTOR 2670179. 2007年10月16日時点のオリジナルよりアーカイブ。 2008年5月6日 閲覧 。 ^ Zand, G.; Taherkhani, M.; Safabakhsh, R. (2015). 「指数関数的自然粒子フィルタ」. arXiv : 1511.06603 [cs.LG]. ^ Canton-Ferrer, C.; Casas, JR; Pardàs, M. (2011). 「スケーラブルなボディモデルを用いたヒューマンモーションキャプチャ」. コンピュータビジョンと画像理解 . 115 (10): 1363– 1374. doi :10.1016/j.cviu.2011.06.001. hdl :2117/13393. ^ アキルディス、オメル・デニズ;ミゲス、ホアキン(2020-03-01)。 「パーティクルフィルターを微調整する」。 統計とコンピューティング 。 30 (2): 305–330 . 土井 : 10.1007/s11222-019-09884-y 。 hdl : 10044/1/100011 。 ISSN 1573-1375。 S2CID 88515918。 ^ Liu, J.; Wang, W.; Ma, F. (2011). 「システム状態推定とバッテリー寿命予測のための正規化補助粒子フィルタリングアプローチ」. Smart Materials and Structures . 20 (7): 1– 9. Bibcode :2011SMaS...20g5021L. doi :10.1088/0964-1726/20/7/075021. S2CID 110670991. ^ Blanco, JL; Gonzalez, J.; Fernandez-Madrigal, JA (2008). ロボットの位置推定におけるノンパラメトリック観測モデルのための最適フィルタリングアルゴリズム . IEEE 国際ロボティクス・オートメーション会議 (ICRA'08). pp. 461– 466. CiteSeerX 10.1.1.190.7092 . ^ Blanco, JL; Gonzalez, J.; Fernandez-Madrigal, JA (2010). 「ノンパラメトリック観測モデルのための最適フィルタリング:位置推定とSLAMへの応用」. The International Journal of Robotics Research . 29 (14): 1726– 1742. CiteSeerX 10.1.1.1031.4931 . doi :10.1177/0278364910364165. S2CID 453697.
参考文献 デル・モラル、ピエール (1996). 「非線形フィルタリング:相互作用粒子解法」 (PDF) . マルコフ過程と関連分野 . 2 (4): 555– 580. 2016年3月4日時点の オリジナル (PDF)からアーカイブ。 2015年5月31日 閲覧 。 デル・モラル、ピエール(2004年) 「ファインマン-カック公式。系譜的および相互作用粒子近似 」シュプリンガー、p.575。「シリーズ:確率とその応用」 デル・モラル、ピエール (2013). モンテカルロ積分のための平均場シミュレーション . チャップマン&ホール/CRCプレス. p. 626. 「統計と応用確率に関するモノグラフ」 Cappe, O.; Moulines, E.; Ryden, T. (2005). 隠れマルコフモデルにおける推論 . Springer. Liu, JS (2001). 科学計算におけるモンテカルロ戦略 . Springer. Kong, A.; Liu, JS; Wong, WH (1994). 「逐次代入法とベイズ統計における欠損データ問題」 (PDF) . アメリカ統計学会誌 . 89 (425): 278– 288. doi :10.1080/01621459.1994.10476469. Liu, JS; Chen, R. (1995). 「逐次代入法によるブラインドデコンボリューション」 (PDF) . アメリカ統計学会誌 . 90 (430): 567– 576. doi :10.2307/2291068. JSTOR 2291068. Ristic, B.; Arulampalam, S.; Gordon, N. (2004). カルマンフィルタを超えて:追跡アプリケーションのための粒子フィルタ . Artech House. Doucet, A.; Johansen, AM (2008年12月). 「粒子フィルタリングとスムージングに関するチュートリアル:15年後」 (PDF) . 技術レポート . Doucet, A.; Godsill, S.; Andrieu, C. (2000). 「ベイズフィルタリングのための逐次モンテカルロサンプリング法について」. 統計とコンピューティング . 10 (3): 197– 208. doi :10.1023/A:1008935410038. S2CID 16288401. Arulampalam, MS; Maskell, S.; Gordon, N.; Clapp, T. (2002). 「オンライン非線形/非ガウスベイズ追跡のための粒子フィルタに関するチュートリアル」. IEEE Transactions on Signal Processing . 50 (2): 174– 188. Bibcode :2002ITSP...50..174A. CiteSeerX 10.1.1.471.8617 . doi :10.1109/78.978374. S2CID 55577025. Cappe, O.; Godsill, S.; Moulines, E. (2007). 「シーケンシャル・モンテカルロ法における既存手法と最近の進歩の概要」. Proceedings of the IEEE . 95 (5): 899– 924. Bibcode :2007IEEEP..95..899C. doi :10.1109/JPROC.2007.893250. S2CID 3081664. Kitagawa, G. (1996). 「非ガウス非線形状態空間モデルのためのモンテカルロフィルタとスムーザ」. Journal of Computational and Graphical Statistics . 5 (1): 1– 25. doi :10.2307/1390750. JSTOR 1390750. Kotecha, JH; Djuric, P. (2003). 「ガウス粒子フィルタリング」. IEEE Transactions on Signal Processing . 51 (10): 2592. Bibcode :2003ITSP...51.2592K. doi :10.1109/TSP.2003.816758. Haug, AJ (2005). 「非線形および非ガウス過程に適用可能なベイズ推定および追跡手法に関するチュートリアル」 (PDF) 。The MITRE Corporation, USA, Tech. Rep., 2005年2月 . 2021年12月22日時点のオリジナルより アーカイブ (PDF) 。 2021年 12月22日閲覧 。 Pitt, MK; Shephard, N. (1999). 「シミュレーションによるフィルタリング:補助粒子フィルタ」. Journal of the American Statistical Association . 94 (446): 590– 591. doi :10.2307/2670179. JSTOR 2670179. 2007年10月16日時点のオリジナルよりアーカイブ。 2008年5月6日 閲覧 。 Gordon, NJ; Salmond, DJ; Smith, AFM (1993). 「非線形/非ガウスベイズ状態推定への新たなアプローチ」 IEE Proceedings F - Radar and Signal Processing . 140 (2): 107– 113. doi :10.1049/ip-f-2.1993.0015. Vaswani, N. ; Rathi, Y. ; Yezzi, A. ; Tannenbaum, A. (2007). 「幾何学的動的輪郭のための粒子フィルタリングを用いた変形物体の追跡」. IEEE Transactions on Pattern Analysis and Machine Intelligence . 29 (8): 1470– 1475. Bibcode :2007ITPAM..29.1470R. doi :10.1109/tpami.2007.1081. PMC 3663080. PMID 17568149 .
外部リンク ファインマン・カックモデルと相互作用粒子アルゴリズム(別名粒子フィルタリング)粒子フィルタの理論的側面と応用領域の一覧 ケンブリッジ大学のシーケンシャルモンテカルロ法(粒子フィルタリング)のホームページ ディーター・フォックスのMCLアニメーション Rob Hessのフリーソフトウェア SMCTC: C++でSMCアルゴリズムを実装するためのテンプレートクラス 粒子フィルタリングに関するJavaアプレット vSMC: ベクトル化逐次モンテカルロ 自動運転車における粒子フィルタの説明