A study of the main asteroid belt, which lies between Mars and Jupiter, reveals an excess depletion of asteroids that was triggered by the migration of giant planets in the early history of the Solar System