arXiv++ Combinatorics

We compute the cogrowth series for Baumslag-Solitar groups $\mathrm{BS}(N,N) = < a,b | a^N b = b a^N > $, which we show to be D-finite. It follows that their cogrowth rates are algebraic numbers.

We propose a numerical method for studying the cogrowth of finitely presented groups. To validate our numerical results we compare them against the corresponding data from groups whose cogrowth series are known exactly. Further, we add to the set of such groups by finding the cogrowth series for Baumslag-Solitar groups $\mathrm{BS}(N,N) = < a,b | a^N b = b a^N >$ and prove that their cogrowth rates are algebraic numbers.

The exact solution of directed self-avoiding walks confined to a slit of finite width and interacting with the walls of the slit via an attractive potential has been calculated recently. The walks can be considered to model the polymer-induced steric stabilisation and sensitised floculation of colloidal dispersions. The large width asymptotics led to a phase diagram different to that of a polymer attached to, and attracted to, a single wall. The question that arises is: can one interpolate between the single wall and two wall cases? In this paper we calculate the exact scaling functions for the partition function by considering the two variable asymptotics of the partition function for simultaneous large length and large width. Consequently, we find the scaling functions for the force induced by the polymer on the walls. We find that these scaling functions are given by elliptic theta-functions. In some parts of the phase diagram there is more a complex crossover between the single wall and two wall cases and we elucidate how this happens.

The enumeration of lattice paths in wedges poses unique mathematical challenges. These models are not translationally invariant, and the absence of this symmetry complicates both the derivation of a functional recurrence for the generating function, and solving for it. In this paper we consider a model of partially directed walks from the origin in the square lattice confined to both a symmetric wedge defined by $Y = \pm pX$, and an asymmetric wedge defined by the lines $Y= pX$ and Y=0, where $p > 0$ is an integer. We prove that the growth constant for all these models is equal to $1+\sqrt{2}$, independent of the angle of the wedge. We derive functional recursions for both models, and obtain explicit expressions for the generating functions when $p=1$. From these we find asymptotic formulas for the number of partially directed paths of length $n$ in a wedge when $p=1$. The functional recurrences are solved by a variation of the kernel method, which we call the ``iterated kernel method''. This method appears to be similar to the obstinate kernel method used by Bousquet-Melou. This method requires us to consider iterated compositions of the roots of the kernel. These compositions turn out to be surprisingly tractable, and we are able to find simple explicit expressions for them. However, in spite of this, the generating functions turn out to be similar in form to Jacobi $θ$-functions, and have natural boundaries on the unit circle.

We construct a sequence of finite automata that accept subclasses of the class of 4231-avoiding permutations. We thereby show that the Wilf-Stanley limit for the class of 4231-avoiding permutations is bounded below by 9.35. This bound shows that this class has the largest such limit among all classes of permutations avoiding a single permutation of length 4 and refutes the conjecture that the Wilf-Stanley limit of a class of permutations avoiding a single permutation of length k cannot exceed (k-1)^2.

We derive self-reciprocity properties for a number of polyomino generating functions, including several families of column-convex polygons, three-choice polygons and staircase polygons with a staircase hole. In so doing, we establish a connection between the reciprocity results known to combinatorialists and the inversion relations used by physicists to solve models in statistical mechanics. For several classes of convex polygons, the inversion (reciprocity) relation, augmented by certain symmetry and analyticity properties, completely determines the anisotropic perimeter generating function.