Distribution of integers with digit restrictions via Markov chains
Vicente Saavedra-Araya
TL;DR
This work studies how digit-restricted and multiplicatively invariant sets of integers distribute across residue classes, introducing a Fourier-free Markov-chain approach in base $g$. The authors derive a main theorem giving a necessary and sufficient gcd condition for joint uniformity of missing-digits sets in residue classes, and extend the method to the broader class of multiplicatively invariant sets represented by subshifts, via the Fischer cover and follower sets. They also establish results on transversality with arithmetic progressions, showing a clean dichotomy (0 or full dimension) for transitive sofic and, more generally, entropy-minimal subshifts, while presenting counterexamples outside this regime. The framework unifies several classical results (EMS, Gelfond, GMR) under a Markov-chain perspective and yields both qualitative and quantitative convergence statements, including rates in many cases. Overall, the paper provides a versatile, Fourier-free method to analyze uniform distribution questions for fractal-like integer sets and connects these distributional properties to topological entropy and subshift structure.
Abstract
In this paper, we introduce a new technique to study the distribution in residue classes of sets of integers with digit and sum-of-digits restrictions. From our main theorem, we derive a necessary and sufficient condition for integers with missing digits to be uniformly distributed in arithmetic progressions, extending previous results going back to the work of Erdős, Mauduit and Sárközy. Our approach utilizes Markov chains and does not rely on Fourier analysis as many results of this nature do. Our results apply more generally to the class of multiplicatively invariant sets of integers. This class, defined by Glasscock, Moreira and Richter using symbolic dynamics, is an integer analogue to fractal sets and includes all missing digits sets. We address uniform distribution in this setting, partially answering an open question posed by the same authors.
