Arxiv:1801.08905V1 [Math.CO] 26 Jan 2018 Congruence
Total Page:16
File Type:pdf, Size:1020Kb
Preprint ON MOTZKIN NUMBERS AND CENTRAL TRINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 210093, People’s Republic of China [email protected] http://maths.nju.edu.cn/ zwsun ∼ Abstract. n n 2k The Motzkin numbers Mn = Pk=0 2k k /(k +1) (n = 0, 1, 2,... ) and the central trinomial coefficients Tn (n = 0, 1, 2,... ) given by the constant term of (1+x+x−1)n have many combinatorial interpretations. In this paper we establish the following surprising arithmetic properties of them with n any positive integer: n 2 2 Z X(2k + 1)Mk ∈ , n k=1 − 2 2 − n 1 n (n 1) X k(k + 1)(8k + 9)TkTk+1, 6 k=0 and also n−1 2 n−1−k X(k + 1)(k + 2)(2k + 3)Mk 3 = n(n + 1)(n + 2)MnMn−1. k=0 1. Introduction arXiv:1801.08905v1 [math.CO] 26 Jan 2018 In combinatorics, the Motzkin number Mn with n N = 0, 1, 2,... is the number of lattice paths from the point (0, 0) to the point∈ (n, 0){ which never} dip below the line y = 0 and are made up only of the allowed steps (1, 0) (east), (1, 1) (northeast) and (1, 1) (southeast). It is well known that − ⌊n/2⌋ n M = C n 2k k Xk=0 where C denotes the Catalan number 2k 2k = 2k /(k + 1). k k − k+1 k 2010 Mathematics Subject Classification. Primary 05A10, 05A19; Secondary 11A07, 11B75. Keywords. Motzkin number, central trinomial coefficient, Delannoy number, Schr¨oder number, congruence. Supported by the National Natural Science Foundation of China (grant 11571162). 1 2 ZHI-WEI SUN For n N, the central trinomial coefficient Tn is the constant term in the expansion∈ of (1 + x + x−1)n. By the multi-nomial theorem, we see that ⌊n/2⌋ n 2k n n n k T = = − . n 2k k k k kX=0 kX=0 It is known that Tn coincides with the number of lattice paths from the point (0, 0) to (n, 0) with only allowed steps (1, 0) (east), (1, 1) (northeast) and (1, 1) (southeast). − Let p > 3 be a prime. The author [S14a, Conjecture 1.1(ii)] conjectured p−1 p−1 p p M 2 (2 6p) (mod p2), kM 2 (9p 1) (mod p2), k ≡ − 3 k ≡ − 3 Xk=0 Xk=0 and p−1 4 p p p T M + 1 9 (mod p2), k k ≡ 3 3 6 − 3 Xk=0 · where ( p ) denotes the Legendre symbol. The three supercongruences look curious and challenging. Motivated by the above work, we establish the following new results. Theorem 1.1. (i) For any n Z+ = 1, 2, 3,... , we have ∈ { } 2 n s(n) := (2k + 1)M 2 Z. (1.1) n k ∈ Xk=1 (ii) For any prime p > 3, we have p−1 p (2k + 1)M 2 12p (mod p2). (1.2) k ≡ 3 Xk=0 Remark 1.1. The values of s(1),...,s(10) are as follows: 6, 23, 90, 432, 2286, 13176, 80418, 513764, 3400518, 23167311. Theorem 1.2. For any n Z+ we have ∈ n2(n2 1) n−1 − k(k + 1)(8k + 9)T T . (1.3) 6 k k+1 k=0 X Remark 1.2. If we define 6 n−1 t(n) := k(k + 1)(8k + 9)T T (n =2, 3,... ), n2(n2 1) k k+1 − Xk=0 ON MOTZKIN NUMBERS AND CENTRAL TRINOMIAL COEFFICIENTS 3 then the values of t(2),t(3),...,t(10) are as follows: 51, 271, 1398, 8505, 54387, 367551, 2570931, 18510739, 136282347. Let b, c Z and n N. The generalized central trinomial coefficient Tn(b, c) denotes the∈ coefficient∈ of xn in the expansion of (x2 + bx + c)n (cf. [S14a] and [S14b]). By the multi-nomial theorem, we see that ⌊n/2⌋ n 2k T (b, c) = bn−2kck. n 2k k kX=0 The generalized Motzkin number Mn(b, c) introduced in [S14a] is given by ⌊n/2⌋ n M (b, c) = C bn−2kck. n 2k k kX=0 2n Note that Tn(1, 1) = Tn Mn(1, 1) = Mn, Tn(2, 1) = n and Mn(2, 1) = Cn+1. Also, T (3, 2) coincides with the (central) Delannoy number n n n n + k n n + k 2k D = = , n k k 2k k kX=0 kX=0 which counts lattice paths from (0, 0) to (n,n) in which only east (1, 0), north (0, 1), and northeast (1, 1) steps are allowed (cf. R. P. Stanley [St99, p. 185]). And Mn(3, 2) equals the little Schr¨oder number n+1 n+1−k sn+1 = N(n +1,k)2 Xk=1 with the Narayana number N(m, k) (m > k > 1) given by 1 m m N(m, k) := Z. m k k 1 ∈ − The little Schr¨oder numbers and the Narayana numbers also have many combina- torial interpretations (cf. [St97] and [Gr, pp.268–281]). See also [S11] and [S18] for some congruences involving the Delannoy numbers or the little Schr¨oder numbers. Theorem 1.3. Let b, c Z with b =0 and d = b2 4c =0, and let n Z+. Then ∈ 6 − 6 ∈ n n(n + 1) b kT (b, c)T (b, c)dn−k (1.4) 2 k k−1 k=1 X and n2(n + 1)2 n b 3 k3T (b, c)T (b, c)dn−k. (1.5) 4 k k−1 k=1 X 4 ZHI-WEI SUN Also, (2,n) n−1 (k + 1)(k + 2)(2k + 3)M (b, c)2dn−1−k Z (1.6) n(n + 1)(n + 2) k ∈ Xk=0 and n−1 (k + 1)(k + 2)(2k + 3) M (b, c)M (b, c) M (b, c)2( d)n−1−k = n n−1 Z, (1.7) n(n + 1)(n + 2) k − b ∈ Xk=0 where (m, n) denotes the greatest common divisor of two integers m and n. Remark 1.3. For each n Z+, (1.7) with b = c = 1 gives the curious identity ∈ n−1 2 n−1−k (k + 1)(k + 2)(2k + 3)Mk 3 = n(n + 1)(n + 2)MnMn−1. (1.8) Xk=0 In the case b = 3 and c = 2, Theorem 1.3 yields the following consequence. Corollary 1.1. For any n Z+ we have ∈ n(n + 1) n n2(n + 1)2 n 3 kD D , k3D D , (1.9) 2 k k−1 4 k k−1 k=1 k=1 X X n(n + 1)(n + 2) n k(k + 1)(2 k + 1)s2, (1.10) (2,n) k k=1 X and 1 n s s k(k + 1)(2k + 1)( 1)n−ks2 = n n+1 Z. (1.11) n(n + 1)(n + 2) − k 3 ∈ Xk=1 Theorems 1.1-1.3 are quite sophisticated and their proofs need various tech- niques. We will show Theorems 1.1-1.3 in Sections 2-4 respectively. In Section 5 we are going to pose some related conjectures for further research. 2. Proof of Theorem 1.1 For n Z+ the author [S18] introduced the polynomial ∈ n k−1 n−k sn(x) := N(n,k)x (x + 1) (2.1) Xk=1 for which s (1) is just the little Schr´oder number s . For n N, define n n ∈ n n n + k xk n n + k S (x) = = C xk. (2.2) n k k k +1 2k k kX=0 Xk=0 Then Sn(1) equals the large Schr¨oder number Sn which counts the lattice paths from the point (0, 0) to (n,n) with steps (1, 0), (0, 1) and (1, 1) which never rise above the line y = x. As proved by the author [S18], we have S (x)=(x + 1)s (x) forall n Z+. (2.3) n n ∈ ON MOTZKIN NUMBERS AND CENTRAL TRINOMIAL COEFFICIENTS 5 Lemma 2.1. (i) For any n Z+ we have ∈ n n + k 2k 2k n(n + 1)s (x)2 = (x(x + 1))k−1. (2.4) n 2k k k +1 kX=1 (ii) Let b, c Z with d = b2 4c =0. For any n N we have ∈ − 6 ∈ n b/√d 1 Mn(b, c)=(√d) sn+1 − . (2.5) 2 ! Proof. As(x + 1)sn(x) = Sn(x) by (2.3), the identity (2.4) has the equivalent version n n + k 2k 2k n(n + 1)S (x)2 = xk−1(x + 1)k+1 n 2k k k +1 Xk=1 which appeared as [S12a, (2.1)]. So (2.4) holds. The identity (2.5) was proved in [S18, Lemma 3.1]. Remark 2.1. For n N and b, c Z with b2 = 4c, by combining the two parts of Lemma 2.1 we obtain∈ that ∈ 6 1 n+1 n + k +1 2k 2k M (b, c)2 = ck−1(b2 4c)n+1−k. n (n + 1)(n + 2) 2k k k +1 − k=1 X (2.6) Lemma 2.2. For any n Z+ we have ∈ n 2 (2k + 1)Mk k=1 X (2.7) n+1 (4n 2k + 3)(n + k + 2) n + k +1 2k 2k +1 = − ( 3)n+1−k. n +2 2k k k − Xk=0 Proof. In view of (2.6), we have n n 2k +1 k+1 k + j +1 2j 2j (2k + 1)M 2 = ( 3)k+1−j k (k + 1)(k + 2) 2j j j +1 − j=1 Xk=0 Xk=0 X n 2k +1 k k + l +2 2l +2 2l +2 = ( 3)k−l (k + 1)(k + 2) 2l +2 l +1 l − k=0 l=0 Xn n X = F (k,l), Xk=0 Xl=0 6 ZHI-WEI SUN where 2k +1 k + l +2 2l +2 2l +2 F (k,l) := ( 3)k−l.