🔢 mathematics

Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

Dit artikel maakt een doorbraak in het Subbarao-Warren-probleem over unitair perfecte getallen door middel van een gereduceerde begrensde-boksreductie vijf imposter-kernen te elimineren via een drie-filtercertificaat en door geverifieerde eindige frontieren te bieden voor de resterende hulpverzameling $H_{even}$ , waardoor het zoeken wordt ingeperkt tot een specifiek deler-niveauprobleem dat cyclotomische waarden omvat, zonder echter de eindigheid reeds te bewijzen.

Oorspronkelijke auteurs: Tom Maciejewski

Gepubliceerd 2026-05-21

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Tom Maciejewski

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

Het Grote Doel: De Jacht op een "Perfect" Getal

Stel je voor dat je op zoek bent naar een heel speciaal soort getal, een Unitair Perfect Getal (UPG).

De Regel: Een getal is "perfect" als de som van zijn speciale "unitaire" delen precies gelijk is aan tweemaal het getal zelf.
Het Mysterie: Wiskundigen hebben in de hele geschiedenis slechts vijf van deze getallen gevonden (het grootste is een enorm getal met 24 cijfers).
De Vraag: Zijn er nog meer? Of is de lijst van vijf compleet?

Dit artikel is een enorme, high-tech zoekmissie om te bewijzen dat er geen nieuwe getallen bestaan, of ten minste om de zoektocht zo nauwkeurig in te perken dat het vinden van een nieuw getal bijna onmogelijk wordt.

De Strategie: De "Beperkte Doos" en de "Bedriegers"

De auteurs, onder leiding van Tom Maciejewski, besloten te stoppen met gokken en systematisch elke mogelijke kandidaat binnen een specifieke "doos" van regels te controleren.

Stel je het bouwen van een UPG voor als het bouwen van een huis. Je begint met een zaadje (een specifiek oneven getal) en voegt stenen (priemfactoren) toe.

De Bekende Huizen: We kennen twee specifieke "blauwdrukken" (zogenaamde kernen) die de bekende perfecte huizen succesvol hebben gebouwd (namelijk het getal 90 en het enorme 5e getal).
De Bedriegers: De auteurs draaiden een computersimulatie om te zien of er andere blauwdrukken waren die eruit zagen alsof ze een perfect huis konden bouwen, maar nog niet waren gevonden. Ze vonden vijf "bedrieger"-blauwdrukken. Deze zien er veelbelovend uit, maar zijn volgens het artikel eigenlijk nep.

Het Doel: Bewijzen dat deze vijf bedrieger-blauwdrukken nooit echt een perfect huis kunnen bouwen.

De Drie Filters: Hoe Ze de Neppen Vangen

Om te bewijzen dat de bedriegers nep zijn, bouwden de auteurs een drie-traps beveiligingscontrole (een "certificaat") die elke kandidaat-getal moet doorlopen. Als een getal een trap niet haalt, wordt het weggegooid.

Filter Z (De Zsigmondy-poort):
- Analogie: Stel je een portier voor die ID's controleert. Deze filter controleert of de betrokken getallen een "primitieve" priemfactor hebben die te oud of te nieuw is om toegelaten te worden. Als de wiskunde niet overeenkomt met een beroemd theorema (Zsigmondy's), wordt de kandidaat direct de deur gewezen.
- Resultaat: Dit ving ongeveer 495 bedriegers.
Filter N (De Niet-3-Higgs-getuige):
- Analogie: Dit is een achtergrondcontrole. Het artikel definieert een speciale club genaamd "3-Higgs-priemen". Als de stamboom van een getal een "slechte appel" bevat (een priem die niet in de 3-Higgs-club zit), wordt het hele getal gediskwalificeerd.
- Resultaat: Dit was de meest effectieve filter, die 1.614 bedriegers ving. Het werkte zelfs op getallen die nog niet volledig waren ontbonden, door slechts één "slechte appel" in hun gedeeltelijke stamboom te vinden.
Filter O (De 2-adische Begrotingsoverschrijding):
- Analogie: Stel je een strikte begroting voor een bouwproject. Terwijl je meer stenen (factoren) toevoegt, bereken je de "kosten" in een specifieke valuta (potten van 2). Als de kosten van de stenen de begroting overschrijden die door het zaadje is toegestaan, is het project onmogelijk.
- Resultaat: Dit ving de resterende 10 koppige bedriegers die de andere filters hadden gemist.

Het Vonnis: Tegen de tijd dat ze klaar waren met het controleren van getallen tot een enorme limiet (10.000), was elk van de vijf bedrieger-blauwdrukken bewezen nep. De enige blauwdrukken die nog misschien werken, zijn de twee die we al kennen.

Het Overgebleven Mysterie: De "Even" Set ( $H_{even}$ )

Hoewel ze de bedriegers hebben opgeruimd, blijft er nog een lastige groep getallen over, genaamd $H_{even}$ .

Dit zijn getallen waarbij elke enkele priemfactor de "3-Higgs"-achtergrondcontrole doorstaat.
De auteurs vermoeden dat deze groep eindig is (wat betekent dat hij stopt met groeien na een bepaald punt), maar ze kunnen dit nog niet bewijzen.
Ze deden een grondige telling tot 50.000 en vonden dat er in deze groep hooguit 272 kandidaten overblijven.
Ze bewezen dat als deze groep oneindig is, deze "dun" moet zijn (zeer schaars), maar ze konden niet bewijzen dat deze helemaal stopt.

De "Ontbrekende Schakel": Waarom het Moeilijk is om Af te ronden

Het artikel geeft toe dat het het hele mysterie nog niet heeft opgelost. Hier is de laatste hindernis:

Om te bewijzen dat er geen meer perfecte getallen zijn, moeten ze bewijzen dat voor zeer grote getallen de wiskunde simpelweg niet kan kloppen.
Ze identificeerden een specifiek wiskundig "gat". Het is alsof je weet dat een brug te zwak is om een vrachtwagen te dragen, maar je niet de technische formule hebt om precies te bewijzen waar deze breekt voor elke mogelijke vrachtwagengrootte.
Ze stellen een nieuwe conjectuur (een gok gebaseerd op sterk bewijs) voor, genaamd de "Divisor Log-Mass Conjecture". Als deze conjectuur waar is, is het mysterie opgelost. Als hij onwaar is, gaat de jacht door.

Samenvatting van Resultaten

Bedriegers Geëlimineerd: Ze bewezen grondig dat de vijf "neppe" blauwdrukken voor nieuwe perfecte getallen onmogelijk zijn binnen het geteste bereik.
De Zoekruimte Verminderd: Ze reduceerden het probleem tot het controleren van een zeer kleine, specifieke lijst van ongeveer 272 "verdachte" getallen.
Reproduceerbaarheid: Ze hebben al hun code, data en verificatielogboeken vrijgegeven zodat iedereen de tests opnieuw kan uitvoeren en de resultaten zelf kan zien.
De Eindbaas: Ze hebben niet bewezen dat de conjectuur waar is, maar ze hebben het probleem teruggebracht tot één precieze wiskundige vraag over hoe priemgetallen zijn verdeeld in specifieke algebraïsche formules.

Kortom: Het artikel is een enorme opruimoperatie. Het heeft de vloer geveegd, alle valse aanwijzingen weggegooid en de wiskundigen een zeer kleine, zeer specifieke hoop stof overgelaten om te onderzoeken. Ze weten precies wat die stof is; ze hebben alleen een nieuw gereedschap nodig om te bewijzen dat het geen diamant is.

Technische Samenvatting: Beperkte-boksreducties in het Subbarao–Warren-probleem voor unitair perfecte getallen

Probleemstelling
Het artikel behandelt het Subbarao–Warren-probleem betreffende unitair perfecte getallen (UPN's). Een positief geheel getal $n$ is een UPN als $\sigma^*(n) = 2n$ , waarbij $\sigma^*$ de som is van de unitaire delers van $n$ . Er zijn momenteel slechts vijf voorbeelden bekend: 6, 60, 90, 87360 en 146361946186458562560000. De strikte conjectuur stelt dat deze vijf de enige UPN's zijn.

De definitieve vergelijking voor een UPN $n = 2^a \prod p_i^{e_i}$ (waarbij $p_i$ oneven is) is de "volledige balans":
$(2^a + 1) \prod (p_i^{e_i} + 1) = 2^{a+1} \prod p_i^{e_i}$
Hier fungeert $2^a + 1$ als de "zaadfactor" die een afhankelijkheidscascade in gang zet. Elke oneven priemdelers van een UPN moet een "3-Higgs"-priem zijn (een priem $p$ waarbij elke priemfactor van $p-1$ ook 3-Higgs is, met exponenten in de priemfactorontbinding van $p-1$ begrensd tot 3). Het artikel onderzoekt of er nieuwe UPN's kunnen bestaan door "bedriegerkernen" te analyseren: broncomponenten in het oneven afhankelijkheidsgraf die niet deel uitmaken van de bekende voorbeelden, maar wel voldoen aan initiële structurele beperkingen.

Methodologie
De auteur hanteert een combinatie van rigoureuze computationele enumeratie en analytisch getaltheorie, gestructureerd rond een "beperkte-boks"-benadering en een drie-filter certificeringssysteem.

Beperkte Enumeratieboks ( $B$ ): Het zoeken is beperkt tot een specifiek domein: priemgetallen $p \le 2000$ , exponenten $e \le 6$ , $p^e \le 10^9$ , en sterk samenhangende componenten (SSC's) met een grootte $\le 6$ . Binnen deze boks enumerateert de auteur bron-compatibele SSC's.
Drie-filter Certificaat: Voor elke kandidaat-kern en zaadexponent $a$ $a$ past het artikel drie rigoureuze filters toe om de mogelijkheid van een UPN uit te sluiten:
- Filter Z (Zsigmondy/Higgs): Gebruikt de stelling van Zsigmondy om exponentbelemmeringen op te sporen waarbij primitieve priemdelers van $p^e+1$ de 3-Higgs-beperkingen schenden.
- Filter N (Niet-3-Higgs Getuige): Controleert delers $m$ van $a$ (waarbij $a/m$ oneven is). Als $2^m+1$ een niet-3-Higgs priemfactor bevat, erft de zaad $2^a+1$ deze factor, waardoor de kandidaat ongeldig wordt. Dit filter maakt gebruik van partiële factorisaties uit FactorDB en recursieve Pratt-boomverificaties.
- Filter O (2-adische Begrotingsoverschrijding): Berekent de cumulatieve 2-adische waardering $v_2$ die vereist is door de oneven componenten. Als de som van $v_2(p^e+1)$ het beschikbare budget $a+1$ overschrijdt, wordt de kandidaat uitgesloten.
Analyse van de verzameling $H_{even}$ : Het artikel definieert $H_{even}$ als de verzameling van even gehele getallen $m$ zodat elke priemdelers van $2^m+1$ 3-Higgs is. Het bestaan van een nieuwe UPN met een niet-vrij kwadraat oneven deel is gekoppeld aan de eindigheid van deze verzameling. De auteur reduceert het probleem tot het "priemgeval" ( $m=2p$ ) en analyseert de structurele eigenschappen van deze kandidaten met behulp van Aurifeuillean-factorisaties en diepe Pratt-boomafdalingen.

Belangrijkste Bijdragen en Resultaten

Eliminatie van Bedriegerkernen: Binnen de beperkte boks $B$ $B$ identificeert de auteur vijf "bedriegerkernen" (naast de twee bekende kernen 32 en 54) die de initiële goedkope filters doorstaan. Met behulp van het drie-filter certificaat bewijst het artikel dat voor alle zaadexponenten $1 \le a \le 10.000$ $1 \leq a \leq 10.000$ geen UPN bestaat met een oneven-componentstructuur die deze bedriegerkernen verfijnt.
- Statistieken: Van de 2.119 kandidaten in dit bereik werden 495 uitgesloten door Filter Z, 1.614 door Filter N en 10 door Filter O.
Rigoureuze Grenzen voor $H_{even}$ : Het artikel levert geverifieerde grenzen voor de verzameling $H_{even}$ $H_{e v e n}$ :
- $|H_{even} \cap [2, 40000]| \le 201$ (met 191 onbesliste kandidaten).
- $|H_{even} \cap [2, 50000]| \le 272$ (met 262 onbesliste kandidaten).
- Deze grenzen zijn rigoureus, gebaseerd op APR-CL-primaliteitsverificatietranscripten voor grote getuigepriemen (tot 3053 cijfers) en conservatieve behandeling van partiële factorisaties.
Structurele Reducties:
- Stelling 7: Bewijst dat $H_{even}$ eindig is dan en slechts dan als de subset van priemgevallen $H_{even}^{prime} = \{2p \in H_{even} : p \text{ is priem}\}$ eindig is. Bovendien geldt $|H_{even}| \le 4^{|H_{even}^{prime}|}$ .
- Stelling 21: Vestigt een onvoorwaardelijke "krachtbesparende dunheid"-grens voor $H_{even}$ (d.w.z. de telling groeit als $O(X^{1-\eta})$ ), hoewel dit de eindigheid niet bewijst.
Identificatie van de Analytische Hindernis: Het artikel isoleert de precieze barrière om eindigheid te bewijzen. Hoewel de stelling van Ford een globale dichtheidsgrens biedt voor 3-Higgs-priemen, is deze ontoereikend op de schaal van primitieve delers van cyclotomische waarden $\Phi_{4p}(2)$ . De resterende taak is een delerniveau-probleem: bewijzen dat voor grote $p$ de primitieve priemdelers van $2^{2p}+1$ niet allemaal 3-Higgs kunnen zijn.

Betekenis en Claims
Het artikel stelt expliciet dat het de strikte Subbarao–Warren-conjectuur (dat er slechts vijf UPN's bestaan) niet bewijst. In plaats daarvan bereikt het een "beperkte-boks-eliminatie" en een "geverifieerde eindige grens".

Reductie tot een Enkele Analytische Vraag: Het werk reduceert het probleem van het vinden van nieuwe UPN's (binnen de beperkte boks) tot de eindigheid van $H_{even}$ , die op haar beurt afhangt van het gedrag van priemdelers van $\Phi_{4p}(2)$ .
Precieze Doelstelling voor Toekomstig Werk: De auteur identificeert het "ontbrekende bewijs" als een delerniveau-equidistributie- of log-massa-grens voor de priemfactoren van $\Phi_{4p}(2)$ . Specifiek formuleert het artikel Conjectuur 23 (Hybride semigroup-vrij verschoven-priem conjectuur) en Conjectuur 29 (Delermod-16-equidistributie) als de noodzakelijke voorwaarden om het probleem af te ronden.
Reproduceerbaarheid: Het artikel benadrukt dat alle computationele resultaten reproduceerbaar zijn. Het biedt een factorencache, APR-CL-verificatietranscripten en Python-scripts (impostor_certificate.py, verify_Heven_rigorous.py) om de eliminatie van bedriegerkernen en de grenzen van $H_{even}$ te verifiëren.

Kortom, het artikel elimineert rigoureus alle potentiële "bedrieger"-bronnen voor nieuwe UPN's tot een zaadexponent van 10.000 binnen een gedefinieerd zoekdomein en reduceert het resterende open probleem tot een specifieke, goed gedefinieerde analytische conjectuur betreffende de priemdelers van cyclotomische polynomen.