Heterogeneous Framework of Kim & Kim

• The paper establishes a rigorous framework for evolutionary game dynamics in heterogeneous populations by capturing full type–strategy correlations and ensuring unique equilibrium.
• It employs Poisson revision protocols and Lipschitz continuity conditions to guarantee the well-posedness and convergence of the dynamic system.
• The model generalizes classical replicator and best-response dynamics by incorporating heterogeneous payoff functions and flexible strategy revision processes.

The heterogeneous framework of Kim and Kim provides a mathematically rigorous foundation for evolutionary game dynamics in populations characterized by a continuum of types, allowing for heterogeneity both in agents’ payoff functions and in the revision protocols dictating behavioral switching. The construction captures the entire joint distribution of strategies and types, permitting full retention of type–strategy correlations and generalizing foundational results on equilibrium existence, stationarity, and Lyapunov stability from homogeneous to heterogeneous settings (Zusai, 2018).

1. Model Structure and Primitives

The population is formalized as the unit interval $\Omega = [0,1]$ equipped with Lebesgue measure $m_\Omega$. Each agent $\omega \in \Omega$ is assigned a type $\theta(\omega) \in \Theta$, where $\Theta$ is a complete, separable metric space with probability measure $\mu_\Theta \in \mathcal{P}(\Theta)$. Agents choose strategies from a finite set $\mathcal{A} = \{1,\ldots,S\}$, resulting in a measurable strategy–type profile $(s(\cdot), \theta(\cdot))$.

The fundamental object is the joint distribution $X = (X_s)_{s \in \mathcal{A}}$ on $\Theta \times \mathcal{A}$, determined by

$m_\Omega$0

which satisfies $m_\Omega$1. This encodes the entire mass of type–strategy combinations in the population.

The disintegration of $m_\Omega$2 yields a conditional strategy profile $m_\Omega$3, the simplex of mixed strategies on $m_\Omega$4, such that $m_\Omega$5 and $m_\Omega$6 is the probability a type-$m_\Omega$7 agent plays $m_\Omega$8.

Payoff functions are specified by a population game map $m_\Omega$9, assigning, for each $\omega \in \Omega$0 and $\omega \in \Omega$1, the vector $\omega \in \Omega$2—the payoff to a type-$\omega \in \Omega$3 agent playing $\omega \in \Omega$4 in the population profile $\omega \in \Omega$5.

Bayesian–Nash equilibrium for this setting is a joint profile $\omega \in \Omega$6 such that for $\omega \in \Omega$7-almost every $\omega \in \Omega$8, the conditional strategy $\omega \in \Omega$9 places full probability on the best-response set to $\theta(\omega) \in \Theta$0:

$\theta(\omega) \in \Theta$1

with $\theta(\omega) \in \Theta$2.

Revision protocols (agents’ strategy revision processes) are modeled as Poisson processes with instantaneous switching rates $\theta(\omega) \in \Theta$3, uniform across types except in extensions. Two principal classes are considered: (i) $\theta(\omega) \in \Theta$4-continuous (Lipschitz in $\theta(\omega) \in \Theta$5), and (ii) exact-optimization (switching only to best responses).

2. Evolutionary Dynamics Formulation

The core mean-field dynamic describes, for each $\theta(\omega) \in \Theta$6, the evolution of the conditional strategy profile $\theta(\omega) \in \Theta$7: \begin{align*} \dot{x}s(\theta) &= \sum_r x_r(\theta) \rho{r s}(FX) - x_s(\theta) \sum_r \rho_{s r}(FX), \quad \mu_\Theta\text{-a.e.}\; \theta,\ \dot{x}(\theta) &= v(x(\theta), FX), \end{align*} where $\theta(\omega) \in \Theta$8 is the drift of the conditional strategy profile.

The dynamic on the joint population measure is

$\theta(\omega) \in \Theta$9

which is compressed into the vector field notation $\Theta$0, mapping measures to measures.

This general form encompasses myriad population dynamics. For $\Theta$1 or payoff independence from $\Theta$2, it reduces to standard homogeneous replicator, logit, Smith, or best-response dynamics.

3. Regularity and Well-Posedness

Existence and uniqueness of solution trajectories are ensured by regularity conditions enabling the application of the Picard–Lindelöf theorem in the Banach space of signed measures:

• (A1) $\Theta$3 is Lipschitz in $\Theta$4 (with respect to total variation norm $\Theta$5), uniformly in $\Theta$6.
• (A2) $\Theta$7 is uniformly bounded in $\Theta$8.
• (A3) In the exact-optimization protocol class, the measure of types at which the best-response set changes discontinuously depends in a Lipschitz way on $\Theta$9.

Under these assumptions, $\mu_\Theta \in \mathcal{P}(\Theta)$0 is globally Lipschitz on a convex subset of signed measures: the system thus admits a unique, global solution $\mu_\Theta \in \mathcal{P}(\Theta)$1 from every initial condition (Zusai, 2018).

4. Equilibrium Characterization and Stationarity

Distributional equilibrium under this framework exists by Glicksberg’s generalization of Kakutani’s fixed-point theorem. Specifically, if $\mu_\Theta \in \mathcal{P}(\Theta)$2 is continuous and (essentially) bounded, the correspondence

$\mu_\Theta \in \mathcal{P}(\Theta)$3

is upper-hemicontinuous, convex-valued, and defined on the compact convex set $\mu_\Theta \in \mathcal{P}(\Theta)$4.

Stationarity of the dynamic aligns with the Bayesian–Nash equilibrium: $\mu_\Theta \in \mathcal{P}(\Theta)$5 if and only if $\mu_\Theta \in \mathcal{P}(\Theta)$6 almost surely places all probability on $\mu_\Theta \in \mathcal{P}(\Theta)$7:

$\mu_\Theta \in \mathcal{P}(\Theta)$8

Thus, the invariant points of the mean-field dynamic correspond exactly to the generalized equilibrium notions.

5. Stability and Potential Games

A heterogeneous potential game admits a potential function $\mu_\Theta \in \mathcal{P}(\Theta)$9 that is Fréchet-differentiable and weakly continuous, satisfying:

$\mathcal{A} = \{1,\ldots,S\}$0

A dynamic possesses the positive correlation (PC) property if

$\mathcal{A} = \{1,\ldots,S\}$1

with equality only when $\mathcal{A} = \{1,\ldots,S\}$2.

The potential $\mathcal{A} = \{1,\ldots,S\}$3 serves as a Lyapunov function for the dynamic:

$\mathcal{A} = \{1,\ldots,S\}$4

with strict inequality away from equilibrium. Cheung’s result (LaSalle’s theorem for the weak topology) implies:

• The set of equilibria is globally attracting.
• Any strict local maximizer of $\mathcal{A} = \{1,\ldots,S\}$5 is asymptotically stable.
• Any isolated asymptotically stable equilibrium $\mathcal{A} = \{1,\ldots,S\}$6 is a local strict maximizer of $\mathcal{A} = \{1,\ldots,S\}$7.

This generalizes classical Lyapunov results for potential games to heterogeneous settings.

6. Representative Proof Structures

Several technical arguments underlie the framework:

• Lipschitz continuity of the dynamic: The drift $\mathcal{A} = \{1,\ldots,S\}$8 is an integral of $\mathcal{A} = \{1,\ldots,S\}$9 against $(s(\cdot), \theta(\cdot))$0; under (A1) and Lipschitz $(s(\cdot), \theta(\cdot))$1, small total-variation deviations in $(s(\cdot), \theta(\cdot))$2 lead to uniformly small drifts in the measure space. For exact-optimization protocols, (A3) ensures the magnitude of best-response switching is controlled.
• Stationarity equivalence: The definition of equilibrium (maximum weight on best responses) exactly matches the zero drift condition in the dynamic. Thus, stationarity and equilibrium coincide.
• Lyapunov stability in potential games: The Fréchet-differentiability of $(s(\cdot), \theta(\cdot))$3 yields a first-order expansion, and positive correlation ensures strict increase along trajectories unless at equilibrium, confirming Lyapunov stability via weak convergence arguments.

7. Examples and Relation to Homogeneous Dynamics

The framework abstracts and generalizes a broad range of population games and evolutionary processes:

• Additively separable aggregate games (ASAG): For

$(s(\cdot), \theta(\cdot))$4

if $(s(\cdot), \theta(\cdot))$5 is a classical potential game, the extended game possesses potential

$(s(\cdot), \theta(\cdot))$6

• Random matching (incomplete information): Agents, matched by $(s(\cdot), \theta(\cdot))$7, play payoff $(s(\cdot), \theta(\cdot))$8, inducing

$(s(\cdot), \theta(\cdot))$9

If $X = (X_s)_{s \in \mathcal{A}}$0 is a two-player potential, the game admits a heterogeneous potential.

• Structured populations: For a continuum of sub-populations, each $X = (X_s)_{s \in \mathcal{A}}$1 plays a two-population sub-game $X = (X_s)_{s \in \mathcal{A}}$2, with weights $X = (X_s)_{s \in \mathcal{A}}$3. Symmetry in $X = (X_s)_{s \in \mathcal{A}}$4 implies existence of a potential via a double integral.
• Classical dynamics: Replicator, best-response (BNN), and imitation dynamics arise as special cases through the appropriate choice of $X = (X_s)_{s \in \mathcal{A}}$5 in the main equation. When $X = (X_s)_{s \in \mathcal{A}}$6 is a singleton, the model collapses to standard homogeneous population dynamics on the simplex $X = (X_s)_{s \in \mathcal{A}}$7.

A plausible implication is that the framework enables rigorous analysis of large-scale strategic interaction in settings where population-level heterogeneity cannot be ignored, subsuming and extending classical results for homogeneous models (Zusai, 2018).