-
New Upper Bounds for Stick Numbers
Authors:
Jason Cantarella,
Andrew Rechnitzer,
Henrik Schumacher,
Clayton Shonkwiler
Abstract:
We use a version of simulated annealing with knot-type preserving moves to find polygonal representatives of various knot types with low stick number. These give better bounds on stick numbers of prime knots through 10 crossings, and for the first time give a comprehensive table of stick number bounds on all knots through 13 crossings. These are equal to existing lower bounds (and hence determine…
▽ More
We use a version of simulated annealing with knot-type preserving moves to find polygonal representatives of various knot types with low stick number. These give better bounds on stick numbers of prime knots through 10 crossings, and for the first time give a comprehensive table of stick number bounds on all knots through 13 crossings. These are equal to existing lower bounds (and hence determine the stick number exactly) for 19 knot types whose exact stick number was not known previously.
△ Less
Submitted 25 August, 2025;
originally announced August 2025.
-
Exact solution of asymmetric gelation between three walks on the square lattice
Authors:
Aleksander L Owczarek,
Andrew Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 September, 2025; v1 submitted 22 July, 2025;
originally announced July 2025.
-
Counting Zeros of Dirichlet $L$-Functions
Authors:
Michael A. Bennett,
Greg Martin,
Kevin O'Bryant,
Andrew Rechnitzer
Abstract:
We give explicit upper and lower bounds for $N(T,χ)$, the number of zeros of a Dirichlet $L$-function with character $χ$ and height at most $T$. Suppose that $χ$ has conductor $q>1$, and that $T\geq 5/7$. If $\ell=\log\frac{q(T+2)}{2π}> 1.567$, then \begin{equation*}
\left| N(T,χ) - \left( \frac{T}π \log\frac{qT}{2πe} -\frac{χ(-1)}{4}\right) \right|
\le 0.22737 \ell + 2 \log(1+\ell) - 0.5.
\…
▽ More
We give explicit upper and lower bounds for $N(T,χ)$, the number of zeros of a Dirichlet $L$-function with character $χ$ and height at most $T$. Suppose that $χ$ has conductor $q>1$, and that $T\geq 5/7$. If $\ell=\log\frac{q(T+2)}{2π}> 1.567$, then \begin{equation*}
\left| N(T,χ) - \left( \frac{T}π \log\frac{qT}{2πe} -\frac{χ(-1)}{4}\right) \right|
\le 0.22737 \ell + 2 \log(1+\ell) - 0.5.
\end{equation*} We give slightly stronger results for small $q$ and $T$. Along the way, we prove a new bound on $|L(s,χ)|$ for $σ<-1/2$.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Exact solution of some quarter plane walks with interacting boundaries
Authors:
Nicholas R Beaton,
Aleksander L Owczarek,
Andrew Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
A Markov Chain Sampler for Plane Curves
Authors:
Harrison Chapman,
Andrew Rechnitzer
Abstract:
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 Ma…
▽ More
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.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Explicit bounds for primes in arithmetic progressions
Authors:
Michael A. Bennett,
Greg Martin,
Kevin O'Bryant,
Andrew Rechnitzer
Abstract:
We derive explicit upper bounds for various functions counting primes in arithmetic progressions. By way of example, if $q$ and $a$ are integers with $\gcd(a,q)=1$ and $3 \leq q \leq 10^5$, and $θ(x;q,a)$ denotes the sum of the logarithms of the primes $p \equiv a \pmod{q}$ with $p \leq x$, we show that $$ \bigg| θ(x; q, a) - \frac{x}{φ(q)} \bigg| < \frac1{160} \frac{x}{\log x}, $$ for all…
▽ More
We derive explicit upper bounds for various functions counting primes in arithmetic progressions. By way of example, if $q$ and $a$ are integers with $\gcd(a,q)=1$ and $3 \leq q \leq 10^5$, and $θ(x;q,a)$ denotes the sum of the logarithms of the primes $p \equiv a \pmod{q}$ with $p \leq x$, we show that $$ \bigg| θ(x; q, a) - \frac{x}{φ(q)} \bigg| < \frac1{160} \frac{x}{\log x}, $$ for all $x \ge 8 \cdot 10^9$ (with sharper constants obtained for individual such moduli $q$). We establish inequalities of the same shape for the other standard prime-counting functions $π(x;q,a)$ and $ψ(x;q,a)$, as well as inequalities for the $n$th prime congruent to $a\pmod q$ when $q\le1200$. For moduli $q>10^5$, we find even stronger explicit inequalities, but only for much larger values of $x$. Along the way, we also derive an improved explicit lower bound for $L(1,χ)$ for quadratic characters $χ$, and an improved explicit upper bound for exceptional zeros.
△ Less
Submitted 27 November, 2018; v1 submitted 31 January, 2018;
originally announced February 2018.
-
Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence
Authors:
Mathilde Bouvel,
Veronica Guerrini,
Andrew Rechnitzer,
Simone Rinaldi
Abstract:
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 n…
▽ More
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.
△ Less
Submitted 11 January, 2018; v1 submitted 15 February, 2017;
originally announced February 2017.
-
Upper bounds on the growth rates of hard squares and related models via corner transfer matrices
Authors:
Yao-ban Chan,
Andrew Rechnitzer
Abstract:
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 eigenval…
▽ More
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.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
Permutations generated by a depth 2 and infinite stack in series are algebraic
Authors:
Murray Elder,
Geoffrey Lee,
Andrew Rechnitzer
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 1 August, 2014; v1 submitted 16 July, 2014;
originally announced July 2014.
-
Confining multiple polymers between sticky walls: a directed walk model of two polymers
Authors:
Thomas Wong,
Aleksander L. Owczarek,
Andrew Rechnitzer
Abstract:
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 w…
▽ More
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.
△ Less
Submitted 30 May, 2014;
originally announced June 2014.
-
Random sampling of trivials words in finitely presented groups
Authors:
M. Elder,
A. Rechnitzer,
E. J. Janse van Rensburg
Abstract:
We describe a novel algorithm for random sampling of freely reduced words equal to the identity in a finitely presented group. The algorithm is based on Metropolis Monte Carlo sampling. The algorithm samples from a stretched Boltzmann distribution \begin{align*}π(w) &= (|w|+1)^α β^{|w|} \cdot Z^{-1} \end{align*} where $|w|$ is the length of a word $w$, $α$ and $β$ are parameters of the algorithm,…
▽ More
We describe a novel algorithm for random sampling of freely reduced words equal to the identity in a finitely presented group. The algorithm is based on Metropolis Monte Carlo sampling. The algorithm samples from a stretched Boltzmann distribution \begin{align*}π(w) &= (|w|+1)^α β^{|w|} \cdot Z^{-1} \end{align*} where $|w|$ is the length of a word $w$, $α$ and $β$ are parameters of the algorithm, and $Z$ is a normalising constant. It follows that words of the same length are sampled with the same probability. The distribution can be expressed in terms of the cogrowth series of the group, which then allows us to relate statistical properties of words sampled by the algorithm to the cogrowth of the group, and hence its amenability.
We have implemented the algorithm and applied it to several group presentations including the Baumslag-Solitar groups, some free products studied by Kouksov, a finitely presented amenable group that is not subexponentially amenable (based on the basilica group), and Richard Thompson's group $F$.
△ Less
Submitted 20 December, 2013; v1 submitted 19 December, 2013;
originally announced December 2013.
-
The cogrowth series for $\mathrm{BS}(N,N)$ is D-finite
Authors:
M. Elder,
A. Rechnitzer,
E. J. Janse van Rensburg,
T. Wong
Abstract:
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 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.
△ Less
Submitted 20 December, 2013; v1 submitted 17 September, 2013;
originally announced September 2013.
-
Accurate lower bounds on two-dimensional constraint capacities from corner transfer matrices
Authors:
Yao-ban Chan,
Andrew Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 May, 2014; v1 submitted 18 October, 2012;
originally announced October 2012.
-
On trivial words in finitely presented groups
Authors:
M. Elder,
A. Rechnitzer,
E. J. Janse van Rensburg,
T. Wong
Abstract:
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 rate…
▽ More
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.
△ Less
Submitted 20 December, 2013; v1 submitted 12 October, 2012;
originally announced October 2012.
-
Exact solution of two friendly walks above a sticky wall with single and double interactions
Authors:
Aleksander L. Owczarek,
Andrew Rechnitzer,
Thomas Wong
Abstract:
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 investiga…
▽ More
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.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
The Compressibility of Minimal Lattice Knots
Authors:
Esaias J Janse van Rensburg,
Andrew Rechnitzer
Abstract:
The (isothermic) compressibility of lattice knots can be examined as a model of the effects of topology and geometry on the compressibility of ring polymers. In this paper, the compressibility of minimal length lattice knots in the simple cubic, face centered cubic and body centered cubic lattices are determined. Our results show that the compressibility is generally not monotonic, but in some cas…
▽ More
The (isothermic) compressibility of lattice knots can be examined as a model of the effects of topology and geometry on the compressibility of ring polymers. In this paper, the compressibility of minimal length lattice knots in the simple cubic, face centered cubic and body centered cubic lattices are determined. Our results show that the compressibility is generally not monotonic, but in some cases increases with pressure. Differences of the compressibility for different knot types show that topology is a factor determining the compressibility of a lattice knot, and differences between the three lattices show that compressibility is also a function of geometry.
△ Less
Submitted 14 March, 2012;
originally announced March 2012.
-
On the cogrowth of Thompson's group $F$
Authors:
Murray Elder,
Andrew Rechnitzer,
Thomas Wong
Abstract:
We investigate the cogrowth and distribution of geodesics in R. Thompson's group $F$.
We investigate the cogrowth and distribution of geodesics in R. Thompson's group $F$.
△ Less
Submitted 9 October, 2012; v1 submitted 7 August, 2011;
originally announced August 2011.
-
Minimal knotted polygons in cubic lattices
Authors:
E. J. Janse van Rensburg,
A. Rechnitzer
Abstract:
An implementation of BFACF-style algorithms on knotted polygons in the simple cubic, face centered cubic and body centered cubic lattice is used to estimate the statistics and writhe of minimal length knotted polygons in each of the lattices. Data are collected and analysed on minimal length knotted polygons, their entropy, and their lattice curvature and writhe.
An implementation of BFACF-style algorithms on knotted polygons in the simple cubic, face centered cubic and body centered cubic lattice is used to estimate the statistics and writhe of minimal length knotted polygons in each of the lattices. Data are collected and analysed on minimal length knotted polygons, their entropy, and their lattice curvature and writhe.
△ Less
Submitted 11 July, 2011;
originally announced July 2011.
-
Some geodesic problems in groups
Authors:
Murray Elder,
Andrew Rechnitzer
Abstract:
We consider several algorithmic problems concerning geodesics in finitely generated groups. We show that the three geodesic problems considered by Miasnikov et al [arXiv:0807.1032] are polynomial-time reducible to each other. We study two new geodesic problems which arise in a previous paper of the authors and Fusy [arXiv:0902.0202] .
We consider several algorithmic problems concerning geodesics in finitely generated groups. We show that the three geodesic problems considered by Miasnikov et al [arXiv:0807.1032] are polynomial-time reducible to each other. We study two new geodesic problems which arise in a previous paper of the authors and Fusy [arXiv:0902.0202] .
△ Less
Submitted 7 September, 2010; v1 submitted 19 July, 2009;
originally announced July 2009.
-
Counting elements and geodesics in Thompson's group $F$
Authors:
Murray Elder,
Eric Fusy,
Andrew Rechnitzer
Abstract:
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 compu…
▽ More
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}$.
△ Less
Submitted 18 February, 2010; v1 submitted 2 February, 2009;
originally announced February 2009.
-
Random subgroups of Thompson's group $F$
Authors:
Sean Cleary,
Murray Elder,
Andrew Rechnitzer,
Jennifer Taback
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 1 February, 2009; v1 submitted 8 November, 2007;
originally announced November 2007.
-
Finite-size scaling functions for directed polymers confined between attracting walls
Authors:
A. L. Owczarek,
T. Prellberg,
A. Rechnitzer
Abstract:
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 polyme…
▽ More
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.
△ Less
Submitted 20 September, 2007;
originally announced September 2007.
-
Directed Paths in a Wedge
Authors:
E J Janse van Rensburg,
T Prellberg,
A Rechnitzer
Abstract:
Directed paths have been used extensively in the scientific literature as a model of a linear polymer. Such paths models in particular the conformational entropy of a linear polymer and the effects it has on the free energy. These directed models are simplified versions of the self-avoiding walk, but they do nevertheless give insight into the phase behaviour of a polymer, and also serve as a too…
▽ More
Directed paths have been used extensively in the scientific literature as a model of a linear polymer. Such paths models in particular the conformational entropy of a linear polymer and the effects it has on the free energy. These directed models are simplified versions of the self-avoiding walk, but they do nevertheless give insight into the phase behaviour of a polymer, and also serve as a tool to study the effects of conformational degrees of freedom in the behaviour of a linear polymer. In this paper we examine a directed path model of a linear polymer in a confining geometry (a wedge). The main focus of our attention is $c_n$, the number of directed lattice paths of length $n$ steps which takes steps in the North-East and South-East directions and which is confined to the wedge $Y=\pm X/p$, where $p$ is an integer. In this paper we examine the case $p=2$ in detail, and we determine the generating function using the iterated kernel method. We also examine the asymtotics of $c_n$. In particular, we show that $$ c_n = [0.67874...]\times 2^{n-1}(1+(-1)^n) + O((4/3^{3/4})^{n+o(n)}) + o((4/3^{3/4})^n) $$ where we can determine the constant $0.67874...$ to arbitrary accuracy with little effort.
△ Less
Submitted 28 June, 2007;
originally announced June 2007.
-
Two Non-holonomic Lattice Walks in the Quarter Plane
Authors:
Marni Mishna,
Andrew Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 January, 2007;
originally announced January 2007.
-
Exact perimeter generating function for a model of punctured staircase polygons
Authors:
Iwan Jensen,
Andrew Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 May, 2008; v1 submitted 22 October, 2006;
originally announced October 2006.
-
Partially directed paths in a wedge
Authors:
E. J. Janse van Rensburg,
T. Prellberg,
A. Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 September, 2006;
originally announced September 2006.
-
On the Wilf-Stanley limit of 4231-avoiding permutations and a conjecture of Arratia
Authors:
M. H. Albert,
M. Elder,
A. Rechnitzer,
P. Westcott,
M. Zabrocki
Abstract:
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 Wi…
▽ More
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.
△ Less
Submitted 23 February, 2005;
originally announced February 2005.
-
Haruspicy 3: The directed bond-animal generating function is not D-finite
Authors:
Andrew Rechnitzer
Abstract:
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-an…
▽ More
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.
△ Less
Submitted 4 August, 2004;
originally announced August 2004.
-
Haruspicy 2: The anisotropic generating function of self-avoiding polygons not D-finite
Authors:
Andrew Rechnitzer
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 15 April, 2005; v1 submitted 23 June, 2004;
originally announced June 2004.
-
Inversion relations, reciprocity and polyominoes
Authors:
M. Bousquet-Melou,
A. J. Guttmann,
W. P. Orrick,
A. Rechnitzer
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 August, 1999;
originally announced August 1999.
