Tek Bir Topun Bile Evrensel Hesaplama Yapabileceği Kanıtlandı: Bilimsel Çalışma Yayınlandı

İspanya’daki Katalonya Politeknik Üniversitesi’nden Eva Miranda ve İsviçre’nin Zürih’teki ETH kurumu’ndan Isaac Ramos, tek bir topun özel biçimli bir masada zıplamasının herhangi bir hesaplamayı gerçekleştirebileceğini gösteren teorik bir çalışma yayımladı. Araştırmacılar, yalnızca geometri ve hareket eden tek bir parçacık kullanarak evrensel Turing makinesini – yani başka tüm Turing makinelerini taklit edebilen modeli – yeniden üretmeyi başardı.

Bu bulgular, fizik sistemlerinin kendi başlarına nasıl “düşünebileceğine” dair sınırları sorgulayan bir çalışma olarak, 26 Şubat’ta ABD’nin Washington eyaletinde basılan Ulusal Bilimler Akademisi Dergisi’nde (PNAS) yer aldı. Çalışmanın temel sorusu şuydu: Bir fizik sisteminin evrensel hesaplama yapabilmesi için gereken en küçük geometrik mekanizma nedir ve bunu nasıl tespit edebiliriz?

Sadece Geometri, Sadece Bir Top

Miranda’ya göre bu çalışma, bir mekaniği bilgisayar olarak işlev görebilecek biçime indirgemek için yıllardır süren emeğin sonucudur. “Bir fizik sisteminin evrensel hesaplama yapabilmesini sağlayan en küçük geometrik mekanizma nedir ve bunu nasıl algılayabiliriz?” diye soran araştırmacı, bilya oyununu bu basitleştirme sürecinin en zorlu test olarak nitelendirdi. “Tek bir parçacık söz konusu. Tüm program, sınırın geometrisine kazınmış durumda,” ifadelerini kullandı.

Bu bağlamda Turing makinesi, geleneksel anlamda bir makine değil; İngiliz matematikçi Alan Turing’in 1936 yılında geliştirdiği hesaplamanın matematiksel bir modelidir. En basit haliyle, semboller yazılıp okunabilecek hayali bir şeridi, bu şeride dokunabilen bir başlığı ve bir sonraki adımı belirleyen talimat kümesini içerir. Her tekil işlem son derece basittir: bir sembolu oku, bir sembolü yaz, şerit boyunca ilerle, tekrarla.

Eski modellerde hesaplama ile ilişkilendirilen bilya oyunları daha önce de var olsa da, bu çalışmalar birden fazla etkileşen top, üç boyutlu yapılar ya da hareketli duvarlar gibi ek karmaşıklığa ihtiyaç duyuyordu. Miranda ve Ramos ise tüm bunları ortadan kaldırdı. Sistemleri yalnızca iki boyutta sabit duvarlar arasında hareket eden tek bir parçacık gerektiriyor.

Bilya ile hesaplanan bir masa bir bilgisayara benzemez. Çoğu zaman kötü çizilmiş bir labirent gibi görünüyor; köşeler ve rastgele duran yaylar doludur. Program duvarların biçimidir. Algoritma ise kelimelerin kendisiyle değil, gerçek anlamıyla topun izidir.

Eva Miranda

Durdurma Sorunu: Hesaplamanın Temel Sınırları

Bu yaklaşım yalnızca işe yarar kısımların aktarılmasıyla da sınırlı değildir; bilya aynı zamanda kendi kısıtlamalarını da miras alır. Araştırmacıların yeniden ürettiği bu temel sınır, “durdurma sorunu” olarak bilinen bir bulmacadır.

Diyelim ki bir bilgisayara, bir programın zamanla sonlanıp sonlanmayacağını ya da sonsuza kadar çalışıp çalışmayacağını belirlemesi isteniyor. Her tekil durumda bu kesinlikle mümkündür – işletim sisteminizin güncellemelerinin tamamlanması veya bir dosya dönüştürme işleminin bitmesi gibi durumlarda öyledir. Ancak Turing, her mümkün program ve giriş için bu soruya güvenilir biçimde yanıt verebilecek tek bir algoritmanın olamayacağını kanıtladı.

Bu temel sınırlamayı fizik sistemlerinde yeniden üretmek önceki çalışmalarla gösterilmişti; Miranda ve Ramos ise bunun tek bir topun hareketinde de mümkün olduğunu ortaya koydu. Araştırmacılar, hesaplamanın durdurma durumuna ulaşmasını topun 90 derece açıyla bir duvara çarpıp geldiğiyle eşleştirdi. Bu çarpışma, topu izlediği yolu geriye doğru tekrar sefere çıkarmak için yeterli oluyor.

Kaos hassasiyetin bir bariyeri koyar; karar verilemezlik ise mantıksal bir bariyer koyar. Denklemleri ve başlangıç verilerini tam olarak bilelim diye, bir izin belirli bir bölgeye gireceğini belirleyecek hiçbir algoritma olmayabilir.

Eva Miranda

Miranda’ya göre bu durum her tekil izin gizemli olduğu anlamına gelmiyor. Birçok somut durumda bir yanıt elde edilebiliyor. Gerçekten imkânsız olan, her durumu çözen evrensel bir yöntemdir.

Silikon Yerine Bilya Neden Kullanılmayacak?

Bu yaklaşımın pratikte silikonyum tabanlı teknolojiyi yer değiştirmesi beklenmiyor. Yapı, fiziksel bir masada sonsuz hassasiyetle yeniden üretilemeyecek şekilde giderek ince ölçeklerde kodlanmış bilgiye dayanan idealize edilmiş matematiksel bir yapı üzerine kuruludur.

Bu tür bilya oyunlarının yalnızca matematiksel meraklar değil, aynı zamanda fizikçiler için yararlı teorik yapılar olduğu da vurgulanıyor. Bir gazda çarpışan parçacıklardan keskin sınırlayıcı kuvvetlerle yönetilen sistemlere kadar daha karmaşık fizik sistemlerinin yerini tutabilecek olan bu basit hareketler, klasik mekaniğin bir iskeleti olarak tanımlanabiliyor.

Bu iskeletin hatta gökyüzü mekaniğinde ortaya çıkabileceğini söyleyebiliriz; özellikle de yerçekimsel bedenlerin yakın karşılaşmalarını, ünlü ve zorlu üçlü problem varyantlarını da içeren matematiksel açıklamalarda.

Eva Miranda

Bu durum, Miranda ve Ramos’un kendisi üçlü problem olarak bilinen zorlu durdurma sorununun çözülemeyeceğini gösterdiğini değil; daha gerçekçi yerçekimsel sistemlerde aynı hesaplama sınırlamalarının ortaya çıkıp çıkmayacağı sorusunu gündeme getiriyor. Yerçekiminin hesaplamayı başarması için kaç gezegen gerektiği, karar verilemezliğin belirginleşmesi için kaç taneye ihtiyaç olduğu tamamen açık bir soru olarak kalıyor.

Miranda bu konuda da şaşkınlıkla sorular yöneltiyor: “Yerçekimi hesaplamayı başarmak için kaç gezegen gerekir? Karar verilemezlik ortaya çıkmak için kaç tane yeterli? Belki üç, belki beş, belki çok daha fazlası. Bu tamamen açık bir soru.”