arXiv++ Combinatorics

S-Motzkin paths (bijective to ternary trees) and partial version of them are calculated using only elementary methods from linear algebra.

In this paper we study maximal chains in certain lattices constructed from powers of chains by iterated lax colimits in the $2$-category of posets. Such a study is motivated by the fact that in lower dimensions, we get some familiar combinatorial objects such as Dyck paths and Kreweras walks.

The enumeration of k-Dyck paths ending at level j after m up-steps, where the last step is an up-step, is given as a sum, improving on a previous formula given by Deng and Mansour.

The sequence A120986 in the Encyclopedia of Integer Sequences counts ternary trees according to the number of nodes and the number of middle edges. Using a certain substition, the underlying cubic equation can be factored. This leads to an extension of the concept of $(3/2)$-ary trees, introduced by Knuth in his christmas lecture from 2014.

Balancing numbers possess, as Fibonacci numbers, a Binet formula. Using this, partial sums of arbitrary powers of balancing numbers can be summed explicitly. For this, as a first step, a power $B_n^l$ is expressed as a linear combination of $B_{mn}$. The summation of such expressions is then easy using generating functions.

Two subfamilies of Motzkin paths, with the same numbers of up, down, horizontal steps were known to be equinumerous with ternary trees and related objects. We construct a bijection between these two families that does not use any auxiliary objects, like ternary trees.

Dyck paths where peaks are only allowed on level 1 and on even-indexed levels, were introduced by Retakh and analysed by Zeilberger, with assistance from Ekhad. We add some combinatorial comments to the enumeration, which involves Motzkin numbers, in particular, about the average height of such objects.

A variation of Dyck paths allows for down-steps of arbitrary length, not just one. This is motivated by ideas due to Emeric Deutsch. We use the adding-a-new-slice technique and the kernel method to compute the number of maximal runs of up-step runs of length 1 and a subclass of Deutsch paths satisfying a condition that was stipulated by R. Stanley for Dyck paths.

A variation of Dyck paths allows for down-steps of arbitrary length, not just one. This is motivated by ideas published by Emeric Deutsch around the turn of the millenium. We are interested in the subclass of them where the sequence of the levels of valleys is non-decreasing. This was studied around 20 years ago in the classical case.

The lattice path model suggested by E. Deutsch is derived from ordinary Dyck paths, but with additional down-steps of size -3,-5,-7,... . For such paths, we find the generating functions of them, according to length, ending at level $i$, both, when considering them from left to right and from right to left. The generating functions are intrinsically cubic, and thus (for $i=0$) in bijection to various objects, like even trees, ternary trees, etc.

For lattice paths in strips which begin at $(0,0)$ and have only up steps $U: (i,j) \rightarrow (i+1,j+1)$ and down steps $D: (i,j)\rightarrow (i+1,j-1)$, let $A_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$, end on heights $0$ or $-1$, and are contained in the strip $-\lfloor\frac{k+1}{2}\rfloor \leq y \leq \lfloor\frac{k}{2}\rfloor$ of width $k$, and let $B_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$ and are contained in the strip $0 \leq y \leq k$. We establish a bijection between $A_{n,k}$ and $B_{n,k}$. The generating functions for the subsets of these two sets are discussed as well. Furthermore, we provide another bijection between $A_{n,3}$ and $B_{n,3}$ by translating the paths to two types of trees.

A variation of Dyck paths allows for down-steps of arbitrary length, not just one. Credits for this invention are given to Emeric Deutsch. Surprisingly, the enumeration of them is somewhat akin to the analysis of Motzkin-paths; the last section contains a bijection.

A new recursion in only one variable allows very simple verifications of Bressoud's polynomial identities, which lead to the Rogers-Ramanujan identities. This approach might be compared with an earlier approach due to Chapman. Applying the $q$-Chu-Vandermonde convolution, as suggested by Cigler, makes the computations particularly simple and elementary. The same treatment is also applied to the Santos polynomials and perhaps more polynomials from a list of Rogers-Ramanujan like polynomials \cite{Sills}.

Three combinatorial matrices are considered and their LU-decompositions were found. This is typically done by (creative) guessing, and necessary proofs are more or less routine calculations.

Paths that consist of up-steps of one unit and down-steps of $k$ units, being bounded below by a horizontal line $-t$, behave like $t+1$ ordered tuples of $k$-Dyck paths, provided that $t\le k$. We describe the general case, allowing $t$ also to be larger. Arguments are bijective and/or analytic.

Two new identities about Catalan numbers are treated with Zeilberger's algorithm and Watson's hypergeometric series evaluation.

In \cite{BaDeFePi96} the concept of nondecreasing Dyck paths was introduced. We continue this research by looking at it from the point of view of words, rational languages, planted plane trees, and continued fractions. We construct a bijection with planted plane trees of height $\le 4$ and compute various statistics on trees that are the equivalents of nondecreasing Dyck paths.

Convolutions for Tribonacci numbers involving binomial coefficients are treated with ordinary generating functions and the diagonalization method of Hautus and Klarner. In this way, the relevant generating function can be established, which is rational. The coefficients can also be expressed. It is sketched how to extend this to Tetranacci numbers and similar quantities.

Ternary paths consist of an up-step of one unit, a down-step of two units, never go below the $x$-axis, and return to the $x$-axis. This paper addresses the enumeration of partial ternary paths, ending at a given level $i$, reading the path either from left to right or from right to left. Since the paths are not symmetric w.r.t.\ left vs.\ right, as classical Dyck paths, this leads to different results. The right to left enumeration is quite challenging, but leads at the end to very satisfying results. The methods are elementary (solving systems of linear equations). In this way, several conjectures left open in Naiomi Cameron's Ph.D. thesis could be successfully settled.

It is demonstrated how an explicit expression of the (partial) sum of Tetranacci numbers can be found and proved using generating functions and the Hadamard product. We also provide a Binet-type formula for generalized Fibonacci numbers, by explicitly factoring the denominator of their generating functions.