arxiv: v1 [math.co] 22 Oct 2018

Transcription

1 The Hessenberg atrices and Catalan and its generalized nubers arxiv: v [ath.co] 22 Oct 208 Jishe Feng Departent of Matheatics, Longdong University, Qingyang, Gansu, , China E-ail: Abstract We present deterinantal representations of the Catalan nubers, k-fuss-catalan nubers, and its generalized nuber. The entries of the noralized Hessenberg atrices are the binoial coefficients that related with the enueration of lattice paths. 200 Matheatics Subject Classification: 05A5, B65. Key words: Hessenberg atrix, Catalan nuber, k-fuss-catalan nubers, deterinant, enueration of lattice paths Introduction An upper Hessenberg atrix H n = (h ij ),i,j =,2,,n, is a special kind of square atrix, such that h i,j = 0 for i > j +. Ulrich Ta [0] give the concept of the Hessenberg atrix in a noralized for, i.e. h i+,i = for i =,,n. h, h,2 h,3 h,n h 2,2 h 2,3 h 2,n H n =, hn,n h n,n h 3,3 h 3,n The so-called Pascal atrix P = (( )) i is a triangular array of the binoial coefficients. We can generalize Pascal atrix to Hessenberg atrix j i,j 0 which Preprint subitted to Elsevier 23 October 208

2 eleents are binoial coefficients. It is known that there are a lot of relations between deterinants of atrices and well-known nuber sequences (see[6] [2] and references therein). In this paper, we give a noralized Hessenberg atrices representation of the faous Catalan and its generalized nuber. Lattice paths are onipresent in enuerative cobinatorics, since they can represent a plethora of different objects. Especially, lattice paths fro (0, 0) to (x,y) with E = (,0) step and N = (0,) step that never go above the line L : y = kx, have been odels in any cobinatorial probles. Let n be a positive integer. It is well-known that when k is a positive integer, the nuber of lattice( paths ) fro (0,0) to (n,kn) which ay touch but never rise above L is (k+)n kn+ n. In particular, when k =, the nuber of lattice paths of length n is the nth Catalan nuber C n = ( ) 2n, for n 0. n+ n The first Catalan nubers for n = 0,,2,3,... are,, 2, 5, 4, 42, 32, 429, 430, 4862, 6796,... (sequence A00008 in the OEIS). In general for positive integer k, in paper [], it is called as k-fuss-catalan nubers F n. The purpose of this paper is that we will give a deterinant of noralized Hessenberg atrix in Section 2 for positive integer, and in Section 3 for rational k. In Section 4, we give the iterative ethod to evaluate the deterinant. Subsequent reduction of Hessenberg atrix to a triangular atrix can be achieved through iterative procedures, this is a fast ethod to evaluate the deterinant of upper noralized Hessenberg atrix. In [8], it is to count paths in a region that is deliited by nonlinear upper and lower boundaries. Let a a 2 a n, and b b 2 b n be integers with a i b i. We abbreviate a = (a,a 2,...,a n ) and b = (b,b 2,...,b n ). Let L(0,b ) (n,a n ) denote the set of all lattice paths fro (0,b ) to (n,a n ) satisfying the property that for all i =,2,...,n the height of the i-th horizontal step is in the interval [b i,a i ]. Theore 0.7. in [8] gives a forula for counting these paths, we restate it as follows. Theore [8] Let a = (a,a 2,...,a n ) and b = (b,b 2,...,b n ) be integer sequences with a a 2 a n, b b 2 b n, and a i b i, i =,2,...,n. The nuber of all paths fro (0,b ) to (n,a n ) satisfying the property that for all i =,2,...,n the height of the i-th horizontal step is between b i and a i is given by (( )) ai b j + L((0,b ) (n,a n ) : b y a) = det. i,j n j i+ 2

3 2 The k-fuss-catalan nubers Given a positive nuber k, a k-fuss-catalan path of length n is a path fro (0,0) to (n,kn) using east steps (,0) and north steps (0,) such that it stays weakly below the line y = kx. The nuber of all k-fuss-catalan paths of length n is given by the k-fuss-catalan nubers [], ( ) (k +)n F n =, kn+ n and Arstrong[5] enuerates the nuber of k-fuss-catalan paths of given type. We can give another forula to F n by the following theore. Theore 2 Suppose k, n are positive integers. Let a i = k(i ), for i =,,n. Then the k-fuss-catalan nubers F n is equal to F n = ( ) (k +)n kn+ n = det i,j n (( )) ai +. j i+ PROOF. Let a i = k(i ), for i =,,n, and let a = (a,a 2,...,a n ) = (k,2k,,k(n )) and b = (( (0,0, 0). )) Applying Theore, we find the nuber of lattice paths is det ai + i,j n j i+. It ight be interesting to have a forula for enuerating Fuss-Catalan paths using Theore 5. We ipleent an evaluation by a procedure of Maple as follows. >with(cobinat); with(linearalgebra); fft := proc (n, r) local a, k, j, i, A; k := r*n; for j to k do a[j] := r*(j-) end do; A := Matrix(n, n, (i, j) ->binoial(a[i]+, j-i+)); [A, Deterinant(A)]; end proc; For k = 3, we can illustrate the identity by a Maple coand: 3

4 >for i fro to 8 do fft(i, 3)[2];binoial((3+)*i, i)/(3*i+); end do;,4,22,40,969,7084,53820,420732, , , For k = 2, one can get Ternary nuber [9], ( ) ( ) ( ) ( ) ( ) T n = ( ) ( ) ( ) ( ) ( 3n ) = 2n+ n ( ) ( ) 2n 2n 0 To illustrate the identity, we use the following Maple coand: >for i fro to 8 do fft(i, 2)[2];binoial((2+)*i, i)/(2*i+); end do;,3,2,55,273,428,7752,43263,246675,43075, In particular, when k =, we get an identity about Catalan nuber, ( ) ( ) ( ) ( ) C n = ( ) ( ) ( ) ( ) ( 2n ) =. n+ n ( ) ( n n 0 ) >for i fro to 8 do fft(i, )[2];binoial((2+)*i, i)/(2*i+); end do; Naely, there are 4

5 ( ) C = = ;C 2 = ( ) ( = 2; ) ( ( ) ) ( ) ( ) ( ( ) ( ) ( C 3 = = 5;C 0 2) 4 = 0 2) ( ) ( ) ( ( ) ( = 4; ) 2) ( ) ( ) 3 The generalized Fuss-Catalan nubers Whenk = r isrational,hererandarecopriepositiveintegers, itisshown in [4] that the nuber of lattice paths fro (0,0) to (n,rn) that ay touch butneverriseabovetheliney = r x,is a F i i,wheref ( ) a a α i! i = i(+r) i(+r) i and i the su is taken over all sequences of non-negative integers a = (a,a 2, ) a i= such that ia i = n. We give another representation of deterinant of noralized upper Hessenberg atrix as the follows. Theore 3 Suppose, r are coprie positive integers. Let i a i = r + r i (i ), for i =,,n. Then the generalized Fuss-Catalan nubers W n, which is the nuber of lattice paths fro (0,0) to (n,rn) that ay touch but never rise above the line y = r x, is equal to (( )) ai + W n = det. i,j n j i+ + r (i i ), for i =,,n, and PROOF. Let a i = r i let a = (a,a 2,...,a n ) and b = (0,0, 0). Applying Theore, we find the nuber of lattice paths is det i,j n (( ai + j i+ )). For exaple, the generalized Fuss-Catalan nubers W, which is the nuber of lattice paths fro (0,0) to (7,6) that ay touch but never rise above the 5

6 line y = 6 x, is equal to 7 W = det ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( i,j ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) = For the general, we ipleent the evaluation of the deterinant of Hessenberg atrices by a procedure of Maple as follows. >with(cobinat); with(linearalgebra); FjsDyckpath := proc (, r, n) local c, k, j, i, C; k := *n; for j to k do if j <= then c[j] := floor(r*(j-)/) else c[j] := floor(r*(j-*floor((j-)/)-)/)+r*floor((j-)/); end if end do; C := Matrix(*n, *n, (i, j)-> binoial(c[i]+, j-i+); [C, Deterinant(C)]; end proc >for i to 6 do FjsDyckpath(7, 6, i) end do 4 Evaluate the deterinants We can find that above deterinants are of upper noralized Hessenberg atrices, which entries are binoial coefficients. The row operations ay be applied to the atrix fro the first row to the last row: adding the negative reciprocal ultiple of the entry a ii of the ith row to the succeeding row. This can reduce the atrix to strictly upper triangular, so we evaluate the deter- 6

7 inant of the corresponding upper noralized Hessenberg atrices. This can reduce the atrix to a strictly upper triangular, so the deterinant of upper noralized Hessenberg atrices is equal to the product of ain diagonal eleents. For exaple, ( ) ( ) ( det 0 ) ( ) ( ) ( = det = 3, 0 2) 2 ( ) ( ) 2 det ( ) ( ) ( 0 ) ( ) ( 0 ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 = det = 43 References [] S. An, J. Jung, S. Ki. Enueration of Fuss-Schroder paths. arxiv: [2] A. Ipek, K. Ar. On Hessenberg and pentadiagonal deterinants related with Fibonacci and Fibonacci-like nubers. Applied Matheatics and Coputation 229 (204) [3] C. Banderier, M. Wallner. The kernel ethod for Lattice paths below a line of rational slope. Developents in Matheatics Series, 207. [4] M. T. L. Bizley. Derivation of a new forula for the nuber of inial lattice paths fro (0,0) to (k,kn) having just t contacts with the line y = nx and having no points above this line; and a proof of Grossan s forula for the nuber of paths which ay touch but do not rise above this line, J. Inst. Actuar. 80 (954)

8 [5] D. Arstrong. Generalized noncrossing partitions and cobinatorics of Coxeter groups. Me. Aer. Math. Soc., 202(949):x+59, [6] Jishe Feng. Hessenberg Matrices On Fibonacci And Tribonacci Nubers. Ars Cobinatoria, 27(206) [7] uno/flaj204.pdf. [8] C. Krattenthaler. lattice path enueration. in Handbook of Enuerative Cobinatorics (M. Bona, ed.), ch.0, pp , Boca Ranton: CRC Press, Boca Raton-London-New York, 205. [9] N. J. A. Sloane. A00764, [0] Ulrich Ta. The deterinant of a Hessenberg atrix and soe applications in discrete atheatics. ahlswede/pub/ta/hessen.ps. [] Tooki Nakaigawa and Norihide Tokushige. Counting lattice paths via a new cycle lea. SIAM J. Discrete Math., 26(2): , 202. [2] F. Yilaz, D. Bozkurt. Hessenberg atrices and the Pell and Perrin nubers. Journal of Nuber Theory, 3 (20)