arxiv: v1 [math.nt] 11 Jun 2016

Transcription

1 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS P-H KAO arxiv:003505v [mathnt Jun 20 Abstract We imrove Irving s method of the double-sieve [8 by using the DHR sieve By extending the uer and lower bound sieve functions into their resective non-elementary ranges, we are able to make imrovements on the revious records on the number of rime factors of irreducible olynomials at rime arguments In articular, we rove that irreducible quadratics over Z satisfying necessary local conditions are P 4 infinitely often Introduction V Bouniakowsky conjectured [ that under suitable hyotheses, any irreducible olynomial f Z[x is rime for infinitely many integral arguments n The conjecture is beyond the reach of current technology Sieve methods, however, can rovide aroximations to show that such an fn is infinitely often a P r -number, that is, Ωfn r for infinitely many n One can similarly consider bounds on the number of rime factors of f, where is a rime The first result in this direction was due to R J Miech [9, who used Brun s sieve and Renyi s equidistribution theorem which was a recursor of the Bombieri Vinogradov theorem to show that under the hyotheses of the Bouniakowsky conjecture, and if k is the degree of f, then f is infinitely often a P ck for some fixed constant c H-E Richert [0 later reduced ck to 2k + The main ingredients of Richert s roof consist of a weighted Selberg s sieve and the Bombieri Vinogradov theorem The weights in Richert s roof were restricted to the rimes < x /2 In his much celebrated aer [2, Chen showed that f is infinitely often a P 2 -number for k Excet for Chen s achievement, the subject remained dormant for nearly fifty years until the imrovements made by A J Irving [8 Irving s innovation was to observe that one could incororate weights with rimes > x /2 by alying a two-dimensional sieve to the sequence {nfn} By aealing to the one-and two-dimensional beta sieves [5, Theorem 3, he was able to show that f is infinitely often a P r0 k, where r 0 k is given by the table below k r 0 k For large k, he showed that r 0 k k + c 0 log k + O, with c As one of the concluding remarks in [8, Irving suggested the ossibility of imrovements by alying the Diamond Halberstam Richert sieve in lace of the the beta sieve We carry out his suggestion and extend all sifting functions into their resective non-elementary ranges We rove the following theorem

2 2 P-H KAO Theorem Let fx Z[x be an irreducible olynomial of degree k with a ositive leading coefficient Suose further that for all rimes, we have #{a mod : a, and fa 0 mod } < Then there exists a function rk such that for sufficiently large x and for r k, we have x #{x < 2x : f P r } f,r log x 2 Moreover, for sufficiently large k, f is infinitely often a P rk -number for rk k + c log k + O with c 875 For small values of k, the same result is true with values of rk rovided in Table k rk Table Values of rk for small k We remark that Theorem imroves Irving s results excet for k 3 In articular, we are able to reduce r2 from 5 to 4 Wu and Xi very recently announced the result that irreducible quadratics at rime arguments are P 4 infinitely often [ They aroached the roblem by emloying comosition of the linear sieves rather than aealing to the two-dimensional sieve as Irving did On the other hand, Wu and Xi extended the level of distribution u to x 079 It is unclear if their argument could be generalied to olynomials of higher degree 2 Preliminaries Throughout this aer, the letters and q are used to denote rimes For any natural number n, we let ωn denote the number of distinct rime factors of n not counting multilicities; Ωn count the number of rime factors of n with multilicities ϕn denotes Euler s totient function f g denotes f/g as x ; f og denotes f/g 0 as x We write f Og or, equivalently, f g if f Cg for some real number C We remark that all imlied constants will deend on f unless otherwise indicated The sequence of interest in this aer is A {f : x, 2x}, where f is irreducible over Z and has nonero constant term Denote k deg f and let N max A Then N a k x k, where a k > 0 is the leading coefficient of f We denote A X, whence by the Prime Number Theorem, X x log x We introduce the following arithmetic functions that are necessary in the sieve constructions For squarefree d, let 2 ν d #{a mod d : a, d and fa 0 mod d}

3 and ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 3 3 ν 2 d #{a mod d : afa 0 mod d} We also rovide Mertens tye estimates for ν and ν 2, as they are frequently needed in sieve estimates Lemma 2 For x 2, we have ν log 4 log x + O, x ν 5 e γ Sf + o, log x 7 where Sf is defined by x ν 2 log x ν 2 x Sf 2 >2 2 log x + O, e 2γ Sf + o, log x 2 ν Proof See the roof of [8, Lemma 2 We adot the following standard sieve theoretic notations and hyotheses Let where SA, P n A n,p rime Define A d {n A : n 0 mod d} We assume that there exists some non-negative multilicative function ν such that 0 ν <, for rimes in relevant range according to alications so that the error term R d A d νd d X, whenever d P, is on average small, over some restricted range of values of d We also assume that there exist κ > and A > such that 8 w <w 2 ν log w2 log w, κ + A, log w

4 4 P-H KAO where 2 w w 2 An immediate consequence of 8 is that ν log w 2 κ w <w 2 One can easily see that equations 5 and 7 are examles of 8 Let Ex, d max πx; d, m X, ϕd m d m,d then the Bombieri Vinogradov theorem [3, Chater 28 states that for any constant A > 0, there exists a number B BA such that Ex, d x log x A d x /2 log x B The following two lemma are useful in bounding the error terms in later sections Lemma 22 With E, A, and B as above and let K > 0 be any constant Then µ 2 dk ωd x Ex, d log x A K2 /2 d x /2 log x B Proof The roof is an exercise in utiliing the Cauchy Schwar inequality See the roof of [4, Lemma 8 The next lemma rovides a trivial estimate on the error term without using the Bombieri Vinogradov theorem Lemma 23 Suose that 8 hold, and that whenever d P Let K > 0, then where d< 2 d P R d νd K ωd R d V < 2 V K, ν Proof The roof relies on the use of Rankin s trick See the roof of [4, Lemma 43 3 Richert s weighted sieve Let 0 < < β < k be arameters to be chosen later We write N and y N β, and let r be a ositive integer such that r + > β Define η r + β,

5 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 5 then η > 0 Following Richert [0 and Irving [8, we consider the weighted sum 9 W W A, r,, β log η log y n A n,p We will show in Section 5 that 0 W,β,r x log x 2 <y n For now, we shall suose that the above holds and rove that A contains x elements log x 2 that are P r -numbers First, we show that there is a suitable bound for the number of n in A that are divisible by 2 for < y Observe that <y x<q 2x fq 0 mod 2 f <y x<n 2x fn 0 mod 2 <y x 2 + x x + y o log x 2 Thus the number of these elements are negligible given the estimate 0 and can therefore be absorbed into the error term We now consider the elements n in A that are free from the divisors 2, where < y If n, P, then n makes a ositive contribution to W if and only if This means that η <y n <y n log log y > 0 log < r + log y β On the other hand, it is still ossible that n has a reeated rime divisor q In this case, however, q must be y, and so we have log q 0 log y Consequently, we have <y n log + log q < r + log y q,a log y β q y q a n

6 P-H KAO It then follows that This shows that A contains divisors Ωn # { n : < y} + # {q a n : q y} < r + β + log n log y r + + log n β log N r + x log x 2 elements that are P r -numbers, all of which have rime 4 Solutions to Differential-Difference Equations We are interested in following continuous solutions f κ and F κ to certain differentialdifference equations arising in sieve theory These are the uer and lower sifting functions that occur in the DHR sieve method Theorem 2 [4, Theorem Let κ be a ositive integer Let σ k be the continuous solution to the system s κ σ κ s 2eγ κ, 0 < s 2, Γκ + d 2 ds s κ σ κ s κs κ σ κ s 2, s > 2 Then there exist κ, β κ R + such that the system 3 F κ s σ κ s, 0 < s κ, 4 f κ s 0, 0 < s β κ, 5 d ds sκ F κ s κs κ f κ s, s > κ, d ds sκ f κ s κs κ F κ s, s > β κ, with boundary conditions F κ s + Oe s and f κ s + Oe s has continuous solutions F F κ and f f κ with the roerty that F decreases monotonically and f increases monotonically on 0, When κ, it is known that β 2 [4, Table 7 It is also known that 0 s 2, f s 2e γ logs 2 < s 4; s while for 0 < s 3, F s 2eγ s

7 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 7 Using 5, we see that for 3 < s 5, F s 3F 3 + s s 2eγ + s 3 For 4 < s, it follows at once from that f s s 2eγ s 4f 4 + s 4 { logs + s 3 2e γ logt 2 t logt 2, dt t F t dt s t 4 3 logu 2 u dt } du dt We ause to remark that for κ, there is no essential difference between the beta sieve and the DHR sieve For κ 2, it is known that and β Using and 2, one could deduce similarily to F, that 8e 2γ, 0 < s 2, s2 4e 2γ F 2 s 2s 2 s 2 log s 2 < s 4,, [ log 2s 2 s, 4 < s 2 32e 2γ s2 2e 2γ 4 2t 3 2 t 2 2 log t 2 2 dt t 3 We refrain from writing down F 2 s exlicitly for s > 2 for it involves a comlicated exression The evaluation of F 2 s for s > 2 will require numerical techniques 5 Sieve Estimates Recall that we seek to estimate the sum W To ease notation, we follow Irving and write w log log y W can then be written as W SA, w SA, η <y Let δ, β and denote u N δ, where δ < Then W may be written as 2k where S <u W SA, η S + S 2, w SA, and S 2 u <y w SA, We consider the linearied roblem for SA, and S in order to aly the Bombieri Vinogradov theorem, and the non-linearied roblem for S 2 for the elements outside of the level of distribution alicable to the Bombieri Vinogradov theorem

8 8 P-H KAO Since N max A, we have N x k and so N /k x This suggests that the aroriate level of distribution for SA, is θ < For 2k S, our sequence is A, thus the level of distribution is N θ / For S2, the sifting sequence is A, where A {nfn : n x, 2x} ; we aly a two-dimensional sieve to A with N θ 2 /, where θ 2 < k Then the level of distribution is N θ 2 / First, we aly the one-dimensional DHR sieve to SA, By [4, Theorem 7, we have { 7 SA, XV d<n θ d P f θ log log N θ } 3/4 O log N θ /4 d<n θ d P d<n θ d P d<n θ d P where V ν ϕ < Observe that log log N θ 3/4 log N θ /4 θ log N /8 θ,f o log x /8 The sum on the right-hand side of 7 is bounded by 8 4 ωd R d 4k ωd Ex, d + 4k ωd d<n θ d P 4 ωd R d, The first sum on the right-hand of 8 can be estimated using Lemma 22; we have 4k ωd x Ex, d θ log x A Next, we use Lemma 23 to bound the second sum on the right-hand of 8 4k ωd N θ log 4k d<n θ d P Observe that the first estimate dominates the second one Moreover, V log and so the error term is 4 ωd R d oxv d<n θ d P Equation 7 may therefore be written as { θ 9 SA, XV f } o Alying the one-dimensional uer bound sieve, we arrive at the following lemma

9 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 9 Lemma 5 If 0 < < δ < θ, then { δ S XV s } θ s F ds + o β Proof We aly the one-dimensional uer bound DHR sieve with level of distribution N θ / to each to obtain SA, ν { logn θ ϕ XV / log logn θ } / 3/4 F + O log logn θ / /4 + 4 ωd R d Since < N δ and δ < θ, it follows that log logn θ / 3/4 logn θ / /4 <u w m<n θ / m P logn θ / /8 θ δ log N /8 θ,δ,f For the error term, we aeal to Lemma 22 to get 4 ωm R m µ 2 d4 ωd R d Denote Then 20 <u w SA, XV θ d N θ s logn θ / log <u d<n θ / d P log x /8 x log x 4 oxv ν ϕ w F s + O log x 8 Note that since 0 < < δ, it follows that log log log u log u β <, and so <u ν ϕ w log x 8 < log x 8 log x 8 For the main term in 7, define gt : log t logn θ /t F log y log <u <u and ν log log u log x 8 C, t : <t + oxv o ν log

10 0 P-H KAO Partial summation gives us ν w ϕ F s We use 4 to obtain Note that <u gu gn δ Next, let s log t log N, then However, and that dgn s ds Therefore g t dt <u ν log g gt dc, t guc, u guc, u gulog u log + O C, tg t dt δ log N θ δ F β log N log N o δ dgn s N s log N ds N s log N ds δ gn s s log N θ s F β log N s 2 log N F θ s s log N F βf θ s + ss βf θ s βs 2 log N C, tg t dt and so ν w ϕ F s guc, u <u θ s + log N o dgn s ds ds β log N F [ log u log + O g t dt, C, tg t dt log u log + Ogu log u log gu δ This concludes the roof of the lemma gt dt + o t t log t logn θ /t F log y log s θ s F ds + o β log u log g t dt log u log g t dt + o dt + o θ s Og t dt

11 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS The estimate for S 2 is more involved We first rovide an estimate for SA, using a two-dimensional sieve with level of distribution N θ 2 /, where [, y and θ 2 < k Lemma 52 Suose < and β < θ k 2 < Then for any such that [, y, we have k SA, xν V 2 F 2 s + O, log x /8 where V 2 < ν 2 and s logn θ 2 / log Proof Suose that, then 2 SA, #{q x, 2x : fq, qfq, P } #{n x, 2x : fn, nfn, P } If we let A {nfn : n x, 2x} Then the inequality 2 tells us that we can aly an uer bound sieve to the sequence A Let d P and sufficiently large so that f0 Then d, and by the Chinese Remainder Theorem, we have Also, for any ε > 0, Consequently, we have #{a mod d : fa 0 mod, afa mod d} ν ν 2 d #{n x, 2x : fn, d nfn} ν and ν 2 d ε d ε a mod fa 0 mod afa 0 mod d x d + O ν ν 2 d d x + Odε We aly the two-dimensional DHR sieve [4, Lemma 93 with level of distribution N θ 2 / to get SA, xν { logn θ 2 / log log N θ 2 } 2 V 2 F 2 + O log logn θ 2 / / ωd R d First note that since < N β and β < θ 2, it follows that log log N θ 2 2 logn θ 2 / / logn θ 2 / /8 θ 2,f The error term can be estimated as following using Lemma 23 4 ωd R d N θ 2 V 2 4 x ε ε d<n θ 2 / d P d<n θ 2 / d P log x /8 V 2 V 2 5 x V 2 log x /8

12 2 P-H KAO Lemma 53 Let, β, and θ 2 satisfy the hyotheses of the revious lemma If < δ < β, then { e S2 γ β XV k s } θ2 s F 2 ds + o β Proof By Lemma 52, we immediately have S2 xν w V 2 F 2 s + O u <y The error term can be bounded by noting that ν w log x /8 log x /8 For the main term, let and u <y ht log x /8 u <y log t logn θ 2 / F 2 log y log Du, t : u <t ν log o From the roof of Lemma 5, we know that hy and y u Oh t dt are both o We may thus use artial summation and 4 to see that 22 u <y ν w F 2s Next, we observe that by 7, u <y y u ν log h ht ddu, t log y log uhy y u y u β δ ht dt + o t t log t log y s β y u F 2 θ2 s log y log uh t dt + o logn θ 2 /t F 2 log 23 V 2 V log e γ + o; and by the Prime Number Theorem, 24 x X log x X log k The lemma follows by combining 22 with 23 and 24 ds + o dt + o

13 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 3 Using equation 9 and Lemmas 5 and 53, we have a lower estimate for W ; namely W SA, η S + S2 { θ XV f [ δ η s β β + e γ k s β δ θ s F F 2 θ2 s ds } ds + o, rovided that 0 < < δ < β < θ 2 < and δ < θ k < By continuity of the sifting 2k functions, for any ε > 0, we may take θ and θ 2 sufficiently close to and, resectively 2k k Furthermore, the Prime Number Theorem gives us XV δ x log x 2 We thus have the following lower bound for W { W x [ δ 25 f log x 2 2k r + β β + e γ k s β s 2ks F β 2k F 2 ks k ds } ds ε + o, in which we relaced η with its definition η r + It is now clear that one can deduce β the results of Theorem rovided that one can find the suitable, δ, and β satisfying 0 < < δ < β < k, δ < 2k, and β > r + such that f 2k To ease notation, we let [ δ r + β s β + e γ k 2ks F 2k β δ s β ds F 2 ks k 0 k, δ 0 kδ, and β 0 kβ, ds > 0 and make the observation that the above is the equivalent of r > k [ δ0 + β 0 f /2 0 0 s 2s 2 F ds β e γ β0 0 δ 0 s s F 2 ds β 0 0 In the next section, we comlete the roof of Theorem by finding the otimal values of 0, δ 0, and β 0 which will minimie r with resect to a given k, where they also satisfy the conditions 0 < 0 < δ 0 < β 0 <, δ 0 < 2, and β 0 k > r +

14 4 P-H KAO Proof of Theorem In order to imrove uon Irving s results, one must extend the ranges of the sifting functions f, F, and F 2 which aeared on the right-hand side of 2 In articular, we will consider f s in the range of 2 s, F s in the range of 0 < s 5, and F 2 s in the range of 0 < s < 7 We remark all numerical comutations of f, F, and F 2 are comleted in Mathematica using the ackaged develoed by W Galway [ To this end, we take 0, so that f f This immediately gives us 2s 2s and s 2 2s Next, observe that 0 < 2δ 0 3 if and only if 4 δ 0 < 2 ; and 3 < 2s 5 if and only if 2 s < 4 Therefore F 2s is non-elementary for 0 s < and is elementary for s < δ Similarly, 2 2s 2 if and only if s 5, and it follows that F 2 2 2s is non-elementary for δ 0 s < 5 and is elementary for s 5 We seek the otimal choice of δ 0 that minimies the right-hand side of 2 This can be accomlished by finding the δ 0 that minimies the quantity inside the brackets of the inequality 2 In other words, we solve the equation [ δ0 δ 0 s F 2s ds + 2 β0 β 0 e γ s β 0 2 δ 0 F 2 2 2s ds 0 for δ 0 Alying the Fundamental Theorem of Calculus, one sees that solving the above equation is equivalent to solving e γ 2 3 2δ 0 e F 22 2δ γ 0 Numerical comutation yields δ Observe that 2 imlies that r > k β 0 In other words, β 0 k > r + We now roceed to find the admissible β 0 that will minimie the right-hand side of 2 To do this, we first set rk, β 0 k + [ δ0 β 0 f s 27 F 2s ds β β0 e γ s F 2 2 2s ds β 0 δ 0

15 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 5 Taking the artial derivative of rk, β 0 with resect to β 0, we get 28 rk, β 0 k + [ δ0 F β 0 β0 2 f β0 2 2s ds + 2 e γ β0 2 For k 2,,, we set 28 to ero and simlify to get β0 δ 0 2 [ F 2 2 2s ds eγ f k 2 δ0 2 β0 δ 0 F 2s ds F 2 2 2s ds Numerical comutations suggest that the otimal β 0 s are less than 5 Therefore F 22 2s is non-elementary in the interval [δ 0, β 0 We aroxmiate the otimal values of β 0 numerically and obtain the desired values for rk, β 0 k β rk, β Table 2 rk, β 0 for k 2,, For k 7, β 0 will be greater than 5 In this case, we may write 27 as rk, β 0 k + [ 4 β 0 f s F 2s ds + eγ δ0 β s ds β 4 0 2s e γ s F 2 2 2s ds + 2eγ β0 β 0 3 s ds β 0 s 2 Moreover, equation 28 becomes rk, β 0 k + [ 29 β 0 β0 2 f β0 2 We note that and write δ F 2s ds eγ + β e γ 5 δ 0 f , M 3 2e γ 08428, M 2 4 M 3 eγ log2 4δ , M 4 2 e γ Then we may set 28 to ero and simlify to obtain 30 k f 2 β log2 4δ 0 F 2 2 2s ds + 2eγ 3 β 0 5 β 0 β 2 0 F 2s, ds 07383, 5 [ M 2 + M 3 + M 4 + M β 0 5 β 0 δ 0 F 2 2 2s ds

16 P-H KAO Continuing to solve for β 0 yields where, β 0 c k + c 2, c M f and c 2 M M 2 + M 3 + M We summarie the values of rk, β 0 for small k in Table 3 below k β rk, β r Table 3 Results for small k Lastly, for large k, we will take This immediately gives while it is clear that 4 2 s β 0 F 2s ds, δ0 4 k β 0 are all It remains to show that β0 ds s 2 5 We therefore have where s β 0 β 0 k k2 k k + O, s β 0 β0 5 ds 2s, and 5 δ 0 [ s + s + β0 [ log s + log k + O rk, β 0 k + c log k + O, c 2eγ 3f Acknowledgements β 0 s s β 0 ds s 2 β0 5 F 2 2 2s ds + O I would like to thank my advisor, Sid Graham, for his careful reading of this aer and considerable assistance on the content and the style of this aer In addition, I also would like to thank Craig Frane for many helful conversations and suggestions

17 ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS 7 References V Bouniakowsky, Nouveaux théoremes relatifsa la distinction des nombres remiers eta la décomosition des entiers en facteurs, Sc Math Phys J-R Chen, On the reresentation of a larger even integer as the sum of a rime and the roduct of at most two rimes, Sci Sinica H Davenort, Multilicative number theory, 3rd ed, Graduate Texts in Mathematics, vol 74, Sringer- Verlag, New York, 2000, Revised and with a reface by Hugh L Montgomery 4 H G Diamond and H Halberstam, A higher-dimensional sieve method, Cambridge Tracts in Mathematics 77, Cambridge University Press, 2008 With Procedures for comuting sieve functions by W Galway 5 J B Friedlander and H Iwaniec, Oera de cribro Vol 57 American Mathematical Soc, 200 W Galway, htt://wwwmathuiucedu/sievetheorybook/sievefunctionsm 7 H Halberstam and H-E Richert Sieve methods Courier Cororation, A J Irving, Almost-rime values of olynomials at rime arguments Bull London Math Soc R J Miech, Primes, olynomials and almost rimes Acta Arith 95, H-E Richert, Selberg s sieve with weights, Mathematika J Wu and P Xi, Quadratic olynomials at rime arguments, arxiv:030707v [mathnt 03/23/20 Central Michigan University address: kao@cmichedu