Gaussian rational numbers in Cantor sets in the complex plane

Abstract

Given ${\hat{I}}^2\in \mathbb{Z}[i]$ with $|{\hat{I}}^2|>1$ and a finite set $D\subset \mathbb{Q}(i)$, let \[K_{β, D}=\left\{\sum_{j=1}^{\infty}\frac{d_j}{β^j}: d_j\in D, \forall j\geq 1\right\}.\] Let $\mathcal{S}$ be a finite set of non-associate prime elements in $\mathbb{Z}[i]$ not dividing ${\hat{I}}^2$. We prove that if the Hausdorff dimension of $K_{{\hat{I}}^2,D}$ is less than $1$, then there are only finitely many Gaussian rational numbers in $K_{{\hat{I}}^2,D}$ whose denominators have all their prime factors in $\mathcal{S}$.

21 pages