[论文解读] 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

一句话总结

本文通过一种新颖的重标度技术，将线性-二次均场博弈中的渐近可解性问题简化为低维非对称Riccati常微分方程，从而建立了渐近可解性的必要且充分条件。研究证明，渐近可解性蕴含固定点方法的可行性，但反之不成立，并分析了固定点框架下的长期行为与解的非唯一性。

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.

研究动机与目标

• 对线性-二次均场博弈的直接（自下而上）方法中的渐近可解性进行形式化与分析。
• 通过一种重标度方法，建立渐近可解性的必要且充分条件，将系统简化为低维非对称Riccati常微分方程。
• 比较直接方法与固定点（自上而下）方法，阐明二者的关系及其相对可行性。
• 研究固定点表述下解的长期行为与非唯一性。
• 为LQ设定下均场博弈理论中两种主流方法的比较提供严格基础。

提出的方法

• 为大群体LQ博弈引入渐近可解性的概念，要求对所有充分大的N，均存在反馈纳什策略。
• 应用一种新颖的重标度技术，推导出捕捉原始高维耦合Riccati系统本质动态的低维非对称Riccati常微分方程。
• 利用动态规划推导N人博弈的耦合Riccati常微分方程，并应用重标度技术提取极限行为。
• 通过形式化由均场近似导出的两点边值问题（TPBV），分析固定点方法。
• 通过证明渐近可解性蕴含固定点方法的可行性，但反之不成立，比较两种方法。
• 对非对称Riccati常微分方程进行稳定性与存在性分析，以研究长期行为与解的唯一性。

实验结果

研究问题

• RQ1 在直接方法中，线性-二次均场博弈的渐近可解性由何种条件保证？
• RQ2 重标度技术如何将N人耦合Riccati系统的复杂性降低为低维非对称Riccati常微分方程？
• RQ3 当直接方法渐近可解时，固定点方法在何种条件下可行？
• RQ4 当直接方法失效时，固定点方法是否仍能产生解？此时非唯一性由何原因导致？
• RQ5 由渐近可解性条件导出的非对称Riccati常微分方程的长期行为如何？

主要发现

• 通过重标度方法获得的低维非对称Riccati常微分方程的可解性，构成了渐近可解性的必要且充分条件。
• 渐近可解系统解在群体规模N趋于无穷时收敛至均场极限。
• 渐近可解性蕴含固定点方法的可行性，但反之不成立，表明两种方法之间存在严格层级关系。
• 即使直接方法渐近可解，固定点方法中仍可能出现非唯一性，凸显了两种方法在解结构上的关键差异。
• 分析了非对称Riccati常微分方程的长期行为，基于关联特征方程的特征值，推导出存在性与稳定性条件。
• 重标度方法成功捕捉了高维系统的本质动态，类似于统计物理与均场振子模型中的维数约化。