Abstract
We consider a game for a continuum of nonidentical players evolving on a finite state space. Their heterogeneous interactions are represented with a graphon, which can be viewed as the limit of a dense random graph. A player’s transition rates between the states depend on their control and the strength of interaction with the other players. We develop a rigorous mathematical framework for the game and analyze Nash equilibria. We provide a sufficient condition for a Nash equilibrium and prove existence of solutions to a continuum of fully coupled forwardbackward ordinary differential equations characterizing Nash equilibria. Moreover, we propose a numerical approach based on machine learning methods and we present experimental results on different applications to compartmental models in epidemiology.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
With the recent pandemic of COVID19, the importance of management of large populations in order to control the evolution of the disease has been recognized globally. How a pandemic plays out is a consequence of the interplay of many complex processes, e.g., disease specific spread mechanisms, the network of social interactions, and societywide efforts to stop or slow the spread. As individuals, we have all made choices during the ongoing pandemic about the extent to which we minimize our personal risk of being infected. However, there is a tradeoff between being careful and the pursuit of happiness. As we all have learned by now, our risk is not only determined by our own vigilance but also by others’ choices and our environment.
In the framework of rational agents^{Footnote 1}, each individual anticipates the action of their neighbours, neighbours’ neighbours, etc., and any other external influence, then selects their action as a best response to others’ actions. In other words, they want optimize their private outcome while taking into account their surrounding environment, which includes other agents’ actions. This type of strategic interaction is a noncooperative game. The communication between agents in the game may be restricted by geography, social circles, and other factors. Moreover, people interact with different intensity, depending on their occupation and personality. Hence, the agents in the game, each with their own predisposition for risk, will act in a wide variety of ways and thus naturally form a heterogeneous crowd.
Consider the game discussed above where all agents anticipate the others’ action and then selfishly plays a best response. Strategy profiles (the collection of all players’ actions) consistent with such behavior are Nash equilibria, i.e., profiles such that no player profits from a unilateral deviation. Computing Nash equilibria in games with large number of players is particularly hard; under some specific assumptions, approximate equilibria can be found by using the mean field game approach developed independently by LasryLions [45, 46] and HuangMalhaméCaines [35]. The approach has found many practical applications, examples include the mathematical modeling of price movement in energy markets; pedestrian crowd motion and evacuation; and epidemic disease spread.
One of the fundamental assumptions in mean field game theory is that agents are indistinguishable and interact homogeneously. However, in some realworld applications such as the modeling of epidemics, the diversity of individuals and the variation of their interactions are important factors to consider. Examples of such include the effects of travel restrictions, multiple age groups with distinct social behavior and risk profiles, and the spectrum of preexisting health conditions. The aspects listed above require the game to have a nonuniform underlying network structure. Games with a large number of nonidentical players can be analyzed with socalled graphon games whenever the network specifying the interactions is dense^{Footnote 2}.
Epidemics are driven by the spread of the disease from infected to susceptible agents. The set of susceptible agents is not necessarily the whole noninfected population, for certain diseases immunity is gained after exposure. The evidence suggests that the COVID19 virus mainly spreads through close contact^{Footnote 3}. Fortunately, the disease transmission probability can be decreased by efforts of the individual. For example, an individual can choose to avoid public and closed spaces, wear a protective mask or do their shopping online. When two people meet the disease transmission probability depends on both sides’ effort. The disease is less likely to occur if both parts wear protective masks than if just one part does. However, the decrease in risk of transmission is not additive in the interacting agents’ efforts. Using this intuition, we assume in this paper that disease transmission likelihood depends on efforts in a multiplicative way. The effort of the agents will therefore be given the name “contact factor control”, in line with the gamebased model introduced in [2].
Before giving the full description of the epidemiological graphon game model, how it can be approached numerically, and all technical details, we expand upon the heuristics of graphonbased interaction with contact factor control and review the literature of related fields of research in the next sections.
1.1 The SIR Graphon Game with Contact Factor Control
The most famous compartmental model in epidemics is arguably the classical SusceptibleInfectedRemoved (SIR) model^{Footnote 4}. In this section, we take advantage of its wide familiarity and compact formulation to further motivate for the concept of contact factor control and graphontype interaction.
In order to give a description of the rate at which agents become infected, we need to first introduce some notation. Consider N individuals who transition between the states Susceptible (\({\mathsf {S}}\)), Infected (\({\mathsf {I}}\)), and Removed (\({\mathsf {R}}\)). An individual in state \({\mathsf {R}}\) has either gained immunity or deceased. Denote the state of agent \(j\in \{1,\dots , N\}\) at time t by \(X^{j,N}_t\). A susceptible individual might encounter infected individuals, resulting in disease transmission. Encounters occur pairwise and randomly throughout the population with intensity \(\beta \). The number of encounters with infected agents in a short time interval \([t\varDelta t,t)\) is approximately proportional to the the share of the population in state \({\mathsf {I}}\) at t. Between each agent pair (j, k), we set the interaction strength to \(w(x_j,x_k)\), where w is a graphon (see Definition 1 for its definition) and \(x_j, x_k\) are random variables uniformly distributed on [0, 1]. Hence agent k’s transition rate from state \({\mathsf {S}}\) to \({\mathsf {I}}\) is scaled by w and of the form \(\beta \frac{1}{N}\sum _{k=1}^N w(x_j,x_k){\mathbf {1}}_{{\mathsf {I}}}(X^{k,N}_{t})\). Upon infection, an individual starts the path to recovery. The jump from state \({\mathsf {I}}\) to \({\mathsf {R}}\) happens after an exponentially distributed time with rate \(\gamma \). The state \({\mathsf {R}}\) is absorbing.
Denoting \(Z^{j,N}_t := \frac{1}{N}\sum _{k=1}^N w(x_j,x_k){\mathbf {1}}_{{\mathsf {I}}}(X^{k,N}_{t})\), the transition rate matrix for player \(j\in \{1,\dots , N\}\) is
Here we use the order \({\mathsf {S}}, {\mathsf {I}}, {\mathsf {R}}\) for the columns and the rows. For instance, the term \(\beta Z^{j,N}_t\) encodes the rate at which an agent arrives in \({\mathsf {I}}\) coming from \({\mathsf {S}}\). As explained above, this rate is proportional to the weighted average \(Z^{j,N}_t\) of infected agents interacting with player j. At this stage, the distinguishability of the players is seen in the aggregate variables \((Z^{j,N}_t)_{j=1}^N\) which in general differ in value. As \(N\rightarrow \infty \), we expect the probability distribution flow of player j to converge to the solution of the ordinary differential equation (ODE)
where \(p_0^{x_j}\) is some given initial distribution over the states and
Here \(p^{x_j}(t)\) is understood as a vector of length 3 whose coordinates correspond to the probability for player \(x_j\) of being in state \({\mathsf {S}}\), \({\mathsf {I}}\) and \({\mathsf {R}}\), respectively at time t. Equation (2) encodes the evolution of these probabilities. \(Z^{x_j}_t\) is the average number of infected agents around player \(x_j\), weighted by the pairwise interaction strength \(w(x_j,y)\). Scaling \(p^x(t)\), \(x\in [0,1]\), by a population size N, \(Np^x(t) =: (S^x(t), I^x(t), R^x(t))\), we retrieve a formulation of the compartmental SIR model with graphonbased interactions
So far we have considered a model without action. Assuming agents choose a “contact factor” in order to decrease their risk of getting infected, which enters the model in line with the discussion above, we express this new feature mathematically as follows: Given that the meeting frequency is \(\beta \), pairing is random, disease spreads from infected agents to susceptible, and the spread probability is scaled by the efforts of the individuals that meet in a multiplicative way, the transition rate for individual j from \({\mathsf {S}}\) to the \({\mathsf {I}}\) is
where \(\alpha ^k_t\) denotes the (contact factor) action of individual \(k\in \{1,\dots , N\}\) at time t, selected from set of actions A. Along the lines of the heuristics of mean field game theory, we anticipate that in an appropriate approximation of our interacting system in the limit \(N\rightarrow \infty \), agent x transitions from susceptible to infected with rate
where \(\rho ^y_t\) is the joint distribution of action and state of player y at time t and \(\alpha ^x_{t}\) is the action of individual x.
1.2 Related Literature
1.2.1 Graphon Games and Finite State Space Mean Field Games
Challenges related to large populations arise in the game theory, and mean field game (MFG) theory presents a toolbox to compute equilibria in these games with large number of players. MFGs were first developed for continuous state space models [35, 45, 46] and later for a finite state space models [32, 33, 42]. The theory for finite state MFGs has been extended in many directions, with contributions including a probabilistic approach [14], the master equation approach [4], minormajor player games [12], and extended games^{Footnote 5} [13]. Further, finite state mean field control, risksensitive control, and zerosum games are treated in [17,18,19] which cover cases of unbounded jump intensities. Graphon games [3, 7,8,9, 23, 30, 49] have recently been receiving an increasing research interest. The motivation is the study of strategic decision making in the face of a large noncomplete dense networks of distinguishable agents. The graphon game’s rising popularity stems from its ability to handle heterogeneity of agents to an extent far beyond the MFG theory.
1.2.2 Mean Field Games and Related Models for Epidemics
Decision making in compartmental models (e.g., the SIR model) have been studied intensively for a long time, with an increasing interest recently with the COVID19 pandemic. In the form of games and optimal control problems, diseasecombating efforts ranging from strategies for social contracts to vaccination have been analyzed in the literature. Here, we focus on work relying on the graphon game theory and the meanfield approach.
During an epidemic where the disease is prone to closecontact transmission (one example being COVID19) control of the contact rate or other social distancing protocols are goto solutions in the fight against the disease. Such strategies and related variations have been studied in the context of mean field games [16, 28], mean field optimal control [47], and mean field type games [55]. In reality the population needs to be tested for the disease in order to accurately asses the risks in the decision making process. Two recent papers studying optimal testing policies are [15, 36]. The effects of vaccination and accompanying decision making problems are not studied in this paper; they have been analyzed in MFGrelated settings since before the COVID19 pandemic [27, 31, 37, 43, 44, 50]. Recently, the interplay between a population in which a disease spreads and a regulator has been studied in the form of Stackelberg games. In such models, the members in the populations are taking actions based on policies issued by the regulator, while the regulator anticipates the population’s reaction and optimizes the policy. The case of a cooperative population has been studied in [36], while in [2] a population of selfish agents with contact factor control has been studied.
An example of a deterministic optimal control problem for centralized decision making during a pandemic in a society with multiple communicating subpopulations is given in [29]. The subpopulations interact over a nonuniform graph. A central planner wants to flatten the (global) curve of infections, leading to the optimal control problem. Sending the number of subpopulations to infinity, we anticipate a limit where each interaction is weighted by a graphon and the limit model would be reminiscent of the interacting system of Kolmogorov equations studied in this paper.
1.2.3 Networks and Graphons in Epidemiology
There is a vast body of literature on epidemiology modeling with network interactions. A review of the studies that use idealized networks^{Footnote 6} in epidemiology models can be found in [39]. More closely related to the ideas in this paper, there are recent contributions connecting epidemic models and graphons. In [57] a sensitivity analysis on the graphon SIS epidemic model is conducted. An infinite dimensional SIS model with application to targeted vaccination is considered in [24]. The paper [40] proposes a model with localdensity dependent Markov processes interacting through a graphon structure, and considers applications to epidemiology. In a similar but more general setting to the SIR model with graphon interaction, [1] studies convergence of a stochastic particle system to an SIRlike system of PDEs with spatial interaction. We note [1] and its continuation [25, 26] may be relevant for a future study of the convergence of Nplayer Nash equilibria to the equilibria in the finite state graphon game. The works mentioned in this section only consider the dynamics of the population without taking the agents’ decision making into account.
1.3 Contributions and Paper Structure
This paper is, to the best of our knowledge, the first to address the analysis and numerical resolution of graphon games that are timedependent and with a discrete state space. The application to epidemiology model departs from the traditional literature on epidemiology models and graphon models by the incorporation of a game theoretical aspect: here we go beyond dynamic graphon systems and find Nash equilibria for rational agents. We construct a probabilistic particle model for a continuum of interacting agents and prove that graphon aggregates must be deterministic (as in e.g. (5)) under a set of natural conditions on the strategies and transition rates. This motivates the study of the asymptotic deterministic model formulation and gives a transparent interpretation of the agent’s control in the applied context. We derive theoretical results for the deterministic model: a verification theorem and an existence theorem for the coupled continuum of forwardbackward ordinary differential equations (FBODEs) that characterize the finite state graphon game at equilibrium are proven. This is reminiscent of the mean field game framework, except that here the population is heterogeneous due to the graphonbased interactions. This makes the computation of solutions much more challenging. We then propose a machine learning method to solve the FBODE system. Finally, we consider a graphon game model for epidemic disease spread. Multiple test cases are solved with the proposed numerical method and the experimental results are discussed.
The outline of the rest of the paper is as follows: In Sect. 2, we introduce the model and analyze its deterministic formulation. In Sect. 3, we introduce the numerical approach and give experiment results. In Sect. 4, a theoretical framework for the model’s probabilistic framework is presented and we rigorously define the graphon game. For the sake of conciseness, the proofs are postponed to the appendices.
2 Model
2.1 Setup and Preliminaries
Let \(n\in {\mathbb {N}}\) and let E be the finite set \(\{1,\dots , n\}\). For each \(e\in E\) define the difference operator \(\varDelta _e\) acting on functions on E by the formula \([\varDelta _e \phi ](e^{\prime }) = \phi (e^{\prime })  \phi (e)\). We identify the set of probability measures on E, \({\mathcal {P}}(E)\), with the simplex \(\varDelta (E) := \{x = (x_1,\dots , x_n)\in {\mathbb {R}}^n_+: \sum _i x_i = 1\}\) and endow it with the Euclidean distance. Throughout the paper, the notation \({\mathcal {P}}(\cdot )\) will be used to denote the set of Borel probability measures.
Let \(T>0\) be a finite time horizon. A process \((f_t)_{t\in [0,T]}\) will be denoted with its bold letter symbol \({\varvec{f}}\). Let \({\mathcal {C}} := C([0,T]; {\mathbb {R}})\) be the space of continuous realvalued functions from [0, T], \({\mathcal {D}} := D([0,T]; {\mathbb {R}})\) be the space of realvalued functions from [0, T] càdlàg at \(t\in [0,T)\) and continuous at \(t=T\). We denote the uniform norm by \(\Vert x\Vert _T := \sup _{s\in [0,T]}x(s)\), \(x\in {\mathcal {D}}\). We note that \(({\mathcal {C}}, \Vert \cdot \Vert _T)\) and \(({\mathcal {D}}, \Vert \cdot \Vert _T)\) are both Banach spaces, only the former is separable. Let \({\mathcal {D}}_E \subset {\mathcal {D}}\) be the set of functions in \(f\in {\mathcal {D}}\) such that \(f([0,T])\subset E\). Since \({\mathcal {D}}_E\) is a closed subset of \({\mathcal {D}}\), \(({\mathcal {D}}_E, \Vert \cdot \Vert _T)\) is a complete metric space.
Let I be the unit interval equipped with the Euclidean distance. We denote by \(\lambda _I\) and \({\mathcal {B}}(I)\) the Lebesgue measure and Borel \(\sigma \)field on I, respectively. The set I is indexing the continuum of players in the graphon game. Throughout the paper, we will employ the notation \({\underline{\phi }} := (\phi (x))_{x\in I}\) for functions with domain I. Furthermore, in most cases we will denote the index argument with a superscript: \(\phi ^x := \phi (x)\).
This paper studies games with heterogeneous interactions. When the players in the game interact, the weight they give to each others’ action is parameterized by their indices. This weighted averaging is captured as the integration with respect to a graphon kernel function (see Section 1 for the discussion). Here, we give the most prevalent definition of a graphon.
Definition 1
A graphon is a symmetric Borelmeasurable function, \(w : I\times I \rightarrow [0,1]\).
The graphon induces an operator W from \(L^2(I)\) to itself: for any \({\underline{\phi }}\in L^2(I)\),
Remark 1
The definition of a graphon varies somewhat in the literature. Some authors require neither symmetry nor a nonnegative range. As mentioned in the introduction, the graphon as defined here can be used to represent the limit of a sequence of dense random graphs as the number of nodes (players) goes to infinity. For example, the constant graphon \(w(x,y) = p\) is in a sense the limit of a sequence of ErdősRényi graphs with parameter \(p \in [0,1]\). Conversely, random graphs can be sampled from a graphon in at least two different ways: either we sample points in I and construct a weighted graph whose weights are given by the graphon, or we sample points in I and then sample edges with probabilities given by the graphon.
A Qmatrix with realvalued entries \(q_{i,j}\), \(i,j\in E\), is an \(n\times n\) matrix with nonnegative offdiagonal entries such that:
In this paper, we will consider controlled Qmatrices with entries that depend on population aggregates. More specifically, we let for each \(x\in I\), \(q^x_{i,j}: A \times {\mathbb {R}} \mapsto {\mathbb {R}}\), \(i,j\in E\), be bounded measurable functions such that \(Q^x(\alpha , z) := [q^x_{i,j}(\alpha ,z)]_{i,j=1}^n\) is a Qmatrix for all \((\alpha ,z) \in A\times {\mathbb {R}}\). We are going to work under the following assumption on the rates \(q^x_{i,j}\):
Condition 1

(i)
There is a finite constant \(q_{\max }>0\) such that for all \(x\in I\), \((i,j)\in E^2\), \(a \in A\), and \(z\in {\mathbb {R}}\):
$$\begin{aligned} q^x_{i,j}(a,z) \le q_{\max }. \end{aligned}$$(8) 
(ii)
There is a finite constant \(C>0\), possibly depending on n, such that for \(p = 1,2\) and for all \(x\in I\), \(t\in [0,T]\), \(\alpha \in A\), \((i,j)\in E^2\), and \(z,z' \in {\mathbb {R}}\)
$$\begin{aligned}&q^x_{i, k+i}(\alpha , z)  q^x_{j, k+j}(\alpha , z') \le C\left( {\mathbf {1}}_{\{i\ne j\}} + z  z'^p\right) . \end{aligned}$$
Since the state space is finite and the rates are assumed to be uniformly bounded in Condition 1.(i), the Höldercontinuity assumption of Condition 1.(ii) is less restrictive than it otherwise would have been.
2.2 The Finite State Graphon Games Model for Epidemiology
In this section, we give a descriptive introduction to the epidemiological graphon game without going in to all the technical details. A rigorous mathematical motivation, built on the theory of Fubini extensions to accommodate for a continuum of independent jump processes, is presented in Sect. 4.
On a probability space \((\varOmega , {\mathcal {F}}, {\mathbb {P}})\), we consider a continuum of Evalued pure jump processes \(\varvec{X}^x = (X^x_t)_{t\in [0,T]}\) indexed over \(x\in I\). That is, for each \(\omega \in \varOmega \), \({\varvec{X}}^x(\omega )\in {\mathcal {D}}_E\). The stochastic process \({\varvec{X}}^x\) models the state trajectory of player x. The initial state \(X^x_0\) is sampled from a distribution \(p_0^x \in {\mathcal {P}}(E)\). Each player implements a strategy \(\varvec{\alpha }^x\), a process taking values in the compact interval \(A\subset {\mathbb {R}}\) described in more detail below. The players interact and each player’s state trajectory is potentially influenced by the whole strategy profile \((\varvec{\alpha }^x)_{x\in I}\). To emphasize dependence we denote the state trajectory of player x as \(\varvec{X}^{\underline{\varvec{\alpha }},x}\) given a strategy profile \(\underline{\varvec{\alpha }}=(\varvec{\alpha }^x)_{x\in I}\). For all \(x\in I\), \({\varvec{X}}^{\underline{\varvec{\alpha }},x}\) is a Evalued pure jump process with rate matrix \(Q^x(\alpha ^x_t, Z^{\underline{\varvec{\alpha }},x}_t)\) at time \(t\in [0,T]\). The rate matrix is controlled by \(\varvec{\alpha }^x\) and influenced by the population aggregate \({\varvec{Z}}^{\underline{\varvec{\alpha }},x}\). The aggregates we consider are averages weighted by a graphon w, more specifically of the form \([W K({\underline{\alpha }}_t, {\underline{X}}^{\underline{\varvec{\alpha }}}_{t})]\) (cf. (6)) for some function \(K : A\times E \rightarrow {\mathbb {R}}\). In Sect. 4 we prove that the aggregate is a deterministic function of time, henceforth we write
where w is a graphon.
K will be called the impact function since it quantifies how much a player’s joint state and control distribution impacts the aggregate variable. One example is the impact function in Sect. 1.1 where \(K(\alpha ,e) = \alpha {\mathbf {1}}_{(e = {\mathsf {I}})}\), where the interpretation being that the aggregate is the averaged contact factor control of infected players. We have the following assumption on K:
Condition 2
There exist finite constants \(L_K,C_K>0\) such that for all \(a,a'\in A\) and \(e\in E\):
Our (for now formal) probabilistic definition of the interacting system of players is complete. The rigorous analysis of the system, the construction of a continuum of state trajectories, and conditions under which the aggregate is deterministic, i.e., of the form (9), is treated in detail in Sect. 4.
The key feature of the graphon game is that the aggregate variable is in general not the same for two distinct players. The players are therefore distinguishable and there is no “representative agent", as in MFGs^{Footnote 7}. As a direct consequence, there is no flow of player state distributions common to all players. Instead, each player has their private flow. Denote by \(p^{\underline{\varvec{\alpha }},x}(t,e)\) the probability that player \(x\in I\) that is in state \(e\in I\) at time \(t\in [0,T]\), given that the population plays the strategy profile \(\underline{\varvec{\alpha }}\). We shall argue that player x’s state distribution flow \(\varvec{p}^{\underline{\varvec{\alpha }},x}\) solves the Kolmogorov forward equation
with initial condition \(p^{\underline{\varvec{\alpha }},x}(0) = p_0^x\) and the player’s aggregate variable \(Z_t^{\underline{\alpha },x}\) is
with \(\rho ^{\underline{\varvec{\alpha }},y}_t\) being the joint probability law of control and state, \((\alpha ^y_t, X^{\underline{\varvec{\alpha }},y}_{t})\).
We turn our focus to the players’ actions. We will make three standing assumptions that directly affect which strategies the players will choose. The first is that the environment that endogenously affects the players (but is known to the players) is varying smoothly over time, with no abrupt changes for example in lockdown penalties or expected recovery time. Secondly, if the players can impact their environment with their control, then the environment varies smoothly with their control too. For example, the risk of infection depends continuously on the agent’s level of cautiousness. Finally, the players’ strategies are decentralized, i.e., are unaffected by the transition of any agent other than themselves. Under these circumstances, the players have no apparent reason to discontinuously change their action over time except at times of transition between states. Such strategies (Avalued; decentralized; continuous in time between changes of the player’s own state) will be called admissible and the set of admissible strategies denoted by \({\mathbb {A}}\). The setting is further discussed in Sect. 4.
In this paper, we focus on the finite horizon problem where the cost is composed of two components: a running cost and a terminal cost. For each player \(x\in I\), the assumptions on the conditions that the running and terminal cost functions, \(f^x : [0,T]\times E\times {\mathbb {R}}\times A \rightarrow {\mathbb {R}}\) and \(g^x: E\times {\mathbb {R}}\rightarrow {\mathbb {R}}\), satisfy are given later in the text together with the theoretical results. The total expected cost to player x for playing the strategy \(\varvec{\sigma }\in {\mathbb {A}}\) while the population plays the strategy profile \(\underline{\varvec{\alpha }}\) is
As we shall see, a change in player x’s control has no effect on the aggregate. Hence, the expected cost depends on the strategy profile only indirectly through the value of the aggregate variable. See Sect. 4 for the details. Therefore, hereinafter we shall use the notation \(J^x(\varvec{\sigma }; \varvec{Z}^{\underline{\varvec{\alpha }},x}) \) for the righthand side of (12). In light of this, we employ the following definition of a Nash equilibrium in the graphon game:
Definition 2
The strategy profile \(\underline{\varvec{\alpha }}\) is a Nash equilibrium if it is admissible and no player can gain from a unilateral deviation, i.e.,
2.3 Analysis of Finite State Graphon Games
By Definition 2, an admissible strategy profile \(\hat{\underline{\varvec{\alpha }}}\) is a Nash equilibrium if there exists an aggregate profile \(\hat{\underline{{\varvec{Z}}}} = (\hat{{\varvec{Z}}}^x)_{x\in I}\) such that

for all \(x \in I\), \(\hat{\varvec{\alpha }}^x\) minimizes \(J^x(\cdot ; \hat{{\varvec{Z}}}^x)\);

for all \(x \in I\), \(\hat{{\varvec{Z}}}^x\) is the aggregate perceived by player x if the population uses strategy profile \(\hat{\underline{\varvec{\alpha }}}\).
This alternative formulation has the advantage to split the characterization of the equilibrium into two parts and in the first part, the optimization problem faced by a single agent is performed with while the aggregate is fixed.
With a flow \({\varvec{Z}}^x\) being fixed, we define the value function of player \(x\in I\) as, for \(t\in [0,T]\) and \(e\in E\),
where \({\varvec{X}}^{\varvec{\sigma },{\varvec{Z}}^x,x}\) is an Evalued pure jump process with transition rate matrix \(Q^x(\sigma _t, Z^x_t)\) at time \(t\in [0,T]\) and initial distribution \(p^x_0\).
To derive optimality conditions, we introduce the Hamiltonian of player x:
where \(h\in {\mathbb {R}}^{n}\) and \(\overrightarrow{{\mathbf {1}}_e}\) is the coordinate (row) vector in direction e in \({\mathbb {R}}^n\). We assume that \(A \ni \alpha \mapsto H^x(t,e,z,h,\alpha )\) admits a unique measurable minimizer \({\hat{a}}^x_e(t,z,h)\) for all (t, z, h) and define the minimized Hamiltonian of player x:
The dynamic programming principle of optimal control leads to the HJB equation for \(u^x\) that reads
where \({\dot{u}}^x(t,e)\) denotes the time derivative of \({u}^x(t,e)\). Noting that \(\overrightarrow{{\mathbf {1}}_e} Q(a,z)h = \overrightarrow{{\mathbf {1}}_e} Q(a,z) \varDelta _e h\), (15) can be equivalently written as
In the following theorem, we verify that the solution of the HJB equation indeed is the value function of the infinitesimal agent’s control problem, and we provide an expression for an optimal Markovian control in terms of this value function and the aggregate.
Theorem 1
If \(u^x : [0,T]\times E \ni (t,e) \mapsto u^x(t,e)\in {\mathbb {R}}\) is a continuously differentiable solution to the HJB equation (15), then \(u^x\) is the value function of the optimal control problem when the flow \({\varvec{Z}}^x\) is given. Moreover, the function
gives an optimal Markovian control.
Next, we prove the existence of a solution to the coupled KolmogorovHJB system at equilibrium. For that purpose we place the following condition:
Condition 3

(i)
There exist two functions \(Q_1\) and \(Q_2\) with \(Q_2\) locally Lipschitz such that \(Q(a,z) = Q_1(z) + aQ_2(z)\) for all \(a \in A, z \in {\mathbb {R}}\).

(ii)
\(a \mapsto f^x(t,e,z,a)\) is continuously differentiable, and as a function of a it is strongly convex, uniformly in (t, e, z) with constant \(\lambda \); \((t,z) \mapsto \partial _a f^x(t,e,z,a)\) is locally Lipschitz continuous, uniformly in \(a \in A, e \in E\).

(iii)
f and g are uniformly bounded and \(z \mapsto f^x(t,e,z,a)\) is continuous.
As a consequence of Condition 3(i) and 3(ii) \(a \mapsto H^x(t,e, z, h, a)\) is once continuously differentiable and strictly convex, and \((t,z,h) \mapsto {\hat{a}}_e(t,z,h)\) is locally Lipschitz continuous (see Lemma 1 in Appendix A.2). We denote Lipschitz constant of \([c,c]\ni z \mapsto \hat{a}(t,z,h)\) by \(L_{{\hat{a}}}(c)\), which can be bounded from above using smoothness properties of \(Q^x\) and \(f^x\). More specifically, \(L_{{\hat{a}}}\) depends on the local Lipschitz coefficients of \(z \mapsto \partial _a Q^x(a,z)\) and \((t,z,h) \mapsto \partial _a f^x(t,e,z,a)\), see the proof of Lemma 1). Recall that \(C_K\) denotes the uniform upper bound of the impact function K guaranteed by Condition 2.
Theorem 2
Assume Conditions 1, 2, 3 hold. If \(\Vert w\Vert _{L^2(I\times I)}L_KL_{{\hat{a}}}(C_K) < 1\), then the coupled Kolmogorov–HJB forwardbackward system at equilibrium
admits a bounded solution (u, p) in \(C([0,T]; L^2(I\times E)\times L^2(I\times E))\) such that for each \((t,x)\in [0,T]\times I\), \(p^x(t, \cdot )\) is a probability mass function on E.
2.4 The Finite State Graphon Game for SIR with Contact Factor Control
Here, we introduce a model which we shall use as a test bed for the numerical algorithm presented in Sect. 3. It is inspired by the first example scenario in [2] and builds on the case discussed in Sect. 1.1. It is a compartmental model with four possible states: \((\mathsf S)\)usceptible, \(({\mathsf {I}})\)nfected, \(({\mathsf {R}})\)ecovered and \(({\mathsf {D}})\)eceased. The agents choose their level of contact factor. A regulator (government or health care authority) recommends statedependent contact factor levels to the agents, denoted by \(\varvec{\lambda }^{(e)}\), \(e\in \{{\mathsf {S}}, {\mathsf {I}}, {\mathsf {R}}\}\). For enforcement purposes, it also sets penalties for deviation from these levels. The cost has 3 components: The first component penalizes the agent for not following the regulator’s recommended contact factor level, the second is the cost of treatment for an infected agent (this cost can be player specific due to individual differences in health care plan coverage, etc.), and the last one is the cost for being deceased. In this setting, the running cost is written as
where \(c_I\) and \(c_D\) are nonnegative costs functions (of the player index). We set the terminal cost to be identically zero, \(g^x(e,z) = 0\) for all \((e,z)\in E \times {\mathbb {R}}\). The transition rate matrix for player x is given as:
where \(\beta , \gamma , \kappa ,\rho \) are nonnegative parameter functions, \(0\le \rho \le 1\), determining the rates of infection, recovery, reinfection, and decease, and where in each row, the diagonal entry is the negative of the sum of the other terms on the same row. In line with the discussion in Sect. 1.1, the transition rate from state \({\mathsf {S}}\) to \({\mathsf {I}}\) depends on the agent’s own decision and the aggregate variable^{Footnote 8}. Furthermore, when an infected agent transitions, she goes to state \({\mathsf {R}}\) with probability \(\rho \) and to state \({\mathsf {D}}\) with probability \((1\rho )\). Then, for player x the optimality conditions yield
and the forwardbackward graphon ODE system reads:
We note that with a careful choice of \(\beta (x)\), \(c_\lambda \), and \((\varvec{\lambda }^{(e)})_{e\in E}\) this system will satisfy the sufficient condition for existence from Theorem 2.
3 Numerical Approach
We rewrite the continuum of FBODEs (18) as the solution of a minimization problem: minimize
where \((p_{\theta }, u_{\theta })\) solve the forwardforward continuous system of ODEs:
This “shooting” strategy is reminiscent of the one used e.g. in [20, 21, 41] for stochastic optimal control problem and e.g. in [2, 11] for mean field games in a numerical context. However, here we deal with a continuum of ODEs rather than a finite number of stochastic differential equations. Here \(\theta \) is the parameter in the function \(\varphi \) replacing the initial condition of u. Typically, \(\theta \) is a realvalued vector of dimension the number of degrees of freedom in the parametric function \(\varphi \). In general, the true initial condition for \(u^x\) is a nonlinear function with a potentially complicated shape. So we need to choose a rich enough class of parametric functions. In the implementation, we used a deep neural network with a feedforward architecture. See, e.g., [10] for a description of the feedforward neural network architecture we used in the implementation.
Our strategy to find \(\theta \) is to run a gradientdescent based method. To alleviate the computational cost and to introduce some randomness, at each iteration we replace the above cost \({\mathbb {J}}\) by an empirical average over a finite set of indices x, which is also used to approximate the value of the aggregate quantities. More precisely, for a finite set \({\mathbf {S}}\) of indices, we introduce
where \((p_{\theta ,{\mathbf {S}}}, u_{\theta ,{\mathbf {S}}})\) solves the forwardforward (finite) system of ODEs:
3.1 Piecewise Constant Graphon
Let \(m^1, m^2,\dots , m^K\) be nonnegative numbers such that \(\sum _{k=1}^K m^k =1\). We divide the player population into K groups, \(B^1,\dots , B^K\), placing all players with index \(x\in [0,m^1)\) into group \(B^1\), etc. We assume that players belonging to the same group are indistinguishable. For example, all players within a group must have the same recovery rate \(\gamma \) and if \(x,x'\in I\) are the indices of two players in the same group, then \(w(x,y) = w(x',y)\) for all \(y\in I\). In this situation, we only need to specify the graphon’s values on each block of indices corresponding to a group, since the graphon is a constant on each block. Let us identify the group \(B^i\) with its index block (or set). We can compactly represent the interaction weights between the blocks with a connection matrix \([w_{ij}]_{i,j=1}^K\), where \(w_{ij}\) is the connection strength between players in block \(B^i\) and players in block \(B^j\). Then, for all players x in block \(B^i\)
which is constant over \(x\in B^i\). This is a feature of that we sometimes see when the piecewise constant graphon is used. Furthermore, we assume \(\beta \), \(\gamma \), \(\kappa \) constant over each block but can differ between blocks. It opens up the possibility for us to solve the graphon game with classical numerical methods^{Footnote 9} and a way of evaluating the DeepGraphonGame algorithm.
Turning to the remaining example set up, we specify the cost structure as a particular case of the general formulation of Sect. 2.4. We assume that the regulator has set \(\varvec{\lambda }^{({\mathsf {S}},k)}, \varvec{\lambda }^{({\mathsf {I}},k)}, \varvec{\lambda }^{({\mathsf {R}},k)}\), \(k=1,\dots , K\), different for each block.
In this scenario, we first study the policy effects on the death ratio in the age groups. The policies compared are no lockdown (NL); quarantine for infected (QI); age specific lockdown (AL); full lockdown (FL). We can see in Fig. 1 that the death ratio decreases nearly 30% if infected individuals are quarantined, compared to no lockdown. Furthermore, if an age specific lockdown is implemented, we see that even more lives are saved while not deteriorating the economy. Zooming in on the comparison of no lockdown and quarantine for infected (second row of Fig. 1), we note that susceptible individuals are using a smaller contact factor when there is no quarantine in place. They optimize their risk and hence want to be more cautious, since the risk of getting infected is higher (Tables 1 and 2).
Secondly, in the same scenario, we model multiple cities with different attributes and study the effects of the travel restrictions. In this experiment, we compare a universal notravel policy to the policy where traveling in or out of one of the cities is restricted (totaling four policies in the comparison). City 1 is a highly populated city with a more contagious virus variant, city 2 also has this variant; however, it is a small city. City 3 is a highly populated city but with a less contagious virus variant. For visual simplification, we assume that there are no deaths (i.e. \(\rho =0\)). In Fig. 2, we can see that the infecteddensity curve can be flattened the most if city 1 has travel restrictions. The reason is the existence of the more contagious variant and the large size of the city 1. We note that when this restriction is implemented the susceptible individuals feel relieved and increase their contact factor control (Tables 3 and 4).
3.1.1 Sanity Check for the Numerical Approach
Here, we test the DeepGraphonGame algorithm by comparing its solution to the solution obtained by solving the ODE system for the citiesexample when city 1 has travel restrictions (Table 4). As can be seen in Fig. 3, the DeepGraphonGame algorithm approximates the exact result well. A plot of the function \(x\mapsto u^x(0,{\mathsf {S}})\), where \(u^x\) is the numerically computed value function, can be seen on the right side of the bottom row in Fig. 3. We can clearly see that agents in the same block have the same \(u^x(0,{\mathsf {S}})\) values. From this we infer that the DeepGraphonGame algorithm is preforming well when learning this piecewise constant function.
3.2 General Graphon
To show scalability of the proposed numerical approach now we focus on the second example in [2] with the SEIRD model where the state \(({\mathsf {E}})\)xposed is added. An individual is in state \({\mathsf {E}}\) when infected but is not yet infectious. Hence, the agents evolve from \({\mathsf {S}}\) to \({\mathsf {E}}\) and then to \({\mathsf {I}}\), and the infection rate from \({\mathsf {S}}\) to \({\mathsf {E}}\) depends on the proportion of the infected agents. The diagram of the dynamics can be seen in Fig. 4. The cost structure is similar to the one used in Sect. 2.4. After introducing the state \({\mathsf {E}}\), we set
In this example, we focus on an application where the agents are not homogeneous over blocks. The interaction strength between individual x and y is now given by the power law graphon: \(w(x,y) = (xy)^{g}\) where \(\infty <g\le 0\) is a constant^{Footnote 10}. Intuitively, the power law graphon models interactions in a population where a small number of individuals are responsible for a large number of the interactions. For example, a population with superspreaders^{Footnote 11} can be modeled with this graphon. The model with an underlying power law graphon interaction requires us to solve a continuum of coupled ODEs which is not computationally feasible. However, by using the DeepGraphonGame algorithm, the solution can be learned by using simulated particles, i.e. agents.
According to CDC, COVID19 reinfection is very rare^{Footnote 12}; therefore, we assume that there is no reinfection (i.e. \(\kappa =0\)). Furthermore, the recovery duration is around 10 days since the symptom onset^{Footnote 13}. For this reason, we assume that \(\gamma =0.1\; \text {days}^{1}\). According to the recent study conducted by Lauer et al. [56], an exposed person begins to show symptoms after around 5 days. Based on this observation, we choose \(\epsilon = 0.2\; \text {days}^{1}\). Finally, the Basic Reproduction Number estimate \(R_0=2\) used by CDC^{Footnote 14} leads us to set \(\beta = R_0 \times \gamma = 0.2\) in our simulations (Table 5).
The experiment results for a sampled finite subset of the agent population are presented in Fig. 5. In the figure, each line corresponds to one agent and the color of the plot gets darker as the index of the agent (i.e. x) increases. Our first observation is that as the index of the agent increases, the aggregate also increases. In response to this high aggregate, the agent lower its contact rate, in order to protect itself. However, this protection is not enough to neutralize the effects of the high levels of the aggregate and the probability of the agent to be infected is still elevated.
4 The Probabilistic Approach to Finite State Graphon Games
This section contains a closer study of the continuum of interacting jump processes that constitute the graphon game dynamics. Going back to the informal discussion in the introductory Sect. 1.1, it is not clear that there would be an adequate law of large numbers so that (4) converges to (5) since the averaged random variables are dependent. A common approach in economic theory for this situation is to consider the continuum limit and average the continuum of random variables with respect to a nonatomic probability measure over I. Using the example from Sect. 1.1 again, a continuum limit of (4) is
However, the integral in the expression above is illdefined. There is an issue of constructing a continuum of independent random variables (here, that would be the driving Poisson noise) that are jointly measurable in the sample and the index. If the construction is done in the usual way via the Kolmogorov construction, then almost all random variables are essentially equal to an arbitrarily given function on the index space (i.e., as random variables they are constants). Hence, in any interesting case the function \(y \mapsto X^y_{t}\) will not be measurable with respect to the Lebesgue measure. One solution proposed by economists is to extend the usual probability space to a socalled a Fubini extension [52], a probability space over \(\varOmega \times I\) where Fubini’s theorem holds. On the Fubini extension a continuum of random variables can be constructed that are essentially pairwise independent (e.p.i.; see Theorem 3 for the definition) and jointly measurable in sample and index. Moreover, there is hope for an exact law of large numbers [53], justifying our assumption about the determinism of the aggregate variable in the previous sections. We will construct a Fubini extension that carries a continuum of e.p.i. Poisson random measures. Then, each player path will be defined in the representation of the counting processes associated to the pure jump process as a stochastic integral with respect to a family of independent Poisson random measures with Lebesgue mean measure on \({\mathbb {R}} \times [0, T]\) as suggested in Skorokhod [51] and Grigelionis [34].
4.1 Theoretical Background and Definitions
4.1.1 Poisson Random Measures
Let us denote by \((\varGamma , {\mathcal {G}}, {\mathbb {G}})\) the measure space \(({\mathbb {R}}\times [0,T], {\mathcal {B}}({\mathbb {R}}\times [0,T]), \text {Leb}_{{\mathbb {R}}\times [0,T]})\). We first recall the definition of a Poisson random measure. A family \(\bigl (N_\cdot (G)\bigr )_{G\in {\mathcal {G}}}\) of random variables defined on some probability space \((H, {\mathcal {H}}, {\mathbb {H}})\) is said to be a Poisson random measure with measure \({\mathbb {G}}\) if

for all \(G\in {\mathcal {G}}\) such that \({\mathbb {G}}(G)<\infty \), \(N_\cdot (G)\) is a Poisson random variable with rate \({\mathbb {G}}(G)\);

the random variables \(N_\cdot (G_1),\dots , N_\cdot (G_n)\) are mutually independent whenever the sets \(G_1,\dots , G_n \in {\mathcal {G}}\) have finite \({\mathbb {G}}\)measures and are disjoint;

for all \(\omega \in H\), \(N_\omega (\cdot )\) is a measure on \((\varGamma ,{\mathcal {G}})\).
We define \( {\tilde{M}} := \{\mu \ \ \mu \text { is a }\sigma \text {finite nonnegative measure on }(\varGamma ,{\mathcal {G}})\}, \) and the subset of locally finite measures by
For all bounded measurable \({{\tilde{G}}}\), define the mappings \( I_{{{\tilde{G}}}} : {\tilde{M}} \ni \mu \mapsto \mu ({{\tilde{G}}}) \in {\mathbb {R}}. \) Let \(\tilde{{\mathcal {M}}}\) and \({\mathcal {M}}\) be the \(\sigma \)algebras induced by the mappings \(I_{{{\tilde{G}}}}\) on \({\tilde{M}}\) and M respectively. For us, a random measure will be a measurable function from \((H, {\mathcal {H}}, {\mathbb {H}})\) into \(({\tilde{M}}, \tilde{{\mathcal {M}}})\) that almost surely takes values in \((M, {\mathcal {M}})\). We shall also use the fact that M (equipped with the vague topology) is a Polish space [22]. We denote the law of N on \((M, {\mathcal {M}})\) by \({\mathcal {N}}\).
The Poisson random measure N has an accompanying martingale. For all bounded \(A\in {\mathcal {B}}({\mathbb {R}})\), \({\widehat{N}}(A,t) := N(A\times [0,t]) \text {Leb}(A)t\) is a square integrable zeromean martingale.
4.1.2 The Fubini Extension
In the model, state dynamics are given as Evalued jump processes. We will construct such a process from \(2E1=2n1\) independent Poisson random measures. The possible jumps will be those so that the state process jumps between two integers in E, at most \(n1\) steps up or down. The initial state of player \(x\in I\) is randomly sampled from a preselected distribution \(p^x_0 \in {\mathcal {P}}(E)\).
In order to model idiosyncratic random shocks affecting the dynamics of the individual states, we use the framework of Fubini extensions. It allows us to capture a form of independence for a continuum of random variables, while preserving joint measurability.
Definition 3
If \((\varOmega , {\mathcal {F}}, {\mathbb {P}})\) and \((I, {\mathcal {I}}, \lambda )\) are probability spaces, a probability space \((\varOmega \times I, {\mathcal {W}}, {\mathbb {Q}})\) extending the usual product space \((\varOmega \times I, {\mathcal {F}}\otimes {\mathcal {I}}, {\mathbb {P}}\otimes \lambda )\) is said to be a Fubini extension if for any realvalued \({\mathbb {Q}}\)integrable function f on \((\varOmega \times I, {\mathcal {W}})\)

(i)
the two functions \(f_x : \omega \mapsto f(\omega ,x)\) and \(f_\omega : x \mapsto f(\omega ,x)\) are integrable, respectively, on \((\varOmega , {\mathcal {F}},{\mathbb {P}})\) for \(\lambda \)a.e. \(x\in I\), and on \((I,{\mathcal {I}},\lambda )\) for \({\mathbb {P}}\)a.e. \(\omega \in \varOmega \);

(ii)
\(\int _\varOmega f_x(\omega ) d{\mathbb {P}}\) and \(\int _If_\omega (x)d\lambda (x)\) are integrable, respectively, on \((I,{\mathcal {I}},\lambda )\) and \((\varOmega , {\mathcal {F}},{\mathbb {P}})\), with the Fubini property
$$\begin{aligned} \int _{\varOmega \times I}f(\omega ,x)d{\mathbb {Q}}(\omega ,x)&= \int _I\left( \int _\varOmega f_x(\omega )d{\mathbb {P}}(\omega )\right) d\lambda (x)\\&= \int _\varOmega \left( \int _If_\omega (x)d\lambda (x)\right) d{\mathbb {P}}(\omega ). \end{aligned}$$
The following theorem summarizes the results by Sun and collaborators, see for example [53] and [54], which we use as a foundation for our model.
Theorem 3
There exists a probability space \((I,{\mathcal {I}},\lambda )\) extending \((I,{\mathcal {B}}_I,\lambda _I)\), a probability space \((\varOmega , {\mathcal {F}},{\mathbb {P}})\), and a Fubini extension \((\varOmega \times I, {\mathcal {F}}\boxtimes {\mathcal {I}}, {\mathbb {P}}\boxtimes \lambda )\) such that for any measurable mapping \({\underline{\phi }}\) from \((I,{\mathcal {I}}, \lambda )\) to \({\mathcal {P}}(E \times M^{2n1})\) there is an \({\mathcal {F}}\boxtimes {\mathcal {I}}\)measurable process \({\underline{f}} : \varOmega \times I \rightarrow E \times M^{2n1}\) such that the random variables \(f^x = {\underline{f}}(\cdot , x)\) are essentially pairwise independent (e.p.i.), i.e., for \(\lambda \)a.e. \(x\in I\), \(f^x\) is independent of \(f^y\) for \(\lambda \)a.e. \(y\in I\), and \({\mathbb {P}}\circ (f^x)^{1} = \phi ^x\) for all \(x\in I\).
We set \(\phi ^x = p^x_0 \otimes (\otimes _{k=n+1}^{n1} {\mathcal {N}})\), where \({\mathcal {N}}\) is the probability law of the Poisson random measure introduced above, and \(p^x_0\) is the initial distribution of player x. By Theorem 3 (which holds for \(\underline{\phi }\) since E and M are Polish spaces) there exists a collection of random variables \((\underline{\xi }, {\underline{N}}_{k}; k = n+1 ,\dots , n1)\) on a Fubini extension \((\varOmega \times I, {\mathcal {F}}\boxtimes {\mathcal {I}}, {\mathbb {P}}\boxtimes \lambda )\), that are e.p.i. and \(\phi ^x\)distributed for all \(x\in I\). With the model in Sect. 2 in mind, we assume that the mapping \(x \mapsto p^x_0\) is Lebesguemeasurable (this assumption is however not necessary for the analysis that follows).
We denote by \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\) the Bochner space of all (equivalence classes of) strongly \(({\mathbb {P}}\boxtimes \lambda ,{\mathcal {B}}({\mathcal {D}}))\)measurable functions \({\underline{f}} : \varOmega \times I \rightarrow {\mathcal {D}}\) for which
We define \(L^2_\boxtimes (\varOmega \times I; {\mathcal {C}})\) in the same way, with \({\mathcal {C}}\) replacing \({\mathcal {D}}\) above. By e.g. [38, Ch. 1.2.b], \(L^2_\boxtimes (\varOmega \times I; {\mathcal {C}})\) and \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\) are Banach spaces.
For later reference, we define also the set \({\mathcal {L}}_E\) as the subset of \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\) of \({\mathbb {P}}\boxtimes \lambda \)a.e. \({\mathcal {D}}_E\)valued functions. One can show that \({\mathcal {L}}_E\) is a closed subset of \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\), hence \(({\mathcal {L}}_E, \Vert \cdot \Vert _{L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})})\) is a complete metric space.
4.1.3 The Set of Admissible Strategies
We can now give a rigorous definition of the set of admissible strategy profiles. Recall that A is a compact subset of \({\mathbb {R}}\).
Definition 4
We define the set \(\underline{{\mathbb {A}}}\) of admissible strategy profiles in feedback form as the set of Avalued, \({\mathcal {I}}\otimes {\mathcal {B}}([0,T]) \otimes {\mathcal {B}}(E)\)measurable functions \(\underline{\alpha }\) on \(I\times [0,T] \times E\) such that \(\underline{\alpha }(x,\cdot , e)\) is a continuous function on [0, T] for every \((x,e) \in I\times E\).
We will sometimes use the same notation \(\underline{{\mathbb {A}}}\) for the set of admissible control processes associated to an admissible strategy profile in feedback form \(\underline{\varvec{\alpha }}\). At time t, for player \(x\in I\), the value of such a control process is the action \(\underline{\alpha }(x,t,X^{x,\varvec{\alpha }}_{t})\) where \(X^{x,\varvec{\alpha }}_{t}\) is the state of player x just before time t. These control processes are predictable with respect to the filtration generated by the player’s private state, and decentralized since they do not depend directly on other players’ states.
The continuity in time is a strong assumption and prohibits the player from immediately reacting to abrupt changes in their environment. However, if a player transitions between two states at time t their control can be discontinuous at that time (as a multivariate function of time and state). In Sect. 2, a rationale was given for restricting our attention to such controls.
4.2 The Finite State Graphon Game in the Fubini Extension
We begin by describing an interacting system of a continuum of particles. First, we define the decoupled system where the aggregate variable vector has been “frozen”. Then, we define the aggregate with a fixed point argument. Finally, we prove that the aggregate is in fact deterministic.
Consider the pure jump stochastic integral equation (here written formally)
where \(x\in I\), \(t\in [0,T]\), \(\underline{\varvec{\alpha }}(\omega ) = (\varvec{\alpha }^x(\omega ))_{x} := (\underline{\alpha }(x,t,X^{\underline{\varvec{\alpha }},\underline{\varvec{z}}, x}_{t}(\omega ))_{t,x}\) for some admissible strategy profile \(\underline{\varvec{\alpha }}\), \(\underline{{\varvec{z}}}\in L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\), for any \(k\in {\mathbb {Z}}\), \(x\in I\), \(s\in [0,T]\), \(a\in A\), \(z\in {\mathbb {R}}\), \(i\in E\)
is the rate of jumps from state i to state \(i+k\) given the action \(a\in A\) and the aggregate value z. The proposition below asserts that (26) has a unique solution in \({\mathcal {L}}_E\), the subset of \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\) defined in the end of Sect. 4.1.2.
Proposition 1
Assume that Condition 1 holds. Let \(\underline{{\varvec{z}}}\in L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\) and \(\underline{\alpha } \in \underline{{\mathbb {A}}}\) be fixed. Then there is a unique strong solution \(\underline{\varvec{X}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}} \in {\mathcal {L}}_E\) to (26), i.e., a \({\mathbb {P}}\boxtimes \lambda \)a.e. \({\mathcal {D}}_E\)valued process satisfying (26) \({\mathbb {P}}\boxtimes \lambda \)a.s.
Note that the quantity
appearing in the righthand side of (26), is a counting process with intensity \(\kappa ^x(X_{t}^{\underline{\varvec{\alpha }}, \underline{{\varvec{z}}}, x},k, \alpha ^x_t, z^x_{t})\) at time \(t\in [0,T]\) so by construction the solution to (26) (granted by Proposition 1) is almost surely an Evalued pure jump process with intensity matrix \(Q^x(\alpha ^x_t(\omega ), z^x_{t}(\omega ))\) at time \(t\in [0,T]\).
For a fixed admissible strategy profile \(\underline{\varvec{\alpha }}\), consider now the coupled system
The next theorem proves that (28) is wellposed with a unique solution in \(L^2_\boxtimes \)sense. It further specifies the regularity of the solution: the aggregate variable \(\underline{{\varvec{Z}}}^{\underline{\varvec{\alpha }}}\) must \({\mathbb {P}}\boxtimes \lambda \)a.s. be a deterministic and a continuous function of time.
Theorem 4
Let Condition 1 and 2 hold, and let \(\underline{\varvec{\alpha }} \in \underline{{\mathbb {A}}}\).

(i)
There exists a unique solution \(\underline{{\varvec{X}}}^{\underline{\varvec{\alpha }}}\in {\mathcal {L}}_E\) to (28). The corresponding aggregate \(\underline{{\varvec{Z}}}^{\underline{\varvec{\alpha }}}\) is a random variable in \(L^2_\boxtimes (\varOmega \times I; {\mathcal {C}})\).

(ii)
The aggregate \(\underline{\varvec{Z}}^{\underline{\varvec{\alpha }}}\) is \({\mathbb {P}}\boxtimes \lambda \)a.s. equal to a deterministic (i.e., constant in \(\omega \)) function in \(L^2_\boxtimes (\varOmega \times I; {\mathcal {C}})\).

(iii)
There is a unique pair \(\underline{\varvec{\check{X}}}^{\underline{\varvec{\alpha }}}\) and \(\underline{\varvec{\check{Z}}}^{\varvec{{\underline{\alpha }}}}\) of versions of \(\underline{{\varvec{X}}}^{\underline{\varvec{\alpha }}}\) and \(\underline{{\varvec{Z}}}^{\underline{\varvec{\alpha }}}\), respectively, solving (28) for all \(x\in I\) in the standard \(L^2\)sense. Moreover \(\underline{\varvec{\check{Z}}}^{\varvec{{\underline{\alpha }}}}\) is deterministic and continuous in time for all \(x\in I\).
Theorem 4 justifies working with a model defined for all \(x\in I\) with a deterministic, continuousintime aggregate in Sect. 2. From here on, we will represent the \(L^2_\boxtimes \)elements solving system (28) with the version defined for all \(x\in I\) and drop the check in the notation.
Remark 2
If admissible strategy profiles did not have the prescribed continuity property we could not expect the aggregate to be a continuous function of time. One example of such a case is found in [2] where a regulator imposes a penalty that is discontinuous in time, resulting in equilibrium controls and aggregates discontinuous in time. We leave the analysis of the more general case to future work.
We now turn to the notion of player costs and equilibrium. Denote by \({\mathbb {A}}\) the set of Avalued and \({\mathcal {B}}([0,T])\otimes {\mathcal {B}}(E)\)measurable functions on \([0,T]\times E\), continuous \(t\in [0,T]\) for every \(e\in E\) that. If the player population plays according to an admissible strategy profile \(\underline{\alpha }\in \underline{{\mathbb {A}}}\) and player \(x\in I\) decides to play strategy \(\varvec{\sigma }= (\sigma (t, X^{\underline{(\varvec{\alpha }^{x}, \varvec{\sigma })},x}_{t}))_{t\in [0,T]}\) where \(\sigma \in {\mathbb {A}}\) and
then \(\underline{(\varvec{\alpha }^{x},\varvec{\sigma })}\) is an admissible strategy profile and the player’s expected cost for using \(\varvec{\sigma }\) is
In fact, \({\mathbb {A}}\) is the set of strategies a player can deviate to without destroying the admissibility of the strategy profile. Therefore, we say that if \(\underline{\varvec{{{\hat{\alpha }}}}} = (\varvec{{{\hat{\alpha }}}}^x)_{x\in I}\in \underline{{\mathbb {A}}}\) satisfies
the \(\underline{\varvec{{{\hat{\alpha }}}}}\) is a Nash equilibrium of the graphon game. The dependence of the cost on the whole strategy profile is unnecessarily complicated, as the following reasoning shows. Notice that \(\varvec{Z}^{\underline{(\varvec{\alpha }^{x},\varvec{\sigma })}, x} = {\varvec{Z}}^{\underline{\varvec{\alpha }},x}\) since \(\underline{(\varvec{\alpha }^{x},\varvec{\sigma })} = \underline{\varvec{\alpha }}\) for \(\lambda \)a.e. \(x\in I\). The other players’ actions appear in player x’s cost indirectly, through the aggregate \(\varvec{Z}^{\underline{\varvec{\alpha }},x}\), which is unaffected if one specific player changes control (it is an integral with respect to a nonatomic measure). Thus, we write \({\mathcal {J}}^x(\varvec{\sigma };\underline{\varvec{\alpha }})\) as \(J^x(\varvec{\sigma };\varvec{Z}^{\underline{\varvec{\alpha }},x})\) a function taking an admissible strategy and an aggregate variable trajectory:
In light of this, an equivalent definition of the Nash equilibrium is that a strategy profile \(\underline{\varvec{{{\hat{\alpha }}}}} = (\varvec{{{\hat{\alpha }}}}^x)_{x\in I}\) is a Nash equilibrium in the graphon game if it satisfies
further justifying the game setup in Sect. 2.
5 Conclusion and outlook
In this paper, we introduced stochastic graphon games in which the agents evolve in a finite state space. We provided optimality conditions in the form of a continuum of forwardbackward ODE system, for which we established existence of solutions. We proposed a numerical method based on a neural network approximation of the initial condition of the FBODE. We then applied our theoretical framework and numerical method to a class of models from epidemiology and we provided several test cases. From here, several directions can be considered for future work. An interesting aspect would be to incorporate a regulator with a Stackelberg type model as was done in [2] without graphon structure. The theoretical analysis would probably rely on a combination of the tools developed in the present work together with tools from optimal contract theory. However there would be some important challenges depending on the class of controls that are admissible for the regulator. Their controls could indeed lead to discontinuities in the incentives to the population, which would raise subtle measurability questions. This is left for future work. Another direction is to consider more realistic epidemiological models (e.g., with more compartments). Such models would be more complex and we expect our proposed machine learning numerical method to be helpful from this point of view. Furthermore, to be able to use graphon games to make epidemiological predictions, it would be interesting to investigate further how to use real data in the model and in the numerical method.
Notes
We will interchangeably use the words agent, player, and individual.
Loosely speaking, a dense network or graph is one in which the number of edges is close to the maximal number of edges. For such graphs, there is a functional limit of the adjacency matrix interpreted as a step function. See [48] for an exposé of the theory of such limits.
https://www.cdc.gov/coronavirus/2019ncov/preventgettingsick/howcovidspreads.html (last accessed on 10 April, 2021)
Depending on the modeling, R can refer to “Removed” or “Recovered”.
In MFG theory “extended" refers to formulations where interaction is modelled with the joint distribution of action and state of players.
Some examples of idealized networks given in this work are SmallWorld Networks, ScaleFree Networks, Exponential Random Graph Models.
This is of course not the case if the graphon is constant. In this case, the graphon game is in fact equivalent to an MFG, so there is a representative agent. There are a few more examples of this kind, such as the piecewise constant graphon yielding a game equivalent to a multipopulation MFG with one representative agent for each subpopulation.
The rate is presented in (20) as \(\beta (x)\alpha z\). For an arbitrary impact function K this would lead to a violation of Condition 1.1. Here we are however considering contact factor control and aggregates of the form (11), which are bounded by Condition 2 and the compactness of A. The Qmatrix (20) can be modified without changing the model so that Condition 1.1 is satisfied; we defer from this for the sake of presentation.
These methods are referring to solving an ODE system similar to the one given in Sect. 2.4 for a finite (and possibly a small) number of x’s.
We can realize that if \(g=0\), the setting is equivalent to a mean field game.
A superspreader is an infected person who is able to transmit the disease to a disproportionately high number of people.
https://www.cdc.gov/coronavirus/2019ncov/yourhealth/reinfection.html (last accessed on 10 April, 2021)
https://www.cdc.gov/coronavirus/2019ncov/hcp/durationisolation.html (last accessed on 10 April, 2021)
https://www.cdc.gov/coronavirus/2019ncov/hcp/durationisolation.html (last accessed on 10 April, 2021)
References
The Incubation Period of Coronavirus Disease (2019) (COVID19) (2020) From publicly reported confirmed cases: estimation and application. Ann Intern Med 172(9):577–582
Andersson H, Djehiche B (1995) Limit theorems for multitype epidemics. Stochast Process Appl 56(1):57–75
Alexander A, Rene C, Gokce D, Mathieu L (2020) Optimal incentives to mitigate epidemics: a Stackelberg mean field game approach. arXiv:2011.03105
Alexander A, Rene C, Mathieu L (2021) Stochastic graphon games: II. the linearquadratic case. arXiv:2105.12320
Bayraktar E, Cohen A (2018) Analysis of a finite state many player game using its master equation. SIAM J Control Opt 56(5):3538–3568
Brezis H (2011) Functional analysis. Sobolev spaces and partial differential equations. Universitext, Springer, New York
Bryant VW (1968) A remark on a fixedpoint theorem for iterated mappings. Am Math Monthly 75:399–400
Caines PE, Huang M (2019) Graphon Mean field games and the GMFG equations: \(\epsilon \)nash equilibria. In: 2019 IEEE 58th conference on decision and control (CDC), pp 286–292
Caines PE, Huang M (2018) Graphon mean field games and the GMFG equations.2018 IEEE conference on decision and control (CDC)
Carmona R, Cooney D, Graves C, Lauriere M (2021) Stochastic graphon games: I. The static case. To appear in Math Oper Res
Carmona R, Laurière M (2021) Convergence analysis of machine learning algorithms for the numerical solution of mean field control and games I: the ergodic case. SIAM J Numer Anal 59(3):1455–1485
Carmona R., Laurière M (2021) Convergence analysis of machine learning algorithms for the numerical solution of mean field control and games: II–the finite horizon case. arXiv:1908.01613
Carmona R, Wang P (2016) Finite state mean field games with major and minor players. arXiv:1610.05408
Carmona R, Wang P (2021) A probabilistic approach to extended finite state mean field games. Math Oper Res
Cecchin A, Fischer M (2018) Probabilistic approach to finite state mean field games. Appl Math Opt, pp 1–48
Charpentier A, Elie R, Laurière M, Tran VC (2020) Covid19 pandemic control: balancing detection policy and lockdown intervention under icu sustainability. Math Modell Nat Phenomena 15:57
Cho S (2020) Meanfield game analysis of sir model with social distancing. arXiv:2005.06758
Choutri SE, Djehiche B (2019) Meanfield risk sensitive control and zerosum games for Markov chains. Bulletin des Sciences Mathématiques 152:1–39
Choutri SE, Djehiche B, Tembine H (2019) Optimal control and zerosum games for Markov chains of meanfield type. Math Control Related Fields 9(3):571
Choutri SE, Hamidou T (2018) A stochastic maximum principle for Markov chains of meanfield type. Games 9(4):84
Cvitanić J, Possamaï D, Touzi N (2018) Dynamic programming approach to principalagent problems. Finance Stoch 22(1):1–37
Jakša Cvitanić, Jianfeng Zhang (2013) Contract theory in continuoustime models. Springer Finance, Springer, Heidelberg
Andrew DD, Edwin P (2012) Superprocesses at SaintFlour. Springer
Delarue F (2017) Mean field games: a toy model on an ErdösRenyi graph. ESAIM: Procs, 60:1–26
Delmas JF, Dronnier D , Zitt P (2021) Targeted Vaccination Strategies for an InfiniteDimensional SIS Model. arXiv:2103.10330
Djehiche Boualem, Kaj Ingemar (1995) The rate function for some measurevalued jump processes. The annals of probability, pages 1414–1438
Djehiche B, Alexander Schied (1998) Large deviations for hierarchical systems of interacting jump processes. J Theor Prob 11(1):1–24
Doncel J, Gast N, Gaujal B(2020) A meanfield game analysis of SIR dynamics with vaccination. Prob Eng Inf Sci, pp 1–18
Romuald Elie, Emma Hubert, Gabriel Turinici (2020) Contact rate epidemic control of COVID19: an equilibrium view. Math Modell Nat Phenomena 15:35
Gao S, Caines PE (2019) Spectral representations of graphons in very large network systems control. 2019 IEEE 58th conference on decision and Control (CDC)
Gao S, Caines PE, Huang M (2020) LQG graphon mean field games. arXiv:2004.00679
Gaujal B, Doncel J, Gast N (2021) Vaccination in a large population: mean field equilibrium versus social optimum. In: netgcoop’20, Cargèse, France, September
Gomes AD, Mohr J, Rigao Souza Rafael (2010) Discrete time, finite state space mean field games. Journal de mathématiques pures et appliquées 93(3):308–328
Gomes Diogo A, Joana Mohr, Rigao Souza Rafael (2013) Continuous time finite state mean field games. Appl Math Opt 68(1):99–143
Grigelionis B (1971) On representation of integervalued random measures by means of stochastic integrals with respect to the Poisson measure. Lithuanian Math J 1:93–108
Huang M, Malhamé RP, Caines Peter E et al (2006) Large population stochastic dynamic games: closedloop McKeanVlasov systems and the Nash certainty equivalence principle. Commun Inf Syst 6(3):221–252
Hubert E, Mastrolia T, Possamaï D, Warin X (2020) Incentives, lockdown, and testing: from Thucydides’s analysis to the COVID19 pandemic. arXiv:2009.00484
Hubert E, Turinici G (2018) NashMFG equilibrium in a SIR model with time dependent newborn vaccination. Ricerche di Matematica 67(1):227–246
Hytönen T, Van Neerven J, Veraar M, Weis L (2016) Anal Banach spaces, vol 12. Springer
Keeling JM, Eames TDK (2005) Networks and epidemic models. J R Soc Interface 2(4):295–307
Keliger D, Horvath I, Takacs B (2020) Localdensity dependent Markov processes on graphons with epidemiological applications. arXiv:2008.08109
Kohlmann M, Zhou XY (2000) Relationship between backward stochastic differential equations and stochastic controls: a linearquadratic approach. SIAM J Control Optim 38(5):1392–1407
Kolokoltsov VN (2012) Nonlinear Markov games on a finite state space (meanfield and binary interactions). Int J Stat Prob 1(1):77–91
Laguzet L, Turinici G (2015) Individual vaccination as Nash equilibrium in a SIR model with application to the 2009–2010 influenza A (H1N1) epidemic in France. Bull Math Biol 77(10):1955–1984
Laguzet L, Turinici G, Yahiaoui G (2016) Equilibrium in an individualsocietal SIR vaccination model in presence of discounting and finite vaccination capacity. In: New trends in differential equations, control theory and optimization: proceedings of the 8th congress of Romanian mathematicians, pp 201–214. World Scientific
Lasry JM, Lions PL (2006) Jeux à champ moyen. ile cas stationnaire. Comptes Rendus Mathématique 343(9):619–625
Lasry JM, Lions PL (2006) Jeux à champ moyen. iihorizon fini et contrôle optimal. Comptes Rendus Mathématique 343(10):679–684
Lee W, Liu S, Tembine H, Li W, Osher S (2020) Controlling propagation of epidemics via meanfield games. arXib:2006.01249
László Lovász (2012) Large networks and graph limits, vol 60. American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, RI
Parise F, Ozdaglar AE (2019) Graphon games: a statistical framework for network games and interventions. SSRN Electron J
Francesco Salvarani, Gabriel Turinici (2018) Optimal individual strategies for influenza vaccines with imperfect efficacy and durability of protection. Mathematical Biosciences & Engineering 15(3):629
Skorokhod AV (1982) Studies in the theory of random processes, vol 7021. Courier Dover Publications
Sun Y (1998) A theory of hyperfinite processes: the complete removal of individual uncertainty via exact LLN. Math. Econom 29(4):419–503
Sun Y (2006) The exact law of large numbers via Fubini extension and characterization of insurable risks. J Econom Theory 126(1):31–69
Sun Y, Zhang Y (2009) Individual risk and Lebesgue extension without aggregate uncertainty. J Econom Theory 144(1):432–443
Tembine T (2020) Covid19: datadriven meanfieldtype game perspective. Games 11(4):51
Vizuete R, Frasca P, Frasca F (2020) Graphonbased sensitivity analysis of SIS epidemics. IEEE Control Syst Lett 4(3):542–547
Acknowledgements
The authors would like to thank Boualem Djehiche and Yeneng Sun for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Modeling and Control of Epidemics” edited by Quanyan Zhu, Elena Gubar and Eitan Altman.
This work was done with the support of NSF DMS1716673, ARO W911NF1710578, and AFOSR # FA95501910291.
Appendices
A Proofs for Section 2
1.1 A.1 Theorem 1
First, assume player x uses control \(\varvec{\sigma }\) and, using the HJB equation (15) and the definition of the minimized Hamiltonian (14), note that
where \({\mathbf {M}}\) is a zeromean martingale. Hence, we write
Note that the second expectation in the right hand side is nonnegative since \({\hat{a}}_e^x(t, z, h)\) minimizes \(A \ni \alpha \mapsto H^x(t,e,z,h, \alpha )\) by assumption. In fact, since it is the unique minimizer, this term is strictly positive unless \(\sigma _t = {\hat{a}}_{X_s^{\varvec{\sigma },{\varvec{Z}}^x,x}}^x(t, Z_t^x, u^x(t, e))\).
By taking the expectation and by recalling the terminal condition we deduce that:
where, for the last equality, we used the interpretation of \(u^x\) as player x’s value function. Furthermore the inequality above is an equality if and only if \(\sigma _t = {\hat{a}}_{X_s^{\varvec{\sigma },{\varvec{Z}}^x,x}}^x(t, Z_t^x, u^x(t, e))\).
1.2 A.2 Regularity of the Optimal Control
Here we show that \({\hat{a}}\) is continuous in (t, z, h).
Lemma 1
Assume Conditions 3.3 and 3.3 hold. For every \(x \in I\) and \(e \in E\), \((t,z,h) \mapsto {\hat{a}}^x_e(t,z,h)\) defined by the Hamiltonian minimizer in (14) is continuous. Moreover \((t,z,h) \mapsto {\hat{a}}^x_e(t,z,h)\) is locally Lipschitz continuous, i.e., for every positive constants \(C_z\) and \(C_h\), for every \(e \in E,\) \(a \in A,\) the function \((t,z,h) \mapsto {\hat{a}}^x_e(t,z,h)\) is Lipschitz continuous on \([0,T] \times [C_z,C_z] \times [C_h, C_h]^{E}\) (with a Lipschitz constant possibly depending on \(T, C_z, C_h\)).
Proof
By the assumption on the dependence of \(H^x\) on a, \({\hat{a}}^x_e(t,z,h) = {\hat{a}}^x(t,e,z,h)\) is the unique solution of the variational inequality (with unknown a):
Let \(C_z\) and \(C_h\) be positive constants. Let \(\theta = (t,e,z,h)\) and \(\theta ' = (t',e,z',h')\) with (t, z, h), \((t',z',h') \in [0,T] \times [C_z,C_z] \times [C_h, C_h]^{E}\). Let \(a = {\hat{a}}^x(\theta )\) and \(a' = {\hat{a}}^x(\theta ')\). We deduce from the above inequality that:
By the assumption on the strict convexity of f, we have
So, combining the above inequalities and the property \(\partial _a Q^x(a,z)  \partial _a Q^x(a',z) = 0\), we get
where C can depend on \(q_{\max }\), \(C_z\), and \(C_h\). We conclude by using the continuity and local Lipschitz continuity properties of \( \overrightarrow{{\mathbf {1}}_e} \partial _a Q^x\) and \(\partial _a f^x\). \(\square \)
1.3 A.3 Theorem 2
Step 1: Definition of the solution space
We start by letting, for every \(C_1>0\), \({\mathcal {K}}_{C_1}\) be the closed ball of continuous functions (u, p) from [0, T] into \(L^2(I\times E)\times L^2(I\times E)\) such that for all \((t,x)\in [0,T]\times I\), \(p^x(t,e)\ge 0\) for \(e\in E\) and \(\sum _{e\in E}p^x(t,e)=1\), and such that (u, p) is bounded by \(C_1\) in uniform norm. In other words, \({\mathcal {K}}_{C_1}\) is the subset of \(C([0,T];L^2(I\times E)\times L^2(I\times E))\) for which the second component is a probability on E and for which the uniform norm is bounded by \(C_1\), whose value will be fixed in Step 5 below.
Step 2: Definition of the aggregate mapping
For each \((u,p)\in {\mathcal {K}}_{C_1}\) we define the map \(\varPhi ^{(u,p)}\) which takes \((Z^x_t)_{0\le t\le T, x\in I}\) into
We now prove that, if we choose the space of aggregates properly, \(\varPhi ^{(u,p)}\) has a unique fixed point, say \(({\hat{Z}}^x_t)_{0\le t\le T, x\in I}\), which depends continuously in \((u,p)\in {\mathcal {K}}_{C_1}\). Indeed, let \(z,{{\widetilde{z}}}\in {\mathcal {Z}}\) where
In light of Condition 2, \(\varPhi ^{(u,p)}({\mathcal {Z}}) \subset {\mathcal {Z}}\). Moreover, \({\mathcal {Z}}\) is a closed subset of the Banach space \(C([0,T]; L^2(I;{\mathbb {R}}))\), hence a complete metric space. Using CauchySchwarz inequality and the Lipschitz continuity of K and \({\hat{a}}\) (given by Condition 2 and Lemma 1), we get
where we used the fact that \(I = 1\) and \(C_\varPhi (\cdot ) := \Vert w\Vert _{L^2(I\times I)}L_K L_{{\hat{a}}}(\cdot )\). Recall that we assume \(C_\varPhi (C_K)< 1\). With Banach fixed point theorem we conclude that there exists a unique fixed point in \({\mathcal {Z}}\) to \(\varPhi ^{(u,p)}\). We denote it \({\hat{Z}}^{(u,p)} = ({\hat{Z}}^{(u,p),x}_t)_{0\le t\le T, x\in I}\).
Step 3: Solving the Kolmogorov equation
Given \({\hat{Z}}^{(u,p)}\) and u, we solve the Kolmogorov equation and we get the solution \({\hat{p}}\). Existence and uniqueness of the solution \({\hat{p}}\) is provided by the CauchyLipschitzPicard theorem; see, e.g., [5, Theorem 7.3] (viewing q as a linear operator acting on the Banach space \(L^2(I\times E)\)). Furthermore, given Condition 1.1, the time derivative of \({\hat{p}}\) is bounded. Therefore, we conclude that \({\hat{p}}\) is equicontinuous.
Step 4: Solving the HJB equation
Given \({\hat{Z}}^{(u,p)}\) and \({\hat{p}}\), we solve the HJB equation and we get the solution \({\hat{u}}\). Here again, existence and uniqueness of the solution \({\hat{u}}\) is provided by the CauchyLipschitzPicard theorem (viewing \({\hat{H}}\) as a Lipschitz operator acting on the Banach space \(L^2(I\times E)\)). Furthermore, there is a uniform bound on the time derivative of \({\hat{u}}\) since the Hamiltonian \({\hat{H}}\) is bounded given Condition 3.3 and Condition 1.1. Hence \({\hat{u}}\) is equicontinuous.
Step 5: Application of Schauder’s theorem
Let us call \(\varPsi \) the mapping constructed by the above steps, namely, \(\varPsi : {\mathcal {K}}_{C_1}\ni (u,p)\mapsto ({\hat{u}}, {\hat{p}})\). By steps 3 and 4 above, if we choose \(C_1\) large enough, \(\varPsi \) maps \({\mathcal {K}}_{C_1}\) onto \({\mathcal {K}}_{C_1}\), so it is welldefined. Furthermore, by the same steps and the ArzelaAscoli theorem \(\varPsi ({\mathcal {K}}_{C_1})\) is compact. Finally we argue the continuity as follows:
We first show the continuity of \({\hat{Z}}^{(u,p)}\) in u and p. Consider a sequence \((u^n,p^n)_n\) such that \((u^n,p^n) \in {\mathcal {K}}_{C_1}\) for every n, and \(\lim _{n\rightarrow \infty }(u^n,p^n)=(u,p)\). We denote \(Z^n := Z^{(u^n,p^n)}\) and prove below that \(\lim _{n\rightarrow \infty }{\hat{Z}}^{n} = {\hat{Z}}\). By Lipschitz continuity of K and \({\hat{a}}\):
for some constants \(C_p, C_u \ge 0 \), and where \(C_\varPhi (C_K) =\Vert w\Vert _{L^2(I\times I)}L_K L_{{\hat{a}}}(C_K)\). Hence
which tends to 0 as \(n\rightarrow \infty \).
Next, we study the continuity of \({\hat{p}}\). We have, for \(s \in [0,T]\):
where we used Condition 1.1 and a uniform (i.e., independent of n) bound on \({\hat{p}}^{n,x}(t,\cdot )\) (since q is bounded independently of n). By Grönwall’s inequality, we obtain
which tends to 0 as \(n\rightarrow \infty \), and we concluded by using the continuity of q (given by Condition 1.1).
Finally, we study the continuity of \({\hat{u}}\). For \(s \in [0,T]\), we have:
Using the boundedness of \({\hat{u}}^x\) and \({\hat{u}}^{n,x}\) (given by Condition 3.3) and the boundedness of q (given by Condition 1.1), we deduce with Grönwall’s inequality:
which tends to zero as \(n\rightarrow \infty \) by the continuity of f and q (given by Condition 3.3 and Condition 1.1 respectively) and the fact that \(\lim _{n\rightarrow \infty }{\hat{Z}}^{n} = {\hat{Z}}\).
We conclude the proof by applying Schauder’s theorem, see e.g., [5, Excercise 6.26], which yields the existence of a fixed point \(({\hat{u}}, {\hat{p}}) \in {\mathcal {K}}_{C_1}\) to \(\varPsi \).
B Proofs for Sect. 4
1.1 B.1 Proposition 1
The proof is inspired by [17, Thm. 3.2] where the authors study problems of optimal control of McKeanVlasovtype pure jump processes and propose the use of the identities found between (29) and (30) below.
Consider the mapping \(\varPsi : {\mathcal {L}}_E \rightarrow {\mathcal {L}}_E\) defined by
We note that \(\varPsi \) is welldefined. Indeed, for any \(\underline{\varvec{\chi }}\in {\mathcal {L}}_E\), \(\varPsi (\underline{\varvec{\chi }})\) is a linear combination of the initial condition \({\underline{\xi }}\) and the Poisson random measures evaluated at measurable sets, hence \({\mathcal {F}}\boxtimes {\mathcal {I}}\)measurable. By construction \(\varPsi (\underline{\varvec{\chi }})\) is \({\mathbb {P}}\boxtimes \lambda \)a.e. \({\mathcal {D}}_E\)valued which implies the integrability.
To conclude the proof, we show that \(\varPsi \) has the contraction property, i.e., that there exists a constant \(C<1\) such that
By independence of the Poisson measures \((N^x_k)_{k=1}^n\) for any fixed \(x\in I\), the compensated martingales \(({\widehat{N}}^x_k)_{k=1}^n\) (cf. Sect. 4.1.1) are orthogonal. Hence, for any \(\underline{\varvec{\chi }} \in {\mathcal {L}}_E\) and \(t\in [0,T]\),
where \(\underline{{\varvec{M}}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}}\) is a zeromean stochastic integral, and we have that
where the process \(\underline{\varvec{\widetilde{M}}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}}\) is the equivalent of \(\underline{\varvec{ M}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}}\) but for \(\varvec{{\widetilde{\chi }}}\). The predictable quadratic variation of the process \(\underline{\varvec{M}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}}  \underline{\varvec{\widetilde{M}}}^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}}\) is
where the \(\omega \)dependence has been suppressed in the notation. Expanding the square and integrating, using the identities
and \(a  2\min (a,b) + b \le a  b\) for \(a,b\ge 0\), we obtain
From the Lipschitz continuity imposed by Condition 1.1, we get
After taking expectation of (29), we get using Doob’s inequality and (30) that
Iterating the inequality, we get for any \(N\in {\mathbb {N}}\) that
where \((\varPsi ^N)\) denotes the Nfold composition of \(\varPsi \). Thus, for some N large enough, \((\varPhi ^N)\) is a contraction and if follows from the Banach fixedpoint theorem for iterated mappings (see, e.g. [6]) that \(\varPsi \) has a unique fixed point in the set \({\mathcal {L}}_E\). The fixed point is the unique (up to \({\mathbb {P}}\boxtimes \lambda \)modification) strong solution that was sought.
1.2 B.2 Theorem 4
The first step of the proof is to show that the aggregate variable is welldefined as a fixed point to the mapping
where \(\underline{{\varvec{X}}}^{\underline{\varvec{\alpha }}, \underline{{\varvec{z}}}}\in {\mathcal {L}}_E\) is the solution to (26) characterized in Proposition 1.
Lemma 2
Let Condition 1 hold. For each \(\underline{\alpha } \in \underline{{\mathbb {A}}}\) the mapping \(U^{\underline{\varvec{\alpha }}}\) has a unique fixed point in \(L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\).
Denoting the fixed point by \(\underline{\varvec{Z}}^{\underline{\varvec{\alpha }}}\), the next lemma uses the Exact Law of Large Numbers [53] to guarantee that \(\underline{{\varvec{Z}}}^{\underline{\varvec{\alpha }}}\) is \({\mathcal {C}}\)valued \({\mathbb {P}}\boxtimes \lambda \)a.s. for each \(\underline{\varvec{\alpha }}\in \underline{{\mathbb {A}}}\).
Lemma 3
Let Conditions 1 and 2 hold, and let \(\underline{\alpha }\in \underline{{\mathbb {A}}}\). Then \([U^{\underline{\varvec{\alpha }}}\underline{{\varvec{z}}}] \in L^2_\boxtimes (\varOmega \times I; {\mathcal {C}})\) for each \(\underline{{\varvec{z}}}\in L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\).
This proves the part (i) of the theorem. Part (ii) and (iii) can be shown along the same lines of proof as is used in [3, Thm. 2]
1.2.1 B.2.1 Proof of Lemma 2
Let \(\underline{{\varvec{z}}},\underline{\varvec{{{\widetilde{z}}}}} \in L^2_\boxtimes (\varOmega \times I; {\mathcal {D}})\). We have for \((\omega ,x)\in \varOmega \times I\):
Following similar lines of proof as in Proposition 1, get the initial \({\mathbb {P}}\boxtimes \lambda \)a.e. estimates
and
In view of Condition 1
Taking expectation in (32) we get (using the Fubini property) that
Then, by (33), Doob’s inequality, and (34) we get
Hence, after one use of Gronwall’s inequality, we have that
and we conclude the proof in the same way as in Proposition 1.
1.2.2 B.2.2 Proof of Lemma 3
Consider the function
Recall that \(\underline{ \alpha } \in \underline{{\mathbb {A}}}\) means that \(\alpha ^y_t = \underline{\alpha }(y,t,X^{\underline{\varvec{\alpha }},\underline{{\varvec{z}}}, y}_{t})\) for \(y\in I\) and \(t\in [0,T]\). It follows from the Lipschitz assumption on K, compactness of A, and definition of \({\mathbb {A}}\) that
Let \(t_j\in [0,T]\), \(j\in {\mathbb {N}}\), be a sequence converging to \(t^*\in [0,T]\). Without loss of generality, assume that the sequence is nondecreasing. Recall that \(q_{\max }\) denotes the uniform upper bound for the intensity rates, see Condition 1.1. For \((\omega ,x)\in (\varOmega \times I)\),
where \({\widetilde{N}}^y_j := \sum _{k=n+1}^{n1} N^y_k([0,q_{\max }]\times [t_j,t^*))\) is for each \(y\in I\) a Poissondistributed random variable with intensity \((2n1)q_{\max }t^*  t_j\), since the summands \(N^y_k([0,q_{\max }]\times [t_j,t^*))\), \(k=n+1,\dots , n1\) are independent Poissondistributed with intensity \(q_{\max }t^*  t_j\). Moreover, \(({{\widetilde{N}}}^y_j)_{y\in I}\) are e.p.i., so by the Exact Law of Large Numbers
Hence, by the boundedness of A, it holds for all \(x\in I\) and \({\mathbb {P}}\)a.e. \(\omega \in \varOmega \) that
and in particular \([U^{\underline{\varvec{\alpha }}}\underline{{\varvec{z}}}] (\omega ,x) \in {\mathcal {C}}\) for \({\mathbb {P}}\boxtimes \lambda \)a.e. \((\omega ,x)\in \varOmega \times I\). Measurability and squareintegrability of \(U^{\underline{\varvec{\alpha }}}\underline{{\varvec{z}}}\) follows by the same lines of proof as Lemma 1 in [3].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aurell, A., Carmona, R., Dayanıklı, G. et al. Finite State Graphon Games with Applications to Epidemics. Dyn Games Appl 12, 49–81 (2022). https://doi.org/10.1007/s13235021004102
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13235021004102