Plane harmonic measures live on sets of \(\sigma\)-finite length (Q1312330)

Let \(E\) be a compact subsetset of \(\mathbb{C}\) with diam \(E \leq 1\), and let \(\Omega = \widehat \mathbb{C} \backslash E\) be regular for the Dirichlet problem, and let \(\omega (\Omega, Y,z)\) be the harmonic measure relative to \(\Omega\) of the set \(Y\) in \(\widehat \mathbb{C}\), evaluated at \(z \in \Omega\). The author then uses a lengthy recursive domain modification to prove that, for any \(0<\delta<1\), for any \(0< \rho<1\) and for sufficiently large \(M=M (\delta)\), there is a set \(F \subset E\) such that \(\omega (\Omega, F, \infty) \geq C^{-1} \delta\) and with a covering \(F \subset \bigcup_ i D(z_ i,r_ i)\) where \(\sum_ i r_ i \leq CM^ \delta\), \(\sum_{i:r_ i> \rho} r_ i \leq CM^{-1}\) and \(C\) is an absolute constant. He then deduces the fact that, for the above set \(\Omega\) there is a set \(F \subset \partial \Omega\) with \(\omega (\Omega,F,z) = 1\) and with \(\sigma\)-finite one-dimensional Hausdorff measure; this sharpens an earlier result of the author and \textit{P. Jones} [Acta Math. 161, No. 1/2, 131-144 (1988; Zbl 0667.30020)] proved by a rather different method.