arxiv: v1 [math.nt] 12 Sep 2018

Transcription

1 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS arxv: v1 [mathnt] 12 Sep 2018 MACIEJ ULAS AND B LAŻEJ ŻMIJA Abstract Letm N 2 andforgven k N + consderthesequence (A m,k (n n N defned by the power seres expanson 1 (1 x mn k = A m,k (nx n The number A m,k (n counts the number of representatons of n as sums of powers of m, where each summand has one among k colors In ths note we prove that for each p P 3 and s N +, the p-adc valuaton of the number A p,(p 1(p s 1(n s equal to 1 for n p s We also obtan some results concernng the behavour of the sequence (ν p(a p,(p 1(up s 1(n n N for fxed u {2,,p 1} and p 3 Our results generalze the earler fndngs obtaned for p = 2 by Gawron, Mska and the frst author 1 Introducton Let N denotes the set of nonnegatve ntegers and P be the set of prme numbers Let m N 2 and consder the sequence (a m (n n N defned by the power seres expanson of the nfnte product F m (x = 1 1 x mn = a m (nx n From the general theory of parttons (see the frst chapter n the book of Andrews [3] we know that the sequence (a m (n n N has a natural combnatoral nterpretaton Indeed, we have a m (0 = 1 and for n N +, the number a m (n counts the number of so called m-ary representatons of a non-negatve nteger n, e, representatons of the form (1 n = ε m, whereu Nandε Nfor {0,,u} Letusnotethatthem-aryrepresentaton s generalzaton of the (unque representaton of the nteger n n the base m, e, the representaton (1 wth ε {0,,m 1} In the sequel we wll need a noton of the p-adc valuaton of an nteger, where p P The p-adc valuaton of an nteger n, denoted by ν p (n, s ust the hghest power of p dvdng n, e, ν p (n := max{k N : p k n} We also make standard conventon that ν p (0 = Mathematcs Subect Classfcaton 11P81, 11P83, 11B50 Key words and phrases p-adc valuaton, partton functon, power seres The research of the frst author s supported by the grant of the Polsh Natonal Scence Centre no UMO-2012/07/E/ST1/00185 Durng the preparaton of the work, the second author was a scholarshp holder of the Kartezusz program funded by the Polsh Natonal Center for Research and Development 1

2 2 MACIEJ ULAS AND B LAŻEJ ŻMIJA There are many papers devoted to the study of arthmetc propertes of the sequence countng m-ary parttons The case of m = 2 was nvestgated by Euler However, t seems that the frst non-trval result concernng ths case was proved by Churchhouse [5] He proved that the sequence of the 2-adc valuatons of (b(n n N s bounded by 2 More precsely, we have b(0 = 1,b(1 = 1 and f n 2, we have ν 2 (b(n = 2 f and only f n or n 1 can be wrtten n the form 4 r (2u + 1 for some r N + and u N In the remanng cases the value of ν 2 (b(n s equal to 1 Churchhouse also stated some conectures concernng the 2-adc behavour of the dfference a 2 (4n a 2 (n These conectures were ndependently proved by Rødseth [11] and Gupta [7] (see also the presentaton gven n Chapter 10 n the Andrews book These results motvated the study of the dvsblty of the dfference a m (m r+1 n a m (m r n by powers of m (n the case of odd m or by powers of m/2 (n the case of even m See for example the papers of Gupta [10, 8], Andrews [2], Rødseth and Sellers [12, 13] Another knd of generalzatons appeared n a recent work of Gawron, Mska and the frst author [6] More precsely, for k N + one can defne the sequence (A m,k (n n N, where F m (x k = 1 (1 x mn k = A m,k (nx n The sequence (A m,k (n n N, as the sequence (a m (n n N, can be nterpreted n a natural combnatoral way More precsely, the number A m,k (n counts the number of representatons of n as sums of powers of m, where each summand has one among k colors Equvalently, we are lookng for the number of solutons n nonnegatve ntegers of the system ε = k =1 ε,, where ε comes from the m-ary representaton gven by (1 In [6], the sequence of the 2-adc valuatons of A 2,k (n was nvestgated The authors proved that the sequence (ν 2 (A 2,k (n n N wth k = 2 s 1,s N +, s bounded by 2 In fact the precse descrpton whether ν 2 (A 2,k (n = 1 or 2 s presented n the paper Let m = p, where p s a prme number A queston arses: s t possble to fnd a smple expressonfor an exponent k, such that the sequence (ν p (A p,k (n n N s bounded or even can be descrbed n smple terms? Ths natural queston was the man motvaton for wrtng ths paper As we wll see the requred generalzaton can be gven and s presented n Theorem 31 Let us descrbe the content of the paper n some detals In Secton 2 we present some prelmnary result needed n the sequel and present the proof of the lemma whch contans precse nformaton on the p-adc valuaton of certan sums whch arecloselyrelatedtothecoeffcentsofthepowerseresexpansonoff p (x r, where r {1,,p 1} In Secton 3, among other thngs we present the computaton of the exact value of the p-adc valuaton of the number A p,(p 1(p s 1(n, where p P 3 and s N + More precsely, for n p s, we prove the equalty ν p (A p,(p 1(p s 1(n = 1 Note that the number k = (p 1(p s 1 for p = 2 reduces to the exponent consdered n [6] However, n the mentoned paper the sequence ofthe 2-adcvaluatons of2 s 1- colored parttons s not eventually constant (and t s not perodc Ths shows strkng dfference between the case of p = 2 and p 3 Moreover, we obtan some result concernng the boundedness of the sequence (ν p (A p,(p 1(ups 1(n n N for p P 3,u {2,,p 1} and s N +

3 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 3 Fnally, n the last secton we state some conectures on the shape of exponents k whch (accordng to numercal calculatons lead to bounded (but not-eventually constant sequences (ν p (A p,k (n n N 2 Prelmnary results and the man lemma Before we state our theorems we wll need some notaton and prelmnary results concernng varous obects related to unque representaton of nteger n n the base p For a gven p (non-necessarly a prme, an nteger n and {0,,p 1} we defne k N p (,n = { : n = ε p,ε {0,,p 1} and ε = } =0 The abovenumber counts the number of the dgts equal to n the base p representaton of the nteger n From the defnton, we mmedately deduce the followng equaltes: { N p (,n, f (2 N p (,0 = 0, N p (,pn+ = N p (,n+1, f = Lemma 21 Let r {1,,p 1} We have F p (x r = (1 x pn r = D p,r (nx n, where p 1 ( Np(,n r (3 D p,r (n = ( 1 Np(,n, wth the conventon that ( a b = 0 for b > a and 0 0 = 1 Moreover, for {0,,p 1} and n N + we have ( r D p,r (pn+ = ( 1 D p,r (n Proof The frst equalty s a smple consequence of the unqueness of the base p representaton of a gven number n and the equalty r ( r (1 x pn r = ( 1 x pn =0 Indeed, the number D p,r (n can be wrtten as D p,r (n = { p 1 ( 1Np(,n( r Np(,n, f Np (,n = 0 for all > r 0, f N p (,n 0 for some > r, and hence our compact formula In order to get the second part of our lemma we note that N p (,n = 1 for n {0,1,r} and N p (,n = 0 for n {r +1,p 1} Wth our conventon

4 4 MACIEJ ULAS AND B LAŻEJ ŻMIJA we have that D p,r (n = ( 1 n( r n n ths case Wrtng now n = pn + for some {0,,p 1} we get p 1 ( Np(,pn D p,r (pn + = ( 1 Np(,pn + r + p 1 ( Np(,n = ( 1 Np(,n r ( Np(,n ( 1 (Np(,n +1 r +1 = ( 1 ( r and our lemma follows p 1 ( 1 Np(,n ( r Np(,n = ( 1 ( r D p,r (n, The above results are true wthout the assumpton p P However, from now up to the end of the paper we assume that p s an odd prme Moreover, n order to shorten the notaton a bt we defne the number D p (n as In partcular D p (n 0 for all n N D p (n := D p,p 1 (n Lemma 22 Let k N + and suppose that p 1 k Then F p (x k (1 x k p 1 (mod p νp(k+1 Proof Letus recallthat fthe congruencea b (mod p holds, then foranyt N + we have a pt b pt (mod p t+1 From the defnton of the functon F p (x we get (1 xf p (x = n=1 1 1 x pn = F p (x p, and thus we mmedately deduce that F p (x p 1 (1 x (mod p Invokng now the property mentoned above wth t = ν p (k we get F p (x pνp(k (p 1 (1 x pνp(k (mod p νp(k+1 Wrte k = p νp(k (p 1δ Rasng the both sdes of the last congruence to the power δ we get the result We are ready to present the crucal lemma whch wll be the man tool n our study of the p-adc valuaton of the number A p,(p 1(up s 1(n n the sequel More precsely, the lemma contans nformaton about behavour of the p-adc valuaton of the expresson ( u ( 1 D p (n Lemma 23 Let p 3 be prme and u {1,,p 1} Let n p be of the form n = n p s+1 + kp s + for some n N,k {1,,p 1},s N + and {0,,p 1} Then the followng equalty holds: ( ( u ν p ( 1 D p (n ( ( p+u 1 = ν p (p k +k ( p+u 1 p+

5 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 5 In partcular: (a If u = 1, then ( ( u ν p ( 1 for any n N + (b If u, then we have the equalty D p (n = ν p (D p (n D p (n 1 = 1, ( ( u ν p ( 1 D p (n = 1 (c If u 2, then there exst,k {0,,p 1},k 0, such that we have ( ( u ν p ( 1 D p (n 2 Proof Let us suppose that n {u,,p 1} Then ( u ( ( u p 1 ( 1 D p (n = ( 1 ( 1 n n ( ( ( u p 1 p+u 1 = ( 1 n = ( 1 n n n Let n p and wrte n = pn + for some {0,,p 1} and n N + We have ( u ( u ( 1 D p (n = ( 1 D p (pn + = = ( u ( 1 D p (pn + + ( u ( 1 D p (p(n 1+p+ =+1 ( ( u p 1 ( 1 ( 1 D p (n + ( ( u p 1 ( 1 ( 1 p+ D p (n 1 p+ =+1 ( ( u p 1 ( ( u p 1 =( 1 D p (n +( 1 p+ D p (n 1 p+ =+1 ( ( =( 1 D p (n ( 1 D p (n 1 p+ ( ( ] =( 1 [D p (n D p (n 1 p+ Wrte n = n p+k If k 1, then ( ( D p (n D p (n 1 p+ ( ( = D p (pn +k D p (pn +k 1 p+ [( ( ( ( ] p 1 p+u 1 p 1 p+u 1 = D p (n ( 1 k + k k 1 p+

6 6 MACIEJ ULAS AND B LAŻEJ ŻMIJA If k = 0, then ( ( D p (n D p (n 1 p+ ( ( p+u 1 p+u 1 = D p (pn D p (p(n 1+p 1 p+ ( ( = D(n D p (n 1 p+ Hence f n = p s (ap+k wth k 1, then ( ( D p (n D p (n 1 p+ [( ( ( p 1 p+u 1 p 1 = D p (a( 1 k + k k 1 ( p+u 1 p+ If n = kp s wth 1 < k p 1, then ( ( D p (n D p (n 1 p+ ( ( = D p (k D p (k 1 p+ [( ( ( ( ] p 1 p+u 1 p 1 p+u 1 = ( 1 k + k k 1 p+ Fnally, for n = p s, we get ( ( D p (n D p (n 1 p+ ( ( = D p (p D p (p 1 p+ ( ( = (p 1 p+ [( ( ( ( ] p 1 p+u 1 p 1 p+u 1 = p+ ] Thus, n any case we get that f n = n p s+1 + kp s + for some n N, k {1,,p 1}, s N + and {0,,p 1}, then ( ( (( ( ( ( u p 1 p+u 1 p 1 p+u 1 ν p ( 1 D p (n = ν p + k k 1 p+ The equalty ( ( ( ( p 1 p+u 1 p 1 p+u 1 + k k 1 p+ = p k ( ( ( ( p 1 p+u 1 p 1 p+u 1 + k k 1 k 1 p+ ( p 1 [ ( ( ] k 1 = (p k +k k p+

7 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 7 mples ( ( ( u ν p ( 1 D p (n = ν p (p k ( p+u 1 +k ( p+u 1 p+ Ths fnshes the proof of the man part of our lemma In order to get the part (a, t s enough to observe that for u = 1 we have ( ( { ( (p k p, for 1 (p k +k = p+ p, for = 0 The result follows snce 1 k p 1 If u s arbtrary and u, then ( p+u 1 ν p ((p k +k ( p+u 1 p+ ( ( p+u 1 = ν p (p k (( p+u 1 = ν p = 1 Hence we get the part (b In order to prove the part (c let us fx p and u We want to fnd and k such that ( ( (4 ν p ((p k +k 2 p+ Let us wrte ( ( ( (( ( p+u 1 (p k +k = p k p+ p+ Thus, we only need to fnd u 1 and k {1,,p 1} such that (( ( ( p+u 1 k p p+ (mod p 2, or equvalently k ( p+u 1 ( p+u 1 p+ p ( p+u 1 (mod p In consequence, the suffcent condton for the nequalty (4 to hold, s the condton ( ( p 2 p+

8 8 MACIEJ ULAS AND B LAŻEJ ŻMIJA We prove that ths s satsfed n at least one case = 0 or = 1 Let us observe that f = 0, then ( ( =1 (p+u 1! = 1 (p+1(p+u 1 0 p p!(u 1! (u 1! = 1 (u 1! ((u 1! (p+1(p+u 1 1 (u 1! = p (u 1! ( (u 1! ( u 1 =1 u 1 =1 ( (u 1!+p ( u 1 = p =1 ( u 1 =1 1 u 1 =1 (mod p 2 Smlarly, for = 1 we have ( ( ( u 2 1 p(u 1(p+u 1 (mod p 2 1 p+1 =2 Thus, f p 2 ( ( p+u 1 p+u 1 p+ for = 0 and = 1, then p 2 dvdes also the number (( ( (( ( K := (u 1(p+u 1 0 p 1 p+1 However, K p(u 1(p+u 1 = p(u 1(p+u 1 ( u 1 u 2 1 =1 =2 ( 1+ 1 u 1 and we get a contradcton The result follows 1 3 The results Now, we are ready to prove the followng Theorem 31 Let p P 3, u {1,,p 1} and s N + (a If n > up s, then (b If n > p s, then (c If u 2, then ν p (A p,(p 1(ups 1(n 1 ν p (A p,(p 1(p s 1(n = 1 ν p (A p,(p 1(ups 1(n = 1 for nfntely many n (d If u 2, then ν p (A p,(p 1(up s 1(n 2 for nfntely many n = pu(p+u 1 (mod p 2,

9 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 9 (e If s 2 and n p s+1 wth the unque base p-representaton n = v ε p and ν p (A p,(p 1(up s 1(n {1,2}, then the value of ν p (A p,(p 1(ups 1(n depends only on the coeffcent ε s and the frst non-zero coeffcent ε t wth t > s (f If s 2 and for n > up s, then also ν p (A p,(p 1(up s 1(n s ν p (A p,(p 1(up s 1(pn = ν p (A p,(p 1(up s 1(pn+1 = = ν p (A p,(p 1(up s 1(pn+(p 1 Proof Applyng Lemma 22 wth k = p s (p 1 we get F p (x ps+1 p s (1 x ps+1 p s p 1 (mod p s+1 Rasng both sdes to the power u we get F p (x ups (p 1 (1 x ups (mod p s+1 Multplyng both sdes of the above congruence by F p (x 1 p we get F p (x (ups 1(p 1 (1 x ups F p (x 1 p (mod p s+1 Equvalently, by usng Lemma 21 and comparng coeffcents on both sdes of the above congruence, we get the congruence A p,(p 1(up s 1(n Let us take n > up s and wrte mn{n,up s } n = ( up ( 1 s D p (n (mod p s+1 t ε p for some t s and n s u Let us defne the numbers n 0,,n t recursvely n the followng way n 0 :=n, n +1 := n ε p for = 0,1,,t 1 We start by provng the part (f Let s 2 Observe, that the formula ( p s (5 k k ( p = p s s 1 0 (mod p s k 1

10 10 MACIEJ ULAS AND B LAŻEJ ŻMIJA mples that f p k, then p s ( p k s Hence, usng Lemma 21, we get up s ( up ( 1 s D p (n = ( up ( 1 s D p (n D p (n up s up s 1 up s 1 1 ( up s ( 1 ps 1 D p (n p D p (n up s p up s 1 1 ( up = ( 1 s D p ((n 1 p+ε 0 D p ((n 1 up s 1 p+ε 0 p ( p 1 = ( 1 up s 1 1 ( up ε0 ( 1 s D p (n 1 D p (n 1 up s 1 ε 0 ( p 1 = ( 1 up s 1 ( up ε0 ( 1 s D p (n 1 (mod p s ε 0 Thus, f ν p (A p,(p 1(up s 1(n s, then ( ν p Ap,(p 1(up s 1(n up s 1 = mn s,ν ( up p ( 1 s D p (n 1, whch does not depend on ε 0 Hence we get (f In orderto prove parts (a to (e t s enough to show that there exsts a constant C 1 not dvsble by p, such that ( ( u A p,(p 1(ups 1(n C 1 ( 1 D p (n (mod p 2, and then apply Lemma 23 From the formula (5 we see that the condton p s 1 k mples p 2 ( p k s We proceed smlarly as n the proof of the part (f Indeed, we have up s ( ( up ( 1 s up ( up D p (n C 2 ( 1 s p s 1 D p (n s 1 (mod p 2, wth s 2 ( p 1 C 2 = ( 1 ε ε In the case of s = 1, the startng sum s of the same form wth C 2 = 1 It s clear that C 2 0 (mod p We need to nvestgate the expresson n the brackets Observe that f p does not dvde, then p ( up s p s 1 We also have and D p (n 1 (mod p ( up s p s ( u (mod p

11 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 11 The last equvalence s a consequence of Lucas theorem Hence up ( up ( 1 s p s 1 D p (n s 1 up ( up = ( 1 s ( up p s 1 D p (n s 1 + ( 1 p s p s D p (n s 1 p p up = p ( 1 1 ( up s D p (n s 1 + p p p s 1 up p ( 1 1 ( up s p p s 1 + p up = p ( 1 ( up s p s 1 up ( up = ( 1 s p s ( up ( 1 s p s D p (n s 1 p ( up ( 1 s p s D p (n s 1 p ( up ( 1 s p s D p (n s 1 p ( up ( 1 s p s (D p (n s 1 p 1 up s ( up ( 1 s ( up +p ( 1 s Dp (n s 1 p 1 p s p ( u 0+p ( 1 Dp (n s 1 p 1 p ( u = ( 1 (D p (n s 1 p 1 ( u ( u = ( 1 D p (n s 1 p ( 1 ( u = ( 1 D p ((n s p+ε s 1 0 ( ( p 1 u = ( 1 εs 1 ( 1 D p (n s (mod p 2 ε s 1 Thus, we get the congruence A p,(p 1(up 1 (n C 1 ( ( 1 ( u D p (n s (mod p 2 wth s 1 ( p 1 C 1 = ( 1 ε 0 (mod p ε The result now follows from Lemma 22

12 12 MACIEJ ULAS AND B LAŻEJ ŻMIJA We have already proved a qute strong result concernng the behavour of the p-adc valuaton of A p,k (n for certan exponents k The queston arses: can we prove somethng n the opposte drecton? More precsely: s t possble, gven any s N +, to construct an exponent k N + such that the congruence A p,k (n 0 (mod p s has nfntely many solutons? We are ready to nvestgate more closely the set E p := {s N : there exsts k N such that A p,k (n 0 (mod p s for nfntely many n N} From Lemma 22 we mmedately deduce that E p = N However, for s N +, the exponents k n ths case are dvsble by p Can we produce exponents wthout ths property? The answer to ths queston s contaned n the followng Theorem 32 Let k N +,p P 3 and suppose that p 2 (p 1 k and r {1,,p 2} Then, there are nfntely many n N + such that ν p (A p,k r (n ν p (k Proof From the assumpton p 1 k and the congruence F p (x p 1 1 x (mod p we get F p (x k (1 x k p 1 (mod p νp(k+1 Multplyng both sdes of the above congruence by F(x r we obtan F p (x k r (1 x k p 1 Fp (x r (mod p νp(k+1 Wrte k/(p 1 = δp ν for some δ N +, where ν = ν p (k 2 Hence, comparng coeffcents on both sdes of the above congruence we get the congruence mn{n,δp ν } ( δp A p,k r (n ( 1 ν D p,r (n (mod p ν+1 Let n > δp ν and wrte n = pn + for some n N and {0,,p 1} Let us observe that f p, then p ν ( δp ν Thus δp ν ( δp A p,k r (n ( 1 ν D p,r (n δp ν 1 δp ν 1 = =( 1 ( r ( δp ( 1 ν p ( 1 ( δp ν p δp ν 1 D p,r (n p D p,r ((n p+ ( δp ( 1 ν D p,r (n (mod p ν p In consequence, A p,k r (n 0 (mod p ν for any n > δp ν = k/(p 1 satsfyng n (mod p, where {r + 1,,p 1} s arbtrarly chosen The proof s complete Remark 33 The above result can be seen as a (weak generalzaton of the result obtaned by Rødseth and Sellers n [12], whch says that for any odd m and s N +, the congruence a m (n 0 (mod m s has nfntely many solutons n n

13 ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS 13 The weakness of our result s n the dependence of the number of colors and the exponent s From Lemma 22and the proofofourtheoremwe can easlydeduce the followng Corollary 34 Let k N + and suppose that the sequence (ν p (A p,k (n n N s eventually constant and equal to 1 (a If p 1 k, then p k (b If p 1 k, k = (p 1k +q for some q {1,,p 2}, and p k +1, then p 2 k +1 4 Two conectures and a queston Our Theorem 31 mples boundedness of the sequence (ν p (A p,k (n n N wth k = (p 1(p s 1 and s N + It s natural to ask whether the founded famly of exponents s the only one wth ths property In order to get some feelngs about ths queston, we performed numercal search wth prmes p {3, 5, 7, 11}, the exponents k 100 and n 10 4 Our numercal search motvated the followng Conecture 41 Let p P 3,u {2,,p 1} and s N + Then, for n up s we have ν p (A p,(p 1(ups 1(n {1,2} Moreover, for each n N + we have the equaltes ν p (A p,(p 1(ups 1(pn = ν p (A p,(p 1(ups 1(pn+1 = = ν p (A p,(p 1(ups 1(pn+p 1 The above conecture was suggested by our numercal observatons Moreover, the form of the conecture motvated the parts (c to (f n Theorem 31 Let k N 2 be gven We say that the sequence ε = (ε n n N s k-automatc f and only f the followng set K k (ε = {(ε k n+ n N : N and 0 < k }, called the k-kernel of ε, s fnte In the case of p = 2 we know that the sequence (ν 2 (A 2,2 s 1(n n N s 2-automatc (and t s not eventually perodc In Theorem 31 we proved that the sequence (ν p (A p,k (n n N for k = (p 1(p s 1 wth p 3, s eventually constant and hence k-automatc for any k We calculated the frst 10 5 elements of the sequence (ν p (A p,(p 1(up s 1(n n N for any p {3,5,7},s {1,2} and u {1,,p 1} and were not able to spot any general relatons Our numercal observatons lead us to the followng Queston 42 For whch p P 5,s N and u {2,,p 1}, the sequence (ν p (A p,(p 1(up s 1(n n N s k-automatc for some k N +? Fnally, we formulate the followng Conecture 43 Let k N +,p P and suppose that k s not of the form (p 1(up s 1 for s N and u {1,,p 1} Then, the sequence (ν p (A p,k (n n N s unbounded Acknowledgments The authors express ther grattude to the referee for careful readng of the manuscrpt and valuable suggestons, whch mproved the qualty of the paper

14 14 MACIEJ ULAS AND B LAŻEJ ŻMIJA References [1] G Alkauskas, m-narna skadna, Let Mat Rnk 43 (2003, [2] G E Andrews, Congruence propertes of the m-ary partton functon, J Number Theory 3 (1971, [3] G E Andrews, The Theory of Parttons, Cambrdge Unversty Press, 1998 [4] G E Andrews, A S Fraenkel, J A Sellers, Characterzng the Number of m ary Parttons Modulo m, Amercan Mathematcal Monthly 1229 (2015, [5] R F Churchhouse, Congruence propertes of the bnary partton functon, Proc Cambrdge Phlos Soc 66 (1969, [6] M Gawron, P Mska, M Ulas, Arthmetc propertes of coeffcents of power seres expanson of ( 1 x 2n t (wth an Appendx by Andrze Schnzel, Monatsh Math ( [7] H Gupta, Proof of the Churchhouse conecture concernng bnary parttons, Proc Cambrdge Phlos Soc 70 (1971, [8] H Gupta, A smple proof of the Churchhouse conecture concernng bnary parttons, Indan J Pure Appl Math, (5 N3, (1972, [9] H Gupta, On m-ary parttons, Proc Cambrdge Phlos Soc 71 (1972, [10] H Gupta, A drect proof of the Churchhouse conecture concernng bnary parttons, Indan J Math, (1 N18, (1976, 1 5 [11] Ø Rødseth, Some arthmetcal propertes of m-ary parttons, Proc Cambrdge Phlos Soc 68 (1970, [12] Ø Rødseth, J A Sellers, On m-ary partton functon congruences: A fresh look at a past problem, J Number Theory 87 (2001, [13] Ø Rødseth, J A Sellers, Bnary parttons revsted, J Combnatoral Theory, Seres A 98 (2002, Mace Ulas, Jagellonan Unversty, Faculty of Mathematcs and Computer Scence, Insttute of Mathematcs, Loasewcza 6, Kraków, Poland; emal: maceulas@uedupl B laże Żma, Jagellonan Unversty, Faculty of Mathematcs and Computer Scence, Insttute of Mathematcs, Loasewcza 6, Kraków, Poland; emal: blazez@pocztaonetpl