Pólya Rastgele Yürüyüş Teoremi: Sarhoş Eve Döner, Sarhoş Kuş Kaybolur

Basit bir oyun

Bir doğru üzerinde duruyorsunuz. Her saniyede yazı/tura atıp bir adım sağa veya sola gidiyorsunuz. Eşit olasılık. Sorular:

• Başlangıç noktasına geri döner misiniz?
• Sonsuz uzaklara gider misiniz?

1 boyutta cevap: kesinlikle (olasılık 1) dönersiniz. Yine de ortalama dönüş süresi sonsuzdur — yani döneceğiniz garantili ama beklemeniz çok uzun olabilir.

2 boyutta (düzlemde, kuzey-güney-doğu-batı seçimleri): yine olasılık 1. Dönersiniz.

3 boyutta (uzayda, altı yön): olasılık 0.34 (yaklaşık). %66 ihtimalle bir daha asla evinize dönmezsiniz.

Bu olağanüstü sonuç George Pólya'nın 1921'de kanıtladığı teorem.

Pólya teoremi

Resmi ifade: $\mathbb{Z}^d$ tam sayı kafesi üzerinde basit simetrik rastgele yürüyüş. Boyut $d$ değişken.

• $d = 1$: tekrarlayıcı (recurrent). Başlangıca dönüş olasılığı 1.
• $d = 2$: tekrarlayıcı.
• $d \geq 3$: geçici (transient). Dönüş olasılığı $< 1$.

Komik bir özet:

"A drunk man will eventually find his way home. A drunk bird may get lost forever."

— bu sözü Shizuo Kakutani'ye atfeder.

Neden bu fark?

Sezgisel açıklama: rastgele yürüyüşçü her adım atışında $d$ eksende eşit yayılır. Adım sayısı $n$ sonra "tipik mesafe" $\sqrt{n}$. Yürüyüşçünün ulaşabildiği "hacim" $n^{d/2}$ kadar.

Bir noktaya geri dönmek için yürüyüşçü o noktayı kapsamış olmalı. Bir noktanın etrafındaki "trace" boyutuyla ilgili.

• $d = 1, 2$: yayılma yavaş, bölge sınırlı yoğunluk, geri dönüş kaçınılmaz.
• $d \geq 3$: yayılma çok geniş, bir nokta için "kayıp" zaman çok az, dönüş olasılığı düşer.

Matematiksel kanıt — Green fonksiyonu

Kanıt Green fonksiyonu ile yapılır:

$G(x) = \sum_{n=0}^{\infty} \Pr(X_n = x)$

bir noktadan kaç kez geçildiğinin beklenen değeri. Eğer $G(0) = \infty$ ise yürüyüş tekrarlayıcı; sonlu ise geçici.

Hesap:

$G(0) = \int_{[0, 2\pi]^d} \frac{d\theta_1 \ldots d\theta_d}{(2\pi)^d \cdot (1 - \frac{1}{d}\sum \cos \theta_i)}$

• $d = 1$: integral ıraksak (kutup en $\theta = 0$'da). $G(0) = \infty$. Tekrarlayıcı.
• $d = 2$: integral hâlâ logaritmik ıraksak. $G(0) = \infty$. Tekrarlayıcı.
• $d = 3$: integral yakınsar. $G(0) \approx 1.516$. Geçici.
• $d \geq 4$: yakınsar.

3D dönüş olasılığı: Watson integrali

$d = 3$'te tam dönüş olasılığı:

$p_3 = 1 - \frac{1}{G(0)} \approx 1 - 0.6594 \approx 0.3405$

Bu sayıya Pólya rastgele yürüyüş sabiti denir. Yaklaşık $0.34054$.

Kesin değer Watson integrali olarak bilinir ve özel fonksiyonlarla (elliptik integral) ifade edilebilir. Tam kapalı form 1939'da George Watson tarafından bulundu.

Genelleştirmeler

1. Asimetrik yürüyüş: rastgele yürüyüşçü "sürüklenme" altında olursa (örneğin sağa hafif eğilim), her boyutta geçici olabilir.
2. Sürekli zaman: Brownian hareket ($d$ boyutlu) için tam aynı durum: 1, 2 boyutta tekrarlayıcı, 3+ boyutta geçici.
3. Graf üzerinde: sonsuz graf üzerinde rastgele yürüyüşün tekrarlayıcılığı elektriksel direnç teorisi ile karakterize edilir (Doyle-Snell 1984).
4. Hipotetik fizik: kuantum yer çekiminde "5+ boyut" varsa, parçacıklar evrenden kaçar mı? Felsefi bir soru.

Modern uygulamalar

1. Polimer fiziği: uzun zincirli polimer molekülünün düz uzayda kendiyle kesişen yapısı.
2. Bilgisayar bilimi: rastgele algoritmalar (Pollard rho, Markov zinciri Monte Carlo).
3. Sosyal ağlar: viral yayılma modelleri.
4. Finans: opsiyon fiyatlama (Bachelier ve sonra Black-Scholes), rastgele yürüyüş varsayar.
5. Hayvan davranışı: hayvan göçü ve avlanma desenleri.
6. Sinir bilimi: beyin nöronlarının rastgele bağlantı yoğunluğu.

Pólya hakkında

György Pólya (1887-1985) Macar-Amerikan matematikçi. Sayılar teorisi, kombinatorik, olasılık, matematik pedagojisinde — How to Solve It (1945) klasiği — etkili. 1921'deki rastgele yürüyüş makalesi, sayılar teorisi-olasılık-fonksiyonel analiz kesişiminde bir çağ açtı.

"How to Solve It" hâlâ matematik problemi çözme rehberi olarak kullanılır. Pólya'nın "anla, plan yap, uygula, kontrol et" döngüsü her matematikçinin dikkat ettiği bir disiplindir.

Sonuç

Pólya teoremi, boyutun tek başına çok önemli olduğunu gösteren şahane bir teorem:

• 1, 2 boyutta evren "küçük" — kaybolmazsınız.
• 3+ boyutta evren "büyük" — sonsuzca uzaklaşabilirsiniz.
• 3 boyutluluğun fiziksel önemi belki de buradan — atomlar var olabilir, çünkü atom altı parçacıklar tekrar bir araya gelmeyi başaramaz mı?

Matematiksel olarak bu zarif sonuç, olasılık + analiz + topoloji kesişiminde duran bir mücevher.

"Sarhoş eve döner, sarhoş kuş kaybolur" — kabir kazıdığında düşmemeniz için 3 boyutta yaşadığınız anlamına gelir.