arXiv++ Combinatorics

Recently Kauers, Koutschan and Spahn announced a significant increase in the length of the so-called {\em gerrymander sequence}, given as A348456 in the OEIS, extending the sequence from 3 terms to 7 terms. We give a further extension to 11 terms, but more significantly prove that the coefficients grow as $λ^{4L^2},$ where $λ\approx 1.7445498, $ and is equal to the corresponding quantity for self-avoiding walks crossing a square (WCAS), or self-avoiding polygons crossing a square (PCAS). These are, respectively, OEIS sequences A007764 and A333323. Thus we have established a close connection between these previously separate problems. We have also related the sub-dominant behaviour to that of WCAS and PCAS, allowing us to conjecture that the coefficients of the gerrymander sequence A348456 grow as $λ^{4L^2+dL+e} \cdot L^g,$ where $d=-8.08708 \pm 0.0002,$ $e \approx 7.69$ and $g = 0.75 \pm 0.01,$ with $g$ almost certainly $3/4$ exactly. We also have generated 26 terms in the related gerrymander polynomial (defined below), and have been able to predict the asymptotic behaviour with a satisfying degree of precision. Indeed, it behaves exactly as $L$ times the corresponding coefficient of the generalised gerrymander sequence. The improved algorithm we give for counting these sequences is a variation of that which we recently developed for extending a number of sequences for SAWs and SAPs crossing a domain of the square or hexagonal lattices. It makes use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths.

We describe some ideas of John Hammersley for proving the existence of critical exponents for two-dimensional self-avoiding walks and provide numerical evidence for their correctness.

More than 15 years ago Guttmann and Vöge [J. Statist. Plann. Inference, {\bf 101}, 107 (2002)], introduced a model of friendly walkers. Since then it has remained unsolved. In this paper we provide the exact solution to a closely allied model, originally introduced by Tsuchiya and Katori [J. Phys. Soc. Japan {\bf 67}, 1655 (1988)], which essentially only differs in the boundary conditions. The exact solution is expressed in terms of the reciprocal of the generating function for vicious walkers which is a D-finite function. However, ratios of D-finite functions are inherently not D-finite and in this case we prove that the friendly walkers generating function is the solution to a non-linear differential equation with polynomial coefficients, it is in other words D-algebraic. We then show via numerically exact calculations that the generating function of the original model can also be expressed as a D-finite function times the reciprocal of the generating function for vicious walkers. We obtain an expression for this D-finite function in terms of a ${}_{2}F_{1}$ hypergeometric function with a rational pullback and its first and second derivatives.

We present a new and more efficient implementation of transfer-matrix methods for exact enumerations of lattice objects. The new method is illustrated by an application to the enumeration of self-avoiding polygons on the square lattice. A detailed comparison with the previous best algorithm shows significant improvement in the running time of the algorithm. The new algorithm is used to extend the enumeration of polygons to length 130 from the previous record of 110.

Recently Beaton, de Gier and Guttmann proved a conjecture of Batchelor and Yung that the critical fugacity of self-avoiding walks interacting with (alternate) sites on the surface of the honeycomb lattice is $1+\sqrt{2}$. A key identity used in that proof depends on the existence of a parafermionic observable for self-avoiding walks interacting with a surface on the honeycomb lattice. Despite the absence of a corresponding observable for SAW on the square and triangular lattices, we show that in the limit of large lattices, some of the consequences observed for the honeycomb lattice persist irrespective of lattice. This permits the accurate estimation of the critical fugacity for the corresponding problem for the square and triangular lattices. We consider both edge and site weighting, and results of unprecedented precision are achieved. We also \emph{prove} the corresponding result fo the edge-weighted case for the honeycomb lattice.

Punctured polygons are polygons with internal holes which are also polygons. The external and internal polygons are of the same type, and they are mutually as well as self-avoiding. Based on an assumption about the limiting area distribution for unpunctured polygons, we rigorously analyse the effect of a finite number of punctures on the limiting area distribution in a uniform ensemble, where punctured polygons with equal perimeter have the same probability of occurrence. Our analysis leads to conjectures about the scaling behaviour of the models. We also analyse exact enumeration data. For staircase polygons with punctures of fixed size, this yields explicit expressions for the generating functions of the first few area moments. For staircase polygons with punctures of arbitrary size, a careful numerical analysis yields very accurate estimates for the area moments. Interestingly, we find that the leading correction term for each area moment is proportional to the corresponding area moment with one less puncture. We finally analyse corresponding quantities for punctured self-avoiding polygons and find agreement with the conjectured formulas to at least 3-4 significant digits.

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.

Using a simple transfer matrix approach we have derived very long series expansions for the perimeter generating function of three-choice polygons. We find that all the terms in the generating function can be reproduced from a linear Fuchsian differential equation of order 8. We perform an analysis of the properties of the differential equation.