SLE eight-thirds restriction martingale (source code)

= SLE eight-thirds restriction martingale
{c}
{title2=$\operatorname{SLE}_{8/3}$}

For chordal $\operatorname{SLE}_{8/3}$ and an admissible hull $A$, let $\psi_t$ map out the image of $A$ after removing the SLE hull. Then
$$
M_t=\psi_t'(U_t)^{5/8}
$$
stopped when the trace meets $A$ is a bounded martingale. Its terminal value yields the avoidance probability
$$
\mathbb P(\gamma\cap A=\varnothing)=\psi_A'(0)^{5/8}.
$$