-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Scaling function and universal amplitude combinations for self-avoiding polygons
Authors:
C. Richard,
A. J. Guttmann,
I. Jensen
Abstract:
We analyze new data for self-avoiding polygons, on the square and triangular lattices, enumerated by both perimeter and area, providing evidence that the scaling function is the logarithm of an Airy function. The results imply universal amplitude combinations for all area moments and suggest that rooted self-avoiding polygons may satisfy a $q$-algebraic functional equation.
We analyze new data for self-avoiding polygons, on the square and triangular lattices, enumerated by both perimeter and area, providing evidence that the scaling function is the logarithm of an Airy function. The results imply universal amplitude combinations for all area moments and suggest that rooted self-avoiding polygons may satisfy a $q$-algebraic functional equation.
△ Less
Submitted 6 September, 2001; v1 submitted 15 July, 2001;
originally announced July 2001.
-
Vicious walkers, friendly walkers and Young tableaux II: With a wall
Authors:
Christian Krattenthaler,
Anthony J. Guttmann,
Xavier G. Viennot
Abstract:
We derive new results for the number of star and watermelon configurations of vicious walkers in the presence of an impenetrable wall by showing that these follow from standard results in the theory of Young tableaux, and combinatorial descriptions of symmetric functions. For the problem of $n$-friendly walkers, we derive exact asymptotics for the number of stars and watermelons both in the abse…
▽ More
We derive new results for the number of star and watermelon configurations of vicious walkers in the presence of an impenetrable wall by showing that these follow from standard results in the theory of Young tableaux, and combinatorial descriptions of symmetric functions. For the problem of $n$-friendly walkers, we derive exact asymptotics for the number of stars and watermelons both in the absence of a wall and in the presence of a wall.
△ Less
Submitted 7 November, 2000; v1 submitted 23 June, 2000;
originally announced June 2000.
-
Critical exponents of plane meanders
Authors:
Iwan Jensen,
Anthony J Guttmann
Abstract:
Meanders form a set of combinatorial problems concerned with the enumeration of self-avoiding loops crossing a line through a given number of points, $n$. Meanders are considered distinct up to any smooth deformation leaving the line fixed. We use a recently developed algorithm, based on transfer matrix methods, to enumerate plane meanders. This allows us to calculate the number of closed meande…
▽ More
Meanders form a set of combinatorial problems concerned with the enumeration of self-avoiding loops crossing a line through a given number of points, $n$. Meanders are considered distinct up to any smooth deformation leaving the line fixed. We use a recently developed algorithm, based on transfer matrix methods, to enumerate plane meanders. This allows us to calculate the number of closed meanders up to $n=48$, the number of open meanders up to $n=43$, and the number of semi-meanders up to $n=45$. The analysis of the series yields accurate estimates of both the critical point and critical exponent, and shows that a recent conjecture for the exact value of the semi-meander critical exponent is unlikely to be correct, while the conjectured exponent value for closed and open meanders is not inconsistent with the results from the analysis.
△ Less
Submitted 18 April, 2000;
originally announced April 2000.
