The Duffin-Schaeffer conjecture with a moving target
Abstract
We prove the inhomogeneous generalization of the Duffin-Schaeffer conjecture in dimension $m \geq 3$. That is, given $\mathbf{y}\in \mathbb{R}^m$ and $\psi:\mathbb{N}\to\mathbb{R}_{\geq 0}$ such that $\sum (\varphi(q)\psi(q)/q)^m = \infty$, we show that for almost every $\mathbf{x} \in\mathbb{R}^m$ there are infinitely many rational vectors $\mathbf{a}/q$ such that $\vert q\mathbf{x} - \mathbf{a} - \mathbf{y}\vert<\psi(q)$ and such that each component of $\mathbf{a}$ is coprime to $q$. This is an inhomogeneous extension of a homogeneous conjecture of Sprindžuk which was itself proved in 1990 by Pollington and Vaughan. In fact, our main result generalizes Pollington-Vaughan not only to the inhomogeneous case, but also to the setting of moving targets, where the inhomogeneous parameter $\mathbf{y}$ is free to vary with $q$. In contrast, we show by an explicit construction that the (1-dimensional) inhomogeneous Duffin-Schaeffer conjecture fails to hold with a moving target, implying that any successful attack on the one-dimensional problem must use the fact that the inhomogeneous parameter is constant. We also introduce new questions regarding moving targets.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2024
- DOI:
- 10.48550/arXiv.2407.05344
- arXiv:
- arXiv:2407.05344
- Bibcode:
- 2024arXiv240705344H
- Keywords:
-
- Mathematics - Number Theory;
- Mathematics - Dynamical Systems;
- 11K60 11J83 11J71 11J20 11K50
- E-Print:
- 28 pages, 2 tables