Source: Ann. Probab. Volume 29, Number 2
(2001), 902-937.
We present a probabilistic approach for the study of systems with
exclusions in the regime traditionally studied via cluster-expansion methods.
In this paper we focus on its application for the gases of Peierls contours
found in the study of the Ising model at low temperatures, but most of the
results are general. We realize the equilibrium measure as the invariant
measure of a loss network process whose existence is ensured by a
subcriticality condition of a dominant branching process. In this regime the
approach yields, besides existence and uniqueness of the measure, properties
such as exponential space convergence and mixing, and a central limit theorem.
The loss network converges exponentially fast to the equilibrium measure,
without metastable traps. This convergence is faster at low temperatures, where
it leads to the proof of an asymptotic Poisson distribution of contours. Our
results on the mixing properties of the measure are comparable to those
obtained with “duplicated-variables expansion,” used to treat
systems with disorder and coupled map lattices. It works in a larger region of
validity than usual cluster-expansion formalisms, and it is not tied to the
analyticity of the pressure. In fact, it does not lead to any kind of expansion
for the latter, and the properties of the equilibrium measure are obtained
without resorting to combinatorial or complex analysis techniques.
References
Athreya, K. B. and Ney, P. E. (1972). Branching Processes. Springer, New York.
Baddeley, A. J. and van Lieshout, M. N. M. (1995). Area-interaction point processes. Ann. Inst. Statist. Math. 47 601-619.
Bolthausen, E. (1982). On the central limit theorem for stationary mixing random fields. Ann. Probab. 10 1047-1050.
Borgs, C. and Imbrie, J.(1989). A unified approach to phase diagrams in field theory and statistical mechanics. Comm. Math. Phys. 123 305-328.
Bricmont, J. and Kupiainen, A. (1996). High temperature expansions and dynamical systems. Comm. Math. Phys. 178 703-732.
Bricmont, J. and Kupiainen, A. (1997). Infinite-dimensional SRB measures: lattice dynamics. Phys. D 103 18-33.
Brockmeyer, E., Halstrøm, H. L. and Jensen, A. (1948). The life and works of A. K. Erlang. Trans. Danish Acad. Tech. Sci.; second, unaltered, edition in Acta Polytech. Scand. 287
Brydges, D. C. (1984). A short cluster in cluster expansions. In Critical Phenomena, Random Systems, Gauge Theories (K. Osterwalder and R. Stora, eds.) 129-183. North-Holland, Amsterdam.
Mathematical Reviews (MathSciNet):
MR880525
Dobrushin, R. L. (1965). Existence of a phase transition in the two-dimensional and threedimensional Ising models. Theory Probab. Appl. 10 193-213. [Russian original: Soviet Phys. Dok. 10 111-113.] Dobrushin, R. L. (1996a). Estimates of semiinvariants for the Ising model at low temperatures. Topics in Statistics and Theoretical Physics. Amer. Math. Soc. Transl. Ser. 2 177 59-81. Dobrushin, R. L. (1996b). Perturbation methods of the theory of Gibbsian fields. ´Ecole d' ´Et´e de Probabilit´es de Saint-Flour XXIV. Lecture Notes in Math. 1648 1-66. Springer, New York.
von Dreifus, H., Klein, A. and Perez, J. F. (1995). Taming Griffiths' singularities: infinite differentiability of quenched correlation functions. Comm. Math. Phys. 170 21-39.
Durrett, R. (1995). Ten lectures on particle systems. Lectures on Probability Theory 97-201. Springer, Berlin.
Fern´andez, R., Ferrari, P. A. and Garcia, N. (1998). Measures on contour, polymer or animal models: a probabilistic approach. Markov Process. Related Fields 4 479-497.
Fern´andez, R., Ferrari, P. A. and Garcia, N. (1999). Perfect simulation of fixed-routing loss networks: application to the low-temperature Ising model. Unpublished manuscript.
Ferrari, P. A. and Garcia, N. (1998). One-dimensional loss networks and conditioned M/G/ queues. J. Appl. Probab. 35 963-975.
Griffiths, R. B. (1964). Peierls' proof of spontaneous magnetization in a two dimensional Ising ferromagnet. Phys. Rev. A 136 437-439.
Hall, P. (1985). On continuum percolation. Ann. Probab. 13 1250-1266.
Mathematical Reviews (MathSciNet):
MR806222
Hall, P. (1988). Introduction to the Theory of Coverage Processes. Wiley, New York.
Mathematical Reviews (MathSciNet):
MR973404
Harris, T. E. (1963). The theory of branching processes. Grundlehren Math. Wiss. 119.
Mathematical Reviews (MathSciNet):
MR163361
Harris, T. E. (1972). Nearest-neighbor Markov interaction processes on multidimensional lattices. Adv. in Math. 9 66-89.
Mathematical Reviews (MathSciNet):
MR307392
Kelly, F. P. (1991). Loss networks. Ann. Appl. Probab. 1 319-378.
Kendall, W. S. (1997). On some weighted Boolean models. In Proceedings of the International Symposium on Advances in Theory and Applications of Random Sets 105-120. World Scientific, River Edge, NJ.
Kendall, W. S. (1998). Perfect simulation for the area-interaction point process. In Probability Towards 2000 218-234. Springer, New York.
Koteck´y, R. and Preiss, D. (1986). Cluster expansion for abstract polymer models. Comm. Math. Phys. 103 491-498.
Liggett, T. M. (1985). Interacting Particle Systems. Springer, New York.
Liggett, T. M. (1995). Improved upper bounds for the contact process critical value. Ann. Probab. 23 697-723.
Malyshev, V. A. (1980). Cluster expansions in lattice models of statistical physics and quantum theory of fields. Russian Math. Surveys 35 1-62.
Mathematical Reviews (MathSciNet):
MR571645
Neveu, J. (1977). Processus ponctuels. In ´Ecole d' ´Et´e de Probabilit´es de Saint-Flour VI. Lecture Notes in Math. 598. 249-445. Springer, Berlin.
Peierls, R. (1936). On Ising's model of ferromagnetism. Math. Proc. Cambridge Philos. Soc. 32 477-481.
Seiler, E. (1982). Gauge Theories as a Problem of Constructive Quantum Field Theory and Statistical Mechanics. Lecture Notes in Phys. 159. Springer, Berlin.
Zahradn´ik, E. (1984). An alternate version of Pirogov-Sinai theory. Comm. Math. Phys. 93 559-5581.
IMECC, UNICAMP Caixa Postal 6065 13081-970 Campinas SP Brazil E-mail: nancy@ime.unicamp.br