Intersections of multiplicative translates of 3-adic Cantor sets

Motivated by a question of Erd\H{o}s, this paper considers questions concerning the discrete dynamical system on the 3-adic integers given by multiplication by 2. Let the 3-adic Cantor set consist of all 3-adic integers whose expansions use only the digits 0 and 1. The exception set is the set of 3-adic integers whose forward orbits under this action intersects the 3-adic Cantor set infinitely many times. It has been shown that this set has Hausdorff dimension 0. Approaches to upper bounds on the Hausdorff dimensions of these sets leads to study of intersections of multiplicative translates of Cantor sets by powers of 2. More generally, this paper studies the structure of finite intersections of general multiplicative translates of the 3-adic Cantor set by integers 1 < M_1 < M_2 < ...< M_n. These sets are describable as sets of 3-adic integers whose 3-adic expansions have one-sided symbolic dynamics given by a finite automaton. As a consequence, the Hausdorff dimension of such a set is always of the form log(\beta) for an algebraic integer \beta. This paper gives a method to determine the automaton for given data (M_1, ..., M_n). Experimental results indicate that the Hausdorff dimension of such sets depends in a very complicated way on the integers M_1,...,M_n.Comment: v1, 31 pages, 6 figure

Unlikely intersections in products of families of elliptic curves and the multiplicative group

Let $E_\lambda$ be the Legendre elliptic curve of equation $Y^2=X(X-1)(X-\lambda)$. We recently proved that, given $n$ linearly independent points $P_1(\lambda), \dots,P_n(\lambda)$ on $E_\lambda$ with coordinates in $\bar{\mathbb{Q}(\lambda)}$, there are at most finitely many complex numbers $\lambda_0$ such that the points $P_1(\lambda_0), \dots,P_n(\lambda_0)$ satisfy two independent relations on $E_{\lambda_0}$. In this article we continue our investigations on Unlikely Intersections in families of abelian varieties and consider the case of a curve in a product of two non-isogenous families of elliptic curves and in a family of split semi-abelian varieties.Comment: To appear in The Quarterly Journal of Mathematic