[論文レビュー] Propagation of Chaos of Forward-Backward Stochastic Differential Equations with Graphon Interactions

Erhan Bayraktar, Ruoyu Wu+1 more|arXiv (Cornell University)|Feb 16, 2022

Stochastic processes and financial applications被引用数 4

ひとこと要約

本稿は、グラフオン相互作用を伴う前向き・後向き確率的微分方程式（FBSDEs）における混沌の伝播を確立し、n人プレイヤーのゲームにおけるナッシュ均衡がグラフオン平均場ゲームの解に収束することを証明する。単調性条件の下で縮小写像法と継続法を用い、解の存在、一意性、安定性を示し、線形・二次的モデルを超える一般のグラフオン平均場ゲームにおける最初の一般収束結果を可能にする。

ABSTRACT

In this paper, we study graphon mean field games using a system of forward-backward stochastic differential equations. We establish the existence and uniqueness of solutions under two different assumptions and prove the stability with respect to the interacting graphons which are necessary to show propagation of chaos results. As an application of propagation of chaos, we prove the convergence of n-player game Nash equilibrium for a general model, which is new in the theory of graphon mean field games.

研究の動機と目的

• グラフオン相互作用を伴う前向き・後向き確率的微分方程式（FBSDEs）の極限系の解の存在と一意性を確立すること。
• グラフオン相互作用カーネルの摂動に関して解の安定性を証明すること。
• FBSDEsを用いて記述されるn個の相互作用するエージェントの系における混沌の伝播を示すこと。
• 一般モデル設定下でn人プレイヤーのゲームにおけるナッシュ均衡がグラフオン平均場ゲームの解に収束することを示すこと。
• 線形・二次的モデルを超えて、平均場ゲーム理論を非一様的でグラフオンに基づく相互作用構造へと拡張すること。

提案手法

• 相互作用の強さがグラフオン列 $ G_n $ によって決定されるn重に結合されたFBSDEの系を定式化し、極限ではグラフオン $ G $ に近似される。
• パrameter $ \lambda \in [0,1] $ でインデックスが付けられた極限FBSDE系を導入し、相互作用はグラフオンカーネル $ G(\lambda,\kappa) $ と $ X_t^\kappa $ の分布の積分によって記述される。
• 2つの単調性仮定の下で、縮小写像法と継続法を用い、古典的FBSDE理論の結果を一般化して解の存在と一意性を証明する。
• すべての $ \lambda $ に対して共通のブラウン運動を考慮することにより、写像 $ \lambda \mapsto \mathcal{L}(X_t^\lambda) $ の可測性を確立し、周辺分布を保存する。
• 同じ単調性条件の下で一様推定を用い、グラフオン摂動に関する解の安定性を証明する。
• 混沌の伝播を適用し、n人プレイヤー系の経験的分布が $ n \to \infty $ のとき極限グラフオンFBSDE系の解に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 FBSDEsを用いて記述されるn個の相互作用エージェントの系が、どのような条件下で混沌の伝播を示すのか。
• RQ2 非対称的かつ非一様的相互作用を伴う極限グラフオンFBSDE系の解の存在と一意性は、どのような条件下で確立できるか。
• RQ3 グラフオン相互作用カーネルの変化に関して、解写像の安定性を保証する条件は何か。
• RQ4 一般の非線形モデル設定下で、有限n人プレイヤーのゲームにおけるナッシュ均衡がグラフオン平均場ゲームの解に収束するか。
• RQ5 系の結合分布に依存する状況において、プロセス $ X^\lambda $ の分布が $ \lambda $ に関して可測であることをどのように示せるか。

主な発見

• 本稿は、2つの標準的な単調性条件の下で、グラフオン相互作用を伴う極限グラフオンFBSDE系の解の存在と一意性を証明し、古典的FBSDE理論の結果をグラフオン相互作用へと一般化した。
• 摂動に関する解の安定性が確立され、混沌の伝播を証明するために不可欠である。
• 混沌の伝播が証明された：$ n \to \infty $ のとき、有限n人プレイヤー系は法の意味で極限グラフオンFBSDE系に収束する。
• 一般モデル設定下でn人プレイヤーのゲームにおけるナッシュ均衡がグラフオン平均場ゲームの解に収束することが確立され、線形・二次的設定を超える画期的な結果である。
• 共通のブラウン運動表現を用いて、写像 $ \lambda \mapsto \mathcal{L}(X_t^\lambda) $ の可測性が厳密に証明され、極限系における相互作用積分の定義が可能になった。
• 収束と安定性を保証する一様推定を用い、収縮写像法と継続法により結果が得られ、グラフオン収束 $ G_n \to G $ の下で有効である。