arXiv++ Combinatorics

We solve two problems regarding the enumeration of lattice paths in $\mathbb{Z}^2$ with steps $(1,1)$ and $(1,-1)$ with respect to the major index, defined as the sum of the positions of the valleys, and to the number of certain crossings. The first problem considers crossings of a single path with a fixed horizontal line. The second one counts pairs of paths with respect to the number of times they cross each other. Our proofs introduce lattice path bijections with convenient visual descriptions, and the answers are given by remarkably simple formulas involving $q$-binomial coefficients.

The Kahn--Saks inequality is a classical result on the number of linear extensions of finite posets. We give a new proof of this inequality for posets of width two using explicit injections of lattice paths. As a consequence we obtain a $q$-analogue, a multivariate generalization and an equality condition in this case. We also discuss the equality conditions of the Kahn--Saks inequality for general posets and prove several implications between conditions conjectured to be equivalent.

We answer some questions on the asymptotics of ballot walks raised in [Personal Journal Shalosh B Ekhad and Doron Zeilberger, Apr 5, 2021; see also arXiv:2104.01731] and prove that these models are not D-finite. This short note demonstrates how the powerful tools developed in the last decades on lattice paths in convex cones help us to answer some challenging problems that were out of reach for a long time. On the way we generalize tandem walks to the family of large tandem walks whose steps are of arbitrary length and map them bijectively to a generalization of ballot walks in three dimensions.

Let pi = pi_1 pi_2 ... pi_n be a permutation in the symmetric group S_n written in one-line notation. The pinnacle set of pi, denoted Pin pi, is the set of all pi_i such that pi_{i-1} < pi_i > pi_{i+1}. This is an analogue of the well-studied peak set of pi where one considers values rather than positions. The pinnacle set was introduced by Davis, Nelson, Petersen, and Tenner who showed that it has many interesting properties. In particular, they proved that the number of subsets of [n] = {1, 2, ..., n} which can be the pinnacle set of some permutation is a binomial coefficient. Their proof involved a bijection with lattice paths and was somewhat involved. We give a simpler demonstration of this result which does not need lattice paths. Moreover, we show that our map and theirs are different descriptions of the same function. Davis et al. also studied the number of pinnacle sets with maximum m and cardinality d which they denoted by p(m,d). We show that these integers are ballot numbers and give two proofs of this fact: one using finite differences and one bijective. Diaz-Lopez, Harris, Huang, Insko, and Nilsen found a summation formula for calculating the number of permutations in S_n having a given pinnacle set. We derive a new expression for this number which is faster to calculate in many cases. We also show how this method can be adapted to find the number of orderings of a pinnacle set which can be realized by some pi in S_n.

A 1d random geometric graph (1d RGG) is built by joining a random sample of $n$ points from an interval of the real line with probability $p$. We count the number of $k$-hop paths between two vertices of the graph in the case where the space is the 1d interval $[0,1]$. We show how the $k$-hop path count between two vertices at Euclidean distance $|x-y|$ is in bijection with the volume enclosed by a uniformly random $d$-dimensional lattice path joining the corners of a $(k-1)$-dimensional hyperrectangular lattice. We are able to provide the probability generating function and distribution of this $k$-hop path count as a sum over lattice paths, incorporating the idea of restricted integer partitions with limited number of parts. We therefore demonstrate and describe an important link between spatial random graphs, and lattice path combinatorics, where the $d$-dimensional lattice paths correspond to spatial permutations of the geometric points on the line.

The LLT polynomials $\mathcal{L}_{\mathbfβ/\mathbfγ} (X;t)$ are a family of symmetric polynomials indexed by a tuple of (possibly skew-)partitions $\mathbfβ/\mathbfγ= (β^{(1)}/γ^{(1)},\ldots,β^{(k)}/γ^{(k)})$. It has recently been shown that these polynomials can be seen as the partition function of a certain vertex model whose boundary conditions are determined by $\mathbfβ/\mathbfγ$. In this paper we describe an algorithm which gives a bijection between the configurations of the vertex model with boundary condition $\mathbfβ/\mathbfγ = (β^{(1)}/γ^{(1)},β^{(2)}/γ^{(2)})$ and those with boundary condition $(\mathbfβ/\mathbfγ)_{swap} = (β^{(2)}/γ^{(2)},β^{(1)}/γ^{(1)})$. We prove a sufficient condition for when this bijection is weight-preserving up to an overall factor of $t$, which in turn implies that the corresponding LLT polynomials are equal up to the same overall factor. Using these techniques, we are also able to systematically determine linear relations within families of LLT polynomials.

For each complete meet-semilattice $M$, we define an operator $\mathsf{Pop}_M:M\to M$ by \[\mathsf{Pop}_M(x)=\bigwedge(\{y\in M:y\lessdot x\}\cup\{x\}).\] When $M$ is the right weak order on a symmetric group, $\mathsf{Pop}_M$ is the pop-stack-sorting map. We prove some general properties of these operators, including a theorem that describes how they interact with certain lattice congruences. We then specialize our attention to the dynamics of $\mathsf{Pop}_{\text{Tam}(ν)}$, where $\text{Tam}(ν)$ is the $ν$-Tamari lattice. We determine the maximum size of a forward orbit of $\mathsf{Pop}_{\text{Tam}(ν)}$. When $\text{Tam}(ν)$ is the $n^\text{th}$ $m$-Tamari lattice, this maximum forward orbit size is $m+n-1$; in this case, we prove that the number of forward orbits of size $m+n-1$ is \[\frac{1}{n-1}\binom{(m+1)(n-2)+m-1}{n-2}.\] Motivated by the recent investigation of the pop-stack-sorting map, we define a lattice path $μ\in\text{Tam}(ν)$ to be $t$-$\mathsf{Pop}$-sortable if $\mathsf{Pop}_{\text{Tam}(ν)}^t(μ)=ν$. We enumerate $1$-$\mathsf{Pop}$-sortable lattice paths in $\text{Tam}(ν)$ for arbitrary $ν$. We also give a recursive method to generate $2$-$\mathsf{Pop}$-sortable lattice paths in $\text{Tam}(ν)$ for arbitrary $ν$; this allows us to enumerate $2$-$\mathsf{Pop}$-sortable lattice paths in a large variety of $ν$-Tamari lattices that includes the $m$-Tamari lattices.

We consider a generalized riffle shuffle on the colored permutation group $G_{p, n}$ and derive a determinantal formula for the probability of finding descents at given positions, proof of which is based on the bijection between the set of shuffles in question and that of non-intersecting lattice paths.

Multitudinous probabilistic and combinatorial objects are associated with generating functions satisfying a composition scheme $F(z)=G(H(z))$. The analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely $F(z,u)=G(u H(z))M(z)$. We also consider a variant of this scheme, which allows us to analyse the number of $H$-components of a given size in $F$. We prove that these two models lead to a rich world of limit laws, where we identify the key role played by a new universal law introduced in this article: the three-parameter Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We also prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, bringing a unified explanation of the associated thresholds. In all cases we obtain moment convergence and local limit theorems. We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, leading to product distributions. Applications are presented for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees), triangular Pólya urns, and the Chinese restaurant process.

We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al., and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose $x$ and $y$ intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula. We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $GL_{l}$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for non-symmetric Hall-Littlewood polynomials.

The classical 1961 solution to the problem of determining the number of perfect matchings (or dimer coverings) of a rectangular grid graph -- due independently to Kasteleyn and to Temperley and Fisher -- consists of changing the sign of some of the entries in the adjacency matrix so that the Pfaffian of the new matrix gives the number of perfect matchings, and then evaluating this Pfaffian. Another classical method is to use the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths to express the number of perfect matchings as a determinant, and then evaluate this determinant. In this paper we present a new method for solving the two dimensional dimer problem, which relies on the Cauchy-Binet theorem. It only involves facts that were known in the mid 1930's when the dimer problem was phrased, so it could have been discovered while the dimer problem was still open. We provide explicit product formulas for both the square and the hexagonal lattice. One advantage of our formula for the square lattice compared to the original formula of Kasteleyn, Temperley and Fisher is that ours has a linear number of factors, while the number of factors in the former is quadratic. Our result for the hexagonal lattice yields a formula for the number of periodic stepped surfaces that fit in an infinite tube of given cross-section, which can be regarded as a counterpart of MacMahon's boxed plane partition theorem.

It is well known that for all $n\geq1$ the number $n+ 1$ is a divisor of the central binomial coefficient ${2n\choose n}$. Since the $n$th central binomial coefficient equals the number of lattice paths from $(0,0)$ to $(n,n)$ by unit steps north or east, a natural question is whether there is a way to partition these paths into sets of $n+ 1$ paths or $n+1$ equinumerous sets of paths. The Chung-Feller theorem gives an elegant answer to this question. We pose and deliver an answer to the analogous question for $2n-1$, another divisor of ${2n\choose n}$. We then show our main result follows from a more general observation regarding binomial coefficients ${n\choose k}$ with $n$ and $k$ relatively prime. A discussion of the case where $n$ and $k$ are not relatively prime is also given, highlighting the limitations of our methods. Finally, we come full circle and give a novel interpretation of the Catalan numbers.

We present a unifying framework in which both the $ν$-Tamari lattice, introduced by Préville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $ν$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $ν$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $ν$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $ν$-caracol flow polytope is given by the $ν$-Narayana numbers, extending a result of Mészáros when $ν$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley.

In a recent preprint, Lai and Rohatgi compute the generating functions of lozenge tilings of "quartered hexagons with dents" by applying the method of "graphical condensation". The purpose of this note is to exhibit how (a generalization of) Theorems 2.1 and 2.2 in Lai and Rohatgi's preprint can be achieved by the Lindström--Gessel--Viennot method of non--intersecting lattice paths and a certain determinant evaluation.

We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.

In a recent preprint, Lai showed that the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents", which differ only in width, factors nicely, and the same is true for the quotient of generating functions of weighted lozenge tilings of two "quarter hexagons with lateral dents". Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings). The purpose of this note is to exhibit how this can be done by the Lindström--Gessel--Viennot method for nonintersecting lattice paths. For the case of "half hexagons", basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.

The theme of this article is a "reciprocity" between bounded up-down paths and bounded alternating sequences. Roughly speaking, this ``reciprocity" manifests itself by the fact that the extension of the sequence of numbers of paths of length $n$, consisting of diagonal up- and down-steps and being confined to a strip of bounded width, to negative $n$ produces numbers of alternating sequences of integers that are bounded from below and from above. We show that this reciprocity extends to families of non-intersecting bounded up-down paths and certain arrays of alternating sequences which we call alternating tableaux. We provide as well weighted versions of these results. Our proofs are based on Viennot's theory of heaps of pieces and on the combinatorics of non-intersecting lattice paths. An unexpected application leads to a refinement of a result of Bousquet-Mélou and Viennot on the width-height-area generating function of parallelogram polyominoes. Finally, we exhibit the relation of the arising alternating tableaux to plane partitions of strip shapes.

Univariate delta Gončarov polynomials arise when the classical Gončarov interpolation problem in numerical analysis is modified by replacing derivatives with delta operators. When the delta operator under consideration is the backward difference operator, we acquire the univariate difference Gončarov polynomials, which have a combinatorial relation to lattice paths in the plane with a given right boundary. In this paper, we extend several algebraic and analytic properties of univariate difference Gončarov polynomials to the multivariate case. We then establish a combinatorial interpretation of multivariate difference Gončarov polynomials in terms of certain constraints on $d$-tuples of non-decreasing integer sequences. This motivates a connection between multivariate difference Gončarov polynomials and a higher-dimensional generalized parking function, the $\boldsymbol{U}$-parking function, from which we derive several enumerative results based on the theory of multivariate delta Gončarov polynomials.

Trees are useful entities allowing to model data structures and hierarchical relationships in networked decision systems ubiquitously. An ordered tree is a rooted tree where the order of the subtrees (children) of a node is significant. In combinatorial optimization, generating ordered trees is relevant to evaluate candidate combinatorial objects. In this paper, we present an algebraic scheme to generate ordered trees with $n$ vertices with utmost efficiency; whereby our approach uses $\mathcal{O}(n)$ space and $\mathcal{O}(1)$ time in average per tree. Our computational studies have shown the feasibility and efficiency to generate ordered trees in constant time in average, in about one tenth of a millisecond per ordered tree. Due to the 1-1 bijective nature to other combinatorial classes, our approach is favorable to study the generation of binary trees with $n$ external nodes, trees with $n$ nodes, legal sequences of $n$ pairs of parentheses, triangulated $n$-gons, gambler's sequences and lattice paths. We believe our scheme may find its use in devising algorithms for planning and combinatorial optimization involving Catalan numbers.

The canonical sylvan resolution is a resolution of an arbitrary monomial ideal over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. Along a lattice path in the three-variable case, these weights can be condensed to a single weight contributing to the combinatorial formula for the differential that bypasses any computation of chain-link fences. The main results in this paper express the sylvan matrix entries for monomial ideals in three variables as a sum over lattice paths of simpler weights that depend only on the number of specific Koszul simplicial complexes that lie along the corresponding lattice path. Certain entries have numerators equal to the number of lattice paths in $\mathbb{N}^2$ that follow specific restrictions.