The Evolution of Polygenic Sex Determination with Potential for Environmental Manipulation

We present a formal account of a genetic mechanism for Environmental Sex Determination (ESD) using a probabilistic process algebra (WSCCS). We exploit the process algebra to demonstrate that a single chromosome pair based polyfactorial system is intrinsically unstable. The system evolves, with a deterministic relationship between an animal's sex and its polyfactor count, to three possible forms of genetic mechanism: pure ESD; pure genetic sex determination (GSD) (both XY and ZW being possible outcomes); or a mixed solution with a 50/50 division between ESD and GSD. With a probabilistic dependence between gene count and sex we observe the first and last of the above solutions (no pure GSD), but with population gene frequencies that can be far from Hardy-Weinberg equilibrium. A model of the systemic behaviour in the presence of recombination is presented, and the effect of the relative recombination and evolution rates is discussed. Our process algebraic model is extended to account for ..