arXiv++ Combinatorics

We consider four examples of short step lattice paths confined to the quarter plane. These are the Kreweras, Reverse Kreweras, Gessel, and Mishna-Rechnitzer lattice paths.The Reverse Kreweras are straightforward to solve and thus interesting as a contrast to the Kreweras paths and Gessel paths as the latter two have historically been significantly more difficult to solve. The Mishna-Rechnitzer paths are interesting as they are associated with an infinite order group. We will give some geometrical insight into all these properties by considering the Weyl chambers associated with their step sets.For Reverse Kreweras paths the Weyl chamber walls coincide with the quarter plane boundary and hence the problem is readily solvable by Bethe Ansatz or by using the Gessel-Zeilberger Theorem. For Kreweras paths the quarter plane corresponds to the union of two adjacent Weyl Chambers and hence neither the Bethe Ansatz nor the Gessel-Zeilberger Theorem are directly applicable making the problem considerably more difficult to solve. Similarly, the quarter plane for Gessel paths is the union of three Weyl chambers. For Mishna-Rechnitzer paths the step set has non-zero barycenter leading to an affine dihedral reflection group. The affine structure corresponds to the drift in the random walk. The quarter plane is the union of an infinite number of Weyl alcoves.

A Catalan magma is a unique factorisation normed magma with only one irreducible element. The \val partitions the base set into subsets enumerated by Catalan numbers. The primary theorem characterises the conditions which a set a with product map must satisfy in order to be a free magma generated by the irreducible elements. This theorem can be used to prove a set of objects (with a product map) is a Catalan magma. The isomorphism between Catalan magmas gives a "universal" bijection -- essentially one bijection algorithm for all pairs of families. The morphism property ensures the bijection is recursive. The universal bijection allows us to give some rigour to the idea of an "embedding" bijection between Catalan objects which, in many cases, shows how to embed an element of one Catalan family into one of a different family. Multiplication on the right (respectively left) by the generator gives rise to the right (respectively left) Narayana statistic. The statistic is invariant under the universal bijection and hence allows us to determine what structures of any Catalan family are associated with this refinement. We discuss the relation between the symbolic method for Catalan families and the magma structure on the base set defined by the symbolic method. This shows which "atomic" elements are also irreducible. The appendix gives the magma structure for 14 Catalan families.

We study the combinatorics of the change of basis of three representations of the stationary state algebra of the two parameter simple asymmetric exclusion process. Each of the representations considered correspond to a different set of weighted lattice paths which, when summed over, give the stationary state probability distribution. We show that all three sets of paths are combinatorially related via sequences of bijections and sign reversing involutions.

We define $(k,\ell)$-restricted Lukasiewicz paths, $k\le\ell\in\mathbb{N}_0$, and use these paths as models of polymer adsorption. We write down a polynomial expression satisfied by the generating function for arbitrary values of $(k,\ell)$. The resulting polynomial is of degree $\ell+1$ and hence cannot be solved explicitly for sufficiently large $\ell$. We provide two different approaches to obtain the phase diagram. In addition to a more conventional analysis, we also develop a new mathematical characterization of the phase diagram in terms of the discriminant of the polynomial and a zero of its highest degree coefficient. We then give a bijection between $(k,\ell)$-restricted Lukasiewicz paths and "rise"-restricted Dyck paths, identifying another family of path models which share the same critical behaviour. For $(k,\ell)=(1,\infty)$ we provide a new bijection to Motzkin paths. We also consider the area-weighted generating function and show that it is a q-deformed algebraic function. We determine the generating function explicitly in particular cases of $(k,\ell)$-restricted Lukasiewicz paths, and for $(k,\ell)=(0,\infty)$ we provide a bijection to Dyck paths.

This chapter deals with the exact enumeration of certain classes of self-avoiding polygons and polyominoes on the square lattice. We present three general approaches that apply to many classes of polyominoes. The common principle to all of them is a recursive description of the polyominoes which then translates into a functional equation satisfied by the generating function. The first approach applies to classes of polyominoes having a linear recursive structure and results in a rational generating function. The second approach applies to classes of polyominoes having an algebraic recursive structure and results in an algebraic generating function. The third approach, commonly called the Temperley method, is based on the action of adding a new column to the polyominoes. We conclude by discussing some open questions.