Rigidity of \(C^2\) infinitely renormalizable unimodal maps (Q1969099)

It is proved that if \(f\) and \(g\) are \(C^2\) unimodal interval maps with quadratic critical points \(c_f\) and \(c_g\) which are infinitely renormalizable and have the same bounded combinatorial type then there exists a \(C^{1+\alpha}\) diffeomorphism \(h\) of the real line such that \(h(f^i(c_f))=g^i(h(c_g))\) for every integer \(i\geq 0\).