Modular hyperbolas and Beatty sequences (Q2009154)

Given a prime \(p\) and an integer \(z\) with \(p\mid z\), we consider the \textit{modular hyperbola} \[\mathcal{H}_{z\pmod{p}}=\{(m,\bar{m})\in\mathbb{Z}^2\cap[1,p)^2:m\bar{m}\equiv z\pmod{p}\}.\] The starting point of the paper is a Theorem from [\textit{D. R. Heath-Brown}, Nieuw Arch. Wiskd. (5) 1, No. 4, 380--384 (2000; Zbl 1173.11339)] showing that every modular hyperbola \(\mathcal{H}_{z\pmod{p}}\) contains a point \((m,\bar{m})\) with \(\max\{m,\bar{m}\}\leq 2(\log p)p^{3/4}\). Then, the authors proceed to prove an analogue to the previous result but with the additional restriction \[m\in\mathcal{B}(\alpha,\beta)=\{\lfloor n\alpha+\beta\rfloor:n\in\mathbb{N}\}.\] In other words, the authors seek to bound \[F_{\alpha,\beta}=\min \{\max\{m,\bar{m}\}: (m,\bar{m})\in\mathcal{H}_{z\pmod{p}},m\in\mathcal{B}(\alpha,\beta), 1\leq m,\bar{m}\leq p \}\] showing that, for sufficiently large \(p\) and arbitrary \(z\) coprime to \(p\), it holds that \[F_{\alpha,\beta}\leq \alpha p^{684/727}\log p + \beta.\]