A -DIGITAL BINOMIAL THEOREM TOUFIK MANSOUR AND HIEU D. NGUYEN arxiv:1506.07945v1 [math.nt] 26 Jun 2015 Abstract. We present a multivariable generalization of the digital binomial theorem from which a -analog is derived as a special case. 1. Introduction The classical binomial theorem is amportant fundamental result in mathematics: n ( n (x+y n x y n. 0 In 2006, Callan [5] found a digital version of the binomial theorem (see also [8] and one of us [9] recently found a non-binary extension of Callan s result. Theorem 1 (digital binomial theorem [5, 8]. Let n be a non-negative integer. Then (x+y s(n x s(m y s(n m. (1 (m,n m carry-free In (1, s(m denotes the binary sum-of-digits function. Moreover, a pair of non-negative integers (j, is said to be carry-free if their sum in binary involves no carries. In this paper, we establish a -analog of the digital binomial theorem: Theorem 2 (-digital binomial theorem. Let n be a non-negative integer with binary expansion n n 2 + +n 0 2 0. Then ( x+ i y + 1 (m,n m carry-free zn(m x s(m y s(n m. (2 In (2, z n (m is a function that counts (in a weighted manner those digits in the N-bit binary expansion of m that are less than the corresponding digits of n (see Definition 7. In the special case where n 2 N 1, euation (2 simplifies to n (x+y(x+y (x+ y zn(m x s(m y s(n m. (3 Date: 6-25-2015. 2010 Mathematics Subject Classification. Primary 11B65; Secondary 28A80. Key words and phrases. binomial theorem, Sierpińsi matrix, sum-of-digits, -binomial coefficient. 1
Observe that (3 is a variation of the well-nown terminating -binomial theorem attributed to H. A. Rothe [10] (see [2, Cor. 10.2.2(c, p. 490] or [3, E. 1.13, p. 15]: N ( N (x+y(x+y (x+ y ( 1/2 x N y, (4 0 where ( N denotes the -binomial coefficient given by (see [1, Def. 3.1, p. 35] or [6, Exercise 1.2, p. 24] ( N (1 N (1 (1 N +1 (1 (1 2 (1 for 0 N. As an application, we set x 1 in both (3 and (4 and euate coefficients corresponding to lie powers of y to obtain the following formula for -binomial coefficients: Theorem 3. For any 0 N, ( 1/2 ( N s(m zn(n m. (5 For example, if N 3 so that n 2 N 1 7, then we obtain from (5 nown values for the -binomial coefficients ( 3 z7(7 1 0 ( 3 z7(6 + z7(5 + z7(3 1+ + 2 1 ( 3 1 2 (z 7(4 + z7(2 + z7(1 1 ( +2 + 3 1+ + 2 ( 3 1 3 3 z 7(0 1. Other identities can be derived from (3 as follows: 1. Setting x y 1, we obtain n zn(m 2(1+ (1+. 2. Differentiating respect to x and setting x y 1, we obtain n Then setting 1 gives s(m zn(m 2(1+ (1+ 1 1+ i. n s(m N 2. 2 j0
3. Differentiating respect to and setting 1, we obtain n ( N z m (mx s(m y s(n m y(x+y. 2 We shall derive Theorem 2 as a special case of the following multivariable generalization of the digital binomial theorem, which extends the main result in [9]. Our notation for the generalized binomial coefficients appearing in (6 is given Definition 8. Theorem 4. Let n be a non-negative integer with base b expansion n n b + +n 0 b 0. Then ( xi +y i ;r i ( ( xi ;r i ( yi ;r i, (6 m i 0 m b n where m m b + +m 0 b 0 and m b n denotes the fact that each digit of m is less or eual to each corresponding digit of n base b (see Definition 6. In particular, Theorem 2 now follows by setting b 2, x i x, y i i y, and r i 1 in (6. By maing the substitutions x i p i x, y i i y, and r i r in (6, we also obtain the following three-parameter version of the digital binomial theorem. Theorem 5. Let n be a non-negative integer with base b expansion n n b + +n 0 b 0. Then ( p i x+ i y;r ( ( p i x;r ( i y;r, (7 m i m i where m m b + +m 0 b 0. 0 m b n The proof of Theorem 4 will be given Section 2, where we develop a multivariable generalization of the Sierpińsi matrix and use its multiplicative property to derive (6. m i 2. Multivariable Sierpinsi Matrices We begin with some preliminary definitions and assume throughout this paper that b is anteger greater than 1. Our first definitionvolves the notion of digital dominance (see [4, 9]. Definition 6. Let m and n be non-negative integers with base b expansions m m b + +m 0 b 0 and n n b + +n 0 b 0, respectively. We denote m b n to mean that m is digitally less than n base b, i.e., m n for all 0,...,N 1. Observe that m digitally less than s euivalent to the pair (m,n m being carry-free, i.e., the sum of m and n m involves no carries when performed in base b. This is also euivalent to the euality (see [4] s b (m+s b (n m s b (n, where s b (m is the base b sum-of-digits function. Definition 7. Let m and n be non-negative integers and assume m b n. We define z n (m;b 0 3 (1 δ(n,m, (8
where δ is the Kronecer delta function: δ(i,j 1 if i j; otherwise, δ(i,j 0. NOTE: If b 2 (binary, we denote z n (m : z n (m;2. Definition 8. We define the generalized binomial coefficient ( x;r d by ( x;r x(x+r (x+(d 1r, (9 d d! where we set ( x;r 1. 0 Observe that if r 1, then ( ( x;1 d gives the ordinary binomial coefficient x+d 1. The following identity will be useful later in our paper. Lemma 9. Let p and be non-negative integers with p. Then p ( ( ( x;r y;r x+y;r. (10 p v v p v Proof. This identity can be obtained as a special case of the Chu-Vandemonde convolution formula for ordinary binomial coefficients (see [7, E. (3, p. 84] or [9, Lemma 7]: p ( ( ( x+p v 1 y +v 1 x+y +p 1. (11 p v v p v It suffices to mae the change of variables x x/r and y y/r in (11 and use the relation ( x/r +d 1 1 ( x;r d r d d to obtain (10. Next, we define a multivariable analog of the Sierpińsi matrix. Definition 10. Let N be a non-negative integer. Denote x N (x 0,...,x and r N (r 0,...,r. For N > 0, we define the N-variable Sierpińsi matrix of dimension b N b N by α N (j,,x N,r N S b,n (x N,r N (α N (j,,x N,r N ( xi ;r i if 0 j b N 1 d i and b j; 0, otherwise, where j d 0 b 0 +d 1 b 1 +...+d b is the base-b expansion of j. If N 0, we set S b,0 (x 0,r 0 1. The following lemma gives a recurrence for S b,n (x N,r N. 4 d (12
Lemma 11. The Sierpińsi matrix S b,n (x N,r N satisfies the recurrence where we define S b,1 (x,r S b,n+1 (x N+1,r N+1 S b,1 (x N,r N S b,n (x N,r N, (13 1 0 0 0 1 0 0 1 ( x;r 1 0 2 1...... (. x;r ( x;r b 2 b 3 1 ( x;r ( x;r ( x;r b 1 { ( x;r j, if 0 j b 1; 0, otherwise. Proof. We argue by induction on N. The recurrence clearly holds for N 0. Next, assume that the recurrence holds for arbitraryn. We shall prove that the recurrence holds for N+1. Since S N+1 (x N+1,r N+1 is a suare matrix of size b N+1, we can write it as a b b matrix of blocs (A p, 0 p, b 1, that is A 0,0... A 0,b 1 S N+1 (x N+1,r N+1....., A b 1,0... A b 1,b 1 where each A p, is a suare matrix of size b N. Let A p, be an arbitrary bloc. We consider two cases: Case 1. p <. Then by definition of S b,n+1 (x N,r N we have that A p, 0. Case 2. p. Let α N+1 (j,,x N,r N be an arbitrary entry of A p,. Then pb N j (p + 1b N 1 and b N ( + 1b N 1. Set j j pb N and b N. If j <, then α N+1 (j,,x N,r N 0 by definition. Therefore, assume j. Let j d 0 b 0 +d 1 b 1 + +d N b N, where d N p. Then j d 0 b 0 +d 1 b 1 + +d b. Since b j if and only if b j, it follows that N α N+1 (j,,x N+1,r N+1 0 otherwise. ( xn ;r N α b,n (j,,x N,r N. d N ( xi ;r i d i if 0 j b N+1 1 and b j; Thus, ( xn ;r N A p, S b,n (x N,r N, p (14 or euivalently, S b,n+1 (x N+1,r N+1 S b,1 (x N,r N S b,n (x N,r N. We now demonstrate that our Sierpińsi matrices are multiplicative. Theorem 12. Let N be a non-negative integer. Then where we define S b,n (x N,r N S b,n (y N,r N S b,n (x N +y N,r N, (15 x N +y N (x 0 +y 0,x 1 +y 1,...,x +y. 5
Proof. We argue by induction on N. By definition, (15 clearly holds for N 0. For N 1, let β(j, denote the (j,-entry of T S b,1 (x 1,r 1 S b,1 (y 1,r 1. Since T is lower-triangular, we have that β(j, 0 if j <. Therefore, we assume j. Then β(j, j i which follows from Lemma 9. Thus, ( x0 ;r 0 j i ( y0 ;r 0 i ( x0 +y 0 ;r 0 j S b,1 (x 1,r 1 S b,1 (y 1,r 1 S b,1 (x 1 +y 1,r 1,, (16 which shows that (15 holds for N 1. Next, assume that (15 holds for arbitrary N. We intend to prove that (15 holds for N +1. By Lemma 11 and the mixed-property of a Kronecer product, we have S b,n+1 (x N+1,r N+1 S b,n+1 (y N+1,r N+1 (S b,1 (x N,r N S b,n (x N,r N (S b,1 (y N,r N S b,n (y N,r N (S b,1 (x N,r N S b,1 (y N,r N (S b,n (x N,r N S b,n (y N,r N. Hence, by the induction hypothesis and Lemma 11 again, we obtain This proves that (15 holds for N +1. S b,n+1 (x N+1,r N+1 S b,n+1 (y N+1,r N+1 S b,1 (x N +y N,r N S b,n (x N +y N,r N S b,n+1 (x N+1 +y N+1,r N+1. Proof of Theorem 4. We euate the matrix entries at position (n,0 in both sides of (15 to obtain ( ( xi ;r i ( yi ;r i ( xi +y i ;r i. m i m i 0 m b n It remains to switch the roles of x and y to obtain (6 as desired. Proof of Theorem 2. We set b 2, x i x, y i i y, and r i 1 in (6 to obtain ( ( x+ i y + 1 ( x+mi 1 ( i y + m i 1. m i (m,n m carry-free Observe that since the digits m i and can only tae on the values 0 or 1 with m i, we have ( x+mi 1 x m i x s(m and where m i m i ( i y + m i 1 C y s(n m, m i C i( m i z n (m. 6
It follows that This proves (2. ( x+ i y + 1 (m,n m carry-free zn(m x s(m y s(n m. We conclude by observing that many other variations of euation (3 can be obtained by maing appropriate substitutions for the variables in Theorems 2 and 4. For example, euation (3 can be extended to obtain a p,-analog of the digital binomial theorem by replacing y with yp 1 N, with p, and then multiplying through by p (N/2 : n (p x+y(p N 2 x+y (x+ y p wn(m zn(m x s(m y s(n m. Here, w n (m (N 1δ(n,m (N 1s(m z n (n m 0 is a reverse-weighted sum of the positions of the digit 1 in the N-bit binary expansion of m. References [1] G. E. Andrews, The Theory of Partitions, Addison-Wesley, Reading, MA, 1976. [2] G. E. Andrews, R. Asey, R. Roy, Special Functions, Cambridge University Press, 1999. [3] R. Asey, A brief introduction to the world of, Symmetries and Integrability of Difference Euations, D. Levi, L. Vinet and P. Winternitz (editors, CRM Proceedings and Lecture Notes, Amer. Math. Soc., 1996. [4] T. Ball, T. Edgar, and D. Juda, Dominance orders, generalized binomial coefficients, and Kummer s theorem, Math. Mag. 87 (2014, 135 143. [5] D. Callan, Sierpinsi s triangle and the Prouhet-Thue-Morse word, preprint, http://arxiv.org/abs/math/0610932. [6] G. Gasper and M. Rahman, Basic Hypergeometric Series, Encyclopedia of Mathematics and Its Applications, Vol. 96, Cambridge University Press, 2004. [7] H. W. Gould, Some generalizations of Vandermonde s convolution, Amer. Math. Monthly 63 (1956, 84 91. [8] H. D. Nguyen, A digital binomial theorem, preprint, http://arxiv.org/abs/1412.3181. [9] H. D. Nguyen, A generalization of the digital binomial theorem, J. Integer Se. 18 (2015, Article 15.5.7. [10] H. A. Rothe, Systematisches Lehrbuch der Arithmeti, Leipzig, 1811. Department of Mathematics, University of Haifa, 31905 Haifa, Israel E-mail address: toufi@math.haifa.ac.il Department of Mathematics, Rowan University, Glassboro, NJ, USA E-mail address: nguyen@rowan.edu 7