A Recursive Relation for Weighted Motzkin Sequences

Similar documents
Animals and 2-Motzkin Paths

Discrete Applied Mathematics

Paths, Permutations and Trees. Enumerating Permutations Avoiding Three Babson - Steingrímsson Patterns

Motzkin Paths with Vertical Edges

Sequences that satisfy a(n a(n)) = 0

A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!

Combinatorial proofs of addition formulas

Transformations Preserving the Hankel Transform

CATALAN DETERMINANTS A COMBINATORIAL APPROACH

Series of Error Terms for Rational Approximations of Irrational Numbers

THE LOG-BEHAVIOR OF THE SEQUENCE FOR THE PARTIAL SUM OF A LOG-CONVEX SEQUENCE. 1. Introduction

RECOUNTING DETERMINANTS FOR A CLASS OF HESSENBERG MATRICES. Arthur T. Benjamin Department of Mathematics, Harvey Mudd College, Claremont, CA 91711

INCOMPLETE BALANCING AND LUCAS-BALANCING NUMBERS

ENUMERATION OF CONNECTED CATALAN OBJECTS BY TYPE. 1. Introduction

Jumping Sequences. Steve Butler 1. (joint work with Ron Graham and Nan Zang) University of California Los Angelese

Counting Palindromic Binary Strings Without r-runs of Ones

Sums of Squares and Products of Jacobsthal Numbers

On divisibility of Narayana numbers by primes

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

*!5(/i,*)=t(-i)*-, fty.

On the log-convexity of combinatorial sequences arxiv:math/ v3 [math.co] 27 Nov 2006

BIJECTIVE PROOFS FOR FIBONACCI IDENTITIES RELATED TO ZECKENDORF S THEOREM

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

Discrete Math, Spring Solutions to Problems V

BEATTY SEQUENCES AND WYTHOFF SEQUENCES, GENERALIZED

Some statistics on permutations avoiding generalized patterns

A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS

MULTI-RESTRAINED STIRLING NUMBERS

Four Proofs of the Ballot Theorem 1

Investigating Geometric and Exponential Polynomials with Euler-Seidel Matrices

Dyck paths with a first return decomposition constrained by height

Two Identities Involving Generalized Fibonacci Numbers

Incomplete Tribonacci Numbers and Polynomials

Fibonacci Number of the Tadpole Graph

Section 11.1 Sequences

A LINK BETWEEN ORDERED TREES AND GREEN-RED TREES

Jumping Sequences. Steve Butler Department of Mathematics University of California, Los Angeles Los Angeles, CA

RESEARCH ARTICLE. Linear Magic Rectangles

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Applications of Riordan matrix functions to Bernoulli and Euler polynomials

Combinatorial properties of the numbers of tableaux of bounded height

Certain Diophantine equations involving balancing and Lucas-balancing numbers

Multiplicity Free Expansions of Schur P-Functions

Equitable list colorings of planar graphs without short cycles

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

What you learned in Math 28. Rosa C. Orellana

Bijective proofs for Fibonacci identities related to Zeckendorf s Theorem

Binomial coefficients and k-regular sequences

ON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS

On Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2

Pascal Eigenspaces and Invariant Sequences of the First or Second Kind

On Certain Sums of Stirling Numbers with Binomial Coefficients

THE GENERALIZED TRIBONACCI NUMBERS WITH NEGATIVE SUBSCRIPTS

Chung-Feller Property in View of Generating Functions

Largest Values of the Stern Sequence, Alternating Binary Expansions and Continuants

q GAUSS SUMMATION VIA RAMANUJAN AND COMBINATORICS

1 Take-home exam and final exam study guide

ABSTRACT 1. INTRODUCTION

On a conjecture concerning the sum of independent Rademacher random variables

Two truncated identities of Gauss

Taylor Expansions with Finite Radius of Convergence Work of Robert Jentzsch, 1917

Applications of Chromatic Polynomials Involving Stirling Numbers

ECO-generation for some restricted classes of compositions

q-pell Sequences and Two Identities of V. A. Lebesgue

Some Notes on Distance-Transitive and Distance-Regular Graphs

Impulse Response Sequences and Construction of Number Sequence Identities

A Generalization of Wigner s Law

arxiv: v1 [math.co] 6 Nov 2007

Generalized Fibonacci Numbers and Blackwell s Renewal Theorem

arxiv:math/ v1 [math.co] 10 Nov 1998

ON HOFSTADTER S MARRIED FUNCTIONS

q-counting hypercubes in Lucas cubes

d-regular SET PARTITIONS AND ROOK PLACEMENTS

Integer Sequences Related to Compositions without 2 s

#A91 INTEGERS 18 (2018) A GENERALIZED BINET FORMULA THAT COUNTS THE TILINGS OF A (2 N)-BOARD

Newton, Fermat, and Exactly Realizable Sequences

Explicit formulas for computing Bernoulli numbers of the second kind and Stirling numbers of the first kind

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002)

arxiv: v1 [math.co] 20 Dec 2016

Mathematica Slovaca. Jaroslav Hančl; Péter Kiss On reciprocal sums of terms of linear recurrences. Terms of use:

arxiv: v1 [math.co] 13 Jul 2017

AVOIDING PERMUTATIONS AND THE NARAYANA NUMBERS

Fibonacci and Lucas numbers via the determinants of tridiagonal matrix

RECIPROCAL SUMS OF SEQUENCES INVOLVING BALANCING AND LUCAS-BALANCING NUMBERS

A brief overview of the sock matching problem

MOMENTS OF INERTIA ASSOCIATED WITH THE LOZENGE TILINGS OF A HEXAGON

A Simple Proof of the Aztec Diamond Theorem

9 MODULARITY AND GCD PROPERTIES OF GENERALIZED FIBONACCI NUMBERS

MATHEMATICS OF COMPUTATION, VOLUME 26, NUMBER 118, APRIL An Algorithm for Computing Logarithms. and Arctangents. By B. C.

A bijective proof of Shapiro s Catalan convolution

Lattice Paths, k-bonacci Numbers and Riordan Arrays

Convex Domino Towers

Combinatorial interpretations of Lucas analogues of binomial coefficients and Catalan numbers


Linked partitions and linked cycles

A solution to the tennis ball problem

A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS

A two dimensional non-overlapping code over a q-ary alphabet

The Pfaffian Transform

Production matrices. Received 24 June 2003; accepted 17 May 2004 Available online 15 September 2004

Transcription:

1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059 USA wwoan@howard.edu Abstract We consider those lattice paths that use the steps Up, Level, and Down with assigned weights w, u, and v. In probability theory, the total weight is 1. In combinatorics, we regard weight as the number of colors and normalize by setting w = 1. The lattice paths generate Motzkin sequences. Here we give a combinatorial proof of a three-term recursion for a weighted Motzkin sequence and we find the radius of convergence. 1 Introduction We consider those lattice paths in the Cartesian plane starting from (0, 0) that use the steps U, L, and D, where U = (1, 1), an up-step; L = (1, 0), a level-step; and D = (1, 1), a down-step. Let c and d be positive integers, and color the L steps with d colors and the D steps with c colors. Let A(n, k) be the set of all colored paths ending at the point (n, k), and let M(n, k) be the set of lattice paths in A(n, k) that never go below the x-axis. Let a n,k = A(n, k),,k = M(n, k), and = M(n, 0). The number is called the (1, d, c)- Motzkin number. Let B(n, k) denote the set of lattice paths in A(n, k) that never return to the x-axis and let b n,k = B(n, k). Note that a n,k = a n 1,k 1 + da n 1,k + ca n 1,k+1. Here we give a combinatorial proof of the following three-term recursion for the (1, d, c)-motzkin sequence: () = d(n + 1) 1 + (4c d )(n 1). If c d, then lim = k = d + c. n 1 1

Example 1. The first few terms of the (1, 3, )-Motzkin numbers are m 0 = 1, 3, 11, 45, 197, 903,..., k = 3+. This sequence is the little Schroeder number sequence and is Sloane s sequence A001003. Some entries of the matrices (a n,k ), (,k ) and (b n,k ) are as follows; (a n,k ) = n/k 4 3 1 0 1 3 4 0 0 0 0 0 1 0 0 0 0 1 0 0 0 3 1 0 0 0 0 0 4 1 13 6 1 0 0 3 0 8 36 66 63 33 9 1 0 4 16 96 48 360 31 180 6 1 1 (,k ) = (b n,k ) = n/k 0 1 3 4 0 1 0 0 0 0 1 3 1 0 0 0 11 6 1 0 0 3 45 31 9 1 0 4 197 156 60 1 1 n/k 0 1 3 4 5 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 3 1 0 0 0 3 0 11 6 1 0 0 4 0 45 31 9 1 0 5 0 197 156 60 1 1 Example. The first few terms of the (1,, 1)-Motzkin numbers are m 0 = 1,, 5, 14, 4,..., k = + 1 = 4. This sequence is the Catalan sequence, Sloane s sequence A000108. Example 3. The first few terms of the (1, 1, 1)-Motzkin numbers are m 0 = 1, 1,, 4, 9, 1,..., k = 1 + 1 = 3. The sequence is the Motzkin sequence, discussed by Woan [5], and is Sloane s sequence A001006.,., Main Results We apply the cut and paste technique to prove the following lemma. Please refer to Dershowitz and Zaks [1] and Pergola and Pinzani [] for information about the technique. Lemma 4. There is a combinatorial proof for the equation = b n+1,1 = db n,1 + cb n, = d 1 + cb n,. Proof. Let P B(n + 1, 1). Remove the first step (U) and note that the remaining is in M(n, 0). For example, the path P = UULDLUUUDDLD B(1, 1) becomes Q = ULDLUUUDDLD M(11) where marks the origin.

P = Q = Theorem 5. There is a combinatorial proof for the equation (n + 1)b n+1,1 = a n+1,1. Proof. Wendel [4] proved a similar result. Let S(n + 1) = {P : P B(n + 1, 1) where P is P with one vertex marked}. Then S(n + 1) = (n+1)b n+1,1. Let P S(n+1). The marked vertex partitions the path into P = F B, where F is the front section and B is the back section. Then Q = BF A(n + 1, 1). Note that, graphically, the point of attachment is the rightmost lowest point of Q. Conversely, starting with any path we may find the rightmost lowest point of Q and reverse the procedure to create a marked path P in B(n + 1, 1). For example,., P = S(1), Q = A(1, 1). Proposition 6. The total number of L steps in M(n) is the same as that in B(n + 1, 1) and is da n,1. Proof. From the proof of Lemma 4, there is a bijection between M(n) and B(n + 1, 1). Let P = F LB B(n+1, 1) with an L step. Then Q = BF A(n, 1). Note that the attachment point is the rightmost lowest point in Q since P B(n + 1, 1). This identification suggests the inverse mapping. Note that there are d colors for an L step. 3

For example, P = B(1, 1), Q = A(11, 1). Proposition 7. There is a combinatorial proof for the equation a n,0 = + 1 (n da n,1 ) = b n+1,1 + 1 (nb n+1,1 dnb n,1 ). Proof. Let T (n) = {P e : P M(n) where P e is P with a U step marked}. By Theorem 5 and Proposition 6 the number of L steps among all paths in M(n) is da n,1 = dnb n,1. The total number of steps among all paths in M(n) is n = nb n+1,1, hence the total number of U steps among all paths in M(n) is 1 (nb n+1,1 dnb n,1 ) = T (n). Let P e = F UB T (n) with a U step marked. Then Q = BUF A(n, 0) M(n, 0) and the initial point of U in Q is the rightmost lowest point in Q. The inverse mapping starts with the rightmost lowest point. Note that M(n, 0) = = b n+1,1 For example, P e = T (11), Q = A(11, 0). Proposition 8. There is a combinatorial proof for the equation a n,0 = a n 1, 1 + da n 1,0 + ca n 1,1 = ca n 1,1 + da n 1,0 = c(n 1)b n 1,1 + d(b n,1 + 1 ((n 1)b n,1 d(n 1)b n 1,1 )). Proof. The first equality represents the partition of A(n, 0) by the last step (U, L or D). The second equality represents the fact that a n 1, 1 = ca n 1,1, since elements in A(n 1, 1) have one more D step than those in A(n 1, 1). And the last equality holds by Theorem 5 and Proposition 7. 4

Sulanke [3] proved the following result for the Motzkin sequence. Theorem 9. () = (dn + d) 1 + (4c d )(n 1). Proof. By Propositions 7 and 8 b n+1,1 + 1 (nb n+1,1 dnb n,1 ) = c(n 1)b n 1,1 + db n,1 + ( 1 ((n 1)b n,1 d(n 1)b n 1,1 )). By Lemma 4 + 1 (n dn 1 ). = c(n 1) + d 1 + d( 1 ((n 1) 1 d(n 1) )). Equivalently () = (dn + d) 1 + (4c d )(n 1). Theorem 10. lim = k = d + c. n 1 Proof. By Theorem 9, let and let Then s n = a n+ b n s n 1. s n := a n := 1 = d(n + 1) d(n + 1) b n := (4c d )(n 1) + ( (4c d )(n 1) ), 1 = d 3d = (4c d )(1 3 ). b If the sequence s n = a n n+ s n 1 has limit k, then k = dk+(4c d ) and k = d+ d + c. Case 1. 4c d 0. If s n 1 k, then 4d +4(4c d ) = s n = a n+ b n s n 1 d = k 3k 3dk k() 3d + (4c d ) n 1 n+ k 3(k d) = k = k 3dk + 3(4c d ) k() 5

and s n+1 = a n+1 + b n+1 d 3d s n n + 3 + (4c d )( n k 3(k d) Note that s 1 = d and s 1 = d +c d both odd and even n we have n+ n+3 ) = d 3d n + 3 + (4c d ) 3 dn + 9d 3k (1 k (n + 3)(kn k + 3d) ) = d + (4c d ) 3d k n + 3 (4c d ) 3 dn + 9d 3k k (n + 3)(kn k + 3d) 3(dn(k d) (k d)(k 3d)) = k (n + 3)(kn k + 3d) = k 6(k d)(d(n + 1) c). (n + 3)(kn k + 3d) k and lim = k. n 1 3(k d) n + 3 = d + c d. If c d, then s 1, s k. By induction on s n+1 k 6(k d)(d(n + 1) c) (n + 3)(kn k + 3d) k. Case. 4c d < 0. Inductively, assuming that s n 1 k and {s i } is nondecreasing up to n 1. Then s n = a n+ b n s n 1 d = k 3k 3dk k() 3d + (4c d ) n 1 n+ k 3(k d) = k < k = k 3dk + 3(4c d ) k() and 6

d(n + 1) s n s n 1 = ( + (4c d )(n 1) ) s n 1 () ( d(n 1) n + 1 + (4c d )(n ) ) s n (n + 1) = d( 3 ) + (4c d ) s n 1 (1 3 ) = (d( 3 n + 1 ) + (4c d ) (1 3 s n n + 1 )) 3d + 3d n + 1 + (4c d ) ( 3 s n 1 + 3 n + 1 ) 3d ()(n + 1) + 3(4c d ) s n 1 ()(n + 1) = 3ds n 1 + 3(4c d ) s n 1 ()(n + 1) By induction {s i } is a bounded nondecreasing sequence and lim n 1 = k. 1c s n 1 ()(n + 1) > 0. References [1] N. Dershowitz and S. Zaks, The cycle lemma and some applications, European J. Combin. 11 (1990), 34 40. [] E. Pergola and R. Pinzani, A combinatorial interpretation of the area of Schroeder paths, Electron. J. Combin. 6 (1999), Research paper 40, 13 pp. [3] R. Sulanke, Moments of generalized Motzkin paths, J. Integer Seq. 3 (000), Article 00.1.1. [4] J. Wendel, Left-continuous random walk and the Lagrange expansion, Amer. Math. Monthly 8 (1975), 494 499. [5] W. Woan, A Combinatorial proof of a recursive relation of the Motzkin sequence by Lattice Paths Fibonacci Quart. 40 (00), 3 8. 000 Mathematics Subject Classification: Primary 05A15; Secondary 05A19. Keywords: Motzkin paths, combinatorial identity. 7

(Concerned with sequences A000108, A001003, and A001006.) Received January 9 005; revised version received February 4 005. Published in Journal of Integer Sequences, February 8 005. Return to Journal of Integer Sequences home page. 8