arxiv: v1 [math.nt] 8 Nov 2018

Transcription

1 ON THE ERDŐS COVERING PROBLEM: THE DENSITY OF THE UNCOVERED SET PAUL BALISTER, BÉLA BOLLOBÁS, ROBERT MORRIS, JULIAN SAHASRABUDHE, AND MARIUS TIBA arxv: v math.nt] 8 Nov 208 Abstract. Snce ther ntroucton by Erős n 950, coverng systems that s, fnte collectons of arthmetc progressons that cover the ntegers have been extensvely stue, an numerous questons an conjectures have been pose regarng the exstence of coverng systems wth varous propertes. In partcular, Erős aske f the moul can be stnct an all arbtrarly large, Erős an Selfrge aske f the moul can be stnct an all o, an Schnzel conjecture that n any coverng system there exsts a par of moul, one of whch ves the other. Another beautful conjecture, propose by Erős an Graham n 980, states that f the moul are stnct elements of the nterval n, Cn], an n s suffcently large, then the ensty of ntegers uncovere by the unon s boune below by a constant epenng only on C. Ths conjecture was confrme n a strong form by Flaseta, For, Konyagn, Pomerance an Yu n 2007, who moreover aske whether the same concluson hols f the moul are stnct an suffcently large, an k = < C. Although, as we shall see, ths conton s not suffcently strong to mply the esre concluson, as one of the man results of ths paper we wll gve an essentally best possble conton whch s suffcent. More precsely, we show that f all of the moul are suffcently large, then the unon msses a set of ensty at least e 4C /2, where C = k = µ an µ s amultplcatve functon efne by µp = +logp 3+ε /pfor some ε > 0. We also show that no such lower boun.e., epenng only on C on the ensty of the uncovere set hols when µp s replace by any functon of the form +O/p. Our metho has a number of further applcatons. Most mportantly, as our secon man theorem, we prove the conjecture of Schnzel state above, whch was mae n 967. We moreover gve an alternatve somewhat smpler proof of a breakthrough result of Hough, who resolve Erős mnmum moulus problem, wth an mprove boun on the smallest fference. Fnally, we make further progress on the problem of Erős an Selfrge.. Introucton A coverng system s a fnte collecton A,...,A k of arthmetc progressons that cover the ntegers,.e., that satsfy k = A = Z. The stuy of coverng systems wth stnct The frst two authors were partally supporte by NSF grant DMS , the thr author was partally supporte by CNPq Proc /203-8 an FAPERJ Proc /204, an the ffth author was supporte by a Trnty Hall Research Stuentshp.

2 fferences or moul < < k was ntate n 950 by Erős 3], who use them to answer a queston of Romanoff, an pose a number of problems regarng ther propertes. For example, Erős 3] aske whether there exst such systems wth mnmum moulus arbtrarly large, Erős an Selfrge see, e.g., 6] aske f there exsts a coverng system wth all moul stnct an o, an Schnzel 0] conjecture that n any coverng system there exst a par of moul, one of whch ves the other. In 980, Erős an Graham 5] ntate the stuy of the ensty of the uncovere set; n partcular, they conjecture that f the stnct moul,..., k all le n the nterval n,cn], where n n 0 C s suffcently large, then the uncovere set has ensty at least ε for some ε = εc > 0. The frst sgnfcant progress on these problems was mae by Flaseta, For, Konyagn, Pomerance an Yu 7] n 2007, who prove n a strong form the conjecture of Erős an Graham, an took an mportant step towars solvng Erős mnmum moulus problem by showng that the sum of recprocals of the moul of a coverng system wth stnct fferences grows quckly wth the mnmum moulus. Bulng on ther work, an n a remarkable breakthrough, Hough 8] resolve the mnmum moulus problem n 205, showng that n every coverng system wth stnct moul, the mnmum moulus s at most 0 6. The metho of 8] was further refne by Hough an Nelsen 9], who use t to prove that every coverng system wth stnct fferences contans a fference that s vsble by ether 2 or 3. However, Hough s metho oes not appear to be strong enough to resolve the problem of Erős an Selfrge, an t moreover gves lttle nformaton about the ensty of the uncovere set. The man am of ths paper s to evelop a general metho for bounng the ensty of the uncovere set. Our metho, whch s base on that of Hough, but s actually somewhat smpler, turns out to be suffcently powerful an flexble to allow us to also make further progress on the problem of Erős an Selfrge, an to prove Schnzel s conjecture. Our startng pont s the followng natural an beautful queston of Flaseta, For, Konyagn, Pomerance an Yu 7]. Queston. Is t true that for each C > 0, there exst constants M > 0 an ε > 0 such that the followng hols: for every coverng system whose stnct moul satsfy,..., k M the uncovere set has ensty at least ε? an k = < C, In Secton 0, below, we wll answer ths queston negatvely for every C, by constructng a sequence of famles of arthmetc progressons wth arbtrarly large moul, for whch the ensty of the uncovere set s arbtrarly small, an k = <. However, ths mmeately suggests the followng queston: what conton on the stnct moul,..., k, n place of, woul allow us to euce a lower boun epenng only on C 2

3 on the ensty of the uncovere set? Our man theorem proves a suffcent conton that s close to best possble. Theorem.. Let ε > 0 an let µ be the multplcatve functon efne by µp = + logp3+ε p for all prmes p an ntegers. There exsts M > 0 so that f A,...,A k are arthmetc progressons wth stnct moul,..., k M, an k µ C =, then the ensty of the uncovere set R := Z\ k = A s at least e 4C /2. = Note that Hough s theorem s an mmeate consequence of Theorem.. Our proof of Theorem. was nspre by that of Hough 8], but s smpler n varous mportant ways for example, we o not nee to appeal to the Lovász Local Lemma, an o not nee hs noton of quas-ranomness, an as a result we obtan a somewhat smpler proof of hs theorem, wth a better boun on the mnmum fference less than 0 6. Our metho of sevng, whch as we shall see has a number of further applcatons, s outlne n Secton 2. We remark that the queston of Flaseta, For, Konyagn, Pomerance an Yu 7] correspons to replacng µ by the constant functon. As note above, we wll show that the concluson of the theorem oes not hol uner ths weaker conton; n fact, we wll prove that the theorem s close to best possble n the followng much stronger sense. We wll show see Secton 0 that f 2 s replace by 2 µp = + λ p for any fxe λ > 0, then there exsts a constant C = Cλ > 0 such that the followng hols: for every M > 0 an ε > 0, there exsts a fnte collecton of arthmetc progressons, wth stnct moul,..., k M satsfyng k µ = C, such that the uncovere set has ensty less than ε. It woul be extremely nterestng to characterze the functons µ such that, uner the contons of Theorem., the ensty of the uncovere set s boune from below by a constant δc > 0 epenng only on C. Although our seve was evelope to control the ensty of the uncovere set, t turns out that t can be use to prove a number of atonal nterestng results about coverng systems. We wll focus here on the two classcal examples mentone above: the queston of Erős an Selfrge, an the conjecture of Schnzel. Over 50 years ago, Erős an Selfrge see 6] or 0] aske whether or not there exst coverng systems wth stnct o moul. Moreover, as recounte n 6], Erős who thought that such coverngs are lkely to exst offere $25 for a proof that there s no coverng wth these propertes, an Selfrge who expecte the opposte offere $300 later ncrease to $2000 for a constructon of such a coverng. 3

4 Schnzel 0] showe that f no such coverng system exsts, then for every polynomal fx ZX] wth f, f0 0 an f, there exsts an nfnte arthmetc progresson of values of n Z such that x n +fx s rreucble over the ratonals. He also showe that ths woul mply the followng statement: n any coverng system, one of the moul ves another. In Secton 9 we wll prove ths latter statement, known as Schnzel s conjecture. Theorem.2. If A s a fnte collecton of arthmetc progressons that covers the ntegers, then at least one of the moul ves another. Unfortunately, our metho oes not seem to be strong enough to resolve the Erős Selfrge problem see the scusson n Secton 6. However, t oes allow us to make some further progress towars a soluton; n partcular, we can prove that no such coverng system exsts uner the atonal constrant that the moul are square-free. Snce ths applcaton of our seve requres several atonal somewhat techncal eas, we wll gve the etals elsewhere ]. Conjecture.3. If A s a fnte collecton of arthmetc progressons wth stnct squarefree moul that covers the ntegers, then at least one of the moul s even. A fferent strengthenng of the conton n the Erős Selfrge problem was consere recently by Hough an Nelsen 9], who showe that n any coverng system wth stnct moul, one of the moul s vsble by ether 2 or 3. Ther proof requre careful optmzaton of ther technques, an t seems ffcult to use t to strengthen ther result. Usng our methos, we wll gve a short proof of the followng strenthenng of ther theorem. Theorem.4. Let A = {A : D} be a fnte collecton of arthmetc progressons wth stnct moul that covers the ntegers, an let Q = lcmd be the least common multple of the moul. Then ether 2 Q, or 9 Q, or 5 Q. In other wors, ether there s an even, a vsble by 3 2 = 9, or there are, 2 D possbly equal wth 3 an 5 2. We remark that we are unable to prove that a sngle D has 5 n ths last case. The rest of ths paper s organze as follows: n Secton 2 we outlne the seve we wll use n the proofs, an n Secton 3 we state an prove our man techncal results, Theorems 3. an 3.2. In Secton 4 we complete the proof of Theorem., an n Secton 5 we prove a varant of the man result of 7]. In Secton 6 we explan how our seve can be use to prove the non-exstence of coverngs sets wth certan propertes, an n Sectons 7 9 we use ths metho to mprove Hough s boun on the mnmum moulus, an to prove Theorems.2 an.4. Fnally, n Secton 0, we prove the constructons escrbe above. 2. The Seve In ths secton we wll outlne the proof of Theorem.. We conser a fnte set of moul enote by D N an a fnte collecton A = {A : D} of arthmetc progressons, 4

5 where A = a + Z s an arthmetc progresson wth moulus. The goal s to estmate the ensty of the uncovere set R := Z\ DA. Rather than conserng the entre collecton of progressons A all at once, we expose the progressons prme by prme an track how the ensty of the uncovere set evolves. To be more precse, let p, p 2,..., p n be the stnct prme factors of Q := lcmd usually, but not necessarly, lste n ncreasng orer so that Q = n j= for some ntegers γ j. Defne, for each 0 n, Q := an wrte D := { D : Q } j= p γ j j p γ j j an A := { A : D } for the set of fferences an the corresponng arthmetc progressons whose prme factorzaton only nclues the frst of these prmes. In partcular, Q 0 = an D 0 = A 0 =. Note that, although lcmd Q, we o not necessarly have lcmd = Q, snce earler prmes can occur to hgher powers n later moul. Let R := Z\ A = Z\ A, D A A be the set of elements not contane n any of the progressons of A, so that R 0 = Z an R n = R. We also wrte N := D \D for the set of new fferences at the th stage, an efne B := N A 3 to be the unon of the arthmetc progressons expose at step, so that R = R \B. It wll be convenent to conser R as a subset of the cyclc group Z Q or of Z Q, whch s possble because for each D the set A s peroc wth pero Q. In partcular, note that the ensty of R n Z s equal to the measure of the set R n the unform probablty measure on the fnte set Z Q. Durng the proof we wll n fact nee to conser non-unform probablty measures P on Z Q ; note that each such measure can be extene unformly on each congruence class mo Q to a probablty measure on Z Q. 2 We wll borrow an abuse termnology from measure theory by callng a subset S Z Q or a Q-peroc set S Z Q -measurable f S s a unon of congruence classes mo Q. 2 To be precse, we can set Q P x+qz := Q P x+q Z. Note that, snce gcq,q/q =, we can va the Chnese Remaner Theorem conser P on Z Q = ZQ Z Q/Q as a prouct measure of P on Z Q wth the unform measure on Z Q/Q. 5

6 2.. A sketch of the metho. The basc ea s qute smple. We construct measures P n such a way that P B s small, but wthout changng the measure of B j for any j <. It follows that the measure of Z\R n the fnal measure P n s at most P B, an thus f ths quantty s less than, t follows that the arthmetc progressons o not cover Z. To boun P B, we use the st an 2n moment methos see Lemma 3.3, below. More precsely, we boun the expectaton n the measure P of the proporton of the fbre Fx = { } x,y : y Z γ p of x ZQ remove n step, an the expectaton of the square of ths quantty. Bounng these moments s not too ffcult, see Lemmas 3.6 an 3.7, below. Fnally, to euce a lower boun onthe uncovere set nthe unform measure, P 0, we shall nee to boun the average storton P n x/p 0 x. We wll esgn the measures P so that the average here whch we take n the P n -measure s enough by a convexty argument to gve such a lower boun, see Lemma The probablty measures P. We wll next efne the non-unform probablty measures P, whch are nspre by but fferent n mportant ways to a sequence of measures use n 8], an whch wll play a key role n the proof of Theorem.. The rough ea s that we woul lke to stort the space so as to blow up the uncovere set, but wthout ncreasng the measure of any sngle pont too much. More precsely, we wll efne the measures nuctvely, choosng P so that t agrees wth P on Q -measurable sets, s not too much larger that P anywhere, an subject to these contons s as small as possble on the set B, the unon of the arthmetc progressons remove at step. Frst, let P 0 be the trval probablty measure on Z Q0 = Z, or equvalently, by the comments above the unform measure on Z Q. Now fx δ,...,δ n 0,/2], let n], an suppose we have alreay efne a probablty measure P on Z Q. Our task s to efne a probablty measure P on Z Q. In orer to vew R an R as subsets of the same set, let us by the Chnese Remaner Theorem represent Z Q as Z Q Z γ p, an enote elements of Z Q by pars x,y, where x Z Q an y Z γ p. We may vew R as a collecton of fbres of the form Fx = {x,y : y Z γ p }, notng that P s unform on each fbre, an vew R as beng obtane from R by removng the ponts that are contane n the new progressons of A \A. Now, for each x Z Q, efne α x = P Fx B { } y Z γ p : x,y B =, 4 P x thats, theproportonofthefbrefxthatsremoveatstage. TheprobabltymeasureP on Z Q s efne as follows: { } α x δ max 0, P x,y, f x,y B ; α x δ P x,y := { } 5 mn α x, P x,y, f x,y / B. δ 6 p γ

7 Ths s an mportant an slghtly techncal efnton, an therefore eserves some atonal explanaton. Frst, observe that f α x δ, then P x,y = 0 for every element of Q that s covere n step, an that the measure s ncrease proportonally elsewhere to compensate. On the other han, for those x Z Q for whch α x > δ, we cap the storton by ncreasng the measure at each pont not covere n step by a factor of / δ, an ecreasng the measure on remove ponts by a corresponng factor. The followng smple propertes of the measure P wll be useful n the proof. Lemma 2.. P S = P S for any Q -measurable set S. Proof. Let x Z Q, an observe frst that f α x δ, then P x = α x 0+ α x P x = P x, α x where P x = x,y Fx P x,y. On the other han, f α x > δ then P x = α x α x δ α x δ + α x P x = P x. δ Summng over x S, we obtan P S = P S, as clame. Lemma 2.2. For any set S Z Q, we have Moreover, f S B then P S δ P S. 6 P S P S. 7 Proof. Both nequaltes follow mmeately for each atom S = {x, y}, an hence also n general, by atvty from 5. Gven a functon f: Z Q R 0, let us efne the expectaton of f wth respect to P to be By the observatons above, we have E fx ] := x Z Q fxp x. E fx ] δ E fx ], an moreover E fx] E fx] f f s supporte on B, an E fx] = E fx] f f s Q -measurable. 7

8 3. A general theorem In ths secton we wll prove our man techncal results, Theorems 3. an 3.2, below, whch together mply Theorems.,.2 an.4, an also Hough s theorem. In each case the eucton nvolves lttle more than choosng a sutable sequence δ,...,δ n. Gven a fnte collecton A = {A : D} of arthmetc progressons, let n be the number of stnct prme factors of Q = lcmd, an for each sequence δ,...,δ n 0,/2], let the probablty strbutons P an functons α : Z Q 0,] be as efne n 4 an 5. Set M := E α x ] an M 2 := E α x 2], an efne a multplcatve functon ν, efne on factors of Q, by settng ν =. 8 δ j p j for each Q. Theorem 3.. Let A = {A : D} be a fnte collecton of arthmetc progressons, an let δ,...,δ n 0,/2]. If n { η := mn M M 2 }, <, 9 4δ δ = then A oes not cover the ntegers. Moreover, the uncovere set R has ensty at least P 0 R η exp 2 ν. 0 η Inorertoshowthat9holsnourapplcatons, weneetobounthemomentsofα x. The followng techncal theorem proves general bouns that are suffcent n most cases. Theorem 3.2. Let A = {A : D} be a fnte collecton of arthmetc progressons, an let δ,...,δ n 0,/2]. Then M νm m +, p δ j p j an M 2 m p j,m 2 p j 2 N m,m 2 Q mp j N,m Q p j p j +j 2 ν lcmm,m 2 lcmm,m 2 j< D p 2 j< + 3p j. δ j p j 2 The proofs of Theorems 3. an 3.2 are both surprsngly smple. Let us begn wth the followng easy lemma, whch s the frst step n the proof of Theorem 3.. We assume throughout ths secton that A = {A : D} s a gven fnte collecton of arthmetc progressons such that Q = lcmd has exactly n stnct prme factors, an fx a sequence δ,...,δ n 0,/2], an hence a functon α an measure P for each n]. 8

9 Lemma 3.3. Proof. Observe frst that { P B mn E α x ], E α x 2] 4δ δ }. P B P B = E α x ], where the nequalty hols by 7, an the equalty by 4. For the other upper boun, we wll use the elementary nequalty max{a,0} a 2 /4, whch s easly seen to hol for all a, > 0 by rearrangng the nequalty a By 4 an 5 the efntons of α an P, we have as requre. P B = x Z Q max = δ δ { 0, α x2 4δ x Z Q α x δ α x δ } P Fx B max { 0, α x δ } P x x Z Q P x = E α x 2] 4δ δ, It s alreay straghtforwar to euce from Lemma 3.3 an nequalty 9 that A oes not cover the ntegers. In orer to euce the boun 0 on the ensty of the uncovere set, we wll nee to work slghtly harer. Frst, we nee the followng easy boun on the P -measure of an arthmetc progresson. Lemma 3.4. For each 0 n, an all b, Z such that Q, we have P b+z = ν gc,q. δ j p j,j Proof. The proof s by nucton on. Note frst that P 0 s just the unform measure, so P 0 b+z = /. So let n], an assume that the clame boun hols for P. Suppose frst that p. Then, by 6 an the nucton hypothess, we have P b+z δ P b+z δ p j,j< δ j = p j,j δ j, as requre. On the other han, f p then we may wrte = ml, where m = gc,q = gc,q. It follows that P b+mz P b+z = = P b+mz =, l l lm δ j δ j as requre. 9 p j,j< p j,j

10 Let us efne the storton x of a pont x Z Q by { x := max 0, log P } x. 2 P 0 x The followng boun on the average storton wll allow us to prove 0. Lemma 3.5. For each 0 n, we have Proof. We clam frst that E x ] 2 ν. D log P jx P j x 2 α jx for every j n] an x Z Qj. Inee, observe that P j x/p j x max{ α j x, δ j }, by 5, an use the nequalty log z 2z, whch hols for z /2, an the fact that δ j /2. It follows that E x ] { E max 0, log P }] jx 2 E αj x ]. P j x j= Now, by 4 an Lemma 2., we have E αj x ] = E j αj x ] = P j B j for each j ], snce the functon α j s Q j -measurable. Moreover, by 3 the efnton of B, the unon boun, an Lemma 3.4, we have P j B j N j P j A N j νgc,q j j= N j ν. Hence we obtan as clame. E x ] 2 ν N j j= = 2 ν, D Theorem 3. now follows easly from Lemmas 3.3 an 3.5. Proof of Theorem 3.. We clam frst that n P n R P n B = = n P B η. 3 Inee, the frst nequalty s just the unon boun; the equalty hols by Lemma 2., snce B s Q -measurable, so P B = P + B = = P n B ; an the fnal nequalty follows from Lemma 3.3 an 9, the efnton of η. It follows that P n R η > 0 f η <, an hence R s non-empty,.e., A oes not cover the ntegers. 0 =

11 To prove the clame lower boun on the ensty of the uncovere set, we wll use Lemma 3.5. Inee, by the efnton 2 of n x, we have P 0 R = E 0 x R ] En x R exp n x ]. Now, by the convexty of e z, an notng that P n R E n n x x R ] E n n x ], E n x R exp n x ] = P n R E n exp n x x R ] P n R exp E n n x x R ] P n R exp E n n x ]. P n R Hence, by Lemma 3.5, an snce P n R η, by 3, we obtan P 0 R η exp 2 ν, η as requre. 3.. Bounng the moments of α x. The proof of Theorem 3.2 s also qute straghtforwar. Frst, recall that N := D \D s the set of new fferences at step, an note that any N can be represente n the form = mp j, where m Q an j γ. The frst step s the followng general boun on the moments of α x. Lemma 3.6. For each k N, E α x k] m p j,...,m k p j k N m,...,m k Q p j + +j k ν p k m,...,m k Q D ν lcmm,...,m k lcmm,...,m k lcmm,...,m k lcmm,...,m k 4. 5 Proof. Recall the efntons 3 an 4 of the set B an the functon α, respectvely. Applyng the unon boun, we obtan, for each x Z Q, α x = ] x,y B p γ ] x,y A. N x,y Z Q p γ x,y Z Q Now, observe that f = mp j N, where p m, then there are ether zero or p γ j values of y Z γ p wthx,y A. Inee, x,y A = a +Zffx a mo many a mo p j. It follows that α x p j x a mo m ], an hence E α x k] =m p j N =mp j N k =m k p j k N p j + +j k P x aj mo m j for j k].

12 Now, note that the ntersecton of the events {x a j mo m j } over j k] s ether empty f the congruences are ncompatble, or s equvalent to x b mo lcmm,...,m k for some b. Therefore, by Lemma 3.4, we have P x aj mo m j for j k] ν lcmm,...,m k, lcmm,...,m k an hence E α x k] m p j,...,m k p j k N m,...,m k Q j,...,j k p j + +j k p j + +j k ν lcmm,...,m k lcmm,...,m k ν lcmm,...,m k. lcmm,...,m k m,...,m k Q Ths proves 4; to obtan 5, smply note that j,...,j k p j + +j k k = = j p j p k. To complete the proof of Theorem 3.2, t only remans to prove the followng bouns. Lemma 3.7. For each n], νm m m Q j< + δ j p j an ν lcmm,m 2 lcmm,m 2 m,m 2 Q j< 3p j +. δ j p j 2 Proof. Recall from 8 that ν s a multplcatve functon. It follows that νm m = m Q j< γ j t=0 νp t j, p t j an by 8, we have γ j νp t j p t j< t=0 j = j< + δ j γ j t= j< p t j +. δ j p j 2

13 To prove the secon nequalty, let us wrte χm for the number of ways of representng a number m > as the least common multple of two numbers,.e., χm := { m,m 2 : lcmm,m 2 = m }, so that ν lcmm,m 2 = χmνm. lcmm,m 2 m m,m 2 Q m Q Observe that the functon χ s multplcatve an satsfes χp t = 2t+ for all prmes p an ntegers t 0. It follows that χmνm = m m Q j< γ t=0 Fnally, note that for any p >, we have t 2t+ p t = p χp t j νpt j p t j 3 p + 2 p p = j< + t= 2t+ δ j p t j 3 p 2 p p 2. 6 = 3p p 2. 7 Ths completes the proof of the lemma. Theorem 3.2 s an almost mmeate consequence of Lemmas 3.6 an 3.7. we apply Lemma 3.6 wth k = an the frst nequal- Proof of Theorem 3.2. To boun M ty n Lemma 3.7. Ths gves E α x ] mp j N m Q p j as clame. To boun M 2 Lemma 3.7. We obtan E α x 2] m p j,m 2 p j 2 N m,m 2 Q νm m p ν p 2 m,m 2 Q νm m p m Q j< +, δ j p j we apply Lemma 3.6 wth k = 2 an the secon nequalty n p j +j 2 ν lcmm,m 2 lcmm,m 2 lcmm,m 2 lcmm,m 2 p 2 j< + 3p j, δ j p j 2 as requre. 3

14 4. Proof of the Man Theorem In orer to euce Theorem. from Theorems 3. an 3.2, t wll suffce to show that there s an approprate choce of M an δ,δ 2,...,δ n. Proof of Theorem.. Let p,...,p n be the prmes that ve Q, lste n ncreasng orer, an fx an nteger k, to be etermne later. We set δ = 0 for k an δ = µp = logp + 3+ε logp 3+ε µp p p for > k. Note that we have δ,...,δ n 0,/2] f k s chosen suffcently large. In orer to apply Theorem 3., we wll boun M for each k, an M 2 for > k. We wll o so usng Theorem 3.2. Clam. For any choce of k, f M s suffcently large then 4. mp j N k M Proof of Clam. Note frst that ν = for every D k, by 8 an our choce of δ,...,δ n. Thus, by Theorem 3.2, we have M p j νm m = =. k k k N D k Now, let Sq enote the set of q-smooth numbers,.e., numbers all of whose prme factors are at most q, an note that D k Sp k, an moreover = + < p p q Sq for every q, where the prouct s over prmes p q. Hence, by choosng M to be suffcently large, t follows that 4, as clame. Bounng M 2 M k Sp k, M for > k s only slghtly less trval. Clam 2. If k s suffcently large, then >k M 2 4. Proof of Clam 2. Recall from Theorem 3.2 that M 2 3p j + p 2 δ j p j 2 j< 4 p exp 2 j< 3p j. δ j p j 2

15 Now, by our choce of δ,...,δ n, we have 3p j δ j p j 3 + O logpj 3+ε 2 p j for every j <, an hence, usng a weak form of Merten s theorem to euce that j< loglogp +O, we obtan p 2 j p j M 2 p 2 exp 3loglogp +O C 0logp 3 p 2 for some absolute constant C 0 > 0. It follows that, f > k, then M 2 4δ δ = µp 2 4 µp M2 C p logp ε, for some absolute constant C > 0. Now, usng the prme number theorem πx x/logx to cruely boun the sum of the rght-han se over all prmes p, we obtan C plogp = C ε plogp C π e t+ ε e t t ε p 3 t e t <p e t+ t t for any ε > 0. It follows that f k s suffcently large, then >k 2 M 4δ δ 4. C 2 t +ε < as clame. By Clams an 2, t follows that η /2, an hence, by Theorem 3., the uncovere set has ensty at least 2 exp 4 ν. D Fnally, observe that µ ν for every N, snce both functons are multplcatve, µp = + logp3+ε p = δ = νp for p > p k, an µp = νp for p p k. It follows that the uncovere set has ensty at least 2 exp 4 µ = e 4C 2, D as requre. 5

16 5. The Erős Graham Conjecture As a smple consequence of Theorem., we wll next gve a new strengthenng of the conjecture of Erős an Graham 5] mentone n the Introucton. Recall that n the orgnal conjecture, whch was confrme by Flaseta, For, Konyagn, Pomerance an Yu 7] n 2007, the lower boun M on n was allowe to epen on K. The result prove n 7] requre such a boun of the form n > K ω for some ω = ωk as K, but gave an asymptotcally optmal boun on the ensty of the uncovere set. Our result gves a non-optmal boun on ths ensty, but oes not requre n to grow wth K. Theorem 5.. There exsts M such that for any K, there exsts δ = δk > 0 such that the followng hols. If A,...,A k are arthmetc progressons wth stnct moul,..., k n,kn], n M, then the uncovere set R := Z\ k = A has ensty at least δ. Proof. We apply Theorem. wth ε =. In orer to prove the corollary, t wll suffce to show that there exsts a constant C > 0, epenng only on K, such that n,kn] µ C 8 for all n N. Inee, f we set δ := e 4C /2 then t follows from Theorem. that, f 8 hols an n M, then the ensty of R s at least δ. We wll prove, by nucton on t 0, that 8 hols for all n 2 t. Ths s clearly the case when t = 0 assumng that C = CK s suffcently large, so let t, an let us assume that 8 hols for all n 2 t. We wll use the followng telescopc seres, whch hols for any 0 an Q by the efnton 2 of µ: µ = µ gc,q 0 + µ gc,q µ gc,q > 0 = µ gc,q 0 + µp µ gc,q. Summng over n,kn], we obtan n,kn] µ n,kn] p,> 0 µq 0 + > 0 µp p n/p,kn/p ] µ. Now, snce n/p 2 t for every prme p, t follows by the nucton hypothess that n,kn] µ µq 0 logk + +C > 0 µp p. Fnally, note that the sum over all prmes µp = p p prme p prme 6 logp 4 p 2

17 converges, an therefore n,kn] µ µq 0 logk + + C 2 C f 0 an then C = CK are chosen suffcently large, as requre. 6. A general metho of applyng the seve In ths secton we escrbe a practcal metho of applyng our metho to problems nvolvng coverng systems, such as Schnzel s conjecture an the Erős Selfrge problem. More precsely, we wll show how one can choose the constants δ sequentally an optmally va a smple recurson whch may be run on a computer. We wll also gve a smple crteron see Theorem 6., below whch we prove s suffcent to euce that the collecton A oes not cover the ntegers. Combnng these that s, runnng the recurson untl the crteron s satsfe, we reuce the problems to fnte calculatons, whch n some cases are tractable. To emonstrate the power of ths approach, we wll use t n Sectons 7 9 to prove Theorems.2 an.4, an to sgnfcantly mprove the boun on M n Hough s theorem. We begn by efnng a sequence of numbers f k = f k A, whch wll roughly speakng encoe how well we are ong after k steps of our seve. We remark that, from now on, we wll perform a step of the seve for every prme, whether or not t ves Q. We wll therefore wrte p k for the kth prme,.e., p = 2, p 2 = 3, etc. Fx 0 N, an efne for each k 0, where f k = f k A := κ µ k an κ > 0 an 0 N are chosen so that M 2 k κ p k 2 0 < k + µ k := k 0 <<k 3p δ p 2 P B, for every k > 0. For example, by Theorem 3.2, κ = 3p + δ p 2 0,p Q 9 3p + = µ k f k 20 δ p 2 p k 2 s a val choce, although n some cases we can prove a stronger boun. We remark that, n practce, we wll choose the constants κ an δ,...,δ 0, an show that 20 hols for any sequence δ 0 +,...,δ n. We wll then choose each subsequent δ so as to mnmze f. The followng theorem gves a suffcent conton at step k for our seve to be successful. The boun we prove gves an almost optmal termnaton crteron when k s large. 7 2

18 Theorem 6.. Let k 0. If µ k > 0 an f k A logk+loglogk 3 2 k, then the system of arthmetc progressons A oes not cover Z. In ths secton, t wll be convenent to efne, for each N, a = 3p p 2 an b = 4p The frst step n the proof of Theorem 6. s the followng smple but key lemma. Lemma 6.2. Let > 0, an assume that µ > 0. If b f < δ δ, then µ > 0, an f + a b f f. 23 δ δ δ Proof. Recall from Lemma 3.3 an 20, that µ µ = P B M 2 4δ δ It follows that µ µ b f /δ δ > 0, an moreover f = µ 3p + f µ δ p 2 + as clame. 3p δ p 2 µ f 4δ δ p f, 4δ δ p 2 To euce Theorem 6., we wll use the man result whch s also the ttle of 2], whch states that for each k 2, the kth prme s greater than klogk +loglogk. Proof of Theorem 6.. We are requre to show that µ n > 0; to o so, we wll use Lemma 6.2 to show, by nucton on, that µ > 0 for every k n. As part of the nucton, we wll also prove that f λ 2 for each k n, where λ = log+loglog 3. Note that the base case, = k, follows from our assumptons, an set δ = /2 for each k < n. By Lemma 6.2, for the nucton step t wll suffce to show that 4b f < an λ 2 +2a 4b f λ 2, where a an b were efne n 22. We clam that, wrtng λ = λ, we have 2a 6λ+2+4 λ+2 2 2, 4b f λ2 λ <, an λ2 λλ+2. To see these nequaltes, note that p λ + 2 for all k, by the result of 2] state above, an λ λ log/ > /, so p λ +/+2 = λ+2. It s therefore suffcent to show that λ 2 + 6λ+2+4 λ λλ+2 λ2 λ ,

19 k p k g k Table. Upper bouns on f k that ensure that the system oes not cover the ntegers. All the bouns are roune own n the last ecmal gt. At each stage n the calculaton, f k was ncrease by a factor of +0 5 to account for rounng errors n the floatng pont arthmetc. The choce of 5000 s neee to make p k > 66000, as use n Secton 8, below. whch after multplyng by λ /λ, expanng an rearrangng becomes λ 3 +4λ 2 +8λ+2λ 2 +4λ. Ths clearly hols for all λ > 0 an N, an so the theorem follows. Now, combnng Theorem 6. an Lemma 6.2, we can euce from suffcently strong bouns on f k, for any k N, that the uncovere set s non-empty. To o so, observe frst that, gven f, the boun on f gven by Lemma 6.2 s just a functon of a sngle δ. Elementary calculus shows that the optmal choce of δ occurs when δ = +a + +a +a /b f. 25 Ths expresson for δ allows for very fast numercal computaton of the bouns on the f. Let us therefore, for each N, efne g to be the largest value of f A such that, by repeately applyng the recurson 23 wth δ j gven by 25, we eventually satsfy the contons of Theorem 6. for some k 0. In Table we lst the bouns on g k gven by performng ths calculaton, whch was mplemente as follows: startng wth a potental value of f 3, we ran the teraton gven n 23 usng the value of δ gven n 25 untl ether the contons of Theorem 6. were satsfe, or the conton b f < δ δ fale. The 9

20 optmal value g 3 of f 3 was etermne by bnary chop, an the other bouns g k were rea off by takng the largest successful f 3 an lstng the corresponng bouns on f k. Let us state, for future reference, the concluson of ths secton. Corollary 6.3. If f k A g k for some k N, then the system of arthmetc progressons A oes not cover Z. We remark that the boun on g gven by our seve s less than, an for ths reason we are unable to resolve the Erős Selfrge problem. 7. The Erős Selfrge Problem In ths secton we wll prove Theorem.4, whch s a smple consequence of the metho escrbe n the prevous secton. Frst, however, let us show how to prove the followng only slghtly weaker theorem, whch was frst prove by Hough an Nelsen 9]. Theorem 7.. Let A be a fnte collecton of arthmetc progressons wth stnct moul, none of whch s vsble by 2 or 3. Then A oes not cover the ntegers. Proof. Set 0 = 2 an κ =, note that µ = µ 2 =, snce there are no moul vsble by 2 or 3, an recall from 2 that ths s a val choce of κ, by Theorem 3.2. Recallng from 9 that f 2 = κ/µ 2, an usng Table, we see that f 2 = <.26 < g 2, an hence, by Corollary 6.3, the system A oes not cover the ntegers. We remark that we not actually nee the full strength of Corollary 6.3 to prove ths theorem; n fact, we coul have just run our seve wth δ = = δ n = /4, say, an apple Theorems 3. an 3.2, together wth Theorem 6.. In orer to prove Theorem.4, we wll nee a slghtly more complcate verson of the proof above. Proof of Theorem.4. By Theorem 7., we may assume that Q = lcmd satsfes Q = 3Q, where Q s not vsble by 2, 3 or 5. Observe that µ =, an that µ 3 = µ 2 2/3, by the trval frst moment boun M 2 /3, an snce there are no moul vsble by 2 or 5. Set 0 = 3, δ = δ 2 = δ 3 = 0, an κ = 2. To see that ths s a val choce of κ, we nee to mprove 2 slghtly, usng the fact that 3 2 Q. To be precse, n the proof of Lemma 3.7, n the last expresson n 6, when j = 2 we only nee to nclue the term t = n the sum. Keepng the rest of the proof of Theorem 3.2 the same, ths mples that M 2 3 3p j + +, p 2 δ 2 p 2 δ j p j 2 3<j< an hence 20 hols wth κ = +3/p 2 = 2, as clame. Usng Table, t follows that f 3 = κ µ 3 3 < g 3, an therefore, by Corollary 6.3, the system A oes not cover the ntegers. 20

21 8. The Mnmum Moulus Problem In ths secton we mprove the boun on the mnmum moulus gven n 8, Theorem ]. Theorem 8.. Let A be a fnte collecton of arthmetc progressons wth stnct moul,..., k Then A oes not cover the ntegers. Proof. We apply Theorem 3., usng the frst moment M an settng δ = 0 for 5 note that p 5 = 233. After the frst 5 prmes we have an µ 5 f 5 µ 5 j p 5 -smooth p j p j 2 For 5 < 5000 we apply the secon moment boun usng M 2 ˆM 2 := m p j,m 2p k m,m 2 p -smooth p j k ν lcmm,m lcmm,m 2 The values of δ were not optmze, but nstea efne by the followng equaton δ = +a p + +4ˆµ a +a /, 2 ˆM whch s base on 25, but wth b f replace by the boun on M 2 /4µ mple by 27. The rather arbtrary factor of / p was nclue to mprove the bouns obtane, an ˆµ s the lower boun on µ efne nuctvely by ˆµ = ˆµ ˆM 2 4δ δ. Fnally, after processng p 5000 = > we calculate the boun f from 9 usng 0 = 0 an κ =. Ths s less than the boun g 5000 gven n Table, an hence, by Corollary 6.3, the system A oes not cover the ntegers. It only remans to escrbe an effcent way of calculatng the expressons 26 an 27. For 26 we note that the sum of / over all p -smooth s gven by the prouct p -smooth = j + p j an the sum n 26 can then be calculate by subtractng the fnte sum of / over all p -smooth < For 27 the proceure s somewhat more complcate. Frst we 2

22 efne Θ s,t := m s,m 2 t m,m 2 p -smooth whch can be calculate nuctvely usng the entty Θ s,t = Θ s,t+ δ j,k 0,j+k>0 ν lcmm,m 2 lcmm,m 2 p max{j,k}, Θ s/p j, t/pk, whch, espte ts appearance, can be calculate as a fnte sum. Inee, s/p j = for suffcently large j, an so there are only fntely many terms Θ s,t that occur, an these are multple when s or t = by geometrc seres that can be summe exactly. Fnally, the calculaton of M 2 j,k p j k Θ K/p j, K/pk, where K = 66000, can smlarly be reuce to a fnte sum. 9. Schnzel s Conjecture In ths secton we wll use the metho of Secton 6 to prove Schnzel s Conjecture 0], whch we restate here for convenence. Theorem 9.. If < < 2 < < k are the moul of a fnte collecton of arthmetc progressons that covers the ntegers, then j for some < j. We wll argue by contracton, assumng that we have a set {,..., k } of moul of a coverng system of the ntegers that forms an antchan uner vsblty. We call an antchan of natural numbers p-smooth f all ts elements are p-smooth,.e., have no prme factor greater than p. In orer to apply our seve, we wll nee the followng three smple lemmas about 5-smooth antchans. Lemma 9.2. If D s a 5-smooth antchan contanng no prme power, then 3, D wth equalty f an only f D = {6,0,5}. Proof. Suppose frst that D s a 3-smooth antchan possbly contanng a prme power, an observe that D = { 2 a 3 b,2 a 2 3 b 2 },...,2 a k 3 b k for some a > a 2 > > a k an b < b 2 < < b k. We clam that D s maxmze when D s compresse, that s, a = a + + an b + = b + for all k ]. Inee, f a > a + + then we can reuce a, an f b + > b + then we can reuce b +, n each case ncreasng D whle mantanng the property that D s an antchan. 22

23 Now, let us wrte the 5-smooth antchan D as a unon of sets of the form {5 : D }, where each D s a possbly empty 3-smooth antchan. Snce D contans no prme power, nether can D 0, so D s maxmze when D 0 0 = {2 a 3,2 a 3 2,...,2 3 a }. In ths case a smple calculaton shows that D = 0 2 a 3 a, whch attans a unque maxmum when a =. Thus D, wth equalty f an only f D = {6}. Next, observe that D for every, an therefore D s maxmze when D = {2 a,2 a 3,...,3 a }, wth a. In ths case we have D = 62 a 3 a an the unque extremal case s a =, so D 5, wth equalty f an only f D 6 = {2,3}. If we atonally assume that D {2,3}, then D, wth the unque maxmum 8 occurrng for the uncompresse antchan D = {2,9}. Fnally, f D = {2,3} then D = for every >, an therefore = = 3, D 0 D D wth equalty only when D = {6,0,5}. On the other han, f D {2,3} then as requre. D = = D =2 5 6 = < 3, Lemma 9.3. If A an B are two 3-smooth antchans, then 3 lcma,b 36, 28 a A b B except n the cases A = B = {} an A = B = {2,3}. Note that the sum n 28 s equal to f A = B = {}, an to 7/6 f A = B = {2,3}. Proof. Suppose frst that A B, an that B = {2 k,2 k 2 3,...,3 k } for some k 5. Then lcma,b b = A b = 6k 2 k 3 k < a A b B a A b B b B However, f B = k 5 but B {2 k,2 k 2 3,...,3 k }, then by compressng as n the proof of Lemma 9.2 we may ncrease the left-han se of 28, so we are also one n ths case. The lemma therefore reuces to a fnte check of famles wth max{ A, B } 4, an n fact usng compresson once agan t s suffcent to conser the antchans {}, {2,3}, {2,9}, {3,4}, {4,6,9}, an {8,2,8,27}. The lemma now follows from a trval case analyss, whch can be one by han. Lemma 9.4. If A an B are two 5-smooth antchans, then.7, lcma,b a A b B wth equalty f an only f A = B = {2,3,5}. 23

24 Proof. We ecompose A an B as a unon of sets 5 A an 5 j B j, where A an B j are 3-smooth antchans, as n the proof of Lemma 9.2. Suppose frst that there s no par,j wth A = B j = {} or A = B j = {2,3}. Then, by Lemma 9.3 an 7, we have a A b B lcma,b = =0 j= max{,j} a A lcma, b b B j = <.7 2. Next, suppose that A = B j = {} for some par,j, an observe that A = B j = for every > an j > j, so the par,j s unque. If there s no par s,t wth A s = B t = {2,3}, then the boun above ncreases by at most max{,j}, an ths s less that f max{,j}. On the other han, f A 2 0 = B 0 = {}, then snce A = B = for all > 0 we have A = B = {}, an so a A b B = <.7. lcma,b We may therefore assume that A = B j = {2,3} for some par,j, whch mples that A,B j {} for every > an j > j, an as above at most one of the sets n each sequence s non-empty. The boun above ncreases by at most max{,j} 36 5 = max{,j}+ 3 5 < max{,j} 2 f max{,j}. However, f A 0 = B 0 = {2,3}, then t s easy to see that a A s maxmze by takng A = B = {2,3,5}, an n that case t s equal to.7. b B Havng complete the easy prelmnares, we are reay to prove Schnzel s conjecture. lcma,b Proof of Theorem.2. We frst observe that we may assume that none of the moul are prme powers. Inee, we may assume that the coverng s mnmal, so the removal of any A results n a set of progressons that o not cover Z. If = p j for some prme p an j > 0, then the prme can appear at most to the j st power n any other moul. Thus the other progressons fal to cover some congruence class mo Q/p, where Q = lcm{,..., k }. But ths congruence class cannot be covere by A as Q/p, a contracton. We now apply our seve wth δ = δ 2 = δ 3 = 0, so that P s equal to the unform measure when processng the prmes p = 2, p 2 = 3 an p 3 = 5, an clam that f < g 3. Observe that, by Lemma 9.2, the total measure of B B 2 B 3 s at most /3. Now we mprove the boun on Eα x 2 ] for 4 as follows. By Theorem 3.2, we have M 2 j,j 2 p j +j 2 m,m 2 S ν lcmm,m 2 lcmm,m 2 a Dm,j b Dm 2,j 2 lcma,b, where S s the set of ntegers whose prme factors all le between 7 an p, an for each m S an j, we efne Dm,j = { a : mp j a D an a s 5-smooth}. 24

25 Snce Dm,j s a 5-smooth antchan, t follows from Lemmas 3.7 an 9.4 that M 2.7 j,j 2 p j +j 2 ν lcmm,m 2 lcmm,m 2 m,m 2 S =.7 p 2 j=4 + 3p j. δ j p j 2 Therefore, settng 0 = 3 an κ =.7, t follows that 20 hols. Hence, recallng from above that µ 3 2/3, we obtan f 3 =.7 3/2 = 2.55 < g 3 see Table, so, by Corollary 6.3, the system A = {A : D} oes not cover the ntegers. 0. Constructons In ths secton we wll prove constructons of famles of arthmetc progressons that answer negatvely the queston of Flaseta, For, Konyagn, Pomerance an Yu 7] mentone n the Introucton, an show that Theorem. s not far from best possble. To be precse, we wll prove the followng two theorems. Theorem 0.. For every M > 0 an ε > 0, there exsts a fnte collecton of arthmetc progressons A,...,A k wth stnct moul,..., k M, such that an the ensty of the uncovere set R = Z\ k = A s less than ε. k = < 29 Note that the boun 29 s obvously best possble; we remark that the moul n our constructon wll moreover be square-free. Our secon theorem shows that the functon logp 3+ε n the statement of Theorem. cannot be replace by a constant. Theorem 0.2. For every λ > 0, there exsts C = Cλ > 0 such that the followng hols. Let µ be the multplcatve functon efne by µp = + λ p for all prmes p an ntegers. For every M > 0 an ε > 0, there exsts a fnte collecton of arthmetc progressons A,...,A k wth stnct square-free moul,..., k M, such that k µ C, an the ensty of the uncovere set R = Z\ k = A s at most ε. = The proof of Theorem 0. s relatvely smple, whle the proof of Theorem 0.2 wll requre somewhat more work. 25

26 Proof of Theorem 0.. We wll choose a collecton P,...,P N of sjont sets of prmes, an efne Q := p an D := { } p Q : p P j p P j for each N], where Q 0 :=. We wll show that, for a sutable choce of P,...,P N, the set D = D D N has the followng propertes: + ε 3, 30 D an there exsts a collecton of arthmetc progressons, wth stnct moul n D, such that the uncovere set has ensty at most ε/3. By removng a few of the progressons from ths famly, we wll obtan the clame collecton A,...,A k. We construct the sets P,...,P N of prmes as follows. Frst, let us fx some postve constants c 0, c an δ such that c 0 := + ε 3, an c = δ e δ,c 0. Inee, δ/ e δ s a contnuous ncreasng functon of δ whch tens to as δ 0, so for suffcently small δ we have < δ/ e δ < c 0. Assume wthout loss that M > 3/ε, an choose N suffcently large so that e δn < ε/3. Now let P be any set of prmes such that p M for every p P, an δ p δ + c 0 c N. p P In general, f we have alreay constructe P,...,P j, then let P j+ be any set of prmes sjont from P P j such that p M for every p P j+, an δe δj δe δj + c 0 c p Q j N. 3 p P j+ As the sum /p over prme p verges, t s clear that sets P,...,P N exst wth these propertes. It follows that N = N δe δj + c 0 c c 0 = + ε p Q D j=0 j N 3, p P j+ j=0 where n the fnal nequalty we use the entty j=0 δe δj = δ e δ = c. Now, to construct the arthmetc progressons, smply choose for each D n turn any arthmetc progresson wth moulus that has at least the expecte ntersecton wth the as yet uncovere set. To be more precse, for each j N] let A j enote the collecton of arthmetc progressons whose moulus les n D j, an wrte ε j := P 0 R j for the ensty of the uncovere set R j := Z Qj \ A B j A, where B j := A A j. Now observe that f = p Q j D j+, then there are p R j congruence classes mo that completely cover R j. 26

27 Hence there s a congruence class that covers at least a fracton /p R j of the as yet uncovere set. It follows that ε j+ ε j p P j+ ε j exp p R j R j for each 0 j N where ε 0 :=, an hence, by 3, ε j+ ε j exp Q j R j δe δj = ε j exp δe δj p p P j+ It now follows mmeately by nucton that ε j e δj for every j N], an n partcular ε N e δn ε/3, by our choce of N. We have therefore constructe a collecton of arthmetc progressons whose set D of stnct moul satsfes30, an whose uncovere set has ensty at most ε/3. To complete the constructon, smply choose a maxmal subset D D such that D <, an observe that the ensty of the set uncovere by { A : D } s at most as requre. ε 3 + ε 3 + ε 3 + M D\D TheproofofTheorem 0.2ssmlar tothatoftheorem 0., but theetalsaresomewhat more complcate. Proof of Theorem 0.2. We wll agan choose a large collecton of sjont sets of prmes, but ths tme we wll arrange them n a tree-lke structure, an our common fferences wll be forme by takng proucts of certan subsets of the prmes along paths n the tree. To begn, let us choose t > 2 suffcently large so that t λ < e t 3, an let P be a set of prmes such that p M for every p P, an t + t. p p P Ths s possble as the prouct p + /p over all prmes s nfnte, an by takng only prmes greater than t we can ensure that some fnte prouct lans n t,t]. Set Q := p an D := { } > : Q, p P an choose a collecton of arthmetc progressons A = {a +Z : D } so as to mnmze the ensty of the uncovere set R := Z Q \ A A A. As n the prevous proof, ths can be one greely so that P 0 R D ε, ε j. exp exp p P + e 2 t. p D 27

28 Now, for each x R, let P x 2 be a set of new prmes.e., sjont for each choce of x, an sjont from P such that p M for every p P x 2, an t + t. p Set Q x 2 := p P x 2 p P x 2 p an D x 2 := { } Q : > an Q x 2, an choose a collecton of arthmetc progressons A x 2 = {a + Z : D x 2 } so as to mnmze the ensty of the uncovere set R x 2 := { x,y : y Z Q x 2 }\ A A x 2 where as usual each A A x 2 s vewe as a subset of Z Q Z x Q. Note that 2 P 0 R x 2 exp + Q Q p Q D x 2 p P x 2 an hence, settng R 2 := x R R x 2 an summng over x R, we have A, P 0 R 2 R e2 t Q = P 0 R e 2 t e 22 t. e2 t Q, To escrbe a general step of ths constructon, suppose that we have alreay efne the tree of prmes an progressons to epth, an for each x R, x 2 R x 2 2,..., x R x,...,x 2, choose a set P x,...,x of new prmes sjont from all prevously chosen sets such that p M for every p P x,...,x, an t + t. p Set an p P x,...,x Q x,...,x := p P x,...,x D x,...,x := { Q Q x 2 Qx,...,x 2 an choose a collecton of arthmetc progressons A x,...,x as to mnmze the ensty of the uncovere set R x,...,x := { x,y : y Z Q x,...,x 28 p : > an Q x,...,x }, } \ = {a +Z : D x,...,x } so A A x,...,x A,

29 where, as before, each A A x,...,x R := x R x R x,...,x 2 x P 0 R,...,x Q Q x,...,x 2 R x,...,x s vewe as a subset of Z Q Z x Q,...,x. Settng, an repeatng the calculaton above, we obtan Q Q x,...,x 2 D x,...,x e 2 t Q Q x,...,x 2, an therefore P 0 R P 0 R e 2 t e 2 t, by nucton. Hence, efnng A to be the unon of all A x,...,x follows that the uncovere set R has ensty an A = A A n, t as n. It remans to show that P 0 R = P 0 R n e 2 tn 0 D µ for every n N, where D s the set of moul of progressons n A. To prove ths, observe frst that µq = + λ p P + λ t p p λ, p P C an, assumng as we may that M λ, µ = + µp p D Smlarly, we have p P D x 2 µ for each x R, an, more generally, D x,...,x µ p P = µq Q µ Q Q x,...,x 2 Q Q x,...,x 2 + p + λp 2 p P + p 2 t 2. Q D x 2 µ Q x,...,x tλ+2 Q µ t λ +2 Q Q x,...,x 2 Hence, summng over n] an sequences x R,...,x R x,...,x 2, we obtan. D µ snce t λ < e t 3, as requre. n n t λ+2 P 0 R t λ+2 e 2 t < 2t 2, =0 =0 29

30 Acknowlegements Ths research was largely carre out urng a one-month vst by the authors to IMT Lucca, an partly urng vsts by varous subsets of the authors to IMPA an to the Unversty of Memphs. We are grateful to each of these nsttutons for ther hosptalty, an for provng a wonerful workng envronment. References ] P. Balster, B. Bollobás, R. Morrs, J. Sahasrabuhe an M. Tba, The Erős Selfrge problem wth square-free moul, n preparaton. 2] P. Dusart, The kth prme s greater than klogk +loglogk for k 2, Math. Comput., , ] P. Erős, On ntegers of the form 2 k + p an some relate problems, Summa Brasl. Math., 2 950, ] P. Erős, Problems an results n combnatoral number theory, A survey of combnatoral theory, J. N. Srvastava, e., North-Hollan, Amsteram, 973, ] P. Erős an R. L. Graham, Ol an new problems an results n combnatoral number theory, Monographes e L Ensegnement Mathématque, No. 28, ] M. Flaseta, K. For an S. Konyagn, On an rreucblty theorem of A. Schnzel assocate wth coverngs of the ntegers. Illnos J. Math , ] M. Flaseta, K. For, S. Konyagn, C. Pomerance an G. Yu, Sevng by large ntegers an coverng systems of congruences, J. Amer. Math. Soc., , ] R. Hough, Soluton of the mnmum moulus problem for coverng systems, Ann. Math., 8 205, ] R. Hough an P. Nelsen, Coverng systems wth restrcte vsblty, arxv: ] A. Schnzel, Reucblty of polynomals an coverng systems of congruences, Acta Arth., 3 967, 9 0. Department of Mathematcal Scences, Unversty of Memphs, Memphs, TN 3852, USA E-mal aress: pbalstr@memphs.eu Department of Pure Mathematcs an Mathematcal Statstcs, Wlberforce Roa, Cambrge, CB3 0WA, UK, an Department of Mathematcal Scences, Unversty of Memphs, Memphs, TN 3852, USA E-mal aress: b.bollobas@pmms.cam.ac.uk IMPA, Estraa Dona Castorna 0, Jarm Botânco, Ro e Janero, , Brazl E-mal aress: rob@mpa.br Peterhouse, Trumpngton Street, Unversty of Cambrge, CB2 RD, UK an IMPA, Estraa Dona Castorna 0, Jarm Botânco, Ro e Janero, , Brazl E-mal aress: julans@mpa.br Department of Pure Mathematcs an Mathematcal Statstcs, Wlberforce Roa, Cambrge, CB3 0WA, UK E-mal aress: mt576@pmms.cam.ac.uk 30