Consider a haploid population of fixed finite size with a finite number of allele types and having Cannings exchangeable genealogy with neutral mutation. The stationary distribution of the Markov chain of allele counts in each generation is an important quantity in population genetics but has no tractable description in general. We provide upper bounds on the distributional distance between the Dirichlet distribution and this finite-population stationary distribution for the Wright–Fisher genealogy with general mutation structure and the Cannings exchangeable genealogy with parent independent mutation structure. In the first case, the bound is small if the population is large and the mutations do not depend too much on parent type; 'too much' is naturally quantified by our bound. In the second case, the bound is small if the population is large and the chance of three-mergers in the Cannings genealogy is small relative to the chance of two-mergers; this is the same condition to ensure convergence of the genealogy to Kingman's coalescent. These results follow from a new development of Stein's method for the Dirichlet distribution based on Barbour's generator approach and a probabilistic description of the semigroup of the Wright–Fisher diffusion due to Griffiths and Li (1983) and Tavaré (1984).

Recurrence equations for the number of types and the frequency of each type in a random sample drawn from a finite population undergoing discrete, nonoverlapping generations and reproducing according to the Cannings exchangeable model are deduced under the assumption of a mutation scheme with infinitely many types. The case of overlapping generations in discrete time is also considered. The equations are developed for the Wright-Fisher model and the Moran model, and extended to the case of the limit coalescent with nonrecurrent mutation as the population size goes to ∞ and the mutation rate to 0. Computations of the total variation distance for the distribution of the number of types in the sample suggest that the exact Moran model provides a better approximation for the sampling formula under the exact Wright-Fisher model than the Ewens sampling formula in the limit of the Kingman coalescent with nonrecurrent mutation. On the other hand, this model seems to provide a good approximation for a Λ-coalescent with nonrecurrent mutation as long as the probability of multiple mergers and the mutation rate are small enough.

We look forwards and backwards in the multi-allelic neutral exchangeable Cannings model with fixed population size and nonoverlapping generations. The Markov chain X is studied which describes the allelic composition of the population forward in time. A duality relation (inversion formula) between the transition matrix of X and an appropriate backward matrix is discussed. The probabilities of the backward matrix are explicitly expressed in terms of the offspring distribution, complementing the work of Gladstien (1978). The results are applied to fundamental multi-allelic Cannings models, among them the Moran model, the Wright-Fisher model, the Kimura model, and the Karlin and McGregor model. As a side effect, number theoretical sieve formulae occur in these examples.