The high type quadratic Siegel disks are Jordan domains

Let $\alpha$ be an irrational number of sufficiently high type and suppose $P_{\alpha }(z)=e^{2\pi i\alpha }z+z^2$ has a Siegel disk ${\mathrm{\Delta }}_{\alpha }$ centered at the origin. We prove that the boundary of ${\mathrm{\Delta }}_{\alpha }$ is a Jordan curve, and that it contains the critical point $-e^{2\pi i\alpha }\mathrm{/}2$ if and only if $\alpha$ is a Herman number.