🔢 mathematics

Additive Ramsey theory over Piatetski-Shapiro numbers

Cet article caractérise la régularité de partition des équations linéaires sur les nombres de Piatetski-Shapiro $\lfloor n^c \rfloor$ pour des plages spécifiques de $c$ dépendant du nombre de variables, établit des résultats de densité quantitatifs et renforce le principe de transfert d'analyse de Fourier de Green tel qu'adapté par Browning et Prendiville.

Auteurs originaux : Jonathan Chapman, Sam Chow, Philippa Holdridge

Publié 2026-05-14

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Jonathan Chapman, Sam Chow, Philippa Holdridge

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 avez un immense sac de billes, mais ce ne sont pas de simples billes. Ce sont des billes spéciales « Piatetski-Shapiro ». Pour en fabriquer une, vous prenez un nombre $n$ , vous le mettez à une puissance spécifique $c$ (où $c$ est un nombre compris entre 1 et 2), puis vous arrondissez à l'entier inférieur le plus proche.

Si $c=2$ , vous obtenez des carrés parfaits (1, 4, 9, 16...). Si $c$ est quelque chose comme 1,1, vous obtenez un ensemble différent de nombres, légèrement plus dispersé.

Les auteurs de cet article jouent à un jeu de « coloration » avec ces billes.

Le Grand Jeu : L'Équation Aveugle aux Couleurs

Imaginez que vous avez un immense tas de ces billes spéciales. Vous décidez de les peindre en utilisant un nombre fini de couleurs (disons Rouge, Bleu et Vert). Vous les peignez au hasard, ou peut-être selon un motif très astucieux, mais vous n'utilisez que quelques couleurs.

La question est : Peu importe comment vous les peignez, serez-vous toujours forcé de créer une solution « monochromatique » à une équation mathématique ?

Une « solution monochromatique » signifie que vous trouvez trois (ou plus) billes qui sont toutes de la même couleur et qui satisfont une équation simple comme $x + y = z$ (un « triplet de Schur »).

L'Ancienne Règle : Pour les nombres entiers normaux, les mathématiciens savent depuis 1916 que si vous les colorez avec suffisamment de couleurs, vous trouvez toujours un $x$ rouge, un $y$ rouge et un $z$ rouge où $x+y=z$ .
Le Nouveau Défi : Est-ce que cela reste vrai pour nos billes spéciales « Piatetski-Shapiro » ?

La Découverte : Cela Dépend de la « Puissance »

Les auteurs, Chapman, Chow et Holdridge, ont déterminé exactement quand cette règle fonctionne pour ces billes spéciales.

Ils ont découvert que cela dépend de la « puissance » $c$ utilisée pour créer les billes et du nombre de variables dans votre équation (du nombre de billes que vous devez additionner).

Le Point Doux : Si la puissance $c$ est suffisamment petite (spécifiquement, si elle est inférieure à un certain seuil comme $12/11$ pour les équations à trois billes), alors OUI. Peu importe comment vous peignez les billes, vous ne pouvez pas éviter de trouver un groupe de la même couleur qui résout l'équation.
La Limite : Si la puissance $c$ se rapproche trop de 2 (se rapprochant trop des carrés parfaits), les mathématiques deviennent trop désordonnées, et ils ne peuvent pas encore garantir que la règle s'applique.

Pensez-y comme à un jeu de chaises musicales. Si les chaises (les nombres) sont espacées juste comme il faut (faible $c$ ), peu importe comment vous mélangez les joueurs (les couleurs), quelqu'un finira toujours par s'asseoir avec ses amis dans le même groupe. Si les chaises sont espacées trop différemment (haut $c$ ), les joueurs pourraient réussir à s'éviter.

L'Énigme de la « Densité » : À quel point une pièce peut-elle être vide ?

L'article aborde également une question connexe sur la « densité ».

Imaginez que vous avez une pièce remplie de ces billes spéciales. Vous voulez sélectionner un groupe de billes pour les mettre dans une boîte plus petite, mais vous avez une règle : Vous n'avez pas le droit de sélectionner un groupe qui résout l'équation $x + y = z$ . (Vous voulez un groupe « sans solution »).

La Question : Quelle taille peut atteindre cette boîte « interdite » ? Pouvez-vous remplir la moitié de la pièce ? Un quart ?
La Réponse : Les auteurs prouvent que si vous essayez d'éviter ces solutions, votre boîte doit être incroyablement vide par rapport à la pièce entière. À mesure que la pièce grandit, la boîte « interdite » devient une fraction infime du total.

Ils ne se sont pas contentés de dire « c'est petit » ; ils ont fourni une formule mathématique très précise pour comment elle devient petite. Ils ont découvert que leur méthode leur permet de prouver que la boîte est beaucoup plus vide que ce que les mathématiciens précédents pouvaient prouver pour des problèmes similaires impliquant des carrés parfaits.

Comment l'ont-ils fait ? (Les Outils Magiques)

Pour résoudre cela, les auteurs ont utilisé une boîte à outils sophistiquée provenant d'un domaine appelé « Combinatoire Additive ». Vous pouvez considérer leur méthode comme un tour de magie en trois étapes :

La Lentille Pondérée : Au lieu de regarder les billes directement, ils ont mis une paire de lunettes spéciales (une « fonction de poids ») qui fait ressembler les billes spéciales à des nombres normaux. Cela les aide à utiliser des outils conçus pour les nombres normaux.
Le Filtre de Fréquence : Ils ont analysé les billes en utilisant l'« analyse de Fourier » (ce qui est comme regarder les billes à travers un prisme pour voir leurs fréquences cachées). Ils ont prouvé que ces billes spéciales ont un motif très spécifique et lisse dans leurs fréquences, ce qui les rend prévisibles.
Le Principe de Transfert : C'est le tour le plus important. Ils ont pris un théorème puissant qui fonctionne pour les nombres normaux (le Principe de Transfert de Green) et l'ont mis à jour. Ils ont montré que, parce que leurs « lunettes pondérées » sont si bonnes, si une règle fonctionne pour les nombres normaux, elle doit également fonctionner pour ces billes spéciales, à condition que la « puissance » $c$ ne soit pas trop élevée.

Résumé

En termes simples, cet article est une victoire de l'ordre sur le chaos. Il prouve que même dans un ensemble de nombres qui semble un peu étrange et dispersé (les nombres de Piatetski-Shapiro), les lois fondamentales de l'arithmétique (comme $x+y=z$ ) sont si fortes que vous ne pouvez pas les cacher, peu importe comment vous essayez de colorier les nombres ou de sélectionner un sous-ensemble pour les éviter.

Ils ont également amélioré la « loupe » mathématique utilisée pour observer ces motifs, rendant la preuve plus précise et les résultats plus solides que jamais pour ces types spécifiques de nombres.

Résumé Technique : Théorie de Ramsey Additive sur les Nombres de Piatetski-Shapiro

Énoncé du Problème
L'article étudie la régularité de partition et les résultats de densité pour les équations linéaires sur l'ensemble des nombres de Piatetski-Shapiro, définis par $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ pour un paramètre $c > 1$ . Plus précisément, les auteurs examinent si les équations linéaires de la forme $c_1 x_1 + \dots + c_s x_s = 0$ (où $\sum c_i = 0$ ) possèdent des solutions monochromatiques non triviales lorsque l'ensemble $\mathcal{P}\mathcal{S}_c$ est partitionné en un nombre fini de classes de couleurs.

Ce travail étend des résultats classiques :

Théorème de Schur (1916) : Garantit l'existence de solutions monochromatiques à $x+y=z$ dans $\mathbb{N}$ .
Critère de Rado (1933) : Caractérise la régularité de partition pour les systèmes linéaires.
Problème A (Erdős–Graham) : Demande l'existence de triples pythagoriciens monochromatiques ( $x^2+y^2=z^2$ ). Bien que résolu pour $s \ge 5$ variables, le cas des carrés ( $c=2$ ) reste ouvert pour $s=3$ .
Problème B : Les auteurs présentent leur travail comme une tentative de résoudre une version du Problème A pour les nombres de Piatetski-Shapiro, en demandant si la conclusion du Corollaire 1.5 (triples de Schur monochromatiques) vaut pour tout $c \in [1, 2]$ .

Méthodologie
Les auteurs emploient le principe de transfert analytique de Fourier, pionnier de Green, adapté au cadre épars des nombres de Piatetski-Shapiro. La stratégie centrale implique :

Construction d'une fonction de poids : Définition d'une fonction de poids $\nu$ supportée sur $\mathcal{P}\mathcal{S}_c(N)$ telle que $\|\nu\|_1 \sim N$ .
Décroissance de Fourier : Établissement du fait que la transformée de Fourier de $\nu$ approxime celle de la fonction indicatrice de l'intervalle $[N]$ , en bornant spécifiquement $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$ .
Estimations de restriction : Preuve de bornes sur la norme $L^t$ de la transformée de Fourier de fonctions dominées par $\nu$ .
Transfert : Comparaison du nombre pondéré de solutions dans $\mathcal{P}\mathcal{S}_c$ avec le nombre non pondéré dans $[N]$ .

Une contribution méthodologique significative est le renforcement du principe de transfert (spécifiquement la version de Browning et Prendiville du principe de Green). En incorporant des avancées récentes dans la densité quantitative des ensembles exempts de progressions arithmétiques (Kelley–Meka, Bloom–Sisask) et la pseudo-aléatoire (Ko'sciuszko, Filmus et al.), les auteurs améliorent les bornes quantitatives de la machinerie de transfert.

Contributions et Résultats Clés

Régularité de Partition (Théorème 1.4) :
Les auteurs caractérisent la régularité de partition pour les équations linéaires sur $\mathcal{P}\mathcal{S}_c$ lorsque $1 < c < c^\dagger(s)$ , où $s \ge 3$ est le nombre de variables. Le seuil $c^\dagger(s)$ est défini comme suit :
- $c^\dagger(3) = 12/11$
- $c^\dagger(4) = 7/6$
- $c^\dagger(s) = 2$ pour $s \ge 5$ .
Sous ces conditions, toute partition finie de $\mathcal{P}\mathcal{S}_c$ contient une solution monochromatique non triviale à $c_1 x_1 + \dots + c_s x_s = 0$ . Notamment, pour $s=3$ , cela résout une version du problème des triples de Schur pour $c < 12/11$ .
Bornes de Densité Quantitatives (Théorème 1.8) :
L'article établit que si un sous-ensemble $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ ne contient aucune solution non triviale à l'équation linéaire, sa densité est bornée par :
$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$
où $\tau(3)=9$ et $\tau(s)=7$ pour $s \ge 4$ .

Ce résultat améliore les travaux précédents de Browning et Prendiville pour les carrés ( $c=2$ ), qui produisaient une économie de $(\log \log \log N)^{O(1)}$ . Les auteurs attribuent cette amélioration à deux facteurs :
- L'élimination du besoin du « trick W » dans ce contexte spécifique.
- Le principe de transfert analytique de Fourier renforcé.
Principe de Transfert Affiné (Théorème 4.3) :
Les auteurs mettent à jour le principe de transfert de [6, Proposition 2.8], intégrant les taux quantitatifs de pseudo-aléatoire dérivés de récentes percées en combinatoire additive. Cela permet des bornes de densité plus précises dans les ensembles épars.

Signification et Revendications
L'article revendique résoudre une version du Problème A (triples pythagoriciens monochromatiques) pour les nombres de Piatetski-Shapiro avec le paramètre $c < 12/11$ (Corollaire 1.5). Il souligne que le seuil $12/11$ coïncide avec un seuil trouvé par Piatetski-Shapiro lui-même en prouvant une version du théorème des nombres premiers pour ces nombres.

Les auteurs soulignent que leur économie de densité est « substantiellement plus grande » que celle obtenue pour les carrés, principalement en raison du principe de transfert amélioré et des propriétés analytiques spécifiques des nombres de Piatetski-Shapiro qui permettent des estimations de sommes exponentielles plus précises. Bien qu'ils notent que Saito et Yoshida aient précédemment réglé l'analogue de densité pour $c \in [1, 2)$ en utilisant le théorème de Szemerédi, les auteurs affirment que leur résultat fournit une borne de densité quantitative supérieure.

L'ouvrage aborde également brièvement les nombres premiers de Piatetski-Shapiro, notant que bien que Mirek ait établi des résultats de densité pour les ensembles exempts de 3AP dans ce contexte, l'existence de triples de Schur monochromatiques de nombres impairs (et donc de nombres premiers) est impossible, bien qu'une équation décalée $x+y=z+1$ puisse être montrée avoir des solutions.