Conformal restriction measure on simple loops (${\Phi }_{\ast }(\mu {|}_{{\mathbf{L}}_U})=\mu {|}_{{\mathbf{L}}_{\Phi (U)}}$)

A sigma-finite measure on simple closed curves has conformal restriction if restricting to loops in a simply connected domain and then applying a conformal map agrees with first transporting the domain and restricting there. The usual nontrivial measures are finite on bounded macroscopic cutoff windows and are determined up to normalization by their pointed conformal deficits.

For simple loops surrounding a marked point, containment in two simply connected domains is containment in their intersection component containing that point. Finite deficits therefore determine all finite intersections of avoidance events by inclusion-exclusion. Restrict to finite windows $H_r={\mathbf{L}}_D\setminus {\mathbf{L}}_{rD}$ and use the sigma-finite uniqueness theorem for measures; as $r\downarrow 0$ these windows exhaust the pointed loop space. Finiteness of the windows is essential to this argument.