🔢 mathematics

Almost all primes are partially regular

Dit artikel bewijst dat een deelverzameling met dichtheid één van de oneven priemgetallen gedeeltelijk regulier is, wat betekent dat hun cyclotomaalvelden voldoen aan specifieke verdwijningsvoorwaarden voor eigenruimten in een bereik bepaald door $\sqrt{p}/(\log p)^\alpha$ , een resultaat dat volledig is geformaliseerd in Lean/Mathlib en automatisch is gegenereerd door het AxiomProver-systeem.

Oorspronkelijke auteurs: Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Aram Markosyan, Ken Ono, Manooshree Patel, Gaurang Pendha

Gepubliceerd 2026-02-06

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Aram Markosyan, Ken Ono, Manooshree Patel, Gaurang Pendharkar, Vedant Rathi, Alex Schneidman, Volker Seeker, Shubho Sengupta, Ishan Sinha, Jimmy Xin, Jujian Zhang

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 Visie: Een Kosmisch Filter voor Getallen

Stel je de wereld van de wiskunde voor als een gigantische, oneindige bibliotheek vol met priemgetallen (getallen zoals 2, 3, 5, 7, 11 die alleen deelbaar zijn door 1 en zichzelf). Al meer dan een eeuw proberen wiskundigen een specifieke, lastige eigenschap van deze priemgetallen te begrijpen, genaamd "regulariteit".

Beschouw regulariteit als een "netheidsscore". Een "regulier" priemgetal is een getal dat zich perfect aan de regels houdt. Een "onregelmatig" priemgetal is een rebel die de regels op een specifieke, rommelige manier breekt. Lange tijd wisten wiskundigen dat er rebellen bestonden, maar ze wisten niet of de bibliotheek vooral vol stond met regelvolgers of regelbrekers.

Dit artikel bewijst een enorme nieuwe feit: Als je willekeurig een priemgetal kiest, is het bijna zeker een "goede burger" (regulier) wanneer je ernaar kijkt door een specifieke, licht wazige lens.

De Lens: "Partiële Regulariteit"

De auteurs introduceren een nieuwe manier om naar deze getallen te kijken. In plaats van te vragen: "Is dit priemgetal op elke mogelijke manier perfect?", vragen ze: "Is dit priemgetal perfect aan het begin?"

Ze definiëren een "lens" (een wiskundig bereik) die breder wordt naarmate de priemgetallen groter worden.

De Analogie: Stel je voor dat je een lange rij auto's inspecteert. Een "perfecte" inspectie controleert elk enkel boutje aan elke auto. Dat is te moeilijk. In plaats daarvan zeggen de auteurs: "Laten we alleen de eerste paar voet van elke auto controleren."
Het Resultaat: Ze bewijzen dat voor bijna elk priemgetal (99,99%) de "voorkant" perfect schoon is. Het "rebelse" gedrag vindt pas plaats in de verre achterkant van de rij, waar we op dit moment niet naar kijken.

Ze noemen dit "Partiële Regulariteit". Het is alsof je zegt: "Bijna alle studenten slagen voor de eerste helft van het examen, zelfs als sommigen misschien zouden zakken voor de laatste vraag."

De "AI" Detective

Een van de meest unieke onderdelen van dit artikel is hoe het bewijs is gevonden. De auteurs hebben het bewijs niet zelf geschreven; ze gebruikten een AI-tool genaamd AxiomProver.

De Opzet: De menselijke auteurs schreven een eenvoudige, begrijpelijke zin die het probleem beschrijft (zoals een dossier van een detective).
De Taak van de AI: Ze gaven deze zin aan de AI en zeiden: "Bewijs dit."
De Uitkomst: De AI, die volledig op eigen kracht werkte, schreef een rigoureus, door de computer geverifieerd bewijs in een programmeertaal genaamd Lean. De AI gokte niet; het bouwde een logisch fort dat een computer stap voor stap kon controleren om te garanderen dat er geen fouten bestonden.
De Menselijke Aanraking: Het bewijs van de AI was als een massief, dicht blok code. De menselijke auteurs traden vervolgens op als vertalers, die die code omzetten naar het leesbare verhaal dat je in dit artikel ziet.

Waarom Is Dit Belangrijk? (De "Wat Heb Ik Eraan?" Vraag)

Het artikel verbindt deze "schone" priemgetallen met verschillende andere beroemde wiskundige mysteries. Als een priemgetal "partieel regelmatig" is, betekent dit dat bepaalde complexe wiskundige structuren verdwijnen of simpel worden.

De auteurs noemen vier specifieke zaken die voor bijna alle priemgetallen "stil" of "triviaal" worden:

Fermat's Laatste Stelling: Het helpt te bevestigen waarom de beroemde vergelijking $x^n + y^n = z^n$ geen oplossingen heeft voor deze priemgetallen.
Speciale Getalpatronen: Het verklaart waarom bepaalde sommen van machten voorspelbaar gedrag vertonen.
De Muziek van de Priemgetallen: In de wereld van "modulaire vormen" (die als complexe muzikale golven zijn), betekent dit dat bepaalde "congruenties" (toevalligheden tussen verschillende golven) niet voorkomen voor deze priemgetallen.
Algebraïsche K-theorie: Het laat zien dat bepaalde "torsie" (draai- of breukpunten) in abstracte algebraïsche groepen verdwijnen.

De Kernboodschap

Dit artikel is een overwinning voor twee zaken:

Wiskunde: Het bewijst dat de "rebelse" priemgetallen eigenlijk vrij zeldzaam zijn wanneer je naar het begin van de getallenlijn kijkt. Het universum van priemgetallen is grotendeels geordend.
Technologie: Het demonstreert dat AI nu in staat is om een hoogwaardige wiskundige conjectuur te nemen en een volledig geverifieerd, correct bewijs te genereren zonder menselijke hulp.

Kortom: De AI deed het zware werk van de logica, de mensen legden het verhaal uit, en het resultaat is dat bijna alle priemgetallen braaf zijn, althans in de delen die voor ons het belangrijkst zijn.

Technische Samenvatting: "Bijna alle priemgetallen zijn gedeeltelijk regulier"

Probleemstelling
Het artikel behandelt de distributie van irregulariteiten in de rekenkunde van cyclotomische velden. Voor een oneven priemgetal $p$ zij $K_p = \mathbb{Q}(\zeta_p)$ het $p$ -de cyclotomische veld en $Cl(K_p)$ de ideale klassengroep ervan. Een priemgetal $p$ wordt klassiek gedefinieerd als regulier indien $p$ de klassengrootte $|Cl(K_p)|$ niet deelt, een voorwaarde die equivalent is aan het feit dat $p$ de teller van geen enkele Bernoulli-getal $B_{2k}$ voor $2 \le 2k \le p-3$ deelt. Hoewel irreguliere priemgetallen bekend zijn te bestaan (Jensen), is hun dichtheid vermoedelijk ongeveer $1 - e^{-1/2}$ .

De auteurs onderzoeken een zwakkere notie genaamd gedeeltelijke regulariteit. Een oneven priemgetal $p$ wordt gedefinieerd als $m$ -regulier indien $p \nmid \text{num}(B_{2k})$ voor alle even gehele getallen $2k$ in het bereik $2 \le 2k \le \min(m, p-3)$ . De centrale vraag is of een deelverzameling van "dichtheid één" van de priemgetallen voldoet aan gedeeltelijke regulariteit voor een specifieke range $M_\alpha(p)$ die meegroeit met $p$ , specifiek $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ voor $\alpha > 1/2$ .

Methodologie
Het bewijs van de hoofdstelling rust op technieken uit de analytische getaltheorie betreffende de groei van de tellers van Bernoulli-getallen en de distributie van priemfactoren. De methodologie verloopt als volgt:

Reductie naar een uniforme range: De auteurs definiëren een uniforme bovengrens $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ voor priemgetallen $p \le X$ . Zij tonen aan dat indien een priemgetal $p \le X$ niet $M_\alpha(p)$ -regulier is, het ook niet $m_X$ -regulier zal zijn (voor voldoende grote $X$ ).
Begrenzing van irreguliere priemgetallen: Gebruikmakend van Lemma 2.1, wordt het aantal priemgetallen $p \le X$ dat niet $m_X$ -regulier is, begrensd door $\omega_{pf}(P_{m_X})$ , waarbij $P_{m_X}$ het product is van de tellers van de Bernoulli-getallen $B_{2k}$ voor $1 \le k \le m_X$ , en $\omega_{pf}(n)$ het aantal verschillende priemfactoren van $n$ aangeeft.
Schatting van Bernoulli-tellers: De auteurs leiden een bovengrens af voor $\log |P_m|$ met behulp van de Euler-formule voor $\zeta(2k)$ en de von Staudt–Clausen-stelling. Zij stellen vast dat $\log P_m \le C_2 m^2 \log m$ .
Tellen van priemfactoren: Door toepassing van de Priemgetallenstelling en eigenschappen van de primoriaalfunctie, begrenzen zij $\omega_{pf}(P_{m_X})$ door $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$ .
Asymptotische Analyse: Door deze schattingen te combineren, wordt aangetoond dat de telling van niet-reguliere priemgetallen begrensd wordt door $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$ . Aangezien $\alpha > 1/2$ , zorgt de exponent $2\alpha > 1$ ervoor dat de dichtheid van niet-reguliere priemgetallen naar nul convergeert als $X \to \infty$ .

Kernbijdragen en Resultaten
Het artikel stelt het volgende hoofdresultaat vast:

Stelling 1.1: Voor elk vast $\alpha > 1/2$ heeft de verzameling priemgetallen $p$ die niet $M_\alpha(p)$ -regulier zijn een asymptotische dichtheid nul. Specifiek wordt het aantal van dergelijke priemgetallen tot $X$ begrensd door $C_\alpha \frac{X}{(\log X)^{2\alpha}}$ . De auteurs merken op dat de constante $C_\alpha$ onafhankelijk van $\alpha$ kan worden gekozen (specifiek $C_\alpha = 10$ ).

Corollaria en Implicaties
Het artikel leidt verschillende significante consequenties af uit dit resultaat van gedeeltelijke regulariteit:

Partiële Vandiver-stelling (Corolarium 1.4): Door Stelling 1.1 te combineren met de Herbrand–Ribet-stelling (die de oneven eigensubruimten van de klassengroep koppelt aan Bernoulli-getallen) en de Reflectieprincipe van Leopoldt (die even en oneven eigensubruimten koppelt), bewijzen de auteurs dat voor een verzameling priemgetallen met dichtheid één de even eigensubruimten $A_p(\omega^{2k})$ van de $p$ -deel van de klassengroep verdwijnen voor alle $2k \le M_\alpha(p)$ . Dit biedt een partiële verificatie van de Kummer–Vandiver-conjectuur.
Niet-verdwijnen van $p$ -adische $L$ -functies (Corolarium 1.5): Via de Iwasawa-hoofdstelling (Mazur–Wiles) impliceert het verdwijnen van de algebraïsche eigensubruimten dat de geassocieerde Kubota–Leopoldt $p$ -adische $L$ -functies $L_p(s, \omega^{2k})$ eenheden zijn in de Iwasawa-algebra $\Lambda = \mathbb{Z}_p[[T]]$ . Bijgevolg hebben deze functies voor bijna alle priemgetallen geen nulpunten in $\mathbb{Z}_p$ .
Congruenties en K-theorie (Corolarium 1.7): Het resultaat impliceert dat voor bijna alle priemgetallen:
- Specifieke machtsom-congruenties betrokken bij Bernoulli-getallen gelden modulo $p^2$ .
- Er zijn geen congruenties tussen genormaliseerde cuspidale Hecke-eigenvormen van niveau 1 en gewicht $2k$ en Eisenstein-reeksen modulo $p$ voor kleine gewichten.
- De algebraïsche K-groepen $K_{4k-2}(\mathbb{Z})$ hebben geen $p$ -torsie voor deze gewichten.

Significantie en Verificatie
De auteurs benadrukken twee primaire aspecten van de significantie:

Wiskundig Resultaat: Het biedt een rigoureus bewijs dat "bijna alle" priemgetallen aan een sterke vorm van gedeeltelijke regulariteit voldoen, wat het begrip van de distributie van irreguliere priemgetallen uitbreidt en een partiële oplossing biedt voor de Vandiver-conjectuur in een specifiek bereik.
Formalisering en AI: Het artikel dient als een casestudy voor AxiomProver, een in ontwikkeling zijnde AI-tool. De auteurs stellen dat Stelling 1.1 volledig is bewezen en geformaliseerd in Lean/Mathlib (versie 4.26.0) door AxiomProver, uitsluitend uitgaande van een natuurlijke taal-formulering van de conjectuur, zonder menselijke hulp bij de bewijsgeneratie. De menselijke auteurs hebben vervolgens de narratieve expositie gereconstrueerd op basis van het formele bewijs. De code en artefacten zijn publiekelijk beschikbaar in de AxiomMath-repository.

De auteurs benadrukken dat de AI niet de diepe externe stellingen (zoals Herbrand–Ribet of de Hoofdstelling van Iwasawa) opnieuw heeft bewezen, maar autonoom de specifieke analytische schatting heeft afgeleid die vereist is voor Stelling 1.1, inclus\text{bij} een onafhankelijke afleiding van een grens gerelateerd aan de von Staudt–Clausen-stelling.