Lower Bound on the Mean Square Displacement of Particles in the Hard Disk Model
T. Richthammer, Communications in Mathematical Physics  345 (2016) 1077–1099.