A connection between covers of the integers and unit fractions

A connection between covers of the integers and unit fractions

Advances in Applied Mathematics 38 (2007) 267–274 www.elsevier.com/locate/yaama A connection between covers of the integers and unit fractions ✩ Zhi-...

129KB Sizes 2 Downloads 30 Views

Advances in Applied Mathematics 38 (2007) 267–274 www.elsevier.com/locate/yaama

A connection between covers of the integers and unit fractions ✩ Zhi-Wei Sun Department of Mathematics, Nanjing University, Nanjing 210093, People’s Republic of China Received 8 July 2005; accepted 2 February 2006 Available online 28 August 2006

Abstract For integers a and n > 0, let a(n) denote the residue class {x ∈ Z: x ≡ a (mod n)}. Let A be a collection {as (ns )}ks=1 of finitely many residue classes such that A covers all the integers at least m times

but {as (ns )}k−1 s=1 does not. We show that if nk is a period of the covering function wA (x) = |{1  s  k: x ∈ as (ns )}| then for any r = 0, . . . , nk − 1 there are at least m integers in the form s∈I 1/ns − r/nk with I ⊆ {1, . . . , k − 1}. © 2006 Elsevier Inc. All rights reserved. MSC: primary 11B25; secondary 11B75, 11D68

1. Introduction For an integer a and a positive integer n, we use a(n) to denote the residue class {x ∈ Z: x ≡ a (mod n)}. For a finite system  k A = as (ns ) s=1

(1)

of residue classes, the function wA : Z → {0, 1, . . .} given by   wA (x) =  1  s  k: x ∈ as (ns )  ✩ Supported by the National Science Fund for Distinguished Young Scholars (No. 10425103) and a Key Program of NSF (No. 10331020) in China. E-mail address: [email protected]. URL: http://pweb.nju.edu.cn/zwsun.

0196-8858/$ – see front matter © 2006 Elsevier Inc. All rights reserved. doi:10.1016/j.aam.2006.02.002

268

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274

is called the covering function of A. Clearly wA (x) is periodic modulo the least common multiple NA of the moduli n1 , . . . , nk , and it is easy to verify the following well-known equality: NA −1 k  1  1 wA (x) = . NA ns x=0

s=1

As in [7] we call m(A) = minx∈Z wA (x) the covering multiplicity of A. For example,   B = 0(2), 0(3), 1(4), 5(6), 7(12) has covering multiplicity m(B) = 1, because the covering function is periodic modulo NB = 12, and  wB (x) =

1 if x ∈ {1, 2, 3, 4, 7, 8, 10, 11}, 2 if x ∈ {0, 5, 6, 9}.

Let m be a positive integer. If wA (x)  m for all x ∈ Z, then  we call A an m-cover of the integers, and in this case we have the well-known inequality ks=1 1/ns  m. (The term “1cover” is usually replaced by the word “cover”.) If A is an m-cover of the integers but At = {as (ns )}s∈[1,k]\{t} is not (where [a, b] = {x ∈ Z: a  x  b} for a, b ∈ Z), then we say that A forms an m-cover of the integers with at (nt ) irredundant. (For example, {0(2), 1(2), 2(3)} is a cover of the integers in which 2(3) is redundant while 0(2) and 1(2) are irredundant.) If wA (x) = m for all x ∈ Z, then A is said to be an exact m-cover of the integers, and in this case we have the equality ks=1 1/ns = m. By a graph-theoretic argument, M.Z. Zhang [12] showed that if m > 1 then there are infinitely many exact m-covers of the integers each of which cannot be split into an n-cover and an (m − n)-cover of the integers with 0 < n < m. Covers of the integers by residue classes were first introduced by P. Erd˝os (cf. [1]) in the 1930s, who observed that the system B mentioned above is a cover of the integers with distinct moduli. The topic of covers of the integers has been an active one in combinatorial number theory (cf. [3,4]), and many surprising applications have been found (see, e.g., [1,2,9,11]). The so-called m-covers and exact m-covers of the integers were systematically studied by the author in the 1990s. Concerning the cover B given above one can easily check that  1 n∈S



    1 11 r : S ⊆ {2, 3, 4, 6, 12} = 0, , . . . , ∪ 1 + : r = 0, 1, 2, 3, 4 . n 12 12 12

This  suggests that for a general m-cover (1) of the integers we should investigate the set { s∈I 1/ns : I ⊆ [1, k]}. In this paper we establish the following new connection between covers of the integers and unit fractions. Theorem 1. Let A = {as (ns )}ks=1 be an m-cover of the integers with the residue class ak (nk ) irredundant. If the covering function wA (x) is periodic modulo nk , then for any r = 0, . . . , nk − 1 we have

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274



     1 r  1  : I ⊆ [1, k − 1] and =  m,  ns ns nk  s∈I

269

(2)

s∈I

where α and {α} denote the integral part and the fractional part of a real number α, respectively. Note that nk in Theorem 1 need not be the largest modulus among n1 , . . . , nk . In the case m = 1 and nk = NA , Theorem 1 is an easy consequence of [5, Theorem 1] as observed by the author’s twin brother Z.H. Sun. When wA (x) = m for all x ∈ Z, the author [6] even proved the following stronger result:    1  m−1 a   I ⊆ [1, k − 1]:  for all a = 0, 1, . . . . =  a/nk  ns nk  s∈I

Given an m-cover {as (ns )}ks=1 of the integers with ak (nk ) irredundant, by refining a result in [7] the author can show that there exists a real number 0  α < 1 such that (2) with r/nk replaced by (α + r)/nk holds for every r = 0, . . . , nk − 1. Here we mention two local-global results related to Theorem 1.  (a) (Z.W. Sun [5]) {as (ns )}ks=1 forms an m-cover of the integers if it covers |{{ s∈I 1/ns }: I ⊆ [1, k]}| consecutive integers at least m times.

(b) (Z.W. Sun [10]) {as (ns )}ks=1 is an exact m-cover of the integers if it covers | ks=1 {r/ns : r ∈ [0, ns − 1]}| consecutive integers exactly m times. Corollary 1. Suppose that the covering function of A = {as (ns )}ks=1 has a positive integer period n0 . If there is a unique a0 ∈ [0, n0 − 1] such that wA (a0 ) = m(A), then for any D ⊆ Z with |D| = m(A) we have   

   r 1 1 : I ⊆ [1, k] and ∈ /D ⊇ : r ∈ [0, n0 − 1] . ns ns n0 s∈I

s∈I

Proof. Let m = m(A) + 1. Clearly A = {as (ns )}ks=0 forms an m-cover of the integers with a0 (n0 ) irredundant. As wA (x) − wA (x) is the characteristic function of a0 (n0 ), wA (x) is also periodic mod n0 . Applying Theorem 1 we immediately get the desired result. 2 We will prove Theorem 1 in Section 3 with help from some lemmas given in the next section. 2. Several lemmas Lemma 1. Let (1) be a finite system of residue classes with m(A) = m, and let m1 , . . . , mk be any integers. If f (x1 , . . . , xk ) is a polynomial with coefficients in the complex field C and deg f  m, then for any z ∈ Z we have 

   (−1)|I | f [[1 ∈ I ]], . . . , [[k ∈ I ]] e2πi s∈I (as −z)ms /ns

I ⊆[1,k]

= (−1)k c(Iz )

 s∈[1,k]\Iz

 2πi(a −z)m /n  s s s −1 , e

(3)

270

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274

where {1  s  k: z ∈ as (ns )}, and c(Iz ) =  [[s ∈ I ]] takes 1 or 0 according as s ∈ I or not, Iz = [ s∈Iz xs ]f (x1 , . . . , xk ) is the coefficient of the monomial s∈Iz xs in f (x1 , . . . , xk ). Proof. Write f (x1 , . . . , xk ) = 



j1 j1 ,...,jk 0 cj1 ,...,jk x1

   (−1)|I | f [[1 ∈ I ]], . . . , [[k ∈ I ]] e2πi s∈I (as −z)ms /ns

I ⊆[1,k]

=









cj1 ,...,jk

I ⊆[1,k]

j1 ,...,jk 0 j1 +···+jk m

=

j

· · · xk k . Observe that

k 

[[s ∈ I ]] × (−1) e





s∈I (as −z)ms /ns

s=1



cj1 ,...,jk

|I | 2πi

js

(−1)|I | e2πi



s∈I (as −z)ms /ns

,

J (j1 ,...,jk )⊆I ⊆[1,k]

j1 ,...,jk 0 j1 +···+jk m

where J (j1 , . . . , jk ) = {1  s  k: js = 0}. Let (j1 , . . . , jk ) be nonnegative integers with j1 + · · · + jk  m. If Iz ⊆ J (j1 , . . . , jk ), then 

(−1)|I | e2πi



s∈I (as −z)ms /ns

=0

J (j1 ,...,jk )⊆I ⊆[1,k]

since 

(−1)|I | e2πi

I ⊆[1,k]\J (j1 ,...,jk )



=



s∈I (as −z)ms /ns

  1 − e2πi(as −z)ms /ns = 0.

s∈[1,k]\J (j1 ,...,jk )

If Iz ⊆ J (j1 , . . . , jk ), then   m = m(A)  |Iz |  J (j1 , . . . , jk )  j1 + · · · + jk  m; hence Iz = J (j1 , . . . , jk ) and js = 1 for all s ∈ Iz . Combining the above we find that the left-hand side of (3) coincides with c(Iz )



(−1)|I | e2πi

Iz ⊆I ⊆[1,k]

= c(Iz )(−1)|Iz | e2πi = (−1) c(Iz ) k





s∈Iz (as −z)ms /ns



 s∈[1,k]\Iz

 2πi(a −z)m /n  s s s −1 . e

s∈[1,k]\Iz

This proves the desired equality (3).

s∈I (as −z)ms /ns

2

  1 − e2πi(as −z)ms /ns

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274

271

Lemma 2. Let (1) be an m-cover of the integers with ak (nk ) irredundant, and let m1 , . . . , mk−1 be positive integers. Then, for any 0  α < 1 we have C0 (α) = · · · = Cnk −1 (α), where Cr (α) (with r ∈ [0, nk − 1]) denotes the sum  {

 s∈I

(−1)|I |

I ⊆[1,k−1] ms /ns }=(α+r)/nk

Proof. This follows from [7, Lemma 2].

  s∈I ms /ns  2πi  (as −ak )ms /ns s∈I e . m−1

2

Lemma 3. Let (1) be an m-cover of the integers with ak (nk ) irredundant. Suppose that nk is a period of the covering function wA (x). Then, for any z ∈ ak (nk ) we have nk      w (t)−m 1 − e2πi(as −z)/ns = 1 − e2πi(t−ak )/nk A ns × ,



s∈Iz

s∈[1,k]\Iz

t=1

where Iz = {1  s  k: z ∈ as (ns )}. Proof. Since ak (nk ) is irredundant, we have wA (z0 ) = m for some z0 ∈ ak (nk ). As the covering function of A is periodic mod nk , |Iz | = wA (z) = m for all z ∈ ak (nk ). Now fix z ∈ ak (nk ). Since wA (x) is periodic modulo nk , by [8, Lemma 2.1] we have the identity k  

nk    w (t) 1 − y N/ns e2πias /ns = 1 − y N/nk e2πit/nk A ,

s=1

t=1

where N = NA is the least common multiple of n1 , . . . , nk . Putting y = r 1/N e−2πiz/N with r  0, we then get that nk k      w (t) 1 − r 1/ns e2πi(as −z)/ns = 1 − r 1/nk e2πi(t−z)/nk A . s=1

t=1

Therefore 

  1 − e2πi(as −z)/ns

s∈[1,k]\Iz

= lim

r→1

 s∈[1,k]\Iz

  1 − r 1/ns e2πi(as −z)/ns

nk 1/nk e2πi(t−ak )/nk )wA (t) t=1 (1 − r  1/ns e2πi(as −z)/ns ) r→1 s∈Iz (1 − r

= lim

272

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274



= lim

r→1

=



1−r × lim 1 − r 1/ns r→1

s∈Iz

ns × lim

r→1

s∈Iz

nk

t=1 (1 − r

1/nk e2πi(t−ak )/nk )wA (t)

(1 − r)m

nk   w (t)−m 1 − r 1/nk e2πi(t−ak )/nk A , t=1

2

and hence the desired result follows. 3. Proof of Theorem 1

In the case k = 1, we must have m = 1 and nk = 1; hence the required result is trivial. Below we assume that k > 1. Let r0 ∈ [0, nk − 1] and D = {dn + r0 /nk : n ∈ [1, m − 1]}, where d1 , . . . , dm−1 are m − 1 distinct nonnegative integers.  (If m = 1 then we set D = ∅.) We want to show that there exists I ⊆ [1, k − 1] such that { s∈I 1/ns } = r0 /nk and s∈I 1/ns ∈ / D. Define f (x1 , . . . , xk−1 ) =

 x1

xk−1 + ··· + −d . n1 nk−1

d∈D

(An empty product is regarded as 1.) Then deg f = |D| = m − 1. For any z ∈ ak (nk ), the set Iz = {1  s  k: z ∈ as (ns )} has cardinality m since ak (nk ) is irredundant and wA (x) is periodic mod nk . Observe that the coefficient cz =



 

xs f (x1 , . . . , xk−1 ) =

s∈Iz \{k}

coincides with (m − 1)!/



 

xs

  k−1

s∈Iz \{k}

s∈Iz \{k} ns

s=1

xs ns

m−1

by the multinomial theorem. For I ⊆ [1, k − 1] we set

  v(I ) = f [[1 ∈ I ]], . . . , [[k − 1 ∈ I ]] . As |{1  s  k − 1: x ∈ as (ns )}|  deg f for all x ∈ Z, in view of Lemmas 1 and 3 we have 

(−1)|I | v(I )e2πi

I ⊆[1,k−1]

= (−1)k−1 cz





s∈I (as −z)/ns

 2πi(a −z)/n  s s −1 e

s∈[1,k−1]\Iz k   w (t)−m (−1)m−1 (m − 1)!  =  1 − e2πi(t−ak )/nk A ns × = C, n s∈Iz \{k} s

n

s∈Iz

t=1

where C is a nonzero constant not depending on z ∈ ak (nk ).

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274

273

By the above, NA C =

N A −1



(−1)|I | v(I )e2πi



s∈I (as −ak −nk x)/ns

x=0 I ⊆[1,k−1]



=

(−1)|I | v(I )e2πi



s∈I (as −ak )/ns

I ⊆[1,k−1]

N A −1

e−2πix

 s∈I

nk /ns

,

x=0

and hence 

C=

(−1)|I | v(I )e2πi



s∈I (as −ak )/ns

=

n k −1

I ⊆[1,k−1]  nk s∈I 1/ns ∈Z

Cr ,

r=0

where 

Cr = {

|I |

(−1)

I ⊆[1,k−1] s∈I 1/ns }=r/nk



   1 − d e2πi s∈I (as −ak )/ns . ns

d∈D

s∈I

Let r ∈ [0, nk − 1]. Write m−1   r x x+ , Pr (x) = −d = cn,r n nk d∈D

n=0

where cn,r ∈ C. By comparing the leading coefficients, we find that cm−1,r = (m − 1)!. Observe that 

Cr =

|I |

(−1) Pr

 I ⊆[1,k−1] { s∈I 1/ns }=r/nk

=

m−1 

s∈I



cn,r

n=0

{

 {

1 ns

 e2πi s∈I (as −ak )/ns

  s∈I 1/ns  2πi  (as −ak )/ns s∈I e (−1) n |I |

 I ⊆[1,k−1] s∈I 1/ns }=r/nk

= cm−1,r



  s∈I 1/ns  2πi  (as −ak )/ns s∈I e (−1) ; m−1 |I |

 I ⊆[1,k−1] s∈I 1/ns }=r/nk

in taking the last step we note that if 0  n < m − 1 then  {

 I ⊆[1,k−1] s∈I 1/ns }=r/nk

(−1)|I |

  s∈I 1/ns  2πi  as /ns s∈I e =0 n

274

Z.-W. Sun / Advances in Applied Mathematics 38 (2007) 267–274

by [5, Theorem 1] (since {as (ns )}k−1 s=1 is an (m − 1)-cover of the integers). By Lemma 2 and the above,    s∈I 1/ns  2πi  (as −ak )/ns s∈I e (−1)|I | Cr = (m − 1)! m−1 {

I ⊆[1,k−1] s∈I 1/ns }=0

does not depend on r ∈ [0, nk − 1]. Combining the above we obtain that n k Cr 0 =

n k −1

Cr = C = 0.

r=0

  / D and hence So s∈I 1/ns ∈  there is I ⊆ [1, k − 1] for which { s∈I 1/ns } = r0 /nk , / {dn : n ∈ [1, m − 1]}. This concludes our proof.  s∈I 1/ns  ∈ References [1] P. Erd˝os, On integers of the form 2k + p and some related problems, Summa Brasil. Math. 2 (1950) 113–123. [2] M. Filaseta, Coverings of the integers associated with an irreducibility theorem of A. Schinzel, in: M.A. Bennett, B.C. Berndt, N. Boston, H.G. Diamond, A.J. Hildebrand, W. Philipp (Eds.), Number Theory for the Millennium, vol. II, Urbana, IL, 2000, A.K. Peters, Natick, MA, 2002, pp. 1–24. [3] R.K. Guy, Unsolved Problems in Number Theory, third ed., Springer, New York, 2004 (Sections F13 and F14). [4] Š. Porubský, J. Schönheim, Covering systems of Paul Erdös: Past, present and future, in: G. Halász, L. Lovász, M. Simonvits, V.T. Sós (Eds.), Paul Erdös and His Mathematics, I, Bolyai Soc. Math. Stud., vol. 11, 2002, pp. 581– 627. [5] Z.W. Sun, Covering the integers by arithmetic sequences, Acta Arith. 72 (1995) 109–129.  [6] Z.W. Sun, Exact m-covers and the linear form ks=1 xs /ns , Acta Arith. 81 (1997) 175–198. [7] Z.W. Sun, On covering multiplicity, Proc. Amer. Math. Soc. 127 (1999) 1293–1300. [8] Z.W. Sun, On the function w(x) = |{1  s  k: x ≡ as (mod ns )}|, Combinatorica 23 (2003) 681–691. [9] Z.W. Sun, Unification of zero-sum problems, subset sums and covers of Z, Electron. Res. Announc. Amer. Math. Soc. 9 (2003) 51–60. [10] Z.W. Sun, Arithmetic properties of periodic maps, Math. Res. Lett. 11 (2004) 187–196. [11] Z.W. Sun, A local-global theorem on periodic maps, J. Algebra 293 (2005) 506–512. [12] M.Z. Zhang, Irreducible systems of residue classes that cover every integer exactly m times, Sichuan Daxue Xuebao (Nat. Sci. Ed.) 28 (1991) 403–408.