Rigidity of the attractor of neutral renormalization

We prove combinatorial rigidity for the full renormalization attractor of neutral quadratic polynomials. More precisely, any two bi-infinite renormalization towers with the same combinatorics are conformally conjugate on neighborhoods of their Mother Hedgehogs. The rigidity theorem includes arbitrary irrational combinatorics and respective parabolic enrichments. The proof relies on a comprehensive analysis of neutral cascades, i.e. transcendental dynamical systems arising from the rescaled limits of the first return maps of neutral quadratic polynomials. We establish uniform butterfly bounds for neutral cascades and prove that any two combinatorially equivalent neutral cascades are affinely conjugate. We also prove rigidity for parabolic towers with equivalent backward combinatorics.