Polynomial-order oscillations in geometric discrepancy

Deze paper toont aan dat de optimale homothetische kwadratische discrepantie voor convexe lichamen in het vlak niet noodzakelijk een vaste groeiorde heeft, maar tussen de waarden $\log N$ en $N^{1/2}$ kan oscilleren of zelfs specifieke polynoomorde-oscillaties kan vertonen.

De kern

Titel: Het Perfecte Gedrang: Waarom sommige vormen nooit "in orde" zijn

Stel je voor dat je een groot, vierkant plein hebt en je moet er N mensen op plaatsen. Je wilt dat deze mensen zo gelijkmatig mogelijk verspreid staan, alsof ze een perfecte vloerbedekking vormen zonder gaten of hoopjes.

In de wiskunde noemen we dit een "uniforme verdeling". Maar in de echte wereld is perfectie onmogelijk. Er zijn altijd kleine oneffenheden: hier een beetje te dicht op elkaar, daar een klein gat. De discrepantie is een maatstaf voor hoe "rommelig" die verdeling is. Hoe kleiner de discrepantie, hoe beter de mensen verspreid staan.

De vraag die de auteur, Thomas Beretti, in dit paper onderzoekt, is heel simpel: "Als we een heel specifiek, gekromd park (een 'convex body') hebben, hoe goed kunnen we mensen dan verspreiden als het park steeds groter wordt?"

Hier is wat hij ontdekt, vertaald naar alledaagse taal:

1. De twee bekende uitersten

Voor de meeste vormen weten we al hoe het zit:

• Het Vierkant: Als je park een perfect vierkant is, kun je mensen vrij goed verspreiden. De "rommeligheid" groeit heel langzaam, net als het logaritme van het aantal mensen ($\log N$). Het is als het oplossen van een simpele puzzel; het kost tijd, maar het blijft beheersbaar.
• De Cirkel: Als je park een perfecte cirkel is, wordt het veel lastiger. De "rommeligheid" groeit veel sneller, als de wortel van het aantal mensen ($\sqrt{N}$). Het is alsof je probeert mensen in een ronde kring te duwen; er ontstaan van nature meer hoopjes en gaten.

2. De verrassende ontdekking: Het "Schommelende" Park

Tot nu toe dachten wiskundigen dat elke vorm een vast patroon heeft. Of het is een "vierkant-patroon" (langzaam groeiend) of een "cirkel-patroon" (sneller groeiend).

Beretti zegt echter: "Nee, dat is niet waar."

Hij toont aan dat je een park kunt ontwerpen dat schommelt tussen deze twee uitersten.

• Soms, als je 100 mensen hebt, gedraagt het park zich als een vierkant (alles is prima).
• Soms, als je 10.000 mensen hebt, gedraagt het park zich plotseling als een cirkel (het wordt rommelig).
• En dan weer, als je 100.000 mensen hebt, gedraagt het zich weer als een vierkant.

Het is alsof je een park bouwt met een magische, onvoorspelbare rand. Op sommige momenten is de rand zo glad en vriendelijk dat mensen makkelijk passen. Op andere momenten is de rand zo gekruld en onvoorspelbaar dat mensen vastlopen en hoopjes vormen.

3. Hoe bouw je zo'n park? (De twee methodes)

De auteur gebruikt twee verschillende manieren om deze "schommelende" parken te bouwen:

Methode 1: Het "Lego-blok" benadering (De impliciete methode)
Stel je voor dat je een park bouwt door steeds kleinere en kleinere stukjes toe te voegen. Je begint met een vierkant, plakt er een stukje cirkelrand aan, dan weer een stukje vierkant, dan weer een stukje cirkelrand.
Je doet dit zo vaak en zo klein dat het park op het einde een echte, gladde vorm wordt. Maar door de volgorde van de stukjes te kiezen, kun je bepalen of het park zich op dat moment gedraagt als een vierkant of als een cirkel.

• Het nadeel: Je weet niet precies hoe de rand eruitziet. Het is een beetje als een "zwarte doos": je weet dat het werkt, maar je kunt niet precies zien hoe de rand eruitziet.

Methode 2: De "Kunstenaar" benadering (De expliciete methode)
Hier ontwerpt de auteur de rand van het park met de hand, alsof hij een schilderij maakt. Hij gebruikt heel specifieke wiskundige formules (zoals $y = x^{\text{een gekke macht}}$) om de kromming van de rand te regelen.
Hij maakt de rand zo, dat hij op sommige plekken heel snel kromt en op andere plekken heel langzaam. Door deze krommingen slim te combineren, kan hij de "rommeligheid" laten oscilleren tussen verschillende snelheden.

• Het voordeel: Je weet precies hoe de rand eruitziet. Het is een bewezen, handgemaakt kunstwerk.

4. Wat betekent dit voor de rest van ons?

De belangrijkste conclusie is misschien wel het meest fascinerende:
Als je kijkt naar alle mogelijke parken die je kunt bedenken, dan zijn de parken die wel een vast, voorspelbaar patroon hebben (altijd vierkant of altijd cirkel), eigenlijk heel zeldzaam. Ze zijn als een naald in een hooiberg.

De meeste parken (in de wiskundige zin) zijn chaotisch. Ze hebben geen enkel vast patroon. Ze schommelen, ze zijn onvoorspelbaar, en ze gedragen zich op verschillende momenten op totaal verschillende manieren.

Samenvatting in één zin

Dit paper laat zien dat je wiskundige vormen kunt bouwen die zich als een chameleoon gedragen: ze wisselen van gedrag tussen "perfect geordend" en "chaotisch rommelig", en dat dit gedrag eigenlijk de normaalste toestand is voor complexe vormen, terwijl de "stabiele" vormen juist de uitzondering zijn.

Het is een herinnering aan de natuur: perfect orde is zeldzaam; schommeling en variatie zijn de regel.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Polynomial-order oscillations in geometric discrepancy" van Thomas Beretti, geschreven in het Nederlands.

Titel: Polynoom-orde oscillaties in geometrische discrepantie

Auteur: Thomas Beretti (SISSA)
Datum: 5 maart 2026

---

1. Probleemstelling en Context

Het artikel bevindt zich binnen het domein van de theorie van de onregelmatigheden van verdeling (discrepantie-theorie). Het centrale probleem is het kwantificeren van hoe een configuratie $P$ van $N$ punten in de eenheidsvierkante $[0,1)^2$ (of de 2-dimensionale torus $\mathbb{T}^2$) afwijkt van een uniforme verdeling ten opzichte van een convex lichaam $C \subset \mathbb{R}^2$.

De discrepantie $D(P, C)$ wordt gedefinieerd als het verschil tussen het aantal punten dat in een getranslateerde en geschaalde versie van $C$ valt en de verwachte waarde (het oppervlak van $C$ vermenigvuldigd met $N$):
$$D(P, C) = \sum_{p \in P} \sum_{n \in \mathbb{Z}^2} \mathbf{1}_C(p+n) - N|C|$$

Om de "gemiddelde" afwijking te meten, wordt de homotetische kwadratische discrepantie ($h.q.d.$) gebruikt, waarbij wordt gemiddeld over alle translaties $\tau$ en schalingen $\delta$:
$$D_2(P, C) = \int_0^1 \int_{\mathbb{T}^2} |D(P, \tau + \delta C)|^2 \, d\tau \, d\delta$$

De kernvraag is: wat is de optimale groeiorde van deze kwadratische discrepantie als $N \to \infty$?
$$\inf_{\#P=N} D_2(P, C) \quad \text{als} \quad N \to +\infty$$

Bestaande kennis:

• Voor convex veelhoeken (polygons) is de optimale orde logaritmisch: $\approx \log N$ (Beck, 1988; Beck & Chen, 1997).
• Voor convexe lichamen met een $C^2$-rand (gladde randen) is de orde polynomiaal: $\approx N^{1/2}$ (Brandolini & Travaglini, 2022).
• Brandolini & Travaglini toonden ook aan dat voor specifieke exponenten $\alpha \in [2/5, 1/2)$ er lichamen bestaan met orde $N^\alpha$.

Het nieuwe inzicht:
Beretti onderzoekt of er een enkele vaste groeiorde bestaat voor het optimale h.q.d. van een willekeurig convex lichaam. Het artikel bewijst dat dit niet het geval is. Men kan convex lichamen construeren waarbij de optimale discrepantie oscilleert tussen verschillende groeiorde (logaritmisch en polynomiaal) naarmate $N$ toeneemt.

---

2. Methodologie

De auteur presenteert twee verschillende methoden om zulke "pathologische" convex lichamen te construeren, elk met eigen technische benaderingen.

Methode 1: Impliciete Geometrische Constructie (Theorema 1.5)

• Doel: Oscillaties tussen logaritmische orde ($\log N$) en polynoom-orde $N^{1/2}$.
• Techniek:
  • Er wordt een rij van convex lichamen $\{C_i\}$ geconstrueerd die monotoon toenemen ($C_i \subset C_{i+1}$).
  • Elk $C_i$ is een veelhoek als de gewenste orde logaritmisch is, en een $C^2$-kromme als de orde $N^{1/2}$ is.
  • De rij convergeert in de Hausdorff-metriek naar een limietlichaam $C$.
  • Lemma 2.1 is cruciaal: het toont aan dat als twee lichamen $A$ en $B$ een kleine symmetrische verschil hebben ($|A \setminus B|$ klein), hun discrepanties dicht bij elkaar liggen ($|D_2(P,A) - D_2(P,B)| \leq 4N^2 \eta^{1/2}$).
  • Door de verschillen tussen opeenvolgende $C_i$'s zeer klein te kiezen, wordt de discrepantie van het limietlichaam $C$ "gevangen" tussen de gedragingen van de $C_i$'s op specifieke intervallen van $N$.
• Topologisch Resultaat: Met behulp van de Baire-categoriestelling en continuïteitsargumenten wordt bewezen dat de verzameling van convex lichamen die geen enkele groeiorde hebben, een residuele (dus "grote" in de topologische zin) verzameling vormt in de ruimte van alle convex lichamen.

Methode 2: Directe Constructie via Fourier-analyse (Theorema 1.6)

• Doel: Prescriberen van oscillaties binnen het polynoombereik $N^\alpha$ met $\alpha \in (2/5, 1/2)$.
• Techniek:
  • Dit vereist een expliciete constructie van de rand $\partial C$.
  • De rand wordt ontworpen om in de buurt van de oorsprong te lijken op grafieken van monomen $y = x^{\beta_i}$, waarbij $\beta_i$ gekoppeld is aan de gewenste exponent $\alpha_i$.
  • Geometrische constructie: De rand bestaat uit segmenten die tangentiëel aan elkaar worden geplakt, waarbij de kromming $\kappa$ strikt afneemt en naar oneindig gaat bij de oorsprong. Dit zorgt ervoor dat de geometrie lokaal varieert afhankelijk van de schaal.
  • Fourier-analyse: De discrepantie wordt gekoppeld aan de Fourier-getransformeerde van de indicatorfunctie $\hat{\mathbf{1}}_C$.
    • Lemma 3.2 relateert de gemiddelde kwadratische Fourier-coëfficiënten aan de lengte van koorden (chords) van het lichaam.
    • De lengte van de koorden $|K_C(\theta, \lambda)|$ hangt af van de lokale kromming. Voor een rand met kromming die gedraagt als $x^{\beta-2}$, schalen de koorden als $\lambda^{1/\beta}$.
  • Onder- en bovengrenzen:
    • Ondergrens: Gebruikmakend van het lemma van Cassels-Montgomery voor exponentiële sommen en een zorgvuldig gekozen rooster van punten, wordt bewezen dat de discrepantie niet kleiner kan zijn dan $N^{\alpha_i - \epsilon}$.
    • Bovengrens: Door een specifiek rooster van punten (gebaseerd op productstructuren) te kiezen en de Fourier-schattingen te integreren over verschillende hoekgebieden, wordt aangetoond dat de discrepantie niet groter is dan $N^{\alpha_i + \epsilon}$.

---

3. Belangrijkste Resultaten

1. Theorema 1.5 (Oscillatie tussen Log en $N^{1/2}$):
   Er bestaat een convex lichaam $C$ en een rij $N_i$ zodanig dat de optimale discrepantie wisselt tussen $\log N$ en $N^{1/2}$ op vooraf bepaalde intervallen van $N$. Dit wordt bereikt via een impliciete limietconstructie.

2. Theorema 1.6 (Polynoom-oscillaties):
   Voor elke rij exponenten $\alpha_i \in (2/5, 1/2)$, bestaan er convex lichamen $C$ en intervallen van $N$ waar de optimale discrepantie oscilleert tussen $N^{\alpha_i - \epsilon}$ en $N^{\alpha_i + \epsilon}$. Dit wordt bereikt via een expliciete constructie van de rand met variabele kromming.

3. Residuele Zet (Theorema 2.3):
   De verzameling van alle planaire convex lichamen waarvan de optimale h.q.d. geen enkele vaste groeiorde heeft (d.w.z. die oscilleren tussen logaritmisch en polynomiaal), is een residuele verzameling in de ruimte van convex lichamen (uitgerust met de Hausdorff-metriek). Dit betekent dat "meeste" convex lichamen in een topologische zin geen vaste groeiorde hebben.

---

4. Betekenis en Impact

• Fundamentele Inzicht: Het paper weerlegt de veronderstelling dat de optimale discrepantie voor een convex lichaam altijd een vaste asymptotische orde heeft (zoals $\log N$ of $N^{1/2}$). Het toont aan dat de relatie tussen geometrie en discrepantie veel complexer en "onstabiel" kan zijn dan eerder gedacht.
• Technische Vooruitgang:
  • Het combineert geometrische meetkunde (kromming, koorden, Hausdorff-convergentie) met harmonic analysis (Fourier-getransformeerden, exponentiële sommen).
  • Het biedt een nieuwe manier om de lokale geometrie van een rand (via kromming) te koppelen aan de globale statistische eigenschappen van puntverdelingen.
• Verwante Gebieden: De resultaten zijn relevant voor de numerieke integratie, de theorie van lage-discrepantie rijen, en de meetkunde van Banach-ruimten. Het illustreert ook de diepe connectie tussen de gladheid van een rand en de snelheid van convergentie van numerieke methoden.

Kortom, Beretti toont aan dat door de rand van een convex lichaam slim te ontwerpen (of te benaderen), men de "snelheid" waarmee punten uniform verdeeld kunnen worden, kan manipuleren en zelfs laten oscilleren tussen fundamenteel verschillende wiskundige regimes.