Halo model description of the non-linear dark matter power spectrum at k≫ 1 Mpc−1 | Synapse