Related papers: Multiplication on uniform $\lambda$-Cantor sets

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]:…

Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y…

We prove upper and lower bounds for the Lebesgue measure of the set of products $xy$ with $x$ and $y$ in the middle-third Cantor set. Our method is inspired by Athreya, Reznick and Tyson, but a different subdivision of the Cantor set…

The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail…

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…

For a compact set $K\subset \mathbb{R}^1$ and a family $\{C_\lambda\}_{\lambda\in J}$ of dynamically defined Cantor sets sufficiently close to affine with $\text{dim}_H\, K+\text{dim}_H\, C_\lambda>1$ for all $\lambda\in J$, under natural…

Given $\rho\in(0, 1/3]$, let $\mu$ be the Cantor measure satisfying $\mu=\frac{1}{2}\mu f_0^{-1}+\frac{1}{2}\mu f_1^{-1}$, where $f_i(x)=\rho x+i(1-\rho)$ for $i=0, 1$. The support of $\mu$ is a Cantor set $C$ generated by the iterated…

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…

After the correction of an inaccurate result in the reference, the author uses five different methods, and gets five different inequalities on the Hausdorff measure of the Cartesian product of the middle third Cantor set with itself: $$H^s…

Let $C$ be the middle-third Cantor set. In this paper, we show that for every $x\in [0,4]$, there exist $x_1, x_2, x_3, x_4 \in C$ such that $$x= x_1^2+x_2^2+x_3^2+x_4^2,$$ which answers a question posed by Athreya, Reznick,and Tyson.

Every element $u$ of $[0,1]$ can be written in the form $u=x^2y$, where $x,y$ are elements of the Cantor set $C$. In particular, every real number between zero and one is the product of three elements of the Cantor set. On the other hand…

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…

Let $\mathcal{C}\subseteq[0,1]$ be a Cantor set. In the classical $\mathcal{C}\pm\mathcal{C}$ problems, modifying the ``size'' of $\mathcal{C}$ has a magnified effect on $\mathcal{C}\pm\mathcal{C}$. However, any gain in $\mathcal{C}$…

This thesis generalizes the study of $C\cap(C + \alpha)$ where $C$ is the middle third Cantor set to self-affine sets in $\mathbb{R}^{n}$. We present sufficient and necessary conditions for when the translation $\alpha$ produces a…

Let $C$ be the attractor of the IFS $\{f_{d}(z) = (-n+i)^{-1}(z+d): d\in D\}$, $D\subset\{0, 1, \ldots, n^{2}\}$ and let $\dim$ denote the box-counting dimension. It is known that for all $\lambda\in[0, 1]$, that the set of complex numbers…

Denote by $\mu_a$ the distribution of the random sum $(1-a) \sum_{j=0}^\infty \omega_j a^j$, where $P(\omega_j=0)=P(\omega_j=1)=1/2$ and all the choices are independent. For $0<a<1/2$, the measure $\mu_a$ is supported on $C_a$, the central…

Let $C$ be the middle third Cantor set and $\mu$ be the $\frac{\log 2}{\log 3}$-dimensional Hausdorff measure restricted to $C$. In this paper we study approximations of elements of $C$ by dyadic rationals. Our main result implies that for…

We provide an improvement over Meshulam's bound on cap sets in $F_3^N$. We show that there exist universal $\epsilon>0$ and $C>0$ so that any cap set in $F_3^N$ has size at most $C {3^N \over N^{1+\epsilon}}$. We do this by obtaining quite…

Let $C$ be the middle-third Cantor set. We show that \[\left\{\frac{1}{n!}: n\in\mathbb{N}\right\}\cap C=\left\{1, \frac{1}{5!}\right\}.\] This answers a question recently posed by Jiang [J. Lond. Math. Soc., 2026, published online]. Our…

By a Cantor-like measure we mean the unique self-similar probability measure $\mu $ satisfying $\mu =\sum_{i=0}^{m-1}p_{i}\mu \circ S_{i}^{-1}$ where $% S_{i}(x)=\frac{x}{d}+\frac{i}{d}\cdot \frac{d-1}{m-1}$ for integers $2\leq d<m\le 2d-1$…