We prove 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 process with jump parameter $\gamma$. First we establish that, if the asymptotic velocity of the walker is non-zero in the limiting case "$\gamma = \infty$" where the environment gets fully refreshed between each step, then, for $\gamma$ large enough, the walker still has a non-zero asymptotic velocity in the same direction. Second we establish that if the walker is transient in the limiting case $\gamma = 0$, then, for $\gamma$ small enough but positive, the walker has a non-zero asymptotic velocity in the direction of the transience. These two limiting velocities can sometimes be of opposite sign. In all cases, we show that fluctuations are normal.
"Random walk driven by simple exclusion process." Electron. J. Probab. 20 1 - 42, 2015. https://doi.org/10.1214/EJP.v20-3906