-
Scaling limit of a generalized contact process
Authors:
Logan Chariker,
Anna De Masi,
Joel L. Lebowitz,
Errico Presutti
Abstract:
We derive macroscopic equations for a generalized contact process that is inspired by a neuronal integrate and fire model on the lattice $\mathbb{Z}^d$. The states at each lattice site can take values in $0,\ldots,k$. These can be interpreted as neuronal membrane potential, with the state $k$ corresponding to a firing threshold. In the terminology of the contact processes, which we shall use in th…
▽ More
We derive macroscopic equations for a generalized contact process that is inspired by a neuronal integrate and fire model on the lattice $\mathbb{Z}^d$. The states at each lattice site can take values in $0,\ldots,k$. These can be interpreted as neuronal membrane potential, with the state $k$ corresponding to a firing threshold. In the terminology of the contact processes, which we shall use in this paper, the state $k$ corresponds to the individual being infectious (all other states are noninfectious). In order to reach the firing threshold, or to become infectious, the site must progress sequentially from $0$ to $k$. The rate at which it climbs is determined by other neurons at state $k$, coupled to it through a Kac-type potential, of range $γ^{-1}$. The hydrodynamic equations are obtained in the limit $γ\rightarrow 0$. Extensions of the microscopic model to include excitatory and inhibitory neuron types, as well as other biophysical mechanisms, are also considered.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Reservoirs, Fick law and the Darken effect
Authors:
Anna De Masi,
Immacolata Merola,
Errico Presutti
Abstract:
We study the stationary measures of Ginzburg-Landau (GL) stochastic processes which describe the magnetization flux induced by the interaction with reservoirs. To privilege simplicity to generality we restrict to quadratic Hamiltonians where almost explicit formulas can be derived. We discuss the case where reservoirs are represented by boundary generators (mathematical reservoirs) and compare wit…
▽ More
We study the stationary measures of Ginzburg-Landau (GL) stochastic processes which describe the magnetization flux induced by the interaction with reservoirs. To privilege simplicity to generality we restrict to quadratic Hamiltonians where almost explicit formulas can be derived. We discuss the case where reservoirs are represented by boundary generators (mathematical reservoirs) and compare with more physical reservoirs made by large-infinite systems.
We prove the validity of the Fick law away from the boundaries.
%and the existence of boundary layers for the mathematical reservoirs. We also obtain in the context of the GL models a mathematical proof of the Darken effect which shows uphill diffusion of carbon in specimen partly doped with the addition of Si.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
Stationary states in infinite volume with non zero current
Authors:
Gioia Carinci,
Cristian Giardinà,
Errico Presutti
Abstract:
We study the Ginzburg-Landau stochastic models in infinite domains with some special geometry and prove that without the help of external forces there are stationary measures with non zero current in three or more dimensions.
We study the Ginzburg-Landau stochastic models in infinite domains with some special geometry and prove that without the help of external forces there are stationary measures with non zero current in three or more dimensions.
△ Less
Submitted 17 June, 2019; v1 submitted 14 June, 2019;
originally announced June 2019.
-
A note on Fick's law with phase transitions
Authors:
Anna De Masi,
Stefano Olla,
Errico Presutti
Abstract:
We characterize the non equilibrium stationary states in two classes of systems where phase transitions are present. We prove that the interface in the limit is a plane which separates the two phases.
We characterize the non equilibrium stationary states in two classes of systems where phase transitions are present. We prove that the interface in the limit is a plane which separates the two phases.
△ Less
Submitted 28 April, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Non local branching Brownians with annihilation and free boundary problems
Authors:
A. De Masi,
P. A. Ferrari,
E. Presutti,
N. Soprano-Loto
Abstract:
We study a system of branching Brownian motions on $\mathbb R$ with annihilation: at each branching time a new particle is created and the leftmost one is deleted. In [7] it has been studied the case of strictly local creations (the new particle is put exactly at the same position of the branching particle), in [10] instead the position $y$ of the new particle has a distribution $p(x,y)dy$, $x$ th…
▽ More
We study a system of branching Brownian motions on $\mathbb R$ with annihilation: at each branching time a new particle is created and the leftmost one is deleted. In [7] it has been studied the case of strictly local creations (the new particle is put exactly at the same position of the branching particle), in [10] instead the position $y$ of the new particle has a distribution $p(x,y)dy$, $x$ the position of the branching particle, however particles in between branching times do not move. In this paper we consider Brownian motions as in [7] and non local branching as in [10] and prove convergence in the continuum limit (when the number $N$ of particles diverges) to a limit density which satisfies a free boundary problem when this has classical solutions, local in time existence of classical solution has been proved recently in [13]. We use in the convergence a stronger topology than in [7] and [10] and have explicit bounds on the rate of convergence.
△ Less
Submitted 24 November, 2017; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Renewal properties of the $d=1$ Ising model
Authors:
Marzio Cassandro,
Immacolata Merola,
Errico Presutti
Abstract:
We consider the $d=1$ Ising model with Kac potentials at inverse temperature $β>1$ where mean field predicts a phase transition with two possible equilibrium magnetization $\pm m_β$, $m_β>0$. We show that when the Kac scaling parameter $γ$ is sufficiently small typical spin configurations are described (via a coarse graining) by an infinite sequence of successive plus and minus intervals where the…
▽ More
We consider the $d=1$ Ising model with Kac potentials at inverse temperature $β>1$ where mean field predicts a phase transition with two possible equilibrium magnetization $\pm m_β$, $m_β>0$. We show that when the Kac scaling parameter $γ$ is sufficiently small typical spin configurations are described (via a coarse graining) by an infinite sequence of successive plus and minus intervals where the empirical magnetization is "close" to $m_β$ and respectively $-m_β$. We prove that the corresponding marginal of the unique DLR measure is a renewal process.
△ Less
Submitted 4 September, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Microscopic models for uphill diffusion
Authors:
Matteo Colangeli,
Anna De Masi,
Errico Presutti
Abstract:
We study a system of particles which jump on the sites of the interval $[1,L]$ of $\mathbb Z$. The density at the boundaries is kept fixed to simulate the action of mass reservoirs. The evolution depends on two parameters $λ'\ge 0$ and $λ"\ge 0$ which are the strength of an external potential and respectively of an attractive potential among the particles. When $λ'=λ"= 0$ the system behaves diffus…
▽ More
We study a system of particles which jump on the sites of the interval $[1,L]$ of $\mathbb Z$. The density at the boundaries is kept fixed to simulate the action of mass reservoirs. The evolution depends on two parameters $λ'\ge 0$ and $λ"\ge 0$ which are the strength of an external potential and respectively of an attractive potential among the particles. When $λ'=λ"= 0$ the system behaves diffusively and the density profile of the final stationary state is linear, Fick's law is satisfied. When $λ'> 0$ and $λ"= 0$ the system models the diffusion of carbon in the presence of silicon as in the Darken experiment: the final state of the system is in qualitative agreement with the experimental one and uphill diffusion is present at the weld. Finally if $λ'=0$ and $λ">0$ is suitably large, the system simulates a vapor-liquid phase transition and we have a surprising phenomenon. Namely when the densities in the reservoirs correspond respectively to metastable vapor and metastable liquid we find a final stationary current which goes uphill from the reservoir with smaller density (vapor) to that with larger density (liquid). Our results are mainly numerical, we have convincing theoretical explanations yet we miss a complete mathematical proof.
△ Less
Submitted 4 May, 2017;
originally announced May 2017.
-
Free boundary problems in PDEs and particle systems
Authors:
Gioia Carinci,
Anna De Masi,
Cristian Giardinà,
Errico Presutti
Abstract:
In this volume a theory for models of transport in the presence of a free boundary is developed. Macroscopic laws of transport are described by PDEs. When the system is open, there are several mechanisms to couple the system with the external forces. Here a class of systems where the interaction with the exterior takes place in correspondence of a free boundary is considered. Both continuous and d…
▽ More
In this volume a theory for models of transport in the presence of a free boundary is developed. Macroscopic laws of transport are described by PDEs. When the system is open, there are several mechanisms to couple the system with the external forces. Here a class of systems where the interaction with the exterior takes place in correspondence of a free boundary is considered. Both continuous and discrete models sharing the same structure are analyzed. In Part I a free boundary problem related to the Stefan Problem is worked out in all details. For this model a new notion of relaxed solution is proposed for which global existence and uniqueness is proven. It is also shown that this is the hydrodynamic limit of the empirical mass density of the associated particle system. In Part II several other models are discussed. The expectation is that the results proved for the basic model extend to these other cases. All the models discussed in this volume have an interest in problems arising in several research fields such as heat conduction, queuing theory, propagation of fire, interface dynamics, population dynamics, evolution of biological systems with selection mechanisms.In general researchers interested in the relations between PDEs and stochastic processes can find in this volume an extension of this correspondence to modern mathematical physics.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Particle models with self sustained current
Authors:
Matteo Colangeli,
Anna De Masi,
Errico Presutti
Abstract:
We present some computer simulations run on a stochastic CA (cellular automaton). The CA simulates a gas of particles which are in a channel, the interval $[1,L]$ in $\mathbb Z$, but also in "reservoirs" $\mathcal R_1$ and $\mathcal R_2$. The evolution in the channel simulates a lattice gas with Kawasaki dynamics with attractive Kac interactions, the temperature is chosen smaller than the mean fie…
▽ More
We present some computer simulations run on a stochastic CA (cellular automaton). The CA simulates a gas of particles which are in a channel, the interval $[1,L]$ in $\mathbb Z$, but also in "reservoirs" $\mathcal R_1$ and $\mathcal R_2$. The evolution in the channel simulates a lattice gas with Kawasaki dynamics with attractive Kac interactions, the temperature is chosen smaller than the mean field critical one. There are also exchanges of particles between the channel and the reservoirs and among reservoirs. When the rate of exchanges among reservoirs is in a suitable interval the CA reaches an apparently stationary state with a non zero current, for different choices of the initial condition the current changes sign. We have a quite satisfactory theory of the phenomenon but we miss a full mathematical proof.
△ Less
Submitted 27 January, 2017; v1 submitted 15 June, 2016;
originally announced June 2016.
-
Highly anisotropic scaling limits
Authors:
Marzio Cassandro,
Matteo Colangeli,
Errico Presutti
Abstract:
We consider a highly anisotropic $d=2$ Ising spin model whose precise definition can be found at the beginning of Section 2. In this model the spins on a same horizontal line (layer) interact via a $d=1$ Kac potential while the vertical interaction is between nearest neighbors, both interactions being ferromagnetic. The temperature is set equal to 1 which is the mean field critical value, so that…
▽ More
We consider a highly anisotropic $d=2$ Ising spin model whose precise definition can be found at the beginning of Section 2. In this model the spins on a same horizontal line (layer) interact via a $d=1$ Kac potential while the vertical interaction is between nearest neighbors, both interactions being ferromagnetic. The temperature is set equal to 1 which is the mean field critical value, so that the mean field limit for the Kac potential alone does not have a spontaneous magnetization. We compute the phase diagram of the full system in the Lebowitz-Penrose limit showing that due to the vertical interaction it has a spontaneous magnetization. The result is not covered by the Lebowitz-Penrose theory because our Kac potential has support on regions of positive codimension.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Layered systems at the mean field critical temperature
Authors:
Luiz Renato Fontes,
Domingos H. U. Marchetti,
Immacolata Merola,
Errico Presutti,
Maria Eulalia Vares
Abstract:
We consider the Ising model on $\mathbb Z\times \mathbb Z$ where on each horizontal line $\{(x,i), x\in \mathbb Z\}$, the interaction is given by a ferromagnetic Kac potential with coupling strength $J_γ(x,y)\sim γJ(γ(x-y))$ at the mean field critical temperature. We then add a nearest neighbor ferromagnetic vertical interaction of strength $ε$ and prove that for every $ε>0$ the systems exhibits p…
▽ More
We consider the Ising model on $\mathbb Z\times \mathbb Z$ where on each horizontal line $\{(x,i), x\in \mathbb Z\}$, the interaction is given by a ferromagnetic Kac potential with coupling strength $J_γ(x,y)\sim γJ(γ(x-y))$ at the mean field critical temperature. We then add a nearest neighbor ferromagnetic vertical interaction of strength $ε$ and prove that for every $ε>0$ the systems exhibits phase transition provided $γ>0$ is small enough.
△ Less
Submitted 25 April, 2015;
originally announced April 2015.
-
Phase Transitions in Ferromagnetic Ising Models with spatially dependent magnetic fields
Authors:
Rodrigo Bissacot,
Marzio Cassandro,
Leandro Cioletti,
Errico Presutti
Abstract:
In this paper we study the nearest neighbor Ising model with ferromagnetic interactions in the presence of a space dependent magnetic field which vanishes as $|x|^{-α}$, $α>0$, as $|x|\to \infty$. We prove that in dimensions $d\ge 2$ for all $β$ large enough if $α>1$ there is a phase transition while if $α<1$ there is a unique DLR state.
In this paper we study the nearest neighbor Ising model with ferromagnetic interactions in the presence of a space dependent magnetic field which vanishes as $|x|^{-α}$, $α>0$, as $|x|\to \infty$. We prove that in dimensions $d\ge 2$ for all $β$ large enough if $α>1$ there is a phase transition while if $α<1$ there is a unique DLR state.
△ Less
Submitted 18 August, 2014; v1 submitted 31 March, 2014;
originally announced March 2014.
-
Global solutions of a free boundary problem via mass transport inequalities
Authors:
Gioia Carinci,
Anna De Masi,
Cristian Giardina',
Errico Presutti
Abstract:
We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free boundary problems. We introduce the notion of generalized solutions (which extends that of classical solutions when the latter exist) and prove global existence and un…
▽ More
We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free boundary problems. We introduce the notion of generalized solutions (which extends that of classical solutions when the latter exist) and prove global existence and uniqueness of generalized solutions for a large class of initial data. The proof is obtained by characterizing a generalized solution as the unique element which separates suitably defined lower and upper barriers in the sense of mass transport inequalities.
△ Less
Submitted 10 June, 2014; v1 submitted 22 February, 2014;
originally announced February 2014.
-
Super-hydrodynamic limit in interacting particle systems
Authors:
Gioia Carinci,
Anna De Masi,
Cristian Giardinà,
Errico Presutti
Abstract:
This paper is a follow-up of the work initiated in [3], where it has been investigated the hydrodynamic limit of symmetric independent random walkers with birth at the origin and death at the rightmost occupied site. Here we obtain two further results: first we characterize the stationary states on the hydrodynamic time scale and show that they are given by a family of linear macroscopic profiles…
▽ More
This paper is a follow-up of the work initiated in [3], where it has been investigated the hydrodynamic limit of symmetric independent random walkers with birth at the origin and death at the rightmost occupied site. Here we obtain two further results: first we characterize the stationary states on the hydrodynamic time scale and show that they are given by a family of linear macroscopic profiles whose parameters are determined by the current reservoirs and the system mass. Then we prove the existence of a super-hyrdrodynamic time scale, beyond the hydrodynamic one. On this larger time scale the system mass fluctuates and correspondingly the macroscopic profile of the system randomly moves within the family of linear profiles, with the randomness of a Brownian motion.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
Hydrodynamic limit in a particle system with topological interactions
Authors:
Gioia Carinci,
Anna De Masi,
Cristian Giardinà,
Errico Presutti
Abstract:
We study a system of particles in the interval $[0,ε^{-1}] \cap \mathbb Z$, $ε^{-1}$ a positive integer. The particles move as symmetric independent random walks (with reflections at the endpoints); simultaneously new particles are injected at site 0 at rate $jε$ ($j>0$) and removed at same rate from the rightmost occupied site. The removal mechanism is therefore of topological rather than metric…
▽ More
We study a system of particles in the interval $[0,ε^{-1}] \cap \mathbb Z$, $ε^{-1}$ a positive integer. The particles move as symmetric independent random walks (with reflections at the endpoints); simultaneously new particles are injected at site 0 at rate $jε$ ($j>0$) and removed at same rate from the rightmost occupied site. The removal mechanism is therefore of topological rather than metric nature. The determination of the rightmost occupied site requires a knowledge of the entire configuration and prevents from using correlation functions techniques. We prove using stochastic inequalities that the system has a hydrodynamic limit, namely that under suitable assumptions on the initial configurations, the law of the density fields $ε\sum φ(εx) ξ_{ε^{-2}t}(x)$ ($φ$ a test function, $ξ_t(x)$ the number of particles at site $x$ at time $t$) concentrates in the limit $ε\to 0$ on the deterministic value $\int φρ_t$, $ρ_t$ interpreted as the limit density at time $t$. We characterize the limit $ρ_t$ as a weak solution in terms of barriers of a limit free boundary problem.
△ Less
Submitted 1 December, 2013; v1 submitted 24 July, 2013;
originally announced July 2013.
-
Non equilibrium stationary state for the SEP with births and deaths
Authors:
Anna De Masi,
Errico Presutti,
Dimitrios Tsagkarogiannis,
Maria Eulalia Vares
Abstract:
We consider the symmetric simple exclusion process in the interval $\La_N:=[-N,N]\cap\mathbb Z$ with births and deaths taking place respectively on suitable boundary intervals $I_+$ and $I_-$, as introduced in De Masi et al. (J. Stat. Phys. 2011). We study the stationary measure density profile in the limit $N\to\infty$
We consider the symmetric simple exclusion process in the interval $\La_N:=[-N,N]\cap\mathbb Z$ with births and deaths taking place respectively on suitable boundary intervals $I_+$ and $I_-$, as introduced in De Masi et al. (J. Stat. Phys. 2011). We study the stationary measure density profile in the limit $N\to\infty$
△ Less
Submitted 8 March, 2012;
originally announced March 2012.
-
Current reservoirs in the simple exclusion process
Authors:
Anna De Masi,
Errico Presutti,
Dimitrios Tsagkarogiannis,
Maria Eulalia Vares
Abstract:
We consider the symmetric simple exclusion process in the interval $[-N,N]$ with additional birth and death processes respectively on $(N-K,N]$, $K>0$, and $[-N,-N+K)$. The exclusion is speeded up by a factor $N^2$, births and deaths by a factor $N$. Assuming propagation of chaos (a property proved in a companion paper "Truncated correlations in the stirring process with births and deaths") we pro…
▽ More
We consider the symmetric simple exclusion process in the interval $[-N,N]$ with additional birth and death processes respectively on $(N-K,N]$, $K>0$, and $[-N,-N+K)$. The exclusion is speeded up by a factor $N^2$, births and deaths by a factor $N$. Assuming propagation of chaos (a property proved in a companion paper "Truncated correlations in the stirring process with births and deaths") we prove convergence in the limit $N\to \infty$ to the linear heat equation with Dirichlet condition on the boundaries; the boundary conditions however are not known a priori, they are obtained by solving a non linear equation. The model simulates mass transport with current reservoirs at the boundaries and the Fourier law is proved to hold.
△ Less
Submitted 20 April, 2011; v1 submitted 18 April, 2011;
originally announced April 2011.
-
Fourier law, phase transitions and the stationary Stefan problem
Authors:
Anna De Masi,
Errico Presutti,
Dimitrios Tsagkarogiannis
Abstract:
We study the one-dimensional stationary solutions of an integro-differential equation derived by Giacomin and Lebowitz from Kawasaki dynamics in Ising systems with Kac potentials, \cite{GiacominLebowitz}. We construct stationary solutions with non zero current and prove the validity of the Fourier law in the thermodynamic limit showing that below the critical temperature the limit equilibrium prof…
▽ More
We study the one-dimensional stationary solutions of an integro-differential equation derived by Giacomin and Lebowitz from Kawasaki dynamics in Ising systems with Kac potentials, \cite{GiacominLebowitz}. We construct stationary solutions with non zero current and prove the validity of the Fourier law in the thermodynamic limit showing that below the critical temperature the limit equilibrium profile has a discontinuity (which defines the position of the interface) and satisfies a stationary free boundary Stefan problem. Under-cooling and over-heating effects are also studied. We show that if metastable values are imposed at the boundaries then the mesoscopic stationary profile is no longer monotone and therefore the Fourier law is not satisfied. It regains however its validity in the thermodynamic limit where the limit profile is again monotone away from the interface.
△ Less
Submitted 23 September, 2010;
originally announced September 2010.
-
Coexistence of ordered and disordered phases in Potts models in the continuum
Authors:
Anna De Masi,
Immacolata Merola,
Errico Presutti,
Yvon Vignaud
Abstract:
This is the second of two papers on a continuum version of the Potts model, where particles are points in $\mathbb R^d$, $d\ge 2$, with a spin which may take $S\ge 3$ possible values. Particles with different spins repel each other via a Kac pair potential of range $\ga^{-1}$, $\ga>0$. In this paper we prove phase transition, namely we prove that if the scaling parameter of the Kac potential is…
▽ More
This is the second of two papers on a continuum version of the Potts model, where particles are points in $\mathbb R^d$, $d\ge 2$, with a spin which may take $S\ge 3$ possible values. Particles with different spins repel each other via a Kac pair potential of range $\ga^{-1}$, $\ga>0$. In this paper we prove phase transition, namely we prove that if the scaling parameter of the Kac potential is suitably small, given any temperature there is a value of the chemical potential such that at the given temperature and chemical potential there exist $S+1$ mutually distinct DLR measures.
△ Less
Submitted 31 July, 2008;
originally announced July 2008.
-
Potts models in the continuum. Uniqueness and exponential decay in the restricted ensembles
Authors:
A. De Masi,
I. Merola,
E. Presutti,
Y. Vignaud
Abstract:
In this paper we study a continuum version of the Potts model. Particles are points in R^d, with a spin which may take S possible values, S being at least 3. Particles with different spins repel each other via a Kac pair potential. In mean field, for any inverse temperature there is a value of the chemical potential at which S+1 distinct phases coexist. For each mean field pure phase, we introdu…
▽ More
In this paper we study a continuum version of the Potts model. Particles are points in R^d, with a spin which may take S possible values, S being at least 3. Particles with different spins repel each other via a Kac pair potential. In mean field, for any inverse temperature there is a value of the chemical potential at which S+1 distinct phases coexist. For each mean field pure phase, we introduce a restricted ensemble which is defined so that the empirical particles densities are close to the mean field values. Then, in the spirit of the Dobrushin Shlosman theory, we get uniqueness and exponential decay of correlations when the range of the interaction is large enough. In a second paper, we will use such a result to implement the Pirogov-Sinai scheme proving coexistence of S+1 extremal DLR measures.
△ Less
Submitted 19 March, 2008;
originally announced March 2008.
-
Geometry of contours and Peierls estimates in d=1 Ising models
Authors:
M. Cassandro,
P. A. Ferrari,
I. Merola,
E. Presutti
Abstract:
Following Fröhlich and Spencer, we study one dimensional Ising spin systems with ferromagnetic, long range interactions which decay as $|x-y|^{-2+α}$, $0\leq α\leq 1/2$. We introduce a geometric description of the spin configurations in terms of triangles which play the role of contours and for which we establish Peierls bounds. This in particular yields a direct proof of the well known result b…
▽ More
Following Fröhlich and Spencer, we study one dimensional Ising spin systems with ferromagnetic, long range interactions which decay as $|x-y|^{-2+α}$, $0\leq α\leq 1/2$. We introduce a geometric description of the spin configurations in terms of triangles which play the role of contours and for which we establish Peierls bounds. This in particular yields a direct proof of the well known result by Dyson about phase transitions at low temperatures.
△ Less
Submitted 28 November, 2002; v1 submitted 25 November, 2002;
originally announced November 2002.
-
Liquid-Vapor Phase Transitions for Systems with Finite Range Interactions
Authors:
J. L. Lebowitz,
A. Mazel,
E. Presutti
Abstract:
We consider particles in $\R^d, d \geq 2$ interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition, when the interaction range is finite but long compared to the interparticle spacing for a range of temperature.
We consider particles in $\R^d, d \geq 2$ interacting via attractive pair and repulsive four-body potentials of the Kac type. Perturbing about mean field theory, valid when the interaction range becomes infinite, we prove rigorously the existence of a liquid-gas phase transition, when the interaction range is finite but long compared to the interparticle spacing for a range of temperature.
△ Less
Submitted 9 September, 1998;
originally announced September 1998.