Diffeomorphism conjecture for pair frequencies in the RN+YpR model

For $x\in\{C,A\}$, let $(x,x)(t)$ and $[x,x](t)$ denote the corresponding pair-frequency functions in the RN+YpR model, and let $(x)_*$ be the stationary frequency of $x$. Diffeomorphism conjecture. In the RN+YpR model, the functions $t\mapsto (x,x)(t)$ and $t\mapsto [x,x](t)$ are diffeomorphisms from $[0,+\infty)$ to $((x)_*^2,(x)_*]$. In the JC+CpG model the analogous assertion for $(x,x)(t)$ is proved, whereas the RN+YpR assertion is supported by simulations and remains open.