View source for Dvoretzky problem

{{TEX|done}}
''for random covering''

Roughly speaking, random covering is the (attempt at) [[Covering|covering]] a given large body by means of smaller bodies that are randomly distributed.

There is a large amount of literature on random covering. See [[#References|[a1]]] for a general approach; [[#References|[a3]]] for the fractal aspect; [[#References|[a11]]] for the special case of small convex bodies of given shape and size.

The Dvoretzky problem is about the circle $T$ of length $1$ and random intervals on it whose lengths $l_1,l_2,\dots$ are given ($1>l_1\geq l_2\geq\dots>0$), and whose positions on $T$ are randomly distributed in the usual way. A century ago, E. Borel already knew that when $\sum l_n=\infty$, any given point of $T$ is covered almost surely. In 1956, A. Dvoretzky observed that this does not imply that the whole circle is covered almost surely [[#References|[a5]]]. When $\sum l_n=\infty$, the uncovered set has [[Lebesgue measure|Lebesgue measure]] zero almost surely. Is it possible to be more precise? Is it possible to get good necessary and sufficient conditions for covering? Is it possible to do the same in several dimensions?

To apply the [[Zero-one law|zero-one law]] (i.e., the probability is either zero or one), it is slightly more convenient to consider infinite coverings, meaning that each point is covered by infinitely many intervals.

After Dvoretzky, the first important systematic study was made by P. Billard [[#References|[a4]]] (see [[Billard method|Billard method]]). Using Billard's method, J.-P. Kahane was able to compute the [[Hausdorff dimension|Hausdorff dimension]] of the uncovered set; for example, this dimension is $\alpha$ if $l_n=(1-\alpha)/n$ [[#References|[a2]]]. More precise results, involving capacity with respect to a kernel constructed from $l_n$, have been obtained later, in [[#References|[a13]]].

A most spectacular result was obtained by L. Shepp in 1972 [[#References|[a15]]]: covering holds if and only if the series

$$\sum\frac1{n^2}\exp(l_1+\dots+l_n)$$

diverges; for example, covering holds when $l_n=1/n$.

The problem was subsequently extended in several ways.

B. Mandelbrot has considered a similar problem on the line, with random cutouts associated with a Poisson measure in a half-plane, and discovered the relation between the uncovered set and the range of the Lévy process [[#References|[a14]]]; this programme was completed by P. Fitzsimmons, B. Fristedt and Shepp in 1985 (see [[Fitzsimmons–Fristedt–Shepp theorem|Fitzsimmons–Fristedt–Shepp theorem]], [[#References|[a9]]]). In this context, the covering condition was established already by Shepp in 1972 [[#References|[a16]]].

M. Wschebor considered coverings or cutouts by random sets, not necessarily intervals. His result: When the measures are given, the best covering is realized by intervals [[#References|[a17]]], [[#References|[a18]]].

J. Hoffmann-Jørgensen has put forth a general framework: random balls in a metric space [[#References|[a10]]]. Y. El Hélou was able to compute the Hausdorff dimension of the uncovered set when random balls of given volumes $v_1,v_2,\dots$ are placed on a $d$-dimensional torus [[#References|[a2]]]. Fan Ai-hua has given a necessary and sufficient condition for the covering of a given subset of an ultrametric space, a natural question in percolation on trees [[#References|[a7]]].

The Dvoretzky problem for random balls of given volumes on the torus $T^d$ is still unsolved. However, there is a natural guess for the necessary and sufficient condition, and the problem for homothetic simplices has been completely solved by Kahane [[#References|[a13]]] (see [[Billard method|Billard method]]).

Another generalization of the Dvoretzky problem: instead of the lengths $l_1,l_2,\dots$, suppose one is given positive functions $p_1,p_2,\dots$ on $T$. Consider the series of random translates

$$\sum_{n=1}^\infty p_n(t-\omega_n)$$

(with $\omega_n\in T$ independent and Lebesgue distributed). One now asks for the probability that it diverges everywhere. The Dvoretzky problem corresponds to $p_n=\id_{[0,l_n]}$. The case with $p_n=a_n\,\id_{[0,l_n]}$ is investigated in [[#References|[a8]]]; the general case needs new ideas.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Hall,   "Introduction to the theory of coverage processes" , Wiley  (1988)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.-P. Kahane,   "Some random series of functions" , Cambridge Univ. Press  (1985)  (Edition: Second)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B.B. Mandelbrot,   "The fractal geometry of nature" , Freeman  (1982)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  P. Billard,   "Séries de Fourier aléatoirement bornées, continues, uniformement convergentes"  ''Ann. Sci. Ecole Norm. Sup.'' , '''82'''  (1965)  pp. 131–179</TD></TR>
<TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Dvoretzky,   "On covering a circle by randomly placed arcs"  ''Proc. Nat. Acad. Sci. USA'' , '''42'''  (1956)  pp. 199–203. {{ZBL|0074.12301}}</TD></TR>
<TR><TD valign="top">[a6]</TD> <TD valign="top">  Y. El Hélou,   "Recouvrement du tore $T^q$ par des ouverts aléatoires er dimension de Hausdorff de l'ensemble non recouvert"  ''C.R. Acad. Sci. Paris'' , '''287A'''  (1978)  pp. 815–818</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  A.-h. Fan,   "Sur quelques processus de naissance et de mort"  ''C.R. Acad. Sci. Paris'' , '''310'''  (1990)  pp. 441–444</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  A.-h. Fan,   J.-P. Kahane,   "Rareté des intervalles recouvrant un point dans un recouvrement aléatoire"  ''Ann. Inst. H. Poincaré'' , '''20''' :  3  (1993)  pp. 453–466</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P.J. Fitzsimons,   B. Fristedt,   L.R. Shepp,   "The set of real numbers left uncovered by random covering intervals"  ''Z. Wahrscheinlichkeitsth. verw. Gebiete'' , '''70'''  (1985)  pp. 175–189</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J. Hoffmann-Jørgensen,   "Coverings of metric spaces with randomly placed balls"  ''Math. Scand.'' , '''32'''  (1973)  pp. 179–186</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  S. Janson,   "Random covering in several dimensions"  ''Acta Math.'' , '''156'''  (1986)  pp. 83–118</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  J.-P. Kahane,   "Sur le recouvrement d'un cercle par des arcs disposés au hasard"  ''C.R. Acad. Sci. Paris'' , '''248'''  (1959)  pp. 184–186</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J.-P. Kahane,   "Recouvrements aléatoires et théorie du potentiel"  ''Coll. Math.'' , '''60/1'''  (1990)  pp. 387–411</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  B.B. Mandelbrot,   "Renewal sets and random cutouts"  ''Z. Wahrscheinlichkeitsth. verw. Gebiete'' , '''22'''  (1972)  pp. 145–157</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  L.A. Shepp,   "Covering the circle with random arcs"  ''Israel J. Math.'' , '''11'''  (1972)  pp. 328–345</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  L.A. Shepp,   "Covering the line by random intervals"  ''Z. Wahrscheinlichkeitsth. verw. Gebiete'' , '''23'''  (1972)  pp. 163–170</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  M. Wschebor,   "Sur le recouvrement du cercle par des ensembles placés au hasard"  ''Israel J. Math.'' , '''15'''  (1973)  pp. 1–11</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  M. Wschebor,   "Sur un théorème de L. Shepp"  ''Z. Wahrscheinlichkeitsth. verw. Gebiete'' , '''27'''  (1973)  pp. 179–184</TD></TR></table>