The Statistical Mechanics of Lattice Gases, Volume I

The Statistical Mechanics of Lattice Gases, Volume I

BARRY SIMON
Copyright Date: 1993
Pages: 540
https://www.jstor.org/stable/j.ctt7ztwsn
  • Cite this Item
  • Book Info
    The Statistical Mechanics of Lattice Gases, Volume I
    Book Description:

    A state-of-the-art survey of both classical and quantum lattice gas models, this two-volume work will cover the rigorous mathematical studies of such models as the Ising and Heisenberg, an area in which scientists have made enormous strides during the past twenty-five years. This first volume addresses, among many topics, the mathematical background on convexity and Choquet theory, and presents an exhaustive study of the pressure including the Onsager solution of the two-dimensional Ising model, a study of the general theory of states in classical and quantum spin systems, and a study of high and low temperature expansions. The second volume will deal with the Peierls construction, infrared bounds, Lee-Yang theorems, and correlation inequality.

    This comprehensive work will be a useful reference not only to scientists working in mathematical statistical mechanics but also to those in related disciplines such as probability theory, chemical physics, and quantum field theory. It can also serve as a textbook for advanced graduate students.

    Originally published in 1993.

    ThePrinceton Legacy Libraryuses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

    eISBN: 978-1-4008-6343-3
    Subjects: Physics

Table of Contents

  1. Front Matter
    (pp. i-vi)
  2. Table of Contents
    (pp. vii-x)
  3. Introduction
    (pp. xi-2)
    BARRY SIMON

    In 1979–80, my last year at Princeton (although I didn’t know it at the time!), I gave a course on rigorous results in the statistical mechanics of discrete lattice models. In preparing the course, I realized that a twenty-year period of explosive growth in our knowledge seemed to be drawing to a close as the most approachable problems were solved. So it seemed like a good time to think about a book summarizing the state of our knowledge.

    It was clear such a book would need to be comprehensive, even encyclopedic, since it was describing a mature subject. Little...

  4. Chapter I Preliminaries
    (pp. 3-96)

    Lattice models are caricatures invented to illuminate various aspects of elementary statistical mechanics, especially the phenomena of phase transitions and spontaneously broken symmetry. The simplest of all models is the Ising (or Lenz-Ising) model. This model was suggested to Ising by his thesis adviser, Lenz. Ising [1925] solved the one-dimensional model, an easy task (we will solve it three times: once in this section, once using transfer matrices in Section II.5, and once using high-temperature expansions in Section V.6), and on the basis of the fact that the one-dimensional model had no phase transition, he asserted there was no phase...

  5. Chapter II The Pressure
    (pp. 97-234)

    In this section, we will present the basic abstract formalism for lattice gases. We will always take our underlying lattice to be ℤν, the set of ν-tuples (n1,…,nν) of integers. We remark that any subsetL⊂ ℝνobeying: (i)x, yLimpliesx+yand −xlie inL; (ii)Lis discrete; (iii)Lis contained in no proper subspace of ℝν; is isomorphic to ℤνin the sense that there exist vectorsx1,…,xν∈ ℝνso that$L=\left\{ \sum\limits_{i=1}^{\nu}{{{n}_{i}}{{x}_{i}}\left| n\in {{\mathbb{Z}}^{\nu}} \right.} \right\}$. This means that we are not losing any models by taking the lattice to be...

  6. Chapter III States: The Classical Case
    (pp. 235-336)

    In order to motivate the eventual definition we shall take for a state, consider the intuitive notion of states for an Ising model. Given any finite Λ, we would like nonnegative numberswΛ(s) for eachs∈ {−1, 1}Λ, so that\[\sum\limits_{s\, \in\, {{\Omega }_{\Lambda }}}{{{w}_{\Lambda }}(s)=1.}\caption {(\text {III.1.1})}\]

    wΛ(s) should represent the probability that the spins in Λ have the values. Clearly, this notion requires the consistency condition that for Λ ⊂ Λ′\[\sum\limits_{t\,\in\, {{\Omega }^{{\Lambda }'\backslash \Lambda }}}{{{w}_{{{\Lambda }'}}}(s\times t)={{w}_{\Lambda }}(s).}\caption {(\text {III.1.2})}\]

    A state for an Ising model should be equivalent to a choice of nonnegative numbers,wΛ(s), obeying (III.1.1), (III.1.2). A set of weightswΛ(s) obeying (II.1.1) defines a measure on ΩΛ...

  7. Chapter IV States: The Quantum Case
    (pp. 337-399)

    Given the notion of state in the classical case (Section III.1), the analogy between measures and states on aC*-algebra (Section 1.7) and our discussion of local and quasilocal observables in quantum lattice systems (the end of Section II.1), it is clear what we want to mean by a state (in the physical sense) of a quantum lattice system: namely, a state (in the mathematical sense) on theC*-algebra,$\script a$, of quasilocal observables.

    There is an analog of Prop. III.1.1. Since$\underset{\Lambda\, \in\, {{\script P}_{f}}}{\cup }\, {{\script a}_{\Lambda }}$is dense in$\script a$and states are automatically continuous (the argument preceding Prop. 1.7.4), a state ρ...

  8. Chapter V High Temperature and Low Densities
    (pp. 400-500)

    In this section, we will present a method of treating systems at “high temperature” (where the interaction is small in some norm) or “low densities” (where the a priori measuredμ0is concentrated near a single point). Among the theorems we will prove are the following pair:

    Theorem V.1.1: Consider a general classical system. Let Φ ∈ ℬ1be an interaction with\[{{\left\| \Phi \right\|}_{2}}\equiv \sum\limits_{0\,\in\, X}{(\left| X \right|-1){{\left\| \Phi (X) \right\|}_{\infty }}<1.}\caption {(\text {V.1.1})}\]

    Then, there is exactly one equilibrium state for the interaction Φ.

    Theorem V.1.2: Let Ω = {−1, 1} with σα= ±1. Suppose that Φ ∈ ℬ1has the form Φ(X) = −JXσXwith${{\sigma }^{X}}=\prod\limits_{\alpha\, \in\, X}{{{\sigma }_{\alpha }}}$with\[\sum\limits_{0\,\in\, X}{(\left| X \right|-1)\tanh (\left| {{J}_{X}} \right|)>1.}\caption {(\text {V.1.2})}\]...

  9. References
    (pp. 501-520)
  10. Index
    (pp. 521-522)