Constructing locally connected non-computable Julia sets (Q1048108)

It is known from previous work of the authors [Computability of Julia Sets. Algorithms and Computations in Mathematics 23. Berlin: Springer (2001; Zbl 1314.37033)] that there exist polynomials \(z \mapsto z^2 + \exp(2 \pi i \theta) z\) with a Siegel disk at the origin of rotation number \(\theta\) for which the Julia set \(J_{\theta}\) is locally connected but not computable. However, the original proof is not constructive and in the present article the authors show that parameters with such properties can be constructively produced. This fact is fairly surprising since locally connected Siegel Julia sets admit simple and explicit topological models, meaning that one can compute parameters \(\theta\) for which the Julia set \(J_{\theta}\) is topologically simple but whose image cannot be arbitrarily well drawn by any computer algorithm. For the proof, the authors use the fact that the computability of \(J_{\theta}\) is equivalent to the computability of the rotation number \(r(\theta)\) of the corresponding Siegel disk.