Existence of the C-type renormalisation two-cycle

Abstract

We prove the existence of the C-type renormalisation two-cycle, helping to establish the universality of the C-type route to chaos in families of non-invertible maps of the plane. Families of two-dimensional non-invertible maps, with at least two parameters and critical points of fold type, exhibit a distinct type of critical scaling, the C-type. An accumulation of parameter values leads to an infinite collection of coexisting attracting cycles of periods $4^n$ or $2\cdot 4^n$. Asymptotically, period quadrupling is accompanied by parameter-space scaling and state-space scaling governed by particular universal constants. Kuznetsov et. al. explained this phenomenon in terms of a stationary orbit of period two of the renormalisation group (RG) transformation for period-doubling. We prove the existence of the corresponding renormalisation two-cycle in a Banach space of analytic maps and gain rigorous bounds on the corresponding universal state space scaling constants. This result provides a further step in proving a series of outstanding conjectures concerning distinct universality classes for period-doubling. It extends the recent results for unidirectionally-coupled maps (the FS-type) to bidirectionally-coupled maps, and generalises the framework from fixed points to periodic orbits of the corresponding renormalisation operators. It also provides a further step in establishing the conjectured picture that the C-type universality class is born from the FS-type class via a period-doubling bifurcation in the dynamics of the RG transformation itself. The proof relies on rigorous computations to establish that a variant of Newton's method for the two-cycle is a contraction map. The C-type scaling regularity is known to occur in a number of dynamical systems of interest, perhaps most notably in biologically-plausible models of nephron blood pressure autoregulation.