Cramers gissning är en sifferteoretisk hypotes formulerad av den svenske matematikern Harald Cramer 1936, [1] som säger att
där anger det n :te primtalet och O är O stort . Grovt sett betyder det att intervallen mellan på varandra följande primtal alltid är små. Cramers gissning kallas också för ett lite starkare uttalande:
Cramers hypotes har ännu inte bevisats eller vederlagts.
Cramers gissning bygger på en probabilistisk modell (i huvudsak heuristisk ) av fördelningen av primtal, som antar att sannolikheten för att ett naturligt tal x är primtal är ungefär lika med . Denna modell är känd som Cramers modell av primtal. Cramer bevisade i sin modell att den nämnda hypotesen är sann med sannolikhet 1 [1] .
Cramer gav också ett villkorligt bevis för det svagare påståendet
antar den sanna Riemann-hypotesen [1] .
Å andra sidan bevisade E. Westzynthius 1931 att gapen mellan primtal är mer än logaritmiska. Det vill säga [2]
Daniel Shanks föreslog den asymptotiska jämlikhetsförmodan för de största intervallen mellan primtal som inte överstiger . Shanks hypotes är något starkare än Cramers: [3]
I en probabilistisk modell
vart iMen konstanten kanske inte är densamma som för enkla, enligt Mayers teorem . Andrew Granville hävdade 1995 att konstanten [4] , där är Euler-konstanten .
M. Wolf [5] föreslog en formel för det maximala avståndet mellan på varandra följande primtal mindre än . Wolf-formeln uttrycker i termer av fördelningsfunktionen för primtal :
där , och är två gånger konstanten av prime-tvillingar .
Thomas beräknade snyggt många av de största gapen mellan primtal. [6] Han testade kvaliteten på Cramers gissning genom att mäta förhållandet R av logaritmen av primtal till kvadratroten av storleken på gapet mellan primtal:
Han skrev: "För de kända maximala gapen mellan primtal , förblir R på cirka 1,13", vilket visar, åtminstone inom intervallet för hans beräkningar, att Granville-förbättringen av Cramers gissning inte verkar vara den bästa approximationen för tillgängliga data .
Hypoteser om primtal | |
---|---|
Hypoteser |