Random walk driven by the simple exclusion process

François Huveneers, François Simenhaus

We prove a strong law of large numbers and an annealed invariance principle for a random walk in a one-dimensional dynamic random environment evolving as the simple exclusion proce…