Un algorithme qui construit l'idéal d'interpolation et une base de Gröbner à partir d'un ensemble fini de points en construisant incrémentalement des systèmes linéaires d'évaluations de monômes, en utilisant l'algèbre linéaire pour déterminer les relations entre monômes et produire des bases de l'idéal d'annulation.

Principe

Utiliser les évaluations de monômes aux points d'échantillonnage pour former des systèmes linéaires incrémentaux ; identifier les dépendances linéaires entre monômes évalués afin de déterminer les monômes dominants à éliminer et construire une base de Gröbner de l'idéal de tous les polynômes s'annulant sur l'ensemble de points.

Démonstration

Pour un ensemble fini de points de l'espace affine, former la matrice d'évaluations de monômes jusqu'à un degré donné, effectuer des réductions de lignes pour trouver des dépendances, extraire des polynômes qui s'annulent sur les points et poursuivre jusqu'à obtenir une base de Gröbner complète et une base monomiale de l'anneau de coordonnées.

Mauvaise application

Appliquer Buchberger–Möller sans contrôles de degré ou de numérisme : utiliser des matrices d'évaluation mal conditionnées ou un ordre de monômes inadapté peut provoquer une algèbre linéaire instable ou l'échec à détecter des relations nécessaires, produisant des idéaux incorrects ou des éléments de base manquants.

Conséquence

Une application correcte fournit une base de Gröbner explicite de l'idéal d'interpolation et une base monomiale pour l'anneau de coordonnées, permettant l'interpolation polynomiale, la résolution de systèmes polynomiaux à partir d'échantillons et le calcul de multiplicités.

Inversion

La vue inverse est l'interpolation par élimination symbolique seule (par ex. calculer des éliminants globalement) : cela évite l'évaluation mais implique généralement des opérations polynomiales plus lourdes et une croissance intermédiaire plus forte des coefficients.

Limite

S'applique aux ensembles finis de points sur des corps où l'évaluation est fiable et où l'idéal d'annulation est zéro-dimensionnel ; exclut les variétés infinies ou de dimension positive et les contextes à forte instabilité numérique sauf en arithmétique exacte.

Tension sémantique

Il existe une tension entre la construction purement algébrique de bases de Gröbner (algorithme de Buchberger) et les approches basées sur l'évaluation de Buchberger–Möller : l'une échange des opérations polynomiales contre de l'algèbre linéaire et doit équilibrer stabilité numérique et exactitude algébrique.

Synthèse

L'Algorithme de Buchberger–Möller construit l'idéal d'annulation et sa base de Gröbner à partir d'évaluations en points, en montant des matrices d'évaluation de monômes, détectant des dépendances linéaires pour produire des polynômes nuls et itérant jusqu'à déterminer l'idéal et la base monomiale de l'anneau de coordonnées.