arxiv: v1 [math.co] 6 Jun 2018

Transcription

1 Proofs of two cojectures o Catala triagle umbers Victor J. W. Guo ad Xiuguo Lia arxiv: v1 [math.co 6 Ju 2018 School of Mathematical Scieces, Huaiyi Normal Uiversity, Huai a , Jiagsu, People s Republic of Chia jwguo@hytc.edu.c, liaxiuguo@126.com Abstract. We prove two cojectures o sums of products of Catala triagle umbers, which were origially cojectured by Miaa, Ohtsuka, ad Romero [Discrete Math. 340 (2017, The first oe is proved by usig Zeilberger s algorithm, ad the secod oe is proved by establishig its q-aalogue. Keywords: Catala umbers; Catala triagle; Zeilberger s algorithm; q-chu-vadermode summatio; cyclotomic polyomial. MR Subject Classificatios: 05A30; 05A10; 11B65. 1 Itroductio The well-kow Catala umbers C : 1 +1( 2 play a importat role i combiatorics. For example, the Catala umber C couts the umber of sequeces a 1,a 2,...,a 2 cosistig of 1 s ad ( 1 s such that a 1 + +a k 0 for k 1,...,2. See [22,23 for more combiatorial explaatios of the Catala umbers. Shapiro [20 itroduced the Catala triagle (B,k k 0 give by B,k : k ( 2 k ( ( k k 1 The Catala triagle ad related topics have bee studied by may authors over the past decade. See, for example, [2, 4, 7, 10 13, 16 18, 21, 24, 25. I particular, Miaa, Ohtsuka, ad Romero [16, Corollary 3.2(i, Theorem 3.3 proved that B,k ( ( k 1 ( ( k 1 k. 2 1 k1 ( ( k k, (1.1 1 They [16, Cojecture 4.2 made the followig cojecture: 1

2 Cojecture 1.1 For all positive itegers m ad, the idetity r B,k 2 B m,k 1 2 ( 2 2 ( 2m m [ 1 +2m ( 1 ( +m +r r ( ( s+k +k s 1 1 r 1 (1.2 holds for r mi{,m} ad s max{,m}. I the particular case m, we recover (1.1. I this paper, we shall prove the followig stroger versio of Cojecture 1.1. Theorem 1.2 The idetity (1.2 holds for r m ad s. It also holds for r ad s m. We shall also give the followig ew idetity. Theorem 1.3 Let m ad be o-egative itegers. The m ( ( ( +k 2 1 m+ k 1 k 1 m k k1 Miaa, Ohtsuka, ad Romero [16 cosidered the umbers C,k : 2k ( ( ( 1 1, k k k 1 m ( 2 m+ k 1 k. (1.3 1 ad called them Catala triagle umbers. It is easy to see that B,k C 2, k. Miaa, Ohtsuka, ad Romero [16, Theorem 1.2(i ad Theorem 3.1(i proved that a ( 1 C,k, a a ( 3 ( 1 1 C,k a a 1 ad proposed the followig cojecture [16, Cojecture 4.1: j0 ( ( j j, a 1 Cojecture 1.4 Let ad a be positive itegers with > a, ad let r be a o-egative iteger. The a C 2r+1,k 0 (mod ( 1 a. (1.4 2

3 NotethatCojecture1.4istrueforsomespecial cases (seeguoadzeg[10, Theorem 1.4, Guo ad Zeg [11, Theorem 1.4, ad Guo ad Wag [7, Theorem 1.3. It is easy to see that C,k C, k. Hece, to prove (1.4, it suffices to prove (1.4 for the case where 2a. It is easy to see that the cogruece (1.4 ca be writte as the followig two cogrueces accordig to the parity of (also reversig the summatio order: where B 2r+1,k 0 (mod ( 2 1, 0 a, (1.5 ( 2 A 2r+1,k 0 (mod, 0 a, (1.6 A,k : ( 2k , 0 k. 2+1 k I this paper, we shall cofirm Cojecture 1.4 by establishig (1.5 ad (1.6, respectively. More precisely, we shall give q-aalogues of (1.5 ad (1.6. Theq-itegersaredefied by[ 1 q adtheq-shifted factorials(see[5aredefied 1 q by (a;q 0 1 ad (a;q (1 a(1 aq (1 aq 1 for 1,2,... The q-biomial coefficiets are defied as (q;q, if 0 k, (q;q k (q;q k k k q 0, otherwise. It is well-kow that the q-biomial coefficiets are polyomials i q with iteger coefficiets. The polyomials B,k (q ad A,k (q are give by (see [8,10 B,k (q : [k 2, 1 k, [ k A,k (q : q k[2k +1 [2+1 [ k k 2 k 1, 0 k. (1.7 Let P(q be a Lauret polyomial i q ad let D(q be a polyomial i q. For coveiece, we write P(q 0 (mod D(q if P(q/D(q is still a Lauret polyomial i q. We have the followig q-versios of (1.5 ad (1.6. Theorem 1.5 Let be a positive iteger, ad let a ad r be o-egative itegers with a. The, for 0 j 2r +1, there holds 2 1 (1+q k B,k (q 2r+1 q jk2 (r+1k 0 (mod (1+q. 3

4 Theorem 1.6 Let be a positive iteger, ad let a ad r be o-egative itegers with a. The, for 0 j 2r +1, there holds A,k (q 2r+1 q j(k2 +k 0 (mod 2. It is clear that (1.5 ad (1.6 follow from Theorems 1.5 ad 1.6 by lettig q 1. It should also be metioed that the a 0 case of Theorem 1.5 follows from [7, Theorem 1.3, while the a 0 case of Theorem 1.6 ca be deduced from [8, Theorem Proof of Theorem 1.2 We first prove (1.2 holds for r m ad s. Namely, m B,kB 2 m,k 1 2 ( 2 2 ( 2m m [ 1 +2m ( +m m ( ( +k +k. ( m 1 It ca be easily proved by iductio that (see [16, Theorem 2.3(i ( 2 +m m 2m+ 2k ( 2 m+ k 1. 1 Moreover, by reversig the summatio order, we have m 1 ( ( +k +k 1 Hece, the idetity (2.1 is equivalet to m m k ( 2 ( 1 ( 2 2 2m +m m 2m B,k 2 m B m,k ( 2 m+ k 1. 1 m 1 ( 2 m+ k 1 k. (2.2 1 Deote the left-had side ad right-had side of (2.2 by S (m ad T (m, respectively. The Zeilberger s algorithm [15, 19 gives ( 2 +m (2m+S (m+1 (2m++2S (m+, ( 2 +m (2m+T (m+1 (2m++2T (m+. Sice S (0 T (0 0, we coclude that S (m T (m for all o-egative itegers m. 4

5 To prove that (1.2 also holds for r ad s m, otig that m B,kB 2 m,k B,kB 2 m,k, it suffices to prove ( 1 +m m ( ( +k +k 1 1 m 1 which is equivalet to or 1 m+1 m ( +m+1 ( +m ( 2 ( (+k +1m+(+1(k +1 m+1 1 ( ( m+k m ( ( m+k +1 +k m+1 1 ( ( m+k +k m 1 ( m+k m ( +k 1 ( +m ( +m 1 ( +k, (2.3 1 ( +m 1 ( 2,. (2.4 But (2.4 ca be easily proved by Gosper s algorithm. This completes the proof of ( Proof of Theorem 1.3 The m 3 case of [10, Corollary 4.1 gives Namely, 1 k1 k k1 k 3 ( k ( ( k 1 1 ( k ( 3 +k 2 k 1 k1 ( 21 ( 22 ( k 2 +k 3 +k ( 1 1 k 1 1 ( (1 + 2!( 2 + 3!( 3 + 1! 1 ( 3 +k (2 1!(2 2!(2 3! k 1 5 k1 ( k. ( 1 1 k 1 ( k. (3.1

6 Lettig 1 3 ad 2 m i (3.1, we obtai ( 2 ( 1 ( 2 2 2m +m m 2m B 2 m,kb m,k Combiig (2.2 ad (3.2, we get (1.3. ( ( +k 2 1 k 1 k 1 Remark. The idetity (1.3 ca also be proved by Zeilberger s algorithm. 4 Proof of Theorem 1.5 k1 ( m+ m k We first eed to establish the followig result, which is similar to [7, Theorem (3.2 Theorem 4.1 Let be a positive iteger ad let a,r be o-egative itegers with a. The, for j 0,1, there holds 2 [2k[k 2r q (r+1( k+jk2 k 2 0 (mod [+a. Proof. For j 0, let S r (a,;q 2 [2k[k 2r q (r+1( k. k It is easily see that (via telescopig S 0 (a,;q 2 [2kq k 2 [ k +1 k k +1 2 [ [+a. For r 1, sice we have [k 2 [ 2 k 2 q k [ 2 k 2 [ k k 2 2 [2[2 1, k 1 S r (a,;q [ 2 S r 1 (a,;q q r [2[2 1S r 1 (a, 1;q, 1,2,... (4.1 6

7 Applyig the recurrece relatio (4.1 ad by iductio o r, we ca easily prove that, for all positive itegers r, there holds 2 S r (a,;q 0 (mod [+a. (4.2 For j 1, let T r (a,;q 2 [2k[k 2r q (r+1( k+k2. k Usig the relatio [ k q [ k q k(k, we have T 1 r (a,;q q 2 +2r+2 2r 1 S r (a,;q 1. Therefore, from (4.2 we deduce that 2 T r (a,;q 0 (mod [+a. Sice both S r (a,;q ad T r (a,;q are polyomials i q, we obtai the desired result. We also eed the followig geeralizatio of Theorem 4.1. Theorem 4.2 Let 1,..., m, m+1 1 be positive itegers. The for ay o-egative itegers a, j ad r with a 1 ad j m, the expressio m 1 m [2k[k 2r q jk2 (r+1k i + i+1 (4.3 [ m +a 1 a i +k is a Lauret polyomial i q with iteger coefficiets. Proof. Deote (4.3 by S r (a; 1,..., m ;j,q. Let C(a 1,...,a l ;k l i1 The we ca write S a ( 1,..., m ;r,j,q as S r (a; 1,..., m ;j,q (q;q 1 a(q;q m+a 1 (q;q 1 + m For m 3, there holds C( 1,..., m ;k (q;q (q;q m+ 1 (q;q (q;q m+ 3 ai +a i+1 a i +k 1 [ k i1 (a l+1 a 1. [2k[k 2r q jk2 (r+1k C( 1,..., m ;k. [ k (4.4 C( 3,..., m ;k. (4.5 By the q-chu-vadermode summatio formula (see, for example, [1, p. 37, (3.3.10, we have k 1 k 2 +k q s(s+2k, 1 +k s s+2k s0 7

8 which may be rewritte as [ k k 2 +k s0 q s2 +2ks (q;q 1 + 2, (4.6 (q;q s (q;q s+2k (q;q 1 k s(q;q 2 k s where we assume that 1 (q;q 0 for ay egative iteger. Substitutig (4.5 ad (4.6 ito (4.4, we obtai S r (a; 1,..., m ;j,q (q;q (q;q 1 a(q;q m+a 1 (q;q m+ 3 (q;q (q;q 1 a(q;q m+a 1 (q;q m k s0 1 q l2 la where l s+k. Noticig that, for m 3, C( 3,..., m ;k (q;q l k (q;q l+k la q s2 +2ks+jk 2 (r+1k [2k[k 2r C( 3,..., m ;k (q;q s (q;q s+2k (q;q 1 k s(q;q 2 k s l q (j 1k2 (r+1k [2k[k 2r C( 3,..., m ;k, (q;q l k (q;q l+k (q;q 1 l(q;q 2 l (q;q m+ 3 C(l, 3,..., m ;k, (q;q 3 +l(q;q m+l we are led to the followig recurrece relatio 1 1 a 2 + S r (a; 1,..., m ;j,q q l2 3 S r (a;l, 3,..., m ;j 1,q. (4.7 l a 2 l Similarly, for m 2, we have 1 [ 1 a S r (a; 1, 2 ;j,q q l2 l a la [ 2 +a 1 l +a 1 S r (a;l;j 1,q. (4.8 Now we ca give a iductive proof of the theorem. For m 1, the coclusio is true by Theorem 4.1. Suppose that S r (a; 1,..., m 1 ;j,q is a Lauret polyomial i q with iteger coefficiets for some m 2 ad all j with 0 j m 1. The by (4.7 (if m 3 or (4.8 (if m 2, so is S r (a; 1,..., m ;j,q for 1 j m. Furthermore, sice S r (a; 1,..., m ;0,q S r (a; 1,..., m ;m,q 1 q m 1 m m+a(a+ m 1 1 2r for m 2, oe sees that S r (a; 1,..., m ;0,q is also a Lauret polyomial i q with iteger coefficiets. This completes the proof. Note that, by (4.8 ad the q-chu-vadermode summatio formula, there holds S 0 (a; 1, 2 ;1,q q a2 a. 1 +a 1 Let Φ (x be the -th cyclotomic polyomial. The followig result is very useful i dealig with q-biomial coefficiets (see [14, (10 or [3, 9. 8

9 Propositio 4.3 The q-biomial coefficiet [ m k ca be factorized ito m Φ d (q, k d where the product is over all positive itegers d m such that k/d + (m k/d < m/d. Proof of Theorem 1.5. Lettig m 2r +1 ad 1 2r+1 i Theorem 4.2, we see that 1 2r [2k[k 2r q jk2 (r+1k 2 [+a k 1 1 [2 [ 2 1 (1+q k q jk2 (r+1k ([B,k (q 2r+1 is a Lauret polyomial i q with iteger coefficiets. Note that B,k (q is a polyomial i q with iteger coefficiets (see [6, 10. Therefore, gcd ( [2 2 1,[ 2r+1 [2 2 1 (1+q k q jk2 (r+1k B,k (q 2r+1 is a Lauret polyomial i q with iteger coefficiets. It is well-kow that [ d d>1 Therefore, from Propositio 4.3 we immediately deduce that ( 2 1 gcd,[ 1. Φ d (q, (4.9 Moreover, we have [2 (1+q [ ad gcd(1+q,[ 1. It follows that gcd ( [2 2 1,[ 2r+1 [2 [ (1+q [ 2 1. This completes the proof. 9

10 5 Proof of Theorem 1.6 We first eed to establish the followig result. Lemma 5.1 Let be a positive iteger ad let a,s be o-egative itegers with a. The q k [2k +1 (q k ;q s (q k+1 ;q s 0 (mod [2+1. (5.1 k Proof. We proceed by iductio o s. For s 0, we have 2+1 ( 2 q k 2 [2k +1 [2+1 k k k 1 2 [2+1. Suppose (5.1 is true for s. Noticig the relatios 2+1 (q k ;q s+1 (q k+1 ;q s+1 k 2+1 (1 q s (1 q s++1 (q k ;q s (q k+1 ;q s k 2 1 +q s (1 q 2 (1 q 2+1 (q k ;q s (q k+1 ;q s k 1 ad [2[2+1[2 1 [2+1 [[+a, (5.2 1 we ca easily prove that (5.1 holds for s+1. We have the followig geeralizatio of (5.1. Lemma 5.2 Let be a positive iteger ad let a,r,s be o-egative itegers with a. The q (2r+1k [2k +1 2r+1 (q k ;q s (q k+1 ;q s 0 (mod [2+1. (5.3 k Proof. We proceed by iductio o r. Deote the left-had side of (5.3 by X r (a,,s;q. By (5.1, oe sees that (5.3 is true for r 0. For r 1, suppose that 2 X r 1 (a,,s;q 0 mod [2+1 10

11 holds for ay positive iteger ad o-egative itegers a, s with a. It is easy to check that [2k +1 2 q 2k 2 [2+1 2 k k ad therefore, q 2k 2 [ 2 1 k 1 +q 2k s [ 2 1 k 1 X r (a,,s;q q 2 [2+1 2 X r 1 (a,,s;q [2[2+1(1+q s (1+q +s+1 [2[2+1(1 q s k (1 q s+k+1, q 2 [2[2+1(1+q s (1+q +s+1 X r 1 (a, 1,s;q +q s [2[2+1X r 1 (a, 1,s+1;q. (5.4 By the iductio hypothesis ad applyig (5.2, we immediately deduce from the recurrece (5.4 that (5.3 holds for r. Theorem 5.3 Let 1,..., m, m+1 1 be positive itegers. The for ay o-egative itegers a, j ad r with a 1 ad j m, the expressio m 1 m q j(k2 +k (2r+1k [2k +1 2r+1 i + i+1 +1 (5.5 [ 1 + m +1 1 a i k is a Lauret polyomial i q with iteger coefficiets. Proof. Deote (5.5 by S r (a; 1,..., m ;j,q. Let where a l+1 a 1. The S r (a; 1,..., m ;j,q (q;q 1 a(q;q m+a (q;q 1 + m+1 For m 3, we have C( 1,..., m ;k C(a 1,...,a l ;k 1 i1 i1 l ai +a i+1 +1, a i k q j(k2 +k (2r+1k [2k +1 2r+1 C( 1,..., m ;k, (5.6 (q;q (q;q m (q;q 1 +k+1(q;q 2 k(q;q m [ k C( 3,..., m ;k. (5.7 11

12 Applyig (5.7 ad the q-chu-vadermode summatio formula (see [1, p. 37, ( k we may write (5.6 as 1 k s0 S r (a; 1,..., m ;j,q (q;q (q;q 1 a(q;q m+a (q;q m k s0 q s(s+2k+1 (q;q 1 +k+1(q;q 2 k, (5.8 (q;q s (q;q s+2k+1 (q;q 1 k s(q;q 2 k s q j(k2 +k (2r+1k+s(s+2k+1 [2k +1 2r+1 C( 3,..., m ;k (q;q s (q;q s+2k+1 (q;q 1 k s(q;q 2 k s (q;q (q;q 1 a(q;q m+a (q;q m la q l2 +l l where l s+k. Noticig that we obtai C( 3,..., m ;k (q;q l k (q;q l+k+1 1 S r (a; 1,..., m ;j,q la q (j 1(k2 +k (2r+1k [2k +1 2r+1 C( 3,..., m ;k, (q;q l k (q;q l+k (q;q 1 l(q;q 2 l q l2 +l (q;q m C(l, 3,..., m ;k, (q;q 3 +l+1(q;q m+l+1 [ 1 a l a [ l for m 3. Similarly, for m 2, applyig (5.8 we get 1 S r (a; 1, 2 ;j,q la q l2 +l [ 1 a l a [ 2 +a l+a S r (a;l, 3,..., m ;j 1,q (5.9 S r (a;l;j 1,q. (5.10 Similarly to the iductive proof of Theorem 4.2, usig (5.3 (with s 0, (5.9, (5.10 ad the followig relatio S r (a; 1,..., m ;0,q S r (a; 1,..., m ;m,q 1 q m 1 m 1 m+a(a+ m 1 for m 2, we ca prove the theorem. Note that, by (5.10 ad the q-chu-vadermode summatio formula, there holds S 0 (a; 1, 2 ;1,q q a2. 1 +a 12

13 Proof of Theorem 1.6. Lettig m 2r +1 ad 1 2r+1 i Theorem 5.3, we see that 1 2r q j(k2 +k (2r+1k [2k +1 2r+1 [2+1 k q j(k2 +k (2r+1 [2+1 2r+1 A,k (q 2r+1 [2+1 is a Lauret polyomial i q with iteger coefficiets. By (1.7, we kow that A,k (q is a polyomial i q with iteger coefficiets. It follows that gcd ( [2+1 2,[2+1 2r+1 [2+1 2 A,k (q 2r+1 q j(k2 +k is a Lauret polyomial i q with iteger coefficiets. By (4.9 ad Propositio 4.3, it is easy to see that ( 2 gcd,[2+1 1, ad so This completes the proof. gcd ( [2+1 2,[2+1 2r+1 [2+1 [ 2 1 [ 2. 6 Two ope problems Ithissectio, wegivetwo relatedcojectures forfurtherstudy. Thefirst oeisastroger versio of Theorem 4.2, ad is also a geeralizatio of [7, Cojecture 6.3. Cojecture 6.1 Let 1,..., m, m+1 1 be positive itegers. The, for ay iteger j ad o-egative itegers a,r with a 1, the expressio m 1 m [2k[k 2r q jk2 (r+1k i + i+1 [ m +a 1 a i +k is a Lauret polyomial i q, ad it has o-egative iteger coefficiets if 0 j m. Cojecture 6.2 Theorem 5.3 is still true for ay iteger j. Ackowledgmets. The authors thak the aoymous referee for a careful readig of this paper. The first author was partially supported by the Natioal Natural Sciece Foudatio of Chia (grat , the Natural Sciece Foudatio of Jiagsu Provice (grat BK , ad the Qig La Project of Educatio Committee of Jiagsu Provice. 13 i1

14 Refereces [1 G.E. Adrews, The Theory of Partitios, Cambridge Uiversity Press, Cambridge, [2 X.Che, W.Chu, MometsoCatala umbers,j.math. Aal.Appl.349(2009, [3 W.Y.C. Che ad Q.-H. Hou, Factors of the Gaussia coefficiets, Discrete Math. 306 (2006, [4 W. Chu, Momets o quadratic biomial products, J. Number Theory 178 (2017, [5 G. Gasper ad M. Rahma, Basic Hypergeometric Series, Secod Editio, Ecyclopedia of Mathematics ad Its Applicatios, Vol. 96, Cambridge Uiversity Press, Cambridge, [6 V.J.W. Guo ad C. Krattethaler, Some divisibility properties of biomial ad q-biomial coefficiets, J. Number Theory, 135 (2013, [7 V.J.W. Guo, S.-D. Wag, Factors of sums ivolvig q-biomial coefficiets ad powers of q-itegers, J. Diff. Equ. Appl. 23 (2017, [8 V.J.W. Guo, S.-D. Wag, Factors of sums ad alteratig sums of products of q-biomial coefficiets ad powers of q-itegers, Taiwaese J. Math., doi: /tjm/ [9 V.J.W. Guo, J. Zeg, Some arithmetic properties of the q-euler umbers ad q-salié, umbers, Europea J. Combi. 27 (2006, [10 V.J.W. Guo, J. Zeg, Factors of biomial sums from the Catala triagle, J. Number Theory 130 (2010, [11 V.J.W. Guo, J. Zeg, Factors of sums ad alteratig sums ivolvig biomial coefficiets ad powers of itegers, It. J. Number Theory 7 (2011, [12 J.M. Gutiérrez, M.A. Herádez, P.J. Miaa, N. Romero, New idetities i the Catala triagle, J. Math. Aal. Appl. 341 (2008, [13 E. Kilic, H. Prodiger, Idetities with squares of biomial coefficiets: a elemetary ad explicit approach, Publ. Ist. Math. 99 (113 (2016, [14 D. Kuth ad H. Wilf, Thepower of a prime that divides a geeralized biomial coefficiet, J. Reie Agew. Math. 396 (1989, [15 W. Koepf, Hypergeometric Summatio A Algorithmic Approach to Summatio ad Special Fuctio Idetities, 2d Ed., Spriger, Lodo, [16 P.J. Miaa, H. Ohtsuka, N. Romero, Sums of powers of Catala triagle umbers, Discrete Math. 340 (2017, [17 P.J. Miaa, N. Romero, Computer proofs of ew idetities i the Catala triagle, i: Proc. of the Segudas Joradas de Teoría de Números, Madrid, 2007, Biblioteca de la Revista Matemática Iberoamericaa, pp [18 P.J. Miaa, N. Romero, Momets of combiatorial ad Catala umbers, J. Number Theory 130 (2010, [19 M. Petkovšek, H.S. Wilf, ad D. Zeilberger, A B, A K Peters, Ltd., Wellesley, MA, [20 L.W. Shapiro, A Catala triagle, Discrete Math. 14 (1976, [21 S. Staimirović, P. Staimirović, A. Ilić, Ballot matrix as Catala matrix power ad related idetities, Discrete Appl. Math. 160 (2012, [22 R.P. Staley, Eumerative Combiatorics, Vol. 2, Cambridge Uiversity Press, Cambridge,

15 [23 R.P. Staley, Catala Numbers, Cambridge Uiversity Press, Cambridge, [24 Y. Su, F. Ma, Some ew biomial sums related to the Catala triagle, Electro. J. Combi. 21 (1 (2014 #P1.33. [25 Z. Zhag, B. Pag, Several idetities i the Catala triagle, Idia J. Pure Appl. Math. 41 (2010,