Arxiv:1902.06047V2 [Math.NT] 6 Jan 2020 Onsna H Parabola

Home , Gauss circle problem

arXiv:1902.06047v2 [math.NT] 6 Jan 2020 onsna h parabola. the near points 2479. hc,atrnraiain seuvln oteDrcltdvsrprob- divisor Dirichlet the to equivalent lem is normalization, after which, h rgnwt t ra oepeiey ti ojcue htfor that conjectured is at it centered precisely, circle More app dilating area. when a its term inside with error points origin lattice possible the of best number the the for mating asks It theory. number h ubro atc onsi h rtqarn htaeudrth under are that quadrant repre (2) first and the (1) in of points sides lattice left of the number on expressions the the that note We NTOLTIEPIT RBESAOTTHE ABOUT PROBLEMS POINTS LATTICE TWO ON ocmtn ojcuefrtehproasae that states hyperbola the for conjecture concomitant A e od n phrases. and words Key 2010 h rtnmdato sspotdb h N PIsatpgran startup VPRI UNR the by supported is author named first The h as icepolmi n fteclbae pnqetosin questions open celebrated the of one is problem circle Gauss The ahmtc ujc Classification. Subject Mathematics ehiusi ore nlss udai as usadcharac- utilize and proofs sums lattice Gauss Our sums. quadratic latter ter We analysis, parabola. the Fourier the for hyperbola. in with techniques bounds the associated and upper problem circle sharp points the essentially analogues for obtain its conjectures whereas also parabola, open roo the wide square of the are context achieving as the of regarded in result be old of cancellation can an dilation results upon a These improving near former and Popov. the under parabola, points standard lattice the of number the for terms Abstract. x X ≤ a X n 2 ≤ 0 a ≤ X a x d eoti smttcfrua ihotmlerror optimal with formulae asymptotic obtain We x 2 IGJN UN N UX LI HUIXI AND HUANG JING-JING ( ≤ n a = ) 2 = j √ atc ons hrce us as us rational sums, Gauss sums, character points, lattice a a a 1. 2 2 log − log PARABOLA Introduction x a a 2 (2 + k (2 + = 1 γ π 4 γ rmr 12,Scnay11P21. Secondary 11J25, Primary − a − 2 1) + 1) a a O + 2 ε + O a O ε 1 2 ( ε + a ε 4 1 + a ε . 1 2 ) + . ε , 1201-121- t t a roxi- sent ≥ (1) (2) 1 e 2 JING-JINGHUANGANDHUIXILI dilation of the circle x2 + y2 = 1 and the hyperbola xy = 1 via the x y 2 2 2 2 transformation (x, y) a , a , which are x + y = a and xy = a , respectively. → In spite of the very rich literature on the above problems, the conjectures remain well out of reach with the current technology. We only mention that recently Bourgain and Watt [4] have obtained the best 517 known error O(a 824 ) for both the conjectures (1) and (2), improving 131 on earlier bound O(a 208 ) due to Huxley [12, 13]. As there are only three types of conics, the ellipse, parabola and hyperbola, one can just as easily consider the analogous problem for the parabola. Indeed, Popov [18] obtained in 1975 the first result in this regard. Note that the dilation of the standard parabola y = x2 x y x2 under the transformation (x, y) a , a is y = a . Popov’s result states that for a large real number→a and a positive integer b a, ≪

2 2 c x x 1 1 + = + O a 2 log log a , (3) a a − 2 x b x b X≤ X≤ where c is a positive constant independent of a. Clearly the number of 2 lattice points (x, y) Z2 in the region 0 < x b, 0 < y x is equal ∈ ≤ ≤ a x2 to . a x b AsX≤ Popov points out, the exponent 1/2 in the error term of (3) is best possible in general. Nevertheless, our Theorem 1 shows that (3) is subject to further improvement when b a and a is an integer. ≪ Theorem 1. For any positive integers a, b with a 3, we have ≥

2 2 o x x 1 1 + 2+ (1) = + O √a log a + ba− 2 √log a log log a . a a − 2 x b x b X≤ X≤ Interestingly, when a = b the minimum order of the error is studied by Chamizo and Paster. They prove in [6, Proposition 5.2] that

2 2 1 x x 1 1 (√2 ε)(log a) 2 = Ω a 2 exp − . a − a − 2 log log a x a x a !! X≤ X≤ This shows that Theorem 1 is surprisingly close to the true order of the error term. ON TWO LATTICE POINTS PROBLEMS ABOUT THE PARABOLA 3

A problem of similar ﬂavor is to estimate the number of lattice points close to the parabola. Let A(a, b, δ)= 1. x b xX2≤ δ a ≤ The function A(a, b, δ) naturally counts the number of rational points ( x , y ) with x b that lie close to : y = x2, x (0, 1], or equivalently a a ≤ P ∈ the number of lattice points (x, y) Z2 with x b close to a : y = x2 ∈ ≤ P a , x [1, a]. Furthermore, if δ < 1/a, then all such points counted by A(∈a, b, δ) must be forced to lie on the curve, namely A(a, b, δ) = A(a, b, 0) for δ (0, 1/a). We obtain the following essentially optimal estimate of A(a,∈ b, δ). Theorem 2. 1 For any positive integers a, b with a 3 and δ (0, 2 ), we have ≥ ∈ o 1 + 2+ (1) A(a, b, δ)=2δb + O √a log a + ba− 2 √log a log log a .

When b a, Theorem 1 and Theorem 2 can be regarded as achieving the square≍ root cancellation for the two lattice points problems on the parabola, which are best possible in general. Nonetheless, if we are only concerned with upper bounds, better results are available, which, in some cases, can even beat the square root cancellation. Denote A(a, δ)= A(a, a, δ)= 1. x a x2≤ X δ a ≤ The ﬁrst author recently proved the following result1. Theorem 3 ([9, Theorem 4]). Let a be a positive integer, r be the 2 1 largest integer such that r a and δ (0, 2 ). Then for any ǫ > 0, we have | ∈ 1 11 +ǫ A(a, δ) δa + σ(r)+ δ 2 a 16 , ≪ where the implied constant only depends on ǫ.

Here σ(r)= d r d. It is well known that σ(r) r log log 3r, see [19, | ≪ I.5.5 Theorem 5]. Theorem 3 has been used to solve some questions P regarding§ metric Diophantine approximation on the parabola [9]. Assuming lattice points are randomly distributed in the δ neighbor- hood of the dilation a , we expect roughly 2δa such points. Also, let P 1The result there has r1+ε instead of σ(r) as quoted here. But it is straightfor- ward to deduce the latter from the proof of [9]. 4 JING-JINGHUANGANDHUIXILI a = r2s with s squarefree, then we observe that there are exactly r lattice points lying on a , namely (rsl,sl2), l = 1, 2,...,r. So even with δ 0, the upper boundP in Theorem 3 cannot be less than r since those r→lattice points on a are always counted by A(a, δ) for any δ > 0. Naturally, the secondP term σ(r) accounts for this phenomenon, and indeed it is not very far from r as noted above. Therefore neither of these two terms can be dispensable, nor can they be improved much. However, the third term is most likely not optimal and should be sus- ceptible to further improvement. In fact, assuming the Generalized Lindelöf Hypothesis [14, 12.4], Theorem 3 can be improved to § 1 1 +ǫ A(a, δ) δa + σ(r)+ δ 2 a 2 . ≪ 1 11 +ǫ It is easily seen that the term δ 2 a 16 is less than the heuristic main 5 +ε term δa only when δ a− 8 , for some ε> 0. We are able to improve ≥ 5 the bound in Theorem 3 when δ a− 8 . In fact, our Theorem 4 below is sharp up to an aε loss in the main≪ term. Theorem 4. Let a be a positive integer, r be the largest integer such that r2 a and δ (0, 1 ). Then | ∈ 2 A(a, δ) δa(log a)d(a)+ σ(r). ≪ Here d(a) = d a 1 is the divisor function. It is well known that log 2 | (1+o(1)) a ε d(a) a logP log ε a , see [19, I.5.2 Theorem 2]. It≤ is worth noting≪ that the core§ of the proofs of Theorem 3 and Theorem 4 utilize estimates of character sums, after applying some elementary Fourier analysis and classical results about Gauss sums. The difference is that Burgess’s bound [5] is used for Theorem 3 while the Pólya-Vinogradov inequality (Lemma 3) is used for Theorem 4, when estimating such character sums. Since the latter can be improved under the Generalized Riemann Hypothesis, we also have the following theorem. Theorem 5. Under the assumption of the Generalized Riemann Hy- pothesis and the same conditions of Theorem 4, we have A(a, δ) δa(log log 3a)d(a)+ σ(r). ≪ We only remark in passing that the problem of obtaining upper and lower bounds for the number of lattice/rational points near a manifold has become a very active area of research, see [1, 2, 3, 7, 8, 10, 11, 20] and the references therein for the background and recent progress. Throughout the paper, we will use the notation e(x)= e2πix, x = k k minn Z x n , x = x x and Vinogradov’s symbol f(x) g(x) ∈ | − | { } − ⌊ ⌋ ≪ ON TWO LATTICE POINTS PROBLEMS ABOUT THE PARABOLA 5 and Landau’s symbol f(x) = O(g(x)) to mean there exists a constant C such that f(x) Cg(x). The symbol f(x) = o(g(x)) means f(x) | | ≤ limx = 0, and f(x) = Ω(g(x)) means the negation of f(x) = →∞ g(x) o(g(x)).

2. The proof of Theorem 1 We start by observing that, in view of the orthogonality of additive characters 1 hd 1, if a d, e = | a a (0, otherwise, h Xmod a we have x2 j = a a x b x b 0 j a 1 X≤ X≤ x2≤Xj≤mod− a ≡ 1 x2 j j = e h − a a a 0 j a 1 x b h mod a ≤X≤ − X≤ X 1 hj x2 = je e h . a2 − a a h mod a 0 j a 1 x b X ≤X≤ − X≤ It follows by an elementary calculation that

a − h , h =0, hj 1 e je = − (− a ) 6 (a 1)a − a − 0 j a 1 ( 2 , h =0. ≤X≤ − Therefore, we have x2 1 (a 1)a 1 1 = − b + − S(h, a, b), (4) a a2 2 a 1 e h x b 1 h a 1 a X≤ ≤X≤ − − − hx2 where S(h, a, b)= e is an incomplete Gauss sum. a x b Note that X≤ 1 1 1 h = h h . 1 e 2 sin π ≤ 4 − − a a k a k

Now we are poised to estimate the Gauss sum S(h, a, b). To that end, we quote the following result of Korolev. 6 JING-JINGHUANGANDHUIXILI

Lemma 1 ([15, Corollary, Page 53]). Let a, b and h be integers such that 1 b a and (a, h)=1. Then ≤ ≤ b hx2 e < 3.9071√a. a x=1 X It then follows immediately, by dissecting the range [1, b] into blocks of length a/(a, h) if necessary, that hx2/(a, h) S(h, a, b)= e a/(a, h) x b X≤ b a +1 ≪ a/(a, h) (a, h) r b a (a, h)+ . ≪√a (a, h) r Hitherto it remains to estimate thep sum 1 1 b a − S(h, a, b) (a, h)+ . 1 e h ≪ h √a (a, h) 1 h a 1 a 1 h a 1 a ≤X≤ − − − ≤X≤ − k k p r We may split the latter sum into two sums and , and will 1 h

b 1 a log a + √a ≪ √a √  d a d X| o  1 + 2+ (1) a √a log a + ba− 2 √log a log log a , (5) ≪ where in the last line the following bounds 1 (2 + o(1))√log a σ 1 (a)= exp − 2 √d ≤ log log a d a X| and √log a log a = exp(log log a) exp o ≪ log log a ON TWO LATTICE POINTS PROBLEMS ABOUT THE PARABOLA 7 are used. For the former bound, see [19, I.5.5 Theorem 5]. Therefore, we obtain from (4) that §

2 o 1 x 1 + 2+ (1) = O √a log a + ba− 2 √log a log log a , 2 − a x b X≤ and Theorem 1 follows immediately on noting that x2 x2 1 1 x2 = + . a a − 2 2 − a x b x b x b X≤ X≤ X≤ 3. The proof of Theorem 2 Let J = δa . Our goal is to count the number of integers x b ⌊ ⌋ ≤ such that x2 δ. Note that x2 δ if and only if there exists an a ≤ a ≤ integer k, such that 2 x k δ k + δ, − ≤ a ≤ i.e. ka δa x2 ka + δa, − ≤ ≤ which happens if and only if x2 j (mod a) for some j J. There- fore, by the orthogonality of additive≡ characters, we have| | ≤ A(a, b, δ)= 1 x b xX2≤ δ a ≤ = 1 j J x b |X|≤ x2 Xj≤mod a ≡ 1 x2 j = e h − a a j J x b h mod a |X|≤ X≤ X 1 hj hx2 = e e . a − a a h mod a j J x b X |X|≤ X≤ The term h = 0 contributes (2J + 1) b in the sum. When h = 0, since a 6 1 hj h − e − a ≪ a j J |X|≤ and hx2 b a e (a, h)+ , a ≪ √a (a, h) x b X≤ p r 8 JING-JINGHUANGANDHUIXILI we have by (5) b 1 b a A(a, b, δ) =(2J + 1) + (a, h)+ a a h √a (a, h) 1 h a 1 a ≤ ≤ − k k r X op 1 + 2+ (1) =2δb + O √a log a + ba− 2 √log a log log a . This completes the proof of Theorem 2.

4. The proofs of Theorem 4 and Theorem 5 To prove Theorem 4, we start by showing that A(a, δ) δa(log a)d(a)+ σ(r), ≪ where r is the largest integer such that r2 a. 1 | Let H = 2δ . Recall that the Fejér kernel, defined as H H h (t) := −| |e(ht), FH H2 h= H X− satisfies (t) 4 when t δ and (t) 0 for all t. Noting that FH ≥ π2 k k ≤ FH ≥ x2 A(a, δ)= 1= 1 , [0,δ] a x a x a 2≤ ≤ xX X a δ ≤ where 1[0,δ] is the indicator function on [0, δ], we have x2 A(a, δ) . ≪ FH a x a X≤ x2 Therefore, we only need to estimate the sum . FH a x a First we single out the term with h = 0 andX≤ obtain x2 δa + E(a), FH a ≪ x a X≤ where H H h a hx2 E(a) − e . ≪ H2 a x=1 Xh=1 X We denote the following complete Gauss sums by a hx2 S(h, a) := e . a x=1 X ON TWO LATTICE POINTS PROBLEMS ABOUT THE PARABOLA 9

Then we have H H h h a E(a) − (h, a)S , ≪ H2 (h, a) (h, a) Xh=1 H h h a d − S , ≪ H2 d d d a h H X| (h,aX≤)=d H h d a d − 1 S h , . ≪ H2 1 d d a h1 H/d | ≤ X (h1,a/dX)=1

For a ﬁxed d a, let a1 = a/d. To apply partial summation to the inner sum in the last| line, we focus on the partial sum

S(N)= S(h1, a1).

h1 N ≤ (h1X,a1)=1 Compared to the incomplete Gauss sums S(h, a, b) considered in 2, the complete Gauss sums S(h, a) are very well understood. Actually,§ we know their exact values. Lemma 2 ([14, 3.5]). Suppose (h, a)=1. Then § 0, when a 2 (mod4), h ≡ S(h, a)= εa a √a, when a is odd,  1 a (1 + i)ε− √a, when h is odd and 4 a,  h h | where  1, when m 1 (mod4), ε = m i, when m ≡ 3 (mod4), ≡ and ∗ is the Jacobi symbol. ∗ a Note that a∗ is a Dirichlet character modulo a and is a Dirichlet ∗ character of conductor a′ 4a. In order to achieve the| desired bound, we need to exploit the cancellation arising from the character sum over h. To that end, we apply the P´olya-Vinogradov inequality. Lemma 3 ([17, Theorem 9.18]). Let χ be an non-principal Dirichlet character modulo a. We have

χ(n) √a log a. ≤ M

Lemma 4. We have

N√a1, if a1 is a square, S(N)= S(h1, a1) ≪ a1 log a1, otherwise. h1 N ≤ (h1X,a1)=1

Proof. If a1 is a square, then by Lemma 2, we have

S(N) √a = N√a . ≪ 1 1 h1 N X≤

Next we treat the case when a1 is not a square. It is readily veriﬁed that

1 1 i 1+ i ε− = − χ (m)+ χ (m), m 2 0 2 1 where χ0 is the principal character modulo 4, and χ1 is the quadratic character modulo 4, i.e.

0, if 2 n, | χ (n)= 1, if n 1 (mod4), 1  ≡  1, if n 3 (mod4). − ≡   a1 a1 If a is odd, let χ = ∗ ; if a is even, let χ = χ or χ = χ . 1 a1 1 0 1 Note that in any case, χ is always a non-principal character∗ of modulus∗ at most 4a1. Therefore, we may apply the P´olya-Vinogradov inequality (Lemma 3) to the character sum χ(h ) after another application h1 N 1 of Lemma 2, and obtain ≤ P S(N) a log a . ≪ 1 1

By Lemma 4 and partial summation, we obtain

√a1 H h1d , if a is a square, − S(h , a ) d 1 H2 1 1 ≪ a1 log a1 , otherwise. h1 H/d H ≤ (h1X,a1)=1 ON TWO LATTICE POINTS PROBLEMS ABOUT THE PARABOLA 11

Therefore, recalling that r is the largest integer such that r2 a and 1 | H = 2δ , we have

√a1 a1 log a1 E(a) d + d ≪ d H d a d a |a |a a1=X= a1=X= d d 6 a √a + log a ≪ 1 H a1 a a1 a | | aX1= aX1= 6 σ(r)+ δa(log a)d(a). ≪ This completes the proof of Theorem 4. Theorem 5 follows on us- ing the same argument as that used to prove Theorem 4. The only diﬀerence is that we use the following statement in place of Lemma 3. Lemma 5 ([16, Theorem 2]). Let χ be an non-principal Dirichlet character modulo a. Suppose that the Generalized Riemann Hypothesis holds true, then

χ(n) √a log log 3a. ≤ M

References [1] Victor Beresnevich. Rational points near manifolds and metric Diophantine approximation. Ann. of Math. (2), 175(1):187–235, 2012. [2] Victor Beresnevich, Detta Dickinson, and Sanju Velani. Diophantine approximation on planar curves and the distribution of rational points. Ann. of Math. (2), 166(2):367–426, 2007. [3] Victor Beresnevich, Felipe Ram´ırez, and Sanju Velani. Metric Diophantine approximation: aspects of recent work. In Dynamics and analytic number theory, volume 437 of London Math. Soc. Lecture Note Ser., pages 1–95. Cambridge Univ. Press, Cambridge, 2016. [4] Jean Bourgain and Nigel Watt. Mean square of zeta function, circle problem and divisor problem revisited. arXiv e-prints, page arXiv:1709.04340, Sep 2017. [5] D. A. Burgess. On character sums and L-series. II. Proc. London Math. Soc. (3), 13:524–536, 1963. [6] Fernando Chamizo and Carlos Pastor. Lattice points in elliptic paraboloids. Publ. Mat., 63(1):343–360, 2019. [7] Jing-Jing Huang. Rational points near planar curves and Diophantine approximation. Adv. Math., 274:490–515, 2015. [8] Jing-Jing Huang. The density of rational points near hypersurfaces. arXiv e- prints, arXiv:1711.01390, November 2017. 12 JING-JINGHUANGANDHUIXILI

[9] Jing-Jing Huang. Diophantine approximation on the parabola with non- monotonic approximation functions. Math. Proc. Cambridge Philos. Soc., in press. arXiv:1802.00525, February 2018. [10] Jing-Jing Huang. Integral points close to a space curve. Math. Ann., 374(3- 4):1987–2003, 2019. [11] Jing-Jing Huang and Jason J. Liu. Simultaneous approximation on affine sub- spaces. Int. Math. Res. Not. IMRN, in press. arXiv:1811.06531, November 2018. [12] M. N. Huxley. Integer points, exponential sums and the Riemann zeta function. In Number theory for the millennium, II (Urbana, IL, 2000), pages 275–290. A K Peters, Natick, MA, 2002. [13] M. N. Huxley. Exponential sums and lattice points. III. Proc. London Math. Soc. (3), 87(3):591–609, 2003. [14] Henryk Iwaniec and Emmanuel Kowalski. Analytic number theory, volume 53 of American Mathematical Society Colloquium Publications. American Math- ematical Society, Providence, RI, 2004. [15] M. A. Korolev. On incomplete Gaussian sums. Proc. Steklov Inst. Math., 290(1):52–62, 2015. [16] H. L. Montgomery and R. C. Vaughan. Exponential sums with multiplicative coefficients. Invent. Math., 43(1):69–82, 1977. [17] Hugh L. Montgomery and Robert C. Vaughan. Multiplicative number theory. I. Classical theory, volume 97 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2007. [18] V. N. Popov. The number of lattice points under a parabola. Mat. Zametki, 18(5):699–704, 1975. [19] Gérald Tenenbaum. Introduction to analytic and probabilistic number theory, volume 163 of Graduate Studies in Mathematics. American Mathematical So- ciety, Providence, RI, third edition, 2015. [20] R. C. Vaughan and S. Velani. Diophantine approximation on planar curves: the convergence theory. Invent. Math., 166(1):103–124, 2006.

JJH: Department of Mathematics and Statistics, University of Nevada, Reno, 1664 N. Virginia St., Reno, NV 89557 E-mail address: [email protected] HL: Department of Mathematics and Statistics, University of Nevada, Reno, 1664 N. Virginia St., Reno, NV 89557 E-mail address: [email protected]