On the Lebesgue measure of the Feigenbaum Julia set (Q2187254)

The quadratic Feigenbaum polynomial is given by \(f_\text{Feig}(z)=z^2+c_\text{Feig}\), where \(c_\text{Feig}\approx -1.4011551890\) is the limit of the sequence of parameters real period doubling parameters. It is shown that the Hausdorff dimension of the Julia set of \(f_\text{Feig}\) is strictly less than \(2\). In particular, this implies that the Julia set has Lebesgue measure zero. This answers a well-known question in complex dynamics. The paper contains many results and some proofs are computer-assisted.