On the problem of large gcd for disjoint residue classes

Stel je voor dat je een detective bent die een mysterie probeert op te lossen over hoe getallen zich voor elkaar verbergen. In de wereld van de wiskunde, specifiek een tak genaamd getaltheorie, dragen getallen vaak "maskers" die residueklassen worden genoemd. Denk aan een residueklasse als een specifieke stoel aan een ronde tafel waar iedereen een getal heeft, maar ze gaan alleen zitten als hun getal hetzelfde "restje" achterlaat bij deling door een specifieke grootte, de modulus. Bijvoorbeeld, de "3-uur" stoel aan een tafel van 12 is bijvoorbeeld voor iedereen wiens getal 3 is, 1 of 27, enzovoort.

Stel je nu voor dat je een groep van deze stoelen hebt, maar met een zeer strikte regel: geen twee stoelen mogen ooit overlappen. Als één stoel voor getallen is die 1 meer zijn dan een veelvoud van 5, en een andere stoel voor getallen die 2 meer zijn dan een veelvoud van 7, kunnen ze per ongeluk een getal delen (zoals 22). Als dat gebeurt, zijn ze niet "disjoint" (disjunct). De wiskundigen in dit verhaal stellen een lastige vraag: als je een heleboel van deze stoelen volledig gescheiden dwingt zodat ze nooit een enkel getal delen, hoeveel moeten de groottes van hun tafels (de moduli) gemeen hebben? Het is als vragen: als je een reeks puzzelstukjes hebt die weigeren in elkaar te passen, hoe vergelijkbaar moeten hun vormen dan zijn? Dit is belangrijk omdat het begrijpen van deze verborgen connecties wiskundigen helpt om grotere puzzels op te lossen, wat cruciaal is voor alles van cryptografie tot het begrijpen van het ritme van priemgetallen.

---

Het Grote GCD-mysterie: Wanneer Getallen Weigeren te Mengen

In dit artikel pakken Jan Fornal en Yu-Chen Sun een puzzel aan die wiskundigen al een tijdje dwarszit. Ze kijken naar een collectie van $k$ verschillende "residueklassen" (onze speciale stoelen) die allemaal paar gewijs disjunct zijn, wat betekent dat er geen twee van hen een enkel getal delen. De grote vraag is: als je $k$ van deze niet-overlappende stoelen hebt, hoe groot moet de gedeelde factor (de GCD) zijn tussen de groottes van ten minste twee van de tafels?

Een tijdlang had een wiskundige genaamd Sun een gewaagde gok gedaan (een vermoeden). Hij dacht dat als je $k$ disjuncte stoelen hebt, de grootste gedeelde factor tussen twee tafelgroottes ten minste $k$ moet zijn. Het is een mooi, helder idee: als je 100 disjuncte stoelen hebt, moeten twee van de tafels een gedeelde factor van ten minste 100 hebben. Sun bewees dit voor kleine aantallen stoelen (tot 20), en anderen bewezen het voor specifieke soorten groepen, maar het algemene geval voor elk aantal $k$ bleef een mysterie.

Fornal en Sun hebben niet het exacte vermoeden van Sun van $k$ bewezen, maar ze kwamen er ongelooflijk dichtbij. Ze bewezen dat de grootste gedeelde factor ongeveer $k$ gedeeld door een zeer kleine, krimpend fractie is. In hun eigen woorden lieten ze zien dat de maximale GCD ten minste is:
$$\exp\left( -(2 + o(1)) \sqrt{\frac{\log k}{\log \log k}} \right)$$
Laat de enge wiskundige symbolen je niet afschrikken. In gewone mensentaal betekent dit dat het antwoord $k$ tot de macht van iets dat heel dicht bij 1 ligt is. Het is bijna $k$, net iets kleiner. Dus, hoewel ze het exacte getal $k$ niet hebben bevestigd, hebben ze wel bevestigd dat de gedeelde factor bijna even snel groeit als het aantal stoelen dat je hebt. Dit is een enorme stap voorwaarts; het bewijst dat de intuïtie van Sun essentieel correct was, met slechts een klein beetje speling nodig.

Hoe ze het oplosten: Het Kleuren van de Grafen-game

Om deze code te kraken, veranderden de auteurs het probleem in een spel van stippen verbinden, of wat wiskundigen een "graaf" noemen. Stel je voor dat elk van je $k$ disjuncte stoelen een stip (een vertex) is op een vel papier. Teken nu een lijn (een edge) tussen elk paar stippen. Maar hier komt de twist: kleur elke lijn op basis van de GCD van de twee tafelgroottes die ze verbindt. Als twee tafels beide veelvouden van 6 zijn, krijgt de lijn tussen hen de kleur "6".

De auteurs realiseerden zich dat als je te veel stippen (stoelen) hebt en de lijnen (GCD's) te klein zijn, de graaf een bepaalde vorm zou moeten hebben die simpelweg niet mogelijk is voor disjuncte stoelen. Ze gebruikten een slimme truc genaamd een "zeef" om de tafelgroottes in categorieën in te delen, een beetje zoals het sorteren van een kaartspel op kleur en rang, maar dan gebaseerd op hun priemfactoren.

Vervolgens introduceerden ze een "gewichtssysteem". Sommige stippen zijn belangrijker dan andere. Ze wijsden gewichten toe aan de stippen op basis van hoeveel groepen ze deelden. Het cruciale inzicht kwam uit een structurele lemma (een chique regel over de vorm van de graaf). Ze ontdekten dat als je een stip hebt die met veel andere stippen verbonden is door lijnen van een "vreemde" kleur (een GCD die niet de eenvoudige GCD van de twee tafelgroottes is), die stip ofwel in een kleine "uitzonderlijke" groep moet zitten, ofwel een zeer klein gewicht moet hebben.

Door deze gewichten in balans te brengen en een hulpmiddel genaamd de "discrete Fourier-transformatie" te gebruiken (wat zoiets is als het luisteren naar de verborgen ritmes in de getallen), waren ze in staat om aan te tonen dat het totale gewicht van de graaf de GCD's groot maakt. Als de GCD's klein waren geweest, zou de wiskunde breken, wat tot een tegenspraak zou leiden.

Het Vonnis

Het artikel bewijst dat voor elke familie van $k$ paar gewijs disjuncte residueklassen, de maximale GCD tussen twee moduli ten minste is:
$$k^{1 - o(1)}$$
Dit betekent dat naarmate $k$ enorm groot wordt, de gedeelde factor dichter bij $k$ zelf komt te liggen.

Ze hebben dit resultaat ook toegepast op een gerelateerd probleem over "extremale families" van disjuncte rekenkundige progressies (reeksen getallen met een constante stap). Ze lieten zien dat in de grootste mogelijke families van deze reeksen, er twee getallen moeten zijn die een enorme gemeenschappelijke factor delen, specifiek rond $x L(x)^{-1+o(1)}$, waarbij $L(x)$ een specifieke functie is die logaritmen bevat.

Kortom, Fornal en Sun hebben niet alleen gegokt; ze hebben een rigoureuze wiskundige brug gebouwd met behulp van grafen, zeven en Fourier-analyse om te bewijzen dat disjuncte getallen gedwongen zijn een verrassend sterke connectie te hebben. Ze hebben het probleem niet perfect opgelost (het exacte $k$ is nog steeds een vermoeden), maar ze hebben bewezen dat de connectie bijna net zo sterk is als het vermoeden voorspelde, waarmee ze de kloof aanzienlijk hebben gedicht.