Dimension of quasicircles

We introduce canonical antisymmetric quasiconformal maps, which minimize the quasiconformality constant among maps sending the unit circle to a given quasicircle. As an application we prove Astala’s conjecture that the Hausdorff dimension of a $k$-quasicircle is at most $1+k^2$.