Modular hyperbolas and Beatty sequences

. The proof uses a method due to Banks and Shparlinski. As an intermediate step, bounds for the discrete periodic autocorrelation of the finite sequence

0,, o p e r a t o r n a m e e_{p} (y o v e r l i n e 1), o p e r a t o r n a m e e_{p} (y o v e r l i n e 2), l d o t s, o p e r a t o r n a m e e_{p} (y (o v e r l i n e p - 1))

on average are obtained, where

o p e r a t o r n a m e e_{p} (t) = e x p (2 p i i t / p)

and

. The latter is accomplished by adapting a method due to Kloosterman.

Review text

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.\]

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Modular hyperbolas and Beatty sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2009154)