All bounded type Siegel disks of rational maps are quasi-disks

We prove that every bounded type Siegel disk of a rational map must be a quasi-disk with at least one critical point on its boundary. This verifies Douady-Sullivan conjecture for bounded type Siegel disks.