SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015

Similar documents
Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Mobius Functions, Legendre Symbols, and Discriminants

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

Math 104B: Number Theory II (Winter 2012)

Representing Integers as the Sum of Two Squares in the Ring Z n

arxiv: v1 [math.nt] 4 Nov 2015

The inverse Goldbach problem

MATH 361: NUMBER THEORY EIGHTH LECTURE

Algebraic number theory LTCC Solutions to Problem Sheet 2

MATH 3240Q Introduction to Number Theory Homework 7

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

DISCRIMINANTS IN TOWERS

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

The Euler Phi Function

RINGS OF INTEGERS WITHOUT A POWER BASIS

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

RECIPROCITY LAWS JEREMY BOOHER

6 Binary Quadratic forms

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

By Evan Chen OTIS, Internal Use

Practice Final Solutions

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Legendre polynomials and Jacobsthal sums

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

MATH 361: NUMBER THEORY ELEVENTH LECTURE

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

MAT 311 Solutions to Final Exam Practice

PRIME NUMBERS YANKI LEKILI

I(n) = ( ) f g(n) = d n

On the irreducibility of a polynomial associated with the Strong Factorial Conjecture

t s (p). An Introduction

Primes - Problem Sheet 5 - Solutions

MA3H1 TOPICS IN NUMBER THEORY PART III

Aliquot sums of Fibonacci numbers

MATH342 Practice Exam

Number Theory Naoki Sato

Diophantine Equations and Congruences

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN

Mersenne and Fermat Numbers

Elementary Analysis in Q p

HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH

Chapter 3. Number Theory. Part of G12ALN. Contents

arxiv:math/ v2 [math.nt] 21 Oct 2004

Jacobi symbols and application to primality

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

Eötvös Loránd University Faculty of Informatics. Distribution of additive arithmetical functions

THUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2. Contents. Introduction Study of an Elementary Proof

On the smallest point on a diagonal quartic threefold

Pythagorean triples and sums of squares

Some sophisticated congruences involving Fibonacci numbers

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.

University of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): 10.

π(x) π( x) = x<n x gcd(n,p)=1 The sum can be extended to all n x, except that now the number 1 is included in the sum, so π(x) π( x)+1 = n x

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

Introductory Number Theory

HENSEL S LEMMA KEITH CONRAD

Admissible primes and Euclidean quadratic fields

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,

DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

Characteristics of Fibonacci-type Sequences

Number Theory. Lectured by V. Neale Michaelmas Term 2011

PartII Number Theory

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

An Estimate For Heilbronn s Exponential Sum

On the Diophantine Equation x 2 = 4q n 4q m + 9

Distribution of Matrices with Restricted Entries over Finite Fields

YOUNESS LAMZOURI H 2. The purpose of this note is to improve the error term in this asymptotic formula. H 2 (log log H) 3 ζ(3) H2 + O

2 Asymptotic density and Dirichlet density

1 Integers and the Euclidean algorithm

SQUARES IN Z/NZ. q = ( 1) (p 1)(q 1)

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011

On a special case of the Diophantine equation ax 2 + bx + c = dy n

QUADRATIC RESIDUES AND DIFFERENCE SETS

The Arm Prime Factors Decomposition

Ernie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract

Chapter 2 Arithmetic Functions and Dirichlet Series.

arxiv: v4 [math.nt] 11 Oct 2017

ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES

MATH 361: NUMBER THEORY THIRD LECTURE

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

MAS 4203 Number Theory. M. Yotov

arxiv: v1 [math.nt] 11 Jun 2016

Almost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)

2 Asymptotic density and Dirichlet density

Infinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally

.4. Congruences. We say that a is congruent to b modulo N i.e. a b mod N i N divides a b or equivalently i a%n = b%n. So a is congruent modulo N to an

Frank Moore Algebra 901 Notes Professor: Tom Marley

192 VOLUME 55, NUMBER 5

arxiv: v2 [math.nt] 9 Oct 2018

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Multiplicative group law on the folium of Descartes

BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO

BRANDON HANSON, ROBERT C. VAUGHAN, AND RUIXIANG ZHANG

Transcription:

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials. It is conjectured that a searable olynomial (that is, without reeated roots) f Z[x] takes infinitely many square-free values, barring some simle excetional cases, in fact that the integers a for which f(a) is square-free have a ositive density. A clear necessary condition is that the sequence f(n) has no fixed square divisor; the conjecture is that this is the only obstruction: Conjecture 1. Let f(x) Z[x] be a searable olynomial (i.e. with no reeated roots) of ositive degree. Assume that gcd{f(n) : n Z} is squarefree 1. Then there are infinitely many square-free values taken by f(n), in fact that a ositive roortion of the values are square-free: with #{1 n X : f(n) is square-free } c f X, as X, (1.1) c f = where (1 ρ f ( 2 ) 2 ), (1.2) ρ f (D) = #{c mod D : f(c) = 0 mod D}. The roblem is most difficult when f is irreducible. Nagell ([6] 1922) showed the infinitude of squarefree values in the quadratic case. Estermann ([2] 1931) gave ositive density for the case f(x) = x 2 + k. The general quadratic case was solved by Ricci in 1933 [7]. For cubics, Erdös ([1], 1953) showed that there are infinitely many square-free values, and Hooley ([4], 1967) gave the result about ositive density. Beyond that nothing seems known unconditionally for irreducible f, for instance it is still not known that a 4 + 2 is infinitely often square-free. Date: March 29, 2015. 1 In fact one can even allow fixed, square divisors of f(n), rovided we divide them out in advance, by relacing f(n) by f(n)/b, where B is the smallest divisor of B := gcd{f(n) : n Z} so that B/B is square-free, and if we relace c f by (1 ω f () 2+q ), where for each rime, we denote by q the largest ower of dividing B, and by ω f () the number of a mod 2+q for which f(a)/b = 0 mod 2. 1

2 A roblem which has recently been solved is to ask how often an irreducible olynomial f Z[x] of degree d attains values which are free of (d 1)-th owers, either when evaluated at integers or at rimes, see [8]. 1.1. The ABC conjecture. Granville [3] showed that the ABC conjecture comletely solves the conjecture 1. The ABC conjecture states that for every ε > 0, there exist only finitely many triles (a, b, c) of ositive corime integers, with a + b = c, such that c > rad(abc) 1+ε. Here the radical of an integer is the roduct of all distinct rimes dividing it: rad(n) := N. Equivalently, for every ε > 0, there exists a constant K ε such that for all triles (a, b, c) of corime ositive integers, with a + b = c, we have c < K ε rad(abc) 1+ε. 2. The density c f We ause to analyze the conjectural density c f of squarefree values of f, given by (1.1). Exercise 1. Assume that f(n) admits no common square factor. Show that c f > 0, i.e. that ρ f ( 2 ) < 2 for all rimes. By the Chinese remainder theorem, D ρ f (D) is a multilicative function. 2.1. The slit quadratic case f(x) = x(x + 1). Lemma 2.1. Suose f(x) = x(x + 1). Then for all rime, and k 1, ρ( k ) = 2. Proof. We want to count solutions modulo k of c(c + 1) = 0 mod k. But since is rime, and c, c+1 have no common factors, this means that either c = 0 mod k or c + 1 = 0 mod k and each case has exactly one solution. Thus ρ f ( k ) = 2. 2.2. The irreducible quadratic case f(x) = x 2 + 1. Lemma 2.2. Suose f(x) = x 2 + 1. i) If 2 then ρ( k ) = ρ() for all k 1. iii) For 2, { 2, = 1 mod 4 ρ() = 0, = 3 mod 4 iii) ρ(4) = 0. Proof. Part (i) follows from Hensel s Lemma, and is valid for any olynomial f Z[x], for disc(f). Part (ii) is secific to f(x) = x 2 + 1 and is due to Fermat. Part (iii) is a direct comutation.

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS 3 Note: The above shows that for f(x) = x 2 + 1, our density c f is ( ) (2.1) c f = (1 ρ(2 ) 2 ) = 1 + 1 (1 2 ) = 0.894... 2 3. The quadratic case Our goal here is to treat the quadratic case, in fact below we will secialize to the simle cases of f(x) = x(x + 1) (the slit case) and f(x) = x 2 + 1 (the irreducible case). For X 1, we set and N(X) := #N (X). N (X) := {n X : f(n) squarefree} Theorem 3.1. Let f(x) = x(x + 1) or f(x) = x 2 + 1. Then N(X) = c f X + O(X 2/3 log X), as X with c f = C slit = (1 2 2 ) in the slit case f(x) = x(x + 1), and c f = 2 (1 1+( 1 ) 2 ) = 0.894... in the irreducible case f(x) = x 2 + 1. Note that in the slit case, since n(n + 1) is squarefree if and only if both n and n + 1 are squarefree (because n, n + 1 are corime), the result says that the robability that both n and n + 1 are squarefree is C slit = (1 2 2 ) = 0.322635..., which is smaller than 1/ζ(2) 2 = (1 2/2 + 1/ 4 ) = 0.369576..., which would be the case if these were indeendent events. 3.1. The strategy. We use the sieve of Eratosthenes and Legendre: Recall that the indicator function of the squarefrees is Hence N(X) = n X 1 SF (f(n)) = n X 1 SF (m) = d 2 m µ(d). d 2 f(n) µ(d) = µ(d)#{n X : d 2 f(n)} d X Note that we can constrain d X because d 2 divides the quadratic olynomial f(n), which is X 2 if n X. We ick a arameter Y (eventually taken to be Y = X 1/3 ) and decomose the sum into two arts, a sum N (X) over small divisors d < Y, and a sum N (X) over large divisors Y < d < X: N(X) = N (X) + N (X), N (X) = µ(d)#{n X : d 2 f(n)} and N (X) = µ(d)#{n X : d 2 f(n)} Y <d X

4 We will show that (3.1) N (X) = c f X + O( X Y log Y + Y log Y ) and (3.2) N (X) X2 Y 2 Taking Y = X 1/3 we obtain giving Theorem 3.1. N(X) = c f X + O(X 2/3 log X) 4. The main term: small divisors We will estimate N (X) (the main term) by using inclusion-exclusion. Recall N (X) = µ(d)#{n X : d 2 f(n)}. Lemma 4.1. Proof. We decomose Using we get #{n X : D f(n)} = Xρ(D) ( ) D + O ρ(d). #{n X : D f(n)} = C mod D f(c)=0 mod D #{n X : n = C mod D}. #{n X : n = C mod D} = X D + O(1) #{n X : D f(n)} = C mod D f(c)=0 mod D X D + O(1) = Xρ(D) D + ρ(d). (4.1) Hence we obtain N (X) = = X ( Xρ(d 2 ) ) µ(d) d 2 + O(ρ(d 2 )) µ(d)ρ(d 2 ) d 2 ( + O ) µ(d) ρ(d 2 ).

We have SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS 5 µ(d)ρ(d 2 ) d 2 = d=1 µ(d)ρ(d 2 ) d 2 ( + O Using multilicativity of ρ (and of µ) gives µ(d)ρ(d 2 ) d 2 = (1 ρ(2 ) 2 ) = c f. d=1 µ(d) ρ(d 2 ) ) d 2 By Lemmas 2.1 and 2.2, ρ( 2 ) 2 for rime, and thus for d squarefree ρ(d 2 ) = d ρ( 2 ) d 2 = τ(d) where τ is the divisor function. Hence the tail of the sum is bounded by µ(d) ρ(d 2 ) d 2 τ(d) d 2 log Y Y and the remainder in (4.1) is bounded by µ(d) ρ(d 2 ) τ(d) Y log Y. Therefore as claimed. N (X) = c f X + O( X Y log Y ) + O(Y log Y ) Exercise 2. Using n x τ(n) = x(log x + C) + O(x1/2 ), show that n>y τ(n) n 2 = log Y + C + 2 Y 1 + O( Y 3/2 ) 5. Bounding the contribution of large divisors We write the condition d 2 f(n) as f(n) = d 2 D for some integer D 1. Then N (X) = µ(d) #{n X : f(n) = d 2 D}. n X d 2 f(n) We now interchange the roles of d and D: If d > Y then D = f(n)/d 2 X 2 /Y 2. Hence ignoring the size and squarefreeness restriction on d, (5.1) N (X) #{u, v X : f(u) = v 2 D}. 1 D X 2 /Y 2 Now take f(x) = x 2 + 1. Then the equation f(u) = Dv 2 becomes which is a Pellian equation. u 2 Dv 2 = 1

6 The main new arithmetic ingredient we need now is a bound on the number of solutions of the Pellian equation x 2 Dy 2 = 1 lying in a box of side X: Let (5.2) S D (X) := #{(x, y) [1, X] 2 : x 2 Dy 2 = 1} Proosition 5.1. Suose 1 < D < X is not a erfect square. Then S D (X) log X log D. If D = is a erfect square, then there are are no solutions of x 2 Dy 2 = 1 if D > 1, while for D = 1 there are 2 solutions. Proof. Suose D > 1 is not a erfect square. By the theory of Pell s equation, if the equation x 2 Dy 2 = 1 is solvable in integers, then all integer solutions (x, y) are of the form x + Dy = ±ɛ 2n+1 D, n Z, where ɛ D = x 1 + y 1 D is the fundamental solution, with x1, y 1 1. Hence if 1 x, y X then x + y D = ɛ 2n+1 D for some n 0 and then 0 n log(x + Dy) = log(x + x 2 + 1) log X. 2 log ɛ D 2 log ɛ D log ɛ D Since ɛ D = x 1 + y 1 D > D, we obtain S D (X) log X log D. For D = C 2 a erfect square, the equation x 2 Cy 2 = 1 becomes x 2 (Cy) 2 = 1 or (Cy x)(cy+x) = 1, which forces Cy x = Cy+x = ±1, so that x = 0, and then C 2 y 2 = 1 is solvable only for C = 1 in which case there are two solutions. Inserting Proosition 5.1 into the bound (5.1) for N 2 gives N 2 log X S D (X) 1 + log D X2 Y 2 1 D<X 2 /Y 2 1<D<X 2 /Y 2 as claimed, on using 1<D<Z 1 Z log D 2 1 log t dt Z log Z. 5.1. Other quadratic olynomials. The considerations above extend to the case when f(x) = Ax 2 +Bx+C Z[x] is any quadratic olynomial, say f(x) = x(x + 1) (the slit case). All we have to do is rewrite the equation f(u) = Dv 2 : Multilying by 4A and comleting the square gives 4ADv 2 = (2Au + B) 2 f where f = B 2 4AC is the discriminant of f, which is nonzero if and only if f has no reeated roots. Thus the equation f(u) = Dv 2 becomes (2Au + B) 2 AD(2v) 2 = f

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS 7 and we need to bound the number of solutions of U 2 (AD)V 2 = f with U, V X. For instance, in the slit case f(x) = x 2 +x we get = +1 and the equation becomes U 2 DV 2 = 1, to which we aly a version of Proosition 5.1. Remark. When > 1 there may be more than one orbit of the unit grou {±ɛ n D } and one has to account for that. References [1] P. Erdös. Arithmetical roerties of olynomials. J. London Math. Soc. 28, (1953). 416 425. [2] T. Estermann, Einige Sätze über quadratfreie Zahlen. Math. Ann. 105 (1931), 653 662. [3] A. Granville, ABC allows us to count square-frees. Internat. Math. Res. Notices 1998, no. 19, 991 1009. [4] C. Hooley, On the ower free values of olynomials. Mathematika 14 1967 21 26. [5] C. Hooley, On the square-free values of cubic olynomials. Journal für die reine und angewandte Mathematik (Crelles Journal). (1968), 229, 147 154. [6] T. Nagell, Zur Arithmetik der Polynome, Abhandl. Math. Sem. Hamburg 1 (1922), 179 194. [7] G. Ricci, Ricerche aritmetiche sui olinomi. Rend. Circ. Mat. Palermo 57 (1933), 433 475. [8] T. Reuss, Power-Free Values of Polynomials, Bull. London Math. Soc. (2015) doi: 10.1112/blms/bdu116. arxiv:1307.2802 [math.nt]