We prove that if the outer billiard map around a plane oval is algebraically integrable in a certain nondegenerate sense then the oval is an ellipse.
outer billiards, dual billiards, integrability, Birkhoff conjecture
Primary: 37J30
Secondary: 37E40