Table of Contents
Fetching ...

Heterogeneous Mean Field Games and Local Well-posedness

Bixing Qiao

TL;DR

The paper develops Heterogeneous Mean Field Games (HMFG) to model asymmetric populations interacting through a density ensemble, unifying Graphon MFGs within an infinite-dimensional FBSDE framework. It constructs a rigorous Fubini-extension and a complete metric space of measure-valued population laws, derives an Itô formula on measure flows, and formulates HMFG as a fixed-point problem over population laws. Local well-posedness of the infinite-dimensional FBSDE yields a unique HMFG equilibrium, and a propagation-of-chaos result shows this equilibrium serves as a good approximation for large $N$-player games. The master equation is obtained as the decoupling field of the FBSDE, establishing a pathway to dynamic value characterizations, with global well-posedness left for future work.

Abstract

Motivated by the recent interests in asymmetric mean field games, this paper provides a general framework of Heterogeneous Mean Field Game (HMFG) that subsumes different formulations of graphon mean field games. The key feature of the HMFG is that the players interact with the population through the density ensemble. In this case, the HMFG system becomes an infinite-dimensional Forward-Backward SDE (FBSDE) system. We show that the FBSDE is locally well-posed, thus the HMFG has a unique equilibrium. In addition, we show that the equilibrium of HMFG is a good approximate equilibrium of the corresponding N-Player Game. Lastly, we derive the Itô formula of infinite-dimensional measure flow and use it to obtain the master equation for HMFG as a decoupling field of the infinite-dimensional FBSDE system.

Heterogeneous Mean Field Games and Local Well-posedness

TL;DR

The paper develops Heterogeneous Mean Field Games (HMFG) to model asymmetric populations interacting through a density ensemble, unifying Graphon MFGs within an infinite-dimensional FBSDE framework. It constructs a rigorous Fubini-extension and a complete metric space of measure-valued population laws, derives an Itô formula on measure flows, and formulates HMFG as a fixed-point problem over population laws. Local well-posedness of the infinite-dimensional FBSDE yields a unique HMFG equilibrium, and a propagation-of-chaos result shows this equilibrium serves as a good approximation for large -player games. The master equation is obtained as the decoupling field of the FBSDE, establishing a pathway to dynamic value characterizations, with global well-posedness left for future work.

Abstract

Motivated by the recent interests in asymmetric mean field games, this paper provides a general framework of Heterogeneous Mean Field Game (HMFG) that subsumes different formulations of graphon mean field games. The key feature of the HMFG is that the players interact with the population through the density ensemble. In this case, the HMFG system becomes an infinite-dimensional Forward-Backward SDE (FBSDE) system. We show that the FBSDE is locally well-posed, thus the HMFG has a unique equilibrium. In addition, we show that the equilibrium of HMFG is a good approximate equilibrium of the corresponding N-Player Game. Lastly, we derive the Itô formula of infinite-dimensional measure flow and use it to obtain the master equation for HMFG as a decoupling field of the infinite-dimensional FBSDE system.

Paper Structure

This paper contains 14 sections, 11 theorems, 98 equations.

Key Result

Theorem 2.2

Let $X$ be a complete separable metric space. There exists a probability space $(I, {\cal B}_I, \lambda_I)$ extending the Lebesgue unit interval, a probability space $(\Omega,{\cal F}, \mathbb{P})$, and a Fubini extension $(I\times\Omega, {\cal B}_I\boxtimes{\cal F}, \lambda_I\boxtimes\mathbb{P})$ s

Theorems & Definitions (28)

  • Definition 2.1
  • Theorem 2.2
  • Theorem 2.3
  • Remark 2.4
  • Lemma 2.5
  • Remark 2.6
  • Definition 2.7
  • Example 2.8
  • Theorem 2.9
  • Remark 3.2
  • ...and 18 more