Grand tack hypothesis
Jupiter twice crossed the asteroid belt, scattering asteroids outward then inward. The present asteroid belt has a small mass, and a wide range of inclinations and eccentricities. This limited the material available to make Mars. It had long been thought that Mars was too small in comparison to its position in the Solar System. This was based on computer simulations of the early history of the Solar System.