Phase Transitions in Binary Lattice Gases

Abstract

We prove the existence of phase transitions in several kinds of two‐component lattice gases: Some of these are isomorphic to spin systems and/or to fluids composed of asymmetrical molecules which can have different orientations. Among the models studied is one with infinite repulsion between particles of different species (hard cores), extending over arbitrarily many neighboring lattice sites. Some of these systems have been investigated previously in the mean field approximation and numerically.