#40 - Numerical evidence towards establishing a new relation satisfied by the coefficients of the Hilbert quasi-polynomial of a polynomial ring with general grading

Our research is centered around studying the Hilbert quasi-polynomial of a polynomial ring in finitely many variables over a field , with general grading. In our case, the Hilbert quasi-polynomial of R describes the Hilbert function of R. The Hilbert function is the function () such that () equals the -dimension of the vector space of all polynomials from of degree . The Hilbert theory says that () is a quasi-polynomial in . In particular, let ( =degree of the variable ( in , = 1, ... , , and let =lcm(1, ... , 2). We are interested in the polynomial h() such that h() = (), for all . Our work is around gathering numerical evidence for the claim that h( − 1) is a polynomial with nonnegative coefficients. We are running tests and examples through algebraic software such as Singular and Polymake to gather examples in this direction. Gathering such evidence would give an indication that this feature of the h() is true and provide ideas on how to approach a proof of this claim. This claim is important in the theory of Frobenius complexity. In addition, it would provide a surprising set of new features of the Hilbert quasi-polynomial, of interest in enumerative combinatorics and discrete geometry