arXiv++ Combinatorics

The cogrowth series of a group with respect to a finite generating set is an important combinatorial quantity that seems very difficult to compute exactly, as evidenced by the scarcity of known examples. In this paper, we give a particular infinite family of presentations for which the cogrowth series can be determined as the constant term of an algebraic function, which shows that it is D-finite and, with more work, not algebraic. Our proof exploits the fact that for a particular choice of subgroup, the corresponding Schreier graph has finite tree width, and by considering paths in the cosets and the Schreier graph separately, we are able to construct a system of generating functions which count paths. We find the asymptotics of this system to conclude that the groups have D-finite but non-algebraic cogrowth series. We also apply our method to some additional examples which have some similarities with the infinite family above, and again show they have D-finite but non-algebraic cogrowth series. These examples lend some support to the conjecture that if a group has an algebraic cogrowth series, then it must be virtually-free, and adds to the small collection of known examples of groups having D-finite cogrowth series for at least one finite generating set.

Using rigorous high-precision floating point arithmetic we compute very tight rigorous bounds on the auto-convolution constant \[ ν_2^2 = \inf_f \|f \ast f\|_2^2 = \inf_f \int_{-1}^1 (f \ast f)^2 \] where the infimum is taken over all unit mass functions $f \in L^1(-1/2,1/2)$. This quantity arises in additive combinatorics, particularly in the study of Sidon sets. Our bounds give the first 128 digits of $ν_2^2$, and so substantially improve previous bounds on this quantity due to White, Green, and Martin & O'Bryant.

We find and analyse the exact solution of a model of three different polymers with asymmetric contact interactions in two dimensions, modelling a scenario where there are different types of polymers involved. In particular, we find the generating function of three directed osculating walks in star configurations on the square lattice with two interaction Boltzmann weights, so that there is one type of contact interaction between the top pair of walks and a different interaction between the bottom pair of walks. These osculating stars are found to be the most amenable to exact solution using functional equation techniques in comparison to the symmetric case where three friendly walks in watermelon configurations were successfully solved with the same techniques. We elucidate the phase diagram, which has four phases, and find the order of all the phase transitions between them. We also calculate the entropic exponents in each phase.

The set of random walks with different step sets (of short steps) in the quarter plane has provided a rich set of models that have profoundly different integrability properties. In particular, 23 of the 79 effectively different models can be shown to have generating functions that are algebraic or differentiably finite. Here we investigate how this integrability may change in those 23 models where in addition to length one also counts the number of sites of the walk touching either the horizontal and/or vertical boundaries of the quarter plane. This is equivalent to introducing interactions with those boundaries in a statistical mechanical context. We are able to solve for the generating function in a number of cases. For example, when counting the total number of boundary sites without differentiating whether they are horizontal or vertical, we can solve the generating function of a generalised Kreweras model. However, in many instances we are not able to solve as the kernel methodology seems to break down when including counts with the boundaries.

A plane curve is a knot diagram in which each crossing is replaced by a 4-valent vertex, and so are dual to a subset of planar quadrangulations. The aim of this paper is to introduce a new tool for sampling diagrams via sampling of plane curves. At present the most efficient method for sampling diagrams is rejection sampling, however that method is inefficient at even modest sizes. We introduce Markov chains that sample from the space of plane curves using local moves based on Reidemeister moves. By then mapping vertices on those curves to crossings we produce random knot diagrams. Combining this chain with flat histogram methods we achieve an efficient sampler of plane curves and knot diagrams. By analysing data from this chain we are able to estimate the number of knot diagrams of a given size and also compute knotting probabilities and so investigate their asymptotic behaviour.

In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2-41-3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2-41-3$, $3-14-2$ and $3-41-2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2-14-3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper. For each family (that of semi-Baxter -- or equivalently, plane -- and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non D-finite.

We study the growth rate of the hard squares lattice gas, equivalent to the number of independent sets on the square lattice, and two related models - non-attacking kings and read-write isolated memory. We use an assortment of techniques from combinatorics, statistical mechanics and linear algebra to prove upper bounds on these growth rates. We start from Calkin and Wilf's transfer matrix eigenvalue bound, then bound that with the Collatz-Wielandt formula from linear algebra. To obtain an approximate eigenvector, we use an ansatz from Baxter's corner transfer matrix formalism, optimised with Nishino and Okunishi's corner transfer matrix renormalisation group method. This results in an upper bound algorithm which no longer requires exponential memory and so is much faster to calculate than a direct evaluation of the Calkin-Wilf bound. Furthermore, it is extremely parallelisable and so allows us to make dramatic improvements to the previous best known upper bounds. In all cases we reduce the gap between upper and lower bounds by 4-6 orders of magnitude.

We prove that the class of permutations generated by passing an ordered sequence $12\dots n$ through a stack of depth 2 and an infinite stack in series is in bijection with an unambiguous context-free language, where a permutation of length $n$ is encoded by a string of length $3n$. It follows that the sequence counting the number of permutations of each length has an algebraic generating function. We use the explicit context-free language to compute the generating function: \begin{align*} \sum_{n\geq 0} c_n t^n &= \frac{(1+q)\left(1+5q-q^2-q^3-(1-q)\sqrt{(1-q^2)(1-4q-q^2)}\right)}{8q} \end{align*} where $c_n$ is the number of permutations of length $n$ that can be generated, and $q \equiv q(t) = \frac{1-2t-\sqrt{1-4t}}{2t}$ is a simple variant of the Catalan generating function. This in turn implies that $c_n^{1/n} \to 2+2\sqrt{5}$.

We study a model of two polymers confined to a slit with sticky walls. More precisely, we find and analyse the exact solution of two directed friendly walks in such a geometry on the square lattice. We compare the infinite slit limit, in which the length of the polymer (thermodynamic limit) is taken to infinity before the width of the slit is considered to become large, to the opposite situation where the order of the limits are swapped, known as the half-plane limit when one polymer is modelled. In contrast with the single polymer system we find that the half-plane and infinite slit limits coincide. We understand this result in part due to the tethering of polymers on both walls of the slit. We also analyse the entropic force exerted by the polymers on the walls of the slit. Again the results differ significantly from single polymer models. In a single polymer system both attractive and repulsive regimes were seen, whereas in our two walk model only repulsive forces are observed. We do, however, see that the range of the repulsive force is dependent on the parameter values. This variation can be explained by the adsorption of the walks on opposite walls of the slit.

We analyse the capacity of several two-dimensional constraint families - the exclusion, colouring, parity and charge model families. Using Baxter's corner transfer matrix formalism combined with the corner transfer matrix renormalisation group method of Nishino and Okunishi, we calculate very tight lower bounds and estimates on the growth rate of these models. Our results strongly improve previous known lower bounds, and lead to the surprising conjecture that the capacity of the even and charge(3) constraints are identical.

We find, and analyse, the exact solution of two friendly directed walks, modelling polymers, which interact with a wall via contact interactions. We specifically consider two walks that begin and end together so as to imitate a polygon. We examine a general model in which a separate interaction parameter is assigned to configurations where both polymers touch the wall simultaneously, and investigate the effect this parameter has on the integrability of the problem. We find an exact solution of the generating function of the model, and provide a full analysis of the phase diagram that admits three phases with one first-order and two second-order transition lines between these phases. We argue that one physically realisable model would see two phase transitions as the temperature is lowered.

We investigate the cogrowth and distribution of geodesics in R. Thompson's group $F$.

We present two quite different algorithms to compute the number of elements in the sphere of radius $n$ of Thompson's group $F$ with standard generating set. The first of these requires exponential time and polynomial space, but additionally computes the number of geodesics and is generalisable to many other groups. The second algorithm requires polynomial time and space and allows us to compute the size of the spheres of radius $n$ with $n \leq 1500$. Using the resulting series data we find that the growth rate of the group is bounded above by $2.62167...$. This is very close to Guba's lower bound of $\tfrac{3+\sqrt{5}}{2}$ \cite{Guba2004}. Indeed, numerical analysis of the series data strongly suggests that the growth rate of the group is exactly $\tfrac{3+\sqrt{5}}{2}$.

We consider random subgroups of Thompson's group $F$ with respect to two natural stratifications of the set of all $k$ generator subgroups. We find that the isomorphism classes of subgroups which occur with positive density are not the same for the two stratifications. We give the first known examples of {\em persistent} subgroups, whose isomorphism classes occur with positive density within the set of $k$-generator subgroups, for all sufficiently large $k$. Additionally, Thompson's group provides the first example of a group without a generic isomorphism class of subgroup. Elements of $F$ are represented uniquely by reduced pairs of finite rooted binary trees. We compute the asymptotic growth rate and a generating function for the number of reduced pairs of trees, which we show is D-finite and not algebraic. We then use the asymptotic growth to prove our density results.

We present two classes of random walks restricted to the quarter plane whose generating function is not holonomic. The non-holonomy is established using the iterated kernel method, a recent variant of the kernel method. This adds evidence to a recent conjecture on combinatorial properties of walks with holonomic generating functions. The method also yields an asymptotic expression for the number of walks of length n.

We have derived the perimeter generating function of a model of punctured staircase polygons in which the internal staircase polygon is rotated by a 90degree angle with respect to the outer staircase polygon. In one approach we calculated a long series expansion for the problem and found that all the terms in the generating function can be reproduced from a linear Fuchsian differential equation of order 4. We then solved this ODE and found a closed form expression for the generating function. This is a highly unusual and most fortuitous result since ODEs of such high order very rarely permit a closed form solution. In a second approach we proved the result for the generating function exactly using combinatorial arguments. This latter solution allows many generalisations including to models with other types of punctures and to a model with any fixed number of nested rotated staircase punctures.

While directed site-animals have been solved on several lattices, directed bond-animals remain unsolved on any non-trivial lattice. In this paper we demonstrate that the anisotropic generating function of directed bond-animals on the square lattice is fundamentally different from that of directed site-animals in that it is not differentiably finite. We also extend this result to directed bond-animals on hypercubic lattices. This indicates that directed bond-animals are unlikely to be solved by similar methods to those used in the solution of directed site-animals. It also implies that a solution cannot by conjectured using computer packages such as GFUN or differential approximants.

We prove that the anisotropic generating function of self-avoiding polygons is not a D-finite function - proving a conjecture of Guttmann and Enting. This result is also generalised to self-avoiding polygons on hypercubic lattices. Using the haruspicy techniques developed in an earlier paper we are also prove the form of the coefficients of the anisotropic generating function, which was first conjectured by Guttmann and Enting.