Process-level quenched large deviations for random walk in random environment

In this work, we establish the existence of large deviation principles of random walk in strongly mixing environments. The quenched and annealed rate functions have the same zero set whose shape is either a singleton point or a line segment, with an illustrative example communicated and given by F. Rassoul-Agha. Whenever the level of disorder is controlled, the two rate functions agree on compact sets at the boundary and in the interior both under strongly mixing conditions. Along the line we also indicate that under slightly more refined monotonicity conditions, there is a phase transition of the difference of two rate functions.