Explicit LDP for a slowed RW driven by a symmetric exclusion process

We consider a random walk (RW) driven by a simple symmetric exclusion process (SSE). Rescaling the RW and the SSE in such a way that a joint hydrodynamic limit theorem holds we prove a joint path large deviation principle. The corresponding large deviation rate function can be split into two components, the rate function of the SSE and the one of the RW given the path of the SSE. These components have different structures (Gaussian and Poissonian, respectively) and to overcome this difficulty we make use of the theory of Orlicz spaces. In particular, the component of the rate function corresponding to the RW is explicit.