A large deviations principle for the polar empirical measure in the two-dimensional symmetric simple exclusion process

We prove an energy estimate for the polar empirical measure of the two-dimensional symmetric simple exclusion process. We deduce from this estimate and from results in reference [2] large deviations principles for the polar empirical measure and for the occupation time of the origin.