Symplectic nonsqueezing

Symplectic nonsqueezing is the phenomenon that a Hamiltonian flow (or slightly more generally, a symplectomorphism) cannot deform a ball of radius R into a subset of a cylinder of radius r whenever r < R. This phenomenon was demonstrated rigorously by Gromov in the finite dimensional case, but generalizing this result to infinite dimensions can require remarkably subtle analysis.