🔢 mathematics

Unbounded logarithmic limsup in Erd\H{o}s problem 684

Dit artikel bewijst dat de limiet superieur van $f(n)/\log n$ oneindig is door integers te construeren waarvoor $f(n)$ groter is dan elke voorgeschreven constante veelvoud van $\log n$ , gebruikmakend van een geavanceerde zeefmethode en analytische technieken.

Oorspronkelijke auteurs: Ji Ho Bae

Gepubliceerd 2026-04-28

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ji Ho Bae

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

De Grote Getallen-Puzzel: Waarom de "Grote Broer" van een getal soms onverwacht groot is

Stel je voor dat elk getal een soort LEGO-bouwwerk is. De bouwstenen van dit bouwwerk zijn de priemgetallen (2, 3, 5, 7, enzovoort). Sommige bouwwerken zijn heel simpel en bestaan alleen uit kleine, standaard blokjes. Andere zijn supercomplex en bevatten enorme, zeldzame blokjes die je bijna nooit ziet.

Het probleem: De "Smooth" Filter

Wiskundigen zijn gefascineerd door een vraag die Erdős (een legendarische wiskundige) ooit stelde. Ze willen weten: Hoeveel van de kleinste, meest standaard blokjes heb je nodig om een bepaald deel van een getal te bouwen?

In de wiskunde noemen we een getal "smooth" als het alleen uit kleine bouwstenen bestaat. De vraag in dit onderzoek is: als we een getal $n$ nemen, hoe groot moet onze "filter" ( $k$ ) zijn om ervoor te zorgen dat het grootste deel van het getal uit blokjes kleiner dan $k$ bestaat?

Men dacht lang dat deze filter niet veel groter zou worden dan de logaritme van het getal (een soort trage groeicurve). Maar Ji Ho Bae heeft bewezen dat dit niet klopt. De filter kan oneindig groot worden vergeleken met die curve.

De Metafoor: De Onvoorspelbare Fabriek

Om dit te bewijzen, gebruikt de auteur een briljante constructie. Stel je een fabriek voor die getallen produceert.

De Standaard Productielijn (Kummer's Theorem):
De auteur bouwt een getal op een heel specifieke manier, zodat de "kleine blokjes" (de priemgetallen tot een bepaalde grens $M$ ) perfect in elkaar passen zonder dat er "restjes" of "overloop" (carries) ontstaan. Het is alsof je een machine hebt die precies weet hoe hij de kleine tandwieltjes moet plaatsen zonder dat ze tegen elkaar aan botsen.
De Sabotage (De Multiplier):
Nu komt de truc. De auteur wil dat de "kleine blokjes" toch een enorme impact hebben, maar op een heel specifieke, gecontroleerde manier. Hij introduceert een "multiplier" (een vermenigvuldiger). Zie dit als een geheime code die hij aan de fabriek geeft. Deze code zorgt ervoor dat de machine precies op de grens van chaos balanceert.
De "QM-Box" en de "Petalen" (De Lokalisatie):
Dit is het moeilijkste deel van het papier. Om te bewijzen dat zo'n getal echt bestaat, moet hij de enorme ruimte van alle mogelijke getallen verkleinen tot een heel specifiek gebied.
- Hij gebruikt de "QM-Box": denk aan een zoekmachine die niet alleen zoekt op een woord, maar ook op de exacte kleur, vorm en gewicht van een object.
- Hij gebruikt "Petalen": stel je een bloem voor waarbij elke bloemblad een specifieke wiskundige eigenschap vertegenwoordigt. Hij bewijst dat er een manier is om de "bloem" zo te laten groeien dat alle blaadjes precies de juiste wiskundige condities vervullen.
De Grote Schoonmaak (Timofeev’s Methode):
Ten slotte moet hij bewijzen dat zijn "geheime code" niet zomaar een uitzondering is, maar dat er daadwerkelijk getallen zijn die aan deze extreem strenge eisen voldoen. Hij gebruikt een methode van een andere wiskundige (Timofeev) die werkt als een soort statistische stofzuiger. Deze stofzuiger filtert alle "normale" getallen weg, totdat alleen de zeldzame, specifieke getallen die hij nodig heeft, overblijven.

De Conclusie: Geen plafond!

Wat heeft dit ons verteld? De conclusie is dat de "filter" ( $f(n)$ ) die we nodig hebben om de kleine bouwstenen van een getal te vangen, geen limiet heeft.

In de wereld van de getallen is er geen "plafond". Je kunt getallen maken die zo vreemd en zo specifiek zijn opgebouwd, dat de standaardregels over hoe groot de bouwstenen moeten zijn, volledig worden doorbroken. De "grote broer" van een getal kan veel groter zijn dan we ooit hadden durven dromen.

Technische Samenvatting: "Unbounded Logarithmic Limsup in Erdős Problem 684"

1. Het Probleem (Erdős Probleem 684)

Het onderzoek richt zich op een specifiek probleem uit de getaltheorie, voorgesteld door Paul Erdős. Gegeven een geheel getal $n$ en een parameter $k$ ( $0 \leq k \leq n$ ), schrijven we de binomiaalcoëfficiënt $\binom{n}{k}$ als het product van twee delen:
$\binom{n}{k} = u_k(n) \cdot v_k(n)$
waarbij $u_k(n)$ het $k$ -gladde deel is (alle priemfactoren zijn $\leq k$ ) en $v_k(n)$ het deel is met priemfactoren $> k$ .

Erdős vroeg naar de kleinste waarde van $k$ , genoteerd als $f(n)$ , waarvoor geldt dat $u_k(n) > n^2$ . Men vermoedde lang dat $f(n)$ een grootteorde van $\log n$ heeft (oftewel $f(n) \ll \log n$ ). Dit artikel bewijst dat dit vermoeden onjuist is: de limiet superieur van de verhouding $\frac{f(n)}{\log n}$ is oneindig.

2. Methodologie

De auteur gebruikt een complexe constructie om getallen $n$ te vinden die een extreem grote $f(n)$ vereisen. De methodologie kan worden onderverdeeld in twee hoofdfasen: de combinatorische constructie en de analytische schatting.

A. De Constructie (Kummer-theorie en Multipliers):

Kummer's Stelling: De auteur maakt gebruik van de relatie tussen de priemfactoren van $\binom{n}{k}$ en de "carries" (overdrachten) bij optelling in een bepaald priemgetalstelsel.
Short-multiplier constructie: Er wordt een getal $n$ geconstrueerd van de vorm $n = t \cdot L_M - 1$ , waarbij $L_M = \text{lcm}(1, \dots, M)$ . De rol van de "multiplier" $t$ is cruciaal: deze moet zo gekozen worden dat er bij de optelling van de priemfactoren van $n$ bijna geen "carries" optreden voor $k$ tot aan een bepaalde grens $K$ .
QM-box formulering: Om de existentiële vraag over $t$ op te lossen, introduceert de auteur een "box-parametrisatie" ( $Q_M = M!/L_M$ ). Dit reduceert het probleem tot het vinden van een residu dat voldoet aan een systeem van lokale voorwaarden (de "petal" of "upper-tail" condities).

B. De Analytische Input (Timofeev's Methode):

Het bewijs dat een geschikte multiplier $t$ bestaat, rust op een geavanceerde schatting van de verdeling van getallen met een vast aantal priemfactoren ( $\Omega(n)$ ) in rekenkundige progressies.
De auteur gebruikt een gelokaliseerde versie van de methode van Timofeev. Dit is nodig om aan te tonen dat de "dichtheid" van de gewenste multipliers in de QM-box groot genoeg is om de constructie te laten slagen.

3. Belangrijkste Bijdragen en Technieken

Het artikel introduceert verschillende nieuwe wiskundige technieken om de kloof tussen de combinatorische eisen en de analytische realiteit te overbruggen:

Exact Dyadic Product-Shell Localization: Een methode om de analyse te beperken tot een zeer specifieke "schil" van getallen (producten van een vast aantal priemfactoren in een bepaald bereik), wat de berekeningen hanteerbaar maakt.
Fourier-reductie van de Multiplier-zeef: De auteur gebruikt Fourier-analyse om de aanwezigheid van de multiplier $t$ te bewijzen. Hierbij wordt een "Low-denominator pruning" techniek toegepast om onbelangrijke frequenties te elimineren.
Tensorized Local Cap: Een techniek om de invloed van meerdere priemfactoren (de "petals") te combineren, waarbij wordt aangetoond dat de restricties op de hoogte van de residuen niet leiden tot een totale uitputting van de mogelijkheden.

4. Resultaten

De belangrijkste resultaten zijn:

Existentiële bewijsvoering: Voor elke constante $C > 1$ bestaan er getallen $n$ waarvoor $f(n) > (C - o(1)) \log n$ .
De Limiet Superieur: De uiteindelijke conclusie is dat:
$\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$
Dit betekent dat $f(n)$ niet universeel begrensd kan worden door een constante factor van $\log n$ .

5. Betekenis

Dit werk is van groot belang voor de getaltheorie omdat het een langlopend vermoeden van Erdős weerlegt. Het laat zien dat de structuur van binomiaalcoëfficiënten en hun priemfactoren veel grilliger is dan voorheen werd aangenomen. Bovendien biedt de paper een krachtig nieuw instrumentarium (de combinatie van Kummer-theorie, Fourier-analyse op lokale residu-sets en Timofeev's methoden) voor het bestuderen van de verdeling van gladde getallen in complexe combinatorische contexten.