On the monotonicity of the Hilbert functions for 4-generated pseudo-symmetric monomial curves

In this article we solve the conjecture “Hilbert function of the local ring for a 4 generated pseudo-symmetric numerical semigroup $⟨n_1,n_2,n_3,n_4⟩$ is always non-decreasing when $n_1<n_2<n_3<n_4$”. We give a complete characterization to the standard bases when the tangent cone is not Cohen-Macaulay by showing that the number of elements in the standard basis depends on some parameters $s_j$ 's we define. Since the tangent cone is not Cohen-Macaulay, non-decreasingness of the Hilbert fuction was not guaranteed, we proved the non-decreasingness from our explicit Hilbert Function computation.