Multiplicative zero-one laws and metric number theory (Q2845643)

The authors study multiplicative analogues of the celebrated Duffin--Schaeffer conjecture [\textit{R. J. Duffin} and \textit{A. C. Schaeffer}, Duke Math. J. 8, 243--255 (1941; Zbl 0025.11002)] in metric diophantine approximation. To be precise, for a function \(\psi: {\mathbb N} \rightarrow [0,1/2)\), they study the set \({\mathcal S}^\times_n (\psi)\) consisting of the points \((x_1, \dots, x_n) \in [0,1]^n\) for which the inequality NEWLINE\[NEWLINE \prod_{i=1}^n \| q x_i \| < \psi(q) NEWLINE\]NEWLINE has infinitely many solutions \(q \in {\mathbb N}\), where \(\| \cdot \|\) denotes the distance to the nearest integer. Additionally, they study the set \({\mathcal D}^\times_n (\psi)\), in which the \(\| qx_i \|\) is replaced with the distance to the nearest integer co-prime to \(q\).NEWLINENEWLINEIt is shown that in both cases, the sets satisfy a zero-one law, i.e. the Lebesgue measure of either set must be equal to zero or one. Additionally, a criterion under which the measure must be equal to one is derived in the spirit of the Duffin--Schaeffer theorem [\textit{loc. cit.}]. The conditions are fairly technical, and the authors state conjectures giving a simpler necessary and sufficient conditions for the measure to be equal to one. Finally, the second main result is applied to obtain a metrical result related to the \(p\)-adic Littlewood conjecture. At the heart of the proofs is a `cross-fibering technique', allowing one to reverse the implications in Fubini's theorem.