A systematic approach to Diophantine equations: open problems

Ce papier recueille des équations diophantiennes polynomiales qui, bien que d'une écriture remarquablement simple, s'avèrent apparemment très difficiles à résoudre.

L'essentiel

🕵️‍♂️ Le "Guide des Énigmes Mathématiques les plus petites"

Imaginez que les mathématiques soient un immense labyrinthe rempli de portes. Derrière chaque porte se cache une équation (une formule mathématique) qui demande : "Peut-on trouver des nombres entiers (1, 2, -5, 100...) qui rendent cette équation vraie ?"

La plupart de ces portes sont faciles à ouvrir. Mais il y a une poignée de portes, très petites et très simples à écrire, qui résistent à tous les efforts des meilleurs détectives mathématiques du monde. C'est ce que ce document, écrit par Bogdan Grechuk, recense.

C'est un peu comme un "Top 10 des énigmes les plus courtes mais les plus têtues" de la planète.

---

📏 Comment on mesure la difficulté ? (La "Taille" de l'équation)

Pour classer ces énigmes, l'auteur ne regarde pas seulement si elles sont difficiles à résoudre, mais combien de "chiffres" elles contiennent.

Il utilise une règle bizarre mais logique :

• Chaque chiffre dans l'équation compte pour un point.
• Plus un nombre est élevé (comme $x^5$), plus il coûte cher en points.
• Plus le coefficient (le nombre devant la lettre) est grand, plus ça coûte cher.

L'analogie du sac à dos :
Imaginez que vous devez porter ces équations dans un sac à dos. Plus l'équation est "lourde" (grosse taille), plus elle est facile à trouver et à résoudre. Les équations les plus légères (les plus petites) sont les plus mystérieuses. Si une équation est si petite qu'elle tient dans la poche d'un gilet, mais que personne ne sait si elle a une solution, c'est une énigme majeure !

---

🧩 Les différents types de défis

Le document ne se contente pas de lister les équations. Il les classe selon le type de question qu'on leur pose. Voici les quatre grands défis :

1. Le défi de la "Recette Universelle" (Paramétrisation)

• La question : "Peut-on écrire une seule formule magique qui génère toutes les solutions possibles ?"
• L'analogie : C'est comme si vous cherchiez une recette de gâteau. Si vous avez une recette qui dit "Mélangez X et Y", vous pouvez faire un gâteau. Mais si la question est "Existe-t-il une recette unique qui permet de faire tous les gâteaux possibles du monde ?", c'est beaucoup plus dur.
• Le mystère : Pour certaines équations minuscules (comme $x^2 + y^2 + zt + 1 = 0$), personne ne sait s'il existe une telle "recette universelle".

2. Le défi de la "Liste Complète" (Description des solutions)

• La question : "Peut-on lister toutes les solutions, même s'il y en a des millions ?"
• L'analogie : Imaginez que vous cherchez tous les grains de sable sur une plage. Parfois, la plage est finie (il y a un nombre limité de solutions). Parfois, elle est infinie. Le problème est de savoir si on peut faire une liste complète sans se tromper.
• Le mystère : Pour des équations comme $y^2 + z^2 = x^3 + 1$, on ne sait pas encore comment décrire toutes les solutions de manière satisfaisante.

3. Le défi du "Nombres Gigantesques" (Solutions arbitrairement grandes)

• La question : "Existe-t-il des solutions avec des nombres si grands qu'ils dépassent l'entendement ?"
• L'analogie : C'est comme demander : "Est-ce que ce jeu de cache-cache a une limite ? Si je me cache de plus en plus loin, est-ce que je vais toujours trouver un endroit caché, ou vais-je finir par tomber dans le vide ?"
• Le mystère : Pour certaines équations, on ne sait pas si l'on peut trouver des solutions infiniment grandes.

4. Le défi de l'Existence (Hilbert 10)

• La question : "Est-ce qu'il existe au moins une solution ?"
• L'analogie : C'est le plus simple en apparence : "Y a-t-il un trésor caché quelque part ?" Mais pour certaines équations, on ne sait même pas si le trésor existe, ni s'il n'existe pas. C'est comme chercher une aiguille dans une botte de foin, sauf que la botte de foin est faite de nombres infinis.

---

🚀 Pourquoi ce document est-il spécial ?

Ce papier est une carte au trésor vivante.

1. Il est mis à jour : L'auteur dit "Je vais mettre à jour cette liste régulièrement". C'est comme un tableau blanc dans une classe où l'on efface les énigmes résolues et où l'on écrit les nouvelles.
2. Il est honnête : Il ne cache pas les zones d'ombre. Il dit clairement : "On ne sait pas si c'est fini ou infini", "On ne sait pas si c'est résolu ou non".
3. Il est accessible : Il prend des équations qui tiennent sur une ligne (comme $x^3 + y^3 + z^3 = 3$) et nous dit : "Regardez, c'est si court, et pourtant, c'est un mur infranchissable pour les mathématiciens."

🏁 En résumé

Ce document est un catalogue des plus petites portes fermées du monde des mathématiques.

• Le but : Trouver les équations les plus simples qui résistent encore à la science.
• Le message : Même les formules les plus courtes peuvent cacher des secrets profonds.
• L'espoir : En listant ces équations, l'auteur espère qu'un jour, un jeune mathématicien (ou même un lecteur curieux) trouvera la clé pour ouvrir l'une de ces portes et dire : "J'ai résolu l'énigme !"

C'est une invitation à regarder les mathématiques non pas comme une science froide et terminée, mais comme une aventure pleine de mystères, où les plus petits indices peuvent mener aux plus grandes découvertes.

Résumé technique

Voici un résumé technique détaillé du document « A systematic approach to Diophantine equations: open problems » de Bogdan Grechuk, rédigé en français.

1. Problématique et Contexte

Le document aborde un problème fondamental en théorie des nombres : la classification et la résolution des équations diophantiennes polynomiales (équations de la forme $P(x_1, \dots, x_n) = 0$ où $P$ est un polynôme à coefficients entiers).

Bien que le dixième problème de Hilbert ait établi l'indécidabilité générale de la résolution de telles équations (il n'existe pas d'algorithme universel pour déterminer si une solution entière existe), la communauté mathématique s'intéresse à la complexité de ces équations. L'objectif de ce papier est de fournir une liste systématique et à jour des équations les plus petites (au sens d'une mesure de complexité spécifique) pour lesquelles des questions fondamentales restent ouvertes.

Le document vise à combler le fossé entre les équations trivialement résolues et celles dont la résolution nécessite des outils mathématiques profonds, en se concentrant sur les cas limites où la solution est inconnue.

2. Méthodologie

L'auteur adopte une approche systématique basée sur le classement des équations par « taille » ($H$) et par « longueur » ($l$), permettant d'ordonner les problèmes par ordre de difficulté croissante.

A. Définition de la Taille ($H$)

Pour un polynôme $P$ composé de $k$ monômes non similaires (degrés $d_i$ et coefficients $a_i$), la taille $H(P)$ est définie par la formule :
$$H(P) = \sum_{i=1}^{k} |a_i| 2^{d_i}$$
Cette mesure permet de quantifier la complexité d'une équation. L'idée sous-jacente est que pour une taille $H$ donnée, il n'existe qu'un nombre fini d'équations (à permutation de variables et signes près). L'auteur propose donc de résoudre les équations dans l'ordre croissant de $H$.

B. Équivalence et Réduction

Pour éviter la redondance, les équations sont regroupées en classes d'équivalence. Deux équations sont considérées équivalentes si l'une peut être obtenue de l'autre par :

1. Multiplication par une constante non nulle.
2. Substitution $x_i \to -x_i$.
3. Renommage et permutation des variables.

Seule une équation représentative de chaque classe est listée.

C. Catégories d'Étude

Le document catégorise les équations selon plusieurs critères structurels :

• Homogènes : Tous les monômes ont le même degré.
• Symétriques : Invariantes par permutation des variables.
• Cycliques : Invariantes par décalage cyclique des variables.
• À monômes indépendants : Aucun monôme ne partage de variable avec un autre.

D. Mesure de Longueur ($l$)

Une alternative à la taille $H$ est la longueur $l(P)$, définie comme la somme des logarithmes des coefficients et des degrés, ou plus simplement $l(P) = \log_2(L(P))$ où $L(P) = \prod |a_i| 2^{d_i}$. Cette mesure est utilisée pour identifier les équations « les plus courtes » (en termes de notation).

3. Questions Fondamentales (Problèmes Ouverts)

Le papier structure les problèmes ouverts autour de sept questions principales, classées par rigueur croissante :

1. Paramétrisation polynomiale (Problème 1) : L'ensemble des solutions entières peut-il être décrit comme une union finie de familles polynomiales ? (Les plus petites équations ouvertes sont listées dans le Tableau 1, $H=13$).
2. Description « raisonnable » des solutions (Problème 3) : Peut-on décrire l'ensemble des solutions (entières ou rationnelles) via des expressions rationnelles, des relations de récurrence ou des transformations ? Les équations $y^2 + z^2 = x^3 \pm 1$ ($H=17$) sont les plus petites ouvertes pour ce problème.
3. Existence de solutions arbitrairement grandes (Problème 2) : Pour tout $k$, existe-t-il une solution telle que $\min(|x_i|) \ge k$ ? Si non, toutes les solutions doivent être listées.
4. Finitude vs Infinité (Problème 4) : L'ensemble des solutions est-il fini ou infini ? Si fini, les lister.
5. Existence de solutions non triviales (Problème 5) : Pour les équations homogènes, existe-t-il une solution non nulle ?
6. Existence de solutions entières (Problème 6) : L'équation admet-elle au moins une solution entière ? (C'est la version restreinte du 10e problème de Hilbert).
7. Existence de solutions positives (Problème 7) : Existe-t-il une solution dans $\mathbb{Z}^+$ ?

4. Résultats Clés et Contributions

Le document compile les équations les plus petites pour lesquelles chaque problème reste ouvert. Voici les résultats saillants :

• Équations de taille minimale ($H=13$) : Pour le problème de paramétrisation (Problème 1), des équations simples comme $x^2 + y^2 + zt + 1 = 0$ sont encore non résolues.
• Équations à deux variables : Le Tableau 2 liste les équations ouvertes de taille $H \le 31$. Toutes ont un genre de 3, et la question ouverte est de lister explicitement leurs solutions finies. L'équation de genre 2 la plus petite ouverte est $x^4 - x^2 + xy + y^3 = 0$ ($H=32$).
• Équations symétriques et cycliques :
  • La plus petite équation cyclique ouverte est $x^2y + y^2z + z^2x = 1$ ($H=25$).
  • Pour les équations symétriques, $x^3 + y^3 + z^3 = 3$ ($H=27$) est un cas célèbre (lié au problème des sommes de trois cubes).
• Équations homogènes : Le Tableau 6 présente les équations homogènes ouvertes de taille $H \le 64$. La plus petite équation de la forme $ax^d + by^d + cz^d = 0$ ouverte est $4x^5 + 4y^5 + 11z^5 = 0$($H=608$).
• Équations cubiques : La plus petite équation cubique ouverte pour le problème d'existence (Problème 6) est $2 + 2x + x^3 - y^2 - xy^2 + xz^2 = 0$($H=34$).
• Mise à jour dynamique : Le document inclut une section (8) détaillant les changements entre les versions, montrant comment certaines équations précédemment considérées comme ouvertes ont été résolues (par des méthodes classiques, des substitutions astucieuses, ou même par des IA comme ChatGPT 5.4 Pro pour certaines équations spécifiques).

5. Signification et Impact

Ce document est une contribution majeure à la recherche en équations diophantiennes pour plusieurs raisons :

1. Cartographie de la difficulté : Il fournit une « carte » précise des frontières de la connaissance mathématique actuelle. En classant les équations par taille, il permet aux chercheurs de cibler les problèmes les plus accessibles mais non résolus.
2. Standardisation : En définissant une mesure de complexité ($H$) et des classes d'équivalence claires, il offre un cadre standardisé pour comparer les progrès dans différents sous-domaines (homogène, symétrique, etc.).
3. Outil de référence : Il sert de référence pour éviter la redondance des recherches. Les chercheurs peuvent vérifier si une équation qu'ils étudient est déjà listée comme ouverte ou résolue.
4. Dynamisme : La nature vivante du document (avec des mises à jour de version) reflète l'évolution rapide du domaine, intégrant de nouvelles solutions et ajustant la liste des problèmes ouverts en temps réel.

En résumé, ce papier ne propose pas de nouvelles solutions théoriques générales, mais établit un état de l'art rigoureux et quantifié des équations diophantiennes polynomiales, identifiant précisément où la mathématique actuelle atteint ses limites pour des équations de complexité minimale.