The repulsive lattice gas, the independent-set polynomial, and the lovász local lemma

Journal of Statistical Physics

Volumn 118, Issue 5-6, 2005, Pages 1151-1261

  Scott, Alexander D ^a   Sokal, Alan D ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b POLYTECHNIC UNIVERSITY   (United States)

Author keywords

Cluster expansion; Graph; Hard core interaction; Independent set polynomial; Lattice gas; Lov sz local lemma; Mayer expansion; Polymer expansion; Probabilistic method

Indexed keywords

EID: 17544380550     PISSN: 00224715     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10955-004-2055-4     Document Type: Article

References (117)

1. M. Aigner, Combinatorial Theory, Grundlehren der mathematischen Wissenschaften #234 (Springer-Verlag, Berlin-New York, 1979).
2. N. Alon and J. Spencer, The Probabilistic Method, 2nd ed. (Wiley, New York, 2000).
3. N. Alon, A parallel algorithmic version of the local lemma, Random Struct. Algorithms 2:367-378 (1991).
4. J. L. Arocha, Propiedades del polinomio independiente de un grafo, Revista Ciencias Matemáticas [Cuba] 5:103-110 (1984).
5. d have no Herman rings, Proc. Am. Math. Soc. 127:633-636 (1999).
6. R. J. Baxter, Rogers-Ramanujan identities in the hard hexagon model, J. Statist. Phys. 26:427-452 (1981).
7. R. J. Baxter, Exactly Solved Models in Statistical Mechanics (Academic Press, London-New York, 1982).
8. J. Beck, An algorithmic approach to the Lovász local lemma, I, Random Struct. Algorithms 2:343-365 (1991).
9. J. Bellissard and R. Høegh-Krohn, Compactness and the maximal Gibbs state for random Gibbs fields on a lattice, Commun. Math. Phys. 84:297-327 (1982).
10. S. Beraha, J. Kahane, and N. J. Weiss, Limits of zeroes of recursively defined families of polynomials, in Studies in Foundations and Combinatorics (Advances in Mathematics Supplementary Studies, Vol. 1), G.-C. Rota, ed. (Academic Press, New York, 1978), pp. 213-232.
11. C. A. Berenstein and R. Gay, Complex Variables: An Introduction (Springer-Verlag, New York, 1991).
12. J. van den Berg and J. E. Steif, Percolation and the hard-core lattice gas model, Stoch. Proc. Appl. 49:179-197 (1994).
13. F. Bergeron, G. Labelle, and P. Leroux, Combinatorial Species and Tree-Like Structures (Cambridge University Press, Cambridge-New York, 1998).
14. N. L. Biggs, Interaction Models, London Mathematical Society Lecture Note Series #30 (Cambridge University Press, Cambridge, 1977).
15. N. Biggs, Algebraic Graph Theory, 2nd ed. (Cambridge University Press, Cambridge-New York, 1993).
16. P. Billingsley, Probability and Measure, 2nd ed. (Wiley, New York, 1986).
17. A. Björner, The homology and shellability of matroids and geometric lattices, in Matroid Applications, N. White, ed. (Encyclopedia of Mathematics and its Applications #40), Chapter 7 (Cambridge University Press, Cambridge, 1992), PP. 226-283.
18. d, Ph.D. thesis, Universidad de Chile (June 1997).
19. d (ω ∈ ℝ), where d is odd, Scientia, Ser. A, Math. Sci. (N.S.) 7:7-11 (2001).
20. d, Proyecciones 21:1-7 (2002).
21. d, preprint (2000).
22. B. Bollobás, Modern Graph Theory (Springer-Verlag, New York, 1998).
23. B. Bollobás, Random Graphs, 2nd ed. (Cambridge University Press, Cambridge, 2001).
24. C. Borgs, Expansion Methods in Combinatorics, Conference Board of the Mathematical Sciences book series, preprint (2003), in press.
25. A. Bovier and M. Zahradník, A simple inductive approach to the problem of convergence of cluster expansions of polymer models, J. Statist. Phys. 100:765-778 (2000).
26. G. R. Brightwell, O. Häggström, and P. Winkler, Nonmonotonic behavior in hard-core and Widom-Rowlinson models, J. Statist. Phys. 94:415-435 (1999).
27. J. I. Brown, K. Dilcher, and R. J. Nowakowski, Roots of independence polynomials of well covered graphs, J. Algebraic Combin. 11:197-210 (2000).
28. J. I. Brown and R. J. Nowakowski, Bounding the roots of independence polynomials, ARS Combin. 58:113-120 (2001).
29. D. C. Brydges, A short course on cluster expansions, in Phénomènes Critiques, Systèmes Aléatoires, Théories de JaugelCritical Phenomena, Random Systems, Gauge Theories, K. Osterwalder and R. Stora, eds. (Les Houches summer school, Session XLIII, 1984) (Elsevier/North-Holland, Amsterdam, 1986), PP. 129-183.
30. D. C. Brydges and T. Kennedy, Mayer expansions and the Hamilton-Jacobi equation, J. Statist. Phys. 48:19-49 (1987).
31. D. C. Brydges and Ph. A. Martin, Coulomb systems at low density: A review, J. Statist. Phys. 96:1163-1330 (1999), cond-mat/9904122 at arXiv.org.
32. D. C. Brydges and J. D. Wright, Mayer expansions and the Hamilton-Jacobi equation. II. Fermions, dimensional reduction formulas. J. Statist. Phys. 51:435-456 (1988); erratum 97:1027 (1999).
33. C. Cammarota, Decay of correlations for infinite range interactions in unbounded spin systems, Commun. Math. Phys. 85:517-528 (1982).
34. Y.-B. Choe, J. G. Oxley, A. D. Sokal, and D. G. Wagner, Homogeneous multivariate polynomials with the half-plane property, Adv. Appl. Math. 32:88-187 (2004), math.CO/0202034 at arXiv.org.
35. M. Chudnovsky and P. Seymour, The roots of the stable set polynomial of a claw-free graph, preprint (February 2004).
36. R. L. Dobrushin, The problem of uniqueness of a Gibbs random field and the problem of phase transition, Funct. Anal. Appl 2:302-312 (1968).
37. R. L. Dobrushin, Estimates of semi-invariants for the Ising model at low temperatures, in Topics in Statistical and Theoretical Physics, American Mathematical Society Translations, Ser. 2, 177:59-81 (1996).
38. R. L. Dobrushin, Perturbation methods of the theory of Gibbsian fields, in Lectures on Probability Theory and Statistics, P. Bernard, ed., Ecole d'Eté de Probabilités de Saint-Flour XXIV - 1994, Lecture Notes in Mathematics #1648 (Springer-Verlag, Berlin, 1996), pp. 1-66.
39. P. Erdos and L. Lovász, Problems and results on 3-chromatic hypergraphs and some related questions, in Infinite and finite sets, Vol. II, Colloq. Math. Soc. Janos Bolyai, Vol. 10 (North-Holland, Amsterdam, 1975), pp. 609-627.
40. P. Erdos and J. Spencer, Lopsided Lovász local lemma and Latin transversals, Discrete Appl. Math. 30:151-154 (1991).
41. D. C. Fisher and J. M. Nonis, Bounds on the "growth factor" of a graph, Congr. Numer. 77:113-119 (1990).
42. D. C. Fisher and A. E. Solow, Dependence polynomials, Discrete Math. 82:251-258 (1990).
43. d, Combin. Probab. Comput. 13:137-164 (2004).
44. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, San Francisco, 1979).
45. I. M. Gessel and B. E. Sagan, The Tutte polynomial of a graph, depth-first search, and simplicial complex partitions, Electron. J. Combin. 3(2):#R9 (1996).
46. J. Ginibre, On some recent work of Dobrushin, in Systèmes à un nombre infini de degrés de liberté, Colloques Internationaux du Centre National de la Recherche Scientifique, no. 181 (Éditions du Centre National de la Recherche Scientifique, Paris, 1970), pp. 163-175.
47. J. Glimm and A. Jaffe, Quantum Physics: A Functional Integral Point of View, 2nd ed. (Springer-Verlag, New York, 1987).
48. J. Groeneveld, Two theorems on classical many-particle systems, Phys. Lett. 3:50-51 (1962).
49. R. C. Gunning, Introduction to Holomorphic Functions of Several Variables, Vol. I: Function Theory (Wadsworth & Brooks/Cole, Pacific Grove, California, 1990).
50. W. Guo and H. W. J. Blöte, Finite-size analysis of the hard-square lattice gas, Phys. Rev. E 66:046140 (2002).
51. I. Gutman, An identity for the independence polynomials of trees, Publ. Inst. Math. (Beograd) (N.S.) 50(64): 19-23 (1991).
52. I. Gutman, Independent vertex sets in some compound graphs, Publ Inst. Math. (Beograd) (N.S.) 52(66):5-9 (1992).
53. I. Gutman, Some analytical properties of the independence and matching polynomials, Match 28:139-150 (1992).
54. A. J. Guttmann, Comment on The exact location of partition function zeros, a new method for statistical mechanics', J. Phys. A: Math. Gen. 20:511-512 (1987).
55. 2 with parity-dependent activities, Ark. Mat. 35:171-184 (1997).
56. Y O. Hamidoune, On the numbers of independent k-sets in a claw free graph, J. Combin. Theory B 50:241-244 (1990).
57. O. J. Heilmann, Use of reflection as symmetry operation in connection with Peierls argument, Commun. Math. Phys. 36:91-114 (1974).
58. O. J. Heilmann and E. H. Lieb, Theory of monomer-dimer systems, Commun. Math. Phys. 25:190-232 (1972).
59. O. J. Heilmann and E. Præstgaard, Phase transition of hard hexagons on a triangular lattice, J. Stat. Phys. 9:23-44 (1973).
60. O. J. Heilmann and E. Præstgaard, Phase transition in a lattice gas with third nearest neighbour exclusion on a square lattice, J. Phys. A: Math. Gen. 7:1913-1917 (1974).
61. J. R. Heringa, H. W. J. Blöte, and E. Luijten, High-dimensional lattice gases, J. Phys. A: Math. Gen. 33:2929-2941 (2000).
62. E. Hille, Analytic Function Theory, 2nd ed. (Chelsea, New York, 1973).
63. C. Hoede and X.-L. Li, Clique polynomials and independent set polynomials of graphs, Discrete Math. 125:219-228 (1994).
64. D. G. C. Horrocks, The numbers of dependent k-sets in a graph are log concave, J. Combin. Theory B 84:180-185 (2002).
65. T. W. Hungerford, Algebra (Springer-Verlag, New York, 1974, fifth printing 1989).
66. A. Iserles, On the generalized pantograph functional-differential equation, Eur. J. Appl. Math. 4:1-38 (1993).
67. R. B. Israel, Convexity in the Theory of Lattice Gases (Princeton University Press, Princeton NJ, 1979).
68. S. Janson, New versions of Suen's correlation inequality, Random Struct. Algorithms 13:467-483 (1998).
69. J. Jonasson and J. E. Steif, Amenability and phase transition in the Ising model, J. Theoret. Probab. 12:549-559 (1999).
70. J. Kahn, An entropy approach to the hard-core model on bipartite graphs, Combin. Probab. Comput. 10:219-237 (2001).
71. J. Kahn, Entropy, independent sets and antichains: A new approach to Dedekind's problem, Proc. Am. Math. Soc. 130:371-378 (2002).
72. R. Kotecký and D. Preiss, Cluster expansion for abstract polymer models, Commun. Math. Phys. 103:491-498 (1986).
73. S. G. Krantz, Function Theory of Several Complex Variables, 2nd ed. (Wadsworth & Brooks/Cole, Pacific Grove, California, 1992).
74. H. Künsch, Almost sure entropy and the variational principle for random fields with unbounded state space, Z. Wahrsch. verw. Gebiete 58:69-85 (1981).
75. J. L. Lebowitz and E. Presutti, Statistical mechanics of systems of unbounded spins, Commun. Math. Phys. 50:195-218 (1976); erratum 78:151 (1980/81).
76. B. Ja. Levin, Distribution of Zeros of Entire Functions (American Mathematical Society, Providence, 1964).
77. V. E. Levit and E. Mandrescu, On the roots of independence polynomials of almost all very well-covered graphs, preprint (2003), math.CO/0305227 at arXiv.org.
78. L. Lovász and M. D. Plummer, Matching Theory, North-Holland Mathematics Studies #121/Annals of Discrete Mathematics #29 (North-Holland, Amsterdam-New York/Akadémiai Kiadó, Budapest, 1986).
79. W. S. Massey, Algebraic Topology: An Introduction, 4th ed. (Springer-Verlag, New York, 1990).
80. C. Merino, A. de Mier, and M. Noy, Irreducibility of the Tutte polynomial of a connected matroid, J. Combin. Theory B 83:298-304 (2001).
81. J. Milnor, On rational maps with two critical points, Exp. Math. 9:481-522 (2000).
82. S. Miracle-Solé, On the convergence of cluster expansions, Physica A 279:244-249 (2000).
83. M. Molloy and B. Reed, Graph Colouring and the Probabilistic Method (Springer-Verlag, Berlin-New York, 2002).
84. P. Montel, Leçons sur les familles normales de fonctions analytiques et leurs applications (Gauthier-Villars, Paris, 1927). Reprinted by Chelsea Publishing Co., New York, 1974.
85. G. R. Morris, A. Feldstein and E. W. Bowen, The Phragmén- Lindelöf principle and a class of functional differential equations, in Ordinary Differential Equations: 1971 NRL-MRC Conference, L. Weiss, ed. (Academic Press, New York, 1972), pp. 513-540.
86. J. G. Oxley, Matroid Theory (Oxford University Press, New York, 1992).
87. O. Penrose, Convergence of fugacity expansions for fluids and lattice gases, J. Math. Phys. 4:1312-1320 (1963).
88. O. Penrose, Convergence of fugacity expansions for classical systems, in Statistical Mechanics: Foundations and Applications, T. A. Bak, ed. (Benjamin, New York-Amsterdam, 1967), PP. 101-109.
89. A. Procacci, B. N. B. de Lima, and B. Scoppola, A remark on high temperature polymer expansion for lattice systems with infinite range pair interactions, Lett. Math. Phys. 45:303-322 (1998).
90. A. Procacci and B. Scoppola, Polymer gas approach to N-body lattice systems, J. Statist. Phys. 96:49-68 (1999).
91. A. Procacci, B. Scoppola, and V. Gerasimov, Potts model on infinite graphs and the limit of chromatic polynomials, Commun. Math. Phys. 235:215-231 (2003).
92. R. M. Range, Holomorphic Functions and Integral Representations in Several Complex Variables (Springer-Verlag, New York, 1986).
93. D. Ruelle, Probability estimates for continuous spin systems, Commun. Math. Phys. 50:189-194 (1976).
94. L. K. Runnels, Phase transition of a Bethe lattice gas of hard molecules. J. Math. Phys. 10:2081-2087 (1967).
95. L. K. Runnels, Phase transitions of hard sphere lattice gases, Commun. Math. Phys. 40:37-48 (1975).
96. J. L. Schiff, Normal Families (Springer-Verlag, New York, 1993).
97. E. G. Seiler, Gauge Theories as a Problem of Constructive Quantum Field Theory and Statistical Mechanics, Lecture Notes in Physics #159 (Springer-Verlag, Berlin-New York, 1982).
98. J. B. Shearer, On a problem of Spencer, Combinatorica 5:241-245 (1985).
99. 2 Euclidean (Quantum) Field Theory (Princeton University Press, Princeton NJ, 1974).
100. B. Simon, The Statistical Mechanics of Lattice Gases (Princeton University Press, Princeton NJ, 1993).
101. A. D. Sokal, Bounds on the complex zeros of (di)chromatic polynomials and Potts-model partition functions, Combin. Probab. Comput. 10:41-77 (2001), condmat/9904146 at arXiv.org.
102. A. D. Sokal, A personal list of unsolved problems concerning lattice gases and antiferromagnetic Potts models, Markov Process. Related Fields 7:21-38 (2001), cond-mat/0004231 at arXiv.org.
103. A. D. Sokal, Chromatic roots are dense in the whole complex plane, Combin. Probab. Comput. 13:221-261 (2004), cond-mat/0012369 at arXiv.org.
104. A. D. Sokal, Tree limit of Mayer expansion, in preparation.
105. J. Spencer, Ramsey's Theorem - a new lower bound, J. Comb. Theory A 18:108-115 (1975).
106. J. Spencer, Asymptotic lower bounds for Ramsey functions, Discrete Math. 20:69-76 (1977/78).
107. R. P. Stanley, Enumerative Combinatorics, Vol. 1 (Wadsworth & Brooks/Cole, Monterey, California, 1986). Reprinted by Cambridge University Press, 1999.
108. R. P. Stanley, Enumerative Combinatorics, Vol. 2 (Cambridge University Press, Cambridge-New York, 1999).
109. W. C. Suen, A correlation inequality and a Poisson limit theorem for nonoverlapping balanced subgraphs of a random graph, Random Struct. Algorithms 1:231-242 (1990).
110. S. Todo, Transfer-matrix study of negative-fugacity singularity of hard-core lattice gas, Int. J. Mod. Phys. C 10:517-529 (1999), cond-mat/9703176 at arXiv.org.
111. S. Todo, private communication (August 2003).
112. G. E. Uhlenbeck and G. W. Ford, The theory of linear graphs with applications to the theory of the virial development of the properties of gases, in Studies in Statistical Mechanics, Vol. I, J. de Boer and G. E. Uhlenbeck, eds. (North-Holland, Amsterdam, 1962), PP. 119-211.
113. A. C. D. van Enter, R. Fernández, and A. D. Sokal, Regularity properties and pathologies of position-space renormalization-group transformations: Scope and limitations of Gibbsian theory, J. Statist. Phys. 72:879-1167 (1993).
114. V S. Vladimirov, Methods of the Theory of Functions of Many Complex Variables (MIT Press, Cambridge, MA, 1966).
115. H. S. Wilf, generatingfunctionology, 2nd ed. (Academic Press, San Diego-London, 1994).
116. D. Williams, Probability with Martingales (Cambridge University Press, Cambridge, 1991).
117. G. M. Ziegler, Lectures on Polytopes (Springer-Verlag, New York, 1995).