We prove a correlation inequality concerning the occupation of disjoint sets in the symmetric exclusion process. As an application we derive a pointwise ergodic theorem for this same process.
"A Correlation Inequality for the Symmetric Exclusion Process." Ann. Probab. 16 (2) 717 - 721, April, 1988. https://doi.org/10.1214/aop/1176991782