🔢 mathematics

Representations of positive integers by three almost-prime squares

Cet article améliore les résultats précédents en prouvant que tout entier suffisamment grand $N$ satisfaisant des conditions de congruence spécifiques peut être représenté comme la somme de trois carrés où le produit des bases est un nombre $P_{67}$ , chaque base est un nombre $P_{27}$ , ou une variante unidimensionnelle associée implique un nombre $P_{18}$ , ce qui est réalisé en combinant des cribles multidimensionnels, un crible pondéré de type Richert et des estimations de type Bombieri-Vinogradov.

Auteurs originaux : Yue-Feng She, Yu-Chen Sun, Guang-Liang Zhou

Publié 2026-06-04

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yue-Feng She, Yu-Chen Sun, Guang-Liang Zhou

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 ayez un nombre géant, magique, appelons-le N. Vous voulez construire ce nombre en suivant une recette très spécifique : vous devez trouver trois autres nombres, les mettre au carré (les multiplier par eux-mêmes) et les additionner pour obtenir N.

Les mathématiciens savent depuis longtemps que si N est suffisamment grand et suit quelques règles simples (comme ne pas être un multiple de 5 et laisser un reste de 3 lorsqu'on le divise par 24), on peut presque toujours le faire. Mais il y a un bémol : d'habitude, les trois nombres que vous utilisez pour construire N sont simplement des entiers ordinaires.

Cet article porte sur une version beaucoup plus difficile de ce casse-tête. Les auteurs veulent savoir : pouvons-nous construire ce nombre géant en utilisant trois carrés « presque-premiers » ?

Qu'est-ce qu'un « presque-premier » ?

Considérez les nombres premiers (comme 2, 3, 5, 7) comme les blocs de construction les plus « purs » des mathématiques. Ils ne peuvent pas être décomposés davantage.

Un Premier est un bloc qui possède exactement un « ingrédient » (lui-même).
Un Presque-premier est un bloc qui est presque pur. Il peut avoir quelques ingrédients supplémentaires mélangés.
- Un nombre P2 est un nombre ayant au plus 2 ingrédients premiers (comme $6 = 2 \times 3$ ).
- Un nombre P67 est un nombre ayant au plus 67 ingrédients premiers.

Plus un nombre a d'ingrédients, moins il est « pur ». L'objectif de cet article est de trouver une recette où les ingrédients sont les plus « purs » possibles.

Le Grand Accomplissement

Les auteurs, Yue-Feng She, Yu-Chen Sun et Guang-Liang Zhou, ont réussi à améliorer un record précédent établi par un autre mathématicien nommé Waibel.

L'ancienne recette (Waibel) :
Waibel a montré que l'on pouvait construire N en utilisant trois carrés dont le produit des trois nombres possédait au plus 72 ingrédients.

Analogie : Imaginez que vous construisez une tour. Waibel a dit : « Vous pouvez utiliser trois briques, tant que le nombre total de fissures dans les trois briques combinées ne dépasse pas 72. »

La nouvelle recette (Cet article) :
Les auteurs ont prouvé que l'on peut faire mieux. Ils ont montré que l'on peut construire N de deux manières différentes, encore plus strictes :

L'approche par le « Travail d'équipe » (Théorème 1.1) :
Vous pouvez trouver trois nombres ( $x_1, x_2, x_3$ ) tels que, lorsque vous les multipliez tous ensemble, le nombre total d'ingrédients premiers est au plus de 67.
- Analogie : Vous avez toujours trois briques, mais maintenant le nombre total de fissures dans toute la pile est réduit à 67. C'est une construction plus serrée, plus propre.
L'approche par la « Pureté Individuelle » (Théorème 1.2) :
Ceci est encore plus impressionnant. Ils ont prouvé que chacun des trois nombres est individuellement très pur. Chaque nombre possède au plus 27 ingrédients premiers.
- Analogie : Au lieu de simplement vérifier le nombre total de fissures dans la pile, ils ont prouvé que chaque brique que vous utilisez possède moins de 27 fissures. Vous utilisez trois briques de très haute qualité, presque pures.

Le second casse-tête : Une forme différente

L'article s'attaque également à une version légèrement différente du problème. Au lieu de trois carrés ( $x^2 + y^2 + z^2$ ), ils ont examiné une forme qui ressemble à $x^2 + y^2 + (2az)^2$ .

Le résultat ancien : Un mathématicien nommé Banerjee a montré que l'on pouvait faire cela si le dernier nombre ( $z$ ) avait au plus 118 ingrédients.
Le nouveau résultat : Les auteurs ont prouvé que l'on peut faire cela si $z$ $z$ a au plus 18 ingrédients.
- Analogie : Banerjee a dit : « Vous pouvez construire cette forme si la pièce finale a jusqu'à 118 fissures. » Les auteurs ont dit : « Non, nous pouvons la construire avec une pièce finale qui n'a que 18 fissures. » C'est une amélioration massive de la qualité.

Comment ont-ils fait ?

Ils n'ont pas simplement deviné. Ils ont utilisé une boîte à outils mathématique sophistiquée appelée Méthodes de Crible.

L'analogie du crible : Imaginez que vous avez un seau géant de sable (tous les nombres possibles). Vous voulez trouver les pépites d'or (les nombres « presque-premiers » qui correspondent à votre recette).
- D'abord, vous utilisez un crible grossier pour retirer les gros cailloux (les nombres avec trop de facteurs).
- Ensuite, vous utilisez un crible plus fin pour retirer les cailloux de taille moyenne.
- Enfin, vous utilisez un crible très fin et pondéré (une méthode introduite par Cai et affinée par les auteurs) pour filtrer la poussière, ne laissant que l'or le plus pur.

Ils ont combiné ce processus de « tamisage » avec des estimations avancées (comme les résultats de « Bombieri-Vinogradov » et de « Waibel ») pour prouver que les pépites d'or ne sont pas seulement rares, mais qu'elles sont en fait assez abondantes pour garantir une solution pour tout nombre N suffisamment grand.

Résumé

En termes simples, cet article est une victoire pour la précision mathématique. Les auteurs ont pris un casse-tête connu sur la construction de nombres à partir de carrés et ont prouvé que l'on peut le faire en utilisant des ingrédients qui sont beaucoup plus « purs » (ont moins de facteurs premiers) que ce qu'il avait été prouvé possible auparavant. Ils ont resserré les règles, passant de « 72 fissures » à « 67 fissures au total » ou « 27 fissures par brique », et ont amélioré un puzzle connexe de « 118 fissures » à « 18 ».

Résumé Technique : Représentations d'Entiers Positifs par Trois Carrés d'Almost-Primes

Énoncé du Problème
L'article traite de la représentation des entiers positifs comme sommes de trois carrés, en se concentrant spécifiquement sur les contraintes imposées sur la décomposition en facteurs premiers des variables. Alors que Legendre et Gauss ont établi qu'un entier $m$ est représentable sous la forme $m = x^2 + y^2 + z^2$ si et seulement si $m \neq 4^k(8\ell+7)$ , les auteurs étudient les représentations où les variables $x_i$ sont des « almost-primes » (entiers possédant un nombre borné de facteurs premiers).

L'objectif principal concerne les entiers $N$ satisfaisant les conditions $N \equiv 3 \pmod{24}$ et $5 \nmid N$ . L'article cherche à améliorer les résultats précédents concernant le nombre de facteurs premiers ( $n$ -ombres $P_r$ ) requis pour les variables $x_1, x_2, x_3$ dans l'équation $N = x_1^2 + x_2^2 + x_3^2$ . Plus précisément, il s'agit de réduire la borne $r$ telle que $x_1x_2x_3$ soit un $P_r$ -nombre, ou tel que chaque variable $x_i$ soit un $P_r$ -nombre.

Un problème secondaire concerne une conjecture connexe de Sun concernant les représentations de la forme $N = x^2 + y^2 + (2az)^2$ , visant à améliorer la borne sur la nature d'almost-prime de $z$ .

Méthodologie
Les preuves reposent sur une combinaison de techniques de théorie analytique des nombres, spécifiquement :

Crible de Grande Dimension : Les auteurs emploient une méthode de crible en trois dimensions pour traiter la somme de trois carrés.
Crible Pondéré de Type Richert : Ils utilisent une méthode de crible pondéré introduite par Cai [6], qui permet d'optimiser le nombre de facteurs premiers en assignant des poids aux variables en fonction de leurs diviseurs premiers.
Estimations de Distribution : Le cœur de l'argument dépend du « niveau de distribution » de la forme quadratique ternaire $x_1^2 + x_2^2 + x_3^2$ . Les auteurs utilisent un résultat de type Bombieri-Vinogradov ainsi qu'une estimation de norme diagonale fournie par Waibel [21].
Séries Thêta et Formes Modulaires : Pour établir les bornes nécessaires sur les termes d'erreur de la distribution des représentations, l'article analyse les coefficients de Fourier des séries thêta associées aux formes quadratiques. Plus précisément, ils utilisent le Théorème 2 de Waibel pour borner la différence entre la moyenne de genre et le nombre de représentations réel.
Réduction Unidimensionnelle : Pour le résultat secondaire (Théorème 1.3), la méthode est adaptée à un cadre de crible unidimensionnel, en appliquant des arguments de crible pondéré similaires à une variable unique $z$ dans la forme $N = x^2 + y^2 + (2az)^2$ .

Contributions Clés et Résultats

Théorème 1.1 : Pour des entiers $N$ suffisamment grands satisfaisant $N \equiv 3 \pmod{24}$ et $5 \nmid N$ , les auteurs prouvent que $N$ peut s'écrire sous la forme $N = x_1^2 + x_2^2 + x_3^2$ où le produit $x_1x_2x_3$ est un $P_{67}$ -nombre (un entier possédant au plus 67 facteurs premiers). Le nombre de telles représentations est montré être $\gg N^{1/2-\epsilon}$ .
- Amélioration : Ceci améliore le résultat de Waibel [21], qui obtenait un $P_{72}$ -nombre.
Théorme 1.2 : Sous les mêmes conditions, les auteurs prouvent que $N$ peut être représenté comme $N = x_1^2 + x_2^2 + x_3^2$ où chaque variable individuelle $x_i$ est un $P_{27}$ -nombre. Le nombre de telles représentations est également $\gg N^{1/2-\epsilon}$ .
- Note : Ce résultat est dérivé du même argument de crible pondéré que le Théorème 1.1, mais applique l'estimation d'almost-prime à chaque coordonnée séparément.
Théorème 1.3 : Abordant un problème connexe, les auteurs prouvent que tout entier suffisamment grand $m$ n'étant pas de la forme $4^k(8\ell+7)$ peut être écrit sous la forme $m = x^2 + y^2 + (2az)^2$ , où $x, y, a$ sont des entiers non négatifs et $z$ est un $P_{18}$ -nombre. Le nombre de telles représentations est $\gg m^{1/2-\epsilon}$ .
- Amélioration : Cela améliore significativement un résultat de Banerjee [1], qui obtenait un $P_{118}$ -nombre.
Corollaire 1.1 : En tant que conséquence directe du Théorème 1.3, l'article montre que des entiers suffisamment grands peuvent être représentés sous la forme $m = x^2 + y^2 + 2^{2a} + (2bz)^2$ avec $z$ étant un $P_{18}$ -nombre.

Signification
L'article prétend améliorer l'état de l'art des bornes pour la représentation d'entiers comme sommes de carrés d'almost-primes. En affinant les paramètres du crible pondéré et en exploitant les estimations de distribution de Waibel, les auteurs parviennent à réduire le nombre de facteurs premiers requis pour les variables dans ces représentations. La réduction de $P_{72}$ à $P_{67}$ (et de $P_{118}$ à $P_{18}$ dans le cas connexe) démontre l'efficacité de la combinaison des cribles de grande dimension avec les estimations modernes de la distribution des formes quadratiques. Ce travail contribue à la conjecture plus large selon laquelle de tels entiers peuvent être représentés comme des sommes de carrés de nombres premiers effectifs, en réduisant l'écart entre les « almost-primes » et les nombres premiers.

Qu'est-ce qu'un « presque-premier » ?

Le Grand Accomplissement

Le second casse-tête : Une forme différente

Comment ont-ils fait ?

Résumé

Articles similaires