Stable border bases for ideals of points (Q999088)

When studying the ideal \(I(\mathbb{X})\) of a set of points \(\mathbb{X}\subset \mathbb{P} ^n\), Gröbner bases are a widely used tool in Computational Algebra; nevertheless they are not a good tool with respect to stability with regard to ``small perturbations'' of the points (i.e. small changes in the coordinates of the points). This is a serious drawback when working with points whose coordinates come from real-world measurements which are known only with some indeterminacy. So it is quite desirable to have a set \(B\) of polynomials in \(I(\mathbb{X})\) which is a basis for the ideal and moreover presents ``structural stability'', i.e. any small perturbations (= ``within a prescribed range'') of the coordinates of the points yields a new set of points \(\widetilde {\mathbb{X}}\) and a basis \(\widetilde {S}\) of the ideal \(I(\widetilde {\mathbb{X}})\), such that the polynomials in \(\widetilde{S}\) have coefficients which differ only slightly (i.e. within the same range) from those of \(S\). In this paper a method is given for computing basis of ideals of points which have this required structural stability. The main tool at this are ``border bases'' (introduced by Kreutzer and Robbiano), which are used to define \textit{stable border bases}, that are an effective answer to the stability problem.