Résumé technique : Régularité de partition des paires pythagoriciennes

1. Énoncé du problème et contexte

L'article traite d'un problème ouvert fondamental en théorie de Ramsey concernant la régularité de partition de l'équation pythagoricienne $x^2 + y^2 = z^2$. Alors que le théorème de Schur (1916) a établi que $x+y=z$ est régulier pour la partition, et que le théorème de Rado (1933) a caractérisé la régularité de partition pour les systèmes linéaires, le statut des équations polynomiales non linéaires est resté largement insaisissable. Plus précisément, la question de savoir si tout colorage fini des entiers positifs $\mathbb{N}$ contient un triplet pythagoricien (x, y, z) est un problème notoire posé par Erdős et Graham.

Avant ce travail, le seul résultat connu pour les triplets pythagoriciens était une preuve assistée par ordinateur pour le cas spécifique des 2-colorations (2016). Des tentatives théoriques antérieures, telles que celles de l'auteur principal et de Host [21], utilisaient les propriétés d'uniformité de Gowers des fonctions multiplicatives mais n'ont pas réussi à résoudre le cas pythagoricien car les expressions algébriques pertinentes manquaient des propriétés de « positivité » nécessaires lorsque $n=0$.

Les auteurs définissent une paire pythagoricienne comme $(x, y) \in \mathbb{N}^2$ tel qu'il existe $z \in \mathbb{N}$ satisfaisant soit $x^2 + y^2 = z^2$, soit $x^2 + z^2 = y^2$. L'objectif principal est de prouver que de telles paires sont régulières pour la partition, et d'étendre cela à la régularité de densité et aux ensembles de niveau des fonctions multiplicatives.

2. Méthodologie

La stratégie de preuve combine la théorie ergodique, la théorie des fonctions multiplicatives et de nouvelles estimations de concentration. L'approche procède à travers les étapes suivantes :

2.1. Reformulation ergodique

En utilisant le principe de correspondance de Furstenberg, le problème combinatoire est reformulé dans un cadre ergodique. L'existence de solutions monochromatiques est réduite à la preuve de la positivité de certaines intégrales de récurrence multiple impliquant des actions de mesures préservant du semi-groupe multiplicatif $(\mathbb{N}, \times)$. Plus précisément, pour un ensemble $A$ de mesure positive, il faut montrer :
$$\mu(T^{-1}_{\ell(m^2-n^2)}A \cap T^{-1}_{\ell' mn}A) > 0$$
pour $m, n$ distincts.

2.2. Décomposition des fonctions multiplicatives

Le cœur de l'argument repose sur la décomposition de l'espace des fonctions complètement multiplicatives $\mathcal{M}$ en deux classes :

1. Fonctions apériodiques : Fonctions qui ne sont pas corrélées avec un caractère de Dirichlet ou un caractère archimédien ($n^{it}$).
2. Fonctions prétentieuses : Fonctions qui « prétendent » être un caractère de Dirichlet tordu $\chi \cdot n^{it}$.

Les auteurs utilisent le fait que pour les fonctions apériodiques, les moyennes pertinentes s'annulent (Proposition 2.4, 2.10). Le défi réside dans le cas prétentieux, où les moyennes ne s'annulent pas automatiquement et nécessitent une analyse minutieuse.

2.3. Nouvelles estimations de concentration

Une innovation critique dans cet article est le développement d'estimations de concentration non linéaires pour les fonctions multiplicatives évaluées sur des formes quadratiques.

• Type I (Différence de carrés) : Les auteurs adaptent les estimations de concentration linéaires existantes (de [21, 35]) pour traiter des expressions telles que $f((Qm+1)^2 - (Qn)^2)$.
• Type II (Somme de carrés) : Les auteurs prouvent une nouvelle estimation de concentration non triviale (Proposition 2.11, 5.1) pour des expressions de la forme $f((Qm+1)^2 + (Qn)^2)$. Cette estimation repose sur le fait que les nombres premiers $p \equiv 1 \pmod 4$ se scindent dans le corps $\mathbb{Q}(i)$, permettant aux auteurs de contrôler le comportement de $f$ sur les sommes de carrés en utilisant une « distance prétentieuse » restreinte à ces nombres premiers.

2.4. Moyennes pondérées et positivité

Pour surmonter le manque de positivité dans les intégrandes (un point de défaillance des approches précédentes), les auteurs introduisent des fonctions de poids spécifiques $w_\delta$ et $\tilde{w}_{\delta, c}$. Ces poids sont conçus pour être supportés sur des régions où les rapports logarithmiques des termes sont proches de constantes spécifiques, garantissant que la partie réelle de l'intégrale reste positive lorsqu'elle est restreinte au caractère trivial (la fonction identité).

3. Contributions clés et résultats

3.1. Régularité de partition des paires pythagoriciennes

Théorème 1.1 : Pour tout colorage fini de $\mathbb{N}$, il existent $x, y$ distincts de même couleur et $z \in \mathbb{N}$ tels que $x^2 + y^2 = z^2$ (ou $x^2 + z^2 = y^2$).

• Cela résout la question de savoir si les paires pythagoriciennes sont régulières pour la partition.
• Le résultat est généralisé aux équations de la forme $ax^2 + by^2 = cz^2$ où $a, b, c$ sont des carrés parfaits.

3.2. Régularité de densité

Théorème 1.2 : Les auteurs établissent une version de densité plus forte. Si un ensemble $\Lambda \subset \mathbb{N}$ possède une densité multiplicative supérieure positive (par rapport à une séquence de Følner multiplicative), alors $\Lambda$ contient des $x, y$ distincts tels que $ax^2 + by^2 = cz^2$ pour un certain $z$.

• Cela exclut la densité additive comme la notion correcte pour ce problème (puisque l'ensemble des nombres impairs a une densité additive de 1/2 mais ne contient aucun triplet pythagoricien).

3.3. Triplets pythagoriciens sur les ensembles de niveau

Théorème 1.5 : Soit $f: \mathbb{N} \to S^1$ une fonction complètement multiplicative prenant un nombre fini de valeurs. Alors il existent $x, y, z$ distincts tels que $x^2 + y^2 = z^2$ et $f(x) = f(y) = f(z) = 1$.

• Cela fournit une preuve solide pour la régularité de partition complète des triplets pythagoriciens, car les ensembles de niveau de telles fonctions représentent une large classe de colorations « structurées ».
• Le résultat est étendu aux équations $ax^2 + by^2 = cz^2$ sous des conditions spécifiques sur $a, b, c$ (par exemple, $a=c$, $b=c$, ou $a+b=c$).

3.4. Généralisations

La méthodologie montre qu'elle est assez flexible pour traiter :

• D'autres paires invariantes par dilatation (Théorème 1.8).
• Des formes linéaires générales $L_1(m,n)L_2(m,n)$ et $L_3(m,n)L_4(m,n)$ (Section 1.5.2).
• D'autres expressions plus générales impliquant des puissances et des produits de formes linéaires (Section 1.5.3).

4. Signification et revendications

Les auteurs affirment que leur travail résout la régularité de partition des paires pythagoriciennes, un problème qui était resté ouvert malgré des efforts antérieurs importants. Ils déclarent explicitement que leur approche surmonte l'obstacle spécifique de [21] où les expressions pertinentes ne parvenaient pas à être non négatives.

Le papier ne prétend pas avoir résolu la régularité de partition complète des triplets pythagoriciens (c'est-à-dire trouver $x, y, z$ tous de la même couleur) pour des colorations finies arbitraires. Au lieu de cela, il prouve cela pour :

1. Les paires $(x, y)$ avec une troisième variable $z$ de n'importe quelle couleur.
2. Les triplets $(x, y, z)$ où le colorage est généré par les ensembles de niveau de fonctions complètement multiplicatives à valeurs finies.

Les auteurs identifient l'écart restant : prouver la régularité de partition pour les triplets dans des colorages généraux nécessiterait d'étendre leurs résultats aux cas où les coefficients $a, b, c$ dans $ax^2 + by^2 = cz^2$ ne satisfont pas des conditions de carrés spécifiques ou la condition de Rado, ou bien là où la paramétrisation implique des formes quadratiques qui ne se factorisent pas en formes linéaires (comme noté dans le Problème 1 et le Problème 2 de la Section 1.6).

Le travail est présenté comme une « approche générale » qui combine l'uniformité de Gowers avec de nouvelles estimations de concentration, ouvrant la voie à la résolution d'autres problèmes de régularité de partition auparavant intraitables impliquant des motifs non linéaires.