Computer picture of a Cremer Julia set

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

For a polynomial $f$ of degree at least two, $f^n$ is its $n$-fold iterate, $K(f)=\{z\in\mathbb C:(f^n(z))_{n\geq0}\text{ is bounded}\}$ is its filled Julia set, and $J(f)=\partial K(f)$ is its Julia set. A space is locally connected if each point has a neighbourhood basis of connected sets. In Milnor's terminology here, a Cremer polynomial is $P_\alpha(z)=z^2+\lambda z$, where $\lambda=e^{2\pi i\alpha}$, $\alpha\in\mathbb R\setminus\mathbb Q$, and no holomorphic change of coordinate near $0$ conjugates $P_\alpha$ to $w\mapsto\lambda w$. Its unique critical point is $-\lambda/2$.

Statement recorded in the supplied source.

Produce a good, reliable computer picture of the Julia set of some Cremer polynomial $P_\alpha$. [S2]

Short English statement

Make a trustworthy computer picture of at least one quadratic Julia set with a non-linearizable irrationally indifferent fixed point.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 5300028 (AMR-052-0028). CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 John Milnor, "Problems on local connectivity", in Ben Bielefeld and Mikhail Lyubich (eds.), Problems in Holomorphic Dynamics (1992), Problem 3, pp. 21; arXiv:math/9205209v1. https://arxiv.org/pdf/math/9205209.