Related papers: Arithmetic on self-similar sets

Let $A,B\subset\mathbb{R}$. Define $$A\cdot B=\{x\cdot y:x\in A, y\in B\}.$$ In this paper, we consider the following class of self-similar sets with overlaps. Let $K$ be the attractor of the IFS $\{f_1(x)=\lambda x, f_2(x)=\lambda…

We prove that for two connected sets $E,F\subset\mathbb{R}^2$ with cardinalities greater than $1$, if one of $E$ and $F$ is compact and not a line segment, then the arithmetic sum $E+F$ has non-empty interior. This improves a recent result…

Consider a finite collection $\{T_1, \ldots, T_J\}$ of differential operators with constant coefficients on $\mathbb{T}^n$ ($n\geq 2$) and the space of smooth functions generated by this collection, namely, the space of functions $f$ such…

The aim of this paper is to study the dimensions and standard part maps between the field of $p$-adic numbers ${{\mathbb Q}_p}$ and its elementary extension $K$ in the language of rings $L_r$. We show that for any $K$-definable set…

We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…

For a compact subset $K$ of the complex plane $\mathbb C,$ let $C(K)$ denote the algebra of continuous functions on $K$. For an open subset $U \subset K,$ let $A(K,U) \subset C(K)$ be the algebra of functions that are analytic in $U.$ We…

Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincar\'e inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure…

In this paper, we focus on the packing measure of self-similar sets. Let $K$ be a self-similar set whose Hausdorff dimension and packing dimension equal $s$, we state that if $K$ satisfies the strong open set condition with an open set…

In this paper we study a sufficient conditions for continuous and almost continuous extensions of f to space X for an image space Y with different separation axioms.

Let $C_1$ and $C_2$ be two Cantor sets with convex hull $[0,1]$. Newhouse proved if $\tau(C_1)\cdot \tau(C_2)\geq 1$, then the arithmetic sum $C_1+C_2$ is an interval, where $\tau(C_i), 1\leq i\leq 2$ denotes the thickness of $C_i$. In this…

Let $k_1,k_2$ be two fields of characteristic 0. Let $G_1$ be a split semisimple algebraic group over $k_1$, $G_2$ a split Kac--Moody group over $k_2$ and $\phi\colon G_1(k_1)\to G_2(k_2)$ an abstract embedding. We show that $\im \phi$ is a…

We prove that certain families of homogenous affine iterated function systems in $\mathbb{R}^d$ have the property that the open set condition and the existence of exact overlaps both occur densely in the space of translation parameters.…

We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We…

Let $P$ be a finite simplicial comple with underlying space (union of simplices in $P$) $|P|$. Let $Q$ be a subcomplex of $P$. Let $a \geq 0$. Then there exists $K < \infty$, \emph{depending only on $a$ and $Q$,} with the following…

Let $K$ be a homogeneous self-similar set satisfying the strong separation condition. This paper is concerned with the quantitative recurrence properties of the natural map $T: K\rightarrow K$ induced by the shift. Let $\mu$ be the natural…

We prove that for any isomorphism $h: \mathcal{K}_1 \to \mathcal{K}_2$ between pure union-closed families, there exists a hyperisomorphism $H: \bigcup \mathcal{K}_1 \to \bigcup \mathcal{K}_2$ such that $h(A) = \{ H(a) \mid a \in A \}$, for…

Let $\beta>1$. Define a class of similitudes \[S=\left\{f_{i}(x)=\dfrac{x}{\beta^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Let $\mathcal{A}$ be the collection of all the self-similar sets generated by the similitudes…

It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in…