🔢 mathematics

Sarnak's Program for Erdős Sieves. Part II: Measure Systems and Applications

Dit artikel generaliseert Sarnaks programma naar Erdős-sieven door de dynamische systemen geassocieerd met verzamelingen van algebraïsche gehele getallen die bepaalde congruentieklassen vermijden te analyseren, en levert toepassingen op voor oneindige sommen, vierkantsvrije polynoomwaarden en een priemgetalstelling voor $R$ -vrije getallen.

Oorspronkelijke auteurs: Francisco Araújo

Gepubliceerd 2026-03-02

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Francisco Araújo

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 Scherf: Een Reis door de Wiskunde van "Vrij" Getallen

Stel je voor dat je een enorme bak hebt vol met alle mogelijke getallen (1, 2, 3, 4, ...). Nu wil je een spelletje spelen: je gaat bepaalde getallen verwijderen op basis van een reeks regels.

Regel 1: Verwijder alle getallen die deelbaar zijn door 4.
Regel 2: Verwijder alle getallen die deelbaar zijn door 9.
Regel 3: Verwijder alle getallen die deelbaar zijn door 25.

Als je dit blijft doen met steeds grotere kwadraten (4, 9, 25, 49...), wat blijft er dan over? De getallen die geen kwadraat als deler hebben. In de wiskunde noemen we deze "kubusvrije" of "kwadraatvrije" getallen.

Dit artikel is het tweede deel van een onderzoek naar precies dit soort spelletjes, maar dan veel complexer en in een hoger universum dan alleen de gewone getallen. De auteur noemt dit "Erdős-schermen" (of sieves).

1. Het Scherm en de Gaten

Stel je een scherm voor (zoals een zeef om pasta te drogen).

De pasta zijn de getallen.
De gaten in het scherm zijn de regels die zeggen welke getallen eruit moeten vallen.

In dit onderzoek kijkt de auteur naar een heel specifiek type scherm:

Het scherm heeft oneindig veel gaten.
De gaten zijn zo groot dat er nog genoeg pasta overblijft (de "dichtheid" is niet nul).
De auteur onderzoekt wat er gebeurt met de pasta die overblijft (de "R-vrije" getallen).

2. Twee Manieren om te Kijken: De "Orbit" en de "Toegestane Set"

De auteur introduceert twee manieren om naar dit overgebleven mengsel te kijken, en probeert te bewijzen dat ze eigenlijk hetzelfde zijn.

De "Orbit" (XR): Stel je voor dat je de overgebleven pasta op een rijtje zet en dat je die rij steeds een beetje verschuift (naar links of rechts). Je kijkt naar alle mogelijke patronen die je kunt zien als je die rij verschuift. Dit is de "orbit".
De "Toegestane Set" (ΩR): Dit is een lijst van alle mogelijke patronen die theoretisch kunnen bestaan zonder dat ze tegen de regels van het scherm in gaan. Het is de verzameling van alles wat "mag".

Het grote vraagstuk: Zijn deze twee dingen hetzelfde?

Bij simpele schermen (zoals het verwijderen van alle kwadraten) is het antwoord: Ja. Wat je ziet als je verschuift, is precies alles wat mag.
Bij complexe schermen is het antwoord soms: Nee. Er zijn patronen die "magisch" lijken (ze schenden geen regel), maar die in de praktijk nooit voorkomen in de overgebleven pasta.

De auteur bewijst dat als het scherm "goed georganiseerd" is (een wiskundige term die hij "zwakke lichte staarten" noemt), dan zijn deze twee werelden wel degelijk hetzelfde. Het scherm is dan zo eerlijk dat alles wat mag, ook echt voorkomt.

3. De "Minimale" Schermen

Soms is een scherm dubbelop.

Voorbeeld: Je hebt een regel die zegt "Verwijder alle even getallen". En een andere regel die zegt "Verwijder alle getallen die 0 of 2 zijn modulo 4".
In feite verwijderen ze exact dezelfde getallen. Maar de tweede regel is "rommeliger" en gebruikt grotere getallen.

De auteur introduceert het concept van een minimaal scherm. Dit is het schoonste, simpelste scherm dat precies dezelfde getallen verwijdert. Hij toont aan dat je elk rommelig scherm kunt "samenklonteren" tot dit minimale, schone scherm. Als je dit doet, blijken de patronen die overblijven identiek te zijn.

4. De Dansende Getallen (Dynamische Systemen)

Dit klinkt misschien saai, maar de auteur gebruikt een heel cool beeld: Dansen.

Stel je voor dat de overgebleven getallen een dansvloer zijn.

Elke keer als je een getal verschuift, is dat een stap in de dans.
De auteur bewijst dat deze dans precies hetzelfde is als het ronddraaien van een roterend wiel (een cirkel) met een heel specifieke snelheid.

Dit is een enorme doorbraak. Het betekent dat we het gedrag van deze complexe getallenpatronen kunnen begrijpen door te kijken naar de simpele wiskunde van een ronddraaiend wiel. Hij kan zelfs de "muziek" (het spectrum) van deze dans voorspellen.

5. Toepassingen in de Wereld

Waarom doen we dit? Om echte wiskundige mysteries op te lossen.

Sommen van Getallen: De auteur toont aan dat als je een grote verzameling getallen hebt die "vrij" is van bepaalde regels, je daarbinnen altijd oneindig veel paren kunt vinden die samen een nieuw getal vormen. Het is alsof je zegt: "Als je genoeg vrije plekken hebt in een parkeergarage, kun je altijd twee auto's vinden die samen een lange rij vormen."
De priemgetallen: Hij gebruikt zijn theorie om een nieuw bewijs te geven voor een stelling over priemgetallen. Hij laat zien dat als je kijkt naar getallen die geen kwadraat als deler hebben, de verdeling van priemgetallen daarin heel regelmatig en voorspelbaar is, net als bij de gewone priemgetallen.
Polynomen: Hij kijkt naar formules zoals $x^2 + 1$ . Welke waarden van $x$ maken dit getal "vrij van kwadraten"? Zijn theorie helpt om te berekenen hoe vaak dit gebeurt.

Samenvatting in één zin

Dit artikel laat zien dat als je een heel complex systeem van regels gebruikt om getallen te filteren, de patronen die overblijven vaak net zo mooi en voorspelbaar zijn als het ronddraaien van een perfect evenwichtig wiel, en dat we deze patronen kunnen gebruiken om diepe geheimen over getallen en priemgetallen te onthullen.

Het is een brug tussen abstracte wiskunde (hoe getallen zich gedragen) en concrete realiteit (hoe vaak we bepaalde getallen tegenkomen).

Titel: Sarnak's Programma voor Erdős-Zeefen. Deel II: Maatsystemen en Toepassingen

1. Probleemstelling en Context

Dit artikel vormt het tweede deel van een tweedelige studie die het programma van Peter Sarnak generaliseert naar een bredere klasse van "Erdős-zeefen".

Achtergrond: Sarnak's programma onderzoekt de dynamische systemen geassocieerd met $B$ -vrije systemen (getallen die niet deelbaar zijn door elementen van een verzameling $B$ ). In eerdere werken (Deel I en andere literatuur) is dit onderzocht voor specifieke gevallen, zoals kwadraatvrije getallen.
Het Probleem: De auteur wil dit kader uitbreiden naar algemene zeefen $R$ gedefinieerd over een étale $\mathbb{Q}$ -algebra $K$ . Een zeef $R$ bestaat uit een collectie congruentieklassen $R_b$ modulo een oneindige verzameling $B_R$ van paarsgewijs coprieme idealen in de ring van gehele getallen $\mathcal{O}_K$ .
Doel: De structuur van de verzameling $F_R$ $F_{R}$ van $R$ $R$ -vrije getallen (elementen in $\mathcal{O}_K$ $O_{K}$ die in geen enkele congruentieklasse van $R$ $R$ zitten) analyseren via de lens van de meettheoretische dynamica. Specifiek wordt de relatie onderzocht tussen twee dynamische systemen:
1. $X_R$ : De orbit-sluiting van $F_R$ in de ruimte $\{0, 1\}^{\mathcal{O}_K}$ .
2. $\Omega_R$ : De verzameling van alle $R$ -toelaatbare verzamelingen (subsets van $\mathcal{O}_K$ die geen volledige congruentieklasse "vullen").

2. Methodologie

De auteur hanteert een combinatie van getaltheorie, algebraïsche getaltheorie en ergodische theorie.

Minimale Zeefen: Een centrale conceptuele bijdrage is de definitie van minimale zeefen. Omdat verschillende verzamelingen idealen en congruentieklassen dezelfde verzameling $F_R$ kunnen genereren (bijv. door dilatie of contractie), introduceert de auteur een procedure om elke zeef te reduceren tot een unieke "minimale" vorm. Dit stelt de auteur in staat om equivalentie tussen zeefen te karakteriseren.
Maatsystemen en Isomorfisme: De kern van de analyse ligt in het construeren van een isomorfisme tussen het dynamische systeem $(\Omega_R, S, \nu_R)$ $(Ω_{R}, S, ν_{R})$ (waarbij $S$ $S$ de verschuiving is en $\nu_R$ $ν_{R}$ de Mirsky-maat) en een rotatie op een compacte abelse groep.
- De auteur definieert een groep $G_{R,F} = \prod_{b \in B_R} \mathcal{O}_K / F(R_b)$ , waarbij $F(R_b)$ de stabilisator is van de congruentieklasse $R_b$ .
- Er wordt bewezen dat het systeem isomorf is met een rotatie op deze groep, wat de berekening van het spectrum mogelijk maakt.
Lichte Staarten (Light Tails): Het concept van "zwakke" en "sterke lichte staarten" (weak/strong light tails) wordt gebruikt om de convergentie van dichtheden en de relatie tussen $X_R$ en $\Omega_R$ te analyseren. Dit is cruciaal voor het toepassen van de puntsgewijze ergodische stelling.

3. Belangrijkste Bijdragen en Resultaten

A. Relatie tussen $X_R$ en $\Omega_R$

In het geval van $B$ -vrije systemen geldt vaak $X_R = \Omega_R$ . Voor algemene zeefen is dit niet altijd waar.

Stelling 1.1: Er bestaat een Følner-rij $I_N$ waarvoor $R$ zwakke lichte staarten heeft dan en slechts dan als $\nu_R(X_R) = 1$ . Dit betekent dat $X_R$ "bijna zeker" gelijk is aan $\Omega_R$ onder de Mirsky-maat als de zeef goed gedragen is.
Stelling 1.2 & 1.3: Voor minimale zeefen met zwakke lichte staarten zijn de volgende equivalent:
1. De steunverzamelingen en congruentieklassen zijn identiek (tot op een verschuiving).
2. De orbit-sluitingen zijn gelijk ( $X_R = X_{R'}$ ).
3. De verzamelingen van toelaatbare sets zijn gelijk ( $\Omega_R = \Omega_{R'}$ ).
  Er wordt bewezen dat elke zeef equivalent is aan een unieke minimale zeef (onder bepaalde voorwaarden voor lichte staarten).

B. Dynamische Isomorfisme en Spectrum

Stelling 1.4 (Hoofdstuk 4): Het systeem $(\Omega_R, S, \nu_R)$ is isomorf met een rotatie op de compacte abelse groep $G_{R,F}$ , uitgerust met de Haar-maat.
Spectrumberekening: De auteur berekent het punt-spectrum van dit systeem. Het spectrum wordt bepaald door de karakteren van $\mathcal{O}_K$ die triviaal zijn op de doorsnede van de stabilisator-groepen $F(R_b)$ . Dit toont aan dat het dynamische systeem voor minimale zeefen over $\mathbb{Q}$ niet alleen afhangt van de steun $B_R$ , maar van de specifieke structuur van de idealen (via de $p$ -adische waarden).

C. Toepassingen in de Getaltheorie

De theorie wordt toegepast op concrete problemen:

Oneindige Sommen (Stelling 1.5):
Voor een zeef $R$ met sterke lichte staarten en een verzameling $A$ waarvoor een bepaalde productvoorwaarde geldt, bestaat er een verzameling $B$ met positieve dichtheid ( $d(B) > 0$ ) zodat $A + B \subset F_R(g)$ . Dit generaliseert resultaten van Moreira, Richter en Robertson over het vinden van oneindige sommen in verzamelingen met positieve dichtheid.
Kwadraatvrije Waarden van Polynomen (Hoofdstuk 6.2):
De verzameling van kwadraatvrije waarden van een polynoom $f$ wordt geïdentificeerd als een $R_f$ -vrije verzameling.
- Er wordt bewezen dat voor irreducibele polynomen van graad $\leq 3$ (en onder bepaalde voorwaarden voor hogere graden), de bijbehorende zeef sterke lichte staarten heeft.
- Hieruit volgt dat voor deze polynomen geldt dat $X_{R_f} = \Omega_{R_f}$ , wat de dynamische structuur van kwadraatvrije waarden volledig karakteriseert.
Ergodisch Primtallentheorema (Stelling 1.6 / Theorem 6.20):
De auteur bewijst een veralgemeend Primtallentheorema voor $R$ -vrije getallen. Voor een uniek ergodisch dynamisch systeem $(X, T)$ en een continue functie $f$ , geldt:
$\lim_{N \to \infty} \frac{1}{N} \sum_{m \in F_R \cap [1, N]} f(T^{\Omega(m)} x) = d(F_R) \int_X f \, d\mu$
Hierbij is $\Omega(m)$ de som van de $p$ -adische waarden van $m$ . Dit resultaat generaliseert eerdere werken (zoals die van Heath-Brown en [39]) en toont aan dat de verdeling van $R$ -vrije getallen "willekeurig" genoeg is om te interageren met uniek ergodische systemen via de functie $\Omega(m)$ .

4. Significatie

Dit artikel is van fundamenteel belang voor de snijvlak van getaltheorie en dynamische systemen:

Generalisatie: Het breidt Sarnak's programma uit van specifieke $B$ -vrije systemen naar een zeer algemene klasse van zeefen over étale algebra's.
Structuur: Het introduceert het concept van "minimale zeefen" als een hulpmiddel om de uniciteit en equivalentie van dynamische systemen te begrijpen.
Isomorfisme: Het bewijs dat deze complexe systemen isomorf zijn met rotaties op compacte groepen, maakt het mogelijk om krachtige tools uit de harmonische analyse (zoals het spectrum) toe te passen.
Toepassingen: De resultaten leveren nieuwe inzichten en bewijzen voor klassieke problemen, zoals de dichtheid van kwadraatvrije waarden van polynomen en het bestaan van oneindige sommen in dichte verzamelingen. Het koppelt ook de eigenschappen van zeefen direct aan de ergodische theorie via het Primtallentheorema.

Kortom, het artikel levert een diepgaande theoretische fundering voor het begrijpen van de statistische en dynamische eigenschappen van getallen die vrij zijn van bepaalde congruentievoorwaarden.