3 ve 5. 5 ve 7. 11 ve 13. 17 ve 19. Asal sayıların arasında, farkları tam olarak 2 olan çiftler bir gölge gibi birbirini takip eder: ikiz asallar. Matematikçiler 2000 yıldan uzun süredir aynı soruyu soruyor: Bu çiftler sonsuza kadar devam eder mi? Cevap hâlâ bilinmiyor — ve bu, matematiğin en seksi açık problemlerinden biri.
İkiz Asal Nedir?
İkiz asal sayılar, farkları 2 olan asal sayılardır. İlk örnekler:
2 asaldır; fakat (2, 4) çifti ikiz asal değildir çünkü 4 asal değildir. (3, 5) çifti ise tek "çift sayıyı" da içeren tuhaf başlangıçtır — 2, asal komşusuzdur!
Varsayım: Sonsuzlar mı?
İkiz Asal Varsayımi (Twin Prime Conjecture) der ki: sonsuz sayıda ikiz asal çifti vardır. Kanıta çok yaklaşıldı; ama tam kanıt hâlâ yok.
Neden bu kadar zor? Asalların dağılımı istatistiksel olarak öngörülebilir (Asal Sayma Teoremi) olsa da, tek tek asalların konumları karmakarışıktır. Farkı 2 olan iki asalı aynı anda "tutmak", iki iğneyi aynı delikte yakalamaya benzer.
Zhang'ın Fırtınası (2013)
2013'te, on yıllardır akademiden uzak yaşayan Yitang Zhang, matematik dünyasını sarstı: sonsuz sayıda asal çiftin farkının en fazla 70 milyon olduğunu kanıtladı. "70 milyon kulağa büyük geliyor" diyebilirsiniz; ama asıl mesele, sonlu bir sınırın bulunmuş olmasıydı — yani asalların "eşleşmeleri" hiç bitmiyordu.
Zhang'ın kanıtı, Goldston-Pintz-Yıldırım yöntemini ustalıkla geliştirerek elde edildi. Sonrasında Polymath projesi ve James Maynard'ın katkılarıyla sınır önce 246'ya indirildi. Bugün hedef: 2'ye inmek — yani ikiz asal varsayımını kanıtlamak.
1849'da Polignac, daha geniş bir varsayım ortaya attı: her çift sayı k için, farkı k olan sonsuz asal çifti vardır. k = 2 durumu ikiz asal varsayımıdır; k = 4 durumu "kuzen asallar" (örn. 7-11, 13-17), k = 6 ise "sexy asallar" (öpüşen asallar!) olarak adlandırılır.
Bilinen En Büyük İkiz Asallar
Amatör matematikçiler ve dağıtık hesap projeleri, dev ikiz asallar keşfetmeye devam ediyor. Bilinen en büyük ikiz asal çiftler milyonlarca basamaklıdır ve her yıl yenileri eklenir. Bu keşifler varsayımı kanıtlamaz; ama "sonlu olabilirdi" ihtimalini giderek zayıflatır.
1000'den sonraki ilk 10 ikiz asal çifti hangileri? [Aralık aracımızla](/araclar/aralikta-asal-sayilar/) 1000-1500 aralığını listeleyin, farkı 2 olan komşuları bulun: (1019, 1021), (1031, 1033), (1049, 1051)... Kesin liste sizde!
Sayılar Ne Sık İkiz Oluyor?
İstatistiksel tahmin (Hardy-Littlewood ikiz asal varsayımı formülü), N'e kadar ikiz asal sayısının yaklaşık olarak N / (ln N)² ile orantılı olduğunu söyler. Yani ikiz asallar seyrekleşir; ama tükenmez. 10¹⁵'e kadar yapılan sayımlar, tahminin çizdiği eğriyi neredeyse birebir doğruluyor.
| Aralık | Tahmini ikiz çift sayısı | Sapma |
|---|---|---|
| 10³'e kadar | 35 | gerçek: 35 |
| 10⁶'ya kadar | 8.169 | gerçek: 8.169 |
| 10⁹'a kadar | 3.263.106 | gerçek: 3.263.094 |
Tahminle gerçek arasındaki minik sapmalar, matematikçileri heyecanlandıran türden: formül neredeyse mükemmel; ama "neredeyse", kanıt demek değildir.
Neden Bu Kadar Önemli?
İkiz asal problemi, asalların korelasyonu hakkındadır. Çözümü, Riemann hipotezinden farklı ama onunla akraba bir kapı açar; asalların rastgele görünümlü ama kural tanımlı yapısını anlamamızı sağlar. Ayrıca:
- Kriptografi: Asal seçimi ve ardışık asal davranışları, anahtar üretiminde önemlidir.
- Algoritma tasarımı: Asal arama yöntemleri bu tür problemlerden beslenir.
- Matematiğin kültürü: "Basit görünen ama çözülemeyen" problemler, genç matematikçilerin ilgisini canlı tutar.
Sonuç
İkiz asallar — farkları 2 olan asal çiftler — sonsuza kadar devam ediyor mu? Zhang'ın 2013 atılımı ve sonrasında 246'ya inen sınır, "evet" cevabına her zamankinden çok yaklaştırdı; ama tam kanıt hâlâ bekliyor. Belki de bu kanıtı, bu satırları okuyan biri bulacak.