Showing 1–50 of 91 results for author: Guttmann, A J

Counting occurrences of patterns in permutations

Authors: Andrew R Conway, Anthony J Guttmann

Abstract: We develop a new, powerful method for counting elements in a multiset. As a first application, we use this algorithm to study the number of occurrences of patterns in a permutation. For patterns of length 3 there are two Wilf classes, and the general behaviour of these is reasonably well-known. We slightly extend some of the known results in that case, and exhaustively study the case of patterns o… ▽ More We develop a new, powerful method for counting elements in a multiset. As a first application, we use this algorithm to study the number of occurrences of patterns in a permutation. For patterns of length 3 there are two Wilf classes, and the general behaviour of these is reasonably well-known. We slightly extend some of the known results in that case, and exhaustively study the case of patterns of length 4, about which there is little previous knowledge. For such patterns, there are seven Wilf classes, and based on extensive enumerations and careful series analysis, we have conjectured the asymptotic behaviour for all classes. △ Less

Submitted 4 March, 2024; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: 32 pages. Updated references from previous version. Removal on earlier discussion of Stieltjes sequences, which was incomplete and confusing

MSC Class: 05A15 (Primary) 05A05; 06-04 (Secondary)

The gerrymander sequence, or A348456

Authors: Anthony J Guttmann, Iwan Jensen

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

Submitted 21 December, 2022; v1 submitted 26 November, 2022; originally announced November 2022.

Comments: 26 pages, 13 figures

MSC Class: 05A15; 82B20; 82B27; 82B41

Journal ref: Advances in Applied Mathematics 148 (2023) 102520

Self-avoiding walks and polygons crossing a domain on the square and hexagonal lattices

Authors: Anthony J Guttmann, Iwan Jensen

Abstract: We have analysed the recently extended series for the number of self-avoiding walks (SAWs) $C_L(1)$ that cross an $L \times L$ square between diagonally opposed corners. The number of such walks is known to grow as $λ_S^{L^2}.$ We have made more precise the estimate of $λ_S,$ based on additional series coefficients provided by several authors, and refined analysis techniques. We estimate that… ▽ More We have analysed the recently extended series for the number of self-avoiding walks (SAWs) $C_L(1)$ that cross an $L \times L$ square between diagonally opposed corners. The number of such walks is known to grow as $λ_S^{L^2}.$ We have made more precise the estimate of $λ_S,$ based on additional series coefficients provided by several authors, and refined analysis techniques. We estimate that $λ_S = 1.7445498 \pm 0.0000012.$ We have also studied the subdominant behaviour, and conjecture that $$ C_L(1) \sim λ_S^{L^2+bL+c}\cdot L^g,$$ where $b=-0.04354 \pm 0.0001,$ $c=0.5624 \pm 0.0005,$ and $g=0.000 \pm 0.005.$ We implemented a very efficient algorithm for enumerating paths on the square and hexagonal lattices making use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths. Using this algorithm we extended and then analysed series for SAWs spanning the square lattice and self-avoiding polygons (SAPs) crossing the square lattice. These are known to also grow as $λ_S^{L^2}.$ The sub-dominant term $λ^b$ is found to be the same as for SAWs crossing the square, while the exponent $g = 1.75\pm 0.01$ for spanning SAWs and $g = -0.500 \pm 0.005$ for SAPs. We have also studied the analogous problems on the hexagonal lattice, and generated series for a number of geometries. In particular, we study SAWs and SAPs crossing rhomboidal, triangular and square domains on the hexagonal lattice, as well as SAWs spanning a rhombus. We estimate that the analogous growth constant $λ_H=1.38724951 \pm 0.00000005,$ so an even more precise estimate than found for the square lattice. We also give estimates of the sub-dominant terms. △ Less

Submitted 13 August, 2022; originally announced August 2022.

Comments: 58 pages, 30 figures

MSC Class: 05A15; 30B10; 82B20; 82B27; 82B41

Journal ref: J. Phys. A: Math. Theor. 55 485201 (2022)

Self-avoiding walks contained within a square

Authors: Anthony J Guttmann, Iwan Jensen, Aleksander L Owczarek

Abstract: We have studied self-avoiding walks contained within an $L \times L$ square whose end-points can lie anywhere within, or on, the boundaries of the square. We prove that such walks behave, asymptotically, as walks crossing a square (WCAS), being those walks whose end-points lie at the south-east and north-west corners of the square. We provide numerical data, enumerating all such walks, and analy… ▽ More We have studied self-avoiding walks contained within an $L \times L$ square whose end-points can lie anywhere within, or on, the boundaries of the square. We prove that such walks behave, asymptotically, as walks crossing a square (WCAS), being those walks whose end-points lie at the south-east and north-west corners of the square. We provide numerical data, enumerating all such walks, and analyse the sequence of coefficients in order to estimate the asymptotic behaviour. We also studied a subset of these walks, those that must contain at least one edge on all four boundaries of the square. We provide compelling evidence that these two classes of walks grow identically. From our analysis we conjecture that the number of such walks $C_L$, for both problems, behaves as $$ C_L \sim λ^{L^2+bL+c}\cdot L^g,$$ where $λ= 1.7445498 \pm 0.0000012,$ $b=-0.04354 \pm 0.0005,$ $c=-1.35 \pm 0.45,$ and $g=3.9 \pm 0.1.$ Finally, we also studied the equivalent problem for self-avoiding polygons, also known as cycles in a square grid. The asymptotic behaviour of cycles has the same form as walks, but with different values of the parameters $c$, and $g$. Our numerical analysis shows that $λ$ and $b$ have the same values as for WCAS and that $c=1.776 \pm 0.002$ while $g=-0.500\pm 0.005$ and hence probably equals $-\frac12$. △ Less

Submitted 21 December, 2022; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: 17 pages, 11 figures

Journal ref: J. Phys. A: Math. Theor. 55 425201 (2022)

On the existence of critical exponents for self-avoiding walks

Authors: Anthony J Guttmann, Iwan Jensen

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

Submitted 5 October, 2022; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: 19 pages, 5 figures

Journal ref: J. Phys. A: Math. Theor. 55 (2022) 415206 (14pp)

Pattern-avoiding ascent sequences of length 3

Authors: Andrew R Conway, Miles Conway, Andrew Elvey Price, Anthony J Guttmann

Abstract: Pattern-avoiding ascent sequences have recently been related to set-partition problems and stack-sorting problems. While the generating functions for several length-3 pattern-avoiding ascent sequences are known, those avoiding 000, 100, 110, 120 are not known. We have generated extensive series expansions for these four cases, and analysed them in order to conjecture the asymptotic behaviour. We… ▽ More Pattern-avoiding ascent sequences have recently been related to set-partition problems and stack-sorting problems. While the generating functions for several length-3 pattern-avoiding ascent sequences are known, those avoiding 000, 100, 110, 120 are not known. We have generated extensive series expansions for these four cases, and analysed them in order to conjecture the asymptotic behaviour. We provide polynomial time algorithms for the 000 and 110 cases, and exponential time algorithms for the 100 and 120 cases. We also describe how the 000 polynomial time algorithm was detected somewhat mechanically given an exponential time algorithm. For 120-avoiding ascent sequences we find that the generating function has stretched-exponential behaviour and prove that the growth constant is the same as that for 201-avoiding ascent sequences, which is known. The other three generating functions have zero radius of convergence, which we also prove. For 000-avoiding ascent sequences we give what we believe to be the exact growth constant. We give the conjectured asymptotic behaviour for all four cases. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 38 pages, 30 figures

MSC Class: 05Axx; 05Exx

Classical length-5 pattern-avoiding permutations

Authors: Nathan Clisby, Andrew R. Conway, Anthony J. Guttmann, Yuma Inoue

Abstract: We have made a systematic numerical study of the 16 Wilf classes of length-5 classical pattern-avoiding permutations from their generating function coefficients. We have extended the number of known coefficients in fourteen of the sixteen classes. Careful analysis, including sequence extension, has allowed us to estimate the growth constant of all classes, and in some cases to estimate the sub-dom… ▽ More We have made a systematic numerical study of the 16 Wilf classes of length-5 classical pattern-avoiding permutations from their generating function coefficients. We have extended the number of known coefficients in fourteen of the sixteen classes. Careful analysis, including sequence extension, has allowed us to estimate the growth constant of all classes, and in some cases to estimate the sub-dominant power-law term associated with the exponential growth. In six of the sixteen classes we find the familiar power-law behaviour, so that the coefficients behave like $s_n \sim C \cdot μ^n \cdot n^g,$ while in the remaining ten cases we find a stretched exponential as the most likely sub-dominant term, so that the coefficients behave like $s_n \sim C \cdot μ^n \cdot μ_1^{n^σ} \cdot n^g,$ where $0 < σ< 1.$ We have also classified the 120 possible permutations into the 16 distinct classes. We give compelling numerical evidence, and in one case a proof, that all 16 Wilf-class generating function coefficients can be represented as moments of a non-negative measure on $[0,\infty).$ Such sequences are known as {\em Stieltjes moment sequences}. They have a number of nice properties, such as log-convexity, which can be used to provide quite strong rigorous lower bounds. Stronger bounds still can be established under plausible monotonicity assumptions about the terms in the continued-fraction expansion of the generating functions implied by the Stieltjes property. In this way we provide strong (non-rigorous) lower bounds to the growth constants, which are sometimes within a few percent of the exact value. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 78 pages, 81 figures

MSC Class: 05Exx; 05Axx; 05-11; 05-08

Asymptotics of 3-stack-sortable permutations

Authors: Colin Defant, Andrew Elvey Price, Anthony J Guttmann

Abstract: We derive a simple functional equation with two catalytic variables characterising the generating function of 3-stack-sortable permutations. Using this functional equation, we extend the 174-term series to 1000 terms. From this series, we conjecture that the generating function behaves as $$W(t) \sim C_0(1-μ_3 t)^α\cdot \log^β(1-μ_3 t), $$ so that… ▽ More We derive a simple functional equation with two catalytic variables characterising the generating function of 3-stack-sortable permutations. Using this functional equation, we extend the 174-term series to 1000 terms. From this series, we conjecture that the generating function behaves as $$W(t) \sim C_0(1-μ_3 t)^α\cdot \log^β(1-μ_3 t), $$ so that $$[t^n]W(t)=w_n \sim \frac{c_0μ_3^n}{ n^{(α+1)}\cdot \log^λ{n}} ,$$ where $μ_3 = 9.69963634535(30),$ $α= 2.0 \pm 0.25.$ If $α= 2$ exactly, then $λ= -β+1$, and we estimate $β\approx -3.$ If $α$ is not an integer, then $λ=-β$, but we cannot give a useful estimate of $β$. The growth constant estimate (just) contradicts a conjecture of the first author that $$9.702 < μ_3 \le 9.704.$$ We also prove a new rigorous lower bound of $μ_3\geq 9.4854$, allowing us to disprove a conjecture of Bóna. We then further extend the series using differential-approximants to obtain approximate coefficients $O(t^{2000}),$ expected to be accurate to $20$ significant digits, and use the approximate coefficients to provide additional evidence supporting the results obtained from the exact coefficients. △ Less

Submitted 2 October, 2020; v1 submitted 22 September, 2020; originally announced September 2020.

MSC Class: 05A05; 05A16

Statistical Mechanics of Confined Polymer Networks

Authors: Bertrand Duplantier, Anthony J Guttmann

Abstract: We show how the theory of the critical behaviour of $d$-dimensional polymer networks of arbitrary topology can be generalized to the case of networks confined by hyperplanes. This in particular encompasses the case of a single polymer chain in a bridge configuration. We further define multi-bridge networks, where several vertices are in local bridge configurations. We consider all cases of ordinar… ▽ More We show how the theory of the critical behaviour of $d$-dimensional polymer networks of arbitrary topology can be generalized to the case of networks confined by hyperplanes. This in particular encompasses the case of a single polymer chain in a bridge configuration. We further define multi-bridge networks, where several vertices are in local bridge configurations. We consider all cases of ordinary, mixed and special surface transitions, and polymer chains made of self-avoiding walks, or of mutually-avoiding walks, or at the tricritical $Θ$-point. In the $Θ$-point case, generalising the good-solvent case, we relate the critical exponent for simple bridges, $γ_b^Θ$, to that of terminally-attached arches, $γ_{11}^Θ,$ and to the correlation length exponent $ν^Θ.$ We find $γ_b^Θ = γ_{11}^Θ+ν^Θ.$ In the case of the special transition, we find $γ_b^Θ({\rm sp}) = \frac{1}{2}[γ_{11}^Θ({\rm sp})+γ_{11}^Θ]+ν^Θ.$ For general networks, the explicit expression of configurational exponents then naturally involve bulk and surface exponents for multiple random paths. In two-dimensions, we describe their Euclidean exponents from a unified perspective, using Schramm-Loewner Evolution (SLE) in Liouville quantum gravity (LQG), and the so-called KPZ relation between Euclidean and LQG scaling dimensions. This is done in the case of ordinary, mixed and special surface transitions, and of the $Θ$-point. We provide compelling numerical evidence for some of these results both in two- and three-dimensions. △ Less

Submitted 4 June, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 37 pages, 12 figures, to appear in J. Stat. Phys. special issue: Celebrating Joel Lebowitz

Stieltjes moment sequences for pattern-avoiding permutations

Authors: Alin Bostan, Andrew Elvey Price, Anthony John Guttmann, Jean-Marie Maillard

Abstract: A small set of combinatorial sequences have coefficients that can be represented as moments of a nonnegative measure on $[0, \infty)$. Such sequences are known as Stieltjes moment sequences. This article focuses on some classical sequences in enumerative combinatorics, denoted $Av(\mathcal{P})$, and counting permutations of $\{1, 2, \ldots, n \}$ that avoid some given pattern $\mathcal{P}$. For in… ▽ More A small set of combinatorial sequences have coefficients that can be represented as moments of a nonnegative measure on $[0, \infty)$. Such sequences are known as Stieltjes moment sequences. This article focuses on some classical sequences in enumerative combinatorics, denoted $Av(\mathcal{P})$, and counting permutations of $\{1, 2, \ldots, n \}$ that avoid some given pattern $\mathcal{P}$. For increasing patterns $\mathcal{P}=(12\ldots k)$, we recall that the corresponding sequences, $Av(123\ldots k)$, are Stieltjes moment sequences, and we explicitly find the underlying density function, either exactly or numerically, by using the Stieltjes inversion formula as a fundamental tool. We show that the generating functions of the sequences $\, Av(1234)$ and $\, Av(12345)$ correspond, up to simple rational functions, to an order-one linear differential operator acting on a classical modular form given as a pullback of a Gaussian $\, _2F_1$ hypergeometric function, respectively to an order-two linear differential operator acting on the square of a classical modular form given as a pullback of a $\, _2F_1$ hypergeometric function. We demonstrate that the density function for the Stieltjes moment sequence $Av(123\ldots k)$ is closely, but non-trivially, related to the density attached to the distance traveled by a walk in the plane with $k-1$ unit steps in random directions. Finally, we study the challenging case of the $Av(1324)$ sequence and give compelling numerical evidence that this too is a Stieltjes moment sequence. Accepting this, we show how rigorous lower bounds on the growth constant of this sequence can be constructed, which are stronger than existing bounds. A further unproven assumption leads to even better bounds, which can be extrapolated to give an estimate of the (unknown) growth constant. △ Less

Submitted 17 October, 2020; v1 submitted 2 January, 2020; originally announced January 2020.

Comments: 59 pages, 11 figures

MSC Class: Primary 44A60; 68W30; 33F10; 15B52; Secondary 05A15; 05A10; 11B65; 60B20; 11F03; 11F12; 33A30; 33C05; 34A05

Journal ref: The Electronic Journal of Combinatorics, 2020

Two-dimensional interacting self-avoiding walks: new estimates for critical temperatures and exponents

Authors: Nicholas R Beaton, Anthony J Guttmann, Iwan Jensen

Abstract: We investigate, by series methods, the behaviour of interacting self-avoiding walks (ISAWs) on the honeycomb lattice and on the square lattice. This is the first such investigation of ISAWs on the honeycomb lattice. We have generated data for ISAWs up to 75 steps on this lattice, and 55 steps on the square lattice. For the hexagonal lattice we find the $θ$-point to be at… ▽ More We investigate, by series methods, the behaviour of interacting self-avoiding walks (ISAWs) on the honeycomb lattice and on the square lattice. This is the first such investigation of ISAWs on the honeycomb lattice. We have generated data for ISAWs up to 75 steps on this lattice, and 55 steps on the square lattice. For the hexagonal lattice we find the $θ$-point to be at $u_\mathrm{c} = 2.767 \pm 0.002.$ The honeycomb lattice is unique among the regular two-dimensional lattices in that the exact growth constant is known for non-interacting walks, and is $\sqrt{2+\sqrt{2}}$, while for half-plane walks interacting with a surface, the critical fugacity, again for the honeycomb lattice, is $1+\sqrt{2}$. We could not help but notice that $\sqrt{2+4\sqrt{2}} = 2.767\ldots .$ We discuss the difficulties of trying to prove, or disprove, this possibility. For square lattice ISAWs we find $u_\mathrm{c}=1.9474 \pm 0.001,$ which is consistent with the best Monte Carlo analysis. We also study bridges and terminally-attached walks (TAWs) on the square lattice at the $θ$-point. We estimate the exponents to be $γ_b=0.00 \pm 0.03,$ and $γ_1=0.55 \pm 0.03$ respectively. The latter result is consistent with the prediction $γ_1(θ) = ν=\frac47$, albeit for a modified version of the problem, while the former estimate appears to be new. △ Less

Submitted 26 February, 2020; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 21 pages, 9 figures (v3 with series data included as ancillary files)

MSC Class: 82B41; 82B26; 82B27

New scaling laws for self-avoiding walks: bridges and worms

Authors: Bertrand Duplantier, Anthony J Guttmann

Abstract: We show how the theory of the critical behaviour of $d$-dimensional polymer networks gives a scaling relation for self-avoiding {\em bridges} that relates the critical exponent for bridges $γ_b$ to that of terminally-attached self-avoiding arches, $γ_{1,1},$ and the {correlation} length exponent $ν.$ We find $γ_b = γ_{1,1}+ν.$ We provide compelling numerical evidence for this result in both two- a… ▽ More We show how the theory of the critical behaviour of $d$-dimensional polymer networks gives a scaling relation for self-avoiding {\em bridges} that relates the critical exponent for bridges $γ_b$ to that of terminally-attached self-avoiding arches, $γ_{1,1},$ and the {correlation} length exponent $ν.$ We find $γ_b = γ_{1,1}+ν.$ We provide compelling numerical evidence for this result in both two- and three-dimensions. Another subset of SAWs, called {\em worms}, are defined as the subset of SAWs whose origin and end-point have the same $x$-coordinate. We give a scaling relation for the corresponding critical exponent $γ_w,$ which is $γ_w=γ-ν.$ This too is supported by enumerative results in the two-dimensional case. △ Less

Submitted 7 September, 2019; v1 submitted 11 August, 2019; originally announced August 2019.

Comments: 13 pages, 5 figures. Revised version expands on applicability of these results and adds many references. Dedicated to the memory of Vladimir Rittenberg

SanD primes and numbers

Authors: Freeman J. Dyson, Norman E. Frankel, Anthony J. Guttmann

Abstract: We define S(um)anD(ifference) numbers as ordered pairs $(m,\, m+Δ)$ such that the digital-sum $DS(m(m+Δ))=Δ.$ We consider both the decimal and the binary case. If both $m$ and $m+Δ$ are prime numbers, we refer to SanD {\em primes}. We show that the number of (decimal-based) SanD numbers less than $x$ grows as $c1\cdot x,$ where $c1 = 2/3,$ while the number of SanD primes less than $x$ grows as… ▽ More We define S(um)anD(ifference) numbers as ordered pairs $(m,\, m+Δ)$ such that the digital-sum $DS(m(m+Δ))=Δ.$ We consider both the decimal and the binary case. If both $m$ and $m+Δ$ are prime numbers, we refer to SanD {\em primes}. We show that the number of (decimal-based) SanD numbers less than $x$ grows as $c1\cdot x,$ where $c1 = 2/3,$ while the number of SanD primes less than $x$ grows as $c2\cdot x/\log^2{x},$ where $c2 = 3/4.$ Due to the quasi-fractal nature of the digital-sum function, convergence is both slow and erratic compared to twin primes, which, apart from the constant, have the same leading asymptotics. △ Less

Submitted 2 March, 2020; v1 submitted 6 April, 2019; originally announced April 2019.

Comments: 22 pages, 2 figures. Revised version corrects one proof and fixes some typos

MSC Class: 11A41; 11A63; 11Y55; 11Y60

A Conjectured Integer Sequence Arising From the Exponential Integral

Authors: Richard P. Brent, M. L. Glasser, Anthony J. Guttmann

Abstract: Let $f_0(z) = \exp(z/(1-z))$, $f_1(z) = \exp(1/(1-z))E_1(1/(1-z))$, where $E_1(x) = \int_x^\infty e^{-t}t^{-1}{\,d}t$. Let $a_n = [z^n]f_0(z)$ and $b_n = [z^n]f_1(z)$ be the corresponding Maclaurin series coefficients. We show that $a_n$ and $b_n$ may be expressed in terms of confluent hypergeometric functions. We consider the asymptotic behaviour of the sequences $(a_n)$ and $(b_n)$ as… ▽ More Let $f_0(z) = \exp(z/(1-z))$, $f_1(z) = \exp(1/(1-z))E_1(1/(1-z))$, where $E_1(x) = \int_x^\infty e^{-t}t^{-1}{\,d}t$. Let $a_n = [z^n]f_0(z)$ and $b_n = [z^n]f_1(z)$ be the corresponding Maclaurin series coefficients. We show that $a_n$ and $b_n$ may be expressed in terms of confluent hypergeometric functions. We consider the asymptotic behaviour of the sequences $(a_n)$ and $(b_n)$ as $n \to \infty$, showing that they are closely related, and proving a conjecture of Bruno Salvy regarding $(b_n)$. Let $ρ_n = a_n b_n$, so $\sum ρ_n z^n = (f_0\,\odot f_1)(z)$ is a Hadamard product. We obtain an asymptotic expansion $2n^{3/2}ρ_n \sim -\sum d_k n^{-k}$ as $n \to \infty$, where the $d_k\in\mathbb Q$, $d_0=1$. We conjecture that $2^{6k}d_k \in \mathbb Z$. This has been verified for $k \le 1000$. △ Less

Submitted 31 May, 2019; v1 submitted 1 December, 2018; originally announced December 2018.

Comments: 18 pages, additional motivation and references in v3/v4

MSC Class: 34E05 (Primary) 11Y55; 33C10; 33C15; 33F99 (Secondary)

Journal ref: Journal of Integer Sequences 22 (2019), article 19.4.7, 16 pp

1324-avoiding permutations revisited

Authors: Andrew R. Conway, Anthony J. Guttmann, Paul Zinn-Justin

Abstract: We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in $14$ further terms of the generating function, which is now known for all patterns of length $\le 50$. We re-analyse the generating function and find additional evidence for our earlier conclusion that unlike other classical length-$4$ pattern-avoiding permutations, the generating function does not… ▽ More We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in $14$ further terms of the generating function, which is now known for all patterns of length $\le 50$. We re-analyse the generating function and find additional evidence for our earlier conclusion that unlike other classical length-$4$ pattern-avoiding permutations, the generating function does not have a simple power-law singularity, but rather, the number of $1324$-avoiding permutations of length $n$ behaves as \[ B\cdot μ^n \cdot μ_1^{\sqrt{n}} \cdot n^g. \] We estimate $μ=11.600 \pm 0.003$, $μ_1 = 0.0400 \pm 0.0005$, $g = -1.1 \pm 0.1$ while the estimate of $B$ depends sensitively on the precise value of $μ$, $μ_1$ and $g$. This reanalysis provides substantially more compelling arguments for the presence of the stretched exponential term $μ_1^{\sqrt{n}}$. △ Less

Submitted 18 November, 2017; v1 submitted 5 September, 2017; originally announced September 2017.

Counting Planar Eulerian Orientations

Authors: Andrew Elvey Price, Anthony J Guttmann

Abstract: Inspired by the paper of Bonichon, Bousquet-Mélou, Dorbec and Pennarun, we give a system of functional equations which characterise the ordinary generating function, $U(x),$ for the number of planar Eulerian orientations counted by edges. We also characterise the ogf $A(x)$, for 4-valent planar Eulerian orientations counted by vertices in a similar way. The latter problem is equivalent to the 6-ve… ▽ More Inspired by the paper of Bonichon, Bousquet-Mélou, Dorbec and Pennarun, we give a system of functional equations which characterise the ordinary generating function, $U(x),$ for the number of planar Eulerian orientations counted by edges. We also characterise the ogf $A(x)$, for 4-valent planar Eulerian orientations counted by vertices in a similar way. The latter problem is equivalent to the 6-vertex problem on a random lattice, widely studied in mathematical physics. While unable to solve these functional equations, they immediately provide polynomial-time algorithms for computing the coefficients of the generating function. From these algorithms we have obtained 100 terms for $U(x)$ and 90 terms for $A(x).$ Analysis of these series suggests that they both behave as $const\cdot (1 - μx)/\log(1 - μx),$ where we conjecture that $μ= 4π$ for Eulerian orientations counted by edges and $μ=4\sqrt{3}π$ for 4-valent Eulerian orientations counted by vertices. △ Less

Submitted 9 January, 2018; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: 26 pages, 20 figures

MSC Class: 05A15; 05A16

Journal ref: European Journal of Combinatorics 71 (2018): 73-98

Numerical studies of Thompson's group F and related groups

Authors: Andrew Elvey Price, Anthony J Guttmann

Abstract: We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymp… ▽ More We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability. Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability. We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable. △ Less

Submitted 23 June, 2017; originally announced June 2017.

Comments: 47 pages, 52 figures, 3 tables

MSC Class: 20Exx; 05Axx

Journal ref: International Journal of Algebra and Computation 29.2 (2019): 179243

On consecutive pattern-avoiding permutations of length 4, 5 and beyond

Authors: Nicholas R Beaton, Andrew R Conway, Anthony J Guttmann

Abstract: We review and extend what is known about the generating functions for consecutive pattern-avoiding permutations of length 4, 5 and beyond, and their asymptotic behaviour. There are respectively, seven length-4 and twenty-five length-5 consecutive-Wilf classes. D-finite differential equations are known for the reciprocal of the exponential generating functions for four of the length-4 and eight of… ▽ More We review and extend what is known about the generating functions for consecutive pattern-avoiding permutations of length 4, 5 and beyond, and their asymptotic behaviour. There are respectively, seven length-4 and twenty-five length-5 consecutive-Wilf classes. D-finite differential equations are known for the reciprocal of the exponential generating functions for four of the length-4 and eight of the length-5 classes. We give the solutions of some of these ODEs. An unsolved functional equation is known for one more class of length-4, length-5 and beyond. We give the solution of this functional equation, and use it to show that the solution is not D-finite. For three further length-5 c-Wilf classes we give recurrences for two and a differential-functional equation for a third. For a fourth class we find a new algebraic solution. We give a polynomial-time algorithm to generate the coefficients of the generating functions which is faster than existing algorithms, and use this to (a) calculate the asymptotics for all classes of length 4 and length 5 to significantly greater precision than previously, and (b) use these extended series to search, unsuccessfully, for D-finite solutions for the unsolved classes, leading us to conjecture that the solutions are not D-finite. We have also searched, unsuccessfully, for differentially algebraic solutions. △ Less

Submitted 20 February, 2018; v1 submitted 28 April, 2017; originally announced April 2017.

Comments: 23 pages, 2 figures (update of references, plus web link to enumeration data). Minor update. Typos corrected. One additional reference

MSC Class: 05Exx; 05Axx

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (February 26, 2018) dmtcs:3311

Is the full susceptibility of the square-lattice Ising model a differentially algebraic function?

Authors: A. J. Guttmann, I. Jensen, J-M. Maillard, J. Pantone

Abstract: We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's non-linea… ▽ More We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's non-linear ordinary differential equation (ODE) and other simple quadratic non-linear ODEs suggest that a large set of differentially algebraic power series solutions with integer coefficients might reduce to algebraic functions modulo primes, or powers of primes. Here we give several examples of series with integer coefficients and non-zero radius of convergence that reduce to algebraic functions modulo (almost) every prime (or power of a prime). These examples satisfy differentially algebraic equations with the encoding polynomial occasionally possessing quite high degree (and thus difficult to identify even with long series). Additionally, we have extended both the high- and low-temperature Ising square-lattice susceptibility series to 5043 coefficients. We find that even this long series is insufficient to determine whether it reduces to algebraic functions modulo $3$, $5$, etc. This negative result is in contrast to the comparatively easy confirmation that the corresponding series reduce to algebraic functions modulo powers of $2$. △ Less

Submitted 20 October, 2016; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: 36 pages

MSC Class: 03D05; 11Yxx; 33Cxx; 34Lxx; 34Mxx; 34M55; 39-04; 68Q70

Journal ref: J. Phys A 49 504002 (2016)

On the growth constant for square-lattice self-avoiding walks

Authors: Jesper Lykke Jacobsen, Christian R. Scullard, Anthony J. Guttmann

Abstract: The growth constant for two-dimensional self-avoiding walks on the honeycomb lattice was conjectured by Nienhuis in 1982, and since that time the corresponding results for the square and triangular lattices have been sought. For the square lattice, a possible conjecture was advanced by one of us (AJG) more than 20 years ago, based on the six significant digit estimate available at the time. This e… ▽ More The growth constant for two-dimensional self-avoiding walks on the honeycomb lattice was conjectured by Nienhuis in 1982, and since that time the corresponding results for the square and triangular lattices have been sought. For the square lattice, a possible conjecture was advanced by one of us (AJG) more than 20 years ago, based on the six significant digit estimate available at the time. This estimate has improved by a further six digits over the intervening decades, and the conjectured value continued to agree with the increasingly precise estimates. We discuss the three most successful methods for estimating the growth constant, including the most recently developed Topological Transfer-Matrix method, due to another of us (JLJ). We show this to be the most computationally efficient of the three methods, and by parallelising the algorithm we have estimated the growth constant significantly more precisely, incidentally ruling out the conjecture, which fails in the 12th digit. Our new estimate of the growth constant is $$μ(\mathrm{square}) = 2.63815853032790\, (3).$$ △ Less

Submitted 11 July, 2016; originally announced July 2016.

Comments: 24 pages, 3 figures, 4 tables

On a square-ice analogue of plane partitions

Authors: Suresh Govindarajan, Anthony J. Guttmann, Varsha Subramanyan

Abstract: We study a one-parameter family ($\ell=1,2,3,\ldots$) of configurations that are square-ice analogues of plane partitions. Using an algorithm due to Bratley and McKay, we carry out exact enumerations in order to study their asymptotic behaviour and establish, via Monte Carlo simulations as well as explicit bounds, that the asymptotic behaviour is similar to that of plane partitions. We finally car… ▽ More We study a one-parameter family ($\ell=1,2,3,\ldots$) of configurations that are square-ice analogues of plane partitions. Using an algorithm due to Bratley and McKay, we carry out exact enumerations in order to study their asymptotic behaviour and establish, via Monte Carlo simulations as well as explicit bounds, that the asymptotic behaviour is similar to that of plane partitions. We finally carry out a series analysis and provide independent estimates for the asymptotic behaviour. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: 27 pages, several figures and tables

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), 123-154

Series extension: Predicting approximate series coefficients from a finite number of exact coefficients

Authors: Anthony J Guttmann

Abstract: Given the first 20-100 coefficients of a typical generating function of the type that arises in many problems of statistical mechanics or enumerative combinatorics, we show that the method of differential approximants performs surprisingly well in predicting (approximately) subsequent coefficients. These can then be used by the ratio method to obtain improved estimates of critical parameters. In f… ▽ More Given the first 20-100 coefficients of a typical generating function of the type that arises in many problems of statistical mechanics or enumerative combinatorics, we show that the method of differential approximants performs surprisingly well in predicting (approximately) subsequent coefficients. These can then be used by the ratio method to obtain improved estimates of critical parameters. In favourable cases, given only the first 20 coefficients, the next 100 coefficients are predicted with useful accuracy. More surprisingly, this is also the case when the method of differential approximants does not do a useful job in estimating the critical parameters, such as those cases in which one has stretched exponential asymptotic behaviour. Nevertheless, the coefficients are predicted with surprising accuracy. As one consequence, significant computer time can be saved in enumeration problems where several runs would normally be made, modulo different primes, and the coefficients constructed from their values modulo different primes. Another is in the checking of newly calculated coefficients. We believe that this concept of approximate series extension opens up a whole new chapter in the method of series analysis. △ Less

Submitted 27 April, 2016; originally announced April 2016.

Comments: 26 pages, 9 figures. arXiv admin note: text overlap with arXiv:1405.5327

MSC Class: 05Axx

Permutations sortable by two stacks in series

Authors: Andrew Elvey Price, Anthony J Guttmann

Abstract: We address the problem of the number of permutations that can be sorted by two stacks in series. We do this by first counting all such permutations of length less than 20 exactly, then using a numerical technique to obtain nineteen further coefficients approximately. Analysing these coefficients by a variety of methods we conclude that the OGF behaves as $$S(z) \sim A (1 - μ\cdot z)^γ,$$ where… ▽ More We address the problem of the number of permutations that can be sorted by two stacks in series. We do this by first counting all such permutations of length less than 20 exactly, then using a numerical technique to obtain nineteen further coefficients approximately. Analysing these coefficients by a variety of methods we conclude that the OGF behaves as $$S(z) \sim A (1 - μ\cdot z)^γ,$$ where $μ=12.45 \pm 0.15,$ $γ= 1.5 \pm 0.3,$ and $A \approx 0.02$. △ Less

Submitted 25 May, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 17 pages, 7 figures. Improved analysis, updated references

MSC Class: 05Axx

Journal ref: Advances in Applied Mathematics (2017): 81-96

Permutations sortable by deques and by two stacks in parallel

Authors: Andrew Elvey Price, Anthony J. Guttmann

Abstract: Recently Albert and Bousquet-Mélou \cite{AB15} obtained the solution to the long-standing problem of the number of permutations sortable by two stacks in parallel (tsip). Their solution was expressed in terms of functional equations. We show that the equally long-standing problem of the number of permutations sortable by a double-ended queue (deque) can be simply related to the solution of the sam… ▽ More Recently Albert and Bousquet-Mélou \cite{AB15} obtained the solution to the long-standing problem of the number of permutations sortable by two stacks in parallel (tsip). Their solution was expressed in terms of functional equations. We show that the equally long-standing problem of the number of permutations sortable by a double-ended queue (deque) can be simply related to the solution of the same functional equations. Subject to plausible, but unproved, conditions, the radius of convergence of both generating functions is the same. Numerical work confirms this conjecture to 10 significant digits. Further numerical work suggests that the coefficients of the deque generating function behave as $κ_d \cdot μ^n \cdot n^{-3/2},$ where $μ= 8.281402207\ldots,$ while the coefficients of the corresponding tsip generating function behave as $κ_p \cdot μ^n \cdot n^γ$ with $γ\approx -2.473.$ The constants $κ_d$ and $κ_p$ are also estimated. {\em Inter alia,} we study the asymptotics of quarter-plane loops, starting and ending at the origin, with weight $a$ given to north-west and east-south turns. The critical point varies continuously with $a,$ while the corresponding exponent variation is found to be continuous and monotonic for $a > -1/2,$ but discontinuous at $a=-1/2.$ △ Less

Submitted 16 February, 2016; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: 31 pages, 8 figures, typos corrected, additional figures and references. Improved introduction and analysis. Aspects of proofs clarified

MSC Class: 05Axx

Journal ref: European Journal of Combinatorics 59 (2017): 71-95

Automata and the susceptibility of the square lattice Ising model modulo powers of primes

Authors: A. J. Guttmann, J-M. Maillard

Abstract: We study the full susceptibility of the Ising model modulo powers of primes. We find exact functional equations for the full susceptibility modulo these primes. Revisiting some lesser-known results on discrete finite automata, we show that these results can be seen as a consequence of the fact that, modulo 2^r, one cannot distinguish the full susceptibility from some simple diagonals of rational f… ▽ More We study the full susceptibility of the Ising model modulo powers of primes. We find exact functional equations for the full susceptibility modulo these primes. Revisiting some lesser-known results on discrete finite automata, we show that these results can be seen as a consequence of the fact that, modulo 2^r, one cannot distinguish the full susceptibility from some simple diagonals of rational functions which reduce to algebraic functions modulo 2^r, and, consequently, satisfy exact functional equations modulo 2^r. We sketch a possible physical interpretation of these functional equations modulo 2^r as reductions of a master functional equation corresponding to infinite order symmetries such as the isogenies of elliptic curves. One relevant example is the Landen transformation which can be seen as an exact generator of the Ising model renormalization group. We underline the importance of studying a new class of functions corresponding to ratios of diagonals of rational functions: they reduce to algebraic functions modulo powers of primes and they may have solutions with natural boundaries. △ Less

Submitted 18 September, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 21 pages

MSC Class: 03D05; 11Yxx; 33Cxx; 34Lxx; 34Mxx; 34M55; 39-04; 68Q70

Compressed self-avoiding walks, bridges and polygons

Authors: Nicholas R. Beaton, Anthony J. Guttmann, Iwan Jensen, Gregory F. Lawler

Abstract: We study various self-avoiding walks (SAWs) which are constrained to lie in the upper half-plane and are subjected to a compressive force. This force is applied to the vertex or vertices of the walk located at the maximum distance above the boundary of the half-space. In the case of bridges, this is the unique end-point. In the case of SAWs or self-avoiding polygons, this corresponds to all vertic… ▽ More We study various self-avoiding walks (SAWs) which are constrained to lie in the upper half-plane and are subjected to a compressive force. This force is applied to the vertex or vertices of the walk located at the maximum distance above the boundary of the half-space. In the case of bridges, this is the unique end-point. In the case of SAWs or self-avoiding polygons, this corresponds to all vertices of maximal height. We first use the conjectured relation with the Schramm-Loewner evolution to predict the form of the partition function including the values of the exponents, and then we use series analysis to test these predictions. △ Less

Submitted 1 September, 2015; v1 submitted 31 May, 2015; originally announced June 2015.

Comments: 29 pages, 6 figures

MSC Class: 60G50; 82B41

Journal ref: J. Phys A 48 454001 (2015)

Three-dimensional terminally attached self-avoiding walks and bridges

Authors: Nathan Clisby, Andrew R. Conway, Anthony J. Guttmann

Abstract: We study terminally attached self-avoiding walks and bridges on the simple cubic lattice, both by series analysis and Monte Carlo methods. We provide strong numerical evidence supporting a scaling relation between self-avoiding walks, bridges, and terminally attached self-avoiding walks, and posit that a corresponding amplitude ratio is a universal quantity. We study terminally attached self-avoiding walks and bridges on the simple cubic lattice, both by series analysis and Monte Carlo methods. We provide strong numerical evidence supporting a scaling relation between self-avoiding walks, bridges, and terminally attached self-avoiding walks, and posit that a corresponding amplitude ratio is a universal quantity. △ Less

Submitted 24 July, 2015; v1 submitted 8 April, 2015; originally announced April 2015.

Comments: 26 pages, 11 figures

Journal ref: J. Phys. A: Math. Theor. 49 015004 (2016)

On the growth rate of 1324-avoiding permutations

Authors: Andrew R Conway, Anthony J Guttmann

Abstract: We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in 5 further terms of the generating function. We analyse the known coefficients and find compelling evidence that unlike other classical length-4 pattern-avoiding permutations, the generating function in this case does not have an algebraic singularity. Rather, the number of 1324-avoiding permutations… ▽ More We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in 5 further terms of the generating function. We analyse the known coefficients and find compelling evidence that unlike other classical length-4 pattern-avoiding permutations, the generating function in this case does not have an algebraic singularity. Rather, the number of 1324-avoiding permutations of length $n$ behaves as $$B\cdot μ^n \cdot μ_1^{n^σ} \cdot n^g.$$ We estimate $μ=11.60 \pm 0.01,$ $σ=1/2,$ $μ_1 = 0.0398 \pm 0.0010,$ $g = -1.1 \pm 0.2$ and $B =9.5 \pm 1.0.$ △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 20 pages, 10 figures

MSC Class: 05A05; 05A15; 05A16

Analysis of series expansions for non-algebraic singularities

Authors: Anthony J Guttmann

Abstract: Existing methods of series analysis are largely designed to analyse the structure of algebraic singularities. Functions with such singularities have their $n^{th}$ coefficient behaving asymptotically as $A \cdot μ^n \cdot n^g.$ Recently, a number of problems in statistical mechanics and combinatorics have been encountered in which the coefficients behave asymptotically as… ▽ More Existing methods of series analysis are largely designed to analyse the structure of algebraic singularities. Functions with such singularities have their $n^{th}$ coefficient behaving asymptotically as $A \cdot μ^n \cdot n^g.$ Recently, a number of problems in statistical mechanics and combinatorics have been encountered in which the coefficients behave asymptotically as $B \cdot μ^n \cdot μ_1^{n^σ} \cdot n^g,$ where typically $σ= \frac{1}{2}$ or $\frac{1}{3}.$ Identifying this behaviour, and then extracting estimates for the critical parameters $B, \,\, μ, \,\, μ_1, \,\, σ, \,\, {\rm and} \,\, g$ presents a significant numerical challenge. We describe methods developed to meet this challenge. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 35 pages, 11 figures

MSC Class: 82; 65; 05

Pulling adsorbed self-avoiding walks from a surface

Authors: Anthony J. Guttmann, Iwan Jensen, Stu G. Whittington

Abstract: We consider a self-avoiding walk model of polymer adsorption where the adsorbed polymer can be desorbed by the application of a force, concentrating on the case of the square lattice. Using series analysis methods we investigate the behaviour of the free energy of the system when there is an attractive potential $ε$ with the surface and a force $f$ applied at the last vertex, normal to the surface… ▽ More We consider a self-avoiding walk model of polymer adsorption where the adsorbed polymer can be desorbed by the application of a force, concentrating on the case of the square lattice. Using series analysis methods we investigate the behaviour of the free energy of the system when there is an attractive potential $ε$ with the surface and a force $f$ applied at the last vertex, normal to the surface, and extract the phase boundary between the ballistic and adsorbed phases. We believe this to be exact to graphical accuracy. We give precise estimates of the location of the transition from the free phase to the ballistic phase, which we find to be at $y_c=\exp(f/k_B T_c)=1$, and from the free phase to the adsorbed phase, which we estimate to be at $a_c=\exp(-ε/k_B T_c)=1.775615 \pm 0.000005$. In addition we prove that the phase transition from the ballistic to the adsorbed phase is first order. △ Less

Submitted 17 November, 2013; v1 submitted 27 September, 2013; originally announced September 2013.

Comments: 18 pages, 6 figures. Minor revisions added in second version

Journal ref: J. Phys. A: Math. Theor. 47 015004 (2014)

A series test of the scaling limit of self-avoiding walks

Authors: Anthony J. Guttmann, Jesper L. Jacobsen

Abstract: It is widely believed that the scaling limit of self-avoiding walks (SAWs) at the critical temperature is (i) conformally invariant, and (ii) describable by Schramm-Loewner Evolution (SLE) with parameter $κ= 8/3.$ We consider SAWs in a rectangle, which originate at its centre and end when they reach the boundary. We assume that the scaling limit of SAWs is describable by ${\rm SLE}_κ,$ with the va… ▽ More It is widely believed that the scaling limit of self-avoiding walks (SAWs) at the critical temperature is (i) conformally invariant, and (ii) describable by Schramm-Loewner Evolution (SLE) with parameter $κ= 8/3.$ We consider SAWs in a rectangle, which originate at its centre and end when they reach the boundary. We assume that the scaling limit of SAWs is describable by ${\rm SLE}_κ,$ with the value of $κ$ to be determined. It has previously been shown by Guttmann and Kennedy \cite{GK13} that, in the scaling limit, the ratio of the probability that a SAW hits the side of the rectangle to the probability that it hits the end of the rectangle, depends on $κ.$ By considering rectangles of fixed aspect ratio 2, and also rectangles of aspect ratio 10, we calculate the probabilities exactly for larger and larger rectangles. By extrapolating this data to infinite rectangle size, we obtain the estimate $κ= 2.66664 \pm 0.00007$ for rectangles of aspect ratio 2 and $κ= 2.66675 \pm 0.00015$ for rectangles of aspect ratio 10. We also provide numerical evidence supporting the conjectured distribution of SAWs striking the boundary at various points in the case of rectangles with aspect ratio 2. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Comments: 19 pages, 4 figures (colour)

MSC Class: 82B20; 82B27; 82B80

Self-avoiding walks and polygons -- an overview

Authors: Anthony J. Guttmann

Abstract: This is a rather personal review of the problem of self-avoiding walks and polygons. After defining the problem, and outlining what is known rigorously and what is merely conjectured, I highlight the major outstanding problems. I then give several applications in which the I have been involved. These include a study of surface adsorption of polymers, counting possible paths in a telecommunication… ▽ More This is a rather personal review of the problem of self-avoiding walks and polygons. After defining the problem, and outlining what is known rigorously and what is merely conjectured, I highlight the major outstanding problems. I then give several applications in which the I have been involved. These include a study of surface adsorption of polymers, counting possible paths in a telecommunication network, hitting probabilities of SAWs in a rectangle, and the modelling of biological experiments on polymers. I hope to show that SAWs are not only of intrinsic mathematical interest, but also have many interesting and useful applications. △ Less

Submitted 14 December, 2012; originally announced December 2012.

Comments: This is a slightly updated and expanded version, with minor corrections, of an article that first appeared in the October 2012 issue of the Asia Pacific Newsletter, accompanying an interview with the author. 19 pages, 9 figures

MSC Class: 05C30; 68R05; 05A16

Self-avoiding walks in a rectangle

Authors: Anthony J Guttmann, Tom Kennedy

Abstract: A celebrated problem in numerical analysis is to consider Brownian motion originating at the centre of a $10 \times 1$ rectangle, and to evaluate the ratio of probabilities of a Brownian path hitting the short ends of the rectangle before hitting one of the long sides. For Brownian motion this probability can be calculated exactly \cite{BLWW04}. Here we consider instead the more difficult problem… ▽ More A celebrated problem in numerical analysis is to consider Brownian motion originating at the centre of a $10 \times 1$ rectangle, and to evaluate the ratio of probabilities of a Brownian path hitting the short ends of the rectangle before hitting one of the long sides. For Brownian motion this probability can be calculated exactly \cite{BLWW04}. Here we consider instead the more difficult problem of a self-avoiding walk in the scaling limit, and pose the same question. Assuming that the scaling limit of SAW is conformally invariant, we evaluate, asymptotically, the same ratio of probabilities. For the SAW case we find the probability ratio is approximately 200 times greater than for Brownian motion. △ Less

Submitted 30 October, 2012; originally announced October 2012.

Comments: 10 pages, 3 figures

MSC Class: 82; 65

An integral arising from the chiral sl(n) Potts model

Authors: Anthony J. Guttmann, Mathew D. Rogers

Abstract: We show that the integral $J(t) = (1/π^3) \int_0^π\int_0^π\int_0^πdx dy dz \log(t - \cos{x} - \cos{y} - \cos{z} + \cos{x}\cos{y}\cos{z})$, can be expressed in terms of ${_5F_4}$ hypergeometric functions. The integral arises in the solution by Baxter and Bazhanov of the free-energy of the $sl(n)$ Potts model, which includes the term $J(2)$. Our result immediately gives the logarithmic Mahler measur… ▽ More We show that the integral $J(t) = (1/π^3) \int_0^π\int_0^π\int_0^πdx dy dz \log(t - \cos{x} - \cos{y} - \cos{z} + \cos{x}\cos{y}\cos{z})$, can be expressed in terms of ${_5F_4}$ hypergeometric functions. The integral arises in the solution by Baxter and Bazhanov of the free-energy of the $sl(n)$ Potts model, which includes the term $J(2)$. Our result immediately gives the logarithmic Mahler measure of the Laurent polynomial $k - (x+1/x) - (y+1/y) - (z+1/z) + 1/4(x+1/x) (y+1/y) (z+1/z)$ in terms of the same hypergeometric functions. △ Less

Submitted 16 August, 2012; originally announced August 2012.

MSC Class: 11R06

Spanning tree generating functions and Mahler measures

Authors: Anthony J. Guttmann, Mathew D. Rogers

Abstract: We define the notion of a spanning tree generating function (STGF) $\sum a_n z^n$, which gives the spanning tree constant when evaluated at $z=1,$ and gives the lattice Green function (LGF) when differentiated. By making use of known results for logarithmic Mahler measures of certain Laurent polynomials, and proving new results, we express the STGFs as hypergeometric functions for all regular two… ▽ More We define the notion of a spanning tree generating function (STGF) $\sum a_n z^n$, which gives the spanning tree constant when evaluated at $z=1,$ and gives the lattice Green function (LGF) when differentiated. By making use of known results for logarithmic Mahler measures of certain Laurent polynomials, and proving new results, we express the STGFs as hypergeometric functions for all regular two and three dimensional lattices (and one higher-dimensional lattice). This gives closed form expressions for the spanning tree constants for all such lattices, which were previously largely unknown in all but one three-dimensional case. We show for all lattices that these can also be represented as Dirichlet $L$-series. Making the connection between spanning tree generating functions and lattice Green functions produces integral identities and hypergeometric connections, some of which appear to be new. △ Less

Submitted 26 August, 2012; v1 submitted 11 July, 2012; originally announced July 2012.

Comments: 26 pages. Dedicated to F Y Wu on the occasion of his 80th birthday. This version has additional references, additional calculations, and minor corrections

MSC Class: 05A15

Off-critical parafermions and the winding angle distribution of the O($n$) model

Authors: Andrew Elvey Price, Jan de Gier, Anthony J. Guttmann, Alexander Lee

Abstract: Using an off-critical deformation of the identity of Duminil-Copin and Smirnov, we prove a relationship between half-plane surface critical exponents $γ_1$ and $γ_{11}$ as well as wedge critical exponents $γ_2(α)$ and $γ_{21}(α)$ and the exponent characterising the winding angle distribution of the O($n$) model in the half-plane, or more generally in a wedge of wedge-angle $α.$ We assume only the… ▽ More Using an off-critical deformation of the identity of Duminil-Copin and Smirnov, we prove a relationship between half-plane surface critical exponents $γ_1$ and $γ_{11}$ as well as wedge critical exponents $γ_2(α)$ and $γ_{21}(α)$ and the exponent characterising the winding angle distribution of the O($n$) model in the half-plane, or more generally in a wedge of wedge-angle $α.$ We assume only the existence of these exponents and, for some values of $n,$ the conjectured value of the critical point. If we assume their values as predicted by conformal field theory, one gets complete agreement with the conjectured winding angle distribution, as obtained by CFT and Coulomb gas arguments. We also prove the exponent inequality $γ_1-γ_{11} \ge 1,$ and its extension $γ_2(α)-γ_{21}(α) \ge 1$ for the edge exponents. We provide conjectured values for all exponents for $n \in [-2,2).$ △ Less

Submitted 23 May, 2012; v1 submitted 13 March, 2012; originally announced March 2012.

Comments: 17 pages, 5 figures, revised version

Journal ref: J. Phys. A: Math. Theor. 45 (2012), 275002

Two-dimensional self-avoiding walks and polymer adsorption: Critical fugacity estimates

Authors: Nicholas R. Beaton, Anthony J. Guttmann, Iwan Jensen

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

Submitted 31 October, 2011; originally announced October 2011.

Comments: 12 pages, 3 figures, 7 tables

Journal ref: J. Phys. A 45, 055208 (2012)

A numerical adaptation of SAW identities from the honeycomb to other 2D lattices

Authors: Nicholas R Beaton, Anthony J Guttmann, Iwan Jensen

Abstract: Recently, Duminil-Copin and Smirnov proved a long-standing conjecture by Nienhuis that the connective constant of self-avoiding walks on the honeycomb lattice is $\sqrt{2+\sqrt{2}}.$ A key identity used in that proof depends on the existence of a parafermionic observable for self-avoiding walks on the honeycomb lattice. Despite the absence of a corresponding observable for SAW on the square and tr… ▽ More Recently, Duminil-Copin and Smirnov proved a long-standing conjecture by Nienhuis that the connective constant of self-avoiding walks on the honeycomb lattice is $\sqrt{2+\sqrt{2}}.$ A key identity used in that proof depends on the existence of a parafermionic observable for self-avoiding walks on the honeycomb lattice. Despite the absence of a corresponding observable for SAW on the square and triangular lattices, we show that in the limit of large lattices, some of the consequences observed on the honeycomb lattice persist on other lattices. This permits the accurate estimation, though not an exact evaluation, of certain critical amplitudes, as well as critical points, for these lattices. For the honeycomb lattice an exact amplitude for loops is proved. △ Less

Submitted 19 October, 2011; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 21 pages, 7 figures. Changes in v2: Improved numerical analysis, giving greater precision. Explanation of why we observe what we do. Extra references

Journal ref: J. Phys. A 45, 035201 (2012)

The critical fugacity for surface adsorption of self-avoiding walks on the honeycomb lattice is $1+\sqrt{2}$

Authors: Nicholas R. Beaton, Mireille Bousquet-Mélou, Jan de Gier, Hugo Duminil-Copin, Anthony J. Guttmann

Abstract: In 2010, Duminil-Copin and Smirnov proved a long-standing conjecture of Nienhuis, made in 1982, that the growth constant of self-avoiding walks on the hexagonal (a.k.a. honeycomb) lattice is $μ=\sqrt{2+\sqrt{2}}.$ A key identity used in that proof was later generalised by Smirnov so as to apply to a general O(n) loop model with $n\in [-2,2]$ (the case $n=0$ corresponding to SAWs). We modify this… ▽ More In 2010, Duminil-Copin and Smirnov proved a long-standing conjecture of Nienhuis, made in 1982, that the growth constant of self-avoiding walks on the hexagonal (a.k.a. honeycomb) lattice is $μ=\sqrt{2+\sqrt{2}}.$ A key identity used in that proof was later generalised by Smirnov so as to apply to a general O(n) loop model with $n\in [-2,2]$ (the case $n=0$ corresponding to SAWs). We modify this model by restricting to a half-plane and introducing a surface fugacity $y$ associated with boundary sites (also called surface sites), and obtain a generalisation of Smirnov's identity. The critical value of the surface fugacity was conjectured by Batchelor and Yung in 1995 to be $y_{\rm c}=1+2/\sqrt{2-n}.$ This value plays a crucial role in our generalized identity, just as the value of growth constant did in Smirnov's identity. For the case $n=0$, corresponding to \saws\ interacting with a surface, we prove the conjectured value of the critical surface fugacity. A crucial part of the proof involves demonstrating that the generating function of self-avoiding bridges of height $T$, taken at its critical point $1/μ$, tends to 0 as $T$ increases, as predicted from SLE theory. △ Less

Submitted 24 September, 2013; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: Major revision, references updated, 25 pages, 13 figures

Journal ref: Comm. Math. Phys. 326 (2014), 727--754

The Ising Susceptibility Scaling Function

Authors: Y. Chan, A. J. Guttmann, B. G. Nickel, J. H. H. Perk

Abstract: We have dramatically extended the zero field susceptibility series at both high and low temperature of the Ising model on the triangular and honeycomb lattices, and used these data and newly available further terms for the square lattice to calculate a number of terms in the scaling function expansion around both the ferromagnetic and, for the square and honeycomb lattices, the antiferromagnetic c… ▽ More We have dramatically extended the zero field susceptibility series at both high and low temperature of the Ising model on the triangular and honeycomb lattices, and used these data and newly available further terms for the square lattice to calculate a number of terms in the scaling function expansion around both the ferromagnetic and, for the square and honeycomb lattices, the antiferromagnetic critical point. △ Less

Submitted 11 February, 2020; v1 submitted 23 December, 2010; originally announced December 2010.

Comments: PDFLaTeX, 50 pages, 5 figures, zip file with series coefficients and background data in Maple format provided with the source files. Vs2: Added dedication and made several minor additions and corrections. Vs3: Minor corrections. Vs4: No change to eprint. Added essential square-lattice series input data (used in the calculation) that were removed from University of Melbourne's website

Journal ref: J. Stat. Phys. (2011) 145:549-590

The Enumeration of Prudent Polygons by Area and its Unusual Asymptotics

Authors: Nicholas R. Beaton, Philippe Flajolet, Anthony J. Guttmann

Abstract: Prudent walks are special self-avoiding walks that never take a step towards an already occupied site, and \emph{$k$-sided prudent walks} (with $k=1,2,3,4$) are, in essence, only allowed to grow along $k$ directions. Prudent polygons are prudent walks that return to a point adjacent to their starting point. Prudent walks and polygons have been previously enumerated by length and perimeter (Bousque… ▽ More Prudent walks are special self-avoiding walks that never take a step towards an already occupied site, and \emph{$k$-sided prudent walks} (with $k=1,2,3,4$) are, in essence, only allowed to grow along $k$ directions. Prudent polygons are prudent walks that return to a point adjacent to their starting point. Prudent walks and polygons have been previously enumerated by length and perimeter (Bousquet-Mélou, Schwerdtfeger; 2010). We consider the enumeration of \emph{prudent polygons} by \emph{area}. For the 3-sided variety, we find that the generating function is expressed in terms of a $q$-hypergeometric function, with an accumulation of poles towards the dominant singularity. This expression reveals an unusual asymptotic structure of the number of polygons of area $n$, where the critical exponent is the transcendental number $\log_23$ and and the amplitude involves tiny oscillations. Based on numerical data, we also expect similar phenomena to occur for 4-sided polygons. The asymptotic methodology involves an original combination of Mellin transform techniques and singularity analysis, which is of potential interest in a number of other asymptotic enumeration problems. △ Less

Submitted 4 November, 2021; v1 submitted 29 November, 2010; originally announced November 2010.

Comments: The series below eqn. (17) was wrong. The correct series is now given. No other changes

MSC Class: 05A15; 05A16

Journal ref: Journal of Combinatorial Theory A, vol. 118 (2011) 2261-2290

Lattice Green functions in all dimensions

Authors: Anthony J Guttmann

Abstract: We give a systematic treatment of lattice Green functions (LGF) on the $d$-dimensional diamond, simple cubic, body-centred cubic and face-centred cubic lattices for arbitrary dimensionality $d \ge 2$ for the first three lattices, and for $2 \le d \le 5$ for the hyper-fcc lattice. We show that there is a close connection between the LGF of the $d$-dimensional hypercubic lattice and that of the… ▽ More We give a systematic treatment of lattice Green functions (LGF) on the $d$-dimensional diamond, simple cubic, body-centred cubic and face-centred cubic lattices for arbitrary dimensionality $d \ge 2$ for the first three lattices, and for $2 \le d \le 5$ for the hyper-fcc lattice. We show that there is a close connection between the LGF of the $d$-dimensional hypercubic lattice and that of the $(d-1)$-dimensional diamond lattice. We give constant-term formulations of LGFs for all lattices and dimensions. Through a still under-developed connection with Mahler measures, we point out an unexpected connection between the coefficients of the s.c., b.c.c. and diamond LGFs and some Ramanujan-type formulae for $1/π.$ △ Less

Submitted 8 April, 2010; originally announced April 2010.

Comments: 30 pages

Journal ref: J.Phys.A43:305205,2010

Form factor expansions in the 2D Ising model and Painlevé VI

Authors: Vladimir V. Mangazeev, Anthony J. Guttmann

Abstract: We derive a Toda-type recurrence relation, in both high and low temperature regimes, for the $λ$ - extended diagonal correlation functions $C(N,N;λ)$ of the two-dimensional Ising model, using an earlier connection between diagonal form factor expansions and tau-functions within Painlevé VI (PVI) theory, originally discovered by Jimbo and Miwa. This greatly simplifies the calculation of the diagona… ▽ More We derive a Toda-type recurrence relation, in both high and low temperature regimes, for the $λ$ - extended diagonal correlation functions $C(N,N;λ)$ of the two-dimensional Ising model, using an earlier connection between diagonal form factor expansions and tau-functions within Painlevé VI (PVI) theory, originally discovered by Jimbo and Miwa. This greatly simplifies the calculation of the diagonal correlation functions, particularly their $λ$-extended counterparts. We also conjecture a closed form expression for the simplest off-diagonal case $C^{\pm}(0,1;λ)$ where a connection to PVI theory is not known. Combined with the results for diagonal correlations these give all the initial conditions required for the $ł$-extended version of quadratic difference equations for the correlation functions discovered by McCoy, Perk and Wu. The results obtained here should provide a further potential algorithmic improvement in the $ł$-extended case, and facilitate other developments. △ Less

Submitted 28 April, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 23 pages, references added, introduction extended, abstract modified, misprints corrected

Journal ref: Nucl Phys B838 (2010) p 391-412

Square lattice Ising model $\tildeχ^{(5)}$ ODE in exact arithmetic

Authors: B. Nickel, I. Jensen, S. Boukraa, A. J. Guttmann, S. Hassani, J. -M. Maillard, N. Zenine

Abstract: We obtain in exact arithmetic the order 24 linear differential operator $L_{24}$ and right hand side $E^{(5)}$ of the inhomogeneous equation$L_{24}(Φ^{(5)}) = E^{(5)}$, where $Φ^{(5)} =\tildeχ^{(5)}-\tildeχ^{(3)}/2+\tildeχ^{(1)}/120$ is a linear combination of $n$-particle contributions to the susceptibility of the square lattice Ising model. In Bostan, et al. (J. Phys. A: Math. Theor. {\bf 42},… ▽ More We obtain in exact arithmetic the order 24 linear differential operator $L_{24}$ and right hand side $E^{(5)}$ of the inhomogeneous equation$L_{24}(Φ^{(5)}) = E^{(5)}$, where $Φ^{(5)} =\tildeχ^{(5)}-\tildeχ^{(3)}/2+\tildeχ^{(1)}/120$ is a linear combination of $n$-particle contributions to the susceptibility of the square lattice Ising model. In Bostan, et al. (J. Phys. A: Math. Theor. {\bf 42}, 275209 (2009)) the operator $L_{24}$ (modulo a prime) was shown to factorize into $L_{12}^{(\rm left)} \cdot L_{12}^{(\rm right)}$; here we prove that no further factorization of the order 12 operator $L_{12}^{(\rm left)}$ is possible. We use the exact ODE to obtain the behaviour of $\tildeχ^{(5)}$ at the ferromagnetic critical point and to obtain a limited number of analytic continuations of $\tildeχ^{(5)}$ beyond the principal disk defined by its high temperature series. Contrary to a speculation in Boukraa, et al (J. Phys. A: Math. Theor. {\bf 41} 455202 (2008)), we find that $\tildeχ^{(5)}$ is singular at $w=1/2$ on an infinite number of branches. △ Less

Submitted 17 March, 2010; v1 submitted 31 January, 2010; originally announced February 2010.

Comments: 25 pages, 2 figures, IoP style files

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Polyominoes with nearly convex columns: An undirected model

Authors: Svjetlan Feretic, Anthony J. Guttmann

Abstract: Column-convex polyominoes were introduced in 1950's by Temperley, a mathematical physicist working on "lattice gases". By now, column-convex polyominoes are a popular and well-understood model. There exist several generalizations of column-convex polyominoes; an example is a model called multi-directed animals. In this paper, we introduce a new sequence of supersets of column-convex polyominoes.… ▽ More Column-convex polyominoes were introduced in 1950's by Temperley, a mathematical physicist working on "lattice gases". By now, column-convex polyominoes are a popular and well-understood model. There exist several generalizations of column-convex polyominoes; an example is a model called multi-directed animals. In this paper, we introduce a new sequence of supersets of column-convex polyominoes. Our model (we call it level m column-subconvex polyominoes) is defined in a simple way. We focus on the case when cells are hexagons and we compute the area generating functions for the levels one and two. Both of those generating functions are complicated q-series, whereas the area generating function of column-convex polyominoes is a rational function. The growth constants of level one and level two column-subconvex polyominoes are 4.319139 and 4.509480, respectively. For comparison, the growth constants of column-convex polyominoes, multi-directed animals and all polyominoes are 3.863131, 4.587894 and 5.183148, respectively. △ Less

Submitted 25 October, 2009; originally announced October 2009.

Comments: 26 pages, 14 figures

MSC Class: 05B50; 05A15

High order Fuchsian equations for the square lattice Ising model: $\tildeχ^{(5)}$

Authors: A. Bostan, S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J. -M. Maillard, N. Zenine

Abstract: We consider the Fuchsian linear differential equation obtained (modulo a prime) for $\tildeχ^{(5)}$, the five-particle contribution to the susceptibility of the square lattice Ising model. We show that one can understand the factorization of the corresponding linear differential operator from calculations using just a single prime. A particular linear combination of $\tildeχ^{(1)}$ and… ▽ More We consider the Fuchsian linear differential equation obtained (modulo a prime) for $\tildeχ^{(5)}$, the five-particle contribution to the susceptibility of the square lattice Ising model. We show that one can understand the factorization of the corresponding linear differential operator from calculations using just a single prime. A particular linear combination of $\tildeχ^{(1)}$ and $\tildeχ^{(3)}$ can be removed from $\tildeχ^{(5)}$ and the resulting series is annihilated by a high order globally nilpotent linear ODE. The corresponding (minimal order) linear differential operator, of order 29, splits into factors of small orders. A fifth order linear differential operator occurs as the left-most factor of the "depleted" differential operator and it is shown to be equivalent to the symmetric fourth power of $L_E$, the linear differential operator corresponding to the elliptic integral $E$. This result generalizes what we have found for the lower order terms $\tildeχ^{(3)}$ and $\tildeχ^{(4)}$. We conjecture that a linear differential operator equivalent to a symmetric $(n-1)$-th power of $L_E$ occurs as a left-most factor in the minimal order linear differential operators for all $\tildeχ^{(n)}$'s. △ Less

Submitted 9 April, 2009; originally announced April 2009.

Comments: 33 pages

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Prudent walks and polygons

Authors: John C. Dethridge, Timothy M. Garoni, Anthony J. Guttmann, Iwan Jensen

Abstract: We have produced extended series for two-dimensional prudent polygons, based on a transfer matrix algorithm of complexity O$(n^5),$ for a series of length $n.$ We have extended the definition to three dimensions and produced series expansions for both prudent walks and polygons in three dimensions. For prudent polygons in two dimensions we find the growth constant to be smaller than that for the… ▽ More We have produced extended series for two-dimensional prudent polygons, based on a transfer matrix algorithm of complexity O$(n^5),$ for a series of length $n.$ We have extended the definition to three dimensions and produced series expansions for both prudent walks and polygons in three dimensions. For prudent polygons in two dimensions we find the growth constant to be smaller than that for the corresponding walks, and by considering three distinct classes of polygons, we find that the growth constant for polygons varies with class, while for walks it does not. We give the critical exponent for both walks and polygons. In the three-dimensional case we estimate the growth constant for both walks and polygons and also estimate the usual critical exponents $γ,$ $ν$ and $α.$ △ Less

Submitted 17 October, 2008; originally announced October 2008.

Comments: 18 pages, 3 figures, IoP style

Experimental mathematics on the magnetic susceptibility of the square lattice Ising model

Authors: S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J. -M. Maillard, B. Nickel, N. Zenine

Abstract: We calculate very long low- and high-temperature series for the susceptibility $χ$ of the square lattice Ising model as well as very long series for the five-particle contribution $χ^{(5)}$ and six-particle contribution $χ^{(6)}$. These calculations have been made possible by the use of highly optimized polynomial time modular algorithms and a total of more than 150000 CPU hours on computer clus… ▽ More We calculate very long low- and high-temperature series for the susceptibility $χ$ of the square lattice Ising model as well as very long series for the five-particle contribution $χ^{(5)}$ and six-particle contribution $χ^{(6)}$. These calculations have been made possible by the use of highly optimized polynomial time modular algorithms and a total of more than 150000 CPU hours on computer clusters. For $χ^{(5)}$ 10000 terms of the series are calculated {\it modulo} a single prime, and have been used to find the linear ODE satisfied by $χ^{(5)}$ {\it modulo} a prime. A diff-Padé analysis of 2000 terms series for $χ^{(5)}$ and $χ^{(6)}$ confirms to a very high degree of confidence previous conjectures about the location and strength of the singularities of the $n$-particle components of the susceptibility, up to a small set of ``additional'' singularities. We find the presence of singularities at $w=1/2$ for the linear ODE of $χ^{(5)}$, and $w^2= 1/8$ for the ODE of $χ^{(6)}$, which are {\it not} singularities of the ``physical'' $χ^{(5)}$ and $χ^{(6)},$ that is to say the series-solutions of the ODE's which are analytic at $w =0$. Furthermore, analysis of the long series for $χ^{(5)}$ (and $χ^{(6)}$) combined with the corresponding long series for the full susceptibility $χ$ yields previously conjectured singularities in some $χ^{(n)}$, $n \ge 7$. We also present a mechanism of resummation of the logarithmic singularities of the $χ^{(n)}$ leading to the known power-law critical behaviour occurring in the full $χ$, and perform a power spectrum analysis giving strong arguments in favor of the existence of a natural boundary for the full susceptibility $χ$. △ Less

Submitted 5 August, 2008; originally announced August 2008.

Comments: 54 pages, 2 figures

MSC Class: 34M55; 47E05; 81Qxx; 32G34; 34Lxx; 34Mxx; 14Kxx

Journal ref: J.Phys.A41:455202,2008

Exact generating function for 2-convex polygons

Authors: W. R. G. James, I. Jensen, A. J. Guttmann

Abstract: Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their `concavity index', $m$. Such polygons are called \emph{$m$-convex} polygons and are characterised by having up to $m$ indentations in their perimeter. We first describe how we conjectured the (isotropic) generating function for the case $m=2$ using a numerical… ▽ More Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their `concavity index', $m$. Such polygons are called \emph{$m$-convex} polygons and are characterised by having up to $m$ indentations in their perimeter. We first describe how we conjectured the (isotropic) generating function for the case $m=2$ using a numerical procedure based on series expansions. We then proceed to prove this result for the more general case of the full anisotropic generating function, in which steps in the $x$ and $y$ direction are distinguished. In so doing, we develop tools that would allow for the case $m > 2$ to be studied. %In our proof we use a `divide and conquer' approach, factorising 2-convex %polygons by extending a line along the base of its indents. We then use %the inclusion-exclusion principle, the Hadamard product and extensions to %known methods to derive the generating functions for each case. △ Less

Submitted 8 May, 2008; originally announced May 2008.

Comments: 28 pages, 15 figures, IoP style

MSC Class: 05A15

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

Modeling force-induced bio-polymer unfolding

Authors: Anthony J. Guttmann, Jesper L. Jacobsen, Iwan Jensen, Sanjay Kumar

Abstract: We study the conformations of polymer chains in a poor solvent, with and without bending rigidity, by means of a simple statistical mechanics model. This model can be exactly solved for chains of length up to N=55 using exact enumeration techniques. We analyze in details the differences between the constant force and constant distance ensembles for large but finite N. At low temperatures, and in… ▽ More We study the conformations of polymer chains in a poor solvent, with and without bending rigidity, by means of a simple statistical mechanics model. This model can be exactly solved for chains of length up to N=55 using exact enumeration techniques. We analyze in details the differences between the constant force and constant distance ensembles for large but finite N. At low temperatures, and in the constant force ensemble, the force-extension curve shows multiple plateaus (intermediate states), in contrast with the abrupt transition to an extended state prevailing in the $N \to \infty$ limit. In the constant distance ensemble, the same curve provides a unified response to pulling and compressing forces, and agrees qualitatively with recent experimental results. We identify a cross-over length, proportional to $N$, below which the critical force of unfolding decreases with temperature, while above, it increases wiyh temperature. Finally, the force-extension curve for stiff chains exhibits "saw-tooth" like behavior, as observed in protein unfolding experiments. △ Less

Submitted 21 November, 2007; originally announced November 2007.

Comments: 21 pages, 11 figures, contribution to the symposium "Lattices and Trajectories", celebrating the careers of Stu Whittington and Ray Kapral