🔢 mathematics

Quantitative Khintchine on the parabola with non-monotonic approximation functions

Dit artikel vestigt een kwantitatief convergentiegeval van de stelling van Khintchine voor punten op de parabool met niet-monotone benaderingsfuncties door expliciete constanten af te leiden uit klassieke getaltheoretische resultaten, in het bijzonder de Burgess-grens voor karakterzommen.

Oorspronkelijke auteurs: Maiken Gravgaard, Simon Kristensen

Gepubliceerd 2026-08-06

📖 8 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Maiken Gravgaard, Simon Kristensen

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 bewegend doel probeert te raken met een dartpijl, maar de regels van het spel zijn ongelooflijk streng. Je mag alleen dartpijlen gooien die landen op specifieke, onzichtbare rasterlijnen die over een uitgestrekt veld zijn getrokken. Hoe dichter je dartpijl bij het midden van een rastervierkant landt, hoe beter je score. In de wereld van de wiskunde wordt dit spel "Diophantische benadering" genoemd. Het gaat erom hoe goed we chaotische, irrationele getallen (zoals de wortel van 2 of pi) kunnen benaderen met eenvoudige breuken (zoals 22/7). Al meer dan een eeuw proberen wiskundigen de regels van dit spel te ontrafelen: Hoe dicht kun je erbij komen? Hoe vaak kom je dichtbij? En maakt het uit of je doel een willekeurig punt op een plat vel papier is, of dat het vastzit aan een specifieke vorm, zoals een gebogen lijn?

De grote vraag waar dit artikel over gaat, betreft een specifieke vorm: een parabool. Denk aan een parabool als de perfecte, vloeiende curve van een regenboog of het pad van een bal die je gooit. In dit wiskundige spel is de "doelwit" niet zomaar een punt; het is een punt dat precies op deze gebogen lijn moet liggen. Een lang tijd wisten wiskundigen dat als je deze curve probeerde te raken met je dartpijlen, er strikte limieten waren voor hoe vaak je een "bullseye" (een zeer nauwe benadering) kon raken. Een beroemde regel uit 1924, bekend als Khintchine's Stelling, fungeert als een scheidsrechter. Het zegt dat als je doel moeilijk te raken is (dat wil zeggen: de eis voor "nabijheid" wordt zeer snel strenger), je het bijna nooit zult raken. Echter, er zat een addertje onder het gras: om de regel van deze scheidsrechter te laten werken, moesten wiskundigen ervan uitgaan dat je "nabijheidseis" op een zeer voorspelbare, vloeiende manier strenger werd—als een helling die alleen maar naar beneden gaat en nooit omhoog. Dit wordt "monotoon" genoemd.

Dit artikel, geschreven door Maiken Gravgaard en Simon Kristensen, stelt een gedurfde vraag: Wat als de regels van het spel onvoorspelbaar veranderen? Wat als de "nabijheidseis" op en neer springt als een achtbaan in plaats van naar beneden glijdt als een gladde helling? Voor een lange tijd wist niemand of de regel van de scheidsrechter nog steeds standhield in dit chaotische scenario, vooral voor punten die vastzitten op een gebogen lijn zoals een parabool. De auteurs wilden bewijzen dat zelfs als de regels chaotisch en niet-monotoon zijn, het spel nog steeds een limiet heeft: je raakt het doel nog steeds bijna nooit als de regels streng genoeg worden. Ze hebben niet alleen bewezen dat het bestaat; ze hebben de exacte, zij het ongelooflijk kleine, getallen berekend die definiëren hoe dicht je kunt komen voordat het spel onmogelijk wordt.

De Achtbaan van Getallen

Dus, wat hebben deze auteurs precies gedaan? Ze hebben de beroemde Khintchine-stelling genomen en de "gladde helling"-regel weggehaald. Ze wilden zien of de stelling standhoudt wanneer de benaderingsfunctie (de regel die bepaalt hoe dicht je moet zijn) wild en niet-monotoon mag zijn. In de wereld van de wiskunde is het verwijderen van deze "gladheid"-eis als het navigeren door een doolhof waarbij de muren plotseling van positie veranderen. Dit maakt het probleem aanzienlijk moeilere.

De auteurs richtten zich op de parabool, de verzameling punten $(x, x^2)$ . Ze wilden weten: als we een lijst hebben van regels voor hoe dicht een breuk bij een punt op deze curve moet liggen, en die regels springen wild op en neer, hoeveel punten op de curve kunnen er dan daadwerkelijk aan voldoen? Hun belangrijkste bevinding is een resoluut "bijna geen enkele". Ze bewezen dat als de som van de kwadraten van deze wilde regels convergeert (een chique manier om te zeggen dat de regels snel genoeg streng worden), het aantal punten op de parabool die eraan voldoen, effectief nul is.

Maar hier komt de twist: ze zeiden niet alleen "het is nul." Ze wilden een kwantitatieve scheidsrechter zijn. Ze wilden een specifiek getal geven, laten we het $\kappa$ noemen, dat vertegenwoordigt hoe streng de regels moeten zijn om te garanderen dat bijna geen enkel punt wordt geraakt. Ze ontdekten dat een dergelijk getal bestaat, maar het is zo ongelooflijk klein dat het bijna komisch aanvoelt.

De Monsterconstanten

Om deze getallen te verkrijgen, moesten de auteurs worstelen met enkele zeer oude, zeer koppige wiskundige instrumenten. Ze gebruikten een techniek die draait om "karakter-sommen", die lijken op het optellen van getallengolven om te zien of ze elkaar opheffen. Om deze sommen te schatten, vertrouwden ze op een beroemde grens ontdekt door de w mathematician Burgess. Echter, de standaardversie van de Burgess-grens was niet nauwkeurig genoeg voor hun behoeften. Ze hadden een "expliciete" versie nodig, wat betekent dat ze de exacte grootte van de constanten moesten kennen, en niet alleen dat ze bestonden.

Dit is waar het artikel een beetje wild wordt. De auteurs moesten deze constanten berekenen voor verschillende soorten getallen (priemgetallen, samengestelde getallen, grote getallen, kleine getallen). Het resultaat is een set van vier verschillende stellingen, elk met zijn eigen versie van de constante $\kappa$ .

In hun meest algemene versie (Stelling 4), die werkt voor elke noemer $q$ , is de constante $\kappa$ een nachtmerrie van kleine getallen. Een van de termen in hun berekening is ongeveer $10^{-1023.89775276641198}$ . Om dat in perspectief te plaatsen: als je dat getal zou opschrijven, zou het meer dan duizend nullen na de komma hebben voordat je zelfs bij het eerste niet-nul cijfer komt. Het is zo klein dat het praktisch nul is, maar wiskundig gezien is het de sleutel die de bewijsvoering ontsluit. De auteurs geven toe dat dit getal "zeer klein" is en dat de hoofdschuldige de "divisor functie" is, die telt hoeveel manieren een getal gedeeld kan worden. Omdat deze functie voor bepaalde getallen enorm groot kan worden, dwingt dit hun constante om tot bijna niets te krimpen.

De auteurs lieten het echter niet daarbij. Ze realiseerden zich dat als ze het spel iets specifieker maakten, ze veel meer "verstandelijke" getallen konden krijgen.

De "Grote $q$ " Versie (Stelling 5): Als ze alleen kijken naar zeer grote noemers (specifiek $q$ groter dan $e^{e^{41}}$ , een getal zo groot dat het moeilijk te bevatten is), springt de constante $\kappa$ omhoog naar een veel redelijker formaat, rond de $0.00499$.
De "Priemgetal" Versie (Stelling 7): Als ze alleen kijken naar noemers die priemgetallen zijn, verbetert de constante opnieuw en bereikt ongeveer $0.012$.
De "Weinig Delers" Versie (Stelling 6): Als ze kijken naar getallen die niet te veel factoren hebben, zit de constante ergens tussenin.

Waarom dit ertoe doet (zelfs als de getallen vreemd zijn)

Je zou je kunnen afvragen: "Wie geeft erom dat een getal $10^{-1023}$ is?" Het antwoord ligt in de structuur van het bewijs. Vóór dit artikel wisten we niet of er überhaupt een constante bestond voor niet-monotone functies op een parabool. Het feit dat de auteurs konden bewijzen dat er een constante bestaat, zelfs als het getal microscopisch klein is, is een enorme stap voorwaarts. Het bevestigt dat de "gebogen" natuur van de parabool ons niet magisch toestaat om de regels van benadering te omzeilen, zelfs niet wanneer de regels chaotisch zijn.

Het artikel belicht ook een specifiek probleem in de wiskundige gereedschapskist. De auteurs wijzen erop dat de reden dat hun getallen zo klein zijn, te maken heeft met de bounds van de "divisor functie" die ze moesten gebruiken. Ze suggereren dat als wiskundigen betere manieren vinden om te schatten hoeveel delers een getal heeft, deze constanten veel groter en nuttiger zouden kunnen worden. Ze hebben in feente een brug gebouwd over een kloof, maar de brug is gemaakt van een materiaal dat zo dun is dat het bijna onzichtbaar is. Het bewijst dat de brug kan bestaan, maar het vertelt ons ook dat we een sterker materiaal moeten vinden om hem begaanbaar te maken.

Uiteindelijk hebben Gravgaard en Kristensen aangetoond dat de parabool een koppige tegenstander is. Of je haar nu benadert met vloeiende, voorspelbare regels of chaotische, springende regels, zij weerstaat het worden van benaderingen. Ze hebben het wiskundige bewijs geleverd dat deze weerstand absoluut is, waarbij ze de grenzen van ons vermogen om het doel te raken gekwantificeerd hebben met een precisie die zowel angstaanjagend klein als rigoureus exact is. Ze hebben het probleem niet opgelost om de getallen groter te maken, maar ze hebben definitief aangetoond dat het spel onder deze omstandigheden onwinnbaar is, hoe wild de regels ook worden.

Technische Samenvatting: Kwantitatieve Khintchine op de Parabel met Niet-Monotone Approximatiefuncties

Probleemstelling
Het artikel behandelt een kwantitatieve versie van het convergentiegeval van Khintchine's stelling in de metrische Diophantische benadering, specifiek beperkt tot punten die op de parabel $P := \{(x, x^2) \mid x \in [0, 1]\}$ liggen. De centrale uitdaging is het wegnemen van de standaardveronderstelling dat de approximatiefunctie $\psi: \mathbb{N} \to [0, \infty)$ monotoon moet zijn.

Hoewel Khintchine's stelling (1924) een nul-één-wet vaststelt voor de Lebesgue-maat van $\psi$ -benaderbare punten in $\mathbb{R}^n$ , vereist het divergentiegeval strikt monotonie. Het convergentiegeval vereist echter inherent geen monotonie voor de omringende ruimte, maar het uitbreiden hiervan naar manifolds (zoals de parabel) zonder monotonie is moeilijk gebleken. Eerdere resultaten voor niet-degeneratieve submanifolds, zoals die van Beresnevich en Yang, vertrouwen zelfs voor convergentie op monotonie. Een opmerkelijke uitzondering is Huang's stelling (2023), die het convergentiegeval voor de parabel bewees zonder monotonie, maar geen expliciete kwantitatieve grenzen leverde voor de maat van de verzameling goed benaderbare punten.

De auteurs streven ernaar om expliciete constanten te leveren voor de maat van de verzameling punten $x \in [0, 1]$ waarvoor de simultane benaderingsfout $\max(\|qx\|, \|qx^2\|)$ groter is dan een vaste veelvoud $\kappa \psi(q)$ voor alle $q$ . Specifiek zoeken zij te bewijzen dat de maat van de verzameling $B'(\psi, \kappa) = \{x \in [0, 1] : \max(\|qx\|, \|qx^2\|) > \kappa \psi(q) \forall q \in \mathbb{N}\}$ minstens $1 - \delta$ is, met een expliciete afhankelijkheid van $\kappa$ van $\delta$ en $S_\psi$ .

Methodologie
De bewijsstrategie volgt het kader dat door Huang [13] is vastgesteld, maar richt zich zwaar op het afleiden van expliciete constanten gedurende het hele schattingsproces. De methodologie verloopt in de volgende fasen:

Reductie tot Tellen: Het probleem wordt gereduceerd tot het tellen van rationale punten $a/q$ met een vaste noemer $q$ die dicht bij de parabel liggen. Dit wordt geformuleerd als het schatten van de telfunctie $\sum_{a \le q, \|a^2/q\| \le 3\kappa\psi(q)} 1$ .
Exponentiële Sommen en Fejér-kernen: De telfunctie wordt geschat met behulp van een Fejér-kern om de indicatorfunctie van het interval te verzachten. Dit transformeert het probleem naar het begrenzen van exponentiële sommen van de vorm $\sum_{a=1}^q e^{2\pi i j a^2 / q}$ .
Dirichlet-karakters en Gauss-sommen: Deze kwadratische exponentiële sommen worden herschreven in termen van Dirichlet-karakters (specifiek Legendre- en Jacobi-symbolen) met behulp van eigenschappen van kwadratische Gauss-sommen.
Expliciete Burgess-grenzen: De kern van de technische innovatie ligt in de toepassing van de Burgess-grens voor korte karakter-sommen. Omdat standaard effectieve versies van de Burgess-grens niet gelden voor alle samengestelde moduli, leiden de auteurs expliciete grenzen af voor drie verschillende bereiken van de modulus $q$ $q$ :
- Kleine $q$ ( $1 \le q \le 10^5$ ): Constanten worden berekend via brute-force computatie.
- Medium $q$ ( $10^5 < q \le \exp(\exp(8))$ ): Grenzen worden afgeleid met behulp van resultaten van Bordignon [7], met expliciete verificatie van de condities.
- Grote $q$ ( $q > \exp(\exp(8))$ ): Grenzen vertrouwen op resultaten van Bordignon [7] en Robin [21].
Delerfunctie-schattingen: Een aanzienlijk deel van het werk bestaat uit het beheren van de delerfunctie $d(q)$ , die verschijnt in de fouttermen. De auteurs maken gebruik van expliciete grenzen voor $d(q)$ (bijv. $d(q) \le K_\beta q^\beta$ ) en analyseren hoe deze grenzen de uiteindelijke constanten beïnvloeden. Ze adresseren het probleem van grote delerwaarden door specifieke deelverzamelingen van gehele getallen te overwegen (bijv. getallen met weinig priemfactoren of zeer grote getallen) om meer redelijke constanten te verkrijgen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert vier hoofdtheorema's die kwantitatieve grenzen voor $\kappa(\delta)$ bieden onder verschillende restricties op de noemer $q$ . In alle gevallen geldt dat als $S_\psi = \sum \psi(q)^2$ convergeert, de maat $\lambda(B'(\psi, \kappa)) \ge 1 - \delta$ .

Theorema 4 (Alle $q$ ): Biedt een grens voor alle gehele getallen $q$ . De resulterende constante $\kappa(\delta)$ is extreem klein (in de orde van $10^{-1023}$ voor bepaalde termen) vanwege het slechtste scenario van de gedrag van de delerfunctie $d(q)$ in het algemene geval.
Theorema 5 (Grote $q$ ): Veronderstelt dat $\psi(q) = 0$ voor $q \le \exp(\exp(41))$ . Door te beperken tot zeer grote moduli, maken de auteurs gebruik van verbeterde grenzen voor $d(q)$ (specifiek $d(q) \le q^{1/57}$ ), wat resulteert in aanzienlijk meer beheersbare constanten (bijv. $\kappa \approx 0.00499 (\delta/S_\psi)^{2/3}$ ).
Theorema 6 (Begrensde Priemfactoren): Veronderstelt dat $q$ maximaal $k$ priemdelers heeft. Deze restrictie beperkt $d(q) \le 2^k$ , waardoor de constanten afhangen van $k$ maar over het algemeen meer redelijk zijn dan in Theorema 4.
Theorema 7 (Priemmoduli): Veronderstelt dat $q$ een priemgetal is. Dit geval maakt gebruik van de beste beschikbare expliciete Burgess-grenzen voor priemmoduli, wat de meest gunstige constanten oplevert onder de algemene gevallen (bijv. $\kappa \approx 0.012 (\delta/S_\psi)^{2/3}$ ).

Betekenis en Claims
De auteurs beweren dat dit werk de eerste is die een kwantitatieve Khintchine-stelling voor de parabel met niet-monotone benaderingsfuncties biedt. De primaire betekenis ligt in de expliciete aard van de constanten, wat de formulering van problemen mogelijk maakt over de afhankelijkheid tussen de benaderingsconstante $\kappa$ en de maat van de verzameling, een probleem dat eerder door Adiceam et al. [1] werd opgeworpen.

Het artikel erkent dat de constanten, met name in het meest algemene geval (Theorema 4), zeer klein zijn. De auteurs wijten deze beperking niet aan de methode van bewijs zelf, maar aan de expliciete constanten die voortvloeien uit de varianten van de Burgess-stelling die gebruikt worden voor de delerfunctie-grenzen. Ze merken op dat hoewel betere schattingen wenselijk zijn, het bereiken daarvan met de huidige methoden onwaarschijnlijk is. Het werk dient als een fundamentele stap, die aantoont dat niet-monotone convergentieresultaten kwantitatief gemaakt kunnen worden, zij het met de kanttekening van kleine constanten in de algemene setting.

De Achtbaan van Getallen

De Monsterconstanten

Waarom dit ertoe doet (zelfs als de getallen vreemd zijn)

Meer zoals dit