arXiv++ Combinatorics

Following the work of Cano and Diaz, we consider a continuous analog of lattice path enumeration. This allows us to define a continuous version of any discrete object that counts certain types of lattice paths. We define continuous versions of binomials and multinomials, and describe some identities and partial differential equations they satisfy. Finally, we illustrate a general process to recover discrete combinatorial quantities from their continuous analogs.

In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jumping from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.

A rational Dyck path of type $(m,d)$ is an increasing unit-step lattice path from $(0,0)$ to $(m,d) \in \mathbb{Z}^2$ that never goes above the diagonal line $y = (d/m)x$. On the other hand, a positroid of rank $d$ on the ground set $[d+m]$ is a special type of matroid coming from the totally nonnegative Grassmannian. In this paper we describe how to naturally assign a rank $d$ positroid on the ground set $[d+m]$, which we name rational Dyck positroid, to each rational Dyck path of type $(m,d)$. We show that such an assignment is one-to-one. There are several families of combinatorial objects in one-to-one correspondence with the set of positroids. Here we characterize some of these families for the positroids we produce, namely Grassmann necklaces, decorated permutations, Le-diagrams, and move-equivalence classes of plabic graphs. Finally, we describe the matroid polytope of a given rational Dyck positroid.

We derive new fermionic expressions for the characters of the Virasoro minimal models $M(k,2k\pm1)$ by analysing the recently introduced half-lattice paths. These fermionic expressions display a quasiparticle formulation characteristic of the $φ_{2,1}$ and $φ_{1,5}$ integrable perturbations. We find that they arise by imposing a simple restriction on the RSOS quasiparticle states of the unitary models $M(p,p+1)$. In fact, four fermionic expressions are obtained for each generating function of half-lattice paths of finite length $L$, and these lead to four distinct expressions for most characters $χ^{k,2k\pm1}_{r,s}$. These are direct analogues of Melzer's expressions for $M(p,p+1)$, and their proof entails revisiting, reworking and refining a proof of Melzer's identities which used combinatorial transforms on lattice paths. We also derive a bosonic version of the generating functions of length $L$ half-lattice paths, this expression being notable in that it involves $q$-trinomial coefficients. Taking the $L\to\infty$ limit shows that the generating functions for infinite length half-lattice paths are indeed the Virasoro characters $χ^{k,2k\pm1}_{r,s}$.

Bargraphs are a special class of convex polyominoes. They can be identified with lattice paths with unit steps north, east, and south that start at the origin, end on the $x$-axis, and stay strictly above the $x$-axis everywhere except at the endpoints. Bargraphs, which are used to represent histograms and to model polymers in statistical physics, have been enumerated in the literature by semiperimeter and by several other statistics, using different methods such as the wasp-waist decomposition of Bousquet-Mélou and Rechnitzer, and a bijection with certain Motzkin paths. In this paper we describe an unusual bijection between bargraphs and Dyck paths, and study how some statistics are mapped by the bijection. As a consequence, we obtain a new interpretation of Catalan numbers, as counting bargraphs where the semiperimeter minus the number of peaks is fixed.

Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.

The number of Borel orbits in polarizations (the symmetric variety $SL(n)/S(GL(p)\times GL(q))$) is analyzed, various (bivariate) generating functions are found. Relations to lattice path combinatorics are explored.

The question of classifying the nature of the generating functions of restricted lattice walks has enjoyed much attention in past years. We prove that a certain class of octant walks have a D-finite generating function using the theory of multivariate formal Laurent series.

Consider a semi-regular hexagon on the triangular lattice (that is, the lattice consisting of unit equilateral triangles, drawn so that one family of lines is vertical). Rhombus (or lozenge) tilings of this region may be represented in at least two very different ways: as families of non-intersecting lattice paths; or alternatively as perfect matchings of a certain sub-graph of the hexagonal lattice. In this article we show how the lattice path representation of tilings may be utilised in order to calculate the entries of the inverse Kasteleyn matrix that arises from interpreting tilings as perfect matchings. Our main result gives precisely the inverse Kasteleyn matrix (up to a possible change in sign) for a semi-regular hexagon of side lengths $a,b,c,a,b,c$ (going clockwise from the south-west side). Not only does this theorem generalise a number of known results regarding tilings of hexagons that contain punctures, but it also provides a new formulation through which we may attack problems in statistical physics such as Ciucu's electrostatic conjecture.

In this paper we investigate the number of integer points lying in dilations of lattice path matroid polytopes. We give a characterization of such points as polygonal paths in the diagram of the lattice path matroid. Furthermore, we prove that lattice path matroid polytopes are affinely equivalent to a family of distributive polytopes. As applications we obtain two new infinite families of matroids verifying a conjecture of De Loera et.~al. and present an explicit formula of the Ehrhart polynomial for one of them.

Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.

A lattice path matroid is a transversal matroid corresponding to a pair of lattice paths on the plane. A matroid base polytope is the polytope whose vertices are the incidence vectors of the bases of the given matroid. In this paper, we study facial structures of matroid base polytopes corresponding to lattice path matroids.

A lattice path in $\mathbb{Z}^d$ is a sequence $ν_1,ν_2,\ldots,ν_k\in\mathbb{Z}^d$ such that the steps $ν_i-ν_{i-1}$ lie in a subset $\mathbf{S}$ of $\mathbb{Z}^d$ for all $i=2,\ldots,k$. Let $T_{m,n}$ be the $m\times n$ table in the first area of the $xy$-axis and put $\mathbf{S}=\{(1,1),(1,0),(1,-1)\}$. Accordingly, let $\mathcal{I}_m(n)$ denote the number of lattice paths starting from the first column and ending at the last column of $T$. We will study the numbers $\mathcal{I}_m(n)$ and give explicit formulas for special values of $m$ and $n$. As a result, we prove a conjecture of \textit{Alexander R. Povolotsky} involving $\mathcal{I}_n(n)$. Finally, we present some relationships between the number of lattice paths and Fibonacci and Pell-Lucas numbers, and pose an open problem.

The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of reductions that can be applied to a given tree. In particular, the precise asymptotic behavior of the number of certain substructures ("branches") that occur when reducing a tree repeatedly is determined. In the same manner we introduce a reduction for simple two-dimensional lattice paths from which a complexity measure similar to the register function can be derived. We analyze this quantity, as well as the (cumulative) size of an (iteratively) reduced lattice path asymptotically.

In this paper, we exploit the combinatorics and geometry of triangulations of products of simplices to derive new results in the context of Catalan combinatorics of $ν$-Tamari lattices. In our framework, the main role of "Catalan objects" is played by $(I,\overline{J})$-trees: bipartite trees associated to a pair $(I,\overline{J})$ of finite index sets that stand in simple bijection with lattice paths weakly above a lattice path $ν=ν(I,\overline{J})$. Such trees label the maximal simplices of a triangulation whose dual polyhedral complex gives a geometric realization of the $ν$-Tamari lattice introduced by Prévile-Ratelle and Viennot. In particular, we obtain geometric realizations of $m$-Tamari lattices as polyhedral subdivisions of associahedra induced by an arrangement of tropical hyperplanes, giving a positive answer to an open question of F.~Bergeron. The simplicial complex underlying our triangulation endows the $ν$-Tamari lattice with a full simplicial complex structure. It is a natural generalization of the classical simplicial associahedron, alternative to the rational associahedron of Armstrong, Rhoades and Williams, whose $h$-vector entries are given by a suitable generalization of the Narayana numbers. Our methods are amenable to cyclic symmetry, which we use to present type $B$ analogues of our constructions. Notably, we define a partial order that generalizes the type $B$ Tamari lattice, introduced independently by Thomas and Reading, along with corresponding geometric realizations.

Let $1\leq r\leq n$ and suppose that, when the Depth-first Search Algorithm is applied to a given rooted labelled tree on $n+1$ vertices, exactly $r$ vertices are visited before backtracking. Let $R$ be the set of trees with this property. We count the number of elements of $R$. For this purpose, we first consider a bijection, due to Parkinson, Yang and Yu, that maps $R$ onto the set of parking function with center (defined by the authors in a previous article) of size $r$. A second bijection maps this set onto the set of parking functions with run $r$, a property that we introduce here. We then prove that the number of length $n$ parking functions with a given run is the number of length $n$ rook words (defined by Leven, Rhoades and Wilson) with the same run. This is done by counting related lattice paths in a ladder-shaped region. We finally count the number of length $n$ rook words with run $r$, which is the answer to our initial question.

We present an average case analysis of a variant of dual-pivot quicksort. We show that the used algorithmic partitioning strategy is optimal, i.e., it minimizes the expected number of key comparisons. For the analysis, we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven.

Motivated by the relation holding for the m-generalized Catalan numbers of type A and C, the connection between dominant regions of the m-Shi arrangement of type A and C is investigated. In the same line of thought, a bijection between mn+1 copies of each m-Dyck path of height n and the set of NE lattice paths inside an n times mn rectangle is provided.

We present a general theorem on the structure of bivariate generating functions which gives sufficient conditions such that the limiting probability distribution is a half-normal distribution. If $X$ is a normally distributed random variable with zero mean, then $|X|$ obeys a half-normal distribution. In the second part, we apply our result to prove three natural appearances in the domain of lattice paths: the number of returns to zero, the height, and the sign changes are under zero drift distributed according to a half-normal distribution. This extends known results to a general step set. Finally, our result also gives a new proof of Banach's matchbox problem.

From the matrix point of view, we use the recursion to discuss four combinatorial numbers in terms of the integer lattice paths, this is different from Andrá's method (Andra). We give four tables and matrices, and their relations, and give their matrix decompositions. By their relations, we give the explicit formulas of the special combinatorial numbers.