OpenAI'nin küre paketleme sonucunun arkasındaki güzel matematik

OpenAI küre paketleme için geliştirilmiş Cohn-Elkies sınırı da dahil olmak üzere on açık matematik problemini çözdüklerini duyurdu. Bir lisans öğrencisi olarak Henry Cohn ile küre paketlemeye yönelik hesaplamalı deneyler üzerinde kısa bir süre çalıştım. Küre paketleme, zor açık sorularla ünlüdür (Maryna Viazovska, 8 ve 24. boyutlarda yaptığı çalışmalarla 2022'de Fields Madalyası kazandı) ancak temel sonuçlardan bazılarının ne kadar ulaşılabilir olduğuna şaşırabilirsiniz. Amatör bir matematikçi hem OpenAI'nin son ilerlemesini hem de 2022 Fields Madalyası'na yol açan çalışmayı anlamaya yaklaşabilir. Küre paketleme aynı zamanda görünüşte ilgisiz alanları birbirine bağlayan güzel yapılar da içerir: ayrık geometri, Fourier analizi, doğrusal programlama ve sicim teorisi. Küre paketleme, burada bir Coxeter projeksiyonuyla görselleştirilen E8 kafesi gibi oldukça simetrik yapılara sahiptir. Bunun matematik için bir "37. Hareket" anını temsil edip etmediğine benden daha nitelikli insanlar karar vermeli, ancak bu arada, bu alanın doğasında var olan bazı güzellikleri ve yeni sonuçları takdir etmeye değer.

Hızlı bir başlangıç ​​için okumaya devam edin. Küre paketleme problemi aldatıcı derecede basit bir soru sorar: Üst üste binmeyen eşit boyutlu toplarla doldurabileceğiniz en büyük alan oranı nedir? Bu sorunu incelemek için motivasyonlardan biri hata düzeltme kodlarıdır çünkü en uygun paketleme aynı zamanda en uygun koddur. 2B'de küre paketlemeyi, haddelenmiş hamurdan dairelerin mümkün olduğunca verimli bir şekilde kesilmesi olarak düşünebilirsiniz: 3D'de küre paketleme, bir bakıma marketteki portakalları istiflemeye benzer. Sezgisel seçim olan piramidin optimal olduğu ortaya çıkıyor. Ancak optimalliğin kanıtlanması ancak 1998'de gerçekleşti (çözüm 1611'de Kepler tarafından tahmin edildi). Her boyutta en iyi bilinen küre paketleme yoğunluğunu çizersek ne olur? Sonuç şaşırtıcı derecede pürüzlü: Cohn-Elkies doğrusal programlama sınırına (ten rengi) karşı bilinen en iyi paketleme (kırmızı). Henry Cohn'un Maryna Viazovska'nın kanıtı üzerine yaptığı araştırmadan paketleme yoğunlukları; bu mükemmel ve okumaya değer. Bir noktayı komşularından enterpolasyona tabi tutmanın bariz bir yolu yoktur. 8. boyuttaki cevabı bilmek size 7 veya 9 hakkında neredeyse hiçbir şey söylemez.