The exact power law for Buffon's needle landing near some random Cantor sets (Q2177531)

The Favard length of a planar set $E \subseteq \mathbb{C}$ is defined by $$\hbox{Fav}(E):= \frac{1}{\pi} \int_0^1 |\hbox{Proj}_\theta(E)| \ d\theta,$$ where Proj$_\theta$ denotes the orthogonal projection onto the line having angle $\theta$ with the real axis. By a theorem of Besicovitch it follows that Fav$(E)=0$ if $E$ is unrectifiable with finite length; i.e., the four-corner Cantor set $\mathcal{K}$. Let $\mathcal{C}_n$ be the $n$-th generation in the Cantor construction of $\mathcal{C}$ and let $\mathcal{K}_n = \mathcal{C}_n \times \mathcal{C}_n$. Then $\mathcal{K}= \bigcap \mathcal{K}_n$. By Fav$(\mathcal{K})=0$ it follows that $\lim_n \hbox{Fav}(\mathcal{K}_n)=0$. It has been proved by \textit{F. Nazarov} et al. [St. Petersbg. Math. J. 22, No. 1, 61--72 (2011; Zbl 1213.28006)] that $\hbox{Fav}(\mathcal{K}_n) \leq C_p/n^p$ for any $p<1/6$. In the present paper, a random analogue of the quarter disk model is considered. The main result states that if $\omega = (\omega_1, \omega_2, \dots , \omega_n)$ are uniformly distributed i.i.d. random variables in $[0, \pi/2]$, then there exists $C > 0$ such that $$\mathbb{E}_{\omega} [\hbox{Fav}(\mathcal{D}_n(\omega))] \leq \frac{C}{n} \quad \hbox{for all }n \in \mathbb{N}.$$