Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Generalized linear model wikipedia , lookup
Natural computing wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Lattice Boltzmann methods wikipedia , lookup
Particle filter wikipedia , lookup
Hardware random number generator wikipedia , lookup
Theoretical ecology wikipedia , lookup
Brownian motion wikipedia , lookup
Evolving digital ecological networks wikipedia , lookup
Proceedings of the International Congress of Mathematicians Vancouver, 1974 Random Time Evolution of Infinite Particle Systems Frank Spitzer This is an outline of progress in thisfieldduring the last four-year period, which was largely the result of major developments in equilibrium statistical mechanics during the preceding four-year period. A detailed version of this outline will appear in [27]. 1. In 1968 ([2], [3]), Dobru§in introduced the notions of an infinite Gibbs state (IGS) and of a Markov random field (MRF), and showed that a MRF is a natural generalization of a stationary Markov process. Somewhat later [(1], [23], [22], [6]), it was realized that every MRF is an IGS with nearest neighbor potential, and vice versa. 2. In 1969, Lanford and Ruelle [15] independently defined IGS and proved a variational characterization analogous to the classical one for finite Gibbs states. 3. The year 1970 saw the first time evolutions which have a given MRF or IGS as equilibrium state. These were on one hand birth and death, or spin flip, evolutions [4], already studied in one dimension by Glauber [5]. On the other hand, time evolutions which preserve the number of particles were proposed in [24]. 4. Rigorous existence proofs of such time evolutions as Markovian Feller semigroups Tt91 ^ 0, acting on the continuous function space C{0)9 where Q = {0,1 }z" is the configuration space, were given during 1971 and 1972 by Dobrusin [4], Harris [7], Holley [9], Liggett [16]. Such a semigroup is ergodic if there exists a probability measure v o n ö such that p Tt => v for all//. Then v is the unique equilibrium state. 5. Dobruâin [4] showed that a birth and death evolution with strictly positive © 1975, Canadian Mathematical Congress 169 170 FRANK SPITZER rates is ergodic if the interaction (dependence of rates on neighboring sites) is weak. The case of zero birth rate when all neighboring sites are vacant was studied by Harris [8], who proved ergodicity when the death rates are sufficiently small, nonergodicity in the contrary case. Holley [10], [11], [12], [13] obtained deep and detailed results when the birth rates are such that the equilibrium states are the equilibrium states for the Ising model. Thus he shows that Tt is nonergodic exactly when the corresponding Ising model exhibits phase transition. The reason one obtains a complete theory in this case was clarified [25], [21] by showing that Tt acts time reversibly in an equilibrium state exactly when the equilibrium state is a MRF (equilibrum state for the Ising model). A surprising irreversible case (the voter model) was recently (1974) completely analyzed by Holley and Liggett [14]. 6. The jump processes with constant speed and exclusion have been completely analyzed [17], [26], [18] in the case when the transition function P{x9y) is symmetric. When P is recurrent or a random walk transition function, then the only equilibrium states are the exchangeable measures (convex combinations of Bernoulli product measures). When P is unsymmetric, recent work of Liggett [19], [20] suggests interesting conjectures. Bibliography 1. M. B. Averintsev (1970), On a method of describing discrete parameter randomfields,Problemy Peredaci Informacii 6,100-109. (Russian) 2. R. L. Dobrusin (1968), Description of a randomfieldby means of conditional probabilities and conditions for its regularity, Teor. Verojatnost. i Primenen. 13,201-229 = Theor. Probability Appi. 13, 197-224. MR 37 #6989. 3. (1968), Gibbsian randomfieldsfor lattice systems withpairwise interactions, Funkcional. Anal, i Prilozen. 2, no. 4,31-43 = Functional AnaL Appi. 2,292-301. MR 40 # 3862. 4. (1971), Markov processes with a large number of locally interacting components, Problemy Peredaöi Informacii 7,70-87. (Russian) 5. R. Glauber (1963), The statistics of the stochastic Ising model, J. Mathematical Phys. 4, 294307. 6. R. G. Grimmett (1973), A theorem about randomfields,Bull. London Math. Soc. 5,81-84. 7. T. E. Harris (1972), Nearest-neighbor Markov interaction processes on multidimensional lattices, Advances in Math. 9,66-89. MR 46 # 6512. 8. (1974), Contact interactions on a lattice (to appear). 9. R. Holley (1972), Markovian interaction processes withfiniterange interactions, Ann. Math. Statist. 43, 1961-1967. 10. (1971), Free energy in a Markovian model of a lattice spin system, Comm. Math. Phys. 23, 87-99. MR 45 #1535. 11. (1972), An ergodic theorem for interacting systems with attractive interactions, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 24,325-334. 12. (1974), Some remarks on the FKG inequality, Comm. Math. Phys. 36, 227-231. 13. (1974), Recent results on the stochastic Ising model, Rocky Mountain J. Math. 4, 479-496. 14. R. Holley and T. Liggett (1974), Ergodic theorems for weakly interacting infinite systems and the voter model, Ann. Probability (to appear). 15. O. E. Lanford, and D. Ruelle (1969), Observables at infinity and states with short range correlations in statistical mechanics, Comm. Math. Phys. 13,194-215. MR 41 # 1343. RANDOM TIME EVOLUTION OF PARTICLE SYSTEMS 171 16. T, M. Liggett (1972), Existence theorems for infinite particle systems, Trans. Amer. Math. Soc. 165,471-481. MR 46 # 8328. 17. (1973), A characterization of the invariant measures for an infinite particle system with interactions, Trans. Amer. Math. Soc. 179,433-453. 18. (1974), A characterization of the invariant measures for an infinite particle system with interactions. II, Trans, Amer. Math. Soc. 198,207-213. 19. (1974), Convergence to total occupancy in an infinite particle system with interactions (to appear). 20. (1974), Ergodic theorems for the asymmetric simple exclusion process, Trans. Amer. Math. Soc. (to appear). 21. K. Logan (1974), Time reversible evolutions in statistical mechanics, Illinois J. Math, (to appear). 22. C. Preston (1974), Gibbs states on countable sets, Cambridge Univ. Press, New York. 23. F. Spitzer (1971), Markov random fields and Gibbs ensembles, Amer. Math. Monthly 78, 142-154. MR 43 #2773. 24. , (1970), Interaction of Markov processes, Advances in Math. 5, 246-290. MR 42 #3856. 25. (1974), École d'été à St. Flour, Lecture Notes in Math., vol. 390, Springer-Verlag, New York. 26. (1974), Recurrent random walk of an infinite particle system, Trans. Amer. Math. Soc. 198, 191-199. 27. (1975), Random time evolution of infinite particle systems, Advances in Math. CORNELL UNIVERSITY ITHACA, NEW YORK 14850, U.S.A.