Konjektur Mersenne

Dalam matematika, konjektur Mersenne adalah sebuah konjektur yang melibatkan karakterisasi dari jenis bilangan prima yang disebut bilangan prima Mersenne, bilangan prima yang ditulis dalam ekspresi perpangkatan dari dua dikurangi satu.

Konjektur asli

Konjektur aslinya, yang disebut konjektur Mersenne, menyatakan bahwa bilangan $2^n-1$ merupakan bilangan prima untuk $n$ bernilai 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257, serta merupakan bilangan komposit untuk semua bilangan bulat positif lain $n\le 257$. Konjektur ini dinamai dari Marin Mersenne, dan terdapat di dalam Cogitata Physico-MathematicaTemplat:R. Bilangan-bilangan yang sangat banyak jumlahnya mengakibatkan Mersenne tidak dapat menguji semuanya di abad ke-17. Akan tetapi setelah tiga abad kemudian dan tersedianya pengujian yang baru, yaitu uji Lucas–Lehmer, konjektur Mersenne memiliki lima kesalahan. Letak kesalahan tersebut di antaranya adalah dua bilangan komposit ($n=67,257$) dan tiga bilangan prima ($n=61,89,107$) saat disubstitusi ke bilangan prima Mersenne. Bilangan yang benar adalah $n$ bernilai 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107 dan 127.

Konjektur baru

Konjektur Mersenne baru atau konjektur Bateman–Selfridge–Wagstaff menyatakan bahwa untuk sebarang bilangan asli ganjil $p$, jika dua dari syarat berikut berlaku, maka syara ketiga juga berlaku:Templat:R

1. $p=2^k\pm 1$ atau $p=4^k\pm 3$ untuk suatu bilangan asli $k$. (Templat:Oeis)
2. $2^p-1$ adalah sebuah bilangan prima Mersenne. (Templat:Oeis)
3. $(2^p+1)/3$ adalah sebuah bilangan prima Wagstaff. (Templat:Oeis)

Jika $p$ adalah bilangan komposit ganjil, maka $2^p-1$ dan $(2^p+1)/3$ adalah komposit. Oleh karena itu, pengujian bilangan prima hanya diperlukan untuk membenarkan kebenaran dari konjektur tersebut.

Konjektur Lenstra–Pomerance–Wagstaff

Lenstra, Pomerance, dan Wagstaff menduga bahwa ada tak berhingga banyaknya bilangan prima Mersenne, dan lebih tepatnya bahwa jumlah bilangan prima Mersenne yang lebih kecil daripada $x$ secara asimtotik kira-kira sama dengan Templat:R $$e^{\gamma }\cdot {\log }_2{\log }_2(x),$$ dengan γ adalah konstanta Euler–Mascheroni.

Dengan kata lain, jumlah bilangan prima Mersenne dengan pangkat $p$ yang lebih kecil daripada $y$ secara asimtotik sama denganTemplat:R $$e^{\gamma }\cdot {\log }_2(y).$$

Lebih umumnya lagi, jumlah bilangan prima $p\le y$ sehingga $(a^p-b^p)/(a-b)$ adalah bilangan prima (dengan $a$ dan $b$ adalah bilangan bulat koprima, $a>1,-a<b<a$, serta $a$ dan $b$ bukanlah bilangan sempurna pangkat $r$ untuk sebarang bilangan asli $r>1$, dan $-4ab$ bilangan sempurna pangkat empat) secara asimtotik sama dengan

$$(e^{\gamma }+m\cdot {\log }_e(2))\cdot {\log }_a(y),$$

dengan $m$ adalah bilangan bulat tak negatif terbesar sehingga $a$ dan $-b$ adalah bilangan sempurna pangkat $2^m$. Kasus $(a,b)=(2,1)$ merupakan kasus bilangan prima Mersenne.