Counting numerical semigroups by genus and some cases of a question of Wilf. (Q436083)

A numerical semigroup \(S\) is a set of non-negative integers closed under addition and containing all sufficiently large integers. Its genus is the cardinality of \(\mathbb N_0\setminus S\), and its multiplicity is the smallest nonzero element of \(S\). The number of numerical semigroups with genus \(g\) and multiplicity \(m\) is denoted by \(N(g,m)\).NEWLINENEWLINE The author shows that for each \(k\geq 0\) there exists a monic polynomial \(f_k(X)\) such that if \(m>2k\), then NEWLINE\[NEWLINEN(m,m+k)={1\over(k+1)!}f_k(m),NEWLINE\]NEWLINE and determines explicitly \(f_k\) for \(k\leq 7\). He shows also that this formula may fail if \(m\leq 2k\), as the example \(m=k=5\) shows. An important step in the proof forms the equality NEWLINE\[NEWLINEN(m-1,g-1)+N(m-1,g-2)=N(m,g)NEWLINE\]NEWLINE established in Theorem 1.NEWLINENEWLINE The paper contains also interesting discussions on other aspects of the theory of numerical semigroups.