[論文レビュー] Linear quadratic mean field games: Asymptotic solvability and relation to the fixed point approach

Minyi Huang, Mengjie Zhou|arXiv (Cornell University)|Mar 20, 2019

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 50被引用数 3

ひとこと要約

本稿では、線形二次平均場ゲームにおける漸近的可解性の必要十分条件を、高次元の結合リカッチ微分方程式系を低次元の非対称リカッチ常微分方程式に還元する新しいスケーリング技術を用いて確立する。漸近的可解性は固定点アプローチの実行可能性を示唆するが、逆は成り立たないことを証明し、固定点フレームワークにおける長時間行動と非一意性を分析する。

ABSTRACT

Mean field game theory has been developed largely following two routes. One of them, called the direct approach, starts by solving a large-scale game and next derives a set of limiting equations as the population size tends to infinity. The second route is to apply mean field approximations and formalize a fixed point problem by analyzing the best response of a representative player. This paper addresses the connection and difference of the two approaches in a linear quadratic (LQ) setting. We first introduce an asymptotic solvability notion for the direct approach, which means for all sufficiently large population sizes, the corresponding game has a set of feedback Nash strategies in addition to a mild regularity requirement. We provide a necessary and sufficient condition for asymptotic solvability and show that in this case the solution converges to a mean field limit. This is accomplished by developing a re-scaling method to derive a low dimensional ordinary differential equation (ODE) system, where a non-symmetric Riccati ODE has a central role. We next compare with the fixed point approach which determines a two point boundary value (TPBV) problem, and show that asymptotic solvability implies feasibility of the fixed point approach, but the converse is not true. We further address non-uniqueness in the fixed point approach and examine the long time behavior of the non-symmetric Riccati ODE in the asymptotic solvability problem.

研究の動機と目的

• 線形二次平均場ゲームにおける直接的（ボトムアップ）アプローチの漸近的可解性を形式化し、分析すること。
• スケーリング手法を用いて高次元の結合リカッチ常微分方程式系を低次元の非対称リカッチ常微分方程式に還元することで、漸近的可解性の必要十分条件を確立すること。
• 直接的アプローチと固定点（トップダウン）アプローチを比較し、それらの関係性と相対的な実行可能性を明確にすること。
• 固定点定式化における解の長時間行動と非一意性を調査すること。
• LQ設定下における平均場ゲーム理論における2つの主要ルートを比較するための厳密な基礎を提供すること。

提案手法

• 大人口LQゲームにおける漸近的可解性の概念を導入し、十分に大きなNに対してフィードバックナッシュ戦略の存在を要請する。
• 高次元の結合リカッチ系の本質的ダイナミクスを捉える低次元の非対称リカッチ常微分方程式を導出するための新しいスケーリング技術を適用する。
• 動的計画法を用いてN人プレイヤーゲームの結合リカッチ常微分方程式を導出し、スケーリングを適用して極限的挙動を抽出する。
• 平均場近似から導かれる二点境界値問題（TPBV）を形式化することで、固定点アプローチを分析する。
• 漸近的可解性が固定点アプローチの実行可能性を示唆するが、逆は成り立たないことを示すことで、2つのアプローチを比較する。
• 非対称リカッチ常微分方程式における安定性および存在性解析を用いて、長時間挙動と解の一意性を研究する。

実験結果

リサーチクエスチョン

• RQ1 線形二次平均場ゲームにおける直接的アプローチの漸近的可解性を保証する条件は何か？
• RQ2 スケーリング技術は、N人プレイヤーの結合リカッチ系の複雑さをどのように低次元の非対称リカッチ常微分方程式に還元するか？
• RQ3 直接的アプローチが漸近的に可解であるとき、固定点アプローチはどのような条件下で実行可能になるか？
• RQ4 直接的アプローチが失敗する場合でも、固定点アプローチが解を生成できるか。この場合の非一意性の原因は何か？
• RQ5 漸近的可解性条件から導かれる非対称リカッチ常微分方程式の長時間挙動はどのようなものか？

主な発見

• 再スケーリングによって得られる低次元の非対称リカッチ常微分方程式の可解性を用いて、漸近的可解性の必要十分条件が導出された。
• 漸近的に可解な系の解は、人口数Nが無限大に近づくにつれて平均場極限に収束する。
• 漸近的可解性は固定点アプローチの実行可能性を示唆するが、逆は成り立たないため、2つの手法間に厳密な階層関係があることが示された。
• 直接的アプローチが漸近的に可解であっても、固定点アプローチでは非一意性が生じ得ることを示し、解構造における重要な差異を明らかにした。
• 非対称リカッチ常微分方程式の長時間挙動が分析され、関連する特性方程式の固有値に基づいた存在性および安定性条件が導出された。
• スケーリング手法は高次元系の本質的ダイナミクスを効果的に捉えており、統計物理学や平均場オシレーター・モデルにおける次元削減と類似した役割を果たした。