Dvoretzky Random Covering

• Dvoretzky Random Covering is a probabilistic covering problem where randomly placed sets, like arcs or balls, are used to study full coverage conditions and fractal exceptional sets.
• The methodology leverages harmonic analysis and Fourier techniques to derive necessary and sufficient criteria for almost sure complete coverage of geometric spaces.
• Extensions include non-uniform distributions, higher-dimensional analogues, and dynamical variants, revealing critical phase transitions and connections to metric geometry and topology.

Dvoretzky random covering describes a class of probabilistic covering problems, with origins in geometric probability and harmonic analysis, in which randomly placed sets (typically arcs or balls) are used to cover a geometric space such as the circle or the sphere. The fundamental question is to characterize, in terms of the underlying geometry and stochastic process, the conditions under which these randomly placed sets cover every point (or “almost every” point) of the space with probability one, as well as the properties of the (potentially fractal) exceptional sets that remain uncovered. The theory connects limit theorems, fractal geometry, Fourier analysis, and aspects of random processes. The prototypical problem—Dvoretzky’s random covering of the circle—has produced influential criteria, phase transitions, and deep links with uniqueness problems for trigonometric series and the metric geometry of random sets.

1. Formulation and Classical Results

Consider the unit circle $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ and a deterministic sequence of lengths $\{\ell_n\}_{n\ge 1}$ with $0 < \ell_n < 1$. Let $\omega_n$ be i.i.d. random variables, each uniformly distributed on $\mathbb{T}$. Form the open arcs $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$. The random limsup set is

$$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$

Dvoretzky’s problem asks for a necessary and sufficient criterion on $\{\ell_n\}$ for $C(\omega) = \mathbb{T}$ almost surely, that is, for the random arcs to cover every point of the circle infinitely often with probability one.

By the second Borel–Cantelli lemma, $\lambda$-almost every point is covered infinitely often if and only if $\{\ell_n\}_{n\ge 1}$0. However, full coverage (in the sense that every point is covered infinitely often, almost surely) requires a subtler condition. The solution, due to Shepp (1972), is:

$\{\ell_n\}_{n\ge 1}$1

For the special case $\{\ell_n\}_{n\ge 1}$2, the threshold is at $\{\ell_n\}_{n\ge 1}$3: full coverage occurs for $\{\ell_n\}_{n\ge 1}$4, fails for $\{\ell_n\}_{n\ge 1}$5 (Hirayama et al., 2021).

2. Extensions: Non-Uniform Dvoretzky Coverings

A major extension replaces the uniform distribution of the center points $\{\ell_n\}_{n\ge 1}$6 with an absolutely continuous probability measure $\{\ell_n\}_{n\ge 1}$7 having density $\{\ell_n\}_{n\ge 1}$8. Define the essential infimum $\{\ell_n\}_{n\ge 1}$9 and the set $0 < \ell_n < 1$0 of points where $0 < \ell_n < 1$1 attains $0 < \ell_n < 1$2. The size of $0 < \ell_n < 1$3 is quantified by its Hausdorff dimension and upper box dimension.

The principal sharp condition (Hirayama et al., 2021, Fan et al., 2019) is as follows: suppose $0 < \ell_n < 1$4 and the upper box dimension of $0 < \ell_n < 1$5 is $0 < \ell_n < 1$6. Then, defining $0 < \ell_n < 1$7,

$0 < \ell_n < 1$8

Sufficiency can be extended if $0 < \ell_n < 1$9 has Hausdorff dimension $\omega_n$0 and additional uniformity conditions on $\omega_n$1 are imposed. In the special case $\omega_n$2, the threshold is $\omega_n$3—extending the classical case without any smoothness assumptions on the density $\omega_n$4 (Fan et al., 2019).

Menshov-type genericity holds: if $\omega_n$5 and the threshold is met, one can construct arbitrarily small perturbations of $\omega_n$6 (differing on a set of Lebesgue measure $\omega_n$7) for which coverage holds. This does not apply for the uniform density (Hirayama et al., 2021).

3. Fractal Structure and Multiplicative Chaos of the Uncovered Set

When the coverage threshold is not met, the complementary limsup set $\omega_n$8 forms a random closed set with fractal structure. Motivated by work in harmonic analysis, Dvoretzky-type random limsup sets have been analyzed in terms of their Hausdorff and Fourier (Salem) dimensions (Chen et al., 17 Nov 2025, Hirayama et al., 2021). Kahane’s Theorem gives:

$\omega_n$9

almost surely when $\mathbb{T}$0 is nonempty ($\mathbb{T}$1).

Recent work establishes that $\mathbb{T}$2 is almost surely a Salem set in the subcritical regime: its Fourier dimension matches its Hausdorff dimension, that is,

$\mathbb{T}$3

(Chen et al., 17 Nov 2025). The construction relies on a multiplicative chaos measure $\mathbb{T}$4 supported on $\mathbb{T}$5, whose Fourier coefficients decay at the optimal rate.

Concurrently, the multiplicative chaos measure $\mathbb{T}$6 (the Dvoretzky measure) built from the survival martingales $\mathbb{T}$7

$\mathbb{T}$8

has the Rajchman property (Fourier coefficients tend to zero), and $\mathbb{T}$9 is a set of multiplicity in the sense of trigonometric series uniqueness theory (Tan, 12 Nov 2025).

4. Generalizations: Higher Dimensions and Metric Spaces

Analogous Dvoretzky-type random covering problems have been formulated on tori of higher dimension and on compact metric spaces with Ahlfors regular measure (Järvenpää et al., 2015, Li et al., 2013). For balls of radii $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$0 placed at i.i.d. random centers, the random limsup set $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$1 almost surely satisfies

$$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$2

(Li et al., 2013). For intersections with a fixed analytic set $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$3, hitting-probability and intersection-dimension dichotomies are established: if $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$4, then $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$5 almost surely; otherwise, intersection fails almost surely (Järvenpää et al., 2015, Li et al., 2013).

A table summarizing some key thresholds:

Context	Coverage Threshold	Reference
Circle, uniform, $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$6	$$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$7 full cover; $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$8 fails	(Hirayama et al., 2021)
Circle, density $$I_n(\omega) = (\omega_n-\ell_n/2,\,\omega_n+\ell_n/2)\;\mathrm{mod}\;1$$9, $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$0	$$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$1 full cover	(Fan et al., 2019)
Sphere, dimension $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$2	Max coverage $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$3 near-deterministic	(Hoehner et al., 17 Jan 2025)

In higher dimensions, randomness leads to asymptotically optimal sphere coverings (coverage ratio $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$4 at total density $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$5) (Hoehner et al., 17 Jan 2025).

5. Uniform and Dynamical Covering Variants

“Uniform random covering” investigates liminf-type sets, i.e., the set of points eventually always covered by some random ball at each layer. It reveals a richer phase structure: full covering, full-measure covering, and countable exceptional sets, each governed by separate thresholds on the decay rates of the radii (Koivusalo et al., 2021). Unlike the classical limsup Dvoretzky problem, uniform covering thresholds involve probabilities of not being covered within a finite number of layers.

In fractal and dynamical contexts, “dynamical Dvoretzky covering” considers shrinking targets along orbits in self-similar sets with Bernoulli measures (Barany et al., 23 Jun 2025). The critical covering behavior is characterized via a thermodynamic pressure function, with explicit phase transitions for full set covering, full measure, or positive-codimension sets, unifying dynamical covering and classical Borel–Cantelli arguments.

6. Connections to Harmonic Analysis: Uniqueness and Multiplicity

Dvoretzky random covering is closely linked to harmonic analysis, specifically the structure of uniqueness (U-sets) and multiplicity (M-sets) for trigonometric series. In the non-covering regime, the exceptional set is almost surely a set of multiplicity, as witnessed by the existence of measures with vanishing Fourier coefficients supported on the set (Tan, 12 Nov 2025).

For subcritical coverings, the corresponding uncovered sets are Salem sets: they achieve the maximal possible Fourier dimension (equal to Hausdorff dimension) for random fractals of their kind (Chen et al., 17 Nov 2025). The Rajchman and Salem properties are established by controlling the Fourier decay of the associated multiplicative chaos measures.

7. Topological and Algebraic-Topological Perspective

The finite version of Dvoretzky random covering, especially on one-dimensional complexes, can be exactly analyzed using algebraic-topological invariants such as the nerve complex and Euler characteristic (Komendarczyk et al., 2012). For a “good” random covering, full coverage of the space corresponds to the minimal value of the relative Euler characteristic of the nerve complex. In the circle case, the classical inclusion–exclusion formula for full coverage probability is recovered from this perspective, yielding a full combinatorial and probabilistic account of the model.

• (Hirayama et al., 2021) On genericity of non-uniform Dvoretzky coverings of the circle.
• (Tan, 12 Nov 2025) The non-covered set in Dvoretzky covering is a set of multiplicity.
• (Chen et al., 17 Nov 2025) Salem properties of Dvoretzky random coverings.
• (Fan et al., 2019) On $$C(\omega) = \limsup_{n\to\infty} I_n(\omega) = \{ x\in \mathbb{T}: x\in I_n(\omega) \text{ for infinitely many } n \}.$$6-Dvoretzky random covering of the circle.
• (Hoehner et al., 17 Jan 2025) On the Optimality of Random Partial Sphere Coverings in High Dimensions.
• (Koivusalo et al., 2021) Uniform random covering problems.
• (Li et al., 2013) A note on the hitting probabilities of random covering sets.
• (Järvenpää et al., 2015) Hitting probabilities of random covering sets in tori and metric spaces.
• (Komendarczyk et al., 2012) Finite random coverings of one-complexes and the Euler characteristic.
• (Barany et al., 23 Jun 2025) Dynamical covering sets in self-similar sets.