🔢 mathematics

Large Sets of Integers with No Harmonic Triples

Cet article établit une nouvelle borne inférieure pour la taille maximale d'un sous-ensemble de $\{1, \dots, N\}$ ne contenant aucun triplet harmonique distinct, obtenue en construisant un tel ensemble via l'image affine aléatoire d'un ensemble sans progression dense dans un corps premier, suivie de l'élimination des triplets effondrés.

Auteurs originaux : Samuel Korsky

Publié 2026-07-08

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Samuel Korsky

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 bocal géant rempli de billes numérotées, de 1 jusqu'à un très grand nombre $N$ . Votre objectif est de choisir autant de billes que possible pour les garder dans une boîte plus petite, mais avec une règle très stricte : Vous ne pouvez pas choisir trois billes qui forment un « Triple Harmonique ».

Qu'est-ce qu'un Triple Harmonique ?

Dans le monde des nombres, un « Triple Harmonique » est un trio spécial de nombres $(a, b, c)$ où les réciproques (les nombres retournés comme $1/a$ ) forment une ligne parfaitement espacée.

Pensez à cela comme à un accord musical. Si vous avez trois notes, et que la « distance » entre la première et la deuxième note est exactement la même que la distance entre la deuxième et la troisième, elles sont en harmonie.

Mathématiquement, cela signifie : $\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$ .
Si vous trouvez trois nombres dans votre boîte qui respectent cette équation, vous devez jeter tout le trio.

L'auteur, Samuel Korsky, demande : Quelle peut être la taille de notre boîte avant que nous ne soyons contraints de jeter tellement de nombres qu'elle devienne minuscule ?

La Grande Découverte

Pendant longtemps, les mathématiciens savaient comment construire de grandes boîtes de nombres évitant des motifs standards (comme trois nombres qui se suivent : 3, 5, 7). Mais éviter ces motifs « Harmoniques » était beaucoup plus difficile car les mathématiques fonctionnent différemment (il s'agit de retourner les nombres, pas seulement d'ajouter).

Korsky prouve que nous pouvons en fait construire une boîte très grande qui ne contient aucun Triple Harmonique.

La Taille : La boîte n'est pas juste un minuscule point ; c'est une part significative du bocal d'origine.
Le Piège : Elle n'est pas tout à fait aussi grande que les boîtes sans motifs « standards », mais elle reste massive. L'article donne une formule spécifique montrant que, à mesure que le bocal s'agrandit, la boîte que nous pouvons garder croît de manière prévisible et impressionnante.

Comment a-t-il fait ? (La Construction)

Korsky n'a pas choisi les nombres au hasard. Il a utilisé un processus de « filtrage » en deux étapes, comme un tamis de haute technologie.

Étape 1 : Le Filtre d'Ombre (Le Corps Premier)
Imaginez que vous avez un petit livre de codes secret (un petit groupe de nombres appelé « corps premier »). Dans ce livre de codes, il y a une liste spéciale de nombres qui ne possède déjà aucun motif de « trois de suite ».
Korsky prend cette petite liste parfaite et utilise une « lentille magique » aléatoire (une image affine aléatoire) pour la projeter sur le bole géant de billes.

Il ne garde que les billes dont les « ombres » (lorsqu'on les divise par un nombre premier spécifique) atterrissent sur cette liste spéciale.
Comme la liste originale ne contenait pas de motifs, la plupart du temps, les billes que vous choisissez ne formeront pas non plus de Triples Harmoniques.

Étape 2 : Le Nettoyage par Effondrement
Parfois, la lentille magique provoque un bug. Quelques triplets indésirables peuvent s'y glisser parce qu'ils paraissent différents dans le monde réel mais semblent identiques lorsqu'ils sont vus à travers la lentille (ils « s'effondrent » sur la même ombre).

Korsky a réalisé que ces triplets de « bug » sont rares. Ils n'arrivent que si les nombres partagent une propriété mathématique très spécifique et rare.
Il a calculé exactement combien de ces bugs pourraient exister. Le nombre est suffisamment petit pour qu'il puisse simplement jeter le « plus grand » nombre de chaque trio problématique trouvé.
Même après avoir jeté ces quelques éléments, la boîte est toujours immense.

L'Analogie : La Liste des Invités de la Fête

Imaginez que vous organisiez une fête pour $N$ invités. Vous voulez inviter autant de personnes que possible, mais vous avez une règle : Aucun groupe de trois invités ne peut être « Harmonique ».

La Règle Standard : Habituellement, vous éviteriez simplement des gens qui se tiennent en ligne droite (comme 1, 2, 3).
La Règle Harmonique : C'est plus complexe. C'est comme dire : « Aucun groupe de trois invités ne peut être lié de telle sorte que leurs "personnalités inverses" s'équilibrent parfaitement. »
La Stratégie :
- Vous regardez d'abord un petit club VIP (le corps premier) où vous savez exactement qui s'entend avec qui.
- Vous utilisez un « générateur de badges nominatifs » aléatoire pour attribuer des invités à la fête en fonction de leur appartenance à ce club VIP.
- La plupart du temps, cela fonctionne parfaitement.
- Occasionnellement, trois invités qui ne devraient pas être ensemble reçoivent accidentellement le même badge. Vous repérez ces quelques fauteurs de troubles et demandez poliment au plus grand de partir.
- Résultat : Vous avez toujours une fête massive, et personne ne transgresse la règle Harmonique.

Et après ?

L'article résout la question « Quelle taille peut-elle atteindre ? » (la borne inférieure). Cependant, l'auteur laisse une porte ouverte : Est-il possible d'avoir une fête où presque tout le monde est invité (densité positive) ?
Actuellement, nous ne savons pas s'il est possible de remplir la boîte à ras bord sans briser la règle, ou si nous sommes toujours contraints d'en laisser certains de côté. Cela reste un mystère pour les futurs mathématiciens.

En bref : Nous savons désormais que nous pouvons construire une collection très large de nombres qui évite ces relations « Harmoniques » complexes, en utilisant un mélange intelligent de sélection aléatoire et de nettoyage méticuleux.

Résumé Technique : Grands ensembles d'entiers sans triples harmoniques

Énoncé du problème
Cet article étudie la taille maximale, notée $f(N)$ , d'un sous-ensemble $A \subseteq [N] = \{1, \dots, N\}$ ne contenant aucun triplet distinct $a, b, c$ satisfaisant la condition de triple harmonique :
$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$
Ce problème est présenté comme un analogue réciproque du problème classique de l'estimation de $r_3(N)$ , la taille maximale d'un sous-ensemble de $[N]$ ne contenant aucune progression arithmétique de trois termes (3-AP) non triviale (se référant aux travaux de Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka, et autres). Or, l'application réciproque $x \mapsto 1/x$ n'est pas une application additive sur les intervalles d'entiers. Par conséquent, les bornes supérieures existantes pour $r_3(N)$ ne s'appliquent pas directement au cadre harmonique.

Méthodologie et construction
L'auteur construit un grand sous-ensemble de $[N]$ exempt de triples harmoniques en utilisant une méthode probabiliste combinée à une paramétrisation spécifique des triples harmoniques. La construction procède comme suit :

Sélection du corps premier : Un nombre premier $q$ est choisi tel que $q \asymp \log N$ .
Ensemble sans progression : Un ensemble $R \subseteq \mathbb{F}_q$ dense et sans progression de trois termes est sélectionné. La densité de cet ensemble repose sur la borne inférieure améliorée de type Behrend pour $r_3(X)$ établie par Elsholtz, Hunter, Proske et Sauermann. Plus précisément, $|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$ , où $C_{AP} = 2\sqrt{\log(24/7)}$ .
Filtrage affine aléatoire : Une image affine aléatoire $R_{\lambda, \mu} = \lambda R + \mu$ (où $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$ ) est utilisée pour filtrer les entiers impairs $n \le N$ tels que $n \not\equiv 0 \pmod q$ et $n^{-1} \pmod q \in R_{\lambda, \mu}$ . Cet ensemble initial aléatoire $B_0$ a une taille attendue $\gg \delta N$ , où $\delta = |R|/q$ .
Gestion des triplets effondrés : La difficulté centrale est qu'un triple harmonique dans les entiers peut correspondre à une progression constante (tous les résidus égaux) dans $\mathbb{F}_q$ plutôt qu'à une progression non triviale. L'article utilise une paramétrisation des triples harmoniques impairs (Lemme 2.2) pour montrer que si un triple $b < a < c$ satisfait la condition harmonique, alors le paramètre de différence $d$ dans la paramétrisation doit être divisible par $q$ .
Stratégie de suppression : On supprime le plus grand élément de tout triple harmonique survivant. Le nombre de ces triplets « effondrés » (où $q \mid d$ ) est montré être de l'ordre de $O(N \log N / q)$ . Puisque la probabilité qu'un triple spécifique survive au filtre aléatoire est $\delta$ , le nombre attendu de suppressions est faible par rapport à la taille initiale de l'ensemble, à condition que la constante dans $q \asymp \log N$ soit choisie suffisamment grande.

Résultats clés
Le théorème principal établit une borne inférieure pour $f(N)$ qui reflète la borne de type Behrend améliorée pour $r_3(N)$ , mais avec un décalage logarithmique :

Théorème 1.1 : Lorsque $N \to \infty$ ,
$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$
où $C_{AP} = 2\sqrt{\log(24/7)}$ .

La preuve démontre qu'en choisissant $q \asymp \log N$ , le terme $\sqrt{\log q}$ dans l'exposant de la densité de l'ensemble sans progression se traduit par $\sqrt{\log \log N}$ dans la borne finale pour l'ensemble harmonique.

Signification et questions ouvertes
L'article affirme transférer avec succès les bornes inférieures de l'état de l'art pour les ensembles sans progression vers le cadre des triplets harmoniques. La construction est décrite comme « directe », reposant sur l'interaction entre la densité des ensembles sans progression dans les corps premiers et la structure arithmétique des triplets harmoniques modulo un nombre premier.

L'auteur note que le problème complémentaire de la borne supérieure reste ouvert. Plus précisément, l'article pose la Question 1.2 : Est-il vrai que $f(N) = o(N)$ quand $N \to \infty$ ? En d'autres termes, est-il impossible qu'un ensemble de densité positive soit exempt de triplets harmoniques ? L'article ne résout pas cette question mais la présente comme la prochaine étape naturelle de l'étude de ce problème.

Qu'est-ce qu'un Triple Harmonique ?

La Grande Découverte

Comment a-t-il fait ? (La Construction)

L'Analogie : La Liste des Invités de la Fête

Et après ?

Articles similaires