🔢 mathematics

A link between error terms when counting smooth and rough numbers

Dit artikel legt een verband tussen de fouttermen in de schattingen voor het aantal gladde en ruwe getallen, waarmee een expliciete bovengrens voor de foutterm in de benadering van de Bruijn voor gladde getallen wordt verkregen.

Oorspronkelijke auteurs: Andreas Weingartner

Gepubliceerd 2026-04-27

📖 3 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Andreas Weingartner

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 bak met miljarden Legoblokjes hebt. Je wilt deze blokjes sorteren, maar je hebt een heel specifieke regel: je wilt alleen de blokjes weten die alleen maar uit kleine, simpele vormen bestaan (bijvoorbeeld alleen maar 2-er en 3-er blokjes), en je wilt ook weten hoeveel blokjes er zijn die juist alleen maar uit hele grote, complexe vormen bestaan.

In de wiskunde noemen we deze twee groepen "Smooth numbers" (soepele getallen) en "Rough numbers" (ruwe getallen).

Het probleem: De onvolmaakte schatting

Wiskundigen hebben formules om te raden hoeveel van deze getallen er zijn. Maar een formule is nooit een perfecte kopie van de werkelijkheid; er zit altijd een klein foutje in, een "foutmarge".

Tot nu toe keken wiskundigen naar de foutmarge van de "soepele" getallen en de foutmarge van de "ruwe" getallen als twee totaal verschillende mysteries. Het was alsof je probeerde te voorspellen hoeveel mensen er in een stad wonen (soepel) en hoeveel mensen er op vakantie zijn (ruw), zonder te beseffen dat die twee groepen direct met elkaar verbonden zijn.

De ontdekking: De verborgen brug

Andreas Weingartner heeft in dit paper bewezen dat er een onzichtbare brug bestaat tussen deze twee foutmarges.

Hij laat zien dat de fout in je berekening van de "soepele" getallen niet zomaar een willekeurig getal is. In plaats daarvan is die fout direct afhankelijk van de fout in de berekening van de "ruwe" getallen.

De metafoor van de weegschaal:
Stel je een ouderwetse balans voor met twee schalen. Op de ene schaal ligt de "soepele" groep en op de andere de "ruwe" groep. Als je een gewichtje toevoegt aan de ene kant (een fout maakt in je schatting), dan moet de andere kant op een heel specifieke manier meebewegen om de balans te behouden. Weingartner heeft de exacte wiskundige formule gevonden die beschrijft hoe die beweging werkt.

Waarom is dit belangrijk?

Waarom zou je dit willen weten? Omdat de ene groep soms veel makkelijker te berekenen is dan de andere.

Het is als het repareren van een klok: als het heel moeilijk is om de wijzers van de klok precies goed te zetten (de soepele getallen), maar het is heel makkelijk om de tandwielen te controleren (de ruwe getallen), dan geeft Weingartners formule je een manier om de fout van de wijzers te berekenen door simpelweg naar de tandwielen te kijken.

In het kort:
Hij heeft een wiskundige "vertalingsmachine" gebouwd. Als je weet hoe groot de fout is bij het tellen van de "ruwe" getallen, kun je die machine gebruiken om direct te weten hoe groot de fout is bij het tellen van de "soepele" getallen. Hij heeft twee losse werelden met elkaar verbonden.

Technische Samenvatting: Een verband tussen fouttermen bij het tellen van 'smooth' en 'rough' getallen

1. Het Probleem (Context en Definitie)

In de analytische getaltheorie is het essentieel om te weten hoeveel natuurlijke getallen tot $x$ voldoen aan bepaalde priemfactor-eigenschappen. De paper richt zich op twee klassieke functies:

$\Psi(x, y)$ (Smooth/Friable getallen): Het aantal getallen $\le x$ waarvan alle priemfactoren $\le y$ zijn. De asymptotische benadering hiervan wordt gegeven door de Dickman-functie $\rho(u)$ , waarbij $u = \log x / \log y$ .
$\Phi(x, y)$ (Rough/Sifted getallen): Het aantal getallen $\le x$ waarvan alle priemfactoren $> y$ zijn. De asymptotische benadering hiervan wordt gegeven door de Buchstab-functie $\omega(u)$ .

Hoewel er nauwkeurige benaderingen bestaan (zoals die van de Bruijn voor $\Psi$ en de varianten van $W(x, y)$ voor $\Phi$ ), is de relatie tussen de resterende fouttermen van deze twee functies niet expliciet gekwantificeerd. De paper probeert een directe wiskundige brug te slaan tussen de foutterm van de 'smooth' benadering en die van de 'rough' benadering.

2. Methodologie

De auteur hanteert een methodiek gebaseerd op Laplace-transformaties en Möbius-inversie.

Definitie van fouttermen: Er worden specifieke fouttermen gedefinieerd: $\Delta(x, y)$ voor de smooth-getallen en $Q(x, y)$ (en een variant $Q^*$ ) voor de rough-getallen. Daarnaast wordt een tussenliggende term $R(x, y)$ geïntroduceerd, die een sommatie is van de rough-foutterm over de verzameling smooth-getallen.
Analytische technieken: De kern van het bewijs van de hoofdstelling (Theorem 1) berust op het transformeren van de recursieve vergelijkingen die $\Psi$ en $\Phi$ beschrijven naar de s-domeinen van Laplace-transformaties. Door de eigenschappen van de Dickman- en Buchstab-functies in het s-domein te gebruiken (met name de relatie $s\rho(s) = 1/(1 + \hat{\omega}(s))$ ), kan de auteur de fouttermen direct aan elkaar koppelen.
Möbius-inversie: Deze wordt gebruikt om de relatie tussen $Q$ en $R$ te formaliseren, wat essentieel is voor het omzetten van fouten van de ene naar de andere domein.

3. Belangrijkste Bijdragen en Resultaten

De belangrijkste resultaten van de paper zijn:

Theorem 1 (De Kern): Het vaststellen van expliciete identiteiten die $\Delta(x, y)$ uitdrukken in termen van $R(x, y)$ (en vice versa). Dit betekent dat als men een nauwkeurige bovengrens heeft voor de fout bij het tellen van rough getallen, men deze direct kan gebruiken om een bovengrens te berekenen voor de fout bij het tellen van smooth getallen.
Corollary 2 (Expliciete fouttermen): De auteur leidt nieuwe, expliciete bovengrenzen af voor $\Delta(x, y)$ $Δ (x, y)$ .
- Zonder de Riemann-hypothese (RH) wordt een foutterm gegeven die exponentieel afneemt in de wortel van $\log y$ .
- Onder aanname van de Riemann-hypothese wordt een veel scherpere foutterm geleverd: $|\Delta(x, y)| \le 1.66x \log^2 y / \sqrt{y}$ .
Corollary 4 & 5: Het aantonen dat fouttermen van de vorm $x f(y) e^{-Au}$ (exponentiële afname in $u$ ) consistent behouden blijven wanneer men transformeert tussen de smooth- en rough-domeinen.

4. Betekenis en Relevantie

De paper is van groot belang voor de computationele en theoretische getaltheorie om de volgende redenen:

Efficiëntie in bewijsvoering: Voorheen moesten fouttermen voor smooth getallen vaak onafhankelijk worden berekend. Weingartner laat zien dat de fout bij rough getallen (waar vaak scherpere resultaten beschikbaar zijn, zoals die van Fan) direct "geëxporteerd" kan worden naar de smooth-getallen.
Expliciete scherpte: In tegenstelling tot veel theoretische resultaten die alleen de orde van grootte ( $O$ -notatie) aangeven, levert deze paper expliciete constanten. Dit is cruciaal voor toepassingen waarbij men exacte grenzen moet kennen, bijvoorbeeld in cryptografie of bij het testen van algoritmen voor priemgetal-sifting.
Verbinding van twee domeinen: Het verenigt twee fundamentele takken van de analytische getaltheorie (de studie van getallen met kleine priemfactoren versus getallen met grote priemfactoren) via een rigoureus analytisch kader.