Abstract:We introduce a natural way to construct a random subset of a homogeneous Cantor set $C$ in $[0,1]$ via random labelings of an infinite $M$-ary tree, where $M\geq 2$. The Cantor set $C$ is the attractor of an equicontractive iterated function system $\{f_1,\dots,f_N\}$ that satisfies the open set condition with $(0,1)$ as the open set. For a fixed probability vector $(p_1,\dots,p_N)$, each edge in the infinite $M$-ary tree is independently labeled $i$ with probability $p_i$, for $i=1,2,\dots,N$. Thus, each infinite path in the tree receives a random label sequence of numbers from $\{1,2,\dots,N\}$. We define $F$ to be the (random) set of those points $x\in C$ which have a coding that is equal to the label sequence of some infinite path starting at the root of the tree. The set $F$ may be viewed as a statistically self-similar set with extreme overlaps, and as such, its Hausdorff and box-counting dimensions coincide. We prove non-trivial upper and lower bounds for this dimension, and obtain the exact dimension in a few special cases. For instance, when $M=N$ and $p_i=1/N$ for each $i$, we show that $F$ is almost surely of full Hausdorff dimension in $C$ but of zero Hausdorff measure in its dimension. For the case of two maps and a binary tree, we also consider deterministic labelings of the tree where, for a fixed integer $m\geq 2$, every $m$th edge is labeled $1$, and compute the exact Hausdorff dimension of the resulting subset of $C$.

Non-differentiability of Devil's Staircases and Dimensions of Subsets of Moran Sets

GEOMETRY AND DIMENSION OF SELF-SIMILAR SET

Assouad type dimensions of homogeneous Moran sets and Cantor-like sets

Dimensions of a class of self-affine Moran sets and measures in $\R^2$

Intermediate dimensions of Moran sets and their visualization

Non-spectrality of Moran measures with consecutive digits

Integer tile and Spectrality of Cantor-Moran measures with equidifferent digit sets

On the Structures and Dimensions of Moran Sets

Lower discrete Hausdorff dimension of spectra for Moran measure

One-Dimensional Moran Sets and the Spectrum of Schrödinger Operators

Dimension theory of Non-Autonomous iterated function systems

Hausdorff and Packing Dimensions of Subsets of Moran Fractals with Prescribed Mixed Group Frequency of Their Codings

Random subsets of Cantor sets generated by trees of coin flips

Attainable forms of intermediate dimensions

A sufficient and necessary condition for infinite orthogonal sets on some Moran measures

Hausdorff centred measure of non-symmetry cantor sets

Spectrality of a Class of Moran Measures on

Hausdorff dimension and upper box dimension of a class of homogeneous Moran sets

Packing Dimensions of Generalized Random Moran Sets

Dimension rigidity for cookie-cutter Cantor sets

Three-Dimensional Moran Walk with Resets