Küre Paketleme Problemi: Bir Portakal Sandığı 400 Yıllık Bir Matematik Bilmecesi

Manavın klasik düzeni

Bir manava gidin: portakallar üst üste üçgen sıralı, piramit gibi dizilmiştir. Bu en sıkı diziliş mi?

Üç boyutlu küreler için her küre diğer kürelere değdiğinde maksimum yoğunluk:

$\eta = \frac{\pi}{3\sqrt{2}} \approx 0.7405$

Yani uzayın %74'ünden fazlası küre değil — boş. Kalan %26 boşluk kaçınılmaz.

Bu yoğunluk kıyıma yöntemi (cutting), kapalı altıgen paketleme (HCP) veya yüzey merkezli kübik paketleme (FCC) için aynıdır.

Kepler sanısı (1611)

Alman astronom Johannes Kepler 1611'de Strena Seu de Nive Sexangula (Yeni Yıl Hediyesi: Altıgen Kar Tanesi Üzerine) küçük kitabında bu yoğunluğun mümkün olan en büyük olduğunu sezdi. Kepler sanısı.

Kanıtı yoktu — sadece sezgisel argüman. 400 yıl boyunca açık kaldı.

Hales'in kanıtı (1998-2014)

Thomas Hales (Pittsburgh Üniversitesi) 1998'de muhteşem bir kanıt sundu. Yaklaşık 300 sayfalık makale, 100,000 satır bilgisayar kodu, devasa karekök hesapları.

Ana fikir: tüm olası "küre konfigürasyonlarını" sonlu sayıda kombinatoryal tipe indir; her tip için lineer programlama ile yoğunluk üst sınırını hesapla; tüm üst sınırlar Kepler'in $\pi/(3\sqrt 2)$'sinden küçük çıksın.

Kanıtın doğrulanması zordu. Annals of Mathematics dergisinde 4 yıllık eleştirmen heyeti ancak %99 emin olabildi. 2014'te Hales Flyspeck projesi ile kanıtın tam bilgisayar tarafından doğrulanmış (formal proof) versiyonunu yayımladı. Bu versiyon Coq ve Isabelle ispatlayıcılarda yer aldı.

Bugün Kepler sanısı kapatılmış sayılır.

Boyutsal farklılıklar

Küre paketleme problemi her boyutta sorulur. Optimum yoğunluklar:

$d$	Optimum yoğunluk	Optimum kafes
1	1	$\mathbb{Z}$
2	$\pi/\sqrt{12} \approx 0.9069$	Altıgen ($A_2$)
3	$\pi/\sqrt{18} \approx 0.7405$	FCC (Kepler)
4-7	bilinmiyor (sayısal tahminler var)	?
8	$\pi^4/384 \approx 0.2537$	$E_8$ kafesi (Viazovska 2016)
9-23	bilinmiyor	?
24	$\pi^{12}/12! \approx 0.00193$	Leech kafesi (Cohn-Kumar-Miller-Radchenko-Viazovska 2016)
25+	bilinmiyor	?

8 ve 24 dışında her boyut için sadece tahminler var.

Neden 8 ve 24 özel?

$E_8$ kafesi: istisnai Lie cebri $E_8$'in kök sisteminden gelen 8-boyutlu kafes. Çok simetrik; 240 en yakın komşu.

Leech kafesi (1965, John Leech): 24-boyutlu, Mathieu grubu $M_{24}$ ile bağlı. 196560 en yakın komşu. Hatasız hesabı içeren, fizikte ve kodlama teorisinde son derece önemli.

Bu iki kafesin özel cebrik yapısı, paketleme yoğunluğu sınırlarının kesinkes ulaşılabilir olduğunu söylüyordu (1970'lerden beri bilinen).

Ama kanıt — gelmedi.

Viazovska'nın 2016 sıçraması

Maryna Viazovska Ukraynalı matematikçi (1984-). Berlin Humboldt Üniversitesi'nde doktora. 2016'da iki tarihi makale yayımladı:

1. Mart 2016: The sphere packing problem in dimension 8. $E_8$ kafesi optimum.
2. Eylül 2016: The sphere packing problem in dimension 24 (Cohn, Kumar, Miller, Radchenko ile birlikte). Leech kafesi optimum.

Kanıt zarafeti şok edici:

Viazovska bir "sihirli fonksiyon" inşa etti. Bu fonksiyon, modüler formlar + Fourier dönüşümü ile dizayn edildi; çok belirli koşulları sağlıyor (belirli noktalarda sıfır, belirli noktalarda pozitif). Bu fonksiyon Cohn-Elkies'in 2003'teki çerçevesinde verilen "linear programming sınırı"nı $E_8$ kafesi için tam tamına yerine koyuyor.

Makalenin bir sayfada ana fikri ve birkaç sayfa kanıt. Sade, zarif, beklenmedik.

Viazovska — Fields 2022

2022'de Maryna Viazovska Fields Madalyası aldı. Yaşı 37. Fields kazanan ikinci kadın (Maryam Mirzakhani 2014'ten sonra). Ukrayna kökenli ilk Fields kazananı. Ukrayna-Rusya savaşı sırasında ödülü almak özel anlam taşıdı.

Pratik etkisi

1. Hata düzeltici kodlar: Leech kafesi, yüksek boyutlu hata düzeltici kodların temeli (Golay kodu, vb.). CD/DVD, derin uzay iletişimleri.
2. Kuantum hesaplama: kuantum hata düzeltme kodları.
3. Kristal yapı: atomik paketleme analizleri.
4. Optimizasyon: lineer programlama tekniklerinde Cohn-Elkies çerçevesi.
5. String teorisi: $E_8 \times E_8$ heterotic string teorisi $E_8$ kafesinin matematiksel yapısına dayanır.

Diğer boyutlar — çözüm uzakta mı?

4-7 ve 9-23 boyutlar hâlâ açık. Sayısal tahminler var ama kesin değil. Çoğu uzman 5+ boyutlarda çok daha karmaşık optimum yapıların bulunabileceğini düşünür.

Viazovska tekniği belki başka boyutlara genişler — aktif araştırma alanı.

Sonuç

Küre paketleme problemi, basit bir sorunun matematik tarihindeki en uzun yolu:

• Kepler (1611): sezgi.
• Hales (1998): bilgisayar destekli kanıt 3D için.
• Viazovska (2016): 8 ve 24 boyut zarif çözüm.
• 4-7, 9-23 boyutlar: açık.

Matematiğin somut soru (portakal) ile soyut yapı ($E_8$, Leech) arasındaki dans. Kâinatın diziliş kuralları hakkında bilmediğimiz şeyler hâlâ var.