arXiv ön baskısı, yedi küpten oluşan Chair44 katı cisminin 3B mekânı yalnızca periyodik olmayan biçimde döşediğini iddia ediyor

Üç boyutta güçlü bir periyodik olmayan monotaş

arXiv'e yüklenen bir ön baskı, döşeme kuramında Socolar ve Taylor tarafından ortaya atılan bir soruyu yanıtladığını iddia ediyor: yalnızca biçimiyle periyodik olmamayı zorunlu kılan, tek parçalı ve basit bağlantılı bir üç boyutlu prototaş var mı? Ioannis Tsiokos tarafından kaleme alınan ve 16 Eylül 2026'da arXiv:2609.19214 numarasıyla gönderilen makale, Chair44 (R44) adını verdiği bir katı cisim sunuyor ve bu cismin eş kütlelerinin her mekân döşemesinin periyodik olmadığını savunuyor. Çalışma, Ekim 2026 ortasında Hacker News ana sayfasına ulaşmasıyla geniş ilgi gördü.

Özete göre daha önceki üç boyutlu adaylar bu gereksinimi karşılamıyor. Schmitt-Conway-Danzer biprizması vida hareketlerine izin veriyor, üç boyutlu Socolar-Taylor taşı ise periyodik bir istifleme yönüne sahip; her ikisi de bu nedenle yalnızca zayıf biçimde periyodik dışı sayılıyor ve istenen periyodik dışı davranışı atlatan döşemelere kapı aralıyorum.

Taşın kendisi

Chair44 rasyonel bir çokyüzlü 3-küredir: topolojik olarak katı bir küre olup koltuk düzeninde yerleştirilmiş yedi birim küpten oluşur ve 24 açıkta kalan birim kare yüzeyinin her birinde küçük, kare tabanlı bir piramit taşır. Bu özellikler, komşu kopyaların nasıl bir araya gelebileceğini kısıtlayan bir temas kuralı işlevi görür.

İddia edilen özellikler güçlüdür. Özete göre taş, eş kopyalarla (yansımalar da serbest) üç boyutlu mekânı döşeyebiliyor. Ancak her böyle döşeme öteleme periyodu içermiyor ve herhangi bir döşemenin simetri grubunun mertebesi en fazla 24; yani en simetrik döşeme bile yalnızca sonlu simetriye sahip. Her döşeme homokiral; ayna kopyalarına izin verilse bile tüm kopyalar aynı ellilikte. Ayrıca her döşeme, her kaba düzeyin aynı kurala uyduğu, kendine benzer bir yapı olan iç içe geçmiş süper taşların benzersiz bir sonsuz hiyerarşisini taşıyor.

İspat nasıl işliyor

Argümanın iki bileşeni var. İlki, piramit özelliklerinin her döşemeyi kayıtlı bir örgüye (lattice) zorladığına dair yazılı bir geometrik kanıt. İkincisi, kilit noktası makineyle kontrol edilen tek bir sonlu test olan kapsamlı sonlu sayımlar bütünüdür: taşın temas kuralının kaba ölçeğe geçişte korunduğu, yani çözümlenen üst döşemenin taşın kuralına ve başka hiçbir kurala uymadığı. Bu kaba ölçeğe geçiş adımı, argümanı süper taşlar hiyerarşisi boyunca yukarı taşıyan şeydir.

Doğrulama öyküsü alışılmadık ölçüde titiz. Özet, eşlik eden sayımın iki bağımsız uygulama tarafından yeniden çalıştırıldığını ve her sonlu kapının Lean 4'te çekirdek tarafından doğrulandığını, her native_decide teoremi için adı belirtilen bir derleyici kancası dışarıda bırakılarak bildiriyor. Yazılı geometrik lemalar ve mantıksal kurulum da Lean teoremleri olarak biçimselleştirilmiş; dolayısıyla ana sonuç, söz konusu adı geçen kancalara bağlı olarak çekirdek düzeyinde doğrulanmış durumda, düz metin ispatlar ise açıklayıcı olarak korunmuş.

Bu 'dışarıda bırakma' koşulu önemli. native_decide türü denetimler işi Lean'ın güvenilir çekirdeğine değil derlenmiş koda devreder; dolayısıyla güvence, adı geçen derleyici kancalarının sağlam olmasına dayanır. Özet bunu, koşulsuz çekirdek doğrulaması iddia etmek yerine açıkça belirtiyor.

Dikkate değer uyarılar

Bu bir ön baskı; kendini bir ispat gönderimi olarak tanımlıyor ve hakem değerlendirmesinden geçmedi. Özet ayrıca taşın tasarımını, makalenin 3.3. bölümünde ele alınan ve özette açıklanmayan Six Birds ortaya çıkış hesabı adı verilen bir bakış açısıyla periyodik dışı monotaş olgusunun okunmasına bağlıyor. Sonlu sayımların ve Lean artefaktlarının topluluk incelemesine —sayımın bağımsız yeniden çalıştırılması ve derleyici kancalarının gözden geçirilmesi dâhil— dayanması, Socolar-Taylor sorusunun gerçekten çözülüp çözülmediğini belirleyecek.

Neden önemli

İddia incelemeyi geçerse, üç boyutlu ilk güçlü periyodik dışı monotaşı sağlamış olur: her döşemesi periyodik olmayan, periyodik istifleme yönü gibi zayıf bir kaçış kapısı bulunmayan tek bir basit bağlantılı prototaş. Bu, daha önceki 3B yapılar periyodik dışılığın yaklaşılabilir ama hiçbir zaman zorlanabilir olmadığını gösterdiğinden beri alanın etrafında döndüğü bir soruyu kapatır. Döşeme kuramının ötesinde makale, matematiği giderek standart hâle gelen bir ispat örüntüsünün örnek olayı: insan geometri argümanı, kapsamlı makine sayımı ve biçimsel çekirdek doğrulamasının birbirine dikilmesi; her bileşenin güven sınırı açıkça belirtilmiş durumda.