Bohr sets and multiplicative Diophantine approximation (Q1653120)

According to [\textit{P. Gallagher}, J. Lond. Math. Soc. 37, 387--390 (1962; Zbl 0124.02902)], for almost all pairs \((\alpha,\beta)\in{\mathbb{R}}\times{\mathbb{R}}\), the inequality \[ \liminf_{n\to\infty} n(\log n)^2\| n\alpha\| \cdot \| n\beta\| =0 \] is valid. The author considers inhomogeneous versions of this result. He proves that if \(\alpha\) and \(\gamma\) are two real numbers with \(\alpha\) irrational and not Liouville and \(\Psi:{\mathbb{N}}\rightarrow {\mathbb{R}}_{\geq 0}\) a decreasing function such that \(\sum_{n\geq 1} \Psi(n)\log n=\infty\), then for almost all \(\beta\in{\mathbb{R}}\) there exist infinitely many \(n\in{\mathbb{N}}\) such that \[ \| n\alpha-\gamma\| \cdot \| n\beta\| <\Psi(n), \] where \(\|\cdot\|\) denotes the distance to the nearest integer. As a consequence, for almost all \(\beta\in{\mathbb{R}}\), we have \[ \liminf_{n\to\infty} n(\log n)^2\| n\alpha-\gamma\| \cdot \| n\beta\| =0. \] This corollary was proved conditionally in [\textit{V. Beresnevich} et al., ``Sums of reciprocals of fractional parts and multiplicative Diophantine approximation'', Preprint, \url{arXiv:1511.06862}] assuming the Duffin-Schaeffer Conjecture [\textit{R. J. Duffin} and \textit{A. C. Schaeffer}, Duke Math. J. 8, 243--255 (1941; Zbl 0025.11002)] namely: let \(\Psi:{\mathbb{N}}\to {\mathbb{R}}_{\geq 0}\) satisfy \[ \sum_{n\geq 1} \frac{\varphi(n)}{n}\Phi(n)=\infty, \] where \(\varphi\) is Euler totient function. Then for almost all \(\beta\in{\mathbb{R}}\) the inequality \[ \| n\beta -r\| <\Phi(n) \] holds for infinitely many coprime pairs \((n,r)\in{\mathbb{N}}\times {\mathbb{Z}}\). Here the author uses the inhomogeneous Duffin-Schaeffer theorem, which states that under the same assumption on \(\Phi\), if, moreover, \[ \limsup_{N\to \infty} \left( \sum_{ 1\leq n\leq N} \frac{\varphi(n)}{n}\Phi(n)\right) \left( \sum_{ 1\leq n\leq N} \Phi(n)\right)^{-1}>0, \] then the conclusion of the Duffin-Schaeffer Conjecture holds. The idea of the proof is to find large generalized arithmetic progressions within inhomogeneous Bohr sets, extending a construction given by \textit{T.~Tao} [``Continued fractions, Bohr sets and the Littlewood conjecture'', Preprint].