Showing 1–43 of 43 results for author: Rechnitzer, A

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.

Comments: 22 pages

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.

Comments: 34 pages, 1 Figure

MSC Class: 05A15

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.

Comments: 41 pages, 30 figures

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.

Comments: 103 pages. We implemented an improvement in the method in Section 2 (which produces the bound nu(q)), resulting in a change to most of the constants in our theorems. To appear in Illinois J. Math. Results of computations, and the code used for those computations, can be found at: http://www.nt.math.ubc.ca/BeMaObRe/

MSC Class: 11N13; 11N37; 11M20; 11M26 (Primary); 11Y35; 11Y40 (secondary)

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.

Comments: Version 3 incorporates changes suggested by a referee. Most important changes are that the paths sections have been removed and that the proof of the asymptotic equivalent has been simplified

An exact solution of three interacting friendly walks in the bulk

Authors: R Tabbara, A L Owczarek, A Rechnitzer

Abstract: We find the exact solution of three interacting friendly directed walks on the square lattice in the bulk, modelling a system of homopolymers that can undergo gelation by introducing two distinct interaction parameters that differentiate between the zipping of only two or all three walks. We establish functional equations for the model's corresponding generating function that are subsequently solv… ▽ More We find the exact solution of three interacting friendly directed walks on the square lattice in the bulk, modelling a system of homopolymers that can undergo gelation by introducing two distinct interaction parameters that differentiate between the zipping of only two or all three walks. We establish functional equations for the model's corresponding generating function that are subsequently solved exactly by means of the \emph{obstinate kernel method}. We then proceed to analyse our model, first considering the case where triple-walk interaction effects are ignored, finding that our model exhibits two phases which we classify as free and gelated regions, with the system exhibiting a second-order phase transition. We then analyse the full model where both interaction parameters are incorporated, presenting the full phase diagram and highlighting the additional existence of a first-order gelation boundary. △ Less

Submitted 22 October, 2015; originally announced October 2015.

Comments: 28 pages, 10 figures

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.

Comments: Also submitted to FPSAC 2015 conference

MSC Class: 05A16 ACM Class: G.2.1

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.

Comments: 21 pages, 8 figures

MSC Class: 05A05

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.

Comments: 28 pages, 9 figures. This article supersedes arXiv:1210.3425

MSC Class: 20F69; 20F65; 05A15; 60J20

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.

Comments: 16 pages, 1 figure, 1 table. This article supersedes arXiv:1210.3425

MSC Class: 20F69; 20F65; 05A15

Journal ref: International Journal of Algebra and Computation 24 (2014) Issue 2 pages 171-187

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.

MSC Class: 05A16 ACM Class: G.2.1

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.

Comments: This article has been rewritten as two separate papers, with improved exposition. The new papers are arXiv:1309.4184 and arXiv:1312.5722

MSC Class: 20F69; 05A15; 60J20

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.

Comments: Submitted to JPhysA

Lattice Knots in a Slab

Authors: D. Gasumova, E. J. Janse van Rensburg, A. Rechnitzer

Abstract: In this paper the number and lengths of minimal length lattice knots confined to slabs of width $L$, is determined. Our data on minimal length verify the results by Sharein et.al. (2011) for the similar problem, expect in a single case, where an improvement is found. From our data we construct two models of grafted knotted ring polymers squeezed between hard walls, or by an external force. In each… ▽ More In this paper the number and lengths of minimal length lattice knots confined to slabs of width $L$, is determined. Our data on minimal length verify the results by Sharein et.al. (2011) for the similar problem, expect in a single case, where an improvement is found. From our data we construct two models of grafted knotted ring polymers squeezed between hard walls, or by an external force. In each model, we determine the entropic forces arising when the lattice polygon is squeezed by externally applied forces. The profile of forces and compressibility of several knot types are presented and compared, and in addition, the total work done on the lattice knots when it is squeezed to a minimal state is determined. △ Less

Submitted 15 August, 2012; v1 submitted 30 April, 2012; originally announced April 2012.

MSC Class: 82B41; 82B80

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.

Comments: Submitted to J. Stat. Mech

MSC Class: 82B41 (Primary) 82B80 (Secondary)

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.

Comments: 20 pages, 6 figures

MSC Class: 20F65; 05A05

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.

On the universality of knot probability ratios

Authors: E. J. Janse van Rensburg, A. Rechnitzer

Abstract: Let $p_n$ denote the number of self-avoiding polygons of length $n$ on a regular three-dimensional lattice, and let $p_n(K)$ be the number which have knot type $K$. The probability that a random polygon of length $n$ has knot type $K$ is $p_n(K)/p_n$ and is known to decay exponentially with length. Little is known rigorously about the asymptotics of $p_n(K)$, but there is substantial numerical evi… ▽ More Let $p_n$ denote the number of self-avoiding polygons of length $n$ on a regular three-dimensional lattice, and let $p_n(K)$ be the number which have knot type $K$. The probability that a random polygon of length $n$ has knot type $K$ is $p_n(K)/p_n$ and is known to decay exponentially with length. Little is known rigorously about the asymptotics of $p_n(K)$, but there is substantial numerical evidence that $p_n(K)$ grows as $p_n(K) \simeq \, C_K \, μ_\emptyset^n \, n^{α-3+N_K}$, as $n \to \infty$, where $N_K$ is the number of prime components of the knot type $K$. It is believed that the entropic exponent, $α$, is universal, while the exponential growth rate, $μ_\emptyset$, is independent of the knot type but varies with the lattice. The amplitude, $C_K$, depends on both the lattice and the knot type. The above asymptotic form implies that the relative probability of a random polygon of length $n$ having prime knot type $K$ over prime knot type $L$ is $\frac{p_n(K)/p_n}{p_n(L)/p_n} = \frac{p_n(K)}{p_n(L)} \simeq [ \frac{C_K}{C_L} ]$. In the thermodynamic limit this probability ratio becomes an amplitude ratio; it should be universal and depend only on the knot types $K$ and $L$. In this letter we examine the universality of these probability ratios for polygons in the simple cubic, face-centered cubic, and body-centered cubic lattices. Our results support the hypothesis that these are universal quantities. For example, we estimate that a long random polygon is approximately 28 times more likely to be a trefoil than be a figure-eight, independent of the underlying lattice, giving an estimate of the intrinsic entropy associated with knot types in closed curves. △ Less

Submitted 10 March, 2011; v1 submitted 20 January, 2011; originally announced January 2011.

Comments: 8 pages, 6 figures, 1 table

BFACF-style algorithms for polygons in the body-centered and face-centered cubic lattices

Authors: E. J. Janse van Rensburg, A. Rechnitzer

Abstract: In this paper the elementary moves of the BFACF-algorithm for lattice polygons are generalised to elementary moves of BFACF-style algorithms for lattice polygons in the body-centred (BCC) and face-centred (FCC) cubic lattices. We prove that the ergodicity classes of these new elementary moves coincide with the knot types of unrooted polygons in the BCC and FCC lattices and so expand a similar resu… ▽ More In this paper the elementary moves of the BFACF-algorithm for lattice polygons are generalised to elementary moves of BFACF-style algorithms for lattice polygons in the body-centred (BCC) and face-centred (FCC) cubic lattices. We prove that the ergodicity classes of these new elementary moves coincide with the knot types of unrooted polygons in the BCC and FCC lattices and so expand a similar result for the cubic lattice. Implementations of these algorithms for knotted polygons using the GAS algorithm produce estimates of the minimal length of knotted polygons in the BCC and FCC lattices. △ Less

Submitted 16 November, 2010; originally announced November 2010.

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.

Comments: 6 pages

MSC Class: 20F65

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.

Comments: 27 pages, 9 figures, 3 tables

MSC Class: 20F65

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.

Comments: 35 pages, 14 figures

Generalised Atmospheric Rosenbluth Methods (GARM)

Authors: A. Rechnitzer, E. J. Janse van Rensburg

Abstract: We show that the classical Rosenbluth method for sampling self-avoiding walks can be extended to a general algorithm for sampling many families of objects, including self-avoiding polygons. The implementation relies on an elementary move which is a generalisation of kinetic growth; rather than only appending edges to the endpoint, edges may be inserted at any vertex providing the resulting objec… ▽ More We show that the classical Rosenbluth method for sampling self-avoiding walks can be extended to a general algorithm for sampling many families of objects, including self-avoiding polygons. The implementation relies on an elementary move which is a generalisation of kinetic growth; rather than only appending edges to the endpoint, edges may be inserted at any vertex providing the resulting objects still lie within the same family. We implement this method using pruning and enrichment to sample self-avoiding walks and polygons. The algorithm can be further extended by mixing it with length-preserving moves, such pivots and crank-shaft moves. △ Less

Submitted 18 June, 2008; originally announced June 2008.

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.

Comments: 37 pages, 11 figures

MSC Class: 05A05; 20F65

Journal ref: Groups Geom. Dyn. 4 (2010), no. 1, 91-126

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.

On the location of the surface-attached globule phase in collapsing polymers

Authors: A. L. Owczarek, A. Rechnitzer, J. Krawczyk, T. Prellberg

Abstract: We investigate the existence and location of the surface phase known as the "Surface-Attached Globule" (SAG) conjectured previously to exist in lattice models of three-dimensional polymers when they are attached to a wall that has a short range potential. The bulk phase, where the attractive intra-polymer interactions are strong enough to cause a collapse of the polymer into a liquid-like globul… ▽ More We investigate the existence and location of the surface phase known as the "Surface-Attached Globule" (SAG) conjectured previously to exist in lattice models of three-dimensional polymers when they are attached to a wall that has a short range potential. The bulk phase, where the attractive intra-polymer interactions are strong enough to cause a collapse of the polymer into a liquid-like globule and the wall either has weak attractive or repulsive interactions, is usually denoted Desorbed-Collapsed or DC. Recently this DC phase was conjectured to harbour two surface phases separated by a boundary where the bulk free energy is analytic while the surface free energy is singular. The surface phase for more attractive values of the wall interaction is the SAG phase. We discuss more fully the properties of this proposed surface phase and provide Monte Carlo evidence for self-avoiding walks up to length 256 that this surface phase most likely does exist. Importantly, we discuss alternatives for the surface phase boundary. In particular, we conclude that this boundary may lie along the zero wall interaction line and the bulk phase boundaries rather than any new phase boundary curve. △ Less

Submitted 20 September, 2007; v1 submitted 20 July, 2007; originally announced July 2007.

Comments: slightly extended version

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.

Controlling Secondary Structures of Bio-Polymers with Hydrogen-Like Bonding

Authors: J. Krawczyk, A. L. Owczarek, T. Prellberg, A. Rechnitzer

Abstract: We present results for a lattice model of bio-polymers where the type of $β$-sheet formation can be controlled by different types of hydrogen bonds depending on the relative orientation of close segments of the polymer. Tuning these different interaction strengths leads to low-temperature structures with different types of orientational order. We perform simulations of this model and so present… ▽ More We present results for a lattice model of bio-polymers where the type of $β$-sheet formation can be controlled by different types of hydrogen bonds depending on the relative orientation of close segments of the polymer. Tuning these different interaction strengths leads to low-temperature structures with different types of orientational order. We perform simulations of this model and so present the phase diagram, ascertaining the nature of the phases and the order of the transitions between these phases. △ Less

Submitted 12 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.

MSC Class: 05A15

Journal ref: Theoret. Comput. Sci. 410(38-40): 3616-3630 (2009)

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.

Comments: 14 pages, 2 figures, IoP style files. Extended version with Andrew Rechnitzer including combinatorial proof and many new results

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 215002

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.

Comments: 26 pages, 5 figures. Submitted to JCTA

MSC Class: 05A15

On a Type of Self-Avoiding Random Walk with Multiple Site Weightings and Restrictions

Authors: J Krawczyk, T Prellberg, AL Owczarek, A Rechnitzer

Abstract: We introduce a new class of models for polymer collapse, given by random walks on regular lattices which are weighted according to multiple site visits. A Boltzmann weight $ω_l$ is assigned to each $(l+1)$-fold visited lattice site, and self-avoidance is incorporated by restricting to a maximal number $K$ of visits to any site via setting $ω_l=0$ for $l\geq K$. In this paper we study this model… ▽ More We introduce a new class of models for polymer collapse, given by random walks on regular lattices which are weighted according to multiple site visits. A Boltzmann weight $ω_l$ is assigned to each $(l+1)$-fold visited lattice site, and self-avoidance is incorporated by restricting to a maximal number $K$ of visits to any site via setting $ω_l=0$ for $l\geq K$. In this paper we study this model on the square and simple cubic lattices for the case K=3. Moreover, we consider a variant of this model, in which we forbid immediate self-reversal of the random walk. We perform simulations for random walks up to $n=1024$ steps using FlatPERM, a flat histogram stochastic growth algorithm. Unexpectedly, we find evidence that the existence of a collapse transition depends sensitively on the details of the model. △ Less

Submitted 17 March, 2006; originally announced March 2006.

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.

Journal ref: J. Phys. A: Math. Gen. 38, 4309-4325 (2005)

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.

Comments: Submitted to Advances in Applied Mathematics

MSC Class: 05A05; 05A15

Journal ref: Advances in Applied Mathematics 36(2) Special Issue on Pattern Avoiding Permutations (2006) pages 96-105

Self-avoiding walks and trails on the 3.12 lattice

Authors: Anthony J. Guttmann, Robert Parviainen, Andrew Rechnitzer

Abstract: We find the generating function of self-avoiding walks and trails on a semi-regular lattice called the $3.12^2$ lattice in terms of the generating functions of simple graphs, such as self-avoiding walks, polygons and tadpole graphs on the hexagonal lattice. Since the growth constant for these graphs is known on the hexagonal lattice we can find the growth constant for both walks and trails on th… ▽ More We find the generating function of self-avoiding walks and trails on a semi-regular lattice called the $3.12^2$ lattice in terms of the generating functions of simple graphs, such as self-avoiding walks, polygons and tadpole graphs on the hexagonal lattice. Since the growth constant for these graphs is known on the hexagonal lattice we can find the growth constant for both walks and trails on the $3.12^2$ lattice. A result of Watson then allows us to find the generating function and growth constant of neighbour-avoiding walks on the covering lattice of the $3.12^2$ lattice which is tetra-valent. A mapping into walks on the covering lattice allows us to obtain improved bounds on the growth constant for a range of lattices. △ Less

Submitted 10 October, 2004; originally announced October 2004.

Comments: 15 pages, 8 figures

Pulling absorbing and collapsing polymers from a surface

Authors: J. Krawczyk, A. L. Owczarek, T. Prellberg, A. Rechnitzer

Abstract: A self-interacting polymer with one end attached to a sticky surface has been studied by means of a flat-histogram stochastic growth algorithm known as FlatPERM. We examined the four-dimensional parameter space of the number of monomers up to 91, self-attraction, surface attraction and force applied to an end of the polymer. Using this powerful algorithm the \emph{complete} parameter space of in… ▽ More A self-interacting polymer with one end attached to a sticky surface has been studied by means of a flat-histogram stochastic growth algorithm known as FlatPERM. We examined the four-dimensional parameter space of the number of monomers up to 91, self-attraction, surface attraction and force applied to an end of the polymer. Using this powerful algorithm the \emph{complete} parameter space of interactions and force has been considered. Recently it has been conjectured that a hierarchy of states appears at low temperature/poor solvent conditions where a polymer exists in a finite number of layers close to a surface. We find re-entrant behaviour from a stretched phase into these layering phases when an appropriate force is applied to the polymer. We also find that, contrary to what may be expected, the polymer desorbs from the surface when a sufficiently strong critical force is applied and does \emph{not} transcend through either a series of de-layering transitions or monomer-by-monomer transitions. △ Less

Submitted 8 October, 2004; originally announced October 2004.

Comments: 4 pages, 4 figures

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.

Comments: 20 pages and 10 figures. Submitted to Journal of Combinatorial Theory Series A

MSC Class: 05A15; 82B20

Layering transitions for adsorbing polymers in poor solvents

Authors: J. Krawczyk, A. L. Owczarek, T. Prellberg, A. Rechnitzer

Abstract: An infinite hierarchy of layering transitions exists for model polymers in solution under poor solvent or low temperatures and near an attractive surface. A flat histogram stochastic growth algorithm known as FlatPERM has been used on a self- and surface interacting self-avoiding walk model for lengths up to 256. The associated phases exist as stable equilibria for large though not infinite leng… ▽ More An infinite hierarchy of layering transitions exists for model polymers in solution under poor solvent or low temperatures and near an attractive surface. A flat histogram stochastic growth algorithm known as FlatPERM has been used on a self- and surface interacting self-avoiding walk model for lengths up to 256. The associated phases exist as stable equilibria for large though not infinite length polymers and break the conjectured Surface Attached Globule phase into a series of phases where a polymer exists in specified layer close to a surface. We provide a scaling theory for these phases and the first-order transitions between them. △ Less

Submitted 13 August, 2004; originally announced August 2004.

Comments: 4 pages, 4 figures

Stretching of a chain polymer adsorbed at a surface

Authors: J. Krawczyk, T. Prellberg, A. Rechnitzer, A. L. Owczarek

Abstract: In this paper we present simulations of a surface-adsorbed polymer subject to an elongation force. The polymer is modelled by a self-avoiding walk on a regular lattice. It is confined to a half-space by an adsorbing surface with attractions for every vertex of the walk visiting the surface, and the last vertex is pulled perpendicular to the surface by a force. Using the recently proposed flatPER… ▽ More In this paper we present simulations of a surface-adsorbed polymer subject to an elongation force. The polymer is modelled by a self-avoiding walk on a regular lattice. It is confined to a half-space by an adsorbing surface with attractions for every vertex of the walk visiting the surface, and the last vertex is pulled perpendicular to the surface by a force. Using the recently proposed flatPERM algorithm, we calculate the phase diagram for a vast range of temperatures and forces. The strength of this algorithm is that it computes the complete density of states from one single simulation. We simulate systems of sizes up to 256 steps. △ Less

Submitted 23 July, 2004; originally announced July 2004.

Comments: 13 pages, 7 figures

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.

Comments: 28 pages and 15 figures. Accepted for publication in Journal of Combinatorial Theory Series A

MSC Class: 05A15; 82B20

Polymer Simulations with a flat histogram stochastic growth algorithm

Authors: Thomas Prellberg, Jaroslaw Krawczyk, Andrew Rechnitzer

Abstract: We present Monte Carlo simulations of lattice models of polymers. These simulations are intended to demonstrate the strengths of a powerful new flat histogram algorithm which is obtained by adding microcanonical reweighting techniques to the pruned and enriched Rosenbluth method (PERM). We present Monte Carlo simulations of lattice models of polymers. These simulations are intended to demonstrate the strengths of a powerful new flat histogram algorithm which is obtained by adding microcanonical reweighting techniques to the pruned and enriched Rosenbluth method (PERM). △ Less

Submitted 22 February, 2004; originally announced February 2004.

Comments: 17th Annual Workshop: Recent Developments in Computer Simulation Studies in Condensed Matter Physics, University of Georgia, GA (February, 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.

Comments: 32 pages, 7 figures

MSC Class: 05A15 (Primary) 05B50; 82B20; 82B23 (Secondary)