Prefer a chat interface with context about you and your work?
Self-similarity of Siegel disks and Hausdorff dimension of Julia sets
Assume that 0 is an irrational of bounded type, meaning sup ai<oc.Then by a classical result of Siegel, the map f is conformally conjugate to a rotation near the origin [Si].