Related papers: A nonlinear version of the Newhouse thickness theo…

We prove that for any function $f$ satisfying certain mild conditions and any Cantor set $K$ with Newhouse thickness greater than $1$, there exists $x\in K$ and $t>0$ such that \[ \{x-t,x,x+f(t)\}\subset K. \] This is an extension of…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

In this paper we prove that the set of tuples of edge lengths in $K_1\times K_2$ corresponding to a finite tree has non-empty interior, where $K_1,K_2\subset \mathbb{R}$ are Cantor sets of thickness $\tau(K_1)\cdot \tau(K_2) >1$. Our method…

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…

Inspired by the work of Newhouse in one real variable, we introduce a relevant notion of thickness for dynamical Cantor sets of the plane associated to a holomorphic IFS. Our main result is a complex version of Newhouse's Gap Lemma : we…

We generalize a result of McDonald and Taylor which concerns the size of the tuples of edge lengths in the set $C_1 \times C_2$ utilizing the notion of thickness. Specifically, we show that $C_1, C_2 \subset \mathbb{R}^d$ compact sets with…

Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an…

Imposing some conditions on derivatives of the known functions, using the Fiber Contraction Theorem we prove the existence of $C^1$ solutions of a class of iterative functional equations which involves iterates of the unknown functions and…

Let $C(a ),C(b)\subset \lbrack 0,1]$ be the central Cantor sets generated by sequences $ a,b \in (0,1)^{\mathbb{N}}$. The first main result of the paper gives a necessary and a sufficient condition for sequences $a$ and $b$ which inform…

A $d$-{\em interval} is a union of at most $d$ disjoint closed intervals on a fixed line. Tardos [Combinatorica 15 (1995), 123-134] and the second author [Disc. Comput. Geom. 18 (1997), 195-203] used topological tools to bound the…

In this note, as a particular case of a more general result, we obtain the following theorem: Let $\Omega\subseteq {\bf R}^n$ be a non-empty bounded open set and let $f:\overline {\Omega}\to {\bf R}^n$ be a continuous function which is…

It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i \in [0,q)$ satisfies the equality $\sum_{i=1}^\infty c_iq^{-i}=1$. The set of such "univoque numbers" has…

Let $C$ be the middle-third Cantor set, and $f$ a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the image \begin{equation*} f_{U}(C,C)=\{f(x,y):(x,y)\in (C\times C)\cap U\}. \end{equation*} If $\partial…

For a function $f\colon [0,1]\to\mathbb R$, we consider the set $E(f)$ of points at which $f$ cuts the real axis. Given $f\colon [0,1]\to\mathbb R$ and a Cantor set $D\subset [0,1]$ with $\{0,1\}\subset D$, we obtain conditions equivalent…

Consider $d$ disjoint closed subintervals of the unit interval and consider an orientation preserving expanding map which maps each of these subintervals to the whole unit interval. The set of points where all iterates of this expanding map…

Let $K_1$ and $K_2$ be two one-dimensional homogeneous self-similar sets. Let $f$ be a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by $$ f_{U}(K_1,K_2)=\{f(x,y):(x,y)\in…

For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed…

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…

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…

Given $\lambda\in (0,1/2)$, let \begin{equation*} C_\lambda=\set{(1-\lambda)\sum_{i=1}^\infty d_i\lambda^{i-1}:d_i\in\set{0,1}} \end{equation*} be the middle Cantor sets with convex hull $[0, 1]$. We are interested in the set…