Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Each language version is independently generated for its own context, not a direct translation.

De Grote Jacht op Getallen: Een Reis door de Wiskundige Wolk

Stel je voor dat je een enorme, oneindige vloer hebt (de getallenlijn) en je wilt weten of je er met een bepaalde regelmaat op kunt springen. Wiskundigen noemen dit Diophantische benadering. Het gaat erom: hoe goed kun je een willekeurig getal benaderen met breuken?

Dit artikel van Hesseling en Ramírez (met een bijdrage van Hauke) lost een oud raadsel op over hoe we deze sprongen kunnen plannen, maar dan met een twist: ze kijken niet alleen naar "nette" getallen, maar ook naar vreemde, chaotische patronen.

Hier is hoe ze het aanpakken, vertaald naar alledaagse beelden:

1. Het Probleem: De "Grote Sprong" en de "Kleine Sprong"

Stel je voor dat je een trampoline hebt. Je wilt weten of je, als je oneindig vaak springt, op een bepaald punt landt.

De regel: Als je springt met een bepaalde kracht (een functie $\psi$ ), land je dan oneindig vaak op een specifieke plek?
Het oude mysterie: Wiskundigen wisten al lang dat als je springt op een reguliere manier (bijvoorbeeld elke keer iets minder hoog), je ofwel nooit op die plek landt, ofwel altijd. Maar wat als je springt op een heel willekeurige manier? Dan kon het zijn dat je op de ene plek landt, maar op de andere niet, zelfs als de regels hetzelfde lijken.

De auteurs zeggen: "Wacht even! We kunnen een trampoline bouwen die opzettelijk mislukt op de plekken waar jij wilt (de 'Y'-groep), maar perfect werkt op de plekken waar je ook wilt dat het werkt (de 'Z'-groep)."

2. De Oplossing: De "Bohr-Set" als een Magisch Net

Hoe bouwen ze zo'n trampoline? Ze gebruiken iets dat ze een Bohr-set noemen.

De Analogie: Denk aan een net dat je over de vloer trekt. Normaal gesproken zijn de gaten in het net op vaste afstanden (zoals een ruitpatroon). Een Bohr-set is echter een dynamisch, vervormbaar net. Het hangt af van hoe je het trekt.
De auteurs kiezen hun sprongpunten (de getallen waar ze op springen) zo slim dat ze alleen in de gaten van dit magische net vallen.
Voor de "slechte" plekken (Y) zorgt dit net ervoor dat de gaten zo klein zijn dat je er nooit in landt.
Voor de "goede" plekken (Z) zorgen ze ervoor dat de gaten groot genoeg zijn om er altijd in te vallen.

3. De Hulpkrachten: De "Wachters" (Residue Systemen)

Om te bewijzen dat hun plan werkt, gebruiken ze een wiskundig hulpmiddel dat ze "Real Residue Systems" noemen.

De Analogie: Stel je voor dat je een groep wachters hebt die deuren bewaken. Normaal gesproken bewaken ze deuren op vaste adressen (1, 2, 3...). Maar in dit artikel mogen de wachters ook op willekeurige plekken staan (bijvoorbeeld op 1,45 of 2,99).
De auteurs bewijzen een nieuw wet: "Het maakt niet uit hoe je de wachters verspreidt; als je ze verplaatst, wordt de totale ruimte die ze blokkeren nooit kleiner dan wanneer ze op de standaardplekken stonden."
Dit is cruciaal. Het betekent dat ze de "slechte" plekken (Y) veilig kunnen houden, zelfs als ze de regels een beetje verdraaien.

4. De Sterkste Bondgenoten: De "Primaire" Getallen

Om hun constructie te laten werken, hebben ze specifieke getallen nodig: ** priemgetallen**.

De Analogie: Priemgetallen zijn als de "elite-soldaten" van de getallenwereld. Ze zijn onverteerbaar door andere getallen.
De auteurs moeten bewijzen dat deze soldaten zich ook in hun "magische net" (de Bohr-set) bevinden. Ze bewijzen twee grote dingen:
1. Het Aantal: Er zijn oneindig veel soldaten in dit net (een veralgemening van een oud theorema over priemgetallen).
2. De Verspreiding: Als je door het net loopt, zie je de soldaten overal gelijkmatig verspreid, zolang je niet vastloopt in een vast patroon (rationale onafhankelijkheid). Dit is een veralgemening van een beroemd theorema van Vinogradov.

5. De Bijdrage van Manuel Hauke: De "Grote Vraag"

Aan het einde van het artikel is er een appendix van Manuel Hauke die een vraag beantwoordt die in de inleiding werd gesteld.

De Vraag: Als je een grote verzameling getallen hebt (bijvoorbeeld alle even getallen), kun je er dan altijd een kleinere groep uit halen die "onafhankelijk" is (geen gemeenschappelijke delers) en waarvan de som van de breuken oneindig groot wordt?
Het Antwoord: Nee. Hauke toont aan dat je een verzameling kunt bouwen die eruitziet als "bijna alles" (zeer dichtbevolkt), maar die geen dergelijke groep bevat.
De Metafoor: Het is alsof je een bos hebt dat eruitziet als een dicht oerwoud, maar als je probeert een pad te vinden dat nooit twee keer dezelfde boom raakt, blijkt dat er geen enkel pad is. Het bos is een "valstrik".

Samenvatting in één zin

De auteurs hebben een wiskundige constructie ontworpen die laat zien dat je getallenpatronen zo kunt manipuleren dat ze op sommige plekken volledig falen en op andere plekken perfect werken, door slim gebruik te maken van "magische netten" (Bohr-sets), "willekeurige wachters" (Real Residue Systems) en de "elite-soldaten" (priemgetallen), terwijl ze tegelijkertijd bewijzen dat niet elke grote verzameling getallen een goedkoop "ontsnappingspad" biedt.

Het is een meesterlijke combinatie van het bouwen van een mechanisme en het ontrafelen van de diepste structuur van de getallenwereld.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "Duffin–Schaeffer Examples, Real Residue Systems, and Bohr-Set Primes" van Stefan M. Hesseling en Felipe A. Ramírez (met een appendix van Manuel Hauke), geschreven in het Nederlands.

Titel: Duffin–Schaeffer Voorbeelden, Real Restsystemen en Bohr-Set Eerstelingen

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem in de Diophantische benadering: de maattheorie van de verzameling van inhomogeen $\psi$ -benaderbare getallen. Voor een reëel getal $y$ (de inhomogene parameter) en een functie $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ wordt de verzameling gedefinieerd als:
$W(\psi, y) = \{x \in [0,1] : \|qx - y\| < \psi(q) \text{ oneindig vaak}\}$
waarbij $\|\cdot\|$ de afstand tot de dichtstbijzijnde geheel getal aangeeft.

De klassieke resultaten van Szüsz (inhomogene Khintchine-stelling) en Duffin-Schaeffer stellen dat als de reeks $\sum \psi(q)$ convergeert, de Lebesgue-maat $\mu(W(\psi, y)) = 0$ is, en als deze divergeert (onder monotoniteitsvoorwaarden), de maat 1 is. Duffin en Schaeffer (1941) toonden echter aan dat de monotoniteitsvoorwaarde essentieel is; zonder deze kan men voor een divergente reeks $\sum \psi(q)$ een functie construeren zodat $\mu(W(\psi, y)) = 0$ voor specifieke $y$ .

Eerder werk (Ramírez, 2017) had aangetoond dat voor elke aftelbare verzameling $Y \subseteq \mathbb{R}$ een functie $\psi$ bestaat met $\mu(W(\psi, y)) = 0$ voor alle $y \in Y$ , en conditioneel dat voor een tweede aftelbare verzameling $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$ , men $\mu(W(\psi, z)) = 1$ kan bereiken. De voorwaarde was een vermoeden over dynamische systemen (analoog aan Erdős' dekkingsstelsels).

Het doel van dit artikel is om dit resultaat onvoorwaardelijk te bewijzen en de constructie te generaliseren door gebruik te maken van nieuwe wiskundige structuren: "real residue systems" (reële restsystemen) en de verdeling van priemgetallen in Bohr-sets.

2. Methodologie

De auteurs gebruiken een constructieve aanpak die drie hoofdblokken combineert:

Constructie van $\psi$ via Bohr-sets:
De functie $\psi$ wordt ondersteund door blokken van gehele getallen die producten zijn van elementen uit Bohr-sets. Een Bohr-set wordt gedefinieerd als $N_v(y, \epsilon) = \{n \in \mathbb{N} : \|ny - v\| < \epsilon\}$ . De keuze voor deze sets zorgt ervoor dat de benaderingskansen voor parameters in $Y$ klein blijven (kleine maat), terwijl men moet bewijzen dat ze groot zijn voor parameters in $Z$ .
Generalisatie van Restsystemen (Real Residue Systems):
Traditionele dekkingsstelsels (covering systems) gebruiken gehele getallen als resten. De auteurs introduceren een analogie waarbij de resten willekeurige reële waarden kunnen aannemen. Ze definiëren een reëel restsysteem $R(\epsilon, a, n)$ als de vereniging van intervallen rondom $a_i$ met moduli $n_i$ .
Cruciaal is het bewijs dat de asymptotische dichtheid van zo'n systeem geminimaliseerd wordt wanneer de resten $a$ gelijk zijn aan 0. Dit is een generalisatie van een stelling van Rogers.
Verdeling van Priemgetallen in Bohr-sets:
Om de maat van de benaderingsverzamelingen voor $z \in Z$ ondergrens te geven, is het noodzakelijk om te weten hoe priemgetallen zich verdelen binnen deze Bohr-sets. De auteurs generaliseren twee klassieke stellingen:
- De Priemgetalstelling voor rekenkundige rijen (Siegel-Walfisz) naar Bohr-sets.
- De Equidistributiestelling van Vinogradov (voor $(pz)_{p \in \mathbb{P}}$ ) naar priemgetallen binnen Bohr-sets.

3. Belangrijkste Resultaten en Stellingen

Stelling 1.1 (Hoofdstelling): Voor elke aftelbare verzamelingen $Y, Z \subseteq \mathbb{R}$ met $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$ , bestaat er een functie $\psi$ zodanig dat:
- $\mu(W(\psi, y)) = 0$ voor alle $y \in Y$ .
- $\mu(W(\psi, z)) = 1$ voor alle $z \in Z$ .
  Dit is een onvoorwaardelijke generalisatie van eerdere resultaten.
Stelling 1.2 (Rogers voor reële resten): Voor een reëel restsysteem $R(\epsilon, a, n)$ met $\epsilon = 2^{-k}$ , geldt dat de maat van de vereniging van intervallen minimaal is wanneer de resten $a$ gelijk zijn aan 0. Dit stelt de auteurs in staat om de maat van de benaderingsverzamelingen voor $z \in Z$ te vergelijken met het homogene geval ( $z=0$ ).
Stelling 1.3 (Priemgetalstelling voor Bohr-sets): Deze stelling beschrijft de asymptotische verdeling van priemgetallen in een Bohr-set $N_v(w, \epsilon)$ . Als de snijding van de Bohr-set met een specifieke ondergroep $H^\times$ niet leeg is, dan is het aantal priemgetallen in de set oneindig en volgt het een wet van de vorm $\frac{X}{\log X}$ .
Stelling 1.4 (Equidistributie langs Bohr-set priemgetallen): Als $z$ rationeel onafhankelijk is van de parameters van de Bohr-set, dan is de rij $(pz)_{p \in P \cap N_v(y, \epsilon)}$ gelijkmatig verdeeld modulo 1. Dit generaliseert Vinogradov's resultaat.
Appendix A (Manuel Hauke): Beantwoordt een combinatorische vraag over de divergentie van sommen van reciproke waarden. Het bewijst dat een verzameling $A$ een deelverzameling $B$ bevat met $\sum_{n \in B} 1/n = \infty$ en beperkte GCD's, dan en slechts dan als $A$ een veelvoud bevat van een verzameling priemgetallen met een divergente som van reciproke waarden. Dit weerlegt een vermoeden dat dit voor elke verzameling met positieve dichtheid geldt.

4. Technische Kern van het Bewijs

Het bewijs van Stelling 1.1 reduceert tot Propositie 2.1. Hierin wordt aangetoond dat men een vierkantsvrije integer $P$ kan construeren (een product van specifieke priemgetallen) zodat:

Voor $y \in Y$ is de maat van de vereniging van benaderingsintervallen zeer klein ( $< 2\epsilon$ ). Dit wordt bereikt door de eigenschappen van de Bohr-set en Lemma 5.1.
Voor $z \in Z$ is de maat van de vereniging groot ( $\ge 1/3$ ). Dit wordt bereikt door gebruik te maken van Stelling 1.2 (Rogers) om de maat te vergelijken met het homogene geval, en vervolgens de distributie van priemgetallen (Stelling 1.3 en 1.4) te gebruiken om aan te tonen dat de priemgetallen in de Bohr-set voldoende "dicht" liggen om de maat te garanderen.

De constructie van $\psi$ gebeurt inductief via een driehoeksarray van blokken, waarbij de Borel-Cantelli lemma's worden gebruikt om de maat 0 voor $Y$ en de tweede Borel-Cantelli lemma (via de Erdős-Turán ongelijkheid) om de maat 1 voor $Z$ te bewijzen.

5. Betekenis en Impact

Oplossing van een open probleem: Het artikel lost een langdurig open probleem op door de voorwaarde in eerdere resultaten (Ramírez, 2017) te verwijderen, waardoor het resultaat volledig wiskundig onderbouwd is zonder dynamische vermoedens.
Nieuwe methodologische tools: De introductie van "real residue systems" en de generalisatie van de priemgetaltheorie naar Bohr-sets biedt nieuwe instrumenten voor de analytische getaltheorie en de Diophantische benadering.
Verbinding van gebieden: Het werk verbindt diep verschillende gebieden: de theorie van dekkingsstelsels (Erdős), de verdeling van priemgetallen (Dirichlet, Siegel-Walfisz, Vinogradov), en de ergodische theorie (Kronecker-Weyl).
Combinatorische inzichten: De appendix van Hauke levert een scherp tegenvoorbeeld voor een intuïtieve aanname over de structuur van verzamelingen met divergente reciproke sommen, wat relevant is voor de additieve combinatoriek.

Kortom, dit artikel levert een fundamentele bijdrage aan het begrip van hoe "willekeurige" functies $\psi$ kunnen worden geconstrueerd om extreem verschillend gedrag te vertonen voor verschillende inhomogene parameters, en doet dit door gebruik te maken van de diepe structuur van priemgetallen in veralgemeende periodieke sets.