-
Weyl chambers for short step Quarter-plane Lattice Paths
Authors:
Richard Brak
Abstract:
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 pat…
▽ More
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.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Fibonacci, Motzkin, Schroder, Fuss-Catalan and other Combinatorial Structures: Universal and Embedded Bijections
Authors:
R. Brak,
N. Mahony
Abstract:
A combinatorial structure, $\mathcal{F}$, with counting sequence $\{a_n\}_{n\ge 0}$ and ordinary generating function $G_\mathcal{F}=\sum_{n\ge0} a_n x^n$, is positive algebraic if $G_\mathcal{F}$ satisfies a polynomial equation $G_\mathcal{F}=\sum_{k=0}^N p_k(x)\,G_\mathcal{F}^k $ and $p_k(x)$ is a polynomial in $x$ with non-negative integer coefficients. We show that every such family is associat…
▽ More
A combinatorial structure, $\mathcal{F}$, with counting sequence $\{a_n\}_{n\ge 0}$ and ordinary generating function $G_\mathcal{F}=\sum_{n\ge0} a_n x^n$, is positive algebraic if $G_\mathcal{F}$ satisfies a polynomial equation $G_\mathcal{F}=\sum_{k=0}^N p_k(x)\,G_\mathcal{F}^k $ and $p_k(x)$ is a polynomial in $x$ with non-negative integer coefficients. We show that every such family is associated with a normed $\mathbf{n}$-magma. An $\mathbf{n}$-magma with $\mathbf{n}=(n_1,\dots, n_k)$ is a pair $\mathcal{M}$ and $\mathcal{F}$ where $\mathcal{M}$ is a set of combinatorial structures and $\mathcal{F}$ is a tuple of $n_i$-ary maps $f_i\,:\,\mathcal{M}^{n_i}\to \mathcal{M}$. A norm is a super-additive size map $||\cdot||\,:\, \mathcal{M}\to \mathbb{N} $.
If the normed $\mathbf{n}$-magma is free then we show there exists a recursive, norm preserving, universal bijection between all positive algebraic families $\mathcal{F}_i$ with the same counting sequence. A free $\mathbf{n}$-magma is defined using a universal mapping principle. We state a theorem which provides a combinatorial method of proving if a particular $\mathbf{n}$-magma is free. We illustrate this by defining several $\mathbf{n}$-magmas: eleven $(1,1)$-magmas (the Fibonacci families), seventeen $(1,2)$-magmas (nine Motzkin and eight Schröder families) and seven $(3)$-magmas (the Fuss-Catalan families). We prove they are all free and hence obtain a universal bijection for each $\mathbf{n}$. We also show how the $\mathbf{n}$-magma structure manifests as an embedded bijection.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Bi-orthogonal Polynomials and the Five parameter Asymmetric Simple Exclusion Process
Authors:
R. Brak,
W. Moore
Abstract:
We apply the bi-moment determinant method to compute a representation of the matrix product algebra -- a quadratic algebra satisfied by the operators $\mathbf{d}$ and $\mathbf{e}$ -- for the five parameter ($α$, $β$, $γ$, $δ$ and $q$) Asymmetric Simple Exclusion Process. This method requires an $LDU$ decomposition of the ``bi-moment matrix''. The decomposition defines a new pair of basis vectors s…
▽ More
We apply the bi-moment determinant method to compute a representation of the matrix product algebra -- a quadratic algebra satisfied by the operators $\mathbf{d}$ and $\mathbf{e}$ -- for the five parameter ($α$, $β$, $γ$, $δ$ and $q$) Asymmetric Simple Exclusion Process. This method requires an $LDU$ decomposition of the ``bi-moment matrix''. The decomposition defines a new pair of basis vectors sets, the `boundary basis'. This basis is defined by the action of polynomials $\{P_n\}$ and $\{Q_n\}$ on the quantum oscillator basis (and its dual). Theses polynomials are orthogonal to themselves (ie.\ each satisfy a three term recurrence relation) and are orthogonal to each other (with respect to the same linear functional defining the stationary state). Hence termed `bi-orthogonal'. With respect to the boundary basis the bi-moment matrix is diagonal and the representation of the operator $\mathbf{d}+\mathbf{e}$ is tri-diagonal. This tri-diagonal matrix defines another set of orthogonal polynomials very closely related to the the Askey-Wilson polynomials (they have the same moments).
△ Less
Submitted 17 February, 2019;
originally announced February 2019.
-
A Universal Bijection for Catalan Structures
Authors:
Richard Brak
Abstract:
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) i…
▽ More
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.
△ Less
Submitted 27 May, 2019; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Bi-orthogonal Polynomial Sequences and the Asymmetric Simple Exclusion Process
Authors:
Richard Brak,
William Moore
Abstract:
We reformulate the Corteel-Williams equations for the stationary state of the two parameter Asymmetric Simple Exclusion Process (TASEP) as a linear map $\mathcal{L}(\,\cdot\,)$, acting on a tensor algebra built from a rank two free module with basis $\{e_1,e_2\}$. From this formulation we construct a pair of sequences, $\{P_n(e_1)\}$ and $\{Q_m(e_2)\}$, of bi-orthogonal polynomials (BiOPS), that i…
▽ More
We reformulate the Corteel-Williams equations for the stationary state of the two parameter Asymmetric Simple Exclusion Process (TASEP) as a linear map $\mathcal{L}(\,\cdot\,)$, acting on a tensor algebra built from a rank two free module with basis $\{e_1,e_2\}$. From this formulation we construct a pair of sequences, $\{P_n(e_1)\}$ and $\{Q_m(e_2)\}$, of bi-orthogonal polynomials (BiOPS), that is, they satisfy $\mathcal{L}(P_n(e_1)\otimes Q_m(e_2))=Λ_nδ_{n,m}$. The existence of the sequences arises from the determinant of a Pascal triangle like matrix of polynomials. The polynomials satisfy first order (uncoupled) recurrence relations. We show that the two first moments $\mathcal{L}(P_n\, e_1\, Q_m)$ and $\mathcal{L}(P_n\, e_2\, Q_m)$ give rise to a matrix representation of the ASEP diffusion algebra and hence provide an understanding of the origin of the matrix product Ansatz. The second moment $\mathcal{L}(P_n\, e_1 e_2\,Q_m )$ defines a tridiagonal matrix which makes the connection with Chebyshev-like orthogonal polynomials.
△ Less
Submitted 6 June, 2018; v1 submitted 22 December, 2014;
originally announced December 2014.
-
Simple Asymmetric Exclusion Model and Lattice Paths: Bijections and Involutions
Authors:
Richard Brak,
John Essam
Abstract:
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 relate…
▽ More
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.
△ Less
Submitted 7 September, 2012;
originally announced September 2012.
-
Constant term solution for an arbitrary number of osculating lattice paths
Authors:
R. Brak,
W. Galleas
Abstract:
Osculating paths are sets of directed lattice paths which are not allowed to cross each other or have common edges, but are allowed to have common vertices. In this work we derive a constant term formula for the number of such lattice paths by solving a set of simultaneous difference equations.
Osculating paths are sets of directed lattice paths which are not allowed to cross each other or have common edges, but are allowed to have common vertices. In this work we derive a constant term formula for the number of such lattice paths by solving a set of simultaneous difference equations.
△ Less
Submitted 14 July, 2013; v1 submitted 22 July, 2012;
originally announced July 2012.
-
An infinite family of adsorption models and restricted Lukasiewicz paths
Authors:
Richard Brak,
Gary K Iliev,
Thomas Prellberg
Abstract:
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 obt…
▽ More
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.
△ Less
Submitted 3 May, 2011; v1 submitted 2 May, 2011;
originally announced May 2011.
-
Chebyshev type lattice path weight polynomials by a constant term method
Authors:
R. Brak,
J. Osborn
Abstract:
We prove a constant term theorem which is useful for finding weight polynomials for Ballot/Motzkin paths in a strip with a fixed number of arbitrary `decorated' weights as well as an arbitrary `background' weight. Our CT theorem, like Viennot's lattice path theorem from which it is derived primarily by a change of variable lemma, is expressed in terms of orthogonal polynomials which in our appli…
▽ More
We prove a constant term theorem which is useful for finding weight polynomials for Ballot/Motzkin paths in a strip with a fixed number of arbitrary `decorated' weights as well as an arbitrary `background' weight. Our CT theorem, like Viennot's lattice path theorem from which it is derived primarily by a change of variable lemma, is expressed in terms of orthogonal polynomials which in our applications of interest often turn out to be non-classical. Hence we also present an efficient method for finding explicit closed form polynomial expressions for these non-classical orthogonal polynomials. Our method for finding the closed form polynomial expressions relies on simple combinatorial manipulations of Viennot's diagrammatic representation for orthogonal polynomials. In the course of the paper we also provide a new proof of Viennot's original orthogonal polynomial lattice path theorem. The new proof is of interest because it uses diagonalization of the transfer matrix, but gets around difficulties that have arisen in past attempts to use this approach. In particular we show how to sum over a set of implicitly defined zeros of a given orthogonal polynomial, either by using properties of residues or by using partial fractions. We conclude by applying the method to two lattice path problems important in the study of polymer physics as models of steric stabilization and sensitized flocculation.
△ Less
Submitted 14 July, 2009;
originally announced July 2009.
-
Exactly solved models of polyominoes and polygons
Authors:
Mireille Bousquet-Mélou,
Richard Brak
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 26 November, 2008;
originally announced November 2008.
-
A self-interacting partially directed walk subject to a force
Authors:
R. Brak,
P. Dyke,
J. Lee,
A. L. Owczarek,
T. Prellberg,
A. Rechnitzer,
S. G. Whittington
Abstract:
We consider a directed walk model of a homopolymer (in two dimensions) which is self-interacting and can undergo a collapse transition, subject to an applied tensile force. We review and interpret all the results already in the literature concerning the case where this force is in the preferred direction of the walk. We consider the force extension curves at different temperatures as well as the…
▽ More
We consider a directed walk model of a homopolymer (in two dimensions) which is self-interacting and can undergo a collapse transition, subject to an applied tensile force. We review and interpret all the results already in the literature concerning the case where this force is in the preferred direction of the walk. We consider the force extension curves at different temperatures as well as the critical-force temperature curve. We demonstrate that this model can be analysed rigorously for all key quantities of interest even when there may not be explicit expressions for these quantities available. We show which of the techniques available can be extended to the full model, where the force has components in the preferred direction and the direction perpendicular to this. Whilst the solution of the generating function is available, its analysis is far more complicated and not all the rigorous techniques are available. However, many results can be extracted including the location of the critical point which gives the general critical-force temperature curve. Lastly, we generalise the model to a three-dimensional analogue and show that several key properties can be analysed if the force is restricted to the plane of preferred directions.
△ Less
Submitted 9 November, 2008;
originally announced November 2008.
-
A directed walk model of a long chain polymer in a slit with attractive walls
Authors:
R Brak,
A L Owczarek,
A Rechnitzer,
S G Whittington
Abstract:
We present the exact solutions of various directed walk models of polymers confined to a slit and interacting with the walls of the slit via an attractive potential. We consider three geometric constraints on the ends of the polymer and concentrate on the long chain limit. Apart from the general interest in the effect of geometrical confinement this can be viewed as a two-dimensional model of st…
▽ More
We present the exact solutions of various directed walk models of polymers confined to a slit and interacting with the walls of the slit via an attractive potential. We consider three geometric constraints on the ends of the polymer and concentrate on the long chain limit. Apart from the general interest in the effect of geometrical confinement this can be viewed as a two-dimensional model of steric stabilization and sensitized flocculation of colloidal dispersions. We demonstrate that the large width limit admits a phase diagram that is markedly different from the one found in a half-plane geometry, even when the polymer is constrained to be fixed at both ends on one wall. We are not able to find a closed form solution for the free energy for finite width, at all values of the interaction parameters, but we can calculate the asymptotic behaviour for large widths everywhere in the phase plane. This allows us to find the force between the walls induced by the polymer and hence the regions of the plane where either steric stabilization or sensitized flocculation would occur.
△ Less
Submitted 6 June, 2005;
originally announced June 2005.
-
Asymmetric Exclusion Model and Weighted Lattice Paths
Authors:
R. Brak,
J. Essam
Abstract:
We show that the known matrix representations of the stationary state algebra of the Asymmetric Simple Exclusion Process (ASEP) can be interpreted combinatorially as various weighted lattice paths. This interpretation enables us to use the constant term method (CTM) and bijective combinatorial methods to express many forms of the ASEP normalisation factor in terms of Ballot numbers. One particul…
▽ More
We show that the known matrix representations of the stationary state algebra of the Asymmetric Simple Exclusion Process (ASEP) can be interpreted combinatorially as various weighted lattice paths. This interpretation enables us to use the constant term method (CTM) and bijective combinatorial methods to express many forms of the ASEP normalisation factor in terms of Ballot numbers. One particular lattice path representation shows that the coefficients in the recurrence relation for the ASEP correlation functions are also Ballot numbers. Additionally, the CTM has a strong combinatorial connection which leads to a new ``canonical'' lattice path representation and to the ``omega-expansion'' which provides a uniform approach to computing the asymptotic behaviour in the various phases of the ASEP. The path representations enable the ASEP normalisation factor to be seen as the partition function of a more general polymer chain model having a two parameter interaction with a surface.
△ Less
Submitted 7 November, 2003;
originally announced November 2003.
-
Nonequilibrium stationary states and equilibrium models with long range interactions
Authors:
Richard Brak,
Jan de Gier,
Vladimir Rittenberg
Abstract:
It was recently suggested by Blythe and Evans that a properly defined steady state normalisation factor can be seen as a partition function of a fictitious statistical ensemble in which the transition rates of the stochastic process play the role of fugacities. In analogy with the Lee-Yang description of phase transition of equilibrium systems, they studied the zeroes in the complex plane of the…
▽ More
It was recently suggested by Blythe and Evans that a properly defined steady state normalisation factor can be seen as a partition function of a fictitious statistical ensemble in which the transition rates of the stochastic process play the role of fugacities. In analogy with the Lee-Yang description of phase transition of equilibrium systems, they studied the zeroes in the complex plane of the normalisation factor in order to find phase transitions in nonequilibrium steady states. We show that like for equilibrium systems, the ``densities'' associated to the rates are non-decreasing functions of the rates and therefore one can obtain the location and nature of phase transitions directly from the analytical properties of the ``densities''. We illustrate this phenomenon for the asymmetric exclusion process. We actually show that its normalisation factor coincides with an equilibrium partition function of a walk model in which the ``densities'' have a simple physical interpretation.
△ Less
Submitted 7 November, 2003;
originally announced November 2003.
-
From the Bethe Ansatz to the Gessel-Viennot Theorem
Authors:
R. Brak,
J. W. Essam,
A. L. Owczarek
Abstract:
We state and prove several theorems that demonstrate how the coordinate Bethe Ansatz for the eigenvectors of suitable transfer matrices of a generalised inhomogeneous five-vertex model on the square lattice, given certain conditions hold, is equivalent to the Gessel-Viennot determinant for the number of configurations of $N$ non-intersecting directed lattice paths, or vicious walkers, with vario…
▽ More
We state and prove several theorems that demonstrate how the coordinate Bethe Ansatz for the eigenvectors of suitable transfer matrices of a generalised inhomogeneous five-vertex model on the square lattice, given certain conditions hold, is equivalent to the Gessel-Viennot determinant for the number of configurations of $N$ non-intersecting directed lattice paths, or vicious walkers, with various boundary conditions. Our theorems are sufficiently general to allow generalisation to any regular planar lattice.
△ Less
Submitted 20 June, 2000;
originally announced June 2000.
-
A Combinatorial Interpretation of the Free Fermion Condition of the Six-Vertex Model
Authors:
R. Brak,
A. Owczarek
Abstract:
The free fermion condition of the six-vertex model provides a 5 parameter sub-manifold on which the Bethe Ansatz equations for the wavenumbers that enter into the eigenfunctions of the transfer matrices of the model decouple, hence allowing explicit solutions. Such conditions arose originally in early field-theoretic S-matrix approaches. Here we provide a combinatorial explanation for the condit…
▽ More
The free fermion condition of the six-vertex model provides a 5 parameter sub-manifold on which the Bethe Ansatz equations for the wavenumbers that enter into the eigenfunctions of the transfer matrices of the model decouple, hence allowing explicit solutions. Such conditions arose originally in early field-theoretic S-matrix approaches. Here we provide a combinatorial explanation for the condition in terms of a generalised Gessel-Viennot involution. By doing so we extend the use of the Gessel-Viennot theorem, originally devised for non-intersecting walks only, to a special weighted type of \emph{intersecting} walk, and hence express the partition function of $N$ such walks starting and finishing at fixed endpoints in terms of the single walk partition functions.
△ Less
Submitted 25 November, 1999;
originally announced November 1999.
