[論文レビュー] Comments on "Bayesian Solution Uncertainty Quantification for Differential Equations" by Chkrebtii, Campbell, Calderhead & Girolami

Jon Cockayne|arXiv (Cornell University)|Oct 25, 2016

Probabilistic and Robust Engineering Design参考文献 10被引用数 4

ひとこと要約

本論文は、Chkrebtiiらが提唱した微分方程式におけるベイジアン不確実性評価（UQ）フレームワークを批判し、その手法が順次的でフィルタリングに類似した更新メカニズムを採用しているため、時間的に後方へ情報が完全に伝搬されず、完全なベイジアン推論と整合性を欠いていると主張する。著者は、事後分布が過去の観測だけでなく、すべての利用可能なデータを反映すべきであると指摘し、情報効率性とベイジアン整合性の点でその手法の問題を問う。

ABSTRACT

I would like to thank the authors for their interesting and very clearly presented paper discussing probabilistic solvers for ODEs and PDEs.

研究の動機と目的

• Chkrebtii らが提唱した確率的ODEソルバー枠組みのベイジアン整合性を挑戦すること。
• 特に、逆方向への情報伝播の欠如に起因する、不確実性伝播の取り扱いにおける矛盾を強調すること。
• その手法がフィルタリングに類似したアプローチを採用しているため、完全なベイジアン更新を正しく表現できていないこと、Skilling (1992) が提唱した原則に反することを主張すること。
• 確率的メッシュレス手法（PMM）を用いたPDEの代替確率的数値スキームと比較すること。
• 情報効率性とベイジアン整合性の向上を図るため、スムージングに基づく推論の統合を提唱すること。

提案手法

• 時間に依存するベクトル場 f(t) を持つ線形ODEを用いた反例を提示し、事後分布における整合性の欠如を示す。
• 将来の f(t) の値が過去の u(t) の信念に影響しないという、手法の順次的更新と、すべてのデータがすべての信念に影響すべきであるという完全ベイジアンアプローチを対比する。
• Skilling (1992) のフレームワークを、f の不確実性をモデル化し、u に伝搬させる適切なベイジアンUQのベンチマークとして適用する。
• 手法のアプローチをデータ同化技術と比較し、フィルタリングに類似しているが、スムージング（すべてのデータがすべての推論に影響する）の方が適切であると指摘する。
• 線形問題では、完全なベイジアン解が過去の観測だけでなく、すべての観測を同時に考慮すべきであるが、この手法はそれを達成できないことを強調する。
• 一貫性のある事後分布を得るため、スムージングに基づく推論をフレームワークに組み込むことを提案する。

実験結果

リサーチクエスチョン

• RQ1 ODEおよびPDEにおける提案手法のベイジアンUQは、完全なベイジアン更新を真正に反映しているのか、それともフィルタリングに類似した順次的更新に限定されているのか？
• RQ2 将来的な f(t) の評価が、以前の時刻における u の事後分布に影響しないという手法の特徴は、Skilling (1992) が形式化したベイジアン推論の原則と整合するのか？
• RQ3 情報効率性と整合性の観点から、この手法の不確実性評価は、PDEにおける確率的メッシュレス手法（PMM）と比べてどのように異なるのか？
• RQ4 将来の f(t) の評価が、以前の時刻における u の事後分布に無関係であるとみなすことは、どのような意味を持つのか？
• RQ5 この手法は、より一貫性のあるベイジアン事後分布を得るために、スムージングに基づく推論を統合できるのか？

主な発見

• 将来的な f(t) の観測が、以前の時刻における u の事後分布に影響しないことから、この手法の事後分布は完全なベイジアン推論と整合しない。
• 逆方向への情報伝播の欠如は、すべてのデータが全事後分布に影響すべきという原則に反しており、この手法のベイジアン整合性を損なう。
• このアプローチはデータ同化におけるフィルタリングに類似しているが、著者らは、すべてのデータがすべての推論に影響するスムージングの方が適切であると主張する。
• 線形問題では、完全なベイジアン解が過去の観測だけでなく、すべての観測を同時に考慮すべきであるが、この手法はそれを達成できない。
• この手法の不確実性評価は、確率的メッシュレス手法（PMM）などの代替手法に比べ、情報効率性に劣る。
• 著者らは、フレームワークにスムージングを組み込むことで、整合性の欠如を是正し、ベイジアン整合性を向上させられると提言する。