The range of dimensions of microsets

Authors Richárd Balka, Márton Elekes, Viktor Kiss

Publication date 25 February 2021

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Hausdorff and packing measures (28A78) Fractals (28A80) Percolation (82B43)

Abstract: We say that

E

is a microset of the compact set

K s u b s e t m a t h b b R^{d}

if there exist sequences

l a m b d a_{n} g e q 1

and

u_{n} i n m a t h b b R^{d}

such that

(l a m b d a_{n} K + u_{n}) c a p [0, 1]^{d}

converges to

E

in the Hausdorff metric, and moreover,

E c a p (0, 1)^{d} e q e m p t y s e t

. The main result of the paper is that for a non-empty set

A s u b s e t [0, d]

there is a compact set

K s u b s e t m a t h b b R^{d}

such that the set of Hausdorff dimensions attained by the microsets of

K

equals

A

if and only if

A

is analytic and contains its infimum and supremum. This answers a question of Fraser, Howroyd, K"aenm"aki, and Yu. We show that for every compact set

K s u b s e t m a t h b b R^{d}

and non-empty analytic set

A s u b s e t [0, d i m_{H} K]

there is a set

m a t h c a l C

of compact subsets of

K

which is compact in the Hausdorff metric and

d i m_{H} C : C i n m a t h c a l C = A

. The proof relies on the technique of stochastic co-dimension applied for a suitable coupling of fractal percolations with generation dependent retention probabilities. We also examine the analogous problems for packing and box dimensions.

This page was built for publication: The range of dimensions of microsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6361558)