Rigorous computer-assisted bounds on the period doubling renormalisation fixed point and eigenfunctions in maps with critical point of degree 4

We gain tight rigorous bounds on the renormalisation fixed point for period doubling in families of unimodal maps with degree $4$ critical point. We use a contraction mapping argument to bound essential eigenfunctions and eigenvalues for the linearisation of the operator and for the operator controlling the scaling of added noise. Multi-precision arithmetic with rigorous directed rounding is used to bound operations in a space of analytic functions yielding tight bounds on power series coefficients and universal constants to over $320$ significant figures.Comment: 15 pages, 8 figure