[論文レビュー] Probabilistic Analysis of Mean-Field Games

René Carmona, François Delarue|arXiv (Cornell University)|Oct 21, 2012

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

ひとこと要約

本稿は、McKean-Vlasov 型の前向き・後向きストキャスティック微分方程式（FBSDE）を用いた平均場ゲームの確率的解析を提供し、一般な係数条件のもとで解の存在性と正則性を確立する。平均場ゲームの解が、大規模な確率的微分ゲームにおける近似ナッシュ均衡をもたらすことを証明し、特化したストキャスティック最大原理による推定を用いて近似誤差を定量的に評価する。

ABSTRACT

The purpose of this paper is to provide a complete probabilistic analysis of a large class of stochastic differential games for which the interaction between the players is of mean-field type. We implement the Mean-Field Games strategy developed analytically by Lasry and Lions in a purely probabilistic framework, relying on tailor-made forms of the stochastic maximum principle. While we assume that the state dynamics are affine in the states and the controls, our assumptions on the nature of the costs are rather weak, and surprisingly, the dependence of all the coefficients upon the statistical distribution of the states remains of a rather general nature. Our probabilistic approach calls for the solution of systems of forward-backward stochastic differential equations of a McKean-Vlasov type for which no existence result is known, and for which we prove existence and regularity of the corresponding value function. Finally, we prove that solutions of the mean-field game as formulated by Lasry and Lions do indeed provide approximate Nash equilibriums for games with a large number of players, and we quantify the nature of the approximation.

研究の動機と目的

• 一般な相互作用構造を有する平均場ゲームを分析する包括的な確率的枠組みを提供すること。
• 平均場ゲームに現れるMcKean-Vlasov型の前向き・後向き確率微分方程式の解の存在と正則性を確立すること。
• 平均場ゲームの解が、有限だが大規模なプレイヤー集団における近似ナッシュ均衡をもたらすことを証明すること。
• 大規模なプレイヤー集団における確率的微分ゲームにおいて、平均場ゲームの均衡と真の均衡との間の近似誤差を定量的に評価すること。
• ストキャスティック最大原理を非マルコフ型で分布に依存するシステムに拡張し、価値関数による解の表現を可能にすること。

提案手法

• 確率測度フローの空間における固定点問題として平均場ゲーム問題を定式化する。
• ストキャスティック最大原理に基づく確率的アプローチを用い、ゲームをMcKean-Vlasov型FBSDEの系に還元する。
• 有界係数の場合にSchauderの固定点定理を用いて解の存在を証明し、その後、コンパクト性と事前推定を用いて線形成長係数への拡張を行う。
• 係数と測度の切断およびリップシッツ正則化を用いて、一般係数に対する近似列を構築する。
• ストキャスティック最大原理から得られる特化した事前推定を用いて、近似列のtightnessと収束性を確立する。
• 価値関数を定義し、その存在を証明する。これにより、後向き成分が前向きダイナミクスの関数として表現可能となり、古典的なFBSDE価値関数理論を非マルコフ型で分布に依存する設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 係数が状態および制御に関してアフィンであり、かつ状態の分布に一般に依存する場合、LasryとLionsが提示した平均場ゲーム系に解が存在するか？
• RQ2 平均場ゲーム系の解が、有限だが大規模なプレイヤー数を持つゲームにおいて近似ナッシュ均衡をもたらすことが示せるか？
• RQ3 プレイヤー数が増加する際、平均場近似の収束速度は定量的にどの程度か？
• RQ4 非マルコフ型で分布に依存する設定において、平均場ゲームの価値関数を厳密に定義し、特徴づけられるか？
• RQ5 係数が解の分布に依存するようなシステム、例えばMcKean-Vlasov FBSDEに対して、ストキャスティック最大原理をどのように適合させられるか？

主な発見

• 線形成長係数を持つ場合に、McKean-Vlasov FBSDE系の解の存在が確立され、有界係数の場合を越えて拡張された。
• 平均場ゲームの価値関数は適切に定義され、正則性を有しており、後向き成分が前向き過程の関数として表現可能である。
• 平均場ゲーム系の解は、大規模な確率的微分ゲームにおける近似ナッシュ均衡を提供する。
• 平均場解と真のナッシュ均衡との間の近似誤差が定量的に評価され、プレイヤー数の増加に伴い誤差が減少することが示された。
• ストキャスティック最大原理に基づく確率的アプローチにより、連立されたハミルトニアン・ジャコビ・ベルマン方程式とコルモゴロフ方程式を同時に解く必要が回避された。
• 切断と測度の正則化を用いた近似列の構築により、リップシッツ連続性やコンパクト性に必要な符号条件といった重要な性質が保持された。