On the variety of linear recurrences and numerical semigroups (Q741648)

For a positive integer \(M\) and a finite subset \(I\) of positive integers let \(V_{M,I}\) denote the set of all non-trivial linear recurrences of order \(M\) vanishing at all elements of \(I\). \textit{R. Fröberg} and \textit{B. Shapiro} asked in a recent preprint [``Linear recurrences and Vandermonde varieties. I'', \url{http://people.su.se/~shapiro/Articles/SML.pdf}] for which pairs \(M,I\) this set is non-empty. The authors show that this holds in the case when \(I\) is a finite subset of the set of gaps of a numerical semigroup \(S\) generated by \(a_1<a_2<\cdots<a_N=M\), i.e., \(I\) is a subset of the set of integers not represented in the form \(\sum_{j=1}^Nx_ja_j\) with \(x_j\geq0\). The presented proof produces a recurrence whose sets of zeros coincides with \(I\).