Law of large numbers for the simple exclusion process (Q2485790)

The authors consider the simple exclusion process on \(Z\), an interacting particle system. They perform a graphical construction of the process and define couplings and different classes of particles (these are key tools for the proofs). By using the subadditive ergodic theorem they show the hydrodynamic limit for a particular initial measure which satisfies a stationary condition required by the ergodic theorem, and then the result is extended to initial product measures.