Core formation by giant impacts
The present model for the timing and mechanisms of planetary core formation argues that once a planet reaches a certain minimum mass, the large impacts that are typical of late accretion can trigger core formation. This model circumvents the difficulties posed by the large-scale segregation of molten iron into diapirs, and the displacement of the cold, elastic interior of the planet by the iron. The analytical melting model used is based on the Hugoniot equations, the empirical relationship for the decline of particle velocity with distance, and the linear shock-particle velocity relationship.
Tonks, W. B.↗