arxiv: v5 [math.nt] 26 Mar 2009

Transcription

1 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS arxv: v5 [math.nt] 26 Mar 2009 RIZWANUR KHAN Abstract. We show that the sequence of ntegers whch have nearly the tycal number of dstnct rme factors forms a Posson rocess. More recsely, for δ arbtrarly small and ostve, the nearest neghbor sacngs between ntegers n wth ωn log 2 n log 2 n δ obey the Posson dstrbuton law.. Introducton Consder n random varables ndeendently and unformly takng real values n the nterval [0,n]. Let Y <... < Y n denote the order statstcs obtaned by arrangngthese random varables n ncreasngorder. Settng Y 0 0 and Y n+ n, let D Y + Y for 0 n denote the nearest neghbor sacngs of the order statstcs. Thus D +...+D n n and by symmetry t follows that for 0 < λ < n a real number, n λ n. ProbD > λ ProbD > λ n Thus ProbD > λ e λ as n. Ths s the eonental or Posson dstrbuton. We are nterested n the sacng dstrbutons of arthmetc sequences. An eamle of such a sequence s the sequence of rme numbers less than, whch form a sarse subset of the ntegers of densty /log by the rme number theorem. Ths s smlar to Y,...,Y n beng sarse n the nterval [0,n]. If denotes the -th rme less than, we rescale to consder nstead the sequence /log of normalzed rmes so that that the average sacng between consecutve normalzed rmes s as. Ths matches the eected value of D above as n. Gallagher [4] showed that assumng the valdty of the Hardy-Lttlewood rme k-tule conjectures, we have for λ > 0 real that. #{ : + > λ} e λ as. Thus condtonally we see that the sacngs between rmes obey the Posson dstrbuton law, as n the rototycal stuaton of randomly dsersed objects mentoned at the start. More recently Kurlberg and Rudnck [9] showed that the sacngs between quadratc resdues modulo q, as the number of dstnct rme dvsors of q tends to nfnty, follow the Posson dstrbuton. There are many other nterestng arthmetc sequences that are conjectured to be Posson rocesses, but only few eamles est wth roof. For eamle, t s an oen roblem to show that the sacngs between the fractonal arts of n 2 2 for n, as are Posson dstrbuted see []. The reader may fnd a few more eamles of such work lsted n the references secton see [, 6, 7]. Of course there are mortant

2 2 RIZWANUR KHAN arthmetc sequences whch are not eected to behave lke randomly dsersed elements n ths sense, such as the non-trval zeros of the Remann Zeta functon. In ths aer we are nterested n the sacngs between ntegers wth not only one rme factor as n Gallagher s work, but wth the tycal number of dstnct rme factors. We frst elan what s meant by tycal. Let ωn denote the number of dstnct rme factors of n. It s easy to see that ntegers n have loglog dstnct rme factors on average:.2 ωn log 2 +O, n n n where we wrte log 2 for loglog, and smlarly for log j. Also, throughout ths aer and q wll be used to denote rmes. The varance can be shown to be.3 ωn log 2 2 log 2. n Note that.2 and.3 mly that ωn log 2 for all most all n. Erdős and Kac [2] further showed that ωn s normally dstrbuted wth mean log 2 and standard devaton log 2. Rény and Turán [0] roved ths result wth a shar error term. The followng theorem can also be found n Tenenbaum s book [4]. Theorem.. Gven a real number C > 0 we have for 0 < c < C that the number of ntegers n for whch c < ωn log 2 < c s 2π c c log2 n n e u 2 /2du+O C / log 2. We [8] roved a slghtly weaker verson of the Theorem. by methods smlar to those n ths aer. We conjecture that the sacngs between ntegers n wth ωn log 2 π 2 that s, ntegers wth more or less eactly log 2 dstnct rme factors obey the Posson dstrbuton law but we are unable to rove t. Instead we look at an easer queston. For any fed 0 < δ < /2, let us say an nteger less than 2 s δ-normal f π ωn log 2 2 log 2 δ. We study the sequence of δ-normal numbers. These are ntegers havng nearly the eectednumberofrmefactors,aslog 2 δ ssmallerthanthestandarddevaton log2 of ωn. Denote the sequence of δ-normal numbers n ncreasng order by N,N 2,N 3... U to, there are log 2 /2+δ such ntegers by Theorem., snceanntegersδ-normalfandonlyf ωn log 2 π 2 log 2 /2+δ.Thuswe log2 should rescale these ntegers by settng Ñ N log 2 /2+δ. Our man theorem s Theorem.2. For any fed real number λ > 0 we have #{ : Ñ+ Ñ > λ} e λ. Throughout ths aer, all mlct constants may deend on δ and λ.

3 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS 3 2. Indeendence between addtve shfts of the ωn functon In ths secton we show how Theorem.2 can be reduced to studyng correlatons between the addtve shfts of the functon ωn. We wll show for eamle that ωn log 2, ωn+ log 2, and ωn+2 log 2 behave ndeendently. Defne N to be the number of δ-normal ntegers less than. The left hand sde of Theorem.2 s asymtotc to 2. #{ : N + N > λlog 2 /2 δ } #{N log 2 /2 δ : N N +λlog 2 /2 δ N N 0}, where N denotes a δ-normal number. Defne N b,...,b r to be the number of ntegers n for whch n + b s δ-normal for all r and let σm,r denote the number of mas from the set {,...,m} onto {,...,r}. We have the m-th moment of N N +λlog 2 /2 δ N N : 2.2 N log 2 /2 δ We wll rove m σm, r r N N +λlog 2 /2 δ N N m b <...<b r λlog 2 /2 δ N 0,b,...,b r log2 /2 δ. Theorem 2.. For a fed nteger r and any ntegers 0 b <... < b r λlog 2 /2 δ, we have N b,...,b r log 2 /2+δr. Throughout ths aer all mlct constants may deend r. Snce a randomly chosen nteger less than s δ-normal wth robablty log 2 /2+δ, the theorem above says that n+b,...,n+b r are ndeendently lkely to be δ-normal. Theorem 2. mles that for fed m we have that 2.2 s asymtotc to m σm,r λr r! j me λ λ j 2.3, j! r whch s the m-th moment of the Posson dstrbuton the dentty above s known as Dobnsk s formula. The Posson dstrbuton can be recovered from these moments. Let us sketch ths; we have that 2. s 2.4 #{N log 2 /2 δ : N N +λlog 2 /2 δ N N 0} j N log 2 /2 δ N N+λlog 2 /2 δ N N j 2π m j m. m! j m0 N log 2 /2 δ N N+λlog 2 /2 δ N N j j0

4 4 RIZWANUR KHAN Now j j m N N log 2 N+λlog /2 δ 2 /2 δ N N j s the m-th moment of N N+λlog 2 /2 δ N N. By 2.3 we get an elct deendence on m of the error term s not needed that 2.4 s asymtotc to 2.5 j m0 2π m m! j me λ λ j j! e λ. Thus Theorem.2 follows from Theorem 2.. Net we dscuss the demonstraton of Theorem 2.. The characterstc functon of a random varable wth a normal dstrbuton s e T 2 /2. We show the ndeendence of ωn+b log 2 for r by log2 showngthat ther jont characterstcfuncton equals essentally r e T2 /2. Actually t s more convenent to work wth ωn;y,z n lace of ωn, where we set and and defne y y log 3r z z log 2 3r ωn;y,z n Accordngly we work wth ωn;y,z n lace of ωn log 2. We wll soon see that there s not much loss n dsregardngthe rmes less than y or greater than z. In an mrecse sense, the reason for ths s that on average ntegers have few small rme factors and few large rme factors. In the net secton we wll rove the followng theorem. Theorem 2.2. Let t T /2 be real. For T 000 /2, we have n e ωn+b ;y,z T. e e t t +O/log. Observe that for T log 2 ǫ for small enough ǫ > 0 we have 2.6 e e t t t 2 e 2 +Ot3 e T 2 +O 2 T 3 log2,

5 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS 5 and for log 2 ǫ < T log 2 /2 ǫ we have e e 2.7 t t e T 2 /4, where the mled constants deend on ǫ. To see how Theorem 2.2 mles Theorem 2. we wll use the followng lemmas. Lemma 2.3. Let ψ be a real functon dfferentable 4r/δ tmes and satsfyng 2.8 We have 0 ψ for R, ψ 0 for 2log 2 /2+δ ψd 2πlog 2 /2+δ, ψ j log 2 j δ/2 for any ostve nteger j 4r/δ. n ωn+b ;y,z ψ log 2 /2+δr. Proof. Let ˆψT ψue ut du denote the Fourer transform of ψ. By Fourer nverson we have 2.9 n ωn+b ;y,z ψ n ˆψT e 2π ωn+b ;y,z T dt. We have that ˆψT log 2 j δ/2 T j, by ntegratng by arts j tmes and usng 2.8. Thus 2.9 equals 2.0 n log2 /2 δ/4 ˆψT e 2π log 2 /2 δ/4 +O log 2 r. ωn+b ;y,z T dt Now by Theorem 2.2 and observatons 2.6 and 2.7, the man term above equals log2 ǫ T 2 ˆψT e dt +O 2π log 2 2 ǫ log2 T 2 r 2. ˆψTe dt +O. 2π 2 log2

6 6 RIZWANUR KHAN Recall that the Fourer transform of 2π e u 2 2 s e T 2 2. By the Plancherel formula, 2. equals 2.2 2π u 2 ψu e 2 du+o r log 2 /2+δr. log2 To rove Theorem 2. we need to show ωn+b log ψ 2 log 2 /2+δr, log2 n where ψ s a sutable smooth functon aromatng the characterstc functon of the nterval [ π 2 log 2 /2+δ, π 2 log 2 /2+δ ]. Ths s accomlshed by Lemma 2.3, rovded that we can show that we may neglect rme factors smaller than y or larger than z wthout sgnfcant loss. Ths s the urose of the net lemma. Lemma 2.4. Ecet for O log 2 r ntegers less than we have ωn log 2 ωn;y,z log2 log 2 /2+δ/2. Proof. Let E denote the set of ntegers less than or equal to wth more than log 2 δ/2 dstnct rme factors less than y or more than log 2 δ/2 dstnct rme factors greater than z. The sze of ths set s E log 2 δ/2! log 2 r, y log2 δ/2 + log2 δ/2 log 2 δ/2! z usngthat log 2+C+O/logandStrlng sestmaten! 2πn n+ 2e n. For n / E we have ωn ωn;y,z log 2 δ/2, and so t follows that ωn log 2 log2 ωn;y,z ωn log 2 ωn;y,z+ log 2 δ/2 log2 + ωn log 2 log 3. log 2 +O ωn log 2 log 3 log 2 The roof s comlete by notng that ecet for O /log 2 r ntegers less than we have ωn log 2 log 2 /2+δ/4. Ths s because ωn log 2 has normal log2 moments and n artcular 8 r/δ ωn log2 n, where the mled log2 constant deends on r/δ.

7 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS 7 Defne for a rme 3. Proof of Theorem 2.2 f n { f n f n, and f m α, defne f m n f n α. Thus f n. If we thnk of a rme dvdng n wth robablty / ndeendently of other rmes, then we have Ef m n 0 for square-free m. So we have wrtten ωn f n as a sum of ndeendent random varables of mean 0, whch already suggests by the Central Lmt Theorem that ωn s normally dstrbuted. Ths smle dea s actually very owerful. It s borrowed from Granvlle and Soundararajan [5], who use t to effcently comute very hgh moments of ωn and rovde a new roof of the Erdős-Kac theorem. We have that the left hand sde of Theorem 2.2 equals 3. n ωn+b ;y,z e T n n n e t f n+b r e t f n+b + r t f n+b + 2! Now uon eanson of the roduct, 3. equals 3.2 n a a K a,...,a r r t Ωa f a n+b, 2 t f n+b for some constants K a,...,a r of modulus bounded by, where Ωa s the number of rme factors of a counted wth multlcty. Note that when the ntegers a are arwse corme we have that 3.3 K a,...,a r α α!. α a We wll evaluate 3.2 usng the followng results. The frst generalzes a result from [5]. Lemma 3.. Let a be arwse corme ntegers for r. Denote the squarefree art of a by A. We have f a n+b α α + n α a +O τa 2,

8 8 RIZWANUR KHAN where τa denotes the number of dvsors of A and α a means that α a and α+ a. Note that the man term s zero unless each a s square-full that s, a mles 2 a. Proof. For a fed nteger a the value f a n deends only on the common rme factors of a and n, so f a n f a A,n. Thus we can grou terms ths way: f a n+b f a d 3.4 n d A n A,n+b d d A n e A,n+b d n+b d d A e A d n e d n+b µe f a d r µe f a d. By the Chnese Remander Theorem, snce the ntegers a are arwse corme, n Q r e d +O. Therefore the above sum s e d n+b 3.5 f ad d d A e A d f ad d d A d A f a d A φ α a µe e +O φ A d A d +O A d τa 2 τa 2 +O τa 2. Now t s easly verfed by multlcatvty n a that the man term of the last lne above equals α α +. In the case that a,...,a r are not arwse corme we wll need the followng. Lemma 3.2. Let r 2 and 0 b <... < b r λlog 2 /2 δ. Suose that for some rme y < q < z, we have that q a and q a 2. Let q α a and let a a q α. Let A denote the squarefree art of a and let A denote the square free art of a. We have n f a n+b O q 2 Proof. From 3.4 we have f a n+b 3.6 n n d A f a n+b +O q e A d n e d n+b τa 2. r µe f a d.

9 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS 9 The sum n e d n+b s zero for large enough f q dvdes more than one nteger e d. Ths s because f q n+b and q n+b j then q b b j and hence j snce q > y and the ntegers b are dstnct and bounded by λlog 2 /2 δ. Thus we can suose that q dvdes at most one nteger e d. Frst consder the terms of 3.6 wth q e d for all. These terms contrbute d A e A /d q n e d n+b α+...+α r n r µe f a d f q α d f a n+b, usng that f q α d /q α and the dentty of 3.6. Snce α +α 2 2 we get the desred factor of /q 2. Now say q e d and q e d for. The contrbuton of ths case s, 3.7 d A e A /d + d A e A /d n qe d n+b e d n+b, n qe d n+b e d n+b, µe f a qd f q α qd µqe f a d f q α d µe f a d f q α d 2 µe f a d f q α d, where the frst lne corresonds to q d and the second to q e. We have by the Chnese Remander Theorem, n qe d n+b e d n+b, q Thus the contrbuton of the sums of 3.7 s 2 +O. n e d n+b 3.8 q q α q +O f q α 2d 2 α2+...+α r q e d A. α+...+α r q n f a n+b Agan we have a factor of /q 2 n the frst lne above snce α 2. The second lne of 3.8 s O r q τa 2 snce α 2 and q d 2. Ths comletes the roof as terms wth q e j d j and q e d for j are dealt wth smlarly. We wll also need the followng observatons.

10 0 RIZWANUR KHAN Lemma 3.3. We have n a a ωa log 2 2r K a,...,a r f a n+b t Ωa log. Proof. We frst bound the contrbuton of terms wth ωa w for some ostve ntegers w. Recall that K a,...,a r and note that f αn f n. Thus 3.9 n a a ωa w K a,...,a r n a a ωa w f a n+b t Ωa f A n+b t Ωa For a fed square-free nteger A wth ωa w we have Ωa t, a A square-free art of a snce t 000. Thus 3.9 s bounded by w. 3.0 f n+b w! n Snce f n f n and f n f n, we have that 3.0 s bounded by w 3. ωn+b ;y,z+log w! 2 We have 3.2 n w! r n ωn+b ;y,z rw n 2 rw ωn+b ;y,z rw +log 2 rw., y<,..., rw <z n [,..., rw ] n+b where[,..., rw ] denotes the lowestcommonmultle of,..., rw. Now3.2 s bounded by 3.3 [,..., rw ] log 2rw 2 rw. y<,..., rw <z Thus we have that 3. s bounded by 3.4 r 4 rw log w! 2 rw.

11 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS Summng over ntegers w for 2 ths s bounded by 3.5 4log 2 e4log rw 2 r. w! Fnally the sum of 3.5 over ntegers w log 2 2r s /log. Lemma 3.4. We have a a ωa log 2 2r t Ωa α a α + α log. Proof. We frst bound the contrbuton of terms wth ωa w for some ostve ntegers w. We have 3.6 a a ωa w w! t Ωa α a w α + log 2 w. w! Summng over ntegers w for 2 ths s bounded by α 3.7 log 2 erlog w 2. w! The sum of 3.5 over ntegers w log 2 2r s /log. Back to the roof. By Lemma 3.3 we see that 3.2 equals, u to an error of O/log, 3.8 n a a ωa log 2 2r K a,...,a r f a n+b t Ωa. Let us frst treat the terms of 3.8 wth a,...,a r not arwse corme. Alyng Lemma 3.2 reeatedly, these terms contrbute an amount bounded by 3.9 y<q<z + y<q<z q 2 q a arwse corme a ωa log 2 2r a a ωa log 2 2r n t Ωa τa 2. f a n+b t Ωa

12 2 RIZWANUR KHAN For the second lne of 3.9, we have 3.20 a a ωa log 2 2r t Ωa τa 2 z log 2 2r 4 log 2 2r /2. a square-free a ωa log 2 2r τa 2 Thus the second lne of 3.9 falls nto the error term of Theorem 2.2. To bound the frst lne of 3.9 we use Lemma 3. to get that 3.2 y<q<z y y q 2 a arwse corme a ωa log 2 2r a a ωa log 2 2r n t Ωa α a /2, f a n+b t Ωa a a ωa log 2 2r t Ωa τa 2 where we used the bound of Now ths s less than logr y + /2 /log. Thus only the terms of 3.8 wth a,...,a r corme wll gve a man contrbuton. Usng Lemma 3. and 3.3 we get 3.22 n a arwse corme a ωa log 2 2r a arwse corme a ωa log 2 2r +O a a ωa log 2 2r K a,...,a r α α! tα α a f a n+b t Ωa α + t Ωa τa 2. α We ve already seen n 3.20 that the error term above s neglgble. The man term of 3.22 s zero f a s not square-full for all. Thus we may further mose the condton a 2 a. We may also etend by Lemma 3.4 the sum n the man term of 3.22 to all arwse corme and square-full ntegers a whose rme factors le between y and z, u to an error of O/log. Thus 3.22 equals u to

13 SPACINGS BETWEEN INTEGERS HAVING TYPICALLY MANY PRIME FACTORS 3 ths error, 3.23 Now snce log + α α! tα α + α α! tα α α 2 α e e t t +O log + e t t +O 2. + e t t +O 2 e t t +O 2, we have that 3.23 equals 3.24 e e t t e e t t +O y +O/log. Acknowledgments. I am grateful to Prof. K. Soundararajan for osng the roblem studed n ths aer and for many helful dscussons ertanng to t. I am also thankful to Prof. A. Granvlle for numerous useful comments. Part of ths work was done wth suort through a grant from the NSF DMS and whle I vsted the Centre de Recherches Mathématques, Montréal. References. Crstan Cobel and Aleandru Zaharescu, On the dstrbuton of rmtve roots mod, Acta Arth , no. 2, P. Erdös and M. Kac, The Gaussan law of errors n the theory of addtve number theoretc functons, Amer. J. Math , Wllam Feller, An ntroducton to robablty theory and ts alcatons. Vol. II., Second edton, John Wley & Sons Inc., New York, P. X. Gallagher, On the dstrbuton of rmes n short ntervals, Mathematka , no., A. Granvlle and K. Soundararajan, Sevng and the Erdös-Kac theorem, Proceedngs of the NATO Advanced Study Insttute on Equdstrbuton n Number Theory, Montréal, Canada, 22 July 2005, NATO Sc. Ser. II Math. Phys. Chem., vol. 237, Srnger, Andrew Granvlle and Pär Kurlberg, Posson statstcs va the Chnese remander theorem, rernt. 7. Chrstoher Hooley, On the dfference between consecutve numbers rme to n. II, Publ. Math. Debrecen 2 965, Rzwanur Khan, On the dstrbuton of ωn, Anatomy of ntegers, CRM Proc. Lecture Notes, vol. 46, Amer. Math. Soc., Provdence, RI, 2008, MR MR Pär Kurlberg and Zeév Rudnck, The dstrbuton of sacngs between quadratc resdues, Duke Math. J , no. 2, A. Rény and P. Turán, On a theorem of Erdős-Kac, Acta Arth , Zeév Rudnck, Peter Sarnak, and Aleandru Zaharescu, The dstrbuton of sacngs between the fractonal arts of n 2 α, Invent. Math , no., L. G. Sathe, On a roblem of Hardy on the dstrbuton of ntegers havng a gven number of rme factors. IV, J. Indan Math. Soc. N.S , Atle Selberg, Note on a aer by L. G. Sathe, J. Indan Math. Soc. N.S ,

14 4 RIZWANUR KHAN 4. Gérald Tenenbaum, Introducton to analytc and robablstc number theory, Cambrdge Studes n Advanced Mathematcs, vol. 46, Cambrdge Unversty Press, Cambrdge, 995, Translated from the second French edton 995 by C. B. Thomas. 5. Pál Turán, On a theorem of Hardy and Ramanujan, J. London Math. Soc , Unversty of Mchgan, Deartment of Mathematcs, 530 Church St., Ann Arbor, MI 4809, USA E-mal address: rrkhan@umch.edu