Üç boyutlu uzayı periyotsuz kaplayan ilk tekil karo bulundu
Öne çıkanlar
- Chair44, 24 adet piramit çıkıntı taşıyan yedi küplü bir bloktan oluşuyor.
- Elde edilen döşemeler hiçbir öteleme periyodu barındırmıyor ve homokiral kalıyor.
- Geometrik kanıt ve sonlu sayımlar Lean 4 yazılımıyla bağımsız olarak doğrulandı.
Matematikçiler, 16 Eylül 2026 tarihinde yayımladıkları çalışmayla üç boyutlu uzayı yalnızca kendi kopyalarıyla ve hiçbir öteleme simetrisi oluşturmadan kaplayabilen ilk güçlü aperiodik tekil karoyu keşfetti. Chair44 (R44) adı verilen bu şekil, Socolar ve Taylor'ın daha önce ortaya koyduğu ve yalnızca geometri yoluyla periyotsuzluğu zorunlu kılan tek bir üç boyutlu karo arayışına çözüm getirdi. Önceki modeller vida hareketi veya belirli eksenlerde periyodik istifleme içerirken, bu yeni çokyüzlü yapıda periyodik yönelimlerin tamamı engellendi.
Chair44 gövdesi, 24 adet birim yüzeyinde küçük kare piramit çıkıntılar taşıyan yedi küplü bir sandalye formundan oluşuyor. Bu çıkıntılar karoların yalnızca belirli konfigürasyonlarda birbirine kilitlenmesini sağlayarak üç boyutlu uzayın rastgele dizilimlerle kaplanmasını imkansız kılıyor. Karoların oluşturduğu tüm döşemeler homokiral nitelik taşıyor, en fazla 24 dereceli bir simetri grubu barındırıyor ve sonsuz bir iç içe geçmiş üst karo hiyerarşisi sergiliyor.
Araştırmacılar geometrik ispat adımlarını bilgisayar destekli sonlu sayımlarla birleştirdi ve doğrulama süreçlerini Lean 4 teorem kanıtlama yazılımıyla yürüttü. Şeklin temas kuralları ve sonlu kapı testleri iki bağımsız yazılım uygulamasıyla tekrarlandı ve Lean 4 çekirdeğinde başarıyla doğrulandı. Çalışma, diskret geometri ve teorik fizikteki aperiodik kristal yapıların modellenmesinde matematiksel bir dönüm noktası olarak değerlendiriliyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.