Table of Contents
Fetching ...

On the occupation measure of evolution models with vanishing mutations

Michel Benaïm, Mario Bravo, Mathieu Faure

TL;DR

This work analyzes the long-term behavior of occupation measures in evolution models when mutation noise vanishes over time. It builds a time-inhomogeneous Markov framework from a homogeneous rare-transition model and characterizes convergence to the invariant distribution $\pi^*$, governed by the energy barrier $e(\mathbf{c})$ and the tree-optimality gap $\theta$. The main result proves almost-sure convergence of the empirical occupation measure $v_n$ to $\pi^*$ under a slow decay condition $2A e(\mathbf{c})<1$, and provides explicit $L^1$ rates that depend on the barrier structure and coradius-like quantities, with an optimal rate achieved at $A_{\mathrm{crit}}$. The analysis fuses tree-based potential methods, spectral-gap bounds for nonreversible chains, and stochastic-approximation techniques to derive both convergence and quantitative rates, offering insights into stochastic stability under vanishing exploration in evolutionary settings.

Abstract

We study the almost sure convergence of the occupation measure of evolution models where mutation rates decrease over time. We show that if the mutation parameter vanishes at a controlled rate, then the empirical occupation measure converges almost surely to a specific invariant distribution of a limiting Markov chain. Our results are obtained through the analysis of a larger class of time-inhomogeneous Markov chains with finite state space, where the control on the mutation parameter is explained by the energy barrier of the limit process. Additionally, we derive an explicit $L^1$ convergence rate, explained through the tree-optimality gap, that may be of independent interest.

On the occupation measure of evolution models with vanishing mutations

TL;DR

This work analyzes the long-term behavior of occupation measures in evolution models when mutation noise vanishes over time. It builds a time-inhomogeneous Markov framework from a homogeneous rare-transition model and characterizes convergence to the invariant distribution , governed by the energy barrier and the tree-optimality gap . The main result proves almost-sure convergence of the empirical occupation measure to under a slow decay condition , and provides explicit rates that depend on the barrier structure and coradius-like quantities, with an optimal rate achieved at . The analysis fuses tree-based potential methods, spectral-gap bounds for nonreversible chains, and stochastic-approximation techniques to derive both convergence and quantitative rates, offering insights into stochastic stability under vanishing exploration in evolutionary settings.

Abstract

We study the almost sure convergence of the occupation measure of evolution models where mutation rates decrease over time. We show that if the mutation parameter vanishes at a controlled rate, then the empirical occupation measure converges almost surely to a specific invariant distribution of a limiting Markov chain. Our results are obtained through the analysis of a larger class of time-inhomogeneous Markov chains with finite state space, where the control on the mutation parameter is explained by the energy barrier of the limit process. Additionally, we derive an explicit convergence rate, explained through the tree-optimality gap, that may be of independent interest.
Paper Structure (25 sections, 11 theorems, 115 equations, 2 figures)

This paper contains 25 sections, 11 theorems, 115 equations, 2 figures.

Key Result

Theorem 1

Let $(X_n)_{n\geq 1}$ be an inhomogeneous model of evolution with admissible cost function ${\bf c}$, and $A$-vanishing mutation rate $(\varepsilon)_n$ with $2A\mathbf{e(c)} < 1$. Then

Figures (2)

  • Figure 1: The admissible cost function associated to Example \ref{['ex:1']}
  • Figure 2: Game and cost for Example \ref{['ex:pak']}.

Theorems & Definitions (33)

  • Definition 1
  • Definition 2
  • Remark 1
  • Remark 2
  • Definition 3: Inhomogeneous model of evolution
  • Definition 4
  • Definition 5
  • Definition 6
  • Definition 7
  • Theorem 1
  • ...and 23 more