-
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.
-
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.
-
Analyticity of the Ising susceptibility: An interpretation
Authors:
M. Assis,
J. L. Jacobsen,
I. Jensen,
J-M. Maillard,
B. M. McCoy
Abstract:
We discuss the implications of studies of partition function zeros and equimodular curves for the analytic properties of the Ising model on a square lattice in a magnetic field. In particular we consider the dense set of singularities in the susceptibility of the Ising model at $H=0$ found by Nickel and its relation to the analyticity of the field theory computations of Fonseca and Zamolodchikov.
We discuss the implications of studies of partition function zeros and equimodular curves for the analytic properties of the Ising model on a square lattice in a magnetic field. In particular we consider the dense set of singularities in the susceptibility of the Ising model at $H=0$ found by Nickel and its relation to the analyticity of the field theory computations of Fonseca and Zamolodchikov.
△ Less
Submitted 21 July, 2017; v1 submitted 6 May, 2017;
originally announced May 2017.
-
Three friendly walkers
Authors:
Iwan Jensen
Abstract:
More than 15 years ago Guttmann and Vöge [J. Statist. Plann. Inference, {\bf 101}, 107 (2002)], introduced a model of friendly walkers. Since then it has remained unsolved. In this paper we provide the exact solution to a closely allied model, originally introduced by Tsuchiya and Katori [J. Phys. Soc. Japan {\bf 67}, 1655 (1988)], which essentially only differs in the boundary conditions. The exa…
▽ More
More than 15 years ago Guttmann and Vöge [J. Statist. Plann. Inference, {\bf 101}, 107 (2002)], introduced a model of friendly walkers. Since then it has remained unsolved. In this paper we provide the exact solution to a closely allied model, originally introduced by Tsuchiya and Katori [J. Phys. Soc. Japan {\bf 67}, 1655 (1988)], which essentially only differs in the boundary conditions. The exact solution is expressed in terms of the reciprocal of the generating function for vicious walkers which is a D-finite function. However, ratios of D-finite functions are inherently not D-finite and in this case we prove that the friendly walkers generating function is the solution to a non-linear differential equation with polynomial coefficients, it is in other words D-algebraic. We then show via numerically exact calculations that the generating function of the original model can also be expressed as a D-finite function times the reciprocal of the generating function for vicious walkers. We obtain an expression for this D-finite function in terms of a ${}_{2}F_{1}$ hypergeometric function with a rational pullback and its first and second derivatives.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
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.
-
Square lattice self-avoiding walks and biased differential approximants
Authors:
Iwan Jensen
Abstract:
The model of self-avoiding lattice walks and the asymptotic analysis of power-series have been two of the major research themes of Tony Guttmann. In this paper we bring the two together and perform a new analysis of the generating functions for the number of square lattice self-avoiding walks and some of their metric properties such as the mean-square end-to-end distance. The critical point $x_c$…
▽ More
The model of self-avoiding lattice walks and the asymptotic analysis of power-series have been two of the major research themes of Tony Guttmann. In this paper we bring the two together and perform a new analysis of the generating functions for the number of square lattice self-avoiding walks and some of their metric properties such as the mean-square end-to-end distance. The critical point $x_c$ for self-avoiding walks is known to a high degree of accuracy and we utilise this knowledge to undertake a new numerical analysis of the series using biased differential approximants. The new method is major advance in asymptotic power-series analysis in that it allows us to bias differential approximants to have a singularity of order $q$ at $x_c$. When biasing at $x_c$ with $q\geq 2$ the analysis yields a very accurate estimate for the critical exponent $γ=1.3437500(3)$ thus confirming the conjectured exact value $γ=43/32$ to 8 significant digits and removing a long-standing minor discrepancy between exact and numerical results. The analysis of the mean-square end-to-end distance yields $ν=0.7500002(4)$ thus confirming the exact value $ν=3/4$ to 7 significant digits.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
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.
-
Integrability vs non-integrability: Hard hexagons and hard squares compared
Authors:
M. Assis,
J. L. Jacobsen,
I. Jensen,
J-M. Maillard,
B. M. McCoy
Abstract:
In this paper we compare the integrable hard hexagon model with the non-integrable hard squares model by means of partition function roots and transfer matrix eigenvalues. We consider partition functions for toroidal, cylindrical, and free-free boundary conditions up to sizes $40\times40$ and transfer matrices up to 30 sites. For all boundary conditions the hard squares roots are seen to lie in a…
▽ More
In this paper we compare the integrable hard hexagon model with the non-integrable hard squares model by means of partition function roots and transfer matrix eigenvalues. We consider partition functions for toroidal, cylindrical, and free-free boundary conditions up to sizes $40\times40$ and transfer matrices up to 30 sites. For all boundary conditions the hard squares roots are seen to lie in a bounded area of the complex fugacity plane along with the universal hard core line segment on the negative real fugacity axis. The density of roots on this line segment matches the derivative of the phase difference between the eigenvalues of largest (and equal) moduli and exhibits much greater structure than the corresponding density of hard hexagons. We also study the special point $z=-1$ of hard squares where all eigenvalues have unit modulus, and we give several conjectures for the value at $z=-1$ of the partition functions.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.
-
Analysis of mean cluster size in directed compact percolation near a damp wall
Authors:
H Lonsdale,
I Jensen,
J W Essam,
A L Owczarek
Abstract:
We investigate the behaviour of the mean size of directed compact percolation clusters near a damp wall in the low-density region, where sites in the bulk are wet (occupied) with probability $p$ while sites on the wall are wet with probability $p_w$. Methods used to find the exact solution for the dry case ($p_w=0$) and the wet case ($p_w=1$) turn out to be inadequate for the damp case. Instead we…
▽ More
We investigate the behaviour of the mean size of directed compact percolation clusters near a damp wall in the low-density region, where sites in the bulk are wet (occupied) with probability $p$ while sites on the wall are wet with probability $p_w$. Methods used to find the exact solution for the dry case ($p_w=0$) and the wet case ($p_w=1$) turn out to be inadequate for the damp case. Instead we use a series expansion for the $p_w=2p$ case to obtain a second order inhomogeneous differential equation satisfied by the mean size, which exhibits a critical exponent $γ=2$, in common with the wet wall result. For the more general case of $p_w=rp$, with $r$ rational, we use a modular arithmetic method of finding ODEs and obtain a fourth order homogeneous ODE satisfied by the series. The ODE is expressed exactly in terms of $r$. We find that in the damp region $0<r<2$ the critical exponent $γ^{\rm damp}=1$, in common with the dry wall result.
△ Less
Submitted 20 January, 2014;
originally announced January 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 new transfer-matrix algorithm for exact enumerations: self-avoiding walks on the square lattice
Authors:
Iwan Jensen
Abstract:
We recently published [J. Phys A: Math. Theor. {\bf 45} 115202 (2012)] a new and more efficient implementation of a transfer-matrix algorithm for exact enumerations of self-avoiding polygons. Here we extend this work to the enumeration of self-avoiding walks on the square lattice. A detailed comparison with our previous best algorithm shows very significant improvement in the running time of the n…
▽ More
We recently published [J. Phys A: Math. Theor. {\bf 45} 115202 (2012)] a new and more efficient implementation of a transfer-matrix algorithm for exact enumerations of self-avoiding polygons. Here we extend this work to the enumeration of self-avoiding walks on the square lattice. A detailed comparison with our previous best algorithm shows very significant improvement in the running time of the new algorithm. The new algorithm is used to extend the enumeration of self-avoiding walks to length 79 from the previous record of 71 and for metric properties, such as the average end-to-end distance, from 59 to 71.
△ Less
Submitted 25 September, 2013;
originally announced September 2013.
-
Hard hexagon partition function for complex fugacity
Authors:
M. Assis,
J. L. Jacobsen,
I. Jensen,
J-M. Maillard,
B. M. McCoy
Abstract:
We study the analyticity of the partition function of the hard hexagon model in the complex fugacity plane by computing zeros and transfer matrix eigenvalues for large finite size systems. We find that the partition function per site computed by Baxter in the thermodynamic limit for positive real values of the fugacity is not sufficient to describe the analyticity in the full complex fugacity plan…
▽ More
We study the analyticity of the partition function of the hard hexagon model in the complex fugacity plane by computing zeros and transfer matrix eigenvalues for large finite size systems. We find that the partition function per site computed by Baxter in the thermodynamic limit for positive real values of the fugacity is not sufficient to describe the analyticity in the full complex fugacity plane. We also obtain a new algebraic equation for the low density partition function per site.
△ Less
Submitted 20 September, 2013; v1 submitted 26 June, 2013;
originally announced June 2013.
-
Comment on `Series expansions from the corner transfer matrix renormalization group method: the hard-squares model'
Authors:
Iwan Jensen
Abstract:
Earlier this year Chan extended the low-density series for the hard-squares partition function $κ(z)$ to 92 terms. Here we analyse this extended series focusing on the behaviour at the dominant singularity $z_d$ which lies on on the negative fugacity axis. We find that the series has a confluent singularity of order 2 at $z_d$ with exponents $θ=0.83333(2)$ and $θ'= 1.6676(3)$. We thus confirm that…
▽ More
Earlier this year Chan extended the low-density series for the hard-squares partition function $κ(z)$ to 92 terms. Here we analyse this extended series focusing on the behaviour at the dominant singularity $z_d$ which lies on on the negative fugacity axis. We find that the series has a confluent singularity of order 2 at $z_d$ with exponents $θ=0.83333(2)$ and $θ'= 1.6676(3)$. We thus confirm that the exponent $θ$ has the exact value $\frac56$ as observed by Dhar.
△ Less
Submitted 22 November, 2012; v1 submitted 5 August, 2012;
originally announced August 2012.
-
A new transfer-matrix algorithm for exact enumerations: Self-avoiding polygons on the square lattice
Authors:
Nathan Clisby,
Iwan Jensen
Abstract:
We present a new and more efficient implementation of transfer-matrix methods for exact enumerations of lattice objects. The new method is illustrated by an application to the enumeration of self-avoiding polygons on the square lattice. A detailed comparison with the previous best algorithm shows significant improvement in the running time of the algorithm. The new algorithm is used to extend the…
▽ More
We present a new and more efficient implementation of transfer-matrix methods for exact enumerations of lattice objects. The new method is illustrated by an application to the enumeration of self-avoiding polygons on the square lattice. A detailed comparison with the previous best algorithm shows significant improvement in the running time of the algorithm. The new algorithm is used to extend the enumeration of polygons to length 130 from the previous record of 110.
△ Less
Submitted 24 November, 2011;
originally announced November 2011.
-
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.
-
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: $χ^{(6)}$
Authors:
S. Boukraa,
S. Hassani,
I. Jensen,
J. -M. Maillard,
N. Zenine
Abstract:
This paper deals with $\tildeχ^{(6)}$, the six-particle contribution to the magnetic susceptibility of the square lattice Ising model. We have generated, modulo a prime, series coefficients for $\tildeχ^{(6)}$. The length of the series is sufficient to produce the corresponding Fuchsian linear differential equation (modulo a prime). We obtain the Fuchsian linear differential equation that annihi…
▽ More
This paper deals with $\tildeχ^{(6)}$, the six-particle contribution to the magnetic susceptibility of the square lattice Ising model. We have generated, modulo a prime, series coefficients for $\tildeχ^{(6)}$. The length of the series is sufficient to produce the corresponding Fuchsian linear differential equation (modulo a prime). We obtain the Fuchsian linear differential equation that annihilates the "depleted" series $Φ^{(6)}=\tildeχ^{(6)} - {2 \over 3} \tildeχ^{(4)} + {2 \over 45} \tildeχ^{(2)}$. The factorization of the corresponding differential operator is performed using a method of factorization modulo a prime introduced in a previous paper. The "depleted" differential operator is shown to have a structure similar to the corresponding operator for $\tildeχ^{(5)}$. It splits into factors of smaller orders, with the left-most factor of order six being equivalent to the symmetric fifth power of the linear differential operator corresponding to the elliptic integral $E$. The right-most factor has a direct sum structure, and using series calculated modulo several primes, all the factors in the direct sum have been reconstructed in exact arithmetics.
△ Less
Submitted 25 December, 2009;
originally announced December 2009.
-
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.
-
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.
