🔢 mathematics

Roth-type theorems in $K_{s,t}$ -free sets

Cet article étend les théorèmes de type Roth pour les ensembles de Sidon à la famille plus large des ensembles sans $K_{s,t}$ , prouvant que de tels sous-ensembles suffisamment grands d'entiers ou d'espaces vectoriels finis doivent contenir des solutions non triviales à toute équation linéaire invariante par translation à cinq variables fixes, avec des bornes quantitatives plus fortes obtenues dans le cadre des corps finis via une combinaison d'analyse de Fourier et de méthodes polynomiales.

Auteurs originaux : Yifan Jing, Cosmin Pohoata, Max Wenqiang Xu

Publié 2026-01-27

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yifan Jing, Cosmin Pohoata, Max Wenqiang Xu

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 organisiez une fête massive dans une ville de $N$ maisons. Vous voulez inviter un groupe de personnes (un sous-ensemble de la ville) à votre fête, mais vous avez une règle très spécifique : Pas de "Carrés Baisants" (Kissing Squares).

Dans le monde des mathématiques, un "Carré Baisant" (ou la condition $K_{s,t}$ -free) est un motif où vous avez $s$ personnes et $t$ autres personnes, et chacune des personnes du premier groupe peut être associée à chaque personne du second groupe pour former une relation spécifique (comme une somme). Si vos invités de fête contiennent ne serait-ce qu'une minuscule version de ce motif, vous avez enfreint la règle.

Les auteurs de cet article, Jing, Pohoata et Xu, posent une question fascinante : Si vous parvenez à inviter un nombre immense de personnes tout en évitant strictement ce motif de "Carré Baisant", votre liste d'invités doit-elle quand même posséder une structure cachée et prévisible ?

Plus précisément, ils s'intéressent à des solutions "non triviales" à un type de casse-tête mathématique appelé équation linéaire invariante par translation.

Le Casse-tête : Imaginez une équation comme $x_1 + x_2 + x_3 + x_4 + x_5 = 0$ (où les nombres totalisent zéro).
La Solution Triviale : Tout le monde choisit le même nombre (par exemple, $0+0+0+0+0=0$ ). C'est ennuyeux et attendu.
La Solution Non Triviale : Tout le monde choisit des nombres différents qui totalisent tout de même zéro. C'est la "magie" que les auteurs recherchent.

La Découverte Principale : Le Seuil des "Cinq Variables"

L'article prouve un seuil surprenant. Si votre fête est suffisamment grande (spécifiquement, si vous avez environ $N^{1 - 1/s}$ invités), et que vous avez réussi à éviter le motif du "Carré Baisant", vous ne pouvez pas éviter d'avoir une solution non triviale à toute équation possédant 5 variables ou plus.

Voyez cela comme suit :

Si vous essayez de construire une liste d'invités qui est "chaotique" (évitant le motif $K_{s,t}$ ) mais aussi "aléatoire" (évitant les équations à 5 variables), vous échouerez.
Les mathématiques disent : Vous ne pouvez pas avoir le beurre et l'argent du beurre. Si vous êtes assez grand pour être intéressant, vous êtes forcé d'avoir une structure.

Les auteurs montrent que si vous parvenez réellement à éviter ces solutions à 5 variables, la taille de votre fête doit être minuscule — si minuscule qu'elle est presque négligeable par rapport à la taille de la ville.

Les Deux Mondes : Les Entiers et les Corps Finis

L'article traite ce problème dans deux "univers" différents :

1. L'Univers des Entiers (La Ville des Nombres Entiers)
Ici, les nombres sont $1, 2, 3, \dots, N$ .

Le Résultat : Si vous avez un ensemble $K_{s,t}$ -free important, il doit contenir une solution à toute équation à 5 variables.
Le "Comment" : Les auteurs utilisent une astuce ingénieuse appelée Analyse de Fourier. Imaginez la liste d'invités comme une onde sonore. Ils montrent que si la liste est "parcelleuse" (évitant le motif), l'onde sonore a une forme spécifique. Ils prouvent ensuite que cette forme force l'existence de la solution à 5 variables.
Le "Piège" : La preuve est un peu "floue". Elle montre que l'ensemble doit être petit, mais la borne n'est pas parfaitement nette. C'est comme dire : "Si vous n'avez pas la solution, votre fête est plus petite que $N$ divisé par un nombre très compliqué qui croît lentement."

2. L'Univers des Corps Finis (La Grille Numérique)
Ici, les nombres tournent en boucle comme une horloge (par exemple, dans un monde où $10 + 1 = 1$ ).

Le Résultat : La même règle s'applique, mais les mathématiques sont beaucoup plus tranchées ici.
Le "Comment" : Parce que la "grille" est plus structurée, les auteurs peuvent utiliser un outil puissant, la Méthode Polynomiale (célèbre pour avoir résolu le problème du "Cap Set"). C'est comme avoir un microscope à haute résolution au lieu d'un télescope flou.
Le Gain : Ils obtiennent un résultat bien plus fort. Ils prouvent que si vous évitez la solution, la taille de votre fête est plus petite d'un facteur polylogarithmique (une puissance de logarithme). C'est une borne plus "propre" et plus précise que dans le monde des entiers.

La Recette Secrète : Comment Ils Ont Procédé

Les auteurs n'ont pas simplement deviné ; ils ont utilisé une stratégie de "transfert" en trois étapes, qui est comme un tour de magie en trois phases :

Le "Modèle Dense" (Une Photo Floue) :
Ils prennent leur liste d'invités parcelleuse et étrange et la "floutent" en un nuage de nombres lisse et dense. Ce nuage est plus facile à analyser. Ils prouvent que ce nuage ressemble presque exactement à la liste originale, mais qu'il est "dense" suffisamment pour utiliser les outils mathématiques standards sur lui.
Le "Comptage" (La Vérification de la Foule) :
Ils utilisent des résultats connus pour compter combien de solutions existent dans ce "nuage dense". Parce que le nuage est dense, les mathématiques standards disent qu'il doit y avoir un nombre énorme de solutions à 5 variables.
Le "Transfert" (Le Retour à la Réalité) :
Ils comparent le "nuage flou" à la "liste d'invités réelle". Ils montrent que la différence entre les deux est si faible que si le nuage possède des solutions, la liste réelle doit aussi en posséder.

Le Rebondissement : Si la liste réelle n'avait pas ces solutions, les mathématiques mèneraient à une contradiction (la liste devrait être incroyablement petite). Par conséquent, la liste doit posséder les solutions.

Pourquoi 5 Variables ?

Vous pourriez vous demander : "Pourquoi 5 ? Pourquoi pas 3 ou 4 ?"
L'article explique que pour 3 ou 4 variables, la règle du "Carré Baisant" (ensembles de Sidon) est si forte qu'elle bloque naturellement ces équations spécifiques. Par exemple, dans un ensemble de Sidon, l'équation $x + y = z + w$ (4 variables) est impossible à résoudre avec des nombres distincts.
Cependant, une fois que l'on atteint 5 variables, la règle du "Carré Baisant" n'est plus assez forte pour bloquer l'équation. Les mathématiques forcent la structure à apparaître.

Résumé

En termes simples, cet article prouve que de grands groupes de nombres qui évitent un motif de "grille" spécifique sont forcés de contenir des relations complexes et cachées (des solutions à des équations à 5 variables).

Dans le monde réel (les entiers), c'est vrai, mais la preuve est un peu brute.
Dans le monde numérique (les corps finis), la preuve est précise et tranchée, grâce aux outils polynomiaux modernes.

Les auteurs ont essentiellement montré que l'on ne peut pas construire une grande structure sans motif qui soit également totalement exempte de relations arithmétiques à 5 variables. L'univers des nombres exige un peu d'ordre, même dans les ensembles qui semblent les plus chaotiques.

Résumé technique : Théorèmes de type Roth dans les ensembles sans $K_{s,t}$

Énoncé du problème
Cet article étudie la structure arithmétique de sous-ensembles denses d'entiers (et de corps finis) qui évitent des configurations additives spécifiques. Plus précisément, il considère les ensembles sans $K_{s,t}$ . Un ensemble $A \subseteq [N]$ est défini comme étant sans $K_{s,t}$ s'il ne contient aucune configuration de la forme $\{x_i + y_j : 1 \le i \le s, 1 \le j \le t\}$ où les $x_i$ sont distincts et les $y_j$ sont distincts. De manière équivalente, $A$ ne contient aucun sous-ensemble de la forme $B+C$ avec $|B|=s$ et $|C|=t$ .

La question centrale est de savoir si de tels ensembles, même lorsqu'ils sont denses (spécifiquement de taille $\Omega(N^{1-1/s})$ , ce qui correspond à la borne extrémale du théorème de Kővári–Sós–Turán), doivent contenir des solutions non triviales à des équations linéaires invariantes par translation impliquant au moins cinq variables. Les auteurs visent à étendre les résultats précédents connus pour les ensembles de Sidon ( $K_{2,2}$ -sans) à la famille générale des ensembles sans $K_{s,t}$ .

Méthodologie
Les auteurs emploient un principe de transfert par analyse de Fourier, un cadre précédemment utilisé par Conlon, Fox, Sudakov, Zhao et Prendiville pour les ensembles de Sidon. La stratégie de preuve est divisée en trois composantes principales :

Construction de modèle dense (Approximation de Fourier) :
Étant donné un ensemble sans $K_{s,t}$ creux $A$ de densité $\delta \approx N^{-1/s}$ , les auteurs construisent une fonction de « modèle dense » non négative $f$ qui approxime la fonction indicatrice renormalisée de $A$ .
- Entiers : Ils utilisent un ensemble de Bohr construit à partir du grand spectre de $A$ . Un défi technique clé est de contrôler le rang de cet ensemble de Bohr, ce qui est réalisé en exploitant la propriété de l'absence de $K_{s,t}$ de $A$ pour borner les énergies de moments supérieurs.
- Corps finis : La construction se simplifie considérablement. L'analogue d'un ensemble de Bohr est ici un véritable sous-espace. En choisissant un sous-espace qui annihile le grand spectre de $A$ , ils créent une fonction $f$ qui préserve les grands coefficients de Fourier tout en maintenant un bon contrôle $L^s$ .
Comptage dense (Sur saturation) :
Une fois le modèle dense $f$ établi, les auteurs appliquent desLemmes de comptage pour montrer que $f$ doit contenir de nombreuses solutions à l'équation linéaire cible $a_1 x_1 + \dots + a_k x_k = 0$ (où $\sum a_i = 0$ et $k \ge 5$ ).
- Entiers : Ils s'appuient sur des résultats quantitatifs pour les ensembles denses dans $[N]$ , spécifiquement des raffinements des bornes de type Bloom.
- Corps finis : Ils utilisent la méthode polynomiale, plus précisément le lemme de suppression de $k$ -cycles arithmétiques de Fox, Lovász et Sauermann, qui fournit des bornes de sursaturation polynomiales dérivées de la littérature sur le problème de la cap set.
Transfert (Sommation télescopique et contrôle de moment) :
L'étape finale compare le nombre de solutions dans le modèle dense $T(f)$ avec le nombre de solutions dans l'ensemble original $T(\nu)$ (où $\nu$ est l'indicateur renormalisé de $A$ ). En utilisant une identité télescopique et des estimations de Hölder, les auteurs bornent le terme d'erreur $|T(f) - T(\nu)|$ . Cette erreur dépend de l'énergie $L^2$ (second moment) de la fonction majorante. La condition d'absence de $K_{s,t}$ est cruciale ici, car elle fournit un contrôle fort sur l'énergie du second moment, permettant le transfert de la borne inférieure du modèle dense vers l'ensemble creux.

Contributions clés et résultats

Théorème 1.1 (Cas des entiers) :
Pour les entiers $2 \le s \le t$ , tout sous-ensemble sans $K_{s,t}$ $A \subseteq [N]$ qui manque de solutions non triviales à une équation linéaire invariante par translation à $k \ge 5$ variables satisfait :
$|A| \ll N^{1-1/s} \exp\left(-O_{a_i, s, t}((\log \log N)^{1/7})\right)$
Ce résultat généralise les bornes qualitatives et quantitatives précédemment connues pour les ensembles de Sidon ( $s=t=2$ ) à toute la famille des ensembles sans $K_{s,t}$ . La preuve repose sur un théorème de modèle dense $L^s$ , étendant les approches basées sur $L^2$ utilisées dans les travaux antérieurs.
Théorème 1.2 (Cas des corps finis) :
Dans l'espace vectoriel $\mathbb{F}_q^n$ (où $q$ est une puissance de nombre premier impair fixée), pour tout ensemble sans $K_{s,t}$ manquant de solutions non triviales aux mêmes classes d'équations :
$|A| \ll N^{1-1/s} (\log N)^{-c}$
pour une certaine constante $c > 0$ . Ce résultat obtient des bornes quantitatives plus fortes (économies polylogarithmiques) par rapport au cas des entiers en combinant le transfert de Fourier avec la méthode polynomiale (spécifiquement le lemme de Fox–Lovász–Sauermann).
Optimalité de $k \ge 5$ :
Les auteurs notent que la condition $k \ge 5$ est optimale. Pour $k=4$ (ex: $x_1+x_2=x_3+x_4$ ) ou $k=3$ (ex: $x+y=2z$ ), la condition d'absence de $K_{s,t}$ (spécifiquement pour $s=t=2$ , soit les ensembles de Sidon) exclut déjà les solutions non triviales par définition.

Signification
L'article affirme étendre la compréhension de la structure arithmétique dans les ensembles creux du cas spécifique des ensembles de Sidon à la classe plus large des ensembles sans $K_{s,t}$ . En établissant que les ensembles sans $K_{s,t}$ denses doivent contenir des solutions à des équations linéaires à 5 variables, les auteurs démontrent que ces ensembles possèdent une structure arithmétique significative malgré leur rareté.

Le travail fait le pont entre la théorie extrémale des graphes (via la condition sans $K_{s,t}$ et les bornes de Kővári–Sós–Turán) et la combinatoire additive. Dans le cadre des corps finis, l'article souligne la puissance de la combinaison du transfert de Fourier et des techniques de la méthode polynomiale pour obtenir des bornes quantitatives plus précises que ce qui est actuellement possible dans le cadre des entiers. Les résultats représentent une étape vers une théorie unifiée des théorèmes de type Roth pour les ensembles définis par des configurations additives interdites.