-
Critical speeding-up in dynamical percolation
Authors:
Eren Metin Elci,
Timothy M. Garoni
Abstract:
We study the autocorrelation time of the size of the cluster at the origin in discrete-time dynamical percolation. We focus on binary trees and high-dimensional tori, and show in both cases that this autocorrelation time is linear in the volume in the subcritical regime, but strictly sublinear in the volume at criticality. This establishes rigorously that the cluster size at the origin in these mo…
▽ More
We study the autocorrelation time of the size of the cluster at the origin in discrete-time dynamical percolation. We focus on binary trees and high-dimensional tori, and show in both cases that this autocorrelation time is linear in the volume in the subcritical regime, but strictly sublinear in the volume at criticality. This establishes rigorously that the cluster size at the origin in these models exhibits critical speeding-up. The proofs involve controlling relevant Fourier coefficients. In the case of binary trees, these Fourier coefficients are studied explicitly, while for high-dimensional tori we employ a randomised algorithm argument introduced by Schramm and Steif in the context of noise sensitivity.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Unwrapped two-point functions on high-dimensional tori
Authors:
Youjin Deng,
Timothy M. Garoni,
Jens Grimm,
Zongzheng Zhou
Abstract:
We study unwrapped two-point functions for the Ising model, the self-avoiding walk and a random-length loop-erased random walk on high-dimensional lattices with periodic boundary conditions. While the standard two-point functions of these models have been observed to display an anomalous plateau behaviour, the unwrapped two-point functions are shown to display standard mean-field behaviour. Moreov…
▽ More
We study unwrapped two-point functions for the Ising model, the self-avoiding walk and a random-length loop-erased random walk on high-dimensional lattices with periodic boundary conditions. While the standard two-point functions of these models have been observed to display an anomalous plateau behaviour, the unwrapped two-point functions are shown to display standard mean-field behaviour. Moreover, we argue that the asymptotic behaviour of these unwrapped two-point functions on the torus can be understood in terms of the standard two-point function of a random-length random walk model on Zd. A precise description is derived for the asymptotic behaviour of the latter. Finally, we consider a natural notion of the Ising walk length, and show numerically that the Ising and SAW walk lengths on high-dimensional tori show the same universal behaviour known for the SAW walk length on the complete graph.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
The length of self-avoiding walks on the complete graph
Authors:
Youjin Deng,
Timothy M Garoni,
Jens Grimm,
Abrahim Nasrawi,
Zongzheng Zhou
Abstract:
We study the variable-length ensemble of self-avoiding walks on the complete graph. We obtain the leading order asymptotics of the mean and variance of the walk length, as the number of vertices goes to infinity. Central limit theorems for the walk length are also established, in various regimes of fugacity. Particular attention is given to sequences of fugacities that converge to the critical poi…
▽ More
We study the variable-length ensemble of self-avoiding walks on the complete graph. We obtain the leading order asymptotics of the mean and variance of the walk length, as the number of vertices goes to infinity. Central limit theorems for the walk length are also established, in various regimes of fugacity. Particular attention is given to sequences of fugacities that converge to the critical point, and the effect of the rate of convergence of these fugacity sequences on the limiting walk length is studied in detail. Physically, this corresponds to studying the asymptotic walk length on a general class of pseudocritical points.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
Random-length Random Walks and Finite-size scaling in high dimensions
Authors:
Zongzheng Zhou,
Jens Grimm,
Sheng Fang,
Youjin Deng,
Timothy M. Garoni
Abstract:
We address a long-standing debate regarding the finite-size scaling of the Ising model in high dimensions, by introducing a random-length random walk model, which we then study rigorously. We prove that this model exhibits the same universal FSS behaviour previously conjectured for the self-avoiding walk and Ising model on finite boxes in high-dimensional lattices. Our results show that the mean w…
▽ More
We address a long-standing debate regarding the finite-size scaling of the Ising model in high dimensions, by introducing a random-length random walk model, which we then study rigorously. We prove that this model exhibits the same universal FSS behaviour previously conjectured for the self-avoiding walk and Ising model on finite boxes in high-dimensional lattices. Our results show that the mean walk length of the random walk model controls the scaling behaviour of the corresponding Green's function. We numerically demonstrate the universality of our rigorous findings by extensive Monte Carlo simulations of the Ising model and self-avoiding walk on five-dimensional hypercubic lattices with free and periodic boundaries.
△ Less
Submitted 31 October, 2018; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Behaviour of traffic on a link with traffic light boundaries
Authors:
Lele Zhang,
Caley Finn,
Timothy M. Garoni,
Jan de Gier
Abstract:
This paper considers a single link with traffic light boundary conditions at both ends, and investigates the traffic evolution over time with various signal and system configurations. A hydrodynamic model and a modified stochastic domain wall theory are proposed to describe the local density variation. The Nagel-Schreckenberg model (NaSch), an agent based stochastic model, is used as a benchmark.…
▽ More
This paper considers a single link with traffic light boundary conditions at both ends, and investigates the traffic evolution over time with various signal and system configurations. A hydrodynamic model and a modified stochastic domain wall theory are proposed to describe the local density variation. The Nagel-Schreckenberg model (NaSch), an agent based stochastic model, is used as a benchmark. The hydrodynamic model provides good approximations over short time scales. The domain wall model is found to reproduce the time evolution of local densities, in good agreement with the NaSch simulations for both short and long time scales. A systematic investigation of the impact of network parameters, including system sizes, cycle lengths, phase splits and signal offsets, on traffic flows suggests that the stationary flow is dominated by the boundary with the smaller split. Nevertheless, the signal offset plays an important role in determining the flow. Analytical expressions of the flow in relation to those parameters are obtained for the deterministic domain wall model and match the deterministic NaSch simulations. The analytic results agree qualitatively with the general stochastic models. When the cycle is sufficiently short, the stationary state is governed by effective inflow and outflow rates, and the density profile is approximately linear and independent of time.
△ Less
Submitted 29 March, 2018;
originally announced April 2018.
-
Lifted Worm Algorithm for the Ising Model
Authors:
Eren Metin Elçi,
Jens Grimm,
Lijie Ding,
Abrahim Nasrawi,
Timothy M. Garoni,
Youjin Deng
Abstract:
We design an irreversible worm algorithm for the zero-field ferromagnetic Ising model by using the lifting technique. We study the dynamic critical behavior of an energy estimator on both the complete graph and toroidal grids, and compare our findings with reversible algorithms such as the Prokof'ev-Svistunov worm algorithm. Our results show that the lifted worm algorithm improves the dynamic expo…
▽ More
We design an irreversible worm algorithm for the zero-field ferromagnetic Ising model by using the lifting technique. We study the dynamic critical behavior of an energy estimator on both the complete graph and toroidal grids, and compare our findings with reversible algorithms such as the Prokof'ev-Svistunov worm algorithm. Our results show that the lifted worm algorithm improves the dynamic exponent of the energy estimator on the complete graph, and leads to a significant constant improvement on toroidal grids.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
On the coupling time of the heat-bath process for the Fortuin-Kasteleyn random-cluster model
Authors:
Andrea Collevecchio,
Eren Metin Elci,
Timothy M. Garoni,
Martin Weigel
Abstract:
We consider the coupling from the past implementation of the random-cluster heat-bath process, and study its random running time, or coupling time. We focus on hypercubic lattices embedded on tori, in dimensions one to three, with cluster fugacity at least one. We make a number of conjectures regarding the asymptotic behaviour of the coupling time, motivated by rigorous results in one dimension an…
▽ More
We consider the coupling from the past implementation of the random-cluster heat-bath process, and study its random running time, or coupling time. We focus on hypercubic lattices embedded on tori, in dimensions one to three, with cluster fugacity at least one. We make a number of conjectures regarding the asymptotic behaviour of the coupling time, motivated by rigorous results in one dimension and Monte Carlo simulations in dimensions two and three. Amongst our findings, we observe that, for generic parameter values, the distribution of the appropriately standardized coupling time converges to a Gumbel distribution, and that the standard deviation of the coupling time is asymptotic to an explicit universal constant multiple of the relaxation time. Perhaps surprisingly, we observe these results to hold both off criticality, where the coupling time closely mimics the coupon collector's problem, and also at the critical point, provided the cluster fugacity is below the value at which the transition becomes discontinuous. Finally, we consider analogous questions for the single-spin Ising heat-bath process.
△ Less
Submitted 19 May, 2017;
originally announced May 2017.
-
Geometric explanation of anomalous finite-size scaling in high dimensions
Authors:
Jens Grimm,
Eren Metin Elçi,
Zongzheng Zhou,
Timothy M. Garoni,
Youjin Deng
Abstract:
We give an intuitive geometric explanation for the apparent breakdown of standard finite-size scaling in systems with periodic boundaries above the upper critical dimension. The Ising model and self-avoiding walk are simulated on five-dimensional hypercubic lattices with free and periodic boundary conditions, by using geometric representations and recently introduced Markov-chain Monte Carlo algor…
▽ More
We give an intuitive geometric explanation for the apparent breakdown of standard finite-size scaling in systems with periodic boundaries above the upper critical dimension. The Ising model and self-avoiding walk are simulated on five-dimensional hypercubic lattices with free and periodic boundary conditions, by using geometric representations and recently introduced Markov-chain Monte Carlo algorithms. We show that previously observed anomalous behaviour for correlation functions, measured on the standard Euclidean scale, can be removed by defining correlation functions on a scale which correctly accounts for windings.
△ Less
Submitted 14 March, 2017; v1 submitted 6 December, 2016;
originally announced December 2016.
-
The worm process for the Ising model is rapidly mixing
Authors:
Andrea Collevecchio,
Timothy M. Garoni,
Timothy Hyndman,
Daniel Tokarev
Abstract:
We prove rapid mixing of the worm process for the zero-field ferromagnetic Ising model, on all finite connected graphs, and at all temperatures. As a corollary, we obtain a fully-polynomial randomized approximation scheme for the Ising susceptibility, and for a certain restriction of the two-point correlation function
We prove rapid mixing of the worm process for the zero-field ferromagnetic Ising model, on all finite connected graphs, and at all temperatures. As a corollary, we obtain a fully-polynomial randomized approximation scheme for the Ising susceptibility, and for a certain restriction of the two-point correlation function
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
The worm algorithm for the Ising model is rapidly mixing
Authors:
Andrea Collevecchio,
Timothy M. Garoni,
Timothy Hyndman,
Daniel Tokarev
Abstract:
We prove rapid mixing of the Prokofiev-Svistunov (or worm) algorithm for the zero-field ferromagnetic Ising model, on all finite graphs and at all temperatures. As a corollary, we show how to rigorously construct simple and efficient approximation schemes for the Ising susceptibility and two-point correlation function.
We prove rapid mixing of the Prokofiev-Svistunov (or worm) algorithm for the zero-field ferromagnetic Ising model, on all finite graphs and at all temperatures. As a corollary, we show how to rigorously construct simple and efficient approximation schemes for the Ising susceptibility and two-point correlation function.
△ Less
Submitted 15 September, 2014;
originally announced September 2014.
-
Leaf-excluded percolation in two and three dimensions
Authors:
Zongzheng Zhou,
Xiao Xu,
Timothy M. Garoni,
Youjin Deng
Abstract:
We introduce the \emph{leaf-excluded} percolation model, which corresponds to independent bond percolation conditioned on the absence of leaves (vertices of degree one). We study the leaf-excluded model on the square and simple-cubic lattices via Monte Carlo simulation, using a worm-like algorithm. By studying wrapping probabilities, we precisely estimate the critical thresholds to be…
▽ More
We introduce the \emph{leaf-excluded} percolation model, which corresponds to independent bond percolation conditioned on the absence of leaves (vertices of degree one). We study the leaf-excluded model on the square and simple-cubic lattices via Monte Carlo simulation, using a worm-like algorithm. By studying wrapping probabilities, we precisely estimate the critical thresholds to be $0.355\,247\,5(8)$ (square) and $0.185\,022(3)$ (simple-cubic). Our estimates for the thermal and magnetic exponents are consistent with those for percolation, implying that the phase transition of the leaf-excluded model belongs to the standard percolation universality class.
△ Less
Submitted 17 March, 2015; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Geometric structure of percolation clusters
Authors:
Xiao Xu,
Junfeng Wang,
Zongzheng Zhou,
Timothy M. Garoni,
Youjin Deng
Abstract:
We investigate the geometric properties of percolation clusters, by studying square-lattice bond percolation on the torus. We show that the density of bridges and nonbridges both tend to 1/4 for large system sizes. Using Monte Carlo simulations, we study the probability that a given edge is not a bridge but has both its loop arcs in the same loop, and find that it is governed by the two-arm expone…
▽ More
We investigate the geometric properties of percolation clusters, by studying square-lattice bond percolation on the torus. We show that the density of bridges and nonbridges both tend to 1/4 for large system sizes. Using Monte Carlo simulations, we study the probability that a given edge is not a bridge but has both its loop arcs in the same loop, and find that it is governed by the two-arm exponent. We then classify bridges into two types: branches and junctions. A bridge is a {\em branch} iff at least one of the two clusters produced by its deletion is a tree. Starting from a percolation configuration and deleting the branches results in a {\em leaf-free} configuration, while deleting all bridges produces a bridge-free configuration. Although branches account for $\approx 43%$ of all occupied bonds, we find that the fractal dimensions of the cluster size and hull length of leaf-free configurations are consistent with those for standard percolation configurations. By contrast, we find that the fractal dimensions of the cluster size and hull length of bridge-free configurations are respectively given by the backbone and external perimeter dimensions. We estimate the backbone fractal dimension to be $1.643\,36(10)$.
△ Less
Submitted 17 January, 2014; v1 submitted 27 September, 2013;
originally announced September 2013.
-
Bond and Site Percolation in Three Dimensions
Authors:
Junfeng Wang,
Zongzheng Zhou,
Wei Zhang,
Timothy M. Garoni,
Youjin Deng
Abstract:
We simulate the bond and site percolation models on a simple-cubic lattice with linear sizes up to L=512, and estimate the percolation thresholds to be $p_c ({\rm bond})=0.248\,811\,82(10)$ and $p_c ({\rm site})=0.311\,607\,7(2)$. By performing extensive simulations at these estimated critical points, we then estimate the critical exponents $1/ν=1.141\,0(15)$, $β/ν=0.477\,05(15)$, the leading corr…
▽ More
We simulate the bond and site percolation models on a simple-cubic lattice with linear sizes up to L=512, and estimate the percolation thresholds to be $p_c ({\rm bond})=0.248\,811\,82(10)$ and $p_c ({\rm site})=0.311\,607\,7(2)$. By performing extensive simulations at these estimated critical points, we then estimate the critical exponents $1/ν=1.141\,0(15)$, $β/ν=0.477\,05(15)$, the leading correction exponent $y_i =-1.2(2)$, and the shortest-path exponent $d_{\rm min}=1.375\,6(3)$. Various universal amplitudes are also obtained, including wrapping probabilities, ratios associated with the cluster-size distribution, and the excess cluster number. We observe that the leading finite-size corrections in certain wrapping probabilities are governed by an exponent $\approx -2$, rather than $y_i \approx -1.2$.
△ Less
Submitted 3 June, 2014; v1 submitted 2 February, 2013;
originally announced February 2013.
-
Novel phase transitions in XY Antiferromagnets on Plane Triangulations
Authors:
Jian-Ping Lv,
Timothy M. Garoni,
Youjin Deng
Abstract:
Using Monte Carlo simulations and finite-size scaling, we investigate the XY antiferromagnet on the triangular, Union Jack and bisected-hexagonal lattices, and in each case find both Ising and Kosterlitz-Thouless transitions. As is well-known, on the triangular lattice, as the temperature decreases the system develops chiral order for temperatures $T < \Tc$, and then quasi-long-range magnetic orde…
▽ More
Using Monte Carlo simulations and finite-size scaling, we investigate the XY antiferromagnet on the triangular, Union Jack and bisected-hexagonal lattices, and in each case find both Ising and Kosterlitz-Thouless transitions. As is well-known, on the triangular lattice, as the temperature decreases the system develops chiral order for temperatures $T < \Tc$, and then quasi-long-range magnetic order on its sublattices when $T < \Ts$, with $\Ts < \Tc$. The behavior $\Ts<\Tc$ is predicted by theoretical arguments due to Korshunov, based on the unbinding of kink-antikink pairs. On the Union Jack and bisected-hexagonal lattices, by contrast, we find that as $T$ decreases the magnetizations on some of the sublattices become quasi-long-range ordered at a temperature $\Ts > \Tc$, before chiral order develops. In some cases, the sublattice spins then undergo a second transition, of Ising type, separating two quasi-long-range ordered phases. On the Union Jack lattice, the magnetization on the degree-4 sublattice remains disordered until $\Tc$ and then undergoes an Ising transition to a quasi-long-range ordered phase.
△ Less
Submitted 5 August, 2012; v1 submitted 20 January, 2012;
originally announced January 2012.
-
High-precision Monte Carlo study of directed percolation in (d+1) dimensions
Authors:
Junfeng Wang,
Zongzheng Zhou,
Qingquan Liu,
Timothy M. Garoni,
Youjin Deng
Abstract:
We present a Monte Carlo study of the bond and site directed (oriented) percolation models in $(d+1)$ dimensions on simple-cubic and body-centered-cubic lattices, with $2 \leq d \leq 7$. A dimensionless ratio is defined, and an analysis of its finite-size scaling produces improved estimates of percolation thresholds. We also report improved estimates for the standard critical exponents. In additio…
▽ More
We present a Monte Carlo study of the bond and site directed (oriented) percolation models in $(d+1)$ dimensions on simple-cubic and body-centered-cubic lattices, with $2 \leq d \leq 7$. A dimensionless ratio is defined, and an analysis of its finite-size scaling produces improved estimates of percolation thresholds. We also report improved estimates for the standard critical exponents. In addition, we study the probability distributions of the number of wet sites and radius of gyration, for $1 \leq d \leq 7$.
△ Less
Submitted 10 October, 2013; v1 submitted 14 January, 2012;
originally announced January 2012.
-
The O(n) loop model on a three-dimensional lattice
Authors:
Qingquan Liu,
Youjin Deng,
Timothy M. Garoni,
Henk W. J. Blote
Abstract:
We study a class of loop models, parameterized by a continuously varying loop fugacity n, on the hydrogen-peroxide lattice, which is a three-dimensional cubic lattice of coordination number 3. For integer n > 0, these loop models provide graphical representations for n-vector models on the same lattice, while for n = 0 they reduce to the self-avoiding walk problem. We use worm algorithms to perfor…
▽ More
We study a class of loop models, parameterized by a continuously varying loop fugacity n, on the hydrogen-peroxide lattice, which is a three-dimensional cubic lattice of coordination number 3. For integer n > 0, these loop models provide graphical representations for n-vector models on the same lattice, while for n = 0 they reduce to the self-avoiding walk problem. We use worm algorithms to perform Monte Carlo studies of the loop model for n = 0, 0.5, 1, 1.5, 2, 3, 4, 5 and 10 and obtain the critical points and a number of critical exponents, including the thermal exponent yt, magnetic exponent yh, and loop exponent yl. For integer n, the estimated values of yt and yh are found to agree with existing estimates for the three-dimensional O(n) universality class. The efficiency of the worm algorithms is reflected by the small value of the dynamic exponent z, determined from our analysis of the integrated autocorrelation times.
△ Less
Submitted 9 April, 2012; v1 submitted 23 December, 2011;
originally announced December 2011.
-
A comparative study of Macroscopic Fundamental Diagrams of arterial road networks governed by adaptive traffic signal systems
Authors:
Lele Zhang,
Timothy M. Garoni,
Jan de Gier
Abstract:
Using a stochastic cellular automaton model for urban traffic flow, we study and compare Macroscopic Fundamental Diagrams (MFDs) of arterial road networks governed by different types of adaptive traffic signal systems, under various boundary conditions. In particular, we simulate realistic signal systems that include signal linking and adaptive cycle times, and compare their performance against a…
▽ More
Using a stochastic cellular automaton model for urban traffic flow, we study and compare Macroscopic Fundamental Diagrams (MFDs) of arterial road networks governed by different types of adaptive traffic signal systems, under various boundary conditions. In particular, we simulate realistic signal systems that include signal linking and adaptive cycle times, and compare their performance against a highly adaptive system of self-organizing traffic signals which is designed to uniformly distribute the network density. We find that for networks with time-independent boundary conditions, well-defined stationary MFDs are observed, whose shape depends on the particular signal system used, and also on the level of heterogeneity in the system. We find that the spatial heterogeneity of both density and flow provide important indicators of network performance. We also study networks with time-dependent boundary conditions, containing morning and afternoon peaks. In this case, intricate hysteresis loops are observed in the MFDs which are strongly correlated with the density heterogeneity. Our results show that the MFD of the self-organizing traffic signals lies above the MFD for the realistic systems, suggesting that by adaptively homogenizing the network density, overall better performance and higher capacity can be achieved.
△ Less
Submitted 10 December, 2012; v1 submitted 16 December, 2011;
originally announced December 2011.
-
Dynamic Critical Behavior of the Chayes-Machta Algorithm for the Random-Cluster Model. I. Two Dimensions
Authors:
Timothy M. Garoni,
Giovanni Ossola,
Marco Polin,
Alan D. Sokal
Abstract:
We study, via Monte Carlo simulation, the dynamic critical behavior of the Chayes-Machta dynamics for the Fortuin-Kasteleyn random-cluster model, which generalizes the Swendsen-Wang dynamics for the q-state Potts ferromagnet to non-integer q \ge 1. We consider spatial dimension d=2 and 1.25 \le q \le 4 in steps of 0.25, on lattices up to 1024^2, and obtain estimates for the dynamic critical expone…
▽ More
We study, via Monte Carlo simulation, the dynamic critical behavior of the Chayes-Machta dynamics for the Fortuin-Kasteleyn random-cluster model, which generalizes the Swendsen-Wang dynamics for the q-state Potts ferromagnet to non-integer q \ge 1. We consider spatial dimension d=2 and 1.25 \le q \le 4 in steps of 0.25, on lattices up to 1024^2, and obtain estimates for the dynamic critical exponent z_{CM}. We present evidence that when 1 \le q \lesssim 1.95 the Ossola-Sokal conjecture z_{CM} \ge β/νis violated, though we also present plausible fits compatible with this conjecture. We show that the Li-Sokal bound z_{CM} \ge α/νis close to being sharp over the entire range 1 \le q \le 4, but is probably non-sharp by a power. As a byproduct of our work, we also obtain evidence concerning the corrections to scaling in static observables.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Traffic flow on realistic road networks with adaptive traffic lights
Authors:
Jan de Gier,
Timothy M Garoni,
Omar Rojas
Abstract:
We present a model of traffic flow on generic urban road networks based on cellular automata. We apply this model to an existing road network in the Australian city of Melbourne, using empirical data as input. For comparison, we also apply this model to a square-grid network using hypothetical input data. On both networks we compare the effects of non-adaptive vs adaptive traffic lights, in which…
▽ More
We present a model of traffic flow on generic urban road networks based on cellular automata. We apply this model to an existing road network in the Australian city of Melbourne, using empirical data as input. For comparison, we also apply this model to a square-grid network using hypothetical input data. On both networks we compare the effects of non-adaptive vs adaptive traffic lights, in which instantaneous traffic state information feeds back into the traffic signal schedule. We observe that not only do adaptive traffic lights result in better averages of network observables, they also lead to significantly smaller fluctuations in these observables. We furthermore compare two different systems of adaptive traffic signals, one which is informed by the traffic state on both upstream and downstream links, and one which is informed by upstream links only. We find that, in general, both the mean and the fluctuation of the travel time are smallest when using the joint upstream-downstream control strategy.
△ Less
Submitted 20 February, 2011; v1 submitted 29 November, 2010;
originally announced November 2010.
-
Worm Monte Carlo study of the honeycomb-lattice loop model
Authors:
Qingquan Liu,
Youjin Deng,
Timothy M. Garoni
Abstract:
We present a Markov-chain Monte Carlo algorithm of "worm"type that correctly simulates the O(n) loop model on any (finite and connected) bipartite cubic graph, for any real n>0, and any edge weight, including the fully-packed limit of infinite edge weight. Furthermore, we prove rigorously that the algorithm is ergodic and has the correct stationary distribution. We emphasize that by using known ex…
▽ More
We present a Markov-chain Monte Carlo algorithm of "worm"type that correctly simulates the O(n) loop model on any (finite and connected) bipartite cubic graph, for any real n>0, and any edge weight, including the fully-packed limit of infinite edge weight. Furthermore, we prove rigorously that the algorithm is ergodic and has the correct stationary distribution. We emphasize that by using known exact mappings when n=2, this algorithm can be used to simulate a number of zero-temperature Potts antiferromagnets for which the Wang-Swendsen-Kotecky cluster algorithm is non-ergodic, including the 3-state model on the kagome-lattice and the 4-state model on the triangular-lattice. We then use this worm algorithm to perform a systematic study of the honeycomb-lattice loop model as a function of n<2, on the critical line and in the densely-packed and fully-packed phases. By comparing our numerical results with Coulomb gas theory, we identify the exact scaling exponents governing some fundamental geometric and dynamic observables. In particular, we show that for all n<2, the scaling of a certain return time in the worm dynamics is governed by the magnetic dimension of the loop model, thus providing a concrete dynamical interpretation of this exponent. The case n>2 is also considered, and we confirm the existence of a phase transition in the 3-state Potts universality class that was recently observed via numerical transfer matrix calculations.
△ Less
Submitted 17 January, 2011; v1 submitted 9 November, 2010;
originally announced November 2010.
-
Autocorrelations in the totally asymmetric simple exclusion process and Nagel-Schreckenberg model
Authors:
Jan de Gier,
Timothy M. Garoni,
Zongzheng Zhou
Abstract:
We study via Monte Carlo simulation the dynamics of the Nagel-Schreckenberg model on a finite system of length L with open boundary conditions and parallel updates. We find numerically that in both the high and low density regimes the autocorrelation function of the system density behaves like 1-|t|/tau with a finite support [-tau,tau]. This is in contrast to the usual exponential decay typical of…
▽ More
We study via Monte Carlo simulation the dynamics of the Nagel-Schreckenberg model on a finite system of length L with open boundary conditions and parallel updates. We find numerically that in both the high and low density regimes the autocorrelation function of the system density behaves like 1-|t|/tau with a finite support [-tau,tau]. This is in contrast to the usual exponential decay typical of equilibrium systems. Furthermore, our results suggest that in fact tau=L/c, and in the special case of maximum velocity 1 (corresponding to the totally asymmetric simple exclusion process) we can identify the exact dependence of c on the input, output and hopping rates. We also emphasize that the parameter tau corresponds to the integrated autocorrelation time, which plays a fundamental role in quantifying the statistical errors in Monte Carlo simulations of these models.
△ Less
Submitted 7 July, 2010; v1 submitted 13 January, 2010;
originally announced January 2010.
-
Some geometric critical exponents for percolation and the random-cluster model
Authors:
Youjin Deng,
Wei Zhang,
Timothy M. Garoni,
Alan D. Sokal,
Andrea Sportiello
Abstract:
We introduce several infinite families of new critical exponents for the random-cluster model and present scaling arguments relating them to the k-arm exponents. We then present Monte Carlo simulations confirming these predictions. These new exponents provide a convenient way to determine k-arm exponents from Monte Carlo simulations. An understanding of these exponents also leads to a radically…
▽ More
We introduce several infinite families of new critical exponents for the random-cluster model and present scaling arguments relating them to the k-arm exponents. We then present Monte Carlo simulations confirming these predictions. These new exponents provide a convenient way to determine k-arm exponents from Monte Carlo simulations. An understanding of these exponents also leads to a radically improved implementation of the Sweeny Monte Carlo algorithm. In addition, our Monte Carlo data allow us to conjecture an exact expression for the shortest-path fractal dimension d_min in two dimensions: d_min = (g+2)(g+18)/(32g) where g is the Coulomb-gas coupling, related to the cluster fugacity q via q = 2 + 2 cos(gπ/2) with 2 \le g \le 4.
△ Less
Submitted 15 January, 2010; v1 submitted 22 April, 2009;
originally announced April 2009.
-
A worm algorithm for the fully-packed loop model
Authors:
Wei Zhang,
Timothy M. Garoni,
Youjin Deng
Abstract:
We present a Markov-chain Monte Carlo algorithm of worm type that correctly simulates the fully-packed loop model on the honeycomb lattice, and we prove that it is ergodic and has uniform stationary distribution. The fully-packed loop model on the honeycomb lattice is equivalent to the zero-temperature triangular-lattice antiferromagnetic Ising model, which is fully frustrated and notoriously di…
▽ More
We present a Markov-chain Monte Carlo algorithm of worm type that correctly simulates the fully-packed loop model on the honeycomb lattice, and we prove that it is ergodic and has uniform stationary distribution. The fully-packed loop model on the honeycomb lattice is equivalent to the zero-temperature triangular-lattice antiferromagnetic Ising model, which is fully frustrated and notoriously difficult to simulate. We test this worm algorithm numerically and estimate the dynamic exponent z = 0.515(8). We also measure several static quantities of interest, including loop-length and face-size moments. It appears numerically that the face-size moments are governed by the magnetic dimension for percolation.
△ Less
Submitted 25 March, 2009; v1 submitted 13 November, 2008;
originally announced November 2008.
-
Prudent walks and polygons
Authors:
John C. Dethridge,
Timothy M. Garoni,
Anthony J. Guttmann,
Iwan Jensen
Abstract:
We have produced extended series for two-dimensional prudent polygons, based on a transfer matrix algorithm of complexity O$(n^5),$ for a series of length $n.$ We have extended the definition to three dimensions and produced series expansions for both prudent walks and polygons in three dimensions. For prudent polygons in two dimensions we find the growth constant to be smaller than that for the…
▽ More
We have produced extended series for two-dimensional prudent polygons, based on a transfer matrix algorithm of complexity O$(n^5),$ for a series of length $n.$ We have extended the definition to three dimensions and produced series expansions for both prudent walks and polygons in three dimensions. For prudent polygons in two dimensions we find the growth constant to be smaller than that for the corresponding walks, and by considering three distinct classes of polygons, we find that the growth constant for polygons varies with class, while for walks it does not. We give the critical exponent for both walks and polygons. In the three-dimensional case we estimate the growth constant for both walks and polygons and also estimate the usual critical exponents $γ,$ $ν$ and $α.$
△ Less
Submitted 17 October, 2008;
originally announced October 2008.
-
Dynamic critical behavior of the Chayes-Machta-Swendsen-Wang algorithm
Authors:
Youjin Deng,
Timothy M. Garoni,
Jonathan Machta,
Giovanni Ossola,
Marco Polin,
Alan D. Sokal
Abstract:
We study the dynamic critical behavior of the Chayes-Machta dynamics for the Fortuin-Kasteleyn random-cluster model, which generalizes the Swendsen-Wang dynamics for the q-state Potts model to noninteger q, in two and three spatial dimensions, by Monte Carlo simulation. We show that the Li-Sokal bound z \ge α/νis close to but probably not sharp in d=2, and is far from sharp in d=3, for all q. Th…
▽ More
We study the dynamic critical behavior of the Chayes-Machta dynamics for the Fortuin-Kasteleyn random-cluster model, which generalizes the Swendsen-Wang dynamics for the q-state Potts model to noninteger q, in two and three spatial dimensions, by Monte Carlo simulation. We show that the Li-Sokal bound z \ge α/νis close to but probably not sharp in d=2, and is far from sharp in d=3, for all q. The conjecture z \ge β/νis false (for some values of q) in both d=2 and d=3.
△ Less
Submitted 18 May, 2007;
originally announced May 2007.
-
Dynamic critical behavior of the worm algorithm for the Ising model
Authors:
Youjin Deng,
Timothy M. Garoni,
Alan D. Sokal
Abstract:
We study the dynamic critical behavior of the worm algorithm for the two- and three-dimensional Ising models, by Monte Carlo simulation. The autocorrelation functions exhibit an unusual three-time-scale behavior. As a practical matter, the worm algorithm is slightly more efficient than Swendsen-Wang for simulating the two-point function of the three-dimensional Ising model.
We study the dynamic critical behavior of the worm algorithm for the two- and three-dimensional Ising models, by Monte Carlo simulation. The autocorrelation functions exhibit an unusual three-time-scale behavior. As a practical matter, the worm algorithm is slightly more efficient than Swendsen-Wang for simulating the two-point function of the three-dimensional Ising model.
△ Less
Submitted 10 September, 2007; v1 submitted 29 March, 2007;
originally announced March 2007.
-
Critical speeding-up in a local dynamics for the random-cluster model
Authors:
Youjin Deng,
Timothy M. Garoni,
Alan D. Sokal
Abstract:
We study the dynamic critical behavior of the local bond-update (Sweeny) dynamics for the Fortuin-Kasteleyn random-cluster model in dimensions d=2,3, by Monte Carlo simulation. We show that, for a suitable range of q values, the global observable S_2 exhibits "critical speeding-up": it decorrelates well on time scales much less than one sweep, so that the integrated autocorrelation time tends to…
▽ More
We study the dynamic critical behavior of the local bond-update (Sweeny) dynamics for the Fortuin-Kasteleyn random-cluster model in dimensions d=2,3, by Monte Carlo simulation. We show that, for a suitable range of q values, the global observable S_2 exhibits "critical speeding-up": it decorrelates well on time scales much less than one sweep, so that the integrated autocorrelation time tends to zero as the critical point is approached. We also show that the dynamic critical exponent z_{exp} is very close (possibly equal) to the rigorous lower bound α/ν, and quite possibly smaller than the corresponding exponent for the Chayes-Machta-Swendsen-Wang cluster dynamics.
△ Less
Submitted 5 January, 2007;
originally announced January 2007.
-
Ferromagnetic phase transition for the spanning-forest model (q \to 0 limit of the Potts model) in three or more dimensions
Authors:
Youjin Deng,
Timothy M. Garoni,
Alan D. Sokal
Abstract:
We present Monte Carlo simulations of the spanning-forest model (q \to 0 limit of the ferromagnetic Potts model) in spatial dimensions d=3,4,5. We show that, in contrast to the two-dimensional case, the model has a "ferromagnetic" second-order phase transition at a finite positive value w_c. We present numerical estimates of w_c and of the thermal and magnetic critical exponents. We conjecture t…
▽ More
We present Monte Carlo simulations of the spanning-forest model (q \to 0 limit of the ferromagnetic Potts model) in spatial dimensions d=3,4,5. We show that, in contrast to the two-dimensional case, the model has a "ferromagnetic" second-order phase transition at a finite positive value w_c. We present numerical estimates of w_c and of the thermal and magnetic critical exponents. We conjecture that the upper critical dimension is 6.
△ Less
Submitted 17 January, 2007; v1 submitted 6 October, 2006;
originally announced October 2006.
-
Cluster simulations of loop models on two-dimensional lattices
Authors:
Youjin Deng,
Timothy M. Garoni,
Wenan Guo,
Henk W. J. Blote,
Alan D. Sokal
Abstract:
We develop cluster algorithms for a broad class of loop models on two-dimensional lattices, including several standard O(n) loop models at n \ge 1. We show that our algorithm has little or no critical slowing-down when 1 \le n \le 2. We use this algorithm to investigate the honeycomb-lattice O(n) loop model, for which we determine several new critical exponents, and a square-lattice O(n) loop mo…
▽ More
We develop cluster algorithms for a broad class of loop models on two-dimensional lattices, including several standard O(n) loop models at n \ge 1. We show that our algorithm has little or no critical slowing-down when 1 \le n \le 2. We use this algorithm to investigate the honeycomb-lattice O(n) loop model, for which we determine several new critical exponents, and a square-lattice O(n) loop model, for which we obtain new information on the phase diagram.
△ Less
Submitted 21 March, 2007; v1 submitted 21 August, 2006;
originally announced August 2006.
-
Asymptotic corrections to the eigenvalue density of the GUE and LUE
Authors:
T. M. Garoni,
P. J. Forrester,
N. E. Frankel
Abstract:
We obtain correction terms to the large N asymptotic expansions of the eigenvalue density for the Gaussian unitary and Laguerre unitary ensembles of random N by N matrices, both in the bulk of the spectrum and near the spectral edge. This is achieved by using the well known orthogonal polynomial expression for the kernel to construct a double contour integral representation for the density, to w…
▽ More
We obtain correction terms to the large N asymptotic expansions of the eigenvalue density for the Gaussian unitary and Laguerre unitary ensembles of random N by N matrices, both in the bulk of the spectrum and near the spectral edge. This is achieved by using the well known orthogonal polynomial expression for the kernel to construct a double contour integral representation for the density, to which we apply the saddle point method. The main correction to the bulk density is oscillatory in N and depends on the distribution function of the limiting density, while the corrections to the Airy kernel at the soft edge are again expressed in terms of the Airy function and its first derivative. We demonstrate numerically that these expansions are very accurate. A matching is exhibited between the asymptotic expansion of the bulk density, expanded about the edge, and the asymptotic expansion of the edge density, expanded into the bulk.
△ Less
Submitted 16 April, 2005;
originally announced April 2005.
-
Random matrix averages and the impenetrable Bose gas in Dirichlet and Neumann boundary conditions
Authors:
P. J. Forrester,
N. E. Frankel,
T. M. Garoni
Abstract:
The density matrix for the impenetrable Bose gas in Dirichlet and Neumann boundary conditions can be written in terms of $<\prod_{l=1}^n| \cosφ_1-\cosθ_l|
|\cosφ_2-\cosθ_l|>$, where the average is with respect to the eigenvalue probability density function for random unitary matrices from the classical groups $Sp(n)$ and $O^+(2n)$ respectively. In the large $n$ limit log-gas considerations imp…
▽ More
The density matrix for the impenetrable Bose gas in Dirichlet and Neumann boundary conditions can be written in terms of $<\prod_{l=1}^n| \cosφ_1-\cosθ_l|
|\cosφ_2-\cosθ_l|>$, where the average is with respect to the eigenvalue probability density function for random unitary matrices from the classical groups $Sp(n)$ and $O^+(2n)$ respectively. In the large $n$ limit log-gas considerations imply that the average factorizes into the product of averages of the form $<\prod_{l=1}^n|\cosφ-\cosθ_l>$. By changing variables this average in turn is a special case of the function of $t$ obtained by averaging $\prod_{l=1}^n| t-x_l|^{2q}$ over the Jacobi unitary ensemble from random matrix theory. The latter task is accomplished by a duality formula from the theory of Selberg correlation integrals, and the large $n$ asymptotic form is obtained. The corresponding large $n$ asymptotic form of the density matrix is used, via the exact solution of a particular integral equation, to compute the asymptotic form of the low lying effective single particle states and their occupations, which are proportional to $\sqrt{N}$.
△ Less
Submitted 21 May, 2003; v1 submitted 30 January, 2003;
originally announced January 2003.
-
Finite one dimensional impenetrable Bose systems: Occupation numbers
Authors:
P. J. Forrester,
N. E. Frankel,
T. M. Garoni,
N. S. Witte
Abstract:
Bosons in the form of ultra cold alkali atoms can be confined to a one dimensional (1d) domain by the use of harmonic traps. This motivates the study of the ground state occupations $λ_i$ of effective single particle states $φ_i$, in the theoretical 1d impenetrable Bose gas. Both the system on a circle and the harmonically trapped system are considered. The $λ_i$ and $φ_i$ are the eigenvalues an…
▽ More
Bosons in the form of ultra cold alkali atoms can be confined to a one dimensional (1d) domain by the use of harmonic traps. This motivates the study of the ground state occupations $λ_i$ of effective single particle states $φ_i$, in the theoretical 1d impenetrable Bose gas. Both the system on a circle and the harmonically trapped system are considered. The $λ_i$ and $φ_i$ are the eigenvalues and eigenfunctions respectively of the one body density matrix. We present a detailed numerical and analytic study of this problem. Our main results are the explicit scaled forms of the density matrices, from which it is deduced that for fixed $i$ the occupations $λ_i$ are asymptotically proportional to $\sqrt{N}$ in both the circular and harmonically trapped cases.
△ Less
Submitted 6 November, 2002;
originally announced November 2002.
-
Painlevé transcendent evaluations of finite system density matrices for 1d impenetrable Bosons
Authors:
P. J. Forrester,
N. E. Frankel,
T. M. Garoni,
N. S. Witte
Abstract:
The recent experimental realisation of a one-dimensional Bose gas of ultra cold alkali atoms has renewed attention on the theoretical properties of the impenetrable Bose gas. Of primary concern is the ground state occupation of effective single particle states in the finite system, and thus the tendency for Bose-Einstein condensation. This requires the computation of the density matrix. For the…
▽ More
The recent experimental realisation of a one-dimensional Bose gas of ultra cold alkali atoms has renewed attention on the theoretical properties of the impenetrable Bose gas. Of primary concern is the ground state occupation of effective single particle states in the finite system, and thus the tendency for Bose-Einstein condensation. This requires the computation of the density matrix. For the impenetrable Bose gas on a circle we evaluate the density matrix in terms of a particular Painlevé VI transcendent in $σ$-form, and furthermore show that the density matrix satisfies a recurrence relation in the number of particles. For the impenetrable Bose gas in a harmonic trap, and with Dirichlet or Neumann boundary conditions, we give a determinant form for the density matrix, a form as an average over the eigenvalues of an ensemble of random matrices, and in special cases an evaluation in terms of a transcendent related to Painlevé V and VI. We discuss how our results can be used to compute the ground state occupations.
△ Less
Submitted 26 January, 2003; v1 submitted 1 July, 2002;
originally announced July 2002.
