🔢 mathematics

Large Sets of Integers with No Harmonic Triples

Dit artikel stelt een nieuwe ondergrens vast voor de maximale grootte van een deelverzameling van $\{1, \dots, N\}$ die geen afzonderlijke harmonische triples bevat, wat wordt bereikt door een dergelijke verzameling te construeren via een willekeurige affiene afbeelding van een dichte progressie-vrije deelverzameling in een priemveld, gevolgd door het verwijderen van samengevallen triples.

Oorspronkelijke auteurs: Samuel Korsky

Gepubliceerd 2026-07-08

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Samuel Korsky

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een enorme pot hebt vol genummerde knikkers, van 1 tot een zeer groot getal $N$ . Je doel is om zoveel mogelijk knikkers te kiezen om in een kleinere doos te bewaren, maar met één strikte regel: Je mag geen drie knikkers kiezen die een "Harmonische Driedeling" vormen.

Wat is een Harmonische Driedeling?

In de wereld van getallen is een "Harmonische Driedeling" een speciale trio van getallen $(a, b, c)$ waarbij de reciproken (de getallen ondersteboven gekeerd, zoals $1/a$ ) een perfect, gelijkmatig verdeelde lijn vormen.

Denk aan een muzikale akkoord. Als je drie noten hebt, en de "afstand" tussen de eerste en tweede noot is precies hetzelfde als de afstand tussen de tweede en derde noot, dan zijn ze in harmonie.

Wiskundig gezien betekent dit: $\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$ .
Als je drie getallen in je doos vindt die aan deze vergelijking voldoen, moet je de hele driedeling eruit gooien.

De auteur, Samuel Korsky, vraagt zich af: Hoe groot kan onze doos worden voordat we gedwongen worden om zoveel getallen weg te gooien dat hij piepklein wordt?

De Grote Ontdekking

Lange tijd wisten wiskundigen al hoe ze grote dozen met getallen konden bouwen die standaard patronen vermijden (zoals drie getallen op een rij: 3, 5, 7). Maar het vermijden van deze "Harmonische" patronen was veel moeilijker omdat de wiskunde anders werkt (het gaat over het omdraaien van getallen, niet alleen over optellen).

Korsky bewijst dat we een zeer grote doos van getallen kunnen bouren die geen Harmonische Driedelingen bevat.

De Grootte: De doos is niet slechts een klein stipje; het is een aanzienlijk deel van de oorspronkelijke pot.
Het Nadeel: Het is bijna niet zo groot als de standaard "geen-patroon" dozen, maar het is nog steeds enorm. De paper geeft een specifieke formule die laat zien dat naarmate de pot groter wordt, de doos die we kunnen houden op een voorspelbare, indrukwekkende manier groeit.

Hoe heeft hij het gedaan? (De Constructie)

Korsky koos niet zomaar willekeurig getallen. Hij gebruikte een slim, twee-stappen "filterproces", zoals een hoogtechnologische zeef.

Stap 1: Het "Schaduw"-filter (Het Primaire Veld)
Stel je voor dat je een kleine, geheime codeboek hebt (een kleine groep getallen een "primair veld" genoemd). In dit codeboek is er een speciale lijst met getallen die al geen "drie-op-een-rij" patronen heeft.
Korsky neemt deze kleine, perfecte lijst en gebruikt een willekeurige "magische lens" (een willekeurige affiene afbeelding) om deze op de enorme pot met knikkers te projecteren.

Hij houdt alleen de knikkers die waarvan de "schaduwen" (wanneer je ze deelt door een specifiek priemgetal) op die speciale lijst landen.
Omdat de oorspronkelijke lijst geen patronen had, zullen de knikkers die je kiest meestal ook geen Harmonische Driedelingen vormen.

**Stap 2: De "Ineenstorting"-schoonmaak
Soms veroorzaakt de magische lens een foutje. Een paar slechte driedelingen zouden erdoorheen kunnen glippen omdat ze er in de echte wereld anders uitzien, maar er door de lens identiek uitzien (ze "storten in" naar dezelfde schaduw).

Korsky realiseerde zich dat deze "glitch" driedelingen zeldzaam zijn. Ze komen alleen voor als de getallen een zeer specifieke, zeldzame wiskundige eigenschap delen.
Hij heeft precies berekend hoeveel van deze glitches zouden kunnen bestaan. Het aantal is klein genoeg zodat hij simpelweg het "grootste" getal uit elke foutieve driedeling kan weggooien.
Zelfs nadat hij deze paar weggegooid heeft, is de doos nog steeds enorm.

De Analogie: De Gastenlijst van een Feestje

Stel je voor dat je een feestje organiseert voor $N$ gasten. Je wilt zoveel mogelijk mensen uitnodigen, maar je hebt een regel: Geen drie gasten mogen "Harmonisch" zijn.

De Standaard Regel: Normaal gesproken zou je gewoon mensen vermijden die in een rechte lijn staan (zoals 1, 2, 3).
De Harmonische Regel: Dit is lastiger. Het is alsof je zegt: "Geen drie gasten mogen op een manier met elkaar verwant zijn dat hun 'inverse persoonlijkheden' elkaar perfect in evenwicht houden."
De Strategie:
- Je kijkt eerst naar een kleine, VIP-club (het primaire veld) waar je precies weet wie bij elkaar past.
- Je gebruikt een willekeurige "naamkaartjesgenerator" om gasten aan het feestje toe te wijzen op basis van wie in die VIP-club thuishoort.
- Meestal werkt dit perfect.
- Af en toe krijgen drie gasten die niet bij elkaar horen per ongeluk hetzelfde naamkaartje. Je ziet deze enkele probleemgevallen en vraagt de langste van hen beleefd om te vertrekken.
- Resultaat: Je hebt nog steeds een enorm feest, en niemand breekt de Harmonische regel.

Wat nu verder?

De paper lost de vraag "Hoe groot kunnen we het maken?" (de ondergrens) op. Echter, de auteur laat één deur op een kier staan: Is het mogelijk om een feestje te hebben waarbij bijna iedereen is uitgenodigd (positieve dichtheid)?
Momenteel weten we niet of het mogelijk is om de doos tot de rand te vullen zonder de regel te breken, of dat we altijd gedwongen zullen zijn om sommigen buiten te laten. Dat blijft een mysterie voor toekomstige wiskundigen.

Kortom: We weten nu dat we een zeer grote collectie getallen kunnen bouwen die deze lastige "Harmonische" relaties vermijdt, door een slimme mix van willekeurige selectie en zorgvuldige schoonmaak.

Technische Samenvatting: Grote verzamelingen van gehele getallen zonder harmonische triples

Probleemstelling
Dit artikel onderzoekt de maximale grootte, aangeduid als $f(N)$ , van een deelverzameling $A \subseteq [N] = \{1, \dots, N\}$ die geen afzonderlijke elementen $a, b, c$ bevat die voldoen aan de harmonische triple-conditie:
$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$
Dit probleem wordt gepresenteerd als een reciproque analoog aan het klassieke probleem van het schatten van $r_3(N)$ , de maximale grootte van een deelverzameling van $[N]$ die geen niet-triviale drie-term rekenkundige progressie (3-AP) bevat. Hoewel de boven- en ondergrenzen voor $r_3(N)$ uitgebreid zijn bestudeerd (met verwijzingen naar het werk van Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka, en anderen), is de reciproke afbeelding $x \mapsto 1/x$ geen additieve afbeelding op intervallen van gehele getallen. Bijgevolg zijn bestaande bovengrenzen voor $r_3(N)$ niet direct toepasbaar op de harmonische setting.

Methodologie en Constructie
De auteur construeert een grote deelverzameling van $[N]$ die vrij is van harmonische triples met behulp van een probabilistische methode gecombineerd met een specifieke parametrisatie van harmonische triples. De constructie verloopt als volgt:

Selectie van het priemveld: Een priemgetal $q$ wordt gekozen zodanig dat $q \asymp \log N$ .
Progressie-vrije verzameling: Een dichte drie-term-progressie-vrije verzameling $R \subseteq \mathbb{F}_q$ wordt geselecteerd. De dichtheid van deze verzameling berust op de verbeterde Behrend-type ondergrens voor $r_3(X)$ zoals vastgesteld door Elsholtz, Hunter, Proske en Sauermann. Specifiek geldt $|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$ , waarbij $C_{AP} = 2\sqrt{\log(24/7)}$ .
Random Affiene Filtering: Een willekeurige affine afbeelding $R_{\lambda, \mu} = \lambda R + \mu$ (waarbij $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$ ) wordt gebruikt om de oneven gehele getallen $n \le N$ te filteren waarvoor $n \not\equiv 0 \pmod q$ en $n^{-1} \pmod q \in R_{\lambda, \mu}$ . Deze initiële willekeurige verzameling $B_0$ heeft een verwachte grootte $\gg \delta N$ , waarbij $\delta = |R|/q$ .
Afhandeling van Ingestorte Triples: De kern van de moeilijkheid is dat een harmonische triple in de gehele getallen naar een constante progressie kan mappen (alle residuen gelijk) in $\mathbb{F}_q$ , in plaats van naar een niet-triviale progressie. Het artikel maakt gebruik van een parametrisatie van oneven harmonische triples (Lemma 2.2) om aan te tonen dat als een triple $b < a < c$ aan de harmonische conditie voldoet en $a \equiv b \equiv c \pmod q$ , dan de verschilparameter $d$ in de parametrisatie deelbaar moet zijn met $q$ .
Deletiestrategie: De constructie verwijdert het grootste element van elke overlevende harmonische triple. Het aantal van dergelijke "ingestorte" triples (waar $q \mid d$ ) is aangetoond $O(N \log N / q)$ te zijn. Aangezien de waarschijnlijkheid dat een specifieke triple de willekeurige filter overleeft $\delta$ is, is het verwachte aantal verwijderingen klein ten opzien van de initiële verzameling, mits de constante in $q \asymp \log N$ voldoende groot wordt gekozen.

Belangrijkste Resultaten
De hoofdstelling stelt een ondergrens voor $f(N)$ vast die de verbeterde Behrend-type ondergrens voor $r_3(N)$ spiegelt, maar met een logaritmische verschuiving:

Stelling 1.1: Naarmate $N \to \infty$ ,
$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$
waarbij $C_{AP} = 2\sqrt{\log(24/7)}$ .

Het bewijs toont aan dat door $q \asymp \log N$ te kiezen, de term $\sqrt{\log q}$ in de exponent van de progressie-vrije verzameling-dichtheid vertaalt naar $\sqrt{\log \log N}$ in de uiteindelijke grens voor de harmonische verzameling.

Betekenis en Openstaande Vragen
Het artikel beweert succesvol de state-of-the-art ondergrenzen voor progressie-vrije verzamelingen te hebben overgebracht naar de harmonische-triple-vrije setting. De constructie wordt beschreven als "direct", rustend op de interactie tussen de dichtheid van progressie-vrije verzamelingen in priemvelden en de rekenkundige structuur van harmonische triples modulo een priemgetal.

De auteur merkt op dat het complementaire boven-grensprobleem open blijft. Specifiek stelt het artikel Vraag 1.2: Is het waar dat $f(N) = o(N)$ als $N \to \infty$ ? Met andere woorden, is het onmogelijk voor een verzameling van positieve dichtheid om vrij te zijn van harmonische triples? Het artikel lost deze vraag niet op, maar benadrukt dat dit de natuurlijke volgende stap is in het onderzoek naar dit probleem.

Wat is een Harmonische Driedeling?

De Grote Ontdekking

Hoe heeft hij het gedaan? (De Constructie)

De Analogie: De Gastenlijst van een Feestje

Wat nu verder?

Meer zoals dit