Quenched large deviations for interacting diffusions in random media

The aim of the paper is to establish a large deviation principle (LDP) for the empirical measure of mean-field interacting diffusions in a random environment. The point is to derive such a result once the environment has been frozen (quenched model). The main theorem states that a LDP holds for every realization of the environment, with a rate function that does not depend on the disorder and is different from the rate function in the averaged model. Similar results concerning the empirical flow and local empirical measures are provided.