On the order of 4-dimensional regular polytope numbers

In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$.