Fizik sistemlerinin en basitlerinden birini düşünün: bir bilardo masası. Bir topu masada hareket ettirdiğinizde, izlediği yol basit bir kurala uyar: Düz bir çizgide ilerler, duvara çarptığında ise geldiği açıyla aynı açıda seker.
Ancak, teorik olarak en karmaşık bilgisayarların yapabileceği hemen hemen her hesaplamayı, bu kadar basit bir sistem bile gerçekleştirebilir.
Matematikçiler Eva Miranda ve Isaac Ramos'un çalışmaları gösteriyor ki, özel olarak şekillendirilmiş iki boyutlu bir bilardo masasında zıplayan tek bir top, evrensel bir Turing makinesini - yani başka herhangi bir Turing makinesini simüle edebilen bir makineyi - taklit edebilir.
Miranda, bu keşfin, mekanik bir sistemi çalışması için gereken minimum parça sayısına indirgeme yönündeki yıllarca süren çalışmalarının bir doruk noktası olduğunu belirtiyor.
Miranda, "Bir fiziksel sistemin evrensel hesaplama yapmasını sağlayan minimum geometrik mekanizma nedir ve bunu nasıl tespit edebiliriz?" sorusunu sorduğunu aktarıyor. "Bilardo masası, bu basitleştirme sürecinin en zorlu testidir. Tek bir parçacık. Tüm program, sınırın geometrisine kazınmış durumda."
Turing makinesi, geleneksel anlamda bir makineden ziyade, 1936'da İngiliz matematikçi Alan Turing tarafından geliştirilen soyut bir hesaplama modelidir. En basit haliyle, hücrelere bölünmüş hayali bir bant, bu banttaki sembolleri okuyup yazabilen bir okuyucu-yazıcı kafa ve ne yapacağını belirten bir dizi talimattan oluşur. Her bir işlem son derece basittir: bir sembolü oku, bir sembolü yaz, bant üzerinde ilerle ve tekrarla. Evrensel bir Turing makinesi ise bu adımı bir ileriye taşır: Herhangi bir Turing makinesini simüle edebilir, bu da prensipte bir algoritma olarak ifade edilebilen herhangi bir hesaplamayı gerçekleştirebileceği anlamına gelir.
Miranda ve Ramos, geometriden ve zıplayan bir toptan başka hiçbir şey kullanmadan Turing makinesinin işlevini yeniden üretmenin bir yolunu buldular. Araştırmacıların sisteminde, topun konumu bilgiyi kodlayabilirken, duvarların özenle tasarlanmış şekli bu bilginin ne olacağını belirler. Top bilardonun bir bölümünden diğerine hareket ettikçe, yörüngesi hesaplamayı ilerletir, tıpkı bir Turing makinesinin talimatlarını adım adım işlediği gibi.
Daha önceki modellerde ek karmaşıklıklar, örneğin birden fazla etkileşimli top, üç boyutlu yapılar veya hareketli duvarlar gerekiyordu. Miranda ve Ramos ise tüm bunları ortadan kaldırdı. Sistemleri, iki boyutta sabit duvarlar arasında hareket eden sadece tek bir parçacık gerektiriyor.
Miranda, "Hesaplama yapan bir bilardo masası bir bilgisayara benzemez. Köşeler ve yaylarla dolu, rastgele çizilmiş bir labirente benzer," diye ekliyor. "Program duvarların şeklidir. Algoritma ise kelimenin tam anlamıyla yörüngedir."
Ancak bir bilardo masasını evrensel bir bilgisayara dönüştürmek mümkün olsa da, aktarılanlar sadece işe yarayan kısımlar değil. Bilardo masası aynı zamanda sınırlılıkları da miras alır. Bunlardan biri, durma problemi olarak bilinen bir muammadır. Bir bilgisayarın bir programın sonunda çalışıp çalışmayacağını veya sonsuza kadar mı çalışacağını belirlemeye çalıştığını düşünün. Bu, her vaka bazında yapılabilir, ancak Turing, hiçbir tek algoritmanın her olası program ve girdi için bu soruyu güvenilir bir şekilde yanıtlayamayacağını kanıtlamıştır. Miranda ve Ramos'un bilardo masası, bu temel sınırlamanın tek bir topun hareketiyle yeniden üretilebileceğini gösteriyor.
Araştırmacılar, hesaplamanın durma durumuna ulaşmasının, topun duvara 90 derecelik bir açıyla çarpması ve geldiği yolu geri izlemesiyle aynı olduğunu belirterek bunu gösterdiler. Eğer hesaplama hiç durmazsa, topun yörüngesi asla tekrarlanmaz. Ancak bir algoritma sonunda tekrarlanıp tekrarlanmayacağını belirleyebilirse, Turing'in gösterdiği gibi imkansız olan durma problemini çözebilir.
Miranda, "Kaos hassasiyet için bir engel oluşturur; kararsızlık mantıksal bir engel oluşturur," diyor. "Denklemleri ve başlangıç verilerini tam olarak bilsek bile, bir yörüngenin belirli bir bölgeye girip girmeyeceğini belirleyen bir algoritma olmayabilir. Bu, her bireysel yörüngenin gizemli olduğu anlamına gelmez. Birçok somut durumda bir cevap alacağız. İmkansız olan, her durumu çözen evrensel bir yöntemdir."
Silikonun yerine bilardo toplarının kullanılmamasının iyi nedenleri var. Bu inşaat, idealize edilmiş matematiksel bir yaklaşımdır ve fiziksel bir masada sınırsız hassasiyetle yeniden üretilemeyecek, giderek incelenen ölçeklerde kodlanmış bilgiye dayanır. Ancak bu türden bilardolar sadece matematiksel merak konusu değildir. Bu teorik yapılar, bir gazdaki parçacıkların çarpışmasından, dik sınırlayıcı kuvvetlerle yönetilen sistemlere kadar daha karmaşık fiziksel sistemleri temsil edebildiği için fizikçilere fayda sağlar.
Miranda, "Klasik mekaniğin bir tür iskeleti olduklarını söyleyebiliriz," ifadesini kullanıyor. Bu iskelet, özellikle yerçekimsel cisimler arasındaki yakın karşılaşmaların matematiksel açıklamalarında, hatta meşhur derecede zorlu üç cisim probleminin varyantlarında bile ortaya çıkabilir. Bu, Miranda ve Ramos'un üç cisim probleminin kendisinin kararsız olduğunu gösterdiği anlamına gelmez. Aksine, çalışmaları, aynı hesaplama sınırlamalarının daha gerçekçi yerçekimsel sistemlerde ortaya çıkıp çıkamayacağı sorusunu gündeme getiriyor; kararsızlığı tahmin için başka bir temel engel olarak kaosa ekliyor.
Miranda, "Yerçekiminin hesaplama yapması için kaç gezegen gerekir? Kararsızlığın ortaya çıkması için kaç tane gerekir? Belki üç, belki beş, belki daha fazla. Bu tamamen açık bir soru." diye ekliyor.
