arXiv++ Combinatorics

We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$.

Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of~$q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). For structures enumerated by a composition scheme, we prove a phase transition for any parameter having such a Gibbs measure: for a critical value $q=q_c$, the limit law of the parameter is a two-parameter Mittag-Leffler distribution, while it is Gaussian in the supercritical regime ($q>q_c$), and it is a Boltzmann distribution in the subcritical regime ($0<q<q_c$). We apply our results to fundamental statistics of lattice paths and quarter-plane walks. We also explain previously observed limit laws for pattern-restricted permutations, and a phenomenon uncovered by Krattenthaler for the wall contacts in watermelons.

We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths. In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.

Andrews imposed parity restrictions on the Rogers-Ramanujan-Gordon type partitions, yielding fruitful results. These results were later, advanced by Kurşungöz, Kim, and Yee. In this paper, we construct a bijection between lattice paths with three kinds of unitary steps and the Rogers--Ramanujan--Gordon type partitions. We give some results involving parity considerations on lattice paths by this bijection which are Andrews' partition results counterpart. We also give some new results on lattice paths.

We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.

This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics. Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.

The \emph{Markov numbers} are positive integers appearing as solutions to the Diophantine equation $x^2 + y^2 + z^2 = 3xyz$. These numbers are very well-studied and have many combinatorial properties, as well as being the source of the long-standing unicity conjecture. In 2018, Çanakçı and Schiffler showed that the Markov number $m_{\frac{a}{b}}$ is the number of perfect matchings of a certain snake graph corresponding to the Christoffel path from $(0,0)$ to $(a,b)$. Based on this correspondence, Schiffler in 2023 introduced two orderings on lattice paths. For any path $ω$, associate a snake graph $\mathcal{G}(ω)$ and a continued fraction $g(ω)$. The ordering $<_M$ is given by the number of perfect matchings on $\mathcal{G}(ω)$, and the ordering $<_L$ is given by the Lagrange number of $g(ω)$. In this work, we settle two conjectures of Schiffler. First, we show that the path $ω(a,b) = RR\cdots R UU \cdots U$ is the unique maximum over all lattice paths from $(0,0)$ to $(a,b)$ with respect to both orderings $<_M$ and $<_L$. We then use this result to prove that $\sup L(ω)$ over all lattice paths is exactly $1+\sqrt5$.

Efficient deterministic algorithms to construct representations of lattice path matroids over finite fields are presented. They are built on known constructions of hierarchical secret sharing schemes, a recent characterization of hierarchical matroid ports, and the existence of isolating weight functions for lattice path matroids whose values are polynomial on the size of the ground set.

Lattice paths called $\ell$-Schröder paths are introduced. They are paths on the upper half-plane consisting of $\ell+2$ types of steps: $(i,\ell-i)$ for $i=0,\ldots,\ell$, and $(1,-1)$. Those paths generalize Schröder paths and some variants, such as $m$-Schröder paths by Yang and Jiang and Motzkin-Schröder paths by Kim and Stanton. We show that $\ell$-Schröder paths arise naturally from a combinatorial interpretation of the moments of generalized Laurent bi-orthogonal polynomials introduced by Wang, Chang, and Yue. We also show that some generating functions of non-intersecting $\ell$-Schröder paths can be factorized in closed forms.

For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an explicit formula counting simple lattice paths). Moreover, for some small values of $p$, the signed sums turn out to be known sequences. \end{abstract}

The first half of this paper is largely expository, wherein we present a systematic combinatorial approach to the theory of polynomial (semi)invariants and multilinear invariants of several vectors and covectors, for the classical groups. This culminates in a graphical description of graded linear bases. By applying well-known results of lattice path combinatorics to Weyl's fundamental theorems of classical invariant theory, we write down Stanley decompositions and Hilbert-Poincare series in terms of families of non-intersecting lattice paths, enumerated with respect to certain corners. In the second half of the paper, we revisit the (semi)invariants in the first half as a special case of a much broader phenomenon. On one hand, polynomial invariants of a group $H$ can be generalized to modules of covariants, i.e., $H$-equivariant polynomial functions between $H$-modules. On the other hand, from the perspective of Roger Howe's theory of dual pairs, these modules of covariants can be viewed as infinite-dimensional simple $(\mathfrak{g}, K)$-modules. This suggests an expanded program in which our goal is to apply combinatorial techniques involving lattice paths in order to write down Hilbert series for arbitrary unitarizable highest-weight $(\mathfrak{g},K)$-modules. As a preview of future work in this program, we present examples showing how modules of covariants -- even those which are not Cohen-Macaulay, and therefore which we would not expect to be combinatorially nice -- can be decomposed in terms of lattice paths. We also extend these methods beyond the classical groups.

We study an approach to obtaining the exact formal solution of the 2-species Lotka-Volterra equation based on combinatorics and generating functions. By employing a combination of Carleman linearization and Mori-Zwanzig reduction techniques, we transform the nonlinear equations into a linear system, allowing for the derivation of a formal solution. The Mori-Zwanzig reduction reduces to an expansion which we show can be interpreted as a directed and weighted lattice path walk, which we use to obtain a representation of the system dynamics as walks of fixed length. The exact solution is then shown to be dependent on the generator of weighted walks. We show that the generator can be obtained by the solution of PDE which in turn is equivalent to a particular Koopman evolution of nonlinear observables.

Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The main purpose of this paper is to study total positivity of a matrix $M=[M_{n,k}]_{n,k}$ generated by the weighted lattice paths in $\mathbb{N}^2$ from the origin $(0,0)$ to the point $(k,n)$ consisting of types of steps: $(0,1)$ and $(1,t+i)$ for $0\leq i\leq \ell$, where each step $(0,1)$ from height~$n-1$ gets the weight~$b_n(\textbf{y})$ and each step $(1,t+i)$ from height~$n-t-i$ gets the weight $a_n^{(i)}(\textbf{x})$. Using an algebraic method, we prove that the $\textbf{x}$-total positivity of the weight matrix $[a_i^{(i-j)}(\textbf{x})]_{i,j}$ implies that of $M$. Furthermore, using the Lindström-Gessel-Viennot lemma, we obtain that both $M$ and the Toeplitz matrix of each row sequence of $M$ with $t\geq1$ are $\textbf{x}$-totally positive under the following three cases respectively: (1) $\ell=1$, (2) $\ell=2$ and restrictions for $a_n^{(i)}$, (3) general $\ell$ and both $a^{(i)}_n$ and $b_n$ are independent of $n$. In addition, for the case (3), we show that the matrix $M$ is a Riordan array, present its explicit formula and prove total positivity of the Toeplitz matrix of the each column of $M$. In particular, from the results for Toeplitz-total positivity, we also obtain the Pólya frequency and log-concavity of the corresponding sequence. Finally, as applications, we in a unified manner establish total positivity and the Toeplitz-total positivity for many well-known combinatorial triangles, including the Pascal triangle, the Pascal square, the Delannoy triangle, the Delannoy square, the signless Stirling triangle of the first kind, the Legendre-Stirling triangle of the first kind, the Jacobi-Stirling triangle of the first kind, the Brenti's recursive matrix, and so on.

The central object of study in this paper are infinite banded Hessenberg matrices admitting factorisations as products of bidiagonal matrices. In the two main novel results of this paper, we show that these Hessenberg matrices are associated with the decomposition of $(r+1)$-fold symmetric $r$-orthogonal polynomials and are the production matrices of the generating polynomials of $r$-Dyck paths. We combine the aforementioned bidiagonal matrix factorisations and the recently found connection of multiple orthogonal polynomials with lattice paths and branched continued fractions to study $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set of the complex plane and their decomposition via multiple orthogonal polynomials on the positive real line. As an explicit example, we give formulas as terminating hypergeometric series for the Appell sequences of $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set and show that the densities of their orthogonality measures can be expressed via Meijer G-functions on the positive real line.

A \emph{Dyck path} is a lattice path in the first quadrant of the $xy$-plane that starts at the origin, ends on the $x$-axis, and consists of the same number of North-East steps $U$ and South-East steps $D$. A \emph{valley} is a subpath of the form $DU$. A Dyck path is called \emph{restricted $d$-Dyck} if the difference between any two consecutive valleys is at least $d$ (right-hand side minus left-hand side) or if it has at most one valley. In this paper we give some connections between restricted $d$-Dyck paths and both, the non-crossing partitions of $[n]$ and some subfamilies of polyominoes. We also give generating functions to count several aspects of these combinatorial objects.

We introduce an algebra of elliptic commuting variables involving a base $q$, nome $p$, and $2r$ noncommuting variables. This algebra, which for $r=1$ reduces to an algebra considered earlier by the author, is an elliptic extension of the well-known algebra of $r$ $q$-commuting variables. We present a multinomial theorem valid as an identity in this algebra, hereby extending the author's previously obtained elliptic binomial theorem to higher rank. Two essential ingredients are a consistency relation satisfied by the elliptic weights and the Weierstrass type $\mathsf A$ elliptic partial fraction decomposition. From the elliptic multinomial theorem we obtain, by convolution, an identity equivalent to Rosengren's type $\mathsf A$ extension of the Frenkel-Turaev ${}_{10}V_9$ summation. Interpreted in terms of a weighted counting of lattice paths in the integer lattice $\mathbb Z^r$, this derivation of Rosengren's $\mathsf A_r$ Frenkel-Turaev summation constitutes the first combinatorial proof of that fundamental identity.

We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is equal to the positive tropical Grassmannian, an object of immense interest currently in Physics. This is related to the amplituhedron and positive configuration space, which we describe here and wish to explore these connections further.

We begin our analysis with the study of two collections of lattice paths in the plane, denoted $\mathcal{D}_{[n,i,j]}$ and $\mathcal{P}_{[n,i,j]}$. These paths consist of sequences of $n$ steps, where each step allows movement in three directions: upward (with a maximum displacement of $q$ units), rightward (exactly one unit), or downward (with a maximum displacement of $p$ units). The paths start from the point $(0,i)$ and end at the point $(n,j)$. In the collection $\mathcal{D}_{[n,i,j]}$, it is a crucial constraint that paths never go below the $x$-axis, while in the collection $\mathcal{P}_{[n,i,j]}$, paths have no such restriction. We assign weights to each path in both collections and introduce weight polynomials and generating series for them. Our main results demonstrate that certain matrices of size $q\times p$ associated with these generating series can be expressed as matrix continued fractions. These results extend the notable contributions previously made by P. Flajolet and G. Viennot in the scalar case $p=q=1$. The generating series can also be interpreted as resolvents of one-sided or two-sided difference operators of finite order. Additionally, we analyze a class of random banded matrices $H$, which have $p+q+1$ diagonals with entries that are independent and bounded random variables. These random variables have identical distributions along diagonals. We investigate the asymptotic behavior of the expected values of eigenvalue moments for the principal $n\times n$ truncation of $H$ as $n$ tends to infinity.

In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.

Fill each box in a Young diagram with the number of paths from the bottom of its column to the end of its row, using steps north and east. Then, any square sub-matrix of this array starting on the south-east boundary has determinant one. We provide a - to our knowledge - new bijective argument for this result. Using the same ideas, we prove further identities involving these numbers which correspond to an integral orthonormal basis of the inner product space with Gram matrix given by the array in question. This provides an explicit answer to a question (listed as unsolved) raised in Exercise 6.27 c) of Stanley's Enumerative Combinatorics.