Table of Contents
Fetching ...

On some properties of a positive linear operator via the Moran model in population genetics

Takahiro Aoyama, Ryuya Namba

TL;DR

This work defines the Moran operator $\mathcal{M}_n$ on $C([0,1])$ from the Moran population-genetics model and proves it uniformly approximates any continuous function. It then establishes a Kelisky–Rivlin type limit for iterates, showing $\mathcal{M}_n^k f$ converges to the linear interpolation $f(1)x+f(0)(1-x)$ as $k\to\infty$. A diffusion-limit result reveals that suitably scaled iterates converge to the Wright–Fisher diffusion semigroup, with a rate $O(n^{-1})$ under extra smoothness, and a functional limit (Donsker-type) showing path convergence in Hölder spaces. The findings connect operator theory with diffusion models in population genetics and suggest pathways to jump-process limits via Cannings-type generalizations, enriching both approximation theory and probabilistic modelling.

Abstract

We introduce a positive linear operator acting on the Banach space of all continuous functions on the unit interval via the Moran model studied in population genetics. We show that this operator, named the Moran operator, uniformly approximates every continuous function on the unit interval. Furthermore, some limit theorems for the iterates of the Moran operator are obtained.

On some properties of a positive linear operator via the Moran model in population genetics

TL;DR

This work defines the Moran operator on from the Moran population-genetics model and proves it uniformly approximates any continuous function. It then establishes a Kelisky–Rivlin type limit for iterates, showing converges to the linear interpolation as . A diffusion-limit result reveals that suitably scaled iterates converge to the Wright–Fisher diffusion semigroup, with a rate under extra smoothness, and a functional limit (Donsker-type) showing path convergence in Hölder spaces. The findings connect operator theory with diffusion models in population genetics and suggest pathways to jump-process limits via Cannings-type generalizations, enriching both approximation theory and probabilistic modelling.

Abstract

We introduce a positive linear operator acting on the Banach space of all continuous functions on the unit interval via the Moran model studied in population genetics. We show that this operator, named the Moran operator, uniformly approximates every continuous function on the unit interval. Furthermore, some limit theorems for the iterates of the Moran operator are obtained.

Paper Structure

This paper contains 9 sections, 9 theorems, 57 equations.

Key Result

Proposition 1.2

For any $f \in C([0, 1])$, we have

Theorems & Definitions (17)

  • Definition 1.1: Bernstein operator
  • Proposition 1.2: cf. Bernstein
  • Proposition 1.3: cf. KR67
  • Proposition 1.4: cf. KYZ18
  • Definition 2.1: Moran model
  • Definition 2.2: Moran operator
  • Theorem 2.3
  • proof
  • Theorem 3.1
  • proof
  • ...and 7 more