A Fourier-Free Density-Increment Proof of Roth's Theorem

Résumé technique : Une preuve d'augmentation de densité sans Fourier du théorème de Roth

Énoncé du problème
L'article traite du théorème de Roth, un résultat fondamental en théorie de Ramsey de densité, qui affirme que tout sous-ensemble des entiers ayant une densité supérieure positive contient une progression arithmétique non triviale à trois termes (3AP). Plus précisément, l'article vise à fournir une preuve élémentaire de la version finie du théorème : pour tout $\alpha > 0$, si $N$ est suffisamment grand, tout ensemble $A \subset \{0, \dots, N-1\}$ tel que $|A| \ge \alpha N$ contient une 3AP. Alors que la preuve originale de Roth en 1953 utilisait l'analyse de Fourier, et que des preuves ultérieures ont employé la théorie ergodique ou la théorie des graphes, ce travail vise à établir le résultat en utilisant une stratégie d'augmentation de densité qui évite entièrement les outils de l'analyse de Fourier.

Méthodologie
La preuve suit le cadre classique d'augmentation de densité de Roth, mais remplace l'étape standard d'analyse de Fourier (détection de grands coefficients de Fourier) par un argument combinatoire direct impliquant des moyennes sur des sous-progressions. La méthodologie procède par les étapes suivantes :

1. Encastrement et fonctions équilibrées : L'ensemble $A$ est encadré dans le groupe cyclique $\mathbb{Z}_m$ (où $m$ est un nombre premier légèrement supérieur à $2N$) pour garantir que les progressions modulaires à l'intérieur de l'intervalle encadré correspondent à de véritables progressions d'entiers. Une fonction équilibrée $f = 1_A - \alpha 1_{[N]}$ est définie, qui a une moyenne nulle.
2. Énergie et formes trilinéaires : La preuve introduit un fonctionnel « énergie » $E(f)$, défini comme la somme des carrés des autocorrélations de $f$. Le moteur logique central est le Lemme 3, qui établit que si le nombre de 3AP dans $A$ est faible (spécifiquement, seules des progressions triviales existent), alors l'énergie $E(f)$ doit être grande. Cela est démontré via les inégalités de Cauchy-Schwarz et une propriété spécifique de non-négativité des sommes de corrélation (Lemme 2), qui est établie de manière combinatoire sans invoquer l'identité de Parseval.
3. Augmentation de densité sur les progressions modulaires : En utilisant la grande énergie dérivée de l'absence de 3AP, l'auteur construit une longue progression modulaire où la moyenne de $f$ est positive (Lemme 7). Cela est réalisé en analysant les moments d'ordre deux des sommes de $f$ sur les progressions arithmétiques.
4. Transition vers les progressions d'entiers : Une étape technique critique (Lemme 8) convertit l'augmentation de densité trouvée sur une progression modulaire en une augmentation de densité sur une véritable progression arithmétique d'entiers dans $[N]$. Cela implique d'utiliser le principe des tiroirs pour trouver une sous-progression avec un pas d'entier petit et de l'intersecter avec l'intervalle original.
5. Itération : Le processus est itéré. Si un ensemble $A$ ne contient pas de 3AP, on peut trouver une sous-progression où la densité de $A$ augmente d'un facteur dépendant de la densité courante. Répéter ce processus force éventuellement la densité à dépasser 1, une contradiction, à condition que $N$ initial soit suffisamment grand.

Contributions et résultats clés

• Preuve sans Fourier : La contribution principale est une preuve complète du théorème de Roth qui ne repose pas sur l'analyse de Fourier. Elle remplace la détection de grands coefficients de Fourier par des estimations combinatoires des moyennes sur les sous-progressions.
• Bornes quantitatives : L'argument produit une borne quantitative pour $r_3(N)$, la taille maximale d'un sous-ensemble de $\{1, \dots, N\}$ sans 3AP. L'article établit :
  $$r_3(N) \lesssim \frac{N}{(\log \log N)^{1/11}}$$
  Cette borne est dérivée de l'itération de l'augmentation de densité, où la densité augmente d'environ $\alpha^{11}$ à chaque étape, et la longueur de la progression diminue d'un facteur d'environ $\alpha^{16} N^{1/2}$.
• Comparaison avec la preuve originale : L'auteur note que, bien que l'argument actuel produise une borne avec un exposant $c = 1/11$ au dénominateur, l'argument original d'analyse de Fourier de Roth a atteint $c=1$. L'article reconnaît que, bien que l'exposant puisse potentiellement être amélioré, la forme combinatoire actuelle ne semble pas capable de retrouver l'exposant optimal sans complication significative.

Signification et affirmations
L'article se positionne comme une alternative élémentaire aux preuves standards d'analyse de Fourier du théorème de Roth. Il démontre que la stratégie d'augmentation de densité, centrale dans le travail original de Roth, peut être exécutée en utilisant des outils purement combinatoires (spécifiquement, des estimations de moments et des changements de variables) plutôt que l'analyse harmonique.

L'auteur déclare explicitement que la preuve reste proche du cadre original de Roth, mais substitue la détection de « grand coefficient de Fourier » par un « argument combinatoire direct impliquant des moyennes sur des sous-progressions ». La signification réside dans le changement méthodologique : il montre que le mécanisme central de l'augmentation de densité ne nécessite pas strictement les outils spectraux de l'analyse de Fourier.

L'article conclut en identifiant des orientations de recherche futures, spécifiquement le développement d'analogues sans Fourier pour :

1. La preuve de bornes polylogarithmiques de la forme $r(n) \lesssim n(\log n)^{-c}$.
2. La preuve d'augmentation d'énergie du théorème de Roth.
3. L'argument de Gowers pour les progressions arithmétiques à quatre termes.

L'auteur reste modeste quant à la force quantitative du résultat actuel, notant que l'exposant $1/11$ est plus faible que le $1$ original de Roth, et ne prétend pas avoir résolu le problème d'obtenir des bornes polylogarithmiques via cette voie élémentaire spécifique.