Related papers: On Sums of Nearly Affine Cantor Sets

We show that under natural technical conditions, the sum of a $C^2$ dynamically defined Cantor set with a compact set in most cases (for almost all parameters) has positive Lebesgue measure, provided that the sum of the Hausdorff dimensions…

Suppose that $K$ and $ K'$ are two affine Cantor sets. It is shown that the sum set $K+K'$ has equal box and Hausdorff dimensions and in this number named $s$, $H^s(K+K')<\infty$. Moreover, for almost every pair $(K,K')$ satisfying…

In 1954 Marstrand proved that if K is a subset of R^2 with Hausdorff dimension greater than 1, then its one-dimensional projection has positive Lebesgue measure for almost-all directions. In this article, we give a combinatorial proof of…

For $\lambda\in(0,1/2]$ let $K_\lambda \subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{\lambda x, \lambda x+1-\lambda\}$. Given $x\in(0,1/2)$, let $\Lambda(x)$ be the set of $\lambda\in(0,1/2]$ such…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

Let $C_\la$ and $C_\ga$ be two affine Cantor sets in $\mathbb{R}$ with similarity dimensions $d_\la$ and $d_\ga$, respectively. We define an analog of the Bandt-Graf condition for self-similar systems and use it to give necessary and…

Let $m\in\mathbb N_{\ge 2}$, and let $\mathcal K=\{K_\lambda: \lambda\in(0, 1/m]\}$ be a class of Cantor sets, where $K_{\lambda}=\{\sum_{i=1}^\infty d_i\lambda^i: d_i\in\{0,1,\ldots, m-1\}, i\ge 1\}$. We investigate in this paper the…

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…

We show that for all Cantor set $K_1$ on ${\mathbb R}^d$, it is always possible to find another Cantor set $K_2$ so that the sum $g(K_1)+ K_2$ (where $g$ is a $C^1$ local diffeomorphism) has non-empty interior, and the existence of the…

We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known…

Let $C$ be the middle-third Cantor set. Define $C*C=\{x*y:x,y\in C\}$, where $*=+,-,\cdot,\div$ (when $*=\div$, we assume $y\neq0$). Steinhaus \cite{HS} proved in 1917 that \[ C-C=[-1,1], C+C=[0,2]. \] In 2019, Athreya, Reznick and Tyson…

We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erd\"os similarity…

We show that given a one parameter family $F_b$ of strongly dissipative infinitely renormalisable H\'enon-like maps, parametrised by a quantity called the `average Jacobian' $b$, the set of all parameters $b$ such that $F_b$ has a Cantor…

For a finite set $A\subset \mathbb{R}$ and real $\lambda$, let $A+\lambda A:=\{a+\lambda b :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of…

We show that if $\lambda_1,\ldots,\lambda_k$ are algebraic numbers, then $$|A+\lambda_1\cdot A+\dots+\lambda_k\cdot A|\geq H(\lambda_1,\ldots,\lambda_k)|A|-o(|A|)$$ for all finite subsets $A$ of $\mathbb{C}$, where…

For $\lambda\in(0,1/3]$ let $C_\lambda$ be the middle-$(1-2\lambda)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ \Lambda(t):=\left\{\lambda\in(0,1/3]:…

We present a complete proof of a theorem of C.G. Moreira. Under mild checkable conditions, the theorem asserts that the Hausdorff dimension of the arithmetic sum of two dynamically defined Cantor subsets of the real line, equals either the…

In this paper we prove that among pairs $K,\,K' \subset \mathbb{C}$ of conformal dynamically defined Cantor sets with sum of Hausdorff dimensions $HD(K)+HD(K')>2$, there is an open and dense subset of such pairs verifying…

Considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the measure and dimension of $A+\Gamma:=\left\{a+v:a\in A, v\in \Gamma \right\}$ when $A\subset \mathbb{R}^2$ and…