Kendi İçinden Geçemeyen İlk Şekil Keşfedildi

• Matematikçiler ilk kez kendi içinden geçemeyen 3 boyutlu bir şekil keşfetti; bu buluş, mevcut geometrik sezgileri sarsıyor
• Çoğu çokyüzlü, Rupert geçidi (Rupert passage) denilen belirli bir döndürme ve öteleme kombinasyonuyla kendi kopyasını içinden geçirebilir; ancak bu yeni şeklin bunun hiçbir yönde mümkün olmadığı doğrulandı
• Araştırmacılar yüz milyonlarca çokyüzlüyü algoritmik olarak üretip doğruladı; neredeyse tüm durumlarda bir geçit buldular, ancak çok az sayıda istisna vardı
• İki matematikçi, bir YouTube videosundan ilham alarak kendi algoritmalarını geliştirdi; 2021 tarihli makalelerinde belirli bir çokyüzlünün geçişe izin vermeyebileceğini öne sürmüşlerdi ve bu araştırma o olasılığı güçlendirdi
• Bu keşif, geometrik simetri ve uzay arama algoritmaları araştırmalarına yeni bir yön gösterirken, matematiksel şekillerin temel sınırlarını ortaya koyan bir örnek olarak değerlendiriliyor

---

Nopert şeklinin nadirliği ve arama süreci

• Araştırmacılar, Nopert'in (kendi içinden geçemeyen şekil) adaylarının son derece nadir olduğunu doğruladı
  • Murphy, 2023'ten itibaren yüz milyonlarca çokyüzlü üreterek deneyler yaptı
  • Buna rastgele çokyüzlüler, küre üzerindeki köşe dizilimleri, simetrik yapıya sahip çokyüzlüler ve bazı köşeleri bilinçli olarak değiştirilmiş şekiller dahildi
• Onun algoritması, neredeyse tüm şekillerde Rupert geçidini kolayca buldu; ancak bazı şekillerde sonunda bir geçit bulunamadı
  • Bu sıra dışı şekillerin gerçekten Nopert olup olmadığı ya da sadece geçidin bulunmasının zor olduğu durumlar mı olduğu henüz belirsiz
• Bu sonuçlar, matematikçiler arasında gerçek bir Nopert'in var olabileceğine güçlü biçimde işaret etti
  • Ancak 2024 Ağustos'undan önce buna dair kesin bir kanıt yoktu

“No Passage” — geçidi olmayan şeklin keşfi

• Steininger (30) ve Yurkevich (29), matematik olimpiyatlarından arkadaş olan ve birlikte çalışan iki araştırma ortağı; akademiden ayrıldıktan sonra da çözülmemiş problemleri birlikte incelemeyi sürdürdüler
  • Röportajdaki “3 saat önce pizza yerken bile neredeyse sadece matematikten konuşuyorduk” sözleri, tutkularını yansıtıyor
• Beş yıl önce ikili, bir küpün başka bir küpün içinden geçtiği bir YouTube videosunu izledikten sonra Rupert problemine ilgi duymaya başladı
  • Ardından kendi Rupert geçidi arama algoritmalarını geliştirerek bazı şekillerin geçişe izin vermediğine ikna oldular
• 2021 tarihli makalelerinde, rhombicosidodecahedron'un (rombikozidodekahedron) bir Rupert şekli olmayabileceğini öne sürdüler
  • Bu, Murphy ve Grimmer'ın yakın tarihli çalışmasından önce ortaya atılmış ilk “geçirilemeyen katı” hipotezi olarak değerlendiriliyor
• Steininger, “Böyle bir özelliğe sahip olmayan bir katının var olabileceğini ilk kez bizim çalışmamız öne sürdü” dedi

Nopert kanıtının matematiksel koşulları

• Bir şeklin Nopert olduğunu kanıtlamak için, mümkün olan tüm yönelim ve dönme kombinasyonlarında Rupert geçidinin bulunmadığını göstermek gerekir
  • Her yönelim, bir dönme açısı kümesiyle ifade edilebilir
  • Bu açı kümeleri, yüksek boyutlu bir parametre uzayında (parameter space) bir nokta olarak temsil edilebilir
• Dolayısıyla ispat süreci, tüm parametre uzayını tarayarak geçidin yokluğunu doğrulama problemine dönüşür
  • Bu, hesaplama açısından son derece karmaşıktır ve tam bir ispat için sonsuz sayıda yönelim kombinasyonunun dikkate alınması gerekir
• Bugüne kadarki sonuçlar, bilgisayar destekli aramayla doğrulanabilen sonlu durumların incelenmesine dayanıyor; tam matematiksel ispat ise hâlâ sürüyor

[GN⁺]

Hacker News görüşü

• Tüm durumları test edemeyeceğiniz için birini seçip onun çevresindeki çok sayıda olasılığı elemek ilginç geliyor
  Kısa süre önce Rupert/Nopert konusu hakkında harika bir video izledim; bu araştırmayla zamanlamasının çakışması eğlenceli bir tesadüf gibi geldi
  • Aslında o kadar da tesadüf değil. Makalede tom7'den de bahsediliyor ve videosunun son kısmında bu makaleye doğrudan değiniyor. Yani tom7 de aynı problemi kanıtlamaya çalışıyormuş
• Başlık biraz yanıltıcı. Özellikle küre (sphere) gibi başka şekillerin bunu yapamadığı zaten uzun zamandır biliniyordu; buradaki yenilik, bunun kendi içinden geçemeyen ilk çokyüzlü (polyhedron) olması
  • Daha doğrusu dışbükey (convex) çokyüzlü kastediliyor. Yine de başlığa yönelik eleştiri yerinde
  • Küre, bir çokyüzlüyle yaklaşık olarak temsil edilebilir. Genel olarak böyle çokyüzlülerin Rupert özelliğine sahip olacağını düşünürdüm, ama bu Nopert'in farkı, üst ve alt düzlemlere yakın köşelerinin dikey eksene göre daha sığ açılara sahip olması.
    Acaba T şeklindeki bir tetromino kendi içinden geçirilebilir mi diye düşündürüyor
  • Uzman olmayan biri açısından, başlığın “eğrileri olmayan ilk şekil bulundu” gibi yazılması daha açık olabilirdi
  • Kürenin neden kendi içinden geçemediğini merak ediyorum. Gölge olarak izdüşürüldüğünde çapıyla aynı büyüklüğü alıyor, o yüzden mümkün gibi görünüyor
• İki tane düz yüzü olduğu için D&D zarı olarak kullanılamaz. Ben hâlâ rhombicosidodecahedron tarafındayım
• Makaledeki ayrıntı düzeyi hoşuma gitti. Matematiksel detaylarda boğulmadan, araştırmanın ne yaptığını gerçekten anlayabilecek kadar yeterliydi
• Ben Prince Rupert'ı sadece adını taşıyan “Prince Rupert’s drops” ile biliyordum, ama meğer pek çok alanda etkin biriymiş
  İlgili bilgiler Vikipedi'de görülebilir
• Böyle bir özellik için hâlâ “anisotransient” gibi bir terimin olmamasına inanamıyorum
• Bir tane bulmak bile bu kadar zorsa, bir sonraki sonuç muhtemelen “hemen hemen tüm dışbükey çokyüzlüler kendi içinden geçemez” olacaktır
• Bunun ille de düz bir hat boyunca geçmesi mi gerekiyor? Dönerken geçmesi de hayal edilebilir. Blok bulmacalarda ya da bir kanepeyi köşeden döndürme durumunda olduğu gibi
  Makale bunu düz geçişle sınırlandırıyor ve analizlerin çoğu da gölge izdüşümü tekniğini kullandığı için ölçüt düz geçiş. Ama başlangıçtaki bahis koşulu yalnızca “bir kopyasını içinden geçirmek” olduğu için, dönmenin de izin verilebilir bir yaklaşım olabileceğini düşünüyorum
  • Ama bu problem dışbükey çokyüzlülerle sınırlı olduğundan, dönmenin yardımcı olacağını sanmıyorum
• İnsanlar neden buna zaman harcıyor diye merak ediyorum. Sadece merak mı, yoksa sonunda pratik bir değeri mi oluyor bilmiyorum. Sanata daha yakın gibi hissettiriyor
  • Problemin kendisi pratik olmayabilir, ama onu çözmek için geliştirilen teknikler başka alanlarda uygulanabilir.
    Ayrıca sırf saf merakla araştırma yapmak da başlı başına değerlidir
  • Örneğin on yıllar boyunca matris dönüşümleri ve yüzey normalleri gibi soyut matematik çalışıldı, sonra 1980'lerde bilgisayar grafikleri içinde temel teknikler hâline geldiler
  • Bu tür araştırmalar bazen cırt cırt veya kendinden kilitlenen mekanizmalar gibi pratik icatlara da yol açabiliyor. Biri bağlantıyı kurarsa dünyayı yavaş yavaş değiştirebilir
• Sıradan biri olarak bakınca, Nopert adayları giderek küreye daha çok benzeyen şekiller gibi görünüyor. Kürenin Rupert tüneline sahip olamayacağını biliyoruz sonuçta
  • Evet. Yüz sayısı arttıkça görsel olarak küreye daha çok benziyor. Ama kürenin non-Rupert olması zaten apaçık; daha ilginç soru, dışbükey bir çokyüzlünün non-Rupert olup olamayacağı
  • Yüz eklemeye devam ettikçe geçişin ne zamana kadar mümkün olduğunu merak ediyorum. Sonsuza kadar mümkün olabilir ya da arada Nopert'ler ortaya çıkabilir. Ya da giderek daha fazla Nopert oluşur ve bulmak zorlaşır. Bunu kendim deneyip görmek isterdim
  • Ama önemli olan, onların küreden farklı olmaları