🔢 mathematics

Waring's problem involving D.H. Lehmer numbers

Cet article prouve que tout entier suffisamment grand, à l'exception de ceux congrus à 15 ou 16 modulo 16, peut être exprimé comme la somme de 14 puissances quatrièmes de nombres de D.H. Lehmer, tandis que tous les entiers suffisamment grands peuvent être représentés comme la somme de 16 de ces puissances quatrièmes.

Auteurs originaux : Yang Qu, Rong Ma

Publié 2026-06-09

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yang Qu, Rong Ma

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

Imaginez que vous possédez une boîte géante et infinie de blocs de construction. Dans le monde des mathématiques, il existe un jeu célèbre appelé le problème de Waring. Le but de ce jeu est simple : pouvez-vous construire n'importe quel grand nombre en utilisant un nombre spécifique de « blocs de puissance » ?

Par exemple, pouvez-vous construire le nombre 100 en utilisant uniquement des carrés (comme $1^2, 2^2, 3^2$ ) ? Des cubes ? Les mathématiciens de cet article jouent une version spécifique de ce jeu en utilisant des puissances quatrièmes (des nombres comme $1^4, 2^4, 3^4, 4^4$ , qui sont 1, 16, 81, 256, etc.).

Les blocs spéciaux « Lehmer »

D'habitude, vous pouvez utiliser n'importe quel nombre entier pour construire votre tour. Mais les auteurs de cet article ont décidé de jouer avec un ensemble de blocs très exigeants appelés nombres de D.H. Lehmer.

Voyez ces nombres comme des « membres VIP » du monde des nombres. Pour être un VIP (un nombre de Lehmer), un nombre doit passer un contrôle de sécurité strict impliquant un nombre premier (appelons-le $p$ ) :

Il doit être premier avec $p$ (il ne partage aucun facteur avec $p$ ).
Si vous trouvez son « partenaire » (son inverse modulaire) et que vous les additionnez, le résultat doit être un nombre impair.

C'est comme un club où l'on ne peut entrer que si votre numéro d'identification et celui de votre partenaire s'additionnent pour donner une somme impaire. Les auteurs voulaient voir si ces blocs VIP spécifiques et restreints étaient encore assez solides pour construire n'importe quel grand nombre.

La grande découverte

L'article prouve deux choses principales concernant la construction de ces nombres en utilisant les puissances quatrièmes de ces blocs VIP :

1. La règle du « Presque Parfait » (Théorème 1)
Si vous avez un nombre très grand, vous pouvez presque toujours le construire en utilisant 14 de ces blocs de puissance VIP.

Le bémol : Il existe deux exceptions. Si votre nombre cible laisse un reste de 15 ou 16 lorsque vous le divisez par 16, vous ne pouvez pas le construire avec seulement 14 blocs. C'est comme essayer de faire entrer une cheville carrée dans un trou rond ; la logique mathématique ne s'aligne tout simplement pas pour ces nombres spécifiques.

2. La règle du « Pari Sûr » (Théorème 2)
Si vous acceptez d'utiliser 16 blocs au lieu de 14, vous pouvez construire n'importe quel nombre suffisamment grand, quel que soit le reste.

Pourquoi 16 ? Les auteurs ont remarqué que le nombre 1 lui-même est un bloc VIP. Ainsi, si vous avez un nombre « têtu » (un nombre qui est 15 ou 16 mod 16), vous pouvez simplement soustraire deux 1 (qui sont des $1^4$ ) de votre cible. Cela transforme le nombre en un nombre qui peut être construit avec 14 blocs. Ajoutez les deux 1 à la fin, et vous avez utilisé 16 blocs au total pour construire le nombre d'origine.

Comment ils l'ont résolu

Pour prouver cela, les auteurs n'ont pas simplement essayé des combinaisons au hasard. Ils ont utilisé une boîte à outils mathématique sophistiquée appelée la méthode du cercle de Hardy-Littlewood.

Imaginez essayer de trouver une aiguille spécifique dans une botte de foin.

La méthode du cercle est comme un immense détecteur de métaux qui scanne toute la botte de foin. Elle sépare les parties « faciles » du problème (où les nombres se comportent bien) des parties « difficiles » (où ils sont chaotiques).
Les auteurs ont dû démontrer que même avec leurs blocs VIP restreints, les parties « faciles » du scan étaient assez fortes et claires pour garantir une solution, tandis que les parties « difficiles » étaient trop silencieuses pour causer le moindre problème.

Ils ont également dû prouver qu'il y avait assez de blocs VIP disponibles pour faire le travail. Ils ont montré que ces nombres sont distribués de manière assez dense pour que vous ne manquiez jamais de ressources lorsque vous devez construire une grande tour.

L'essentiel

Cet article est une victoire pour les nombres « VIP ». Il montre que même si les nombres de D.H. Lehmer sont un sous-ensemble d'entiers très spécifique et exigeant, ils sont assez puissants pour résoudre un problème classique et difficile.

Avec 14 blocs : Vous pouvez construire presque tout (sauf les nombres qui sont 15 ou 16 mod 16).
Avec 16 blocs : Vous pouvez construire absolument tout.

C'est un peu comme découvrir que même si vous ne possédez que des briques LEGO rouges et bleues (au lieu de toutes les couleurs), vous pouvez quand même construire presque n'importe quel château, à condition d'en avoir suffisamment.

Résumé Technique : Le Problème de Waring impliquant les nombres de D.H. Lehmer

Énoncé du Problème
Cet article traite d'une variation du problème classique de Waring, en étudiant spécifiquement la représentation des entiers positifs suffisamment grands comme sommes de puissances quatrièmes de nombres de D.H. Lehmer. Soit $p$ un nombre premier impair. Un nombre de D.H. Lehmer est défini comme un entier $a$ tel que $1 \le a \le p$ , $\gcd(a, p) = 1$ , et $a + \bar{a} \equiv 1 \pmod 2$ , où $\bar{a}$ est l'inverse multiplicatif unique de $a$ modulo $p$ dans l'intervalle $[1, p]$ . L'ensemble de ces nombres est noté $L(p)$ .

Les auteurs cherchent à déterminer le nombre de puissances quatrièmes d'éléments de $L(p)$ nécessaires pour représenter tout entier suffisamment grand $N$ . Cela s'appuie sur les résultats classiques de H. Davenport, qui a établi que tout entier suffisamment grand est la somme de 16 puissances quatrièmes d'entiers naturels, et que tout entier suffisamment grand non congru à 15 ou 16 modulo 16 est la somme de 14 de ces puissances. L'article vise à étendre ces conclusions à l'ensemble restreint des nombres de D.H. Lehmer.

Méthodologie
Les auteurs emploient la méthode du cercle de Hardy-Littlewood, une technique analytique standard pour les problèmes de théorie additive des nombres. Le cœur de la méthodologie implique :

Fonctions Génératrices : Les auteurs définissent des sommes exponentielles sur l'ensemble $L(p)$ . Spécifiquement, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$ , où $P \approx (N/100)^{1/4}$ . Pour traiter la représentation de $N$ comme somme de 14 puissances quatrièmes, ils introduisent un ensemble auxiliaire d'entiers $\{u_1, \dots, u_U\}$ , qui sont des sommes de 4 puissances quatrièmes de nombres de Lehmer, et définissent $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$ .
Représentation Intégrale : Le nombre de représentations, $r_{14}(N)$ , est exprimé comme une intégrale sur l'intervalle unité : $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$ .
Arcs Majeurs et Mineurs : Le domaine d'intégration est divisé en arcs majeurs $\mathfrak{M}$ $M$ (proches des nombres rationnels avec de petits dénominateurs) et arcs mineurs $\mathfrak{m}$ $m$ .
- Approximation sur les Arcs Majeurs : Les auteurs approchent la somme exponentielle $T(\alpha)$ sur les arcs majeurs en utilisant une composante de série singulière $T^*(\alpha, a, q)$ et un terme d'erreur $H(\alpha)$ . Cela repose sur la décomposition de la somme sur $L(p)$ en utilisant des sommes de caractères et les propriétés de la fonction de Möbius.
- Estimation sur les Arcs Mineurs : En utilisant l'inégalité de Weyl et des bornes sur les sommes exponentielles impliquant des caractères, les auteurs établissent que la contribution des arcs mineurs est négligeable par rapport au terme principal.
Lemmes et Bornes : La preuve repose sur une série de lemmes établissant des bornes pour :
- Les sommes de caractères (Lemme 1).
- La distribution des nombres de Lehmer dans des intervalles courts (Lemme 3, Lemme 5).
- Le nombre de solutions à des équations de la forme $x^4 + u_h = y^4 + u_i$ (Lemme 6).
- La densité des nombres représentables comme sommes de $s$ puissances quatrièmes de nombres de Lehmer (Lemme 7).
- Les bornes pour $T(\alpha)$ sur les arcs majeurs et mineurs (Lemme 8, Lemme 14).

Contributions Clés et Résultats
L'article établit deux théorèmes principaux concernant la représentabilité des grands entiers :

Théorème 1 : Tout entier positif suffisamment grand $N$ , à condition que $N \not\equiv 15, 16 \pmod{16}$ , peut être représenté comme la somme de 14 puissances quatrièmes de nombres de D.H. Lehmer.
Théorème 2 : Tout entier positif suffisamment grand peut être représenté comme la somme de 16 puissances quatrièmes de nombres de D.H. Lehmer.

La preuve du Théorème 1 consiste à montrer que le terme principal de la représentation intégrale domine les termes d'erreur, garantissant $r_{14}(N) > 0$ pour les classes de congruence spécifiées. Le Théorème 2 découle immédiatement du Théorème 1 et de l'observation que 1 est un nombre de Lehmer ; ainsi, les entiers congruents à 15 ou 16 modulo 16 peuvent être réduits à la forme $N-2$ (qui appartient aux classes de congruence autorisées) en soustrayant deux instances de $1^4$ .

Signification et Revendications
Les auteurs affirment qu'il s'agit de la première recherche menée sur le problème de Waring impliquant spécifiquement les nombres de D.H. Lehmer. La signification du travail réside dans :

Extension des Résultats Classiques : Il adapte avec succès les méthodes matures utilisées pour le problème classique de Waring (spécifiquement pour $k=4$ ) à un ensemble restreint d'entiers définis par des propriétés d'arithmétique modulaire.
Validation de $G(4)=16$ : Les auteurs notent que leur résultat, qui restreint la plage des entiers représentables comme sommes de 16 puissations quatrièmes au sous-ensemble spécifique des nombres de Lehmer, fournit une perspective alternative validant le résultat classique $G(4)=16$ .
Problèmes Ouverts : L'article conclut en suggérant que la décomposition de $N$ en sommes de puissances restreintes aux nombres de D.H. Lehmer pour d'autres cas du problème de Waring reste un domaine ouvert pour des investigations futures.

Ce travail est soutenu par le Projet de Recherche Fondamentale en Sciences de Shaanxi pour les Mathématiques et la Physique ainsi que par le Projet de Recherche Fondamentale en Sciences Naturelles de la province de Shaanxi.

Les blocs spéciaux « Lehmer »

La grande découverte

Comment ils l'ont résolu

L'essentiel

Articles similaires