Intersections of multiplicative translates of $3$-adic Cantor sets II: two infinite families

William C. Abram,Artem Bolshakov,Jeffrey C. Lagarias
DOI: https://doi.org/10.1080/10586458.2016.1205532
2015-12-16
Abstract:This paper continues the study of the structure of finite intersections of general multiplicative translates $\mathcal{C}(M_1,\ldots,M_n)=\frac{1}{M_1}\Sigma_{3,\bar{2}}\cap\cdots\cap\frac{1}{M_n}\Sigma_{3,\bar{2}}$ for integers $1\leq M_1<\cdots<M_n$, where $\Sigma_{3,\bar{2}}$ denotes the $3$-adic Cantor set. This study was motivated by questions concerning the discrete dynamical system on the $3$-adic integers $\mathbb{Z}_3$ given by multiplication by $2$. The exceptional set $\mathcal{E}(\mathbb{Z}_3)$ is defined to be the set of all elements of $\mathbb{Z}_3$ whose forward orbits under this action intersect the $3$-adic Cantor set $\Sigma_{3,\bar{2}}$ infinitely many times. It is conjectured that it has Hausdorff dimension $0$. Part I showed that upper bounds on the Hausdorff dimension of the exceptional set can be extracted from knowing Hausdorff dimensions of sets of the kind above, in cases where all $M_i$ are powers of $2$. These intersection sets were shown to be fractals whose points have $3$-adic expansions describable by labeled paths in a finite automaton, whose Hausdorff dimension is exactly computable and is of the form $\log_3(\beta)$ where $\beta$ is a real algebraic integer. It gave algorithms for determination of the automaton, and computed examples showing that the dependence of the automaton and the value $\beta$ on the parameters $(M_1,\ldots,M_n)$ is complicated. The present paper studies two new infinite families of examples, illustrating interesting behavior of the automata and of the Hausdorff dimension of the associated fractals. One family has associated automata whose directed graph has a nested sequence of strongly connected components of arbitrarily large depth. The second family leads to an improved upper bound for the Hausdorff dimension of $\mathcal{E}(\mathbb{Z}_3)$ of $\log_3 \phi \approx 0.438018$, where $\phi$ denotes the Golden ratio.
Number Theory,Dynamical Systems,Metric Geometry
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the structure of the multiplicative translation intersection of the 3 - adic Cantor set and its Hausdorff dimension. Specifically, the researchers are concerned with the finite intersection \( C(M_1, M_2, \ldots, M_n)=\frac{1}{M_1}\Sigma_{3,\bar{2}}\cap\cdots\cap\frac{1}{M_n}\Sigma_{3,\bar{2}} \), where \( \Sigma_{3,\bar{2}} \) represents the Cantor set composed of 3 - adic integers, and these integers do not contain the digit 2 in their 3 - adic expansions. ### Research Background and Motivation The motivation for the research comes from problems regarding discrete dynamical systems, especially the dynamical system of multiplying by 2 on the 3 - adic integers \( \mathbb{Z}_3 \). The exceptional set \( E(\mathbb{Z}_3) \) is defined as the set consisting of all elements whose orbits intersect \( \Sigma_{3,\bar{2}} \) infinitely many times under this dynamical system. One conjecture is that the Hausdorff dimension of this exceptional set is 0. To verify this conjecture, it is necessary to calculate the Hausdorff dimension of the intersection sets under different parameters \( M_i \). ### Main Contributions of the Paper 1. **Two New Infinite Families**: The paper studies two new infinite families \( P_k=(20^{k - 1}1)_3 = 2\cdot3^k+1 \) and \( Q_k=(2^k0^{k - 1}1)_3=3^{2k}-3^k + 1 \), and analyzes their path set structures and Hausdorff dimensions. 2. **Upper and Lower Bounds of Hausdorff Dimension**: For the \( P_k \) family, the paper gives an asymptotic lower bound of the Hausdorff dimension and proves that for all \( k\geq1 \), \( \text{dim}_H(C(1, P_k))\geq\frac{1}{13}\log_32 \). For the \( Q_k \) family, it is proved that its Hausdorff dimension is constantly \( \log_3\phi\approx0.438018 \), where \( \phi = \frac{1+\sqrt{5}}{2} \) is the golden ratio. 3. **n - digit Hausdorff Dimension Constant**: The paper introduces the n - digit Hausdorff dimension constant \( \alpha_n \) and proves that \( \alpha_n=\log_3\phi \), thus improving the upper bound estimate of the Hausdorff dimension of the exceptional set \( E(\mathbb{Z}_3) \). ### Conclusion Through these studies, the paper not only provides an in - depth understanding of the intersection structure of the 3 - adic Cantor set but also provides new evidence for verifying the exceptional set conjecture. Although this conjecture has not been completely solved yet, these results significantly narrow the possible range of Hausdorff dimensions and lay the foundation for further research.