Table of Contents
Fetching ...

Entropic mean-field min-max problems via Best Response flow

Razvan-Andrei Lascu, Mateusz B. Majka, Łukasz Szpruch

TL;DR

This paper develops a continuous-time, entropy-regularized mean-field framework for solving convex-concave min-max games and proves exponential convergence to the unique mixed Nash equilibrium via a KL-based Lyapunov functional. By constructing Gibbs-type best-response maps $\Psi_{\sigma}$ and $\Phi_{\sigma}$, the authors show that the MF-BR flow on the space of absolutely continuous measures with the Total Variation metric converges at rate $e^{-\alpha t}$, with NI error decaying as $\mathcal{O}(\sigma^2 e^{-\alpha t})$, and a bilinear payoffs case where NI convergence is $e^{-\alpha t}$ independent of $\sigma$. They also connect MF-BR to fictitious play through a time-rescaling argument, contrasting their results with Wasserstein/Fisher-Rao gradient-flow analyses that require additional assumptions. The contributions establish existence, uniqueness, and explicit convergence rates under standard convex-concave and bounded-derivative conditions on $F$, providing a principled tool for learning mixed Nash equilibria in distributed, entropy-regularized min-max games with potential applications to GANs and adversarial learning.

Abstract

We investigate the convergence properties of a continuous-time optimization method, the \textit{Mean-Field Best Response} flow, for solving convex-concave min-max games with entropy regularization. We introduce suitable Lyapunov functions to establish exponential convergence to the unique mixed Nash equilibrium. Additionally, we demonstrate the convergence of the fictitious play flow as a by-product of our analysis.

Entropic mean-field min-max problems via Best Response flow

TL;DR

This paper develops a continuous-time, entropy-regularized mean-field framework for solving convex-concave min-max games and proves exponential convergence to the unique mixed Nash equilibrium via a KL-based Lyapunov functional. By constructing Gibbs-type best-response maps and , the authors show that the MF-BR flow on the space of absolutely continuous measures with the Total Variation metric converges at rate , with NI error decaying as , and a bilinear payoffs case where NI convergence is independent of . They also connect MF-BR to fictitious play through a time-rescaling argument, contrasting their results with Wasserstein/Fisher-Rao gradient-flow analyses that require additional assumptions. The contributions establish existence, uniqueness, and explicit convergence rates under standard convex-concave and bounded-derivative conditions on , providing a principled tool for learning mixed Nash equilibria in distributed, entropy-regularized min-max games with potential applications to GANs and adversarial learning.

Abstract

We investigate the convergence properties of a continuous-time optimization method, the \textit{Mean-Field Best Response} flow, for solving convex-concave min-max games with entropy regularization. We introduce suitable Lyapunov functions to establish exponential convergence to the unique mixed Nash equilibrium. Additionally, we demonstrate the convergence of the fictitious play flow as a by-product of our analysis.
Paper Structure (15 sections, 15 theorems, 186 equations)

This paper contains 15 sections, 15 theorems, 186 equations.

Key Result

Proposition 2.2

Let Assumptions assumption: boundedness-first-flat, assump:F hold and let $(\nu_0, \mu_0) \in \mathcal{P}_{\text{ac}}(\mathcal{X}) \times \mathcal{P}_{\text{ac}}(\mathcal{Y})$. Then there exists a unique pair of flows $(\nu_t,\mu_t)_{t \geq 0}$ in $\left(\mathcal{P}_{\text{ac}}(\mathcal{X}) \times \

Theorems & Definitions (35)

  • Remark 1.1
  • Remark 2.1
  • Proposition 2.2: Existence of gradient flow for the MF-BR dynamics
  • Theorem 2.3: Convergence of MF-BR with explicit rates in $\operatorname{D_{KL}}$ and NI
  • Corollary 2.4: Convergence of MF-BR with explicit rates in $\operatorname{D_{KL}},$ TV
  • Corollary 2.5: Convergence of MF-BR with explicit rate in NI error for bilinear $F$
  • Remark 2.6
  • Remark 2.7
  • Lemma 3.1
  • Corollary 3.2
  • ...and 25 more