Mean field games on sparse graph

Janaky Murthy

Motivation: Interacting particle systems consist of N particles whose states evolve based on their current states and chosen actions. Each particle’s action is influenced by the states of other particles, making the analysis complex. These systems are relevant in various applications, such as traffic networks, chemical reactions, queuing systems resource-sharing networks, mobile systems, data center networks, and neural networks. Further, particles act to optimize their self-interest, for instance, commuters choose routes that minimize travel time.

Problem Statement: Consider a system with N interacting particles, modeled as a graph GN=(Vn,En), where the vertex set Vn represents the particles and the edge set En captures their interactions. Let X and A be finite sets denoting the state space and action space, respectively. At time t0,1,,T, an agent vVn has a state Xv(t)X. At each time step, agent v also chooses an action av(t)A. The empirical mean state of the local neighborhood of agent v at time t is denoted by μv(t). Let ϵv(t) be i.i.d random noise terms. A mean field game with the interaction graph Gn is described as follows:

Each agent simultaneously tries to minimize their expected cost.

Given the game described above, we can extend the notion of Nash Equilibrium from the standard game theory literature to the above game. We now informally state our problem.

Key Question: Consider a mean field game ΓN on interaction graph Gn. Let πN be the Nash equilibrium strategy of a typical particle. Find a limiting model for this game, i.e., describe a game Γ on some graph G such that the Nash equilibrium strategy π of a typical particle of G is a good approximation of πN for large enough N. Further, characterize π.

Literature Gap: The solution to the above problem is known when Gn is a complete graph, referred to as mean-field games, with the limiting model called the mean-field approximation (see [1], [2]). Furthermore, it is shown that the mean-field approximation is effective for sequences of dense graphs. Our focus is on the sparse regime, where the average degree of the graph is uniformly bounded as N (see [3]). To the best of our knowledge, there are no known results in this setting. Currently, I am investigating this problem on sparse Erdos-Renyi graphs with a flocking cost function.

References:

[1] Minyi Huang, Roland P Malhamé, and Peter E Caines. Large population stochastic dynamic games: closed-loop Mckean-Vlasov systems and the Nash certainty equivalence principle. 2006.

[2] Jean-Michel Lasry and Pierre-Louis Lions. Mean field games. Japanese journal of mathematics, 2(1):229–260, 2007.

[3] Daniel Lacker and Agathe Soret. A case study on stochastic games on large graphs in mean field and sparse regimes. Mathematics of Operations Research, 47(2):1530–1565, 2022.