🔢 mathematics

An efficient sum of squares nonnegativity certificate for quaternary quartic

Cet article propose un certificat efficace de positivité pour les formes quartiques quaternaires non négatives en démontrant que leur produit par deux formes quadratiques est une somme de carrés, tout en explorant la question ouverte de savoir si une seule forme quadratique suffit, avec la conjecture que le coefficient $a$ de la forme est toujours suffisant.

Auteurs originaux : Dmitrii V. Pasechnik

Publié 2026-03-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Dmitrii V. Pasechnik

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🍕 Le Problème du "Gâteau Parfait" (ou comment prouver qu'une chose est toujours positive)

Imaginez que vous êtes un boulanger. Vous avez une recette de gâteau (une formule mathématique) qui doit toujours donner un résultat positif (un gâteau qui ne s'effondre jamais, qui a toujours du goût). En mathématiques, on appelle cela une fonction non-négative ( $f \ge 0$ ).

Le défi historique, posé par le grand mathématicien David Hilbert il y a plus d'un siècle, est le suivant : Comment prouver de manière simple et élégante que ce gâteau est toujours réussi ?

La méthode la plus simple serait de dire : "Ce gâteau est la somme de plusieurs carrés parfaits". En mathématiques, si vous additionnez des carrés (comme $3^2 + 4^2$ ), le résultat est toujours positif. C'est ce qu'on appelle un décomposition "Somme de Carrés" (S.O.S).

Le problème : Pour certaines recettes complexes (polynômes à 4 variables de degré 4), il est impossible de dire qu'elles sont simplement la somme de carrés de polynômes. Elles sont positives, mais pas "parfaitement" positives selon cette définition stricte.

🛠️ La Solution : Le "Multiplicateur Magique"

Si on ne peut pas écrire le gâteau comme une somme de carrés, que fait-on ? On ajoute un ingrédient secret, un multiplicateur (appelé $q$ dans le papier).

L'idée est : "Si je multiplie ma recette difficile par ce multiplicateur magique, le résultat devient une somme de carrés."
C'est comme dire : "Si je mélange ce gâteau avec un peu de levure spéciale, alors la pâte devient parfaitement lisse et positive."

La découverte de l'auteur (Dmitrii Pasechnik) :
Pour les gâteaux à 4 ingrédients (4 variables) et de degré 4, il a prouvé qu'il suffit d'utiliser deux multiplicateurs magiques (deux petites quantités de levine) pour transformer n'importe quelle recette positive en une somme de carrés parfaite.

L'analogie : Imaginez que vous avez un puzzle difficile qui ne s'assemble pas. L'auteur dit : "Vous n'avez pas besoin de 100 pièces supplémentaires. Juste deux petites pièces spéciales suffisent pour que tout le puzzle s'assemble parfaitement."

🔍 Le Détective et le "Discriminant"

Pour trouver ces multiplicateurs, l'auteur utilise une astuce de détective. Il transforme le problème complexe en un problème plus simple, en regardant une "ombre" du problème appelée le discriminant ( $\Delta$ ).

L'astuce : Il regarde le gâteau comme s'il n'avait qu'une seule variable principale (comme si on ne regardait que la hauteur du gâteau).
Le calcul : Il calcule une valeur clé (le discriminant) qui résume la difficulté du gâteau.
Le théorème de Hilbert (1893) : Hilbert avait déjà prouvé que pour des gâteaux à 3 ingrédients, on peut toujours trouver un multiplicateur pour les rendre "parfaits".
Le résultat : L'auteur montre que si on prend notre discriminant (qui est un gâteau à 3 ingrédients), on peut le rendre parfait avec un multiplicateur. Et cela suffit pour rendre le gâteau original (à 4 ingrédients) parfait aussi, mais en utilisant deux multiplicateurs au total.

🧪 L'Expérience de Laboratoire : "Est-ce qu'un seul suffit ?"

L'auteur se demande : "Est-ce que j'ai vraiment besoin de deux multiplicateurs, ou est-ce que l'un seul suffirait ?"

Pour tester cela, il a construit des exemples mathématiques très spécifiques, des "monstres" qui sont positifs mais très têtus.

Il a créé un discriminant qui est positif mais qui n'est pas une somme de carrés (c'est un gâteau positif mais "moche").
Il a vérifié que même avec ce discriminant difficile, si on multiplie le gâteau original par la première partie de la recette ( $a$ ), le résultat devient une somme de carrés.

La conclusion surprenante : Dans tous les exemples qu'il a testés, il semble qu'un seul multiplicateur (le terme $a$ ) suffise.
Cependant, il n'a pas encore pu le prouver pour tous les cas possibles. C'est comme si tous les tests de laboratoire fonctionnaient avec une seule clé, mais qu'il manque encore la preuve théorique que cette clé ouvre toutes les portes.

🎯 En Résumé : Pourquoi c'est important ?

Efficacité : Ce papier montre qu'on n'a pas besoin de méthodes lourdes et complexes pour prouver qu'une fonction est positive. Deux petits multiplicateurs suffisent.
Optimisation : En informatique et en ingénierie, on utilise souvent ces preuves pour vérifier que des systèmes (comme des drones ou des réseaux électriques) sont stables et sûrs. Savoir qu'on a besoin de moins de calculs (moins de multiplicateurs) rend ces vérifications beaucoup plus rapides.
Le Mystère : L'auteur laisse une porte ouverte. Il pense que un seul multiplicateur suffit toujours, mais il n'a pas encore trouvé la preuve mathématique définitive. C'est le prochain grand défi !

En une phrase : Ce papier nous dit que pour vérifier la sécurité de systèmes complexes, on peut utiliser une "recette" simple avec très peu d'ingrédients supplémentaires, même si la théorie complète de cette recette est encore en cours de finalisation.

Résumé Technique : Certificat de Non-négativité par Somme de Carrés pour les Quartiques Quaternaires

1. Problématique et Contexte

Le problème central de cet article concerne la certification de la non-négativité globale d'un polynôme homogène à $n$ variables et de degré $2d$ . Plus précisément, l'auteur s'intéresse au cas des quartiques quaternaires (4 variables, degré 4), notées $f \in P_{4,4}$ , où $f \ge 0$ .

Contexte historique : En 1888, Hilbert a démontré que tout polynôme non négatif n'est pas nécessairement une somme de carrés (s.o.s.) de polynômes, sauf dans des cas spécifiques ( $n=1$ , $2d=2$ , ou $n=2, 2d=4$ ). Pour les cas où ce n'est pas le cas, Hilbert (1893) a prouvé qu'il existe un multiplicateur $q$ tel que $qf$ devienne une somme de carrés.
La question ouverte : Pour les quartiques quaternaires ( $n=4, d=2$ ), il est connu que $f$ n'est pas toujours une somme de carrés. La question est de savoir quel est le degré minimal du multiplicateur $q$ nécessaire pour rendre $qf$ une somme de carrés. Des travaux antérieurs suggéraient que deux multiplicateurs quadratiques pourraient suffire, mais la nécessité de deux ou la suffisance d'un seul (notamment le coefficient dominant $a$ ) restait à prouver rigoureusement.

2. Méthodologie

L'auteur adopte une approche combinant réduction algébrique, géométrie algébrique et calcul symbolique (via le logiciel Macaulay2).

Réduction à un zéro réel :
L'article commence par montrer, via un changement de coordonnées orthogonal, qu'on peut supposer sans perte de généralité que le polynôme $f$ possède un zéro réel sur la sphère unité. Cela permet de réduire la forme générale d'une quartique quaternaire à un polynôme quadratique en une variable $u$ (l'une des coordonnées), dont les coefficients sont des formes en 3 variables :
$f(u, x) = a(x)u^2 + 2b(x)u + c(x)$
où $a, b, c$ sont des formes homogènes de degrés respectifs 2, 3 et 4 en les variables $x = (x_2, x_3, x_4)$ .
Analyse du Discriminant :
En complétant le carré, on obtient :
$a \cdot f = (au + b)^2 + \Delta$
où $\Delta = ac - b^2$ est le discriminant, une forme sextique ternaire (3 variables, degré 6).
L'auteur utilise un théorème de Hilbert (1893) qui stipule que pour toute forme sextique ternaire non négative $h$ , il existe un multiplicateur quadratique $q'$ tel que $q'h$ soit une somme de carrés.
Construction de Contre-exemples :
Pour tester la précision de la borne de degré, l'auteur cherche à construire des exemples où $\Delta$ est non négatif mais n'est pas une somme de carrés ( $\Delta \in P_{3,6} \setminus \Sigma_{3,6}$ ). Si un tel $\Delta$ existe, cela implique que la décomposition directe via Hilbert n'est pas triviale.
- L'auteur utilise des résultats de Blekherman sur les formes extrémales de $\partial \Sigma_{3,6}$ .
- Il construit explicitement des polynômes $a, b, c$ tels que $\Delta = ac - \tau b^2$ soit non négatif mais non s.o.s. pour une plage de paramètres $\tau$ .
Vérification Numérique et Symbolique :
L'auteur utilise Macaulay2 pour :
- Vérifier la non-négativité et la non-sommes-de-carrés des discriminants construits.
- Calculer les racines réelles et les décompositions s.o.s. approximatives.
- Rounding (arrondi) des coefficients pour obtenir des solutions rationnelles exactes.

3. Résultats Principaux

Théorème 2 (Certificat à deux multiplicateurs) :
Pour toute quartique quaternaire non négative $f$ , il existe deux formes quadratiques $q, q'$ (sommes de carrés) telles que $q q' f$ est une somme de carrés de quartiques.
- Preuve : En réduisant $f$ à la forme $au^2 + 2bu + c$ , on montre que $a f = (au+b)^2 + \Delta$ . Comme $\Delta$ est une sextique ternaire non négative, il existe un multiplicateur quadratique $q'$ tel que $q'\Delta$ soit s.o.s. Par conséquent, $q' a f$ est s.o.s.
Théorème 3 (Existence de discriminants non s.o.s.) :
Il existe des formes $a, b, c$ (de degrés 2, 3, 4) telles que le discriminant $\Delta = ac - b^2$ soit non négatif mais n'est pas une somme de carrés.
- Exemple explicite : L'auteur fournit des polynômes spécifiques (basés sur une perturbation d'un exemple de Robinson) où $\Delta_\tau = ac - \tau b^2 \in P_{3,6} \setminus \Sigma_{3,6}$ pour $\tau$ dans un intervalle précis.
Théorème 4 (Relation entre $f$ et $\Delta$ ) :
L'article établit un lien fort entre la décomposition s.o.s. de $f$ (avec multiplicateur) et celle de son discriminant $\Delta$ .
- Si $q f$ est s.o.s., alors $q \Delta$ (ou une variante pondérée) admet une décomposition s.o.s. spécifique appartenant à l'idéal $(a, b)$ .
- Inversement, si $a \Delta$ est s.o.s., alors $f$ est s.o.s. (sans multiplicateur supplémentaire).
Conjecture sur l'optimalité d'un seul multiplicateur :
Bien que le théorème 2 garantisse deux multiplicateurs, l'auteur observe que dans tous les exemples construits (y compris ceux où $\Delta$ n'est pas s.o.s.), le produit $a \cdot f$ est une somme de carrés.
- Cela suggère fortement que un seul multiplicateur quadratique ( $q=a$ ) suffit toujours pour rendre $af$ une somme de carrés.
- La borne de degré de Hilbert pour les sextiques ternaires est donc "presque" atteinte, mais la structure particulière des quartiques quaternaires permet potentiellement d'économiser un multiplicateur.

4. Signification et Implications

Avancée Théorique : Ce travail résout partiellement le problème de la borne de degré pour les multiplicateurs dans le cas des quartiques quaternaires. Il démontre que deux multiplicateurs quadratiques suffisent toujours, ce qui est une borne presque optimale par rapport aux résultats généraux de Hilbert.
Nuance sur la Conjecture de Hilbert : L'article met en lumière que la décomposition via le discriminant (méthode de Hilbert) n'est pas nécessairement la plus efficace. Le fait que $af$ soit souvent s.o.s. même quand $\Delta$ ne l'est pas indique que la géométrie de l'ensemble des quartiques non négatives est plus riche que ne le suggère l'approche par le discriminant seul.
Outils Computations : L'article fournit des exemples explicites et du code (Macaulay2) pour générer des formes non négatives non s.o.s., ce qui est crucial pour tester les algorithmes d'optimisation semi-définie (SDP) et les certificats de positivité.
Ouverture : La question de savoir si $q=a$ suffit toujours reste ouverte (conjecture de l'auteur). La preuve de cette conjecture nécessiterait de comprendre pourquoi la décomposition s.o.s. de $a\Delta$ implique celle de $af$ dans le cas général, ce qui n'est pas encore démontré rigoureusement pour tous les cas.

En conclusion, Pasechnik fournit un certificat de non-négativité efficace pour les quartiques quaternaires, réduisant le problème à l'étude du discriminant ternaire, et propose des preuves numériques fortes suggérant qu'un seul multiplicateur quadratique suffit, bien que la preuve formelle de cette suffisance unique reste un problème ouvert.