This reminds me of the joke from Ergodic theory that a lazy physicist can check for phenomena by only looking square numbers.<p>To elaborate, Poincare recurrence says that certain nice dynamical systems will always return to near their original state after finite time, and by Sarkozy’s theorem any set which contains infinitely many pairs of terms that differ by a square is in some sense big enough to observe that recurrence.