arXiv++ Combinatorics

Three $q$-versions of Lommel polynomials are studied. Included are explicit representations, recurrences, continued fractions, and connections to associated Askey--Wilson polynomials. Combinatorial results are emphasized, including a general theorem when $R_I$ moments coincide with orthogonal polynomial moments. The combinatorial results use weighted Motzkin paths, Schröder paths, and parallelogram polyominoes.

A Schröder path is a lattice path from $(0,0)$ to $(2n,0)$ with steps $(1,1)$, $(1,-1)$ and $(2,0)$ that never goes below the $x-$axis. A small Schröder path is a Schröder path with no $(2,0)$ steps on the $x-$axis. In this paper, a 3-variable generating function $R_L(x,y,z)$ is given for Schröder paths and small Schröder paths respectively. As corollaries, we obtain the generating functions for several kinds of generalized Schröder paths counted according to the order in a unified way.

We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.

This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ$ are hooks (respectively, $μ$ is of length one). We also give an explicit algorithm that gives all the Schröder paths related to a Schur function $s_μ(q,t)$ when $μ$ is of length one. In a sense, it is a partial decomposition of Schröder paths into crystals.

In this paper, we firstly extend a result of Bonin, Shapiro and Simion by giving the distribution of the major index over generalized Schröder paths. Then by providing a bijection between generalized Schröder paths and row-increasing tableaux of skew shapes with two rows, we obtain the distribution of the major index and the amajor index over these tableaux, which extends a result of Du, Fan and Zhao. We also generalize a result of Pechenik and give the distribution of the major index over increasing tableaux of skew shapes with two rows. Especially, a bijection from row-increasing tableaux with shape $(n,m)$ and maximal value $n+m-k$ to standard Young tableaux with shape $((n-k+1,m-k+1,1^k)/(1^2))$ is obtained.

We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths.

We present several bijections, in terms of combinatorial objects counted by the Schröder numbers, that are then used (via coloring) for the construction and enumeration of rational Schröder paths with integer slope, ordered rooted trees, and simple rooted outerplanar maps. On the other hand, we derive partial Bell polynomial identities for the little and large Schröder numbers, which allow us to obtain explicit enumeration formulas.

Let $r(n,k)$ (resp. $s(n,k)$) be the number of Schröder paths (resp. little Schröder paths) of length $2n$ with $k$ hills, and set $r(0,0)=s(0,0)=1$. We bijectively establish the following recurrence relations: \begin{align*} r(n,0)&=\sum\limits_{j=0}^{n-1}2^{j}r(n-1,j), r(n,k)&=r(n-1,k-1)+\sum\limits_{j=k}^{n-1}2^{j-k}r(n-1,j),\quad 1\le k\le n, s(n,0) &=\sum\limits_{j=1}^{n-1}2\cdot3^{j-1}s(n-1,j), s(n,k) &=s(n-1,k-1)+\sum\limits_{j=k+1}^{n-1}2\cdot3^{j-k-1}s(n-1,j),\quad 1\le k\le n. \end{align*} The infinite lower triangular matrices $[r(n,k)]_{n,k\ge 0}$ and $[s(n,k)]_{n,k\ge 0}$, whose row sums produce the large and little Schröder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their $A$- and $Z$-sequences characterizations. On the other hand, it is well-known that the large Schröder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser-known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by $[r(n,k)]_{n,k\ge 0}$ as well.

Bonin, Shapiro and Simion (1993) gave two formulas on the distribution of major index for Schröder paths, and proved their result for the case $E<D<N$. In this short note, we correct an error in their proof, and give a complete proof for all cases.

The Tangent Method of Colomo and Sportiello is applied to the study of the asymptotics of domino tilings of large Aztec rectangles, with some fixed distribution of defects along a boundary. The associated Non-Intersecting Lattice Path configurations are made of Schröder paths whose weights involve two parameters $γ$ and $q$ keeping track respectively of one particular type of step and of the area below the paths. We derive the arctic curve for an arbitrary distribution of defects, and illustrate our result with a number of examples involving different classes of boundary defects.

The set of Schröder words (Schröder language) is endowed with a natural partial order, which can be conveniently described by interpreting Schröder words as lattice paths. The resulting poset is called the Schröder pattern poset. We find closed formulas for the number of Schröder words covering/covered by a given Schröder word in terms of classical parameters of the associated Schröder path. We also enumerate several classes of Schröder avoiding words (with respect to the length), i.e. sets of Schröder words which do not contain a given Schröder word.

We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$.

Inspired by a new mathematical model for bobbin lace, this paper considers finite lattice paths formed from the set of step vectors $\mathfrak{A}=$$\{\rightarrow,$ $\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$ with the restriction that vertical steps $(\uparrow, \downarrow)$ cannot be consecutive. The set $\mathfrak{A}$ is the union of the well known Motzkin step vectors $\mathfrak{M}=$$\{\rightarrow,$ $\nearrow,$ $\searrow\}$ with the vertical steps $\{\uparrow, \downarrow\}$. An explicit bijection $φ$ between the exhaustive set of vertically constrained paths formed from $\mathfrak{A}$ and a bisection of the paths generated by $\mathfrak{M}$ is presented. In a similar manner, paths with the step vectors $\mathfrak{B}=$$\{\nearrow,$ $\searrow,$ $\uparrow,$ $\downarrow\}$, the union of Dyck step vectors and constrained vertical steps, are examined. We show, using the same $φ$ mapping, that there is a bijection between vertically constrained $\mathfrak{B}$ paths and the subset of Motzkin paths avoiding horizontal steps at even indices. Generating functions are derived to enumerate these vertically constrained, partially directed paths when restricted to the half and quarter-plane. Finally, we extend Schröder and Delannoy step sets in a similar manner and find a bijection between these paths and a subset of Schröder paths that are smooth (do not change direction) at a regular horizontal interval.

We present random sampling procedures for Motzkin and Schröder paths, following previous work on Dyck paths. Our algorithms follow the anticipated rejection method of the Florentine algorithms (Barcucci et al. 1994+), but introduce a recovery idea to greatly reduce the probability of rejection. They use an optimal amount of randomness and achieve a better time complexity than the Florentine algorithms.

In this paper we find and explore the correspondence between quivers, torus knots, and combinatorics of counting paths. Our first result pertains to quiver representation theory -- we find explicit formulae for classical generating functions and Donaldson-Thomas invariants of an arbitrary symmetric quiver. We then focus on quivers corresponding to $(r,s)$ torus knots and show that their classical generating functions, in the extremal limit and framing $rs$, are generating functions of lattice paths under the line of the slope $r/s$. Generating functions of such paths satisfy extremal A-polynomial equations, which immediately follows after representing them in terms of the Duchon grammar. Moreover, these extremal A-polynomial equations encode Donaldson-Thomas invariants, which provides an interesting example of algebraicity of generating functions of these invariants. We also find a quantum generalization of these statements, i.e. a relation between motivic quiver generating functions, quantum extremal knot invariants, and $q$-weighted path counting. Finally, in the case of the unknot, we generalize this correspondence to the full HOMFLY-PT invariants and counting of Schröder paths.

The Tamari lattice, defined on Catalan objects such as binary trees and Dyck paths, is a well-studied poset in combinatorics. It is thus natural to try to extend it to other families of lattice paths. In this article, we fathom such a possibility by defining and studying an analogy of the Tamari lattice on Motzkin paths. While our generalization is not a lattice, each of its connected components is isomorphic to an interval in the classical Tamari lattice. With this structural result, we proceed to the enumeration of components and intervals in the poset of Motzkin paths we defined. We also extend the structural and enumerative results to Schröder paths. We conclude by a discussion on the relation between our work and that of Baril and Pallo (2014).

Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers. In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.

In this paper we enumerate the number of $(k, r)$-Fuss-Schröder paths of type $λ$. Y. Park and S. Kim studied small Schröder paths with type $λ$. Generalizing the results to small $(k, r)$-Fuss-Schröder paths with type $λ$, we give a combinatorial interpretation for the number of small $(k, r)$-Fuss-Schröder paths of type $λ$ by using Chung-Feller style. We also give two sets of sparse noncrossing partitions of $[2(k + 1)n + 1]$ and $[2(k + 1)n + 2]$ which are in bijection with the set of all small and large, respectively, $(k, r)$-Fuss-Schröder paths of type $λ$.

We consider a generalised version of Motzkin paths, where horizontal steps have length $\ell$, with $\ell$ being a fixed positive integer. We first give the general functional equation for the area-length generating function of this model. Using a heuristic ansatz, we derive the area-length scaling behaviour in terms of a scaling function in one variable for the special cases of Dyck, (standard) Motzkin and Schröder paths, before generalising our approach to arbitrary $\ell$. We then derive an expression for the generating function of Schröder paths and analyse the scaling behaviour of this function rigorously in the vicinity of the tri-critical point of the model by applying the method of steepest descents for the case of two coalescing saddle points. Our results show that for Dyck and Schröder paths, the heuristic scaling ansatz reproduces the rigorous results.

We study Schroder paths drawn in a (m,n) rectangle, for any positive integers m and n. We get explicit enumeration formulas, closely linked to those for the corresponding (m,n)-Dyck paths. Moreover we study a Schroder version of (m,n)-parking functions, and associated (q,t)-analogs.