Journal of Statistical Physics

, Volume 164, Issue 5, pp 1082–1102 | Cite as

The Worm Process for the Ising Model is Rapidly Mixing

  • Andrea Collevecchio
  • Timothy M. Garoni
  • Timothy Hyndman
  • Daniel Tokarev
Article
  • 113 Downloads

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.

Keywords

Markov chain Mixing time Ising model Worm algorithm 

Mathematics Subject Classification

82B20 82B80 60J10 

Notes

Acknowledgments

The authors wish to gratefully acknowledge the contributions of Greg Markowsky to the early stages of this project, and to also thank Eren Metin Elçi, Catherine Greenhill and Alan Sokal for insightful comments on an earlier draft. T.G. also gratefully acknowledges discussions of the worm process with many colleagues, particularly Youjin Deng, Catherine Greenhill, Alan Sokal, Boris Svistunov and Ulli Wolff. This work was supported under the Australian Research Council’s Discovery Projects funding scheme (Project Numbers DP140100559 & DP110101141), and T.G. is the recipient of an Australian Research Council Future Fellowship (Project Number FT100100494). A.C. would like to thank STREP project MATHEMACS.

References

  1. 1.
    Aldous, D., Fill, J.A.: Reversible Markov Chains and Random Walks on Graphs. https://www.stat.berkeley.edu/~aldous/RWG/book.html (2014)
  2. 2.
    Berche, B., Chatelain, C., Dhall, C., Kenna, R., Low, R., Walter, J.C.: Extended scaling in high dimensions. J. Stat. Mech. Theory Exp. 2008, P11010 (2008)CrossRefGoogle Scholar
  3. 3.
    Bulatov, A., Grohe, M.: The complexity of partition functions. Theor. Comput. Sci. 348, 148–186 (2005)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Burovski, E., Machta, J., Prokof’ev, N., Svistunov, B.: High-precision measurement of the thermal exponent for the three-dimensional \(XY\) universality class. Phys. Rev. B 74, 132502 (2006)ADSCrossRefGoogle Scholar
  5. 5.
    Thompson, C.J.: Mathematical Statistical Mechanics. Princeton University Press, Princeton (1979)MATHGoogle Scholar
  6. 6.
    Cesi, F., Guadagni, G., Martinelli, F., Schonmann, R.H.: On the two-dimensional stochastic ising model in the phase coexistence region near the critical point. J. Stat. Phys. 85, 55–102 (1996)ADSMathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Cooper, C., Dyer, M.E., Frieze, A.M., Rue, R.: Mixing properties of the Swendsen–Wang process on the complete graph and narrow grids. J. Math. Phys. 41, 1499–1527 (2000)ADSMathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Cooper, C., Frieze, A.: Mixing properties of the Swendsen–Wang process on classes of graphs. Random Struct. Algorithms 15, 242–261 (1999)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Deng, Y., Garoni, T.M., Sokal, A.D.: Dynamic critical behavior of the Worm algorithm for the Ising model. Phys. Rev. Lett. 99, 110601 (2007)ADSCrossRefGoogle Scholar
  10. 10.
    Diaconis, P., Stroock, D.: Geometric bounds for eigenvalues of Markov chains. Ann. Appl. Probab. 1, 36–61 (1991)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Diestel, R.: Graph Theory. Springer, New York (2005)MATHGoogle Scholar
  12. 12.
    Ding, J., Lubetzky, E., Peres, Y.: The mixing time evolution of Glauber dynamics for the mean-field Ising model. Commun. Math. Phys. 289, 725–764 (2009)ADSMathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Drake, M., Machta, J., Deng, Y., Abraham, D., Newman, C.: Computational study of a multistep height model. Phys. Rev. E 85, 061104 (2012)ADSCrossRefGoogle Scholar
  14. 14.
    Dyer, M., Greenhill, C.: The complexity of counting graph homomorphisms. Random Struct. Algorithms 17, 260–289 (2000)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Edwards, R.G., Sokal, A.D.: Generalization of the Fortuin–Kasteleyn–Swendsen–Wang representation and Monte Carlo algorithm. Phys. Rev. D 38, 2009–2012 (1988)ADSMathSciNetCrossRefGoogle Scholar
  16. 16.
    Fortuin, C.M., Kasteleyn, P.W.: On the random-cluster model I. Introduction and relation to other models. Physica 57, 536–564 (1972)ADSMathSciNetCrossRefGoogle Scholar
  17. 17.
    Gerschenfeld, A., Montanari, A.: Reconstruction for Models on Random Graphs. In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS’07), pp. 194–204. IEEE (2007)Google Scholar
  18. 18.
    Gillman, D.: A Chernoff bound for random walks on expander graphs. SIAM J. Comput. 27, 1203–1220 (1998)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Grimmett, G.: The Random-Cluster Model. Springer, New York (2006)CrossRefMATHGoogle Scholar
  20. 20.
    Hitchcock, P., Sørensen, E.S., Alet, F.: Dual geometric worm algorithm for two-dimensional discrete classical lattice models. Phys. Rev. E 70, 016702 (2004)ADSCrossRefGoogle Scholar
  21. 21.
    Janke, W., Neuhaus, T., Schakel, A.M.J.: Critical loop gases and the worm algorithm. Nucl. Phys. B 829, 573–599 (2010)ADSMathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Jerrum, M.: Counting, Sampling and Integrating: Algorithms and Complexity. Birkhauser, Basel (2003)CrossRefMATHGoogle Scholar
  23. 23.
    Jerrum, M., Sinclair, A.: Approximating the permanent. SIAM J. Comput. 18, 1149–1178 (1989)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Jerrum, M., Sinclair, A.: Polynomial-time approximation algorithms for the Ising model. SIAM J. Comput. 22, 1087–1116 (1993)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Jerrum, M., Sinclair, A., Vigoda, E.: A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries. J. ACM 51, 671–697 (2004)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Jerrum, M.R., Valiant, L.G., Vazirani, V.V.: Random generation of combinatorial structures from a uniform distribution. Theor. Comput. Sci. 43, 169–188 (1986)MathSciNetCrossRefMATHGoogle Scholar
  27. 27.
    Karp, R.M., Luby, M.: Monte-Carlo approximation algorithms for enumeration problems. J. Algorithms 10, 429–448 (1989)MathSciNetCrossRefMATHGoogle Scholar
  28. 28.
    Korzec, T., Vierhaus, I., Wolff, U.: Performance of a worm algorithm in \(\phi ^4\) theory at finite quartic coupling. Comput. Phys. Commun. 182, 1477–1480 (2011)ADSMathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Korzec, T., Wolff, U.: Simulating the all-order strong coupling expansion V: Ising gauge theory. Nucl. Phys. B 871, 145–163 (2013)ADSMathSciNetCrossRefMATHGoogle Scholar
  30. 30.
    Levin, D.A., Peres, Y., Wilmer, E.L.: Markov Chains and Mixing Times. American Mathematical Society, Providence (2009)MATHGoogle Scholar
  31. 31.
    Lezaud, P.: Chernoff-type bound for finite Markov chains. Ann. Appl. Probab. 8, 849–867 (1998)MathSciNetCrossRefMATHGoogle Scholar
  32. 32.
    Long, Y., Nachmias, A., Ning, W., Peres, Y.: A Power Law of Order 1/4 for Critical Mean-field Swendsen–Wang Dynamics. American Mathematical Society, Providence (2014)MATHGoogle Scholar
  33. 33.
    Lubetzky, E., Sly, A.: Critical Ising on the square lattice mixes in polynomial time. Commun. Math. Phys. 313, 815–836 (2012)ADSMathSciNetCrossRefMATHGoogle Scholar
  34. 34.
    Martinelli, F.: Lectures on Probability Theory and Statistics: Ecole d’Ete de Probabilites de Saint-Flour XXVII - 1997, chap. Lectures on Glauber Dynamics for Discrete Spin Models, pp. 96–191. Springer, Berlin (1999)Google Scholar
  35. 35.
    Martinelli, F., Olivieri, E.: Approach to equilibrium of Glauber dynamics in the one phase region. Commun. Math. Phys. 161, 447–486 (1994)ADSMathSciNetCrossRefMATHGoogle Scholar
  36. 36.
    Mossel, E., Sly, A.: Exact thresholds for Ising–Gibbs samplers on general graphs. Ann. Probab. 41, 294–328 (2013)MathSciNetCrossRefMATHGoogle Scholar
  37. 37.
    Niemiro, W., Pokarowski, P.: Fixed precision MCMC estimation by median of products of averages. J. Appl. Probab. 46, 309–329 (2009)MathSciNetCrossRefMATHGoogle Scholar
  38. 38.
    Prokof’ev, N., Svistunov, B.V., Tupitsyn, T.S.: “Worm” algorithm in quantum Monte Carlo simulations. Phys. Lett. A 238, 253–257 (1998)ADSMathSciNetCrossRefMATHGoogle Scholar
  39. 39.
    Prokof’ev, N., Svistunov, B.: Worm algorithms for classical statistical models. Phys. Rev. Lett. 87, 160601 (2001)ADSCrossRefGoogle Scholar
  40. 40.
    Randall, D., Wilson, D.: Sampling spin configurations of an Ising system. In: th Symposium on Discrete Algorithms SODA, pp. 959–960. Society for Industrial and Applied Mathematics (1999)Google Scholar
  41. 41.
    Schweinsberg, J.: An \(O(n^2)\) bound for the relaxation time of a Markov chain on cladograms. Random Struct. Algorithms 20, 59–70 (2002)MathSciNetCrossRefMATHGoogle Scholar
  42. 42.
    Sinclair, A.: Improved bounds for mixing rates of Markov Chains and multicommodity flow. Comb. Probab. Comput. 1, 351–370 (1992)MathSciNetCrossRefMATHGoogle Scholar
  43. 43.
    Sinclair, A., Srivastava, P.: Lee–Yang Theorems and the complexity of computing averages. Commun. Math. Phys. 329, 827–858 (2014)ADSMathSciNetCrossRefMATHGoogle Scholar
  44. 44.
    Sinclair, A.B., Alistair: Random-Cluster Dynamics in \(\mathbb{Z}^2\). In: Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 498–513 (2016)Google Scholar
  45. 45.
    Sweeny, M.: Monte Carlo study of weighted percolation clusters relevant to the Potts models. Phys. Rev. B 27, 4445–4455 (1983)ADSCrossRefGoogle Scholar
  46. 46.
    Swendsen, R.H., Wang, J.S.: Nonuniversal critical dynamics in Monte Carlo simulation. Phys. Rev. Lett. 58, 86–88 (1987)ADSCrossRefGoogle Scholar
  47. 47.
    Ullrich, M.: Comparison of Swendsen–Wang and heat-bath dynamics. Random Struct. Algorithms 42, 520–535 (2012)MathSciNetCrossRefMATHGoogle Scholar
  48. 48.
    Ullrich, M.: Rapid mixing of Swendsen–Wang dynamics in two dimensions. Ph.D. thesis, Friedrich Schiller University of Jena (2012)Google Scholar
  49. 49.
    Ullrich, M.: Swendsen–Wang is faster than single-bond dynamics. SIAM J. Discrete Math. 28, 37–48 (2014)MathSciNetCrossRefMATHGoogle Scholar
  50. 50.
    Vazirani, V.: Approximation Algorithms. Springer, Berlin (2001)MATHGoogle Scholar
  51. 51.
    Walter, J.C., Barkema, G.T.: An introduction to Monte Carlo method. Phys. A 418, 78–87 (2015)CrossRefGoogle Scholar
  52. 52.
    Wang, J.S.: Worm algorithm for two-dimensional spin glasses. Phys. Rev. E 72, 036706 (2005)ADSCrossRefGoogle Scholar
  53. 53.
    Winter, F., Janke, W., Schakel, A.: Geometric properties of the three-dimensional Ising and \(XY\) models. Phys. Rev. E 77, 061108 (2008)ADSCrossRefGoogle Scholar
  54. 54.
    Wolff, U.: Precision check on the triviality of the \(\phi ^4\) theory by a new simulation method. Phys. Rev. D 79, 105002 (2009)ADSCrossRefGoogle Scholar
  55. 55.
    Wolff, U.: Simulating the all-order hopping expansion II: Wilson fermions. Nucl. Phys. B 814, 549–572 (2009)ADSCrossRefMATHGoogle Scholar
  56. 56.
    Wolff, U.: Simulating the all-order strong coupling expansion I: Ising model demo. Nucl. Phys. B 810, 491–502 (2009)ADSCrossRefMATHGoogle Scholar
  57. 57.
    Wolff, U.: Simulating the all-order strong coupling expansion III: \(O(N)\) sigma/loop models. Nucl. Phys. B 824, 254–272 (2010)ADSMathSciNetCrossRefMATHGoogle Scholar
  58. 58.
    Wolff, U.: Simulating the all-order strong coupling expansion IV: \(CP(N-1)\) as a loop model. Nucl. Phys. B 832, 520–537 (2010)ADSCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  • Andrea Collevecchio
    • 1
  • Timothy M. Garoni
    • 2
  • Timothy Hyndman
    • 1
    • 3
  • Daniel Tokarev
    • 1
  1. 1.School of Mathematical SciencesMonash UniversityClaytonAustralia
  2. 2.ARC Centre of Excellence for Mathematical and Statistical Frontiers (ACEMS), School of Mathematical SciencesMonash UniversityClaytonAustralia
  3. 3.ARC Centre of Excellence for Mathematical and Statistical Frontiers (ACEMS), School of Mathematics and StatisticsUniversity of MelbourneParkvilleAustralia

Personalised recommendations