🔢 mathematics

From ABC to Effective Roth and Ridout Constants for Cubic Roots

Cet article dérive des bornes effectives explicites pour les constantes de Roth et de Ridout pour les racines cubiques en exploitant la conjecture ABC et les formules de continued fraction de Bombieri, tout en introduisant le concept de « gain d'approximation » pour proposer une nouvelle stratégie d'attaque de la conjecture ABC basée sur l'évidence computationnelle que ce gain reste inférieur à 1,5.

Auteurs originaux : Karsten Müller, Michael Taktikos

Publié 2026-02-06

📖 5 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Karsten Müller, Michael Taktikos

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Imaginez que vous essayiez de deviner la valeur exacte d'un nombre mystérieux, comme la racine cubique de 2 (un nombre qui, lorsqu'il est multiplié par lui-même trois fois, est égal à 2). Vous ne pouvez pas l'écrire exactement car il continue indéfiniment sans se répéter. Vous utilisez donc des fractions (comme 4/3 ou 5/4) pour vous rapprocher de plus en plus de la valeur réelle.

Ce document traite de la mesure de la précision de ces estimations, et de la manière dont une énigme mathématique célèbre et non résolue, la conjecture ABC, aide à mesurer cette proximité.

Voici la décomposition des idées du document en utilisant des analogies simples :

1. Le Problème : Le mystère de la « l'estimation parfaite »

En mathématiques, il existe une règle célèbre appelée le théorème de Roth. Elle stipule que, peu importe vos efforts, vous ne pouvez pas vous approcher trop près d'une racine cubique sans que les nombres de votre fraction ne deviennent incroyablement grands.

Cependant, la preuve originale de cette règle est comme un tour de magie : elle prouve que le tour fonctionne, mais elle ne vous donne pas la formule secrète ou la taille que les nombres doivent atteindre. Elle est « inefficace ». Les auteurs de ce document voulaient trouver cette formule secrète. Ils voulaient pouvoir dire : « D'accord, si vous utilisez une fraction avec un dénominateur de 1 000, l'erreur ne peut pas être plus petite que X. »

2. L'Outil : Le détective « ABC »

Pour résoudre cela, les auteurs utilisent la conjecture ABC. Considérez la conjecture ABC comme une règle stricte sur la façon dont les nombres s'additionnent.

Imaginez que vous avez trois nombres : $A + B = C$ .
La règle examine les « blocs de construction » (facteurs premiers) de ces nombres.
La conjecture stipule que : si $C$ est beaucoup plus grand que le produit de ses blocs de construction, c'est un événement rare et spécial (un « coup ABC »).

Les auteurs ont réalisé que chaque fois que vous faites une bonne estimation (une fraction) pour une racine cubique, vous créez une équation spécifique qui ressemble exactement à un puzzle ABC. En appliquant la règle ABC à ces équations, ils ont enfin pu calculer la « formule secrète » du théorème de Roth.

3. Le Nouveau Concept : Le « Gain d'Approximation »

Les auteurs ont introduit une nouvelle façon de mesurer ces puzzles numériques spéciaux. Ils l'appellent le « Gain d'Approximation ».

L'analogie : Imaginez que vous grimpez une montagne (essayer d'atteindre la vraie valeur de la racine cubique).
- Qualité : Cela mesure à quel point votre ascension est « impressionnante » en fonction de l'équipement (facteurs premiers) que vous avez transporté.
- Gain d'Approximation : Cela mesure à quel point vous vous êtes rapproché du sommet par rapport à l'effort que vous avez fourni.

Les auteurs ont lancé une simulation informatique massive, vérifiant des millions de ces puzzles numériques. Ils ont découvert quelque chose de surprenant : le Gain d'Approximation ne semble jamais dépasser 1,5 (ou 3/2).

C'est comme s'ils avaient découvert une « limite de vitesse » pour la façon dont on peut grimper cette montagne mathématique de manière efficace. Même dans les cas les plus extrêmes, le gain reste inférieur à ce faible seuil.

4. La Stratégie : Diviser le problème

Le document suggère une nouvelle stratégie pour finalement résoudre la conjecture ABC elle-même. Au lieu d'essayer de résoudre toute la montagne d'un coup, ils suggèrent de diviser l'« ascension » en deux parties distinctes :

Le Gain d'Approximation : À quel point l'estimation est proche. (Les auteurs ont prouvé que cela est probablement plafonné à 1,5 pour les racines cubiques).
Le Gain de Puissance : À quel point les « blocs de construction » (facteurs premiers) aident le nombre à croître.

Ils soutiennent que si vous pouvez prouver que ces deux parties ont une limite, vous pouvez prouver l'ensemble de la conjecture ABC. C'est comme dire : « Si nous connaissons la limite de vitesse de la voiture et la limite de vitesse du vent, nous pouvons prouver la limite de vitesse totale de la course. »

5. Ce qu'ils ont réellement trouvé

Pour les racines cubiques : Ils ont réussi à transformer le « tour de magie » du théorème de Roth en un calcul concret. Ils ont montré exactement comment la règle ABC se traduit en une limite sur la proximité avec laquelle les fractions peuvent s'approcher des racines cubiques.
Pour les racines carrées : Ils ont appliqué une logique similaire aux racines carrées, prouvant qu'il n'existe qu'un nombre fini de fractions « spéciales » pour elles, et qu'ils peuvent calculer la limite exacte.
La Grande Conjecture : Sur la base de leurs vérifications informatiques (jusqu'à des nombres énormes), ils soupçonnent fortement que le « Gain d'Approximation » est toujours inférieur à 1,5. Si cela est vrai, c'est une étape majeure vers la résolution de la conjecture ABC.

Résumé

En bref, ce document prend une règle mathématique très abstraite et non prouvée (ABC), l'utilise pour corriger une règle vague et défaillante sur l'estimation des nombres (théorème de Roth), et découvre une « limite de vitesse » cachée (Gain d'Approximation) qui pourrait être la clé pour déverrouiller le mystère entier de la relation entre les nombres. Ils n'ont pas encore résolu la conjecture ABC, mais ils ont construit une meilleure carte et un nouveau compas pour aider à trouver la solution.

Résumé Technique : De l'ABC aux constantes effectives de Roth et de Ridout pour les racines cubiques

Énoncé du Problème
Le théorème de Roth (1955) établit que pour tout nombre algébrique $\alpha$ et tout $\epsilon > 0$ , il existe une constante $C(\alpha, \epsilon)$ telle que $|\alpha - p/q| > C/q^{2+\epsilon}$ pour tous les entiers $p, q$ . Cependant, la preuve originale est ineffective, ce qui signifie qu'elle garantit l'existence de $C$ sans fournir de méthode pour calculer une valeur explicite. Bien que Bombieri (1994) et Van Frankenhuysen (1999) aient démontré que la conjecture ABC implique le théorème de Roth, ces implications n'ont pas produit de constantes explicites dans une famille naturelle de cas. Cet article comble l'écart entre l'existence conditionnelle des bornes de type Roth et la dérivation de constantes explicites et effectives, spécifiquement pour les racines cubiques ( $\sqrt[3]{k}$ ), en exploitant une forme effective de la conjecture ABC.

Méthodologie
Les auteurs emploient une approche constructive liant les données d'approximation diophantienne aux propriétés arithmétiques des triplets ABC. La méthodologie centrale comprend trois composantes principales :

Formule de Bombieri–Van der Poorten : Les auteurs utilisent la formule explicite pour les coefficients ( $b_n$ ) de la fraction continue régulière des nombres algébriques, spécialisée pour les racines cubiques ( $\alpha = \sqrt[3]{k}$ ). Pour les convergents $p_n/q_n$ , la formule relie le coefficient suivant $b_{n+1}$ au terme de reste $d_n = |p_n^3 - k q_n^3|$ . Spécifiquement pour les racines cubiques, le terme de tête domine le reste, produisant l'inégalité rigoureuse :
$b_{n+1} \leq \frac{3p_n^2 q_n}{d_n}$
Cela permet de traduire la qualité de l'approximation (encodée par $b_n$ ) en données arithmétiques ( $d_n$ ).
Construction de triplets ABC : Les « équations résultantes » issues des convergents, $p_n^3 = k q_n^3 + d_n$ , sont transformées en triplets ABC premiers entre eux. En définissant $g_n = \gcd(k q_n^3, d_n) = \gcd(k, p_n^3)$ , les auteurs construisent le triplet :
$\left( \frac{p_n^3}{g_n}, \frac{k q_n^3}{g_n}, \frac{d_n}{g_n} \right)$
Cela garantit que le triplet est composé d'entiers premiers entre eux, satisfaisant les prérequis pour l'application de la conjecture ABC.
Dérivation de Bornes Effectives : En supposant une forme effective de la conjecture ABC (où une constante $K_\epsilon$ existe telle que $c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$ ), les auteurs injectent le triplet construit dans l'inégalité. En combinant cela avec la borne de Bombieri–Van der Poorten pour $b_{n+1}$ , ils dérivent une relation explicite entre le paramètre $\epsilon$ de Roth ( $\epsilon_{Roth}$ ) et le $\epsilon$ de la conjecture ABC ( $\epsilon_{ABC}$ ), ainsi qu'une borne supérieure explicite pour l'inverse de la constante de Roth ( $1/C$ ).

Contributions Clés et Résultats

Constantes de Roth Explicites pour les Racines Cubiques : L'article dérive une borne entièrement explicite pour l'inverse de la constante de Roth pour $\sqrt[3]{k}$ . La relation entre les paramètres est donnée par $\epsilon_{Roth} = \frac{3\epsilon_{ABC}}{1+\epsilon_{ABC}}$ . La borne pour $1/C$ est exprimée en termes de la constante ABC $K_\epsilon$ , de l'entier $k$ et des convergents initiaux.
Analyse Numérique pour $\sqrt[3]{2}$ : Les auteurs appliquent leur méthode à $\sqrt[3]{2}$ . Pour $\epsilon_{Roth} = 0.5$ , la dérivation basée sur l'ABC produit une borne d'environ $13.16$ pour $1/C$ , comparée au résultat exact de Korobov qui est de $3.15$. Bien que la borne dérivée de l'ABC soit moins précise dans ce cas spécifique (attribuée à l'utilisation de bornes supérieures grossières pour les convergents), elle démontre la faisabilité de la méthode. Des calculs similaires sont fournis pour $\epsilon_{Roth} = 0.4$ .
Extension au Théorème de Ridout : La méthodologie est étendue pour fournir des bornes explicites pour le nombre de solutions dans le théorème de Ridout (concernant les approximations par des $S$ -entiers) pour les racines carrées et les racines cubiques. Les auteurs montrent que pour un $\epsilon > 0$ fixé et une constante ABC effective, l'ensemble des solutions est fini et explicitement borné.
Gain d'Approximation et la Conjecture : Un nouveau concept, le « gain d'approximation », est introduit comme un raffinement de la « qualité » d'un succès (hit) ABC. Il est défini sur la base du rapport logarithmique des termes de l'équation résultante. Les auteurs prouvent que pour les racines cubiques ( $k \geq 3$ $k \geq 3$ et $k=2$ $k = 2$ ), le gain d'approximation est strictement borné par $3/2$ $3/2$ .
- Théorèmes 2.7 & 2.8 : Pour toutes les équations résultantes issues des convergents de $\sqrt[3]{k}$ , le gain d'approximation est inférieur à $3/2$ .
- Vérification Computationnelle : Cette borne a été vérifiée par calcul pour $c < 2^{63}$ .

Signification et Revendications
L'article affirme rendre explicite la dépendance des constantes de type Roth vis-à-vis des paramètres ABC, passant d'une implication théorique à un cadre calculable pour les racines cubiques. La signification réside dans :

Pont entre Théorie et Calcul : Il fournit un chemin concret pour calculer les bornes d'approximation diophantienne en supposant une conjecture ABC effective.
Décomposition Stratégique de l'ABC : Les auteurs proposent une stratégie potentielle pour attaquer la conjecture ABC en séparant la « qualité » d'un succès ABC en deux composantes : le « gain d'approximation » et le « gain de puissance ».
- Ils conjecturent que le gain d'approximation est toujours borné par $3/2$ (prouvé pour les racines cubiques).
- Ils suggèrent que si le gain de puissance peut également être borné (par exemple, par 3), la conjecture ABC pourrait être prouvée.
Raffinement des Bornes : Le travail introduit le gain d'approximation comme une métrique qui est toujours inférieure ou égale à la qualité standard, offrant une contrainte potentiellement plus serrée pour analyser les succès ABC.

Les auteurs restent modestes quant à la précision des constantes de Roth dérivées, notant que dans les cas testés (comme $\sqrt[3]{2}$ ), les bornes basées sur l'ABC sont actuellement plus lâches que les résultats spécifiques connus (par exemple, ceux de Korobov). Cependant, ils soulignent que l'approche réussit à rendre les constantes explicites et offre une nouvelle décomposition pour la recherche future sur la conjecture ABC.