Title:Does the set of level Hilbert functions enjoy continuity?

Abstract: We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of continuity, expressed in the following way: If, for some positive integer $\alpha $, $(1,h_1,...,h_i,...,h_e)$ and $(1,h_1,...,h_i+\alpha ,...,h_e)$ are both level $h$-vectors, then $(1,h_1,...,h_i+\beta ,...,h_e)$ is also level for each integer $\beta =0,1,..., \alpha .$
This conjecture is motivated both by the significant amount of research performed in this area over the last few years, which has apparently never suggested a strong reason why such a continuity property should not hold, and by a series of recent results, which seem to indicate that it will be nearly impossible to characterize explicitly the set of all level Hilbert functions. Therefore, our conjecture would at least provide the existence of a very strong - and natural - form of order in the structure of such an important and complicated set.
We are still far from proving the conjecture in full generality at this point. However, we will already solve a few interesting cases in this paper. Among them, that of Gorenstein $h$-vectors of socle degree 4, that of level $h$-vectors of socle degree 2, and that of non-unimodal level $h$-vectors of socle degree 3 and any given codimension. We will also begin investigating our conjecture for level $h$-vectors of any socle degree.