Existence of Limit Cycles in the Repressilator Equations

The Repressilator is a genetic regulatory network used to model oscillatory behavior of more complex regulatory networks like the circadian clock. We prove that the Repressilator equations undergo a supercritical Hopf bifurcation as the maximal rate of protein synthesis increases, and find a large range of parameters for which there is a cycle.