arXiv++ Combinatorics

Dyck paths and certain black/white labelling of nodes leads to the \emph{white-height}. Using generating functions and tricks of the trade, we establish that the average white-height among Dyck paths of half length $n$ is asymptotic to $\frac12\sqrt{πn}$ for two different models. These are appealing results that could be presented to students to learn the trade.

$a_n=[x^n](1-x)^{-n}(1-x^2)^{-n}$ is the sequence A348410 in the Encyclopedia of Integer Sequences. Using a method from Hautus and Klarner from 1971 and the software \textsf{Gfun} we find an algebraic equation for the generating function $g(z)=\sum_na_nz^n$.

The sequence A176677 in the Encyclopedia of Integer Sequences enumerates Motzkin paths where two types of horizontal steps may occur, but only on odd indexed levels. We show how to perform the enumeration, also dealing with partial such Motzkin paths leading to a particular level or to any level (open paths). The method is the kernel method where functional equations are manipulated in a suitable way. The coefficients of sequence A176677 satisfy a holonomic recursion that was recently discussed on the arxiv. We show how this can be established in an (almost) automatic fashion. Eventually we switch the roles of `odd' and `even'. One could also allow more versions of horizontal steps but we leave this to the interested readers.

Generating functions related to Catalan words and frequencies of digits are obtained using continued fractions. This is fast, elegant, and flexible. It follows the philosophy of Philippe Flajolet from 1980.

A quick way to compute generating functions related to Pell-Padovan tetranacci numbers and classical sequences of recursions of order two is provided. Eight special instances can be computed at once.

A new tree model is introduced based on ordered trees, by distinguishing exactly one child of each node that \emph{has} children. The basic enumeration leads to a cubic equation of the generating function. The extraction of its coefficients can be done using the Lagrange inversion formula. Various parameters that are commonly studied for ordered trees can also be addressed here, like degree of the root, number of leaves, number of old leaves, height, height of leftmost leaf, and pathlength. We go through these instances and leave further parameters to later research, by either the author or some readers. Dealing with cubic equations in a meaningful way requires some skills with Maple. In a last section, ordered trees are replaced by marked ordered trees; they are then combined with the concept of distinguished children. Only the basic enumeration is provided, leaving further analysis to the future.

Recently, in the context of walks of hexagonal circle packings, interest has emerged in the family of skew Dyck paths with two variants of down-steps. These paths have steps $U, D_g, D_b, L=D_r$. Using generating functions, the kernel method and (in)finite linear systems, contributions to the (average) height and other enumerations are made. As in many similar instances, the average height is of order $\sqrt n$.

We continue on a recent concept introduced by Kariuki and Okoth, about skew 2-Dyck paths, introducing an additional down-step $L$, together with the usual steps $U$ (up) and $D$ down. There is the syntactical condition that $UL$ and $LU$ can never occur. An automaton that checks these conditions is introduced, and the relevant generating functions are obtained by applying the kernel method to three functional equations. It is briefly discussed how the setting can be extended to $t$-Dyck paths. As a benefit, prefixes of skew $t$-Dyck paths are also enumerated. An approach that scans 2-Dyck paths from right to left is also discussed.

Peca suggested in a recent paper on the arxiv to consider binary butterfly trees and their Horton-Strahler numbers. The trees are obtained by glueing two binary trees together in a special way; the results are again binary trees but with a different probability distribution. A thorough combinatorial analysis is provided and leads asymptotically to the same results as for classical binary trees.

Motzkin paths consist of up-steps, down-steps, horizontal steps, never go below the $x$-axis and return to the $x$-axis. Versions where the return to the $x$-axis isn't required are also considered. A path is peakless (valleyless) if $UD$ (if $DU$) never occurs. If it is both peakless and valleyless, it is called cornerless. Deutsch and Elizalde have linked cornerless Motzkin paths and bargraphs bijectly. Thus, instead of prefixes of bargraphs one might consider prefixes of cornerless Motzkin paths. In this paper, this is extended by counting the occurrences of $UD$ resp., $DU$. The concepts are extended to so-called skew Motzkin paths. Methods are generating functions and the kernel method to compute explicit forms.

Descents of odd length in Dyck paths are discussed, taking care of some variations. The approach is based on generating functions and the kernel method and augments relations about them from the Encyclopedia of Integer Sequences, that were pointed out by David Callan.

Instead of $k$-Dyck paths we consider the equivalent concept of $k$-non-crossing trees. This is our preferred approach relative to down-step statistics modulo $k$ (first studied by Heuberger, Selkirk, and Wagner by different methods). One symmetry argument about subtrees is needed and the rest goes along the lines of a paper by Flajolet and Noy.

Dispersed Dyck paths are Dyck paths, with possible flat steps on level 0. We revisit and augment questions about them from the Encyclopedia of Integer Sequences, in a systematic way that uses generating functions and the kernel method.

Stanley considered Dyck paths where each maximal run of down-steps to the $x$-axis has odd length; they are also enumerated by (shifted) Catalan numbers. Prefixes of these combinatorial objects are enumerated using the kernel method. A more challenging version of skew Dyck paths combined with Stanley's restriction is also considered.

Carlitz-compositions follow the restrictions of neighbouring parts $σ_{i-1}\neqσ_{i}$. The recently introduced Arndt-compositions have to satisfy $σ_{2i-1}>σ_{2i}$. The two concepts are combined to new and exciting objects that we call Arndt-Carlitz compositions.

We link questions by Abdelkader about a class of random walks to \emph{Moran walks}.

Motzkin excursions and meanders are revisited. This is considered in the context of forbidden patterns. Previous work by Asinowski, Banderier, Gittenberger, and Roitner is continued. Motzkin paths of bounded height are considered, leading to matrix equations and also to continued fractions. The enumeration is done by properly setting up bivariate generating functions which can be expanded using the kernel method.

A well-known bijection between Motzkin paths and ordered trees with outdegree always $\le2$, is lifted to Grand Motzkin paths (the nonnegativity is dropped) and an ordered list of an odd number of such $\{0,1,2\}$ trees. This offers an alternative to a recent paper by Rocha and Pereira Spreafico.

There was recent interest in Motzkin paths without peaks (peak: up-step followed immediately by down-step); additional results about this interesting family is worked out. The new results are the enumeration of such paths that live in a strip $[0..\ell]$, and as consequence the asymptotics of the average height, which is given by $2\cdot 5^{-1/4}\sqrt{πn}$. Methods include the kernel method and singularity analysis of generating functions.

So called $S$-Motzkin paths are combined the concepts `catastrophes' and `air pockets. The enumeration is done by properly set up bivariate generating functions which can be extended using the kernel method.