Monochromatic Sums and Products over $\mathbb{Q}$

Résumé Technique : Sommes et Produits Monochromatiques sur $\mathbb{Q}$

Énoncé du Problème
L'article traite d'un problème ouvert central en théorie de Ramsey concernant la régularité de partition des motifs mixtes additifs et multiplicatifs. Alors que le théorème de Hindman (1974) garantit que tout coloration finie des entiers naturels $\mathbb{N}$ contient une séquence infinie dont les sommes de sous-ensembles finis sont monochromatiques, l'analogue multiplicatif est également vrai de la même manière, l'exigence simultanée pour les sommes et les produits étant nettement plus restrictive.

Hindman (1979) a démontré qu'il n'existe pas de séquence infinie dans $\mathbb{N}$ telle que toutes ses sommes par paires et tous ses produits par paires soient monochromatiques. Par conséquent, la généralisation finie naturelle de Hindman (Conjecture 1.1) postule que pour tout $n \ge 2$, toute coloration finie de $\mathbb{N}$ contient $n$ nombres $\{x_1, \dots, x_n\}$ tels que toutes les sommes de sous-ensembles non vides $\sum_{i \in S} x_i$ et les produits de sous-ensembles $\prod_{i \in S} x_i$ sont monochromatiques. Cette conjecture reste ouverte pour $\mathbb{N}$, même pour le cas le plus simple $n=2$ (le motif $\{x, y, x+y, xy\}$).

L'article se concentre sur la version plus faible de cette conjecture sur les nombres rationnels $\mathbb{Q}$ (Conjecture 1.2), qui a été résolue précédemment uniquement pour $n=2$ par Bowen et Sabok (2023). Les auteurs visent à prouver l'énoncé pour un $n$ arbitraire sur $\mathbb{Q}$.

Méthodologie
La preuve repose sur une approche constructive et algorithmique qui met à jour itérativement les variables pour satisfaire des conditions monochromatiques de plus en plus complexes. Le cœur de la machinerie technique implique :

1. Théorème de van der Waerden Polynomial : Les auteurs utilisent abondamment le théorème de van der Waerden polynomial multidimensionnel (Bergelson et Leibman). Plus précisément, ils appliquent une version sur $\mathbb{Q}^\ell$ (Théorème 2.4) qui garantit l'existence d'un vecteur $u$ et d'un entier $n$ tels que $u + \sum c_i p_i(n) v_i$ sont monochromatiques, où $p_i$ sont des polynômes à valeurs entières avec $p_i(0)=0$ et $c_i$ sont des coefficients rationnels de « taille » bornée.
2. Colorations de Produits Auxiliaires : Pour gérer l'interaction entre sommes et produits, les auteurs définissent des colorations auxiliaires $\chi_M$ qui encodent les couleurs des versions décalées et mises à l'échelle des variables. Cela permet l'application de résultats de type van der Waerden pour contrôler les couleurs d'expressions polynomiales complexes.
3. Mises à Jour Itératives (Décalages et Mise à l'Échelle) : La preuve est structurée comme un algorithme qui maintient une séquence de variables $x_n, \dots, x_1$. Les auteurs définissent deux types spécifiques d'opérations :
   • Décalages (Shifts) : Opérations de la forme $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$.
   • Mises à l'échelle (Scalings) : Opérations de la forme $x_i \leftarrow k x_i$.
     Ces mises à jour sont effectuées pour garantir que des combinaisons polynomiales spécifiques (par exemple, $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$) restent monochromatiques par rapport à leurs termes de base.
4. Paramètres de Taille : Un paramètre technique $M$ (représentant la taille maximale des coefficients et des dénominateurs) est introduit. La preuve procède en choisissant un $M_0$ suffisamment grand et en le réduisant itérativement en $M_1, M_2, \dots$ au fur et à mesure des mises à jour, garantissant que les conditions sont remplies pour la taille finale requise.

Contributions Clés et Résultats
Le résultat principal est le Théorème 1.3, qui stipule :

Pour tout $n \ge 2$, si $\mathbb{Q}$ est coloré en un nombre fini de couleurs, il existe des $x_1, \dots, x_n$ non nuls tels que tous les nombres $\sum_{i \in S} x_i$ et $\prod_{i \in S} x_i$ (pour $S \subseteq [n]$ non vide) sont de la même couleur.

L'article établit cela via un lemme principal (Proposition 4.1) qui prouve une propriété structurelle plus forte et plus générale. Ce lemme affirme l'existence de variables $x_n, \dots, x_1$ telles que pour tout $i$ et tout sous-ensemble $T \subseteq [i-1]$, la couleur de $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ correspond à la couleur de $P(x_i \prod_{j \in T} x_j)$ pour tous les polynômes « bons » $P$ de taille bornée, où $S$ parcourt les sous-ensembles de $[i-1]$ strictement supérieurs à $T$.

La preuve du théorème principal (Section 5) synthétise ce lemme avec :

• Le Théorème de Ramsey : Pour extraire une sous-séquence où la couleur des produits dépend uniquement du degré (nombre de facteurs).
• Le Théorème de Folkman : Appliqué à une coloration auxiliaire des indices pour trouver un ensemble d'indices dont les sommes de sous-ensembles correspondent aux degrés requis.
• Construction Finale : Combiner ces éléments pour construire l'ensemble final $\{X_1, \dots, X_r\}$ où les sommes et les produits sont monochromatiques.

Signification et Distinctions
Les auteurs soulignent plusieurs distinctions entre leur travail et le récent résultat pour $n=2$ de Bowen et Sabok :

• Généralité : Ce travail résout le problème pour un $n$ arbitraire, alors que les résultats précédents étaient limités à $n=2$.
• Méthodologie : Contra à Bowen et Sabok, cette preuve ne repose pas sur le résultat de Moreira comme une « boîte noire ». Au lieu de cela, elle partage l'esprit de la preuve antérieure de l'auteur pour le résultat de Moreira, en utilisant directement le théorème de van der Waerden polynomial.
• Bornes Explicites : La preuve fournit des bornes explicites sur la taille de la solution, une caractéristique absente de la preuve de Bowen-Sabok.
• Limitations sur $\mathbb{N}$ : Les auteurs notent explicitement que leur technique de preuve repose sur la capacité d'effectuer des « décalages » impliquant la division (par exemple, $b/c$), ce qui est généralement impossible dans $\mathbb{N}$. Cela explique pourquoi le résultat est établi pour $\mathbb{Q}$ mais que la conjecture pour $\mathbb{N}$ reste ouverte. L'article suggère que la résolution du cas $\mathbb{N}$ nécessitera probablement de nouvelles idées, impliquant potentiellement des polynômes de degré supérieur ou des contraintes structurelles différentes, comme le suggère la Conjecture 4.1 d'un travail précédent [1].

L'article conclut en discutant d'éventuelles extensions à d'autres motifs (par exemple, impliquant des carrés ou des produits distincts) et en posant des questions ouvertes concernant la régularité de partition sur les semi-anneaux polynomiaux et les motifs impliquant des exposants négatifs.