Search

The two-parameter Poisson--Dirichlet diffusion, introduced in 2009 by Petrov, extends the infinitely-many-neutral-alleles diffusion model, related to Kingman's one-parameter Poisson--Dirichlet distribution and to certain Fleming--Viot processes. The additional parameter has been shown to regulate the clustering structure of the population, but is yet to be fully understood in the way it governs the reproductive process. Here we shed some light on these dynamics by formulating a $K$-allele Wright--Fisher model for a population of size $N$, involving a uniform mutation pattern and a specific state-dependent migration mechanism. Suitably scaled, this process converges in distribution to a $K$-dimensional diffusion process as $N\to\infty$. Moreover, the descending order statistics of the $K$-dimensional diffusion converge in distribution to the two-parameter Poisson--Dirichlet diffusion as $K\to\infty$. The choice of the migration mechanism depends on a delicate balance between reinforcement and redistributive effects. The proof of convergence to the infinite-dimensional diffusion is nontrivial because the generators do not converge on a core. Our strategy for overcoming this complication is to prove \textit{a priori} that in the limit there is no "loss of mass", i.e., that, for each limit point of the sequence of finite-dimensional diffusions (after a reordering of components by size), allele frequencies sum to one., Comment: To appear in The Annals of Applied Probability

Petrov constructed a diffusion process in the Kingman simplex whose unique stationary distribution is the two-parameter Poisson-Dirichlet distribution of Pitman and Yor. We show that the subset of the simplex comprising vectors whose coordinates sum to 1 is the natural state space for the process. In fact, the complementary set acts like an entrance boundary.

Let $S$ be a compact metric space, let $\theta \geq 0$, and let $\nu_0$ be a Borel probability measure on $S$. An explicit formula is found for the transition function of the Fleming-Viot process with type space $S$ and mutation operator $(Af)(x) = (1/2)\theta\int_S(f(\xi) - f(x))\nu_0(d\xi)$.