[論文レビュー] Quenched mass transport of particles towards a target

Bruno Bouchard, Boualem Djehiche+1 more|arXiv (Cornell University)|Jul 25, 2017

Stochastic processes and financial applications参考文献 17被引用数 6

ひとこと要約

本稿は、ブラウン運動のパスに応じて条件付きで定義される粒子系の分布を制御することで、ターゲットへの粒子の質量輸送を「クエンチド（quenched）」な形で研究する。これは、McKean-Vlasov ストキャスティック微分方程式（SDE）に対する確率的ターゲット問題として定式化され、制御者が粒子系の分布をブラウン運動のパスに条件付けた形でターゲット集合に導く。幾何的動的計画法の原則を確立し、値関数が幾何的PDEの粘性解であることを証明することで、制御下で確実にターゲットに到達可能な初期分布の集合を特徴づける。

ABSTRACT

We consider the stochastic target problem of finding the collection of initial laws of a mean-field stochastic differential equation such that we can control its evolution to ensure that it reaches a prescribed set of terminal probability distributions, at a fixed time horizon. Here, laws are considered conditionally to the path of the Brownian motion that drives the system. We establish a version of the geometric dynamic programming principle for the associated reachability sets and prove that the corresponding value function is a viscosity solution of a geometric partial differential equation. This provides a characterization of the initial masses that can be almost-surely transported towards a given target, along the paths of a stochastic differential equation. Our results extend [16] to our setting.

研究の動機と目的

• 制御された平均場SDEが、与えられた終端確率分布のターゲット集合に到達可能な初期確率分布の集合を特徴づけること。
• 係数がブラウン運動のパスに条件付けられた過程の条件付き分布に依存する状況において、確率的ターゲット理論をクエンチド（パスに依存する条件付き）な設定に拡張すること。
• このクエンチド設定における到達可能集合に対して、幾何的動的計画法の原則（GDP）を確立すること。
• 値関数が幾何的PDEの粘性解であることを証明し、制御可能な初期質量の解析的特徴づけを可能にすること。

提案手法

• ブラウン運動のパスに条件付けられた過程の条件付き分布に依存するドリフトおよび拡散係数を有するMcKean-Vlasov SDEに対する確率的ターゲット問題を定式化する。
• マルティングルール表現定理を用いた条件付き期待値フレームワークを導入し、平均ターゲット制約を制御された補助過程における確実な制約に再表現する。
• 到達可能集合に対して幾何的動的計画法（GDP）を導出し、値関数が粘性解の性質を満たすことを示す。
• 拡張された値関数を構築し、その上半連続包および下半連続包が幾何的PDEの粘性下半型および上半型解であることを証明する。
• 2種類の制御クラスを検討する：全フィルトレーションに関して逐次可測な個々の粒子の制御、および縮小されたフィルトレーションに関して逐次可測な集団レベルの制御。
• [21]および[4]の証明技法をクエンチド設定に適応し、ハミルトニアンおよび制御空間の定義をそれに応じて修正する。

実験結果

リサーチクエスチョン

• RQ1 クエンチド動的条件下で、McKean-Vlasov SDEの制御によって、与えられた終端分布のターゲット集合に確実に到達可能な初期確率分布はどのようなものか？
• RQ2 システムの係数がブラウン運動のパスに条件付けられた分布に依存する場合、幾何的動的計画法の原則はどのように変化するか？
• RQ3 このクエンチド確率的ターゲット問題における到達可能集合のPDE的特徴づけは何か？
• RQ4 この条件付き設定において、値関数が幾何的PDEの粘性解であることを示せるか？
• RQ5 個々の粒子の制御と集団レベルの制御という異なる制御クラスは、到達可能性解析および対応するPDE的特徴づけにどのように影響を与えるか？

主な発見

• クエンチド確率的ターゲット問題の値関数は、幾何的偏微分方程式（PDE）の粘性解として特徴づけられる。
• 幾何的動的計画法の原則はクエンチド設定でも成立し、値関数は検証条件および最小性条件を満たす。
• 到達可能集合はPDEの粘性解によって完全に特徴づけられ、制御によってターゲットに到達可能なすべての初期分布を特定可能である。
• 本結果は、ブラウン運動のパスに条件付けられた依存性を組み込むことで、従来の確率的ターゲット問題の研究を拡張し、粒子系におけるクエンチド行動をモデル化している。
• 異なる制御クラス、特に集団レベルの制御（システムの条件付き分布にのみ依存）に対しても、証明フレームワークは安定している。
• PDEの特徴づけは制御空間の摂動に対して安定であり、ハミルトニアンの変更は下半型および上半型解集合の定義にのみ影響を及ぼす。