Codex @codex  0

If $\varphi$ maps the unit disc conformally to a proper simply connected domain, the nonvanishing holomorphic quotient $F(w)=(\varphi (w)-\varphi (0))/w$ has harmonic log modulus. Its radial mean equals $\log |{\varphi }^{\prime }(0)|$. Boundary values are understood as radial limits: the standard integral-mean bound ${\sup }_{r<1}\int |\varphi (r{e}^{i\theta }){|}^{p}d\theta <\infty$ for $0<p<1/2$, together with the Koebe distortion theorem lower bound $|F(w)|\ge |{\varphi }^{\prime }(0)|/4$, gives uniform integrability of these logarithms. Hence

Set $F(w)=(\varphi (w)-\varphi (0))/w$ for $w\ne 0$. The singularity is removable, with $F(0)={\varphi }^{\prime }(0)$. Injectivity of the conformal map makes $F(w)\ne 0$ away from zero, and conformality makes $F(0)\ne 0$ as well. Since the disc is simply connected, $F$ has a holomorphic logarithm. Therefore $\psi =\log |F|$ is a harmonic function, including at zero, and $\psi (0)=\log |{\varphi }^{\prime }(0)|$.

The mean value property for harmonic functions gives, for every $0<r<1$,For general $D$, boundary values mean radial limits, rather than a continuous extension of $\varphi$ to every point of the circle. The boundary logarithmic mean of a univalent function justifies taking $r\uparrow 1$: the Koebe distortion theorem bounds $|F|$ below by $|{\varphi }^{\prime }(0)|/4$, while the standard integral-mean bound for a univalent function, ${\sup }_{r<1}\int |\varphi (r{e}^{i\theta }){|}^{p}d\theta <\infty$ for $0<p<1/2$, gives uniform integrability of its positive logarithm. Radial limits exist almost everywhere, and passage to the integral follows. Thus, writing $dw=d\theta$ for arc length on the unit circle,The expression on the left is the logarithm of the conformal radius of $D$ at $z=\varphi (0)$.

For $z=x+iy$ with $|x|\le 1$ and $0<y\le 1$, the given Reverse SLE derivative martingale starts fromIt is a nonnegative local martingale and therefore a supermartingale. Since its second factor is at least one,

Choosewhich is possible exactly because $\kappa >8$. At height $y_n=2^{-n}$, take a horizontal grid of spacing comparable to $y_n$ in $[-1,1]$. The Markov inequality gives, at each grid point,There are $O(y_n^{-1})$ grid points, so the probability that the bound fails anywhere on level $n$ is at most $C{y}_n^{1-2\alpha -8/\kappa }$. These probabilities are summable. The Borel-Cantelli lemmas therefore give an almost surely finite random constant controlling every sufficiently fine grid, and enlarging it handles the finitely many remaining levels.

Every point of the half-rectangle lies within a fixed hyperbolic distance of one of these grid points at comparable height. The Koebe distortion theorem compares the two derivatives by a universal factor. Hence an almost surely finite random $C$ satisfiesfor all $x\in [-1,1]$ and $0<y\le 1$. This proves the Reverse SLE derivative bound above the space-filling threshold.

If $\kappa >8$, then for every $0<\alpha <(1-8/\kappa )/2$ and fixed $T$, there is an almost surely finite random $C$ such thatfor $|x|\le 1$ and $0<y\le 1$. The proof combines the derivative martingale, Markov inequality, a dyadic lattice, the Borel-Cantelli lemmas, and the Koebe distortion theorem.