Related papers: On arithmetic properties of Cantor sets

A natural number is a binary $k$'th power if its binary representation consists of $k$ consecutive identical blocks. We prove an analogue of Waring's theorem for sums of binary $k$'th powers. More precisely, we show that for each integer $k…

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…

Let $\mathcal X$ be an infinite locally compact separable metric space with metric $\rho$ and let $f : \mathcal X \longrightarrow \mathcal X$ be a continuous weakly mixing map. Let $\beta = \sup \big\{ \rho(x, y): \{x, y \} \subset \mathcal…

For $m=3,4,\ldots$, the polygonal numbers of order $m$ are given by $p_m(n)=(m-2)\binom n2+n\ (n=0,1,2,\ldots)$. For positive integers $a,b,c$ and $i,j,k\ge3$ with $\max\{i,j,k\}\ge5$, we call the triple $(ap_i,bp_j,cp_k)$ universal if for…

For any $m,n\in\mathbb{N}$ we first give new proofs for the following well known combinatorial identities \begin{equation*} S_n(m)=\sum\limits_{k=1}^n\binom{n}{k}\frac{(-1)^{k-1}}{k^m}=\sum\limits_{n\geq r_1\geq r_2\geq...\geq r_m\geq…

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X…

This survey synthesizes the principal descriptive set-theoretic perspectives on deterministic Cantor sets on the real line and charts directions for future study. After recounting their historical genesis and compiling an up-to-date…

Let C be a Cantor set. For a real number t let C+t be the translate of C by t, We say two real numbers s,t are equivalent if the intersection of C and C+s is a translate of the intersection of C and C+t. We consider a class of Cantor sets…

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…

Recently, considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the interior $\left(A+\Gamma\right)^{\circ}$, when $\Gamma$ is a piecewise $\mathcal{C}^2$ curve and $A\subset…

For each positive integer $m$, the $m$th order harmonic numbers are given by $$H_n^{(m)}=\sum_{0<k\le n}\frac1{k^m}\ \ (n=0,1,2,\ldots).$$ We discover exact values of some series involving harmonic numbers of order not exceeding four. For…

For each integer $x$, the $x$-th generalized pentagonal number is denoted by $P_5(x)=(3x^2-x)/2$. Given odd positive integers $a,b,c$ and non-negative integers $r,s$, we employ the theory of ternary quadratic forms to determine when the sum…

We give new arguments for sums and products of sufficient numbers of arbitrary central Cantor sets to produce large open intervals. We further discuss the same question for $C^1$ images of such central Cantor sets. This gives another…

For a natural number $m$, generalized $m$-gonal numbers are defined by the formula $p_m(x)=\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in \mathbb Z$. In this paper, we determine a criterion on $a,b,c,m$ for which the weighted ternary sum…

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 present a novel conjecture concerning the additive representation of natural numbers using prime powers. Based on extensive computational verification, we conjecture that every integer n > 23 can be expressed as a sum of at most five…

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…

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…

For integer $m, p,$ we study tangent power sum $\sum^m_{k=1}\tan^{2p}\frac{\pi k}{2m+1}.$ We prove that, for every $m, p,$ it is integer, and, for a fixed p, it is a polynomial in $m$ of degree $2p.$ We give recurrent, asymptotical and…

We show that given a positive integer $m$, a real number $p\in\left[ 2,\infty\right)$ and $1\leq s<p^{\ast}$ the set of non--multiple $\left( r;s\right)$--summing $m$--linear forms on $\ell_{p}\times\cdots\times \ell_{p}$ contains, except…