Abstract:
In this paper we consider some families of random Cantor sets on the line and investigate the question whether the condition that the sum of Hausdorff dimension is larger than one implies the existence of interior points in the difference set of two independent copies. We prove that this is the case for the so called Mandelbrot percolation. On the other hand the same is not always true if we apply a slightly more general construction of random Cantor sets. We also present a complete solution for the deterministic case.

Abstract:
Suppose that $\mathcal{C}$ is the space of all middle Cantor sets. We characterize all triples $(\alpha,~\beta,~\lambda)\in \mathcal{C}\times\mathcal{C}\times \mathbb{R}^*$ that satisfy $C_\alpha- \lambda C_\beta=[-\lambda,~1]. $ Also all triples (that are dense in $\mathcal{C}\times\mathcal{C}\times \mathbb{R}^*$) has been determined such that $C_\alpha- \lambda C_\beta$ forms the attractor of an iterated function system. Then we found a new family of the pair of middle Cantor sets $\mathcal{P}$ in a way that for each $(C_\alpha,~ C_\beta)\in\mathcal{P}$, there exists a dense subfield $F\subset \mathbb{R}$ such that for each $\mu \in F$, the set $C_\alpha- \mu C_\beta$ contains an interval or has zero Lebesgue measure. In sequel, conditions on the functions $f, ~g$ and the pair $(C_\alpha,~C_\beta)$ is provided which $f(C_{\alpha})- g(C_{\beta})$ contains an interval. This leads us to denote another type of stability in the intersection of two Cantor sets. We prove the existence of this stability for regular Cantor sets that have stable intersection and its absence for those which the sum of their Hausdorff dimension is less than one. At the end, special middle Cantor sets $C_\alpha$ and $C_\beta$ are introduced. Then the iterated function system corresponding to the attractor $C_{\alpha}-\frac{2\alpha}{\beta}C_\beta$ is characterized. Some specifications of the attractor has been presented that keep our example as an exception. We also show that $\sqrt{C_{\alpha}}$ - $\sqrt{C_{\beta}}$ contains at least one interval.

Abstract:
We investigate the question under which conditions the algebraic difference between two independent random Cantor sets $C_1$ and $C_2$ almost surely contains an interval, and when not. The natural condition is whether the sum $d_1+d_2$ of the Hausdorff dimensions of the sets is smaller (no interval) or larger (an interval) than 1. Palis conjectured that \emph{generically} it should be true that $d_1+d_2>1$ should imply that $C_1-C_2$ contains an interval. We prove that for 2-adic random Cantor sets generated by a vector of probabilities $(p_0,p_1)$ the interior of the region where the Palis conjecture does not hold is given by those $p_0,p_1$ which satisfy $p_0+p_1>\sqrt{2}$ and $p_0p_1(1+p_0^2+p_1^2)<1$. We furthermore prove a general result which characterizes the interval/no interval property in terms of the lower spectral radius of a set of $2\times 2$ matrices.

Abstract:
We show that there exist $(d-1)$ - Ahlfors regular compact sets $E \subset \mathbb{R}^{d}, d\geq 2$ such that for any $t< d-1$, we have \[ \sup_T \frac{\mathcal{H}^{d-1}(E\cap T)}{w(T)^t}<\infty \] where the supremum is over all tubes $T$ with width $w(T) >0$. This settles a question of T. Orponen. The sets we construct are random Cantor sets, and the method combines geometric and probabilistic estimates on the intersections of these random Cantor sets with affine subspaces.

Abstract:
We define the epsilon-distortion complexity of a set as the shortest program, running on a universal Turing machine, which produces this set at the precision epsilon in the sense of Hausdorff distance. Then, we estimate the epsilon-distortion complexity of various central Cantor sets on the line generated by iterated function systems (IFS's). In particular, the epsilon-distortion complexity of a C^k Cantor set depends, in general, on k and on its box counting dimension, contrarily to Cantor sets generated by polynomial IFS or random affine Cantor sets.

Abstract:
Let $C_a$ be the central Cantor set obtained by removing a central interval of length $1-2a$ from the unit interval, and continuing this process inductively on each of the remaining two intervals. We prove that if $\log b/\log a$ is irrational, then \[ \dim(C_a+C_b) = \min(\dim(C_a) + \dim(C_b),1), \] where $\dim$ is Hausdorff dimension. More generally, given two self-similar sets $K,K'$ in $\RR$ and a scaling parameter $s>0$, if the dimension of the arithmetic sum $K+sK'$ is strictly smaller than $\dim(K)+\dim(K') \le 1$ (``geometric resonance''), then there exists $r<1$ such that all contraction ratios of the similitudes defining $K$ and $K'$ are powers of $r$ (``algebraic resonance''). Our method also yields a new result on the projections of planar self-similar sets generated by an iterated function system that includes a scaled irrational rotation.

Abstract:
In this article we study for which Cantor sets there exists a gauge-function h, such that the h-Hausdorff-measure is positive and finite. We show that the collection of sets for which this is true is dense in the set of all compact subsets of a Polish space X. More general, any generic Cantor set satisfies that there exists a translation-invariant measure mu for which the set has positive and finite mu-measure. In contrast, we generalize an example of Davies of dimensionless Cantor sets (i.e. a Cantor set for which any translation invariant measure is either zero or non-sigma-finite, that enables us to show that the collection of these sets is also dense in the set of all compact subsets of a Polish space X.

Abstract:
For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets.