Counterexamples of Friedlander--Iwaniec dual sums conjecture

Stel je voor dat je probeert te tellen op hoeveel manieren je een toren van blokken kunt bouwen. In de wereld van getallen is dit als vragen: "Op hoeveel verschillende manieren kan ik gehele getallen met elkaar vermenigvuldigen om een specifiek resultaat te krijgen?" Bijvoorbeeld, het getal 12 kan worden gemaakt door $3 \times 4$, $2 \times 6$, of $1 \times 12$. Wiskundigen noemen dit "divisor functies", en ze zijn de bouwstenen van een uitgestrekt, mysterieus landschap genaamd analytische getaltheorie.

Om dit landschap te navigeren, gebruiken wetenschappers krachtige instrumenten die "Dirichlet-reeksen" worden genoemd. Denk aan deze reeksen als magische telescopen die een rommelige stapel getallen veranderen in een vloeiende, stromende golf. Wanneer je naar deze golven kijkt door de telescoop, volgen ze vaak een strikte regel die een "functionele vergelijking" wordt genoemd, wat werkt als een spiegel: als je de golf omklapt, ziet hij er bijna hetzelfde uit, alleen met de getallen omgewisseld. Deze spiegeltruc is zo nuttig dat het wiskundigen in staat stelt om te voorspellen hoe de getallen zich ver in de verte gedragen, zelfs wanneer ze ze niet één voor één kunnen tellen.

Lama tijd lang stelde een groep briljante wiskundigen, waaronder John Friedlander en Henry Iwaniec, een gedurfde idee voor over deze golven. Ze suggereerden dat als je naar een specifieke, grillige doorsnede van deze golf kijkt (een "duale som"), die grilligheid zichzelf perfect zou opheffen. Ze voorspelden dat, ongeacht hoe ver je inzoomt of hoeveel getallen je telt, de overgebleven "ruis" zo klein zou zijn dat deze praktisch zou verdwijnen. Het was een mooie, elegante gok die beloofde om een van de moeilijkste puzzels in de wiskunde te vereenvoudigen.

Maar in dit artikel stapt een wiskundige genaamd Khai-Hoan Nguyen-Dang naar voren met een realiteitscheck. Gebruikmakend van een specifiek type getallentoren (het product van de beroemde Riemann-zetafunctie met zichzelf, geschreven als $\zeta(s)^m$), construeert de auteur een scenario waarin die prachtige annulering simpelweg niet plaatsvindt. Cruciaal is dat dit falen optreedt voor torens met vier of meer lagen ($m \ge 4$), maar de specifieke manier waarop het falen zich manifesteert, hangt af van de hoogte van de toren. Voor $m=4$ werkt het tegenvoorbeeld onder een specifieke reeks voorwaarden. Echter, voor hogere torens met $m=5$ of $m=6$, bewijst de auteur dat de voorspelling nog breder faalt, inclusief in het standaard bereik van getallen die gewoon bestudeerd worden. In plaats van te verdwijnen, blijkt de ruis luid en hardnekkig te zijn. De paper bewijst dat voor deze specifieke grote getallen de "grilligheid" eigenlijk een massieve, voorspelbare golf is die weigert te verdwijnen. Dit is niet zomaar een kleine fout; het is een fundamentele barst in de voorspelling, die laat zien dat de elegante regel voorgesteld door Friedlander en Iwaniec niet standhoudt voor deze specifieke, complexe getallentorens wanneer de parameters zijn afgestemd op een specifiek bereik.

Het Verhaal van de Koppige Golf

Laten we duiken in de mechanica van deze ontdekking. Stel je voor dat je luistert naar een koor van zangers, waarbij elke zanger een getal vertegenwoordigt. In de wereld van Friedlander–Iwaniec zijn de zangers in een lijn opgesteld, en ze horen een lied te zingen dat zichzelf opheft. Het lied heeft een specifiek ritme, en de wiskundigen geloofden dat als je het lied op enig punt zou stoppen, het resterende geluid slechts een fluistering zou zijn.

Nguyen-Dang besloot dit te testen door een zeer specifiek koor te kiezen: het "divisor koor", waarbij elke zanger een getal is dat op veel manieren gebouwd kan worden (zoals het getal 12, dat veel factorcombinaties heeft). Hij stelde een speciaal experiment op waarbij hij het ritme van het lied afstemde op de natuurlijke frequentie van de zangers.

Hier is de truc: Hij koos een specifiek moment in de tijd (een specifieke waarde voor $x$) waar de laatste paar zangers in de rij allemaal exact dezelfde hoge noot tegelijkertijd raakten. Dit werkt alleen als de relatie tussen het totaal aantal zangers en het "zoomniveau" van het experiment een zeer specifieke regel volgt (wiskundig gedefinieerd door een parameter $a$). Omdat de zangers (de getallen) allemaal positief zijn en de noten allemaal op één lijn liggen, heffen ze elkaar niet op; ze stapelen zich op! Het is als een stadiongolf waarbij iedereen op exact hetzelfde moment opstaat—het effect is enorm, niet minuscuul.

De paper laat zien dat voor deze specifieke getallentorens (met $m \ge 4$), je altijd een moment kunt vinden waarop de laatste brok van het lied (het "eindpunt") perfect gesynchroniseerd is, mits je de juiste parameters kiest. Wanneer dit gebeurt, krimpt de som van de getallen niet tot niets. In plaats daarvan groeit het tot een omvang die "power-sized" is. In de wiskundige taal betekent dit dat de waarde evenredig is aan een macht van het aantal zangers, in plaats van een minuscuul, verwaarloosbaar stipje.

De auteur bewijst dit met een slimme wiskundige constructie. Hij laat zien dat voor elk groot aantal zangers $N$, hij het ritme kan aanpassen zodat de laatste $H$ zangers (waarbij $H$ een aanzienlijk deel van het totaal is) allemaal in perfecte harmonie zingen. Omdat het "volume" van elke zanger minstens 1 is, is het totale volume van dit laatste blok massief. Deze massieve blok is het verschil tussen twee licht verschillende stoppunten in het lied. Als het totale lied een fluistering had moeten zijn, hoe kan een deel ervan dan een gebrul zijn? Dat kan niet. Daarom moet de voorspelling dat het hele lied een fluistering is, onjuist zijn.

Het Vonnis

De paper levert een duidelijk, hard "nee" aan de specifieke voorspelling gedaan door Friedlander en Iwaniec voor deze typen getallentorens wanneer de toren vier of meer lagen heeft ($m \ge 4$) en het experiment is opgezet binnen een specifiek parameterbereik. Het suggereert niet alleen dat de voorspelling misschien iets van de plank af is; het construeert een wiskundig bewijs dat de voorspelling faalt. De auteurs laten zien dat voor de getallentorens gebouwd uit $\zeta(s)^m$ (waarbij $m$ 4 of groter is), er altijd momenten zijn waarop de "duale som" groot en krachtig is, wat het idee tegenspreekt dat deze klein zou moeten zijn. Specifiek, terwijl het tegenvoorbeeld voor $m=4$ een zorgvuldige opstelling vereist, bewijst de paper dat voor $m=5$ en $m=6$ de voorspelling zelfs faalt in het standaard, gedrukte bereik van getallen waar wiskundigen gewoonlijk op vertrouwen.

Dit betekent niet dat het hele veld van de getaltheorie kapot is. Het betekent alleen dat deze ene, specifieke, elegante regel een limiet heeft. Het is alsof je ontdekt dat een brug perfect veilig is voor auto's, maar als je er met een zware vrachtwagen met een bepaalde snelheid overheen rijdt, zal deze heftig schudden. De brug werkt nog steeds voor auto's, maar de regel over "geen schudden" is niet universeel.

De paper is rigoureus en definitief. Het steunt niet op computersimulaties of gissingen; het gebruikt logische stappen om te bewijzen dat de "ruis" in de som eigenlijk een "signaal" is dat niet genegeerd kan worden. Door deze "tegenvoorbeelden" te vinden, dwingt de auteur wiskundigen om opnieuw na te denken over hoe zij deze complexe sommen behandelen. De droom van een enkele, eenvoudige regel die alle ruis voor elk type getallentoren doet verdwijnen, is verbrijzeld, althans voor deze specifieke, belangrijke klasse van getallen. De reis om deze getallen te begrijpen gaat door, maar nu weten we dat het pad ruwer is en de golven luider zijn dan we voorheen dachten.