arxiv: v1 [math.co] 1 Apr 2013

Transcription

1 Bijective counting of humps and peaks in (k, a)-paths arxiv: v1 [math.co] 1 Apr 2013 Sherry H. F. Yan Department of Mathematics, Zhejiang Normal University, Jinhua , P.R. China huifangyan@hotmail.com Abstract. Recently, Mansour and Shattuck related the total number of humps in all of the (k,a)-paths of order n to the number of super (k,a)-paths, which generalized previous results concerning thecases when k = 1 anda = 1 or a =. They also derived a relation on the total number of peaks in all of the (k,a)-paths of order n and the number of super (k,a)-paths, and asked for bijective proofs. In this paper, we will give bijective proofs of these two relations. Key words: (k, a)-path; hump; peak. AMS Mathematical Subject Classifications: 05A05, 05C30. 1 Introduction A(k,a)-pathofordernisalatticepathinZ Zfrom(0,0)to(n,0)using upsteps U = (1,k), down steps D = (1, 1)and horizontal steps H = (a,0) and never lying below the x-axis. Denote by P n (k,a) the set of all (k,a)-paths of order n. Note that P n (k, ), P n (1, ), P n (1,1), and P n (1,2) are the set of k-ary paths, Dyck paths, Motzkin paths and schröder paths, respectively. If a (k, a)-path of order n is allowed to go below the x-axis, then it is called a super (k,a)-path of order n. Denote by SP n (k,a) the set of all super (k,a)-paths of order n. A peak in a (k,a)-path is any two consecutive steps UD. A hump in a (k,a)-path is an up step followed by zero or more horizontal steps followed by a down step. We denote by #Peaks(P) and #Humps(P) the number of peaks and humps in a path P. Using a recurrence relation and the WZ method, Regev [3] proved that 2 #Humps(P) = SP n (1,1) 1. (1.1) P P n(1,1) 2 #Peaks(P) = SP n (1, ) (1.2) P P n(1, ) 1

2 The bijective proofs of Formulas (1.1) and (1.2) was given by Ding and Du [1]. They also derived the following analogous result for Schröder paths 2 #Humps(P) = SP n (1,2) 1 (1.3) P P n(1,2) Recently, Mansour and Shattuck [2] proved that (k +1) #Humps(P) = SP n (k,a) δ a n, (1.4) (k +1) P P n(k,a) P P n(k,a) #Peaks(P) = SP n (k,a) SP n a (k,a), (1.5) where δ a n = 1 if a divides n or 0 otherwise, and asked for bijective proofs. Specializing k = 1 and a = 1, a = or a = 2 in Formulas (1.4) and (1.5) gives Formulas (1.1), (1.2) and (1.3). The main objective of this paper is to give bijective proofs of Formulas (1.4) and (1.5) in answer to the problem posed by Mansour and Shattuck. 2 The bijective proofs In this section, we will give bijective proofs of (1.4) and (1.5). We begin with some necessary definitions and notations. Let p be a step running from the point (x 1,y 1 ) to the point (x 2,y 2 ). Then we say that the point (x 1,y 1 ) is its starting point, and the point (x 2,y 2 ) is its ending point. The starting point and the ending point of a path are defined analogously. The height of a step is the y-coordinate of its ending point. Similarly, the height of a path is defined to be the height of its rightmost step. A (k,a)-path is said to be m-peak (resp. m-hump) colored if exactly one peak (resp. hump ) is assigned by any of the m colors. Denote by PP m n (k,a) (resp. PMm n (k,a) ) the set of all m-peak (resp. m-hump) colored (k, a)-paths. Let n,m 0. A partial (k,a)-path of order n is a path running from (0,0) to (n,m) using up steps (1,k), horizontal steps (a,0) and down steps (1, 1), and never lying below the x-axis. A (k,a)-path running from (0,0) to a point on the x-axis that never lies below the x-axis is said to be a perfect (k,a)-path. Let P = p 1 p 2...p n be a path. The reverse of the path, denoted by P r, is defined by p n p n 1...p 1. For example, let P = HUDDUDH. The reverse of P is HDUDDUH. Denote by H m the m consecutive horizontal steps. 2

3 Observe that the left-hand sides of (1.4) and (1.5) are equal to PM k+1 n (k, a) and PP k+1 n (k, a), respectively. Moreover, the right-hand side of (1.4) counts the number of super (k,a)-paths of order n and with at least one up step. The right-hand side of (1.5) counts the number of super (k,a)-paths of order n which do not end with horizontal steps. Denote by S n(k,a) and S n(k,a) the set of all super (k,a)-paths of order n and with at least one up step, and the set of all super (k, a)-paths of order n which do not end with horizontal steps, respectively. Thus Formulas (1.4) and (1.5) can be rewritten as PM k+1 n (k,a) = S n(k,a), (2.1) PP k+1 n (k,a) = S n(k,a). (2.2) InordertoproveFormulas(2.1)and(2.2), wewillestablishabijectionφbetween the set PM k+1 n (k,a) and the set S n(k,a). Moreover, we show that the map φ restricted to the set PP k+1 n (k,a) gives a bijection between the set PP k+1 n (k, a) and the set S n(k,a). Now we proceed to describe the map φ from the set PM k+1 n (k,a) to the set S n(k,a). Given a (k + 1)-hump colored (k,a)-path P = p 1 p 2...p n of order n, suppose that the colored hump is p l p l+1...p m = UH m l 1 D, which is colored by c. Assume that a 0 = 0. Then the path P can be uniquely decomposed as where Q 0 Q 1...Q d UH l m 1 DR d i=0 a i+k D...DR 2DR 1 (2.3) 1 a j k; Q 0 is a (possibly empty) perfect (k,a)-path; each R i is a (possibly empty) perfect (k,a)-path; for all j 1, each Q j is a partial (k,a)-path which starts with an up step, runs from (0,0) to the point on the line y = a j, and never goes below the line y = a j except for the first up step. Let S j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r Q j, where b j = j i=0 a i. Then we define φ(p) as follows: 3

4 (i) if c = 1, then (ii) if c = k +1, then φ(p) = Q 0 S 1 S 2...S d UR bd +1DR bd +2...DR bd +kdh m l 1 ; φ(p) = Q 0 S 1 S 2...S d D(R bd +1) r D(R bd +2) r...d(r bd +k) r UH m l 1 ; (iii) if 1 < c < k, then φ(p) = Q 0 S 1 S 2...S d D(R bd +1) r D(R bd +2) r...d(r bd +c 1) r UR bd +cd...dr bd +k 1DR bd +kdh m l 1. According to the construction of the map φ, we preserve the number of up steps, the number of down steps and the number of horizontal steps. Moreover, there is at least one up step in the resulting path. Hence, the map φ is well defined, that is, φ(p) S n(k,a). Remark 2.1 Our map φ restricted to case when k = 1 is different from the bijection given by Ding and Du [1]. Example 2.2 An example of the decomposition of a (3,2)-path is shown in Figure 1, where the colored hump is marked by a star. We have P 1 = Q 0 Q 1, P 2 = Q 0 Q 1 Q 2, R 2 = R 5 = R 6 =, a 0 = 0, and a 1 = a 2 = 2. Suppose that the hump is colored by 2. By applying the map φ, we get its corresponding super (3,2)-path shown in Figure 2. Q 0 Q 1 Q 2 R 7 R 4 R 3 R 1 * Figure 1: The decomposition of a (3, 2)-path. In order to show that φ is a bijection, we describe a map ψ from the set S n,k to the set PM k+1 n (k,a). Given a super (k,a)-path Q S n(k,a), suppose that its rightmost up step that intersects the x-axis is running from the point on the line y = p to the point on the line y = q. We proceed to construct ψ(q) as follows. 4

5 Q 0 (R 1 ) r Q 1 (R 3 ) r (R 4 ) r Q 2 R 7 Figure 2: The application of φ to the path shown in Figure 1. (i ) If q > 0 and p = 0, the Q can be uniquely decomposed as where Q = V 0 V 1...V d UR 1 DR 2...DR k DH l, V 0 is a (possibly empty ) perfect (k,a)-path; each R j is a (possibly empty) perfect (k,a)-path; for all j 1, each V j is a super (k,a)-path such that by figuring out its leftmost up step that intersects the x-axis, V j can be uniquely decomposed as D(R (j) 1 )r D(R (j) 2 )r...d(r (j) c j ) r UT j such that 1 c j k, each R (j) i is a (possibly empty) perfect (k, a)- path, and the path UT j is partial (k,a)-path which runs from (0,0) to the point on the line y = c j and never goes below the line y = c j except for the first up step. Then set ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by 1 and for all j 1. W j = DR c (j) j...dr (j) 2 DR(j) 1 5

6 (ii ) If q = 0, then Q can be uniquely decomposed as Then set Q = V 0 V 1...V d D(R 1 ) r D(R 2 ) r...d(r k ) r UH l. ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by k +1. (iii ) If q > 0 and p < 0, then Q can be uniquely decomposed as Then set Q = V 0 V 1...V d D(R 1 ) r D(R 2 ) r...d(r p ) r UR p +1 D...DR k DH l. ψ(q) = V 0 UT 1 UT 2...UT d UH l DR k...dr 2 DR 1 W d W d 1...W 1, where the hump UH l D is colored by p +1. Since each UT j is running from(0,0)to the point onthe line y = c j, and never goes below the line y = c j except for the first up step, the path V 0 UT 1 UT 2...UT d is a partial path running from (0,0) to the point on the line y = d i=1 c i. Thus, ψ(q) is a (k,a)-path running from (0,0) to (n,0). Moreover, it is easily seen that exactly one hump of ψ(q) is colored by any of the k + 1 colors. Thus the map ψ is well defined. In order to show that the maps φ and ψ are inverses of each other. We need to show the following lemma. Lemma 2.3 Let P PM k+1 n (k,a). Suppose that P is decomposed as Formula 2.3. Then for all j 1, the path S j is a super (k,a)-path such that by figuring out its leftmost up step that intersects the x-axis, it can be uniquely decomposed as S j = X j UY j satisfying that and UY j = Q j. Proof. Recall that X j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r S j = D(R bj 1 +1) r...d(r bj 1) r D(R bj ) r Q j. This implies that the leftmost up step that intersects the x-axis is positioned in Q j. Note that Q j is a path which starts with an up step, runs from (0,0) to the 6

7 point on the line y = a j, which do not go below the line y = a j except for the first up step. This implies that the path S j is a super (k,a)-path. Since we have 1 a j k, the leftmost up step of S j that intersects the x-axis should be the first step of Q j. This completes the proof. Lemma 2.3 guarantee that the maps φ and ψ are inverses of each other. Thus we deduce the following result. Theorem 2.4 The map φ is a bijection between the set PM k+1 n (k,a) and the set S n (k,a). Moreover, for any P PMk+1 n (k, a) whose colored hump consists of UH l D, the corresponding super (k,a)-path φ(p) is ending with exactly l consecutive horizontal steps. FromTheorem2.4,itfollowsthatthebijectionφrestrictedtothesetPP k+1 n (k, a) reduces to a bijection between the set PP k+1 n (k,a) and the set S n (k,a). Thus we get bijective proofs of Formulas (1.4) and (1.5). Acknowledgments. The author was supported by the National Natural Science Foundation of China (No ). References [1] Y. Ding, R.R.X. Du, Counting humps in Motzkin paths, Discrete Appl. Math. 160 (2012), [2] T. Mansour, N. Shattuck, Counting humps and peaks in generalized Motzkin paths, Discrete Appl. Math. (2013), [3] A. Regev, Humps for Dyck paths and for Motzkin paths, Preprint, arxiv: math.co v1. 7