Rastgele yürüyüş

Rastgele yürüyüş (ya da rassal yürüyüş) matematiksel bir nesne olup, bir stokastik veya rastgele süreç olarak bilinir. Bu süreç, herhangi bir matematiksel uzayda –örneğin tamsayılar uzayı–atılan rastgele adımların toplamından oluşan patikayı tanımlamaya yöneliktir. Örneğin, bir molekülün sıvı veya gaz içerisinde izlediği yol, hayvanların yem arayışında takip ettiği patika, değişkenlik gösteren hisse fiyatları ve de bir borsa oyuncusunun finansal durumu rastgele yürüyüş modelleri ile tahmin edilebilir; ancak gerçekte tamamen rastlantısal olmama ihtimalleri de vardır. Bu örneklerin de gösterdiği gibi, rastgele yürüyüş modelinin birçok bilim dalında uygulama alanı mevcuttur; ekoloji, psikoloji, bilgisayar bilimleri, fizik, kimya, biyoloji ve ekonomi bunlara örnektir.

Rassal yürüyüş bahsi geçen alanlarda gözlenen birçok süreci açıklamakla beraber kaydedilmiş stokastik aktiviteyi açıklamak için de temel bir model sunar. Daha matematiksel bir uygulama olarak ise pi sayısına, ajan tabanlı modelleme çerçevesinde, rassal yürüyüş kullanılarak yapılan yaklaşım örnek olarak verilebilir. Rastgele Yürüyüş ilk defa 1905 senesinde Karl Pearson tarafından ortaya konmuştur.

Rastgele yürüyüşler, ilginçtir ki, çeşitli şekillerde farklılık gösterebilirler. Rassal yürüyüş teriminin kendisi genelde Markov zincirlerinin veya Markov süreçlerinin özel bir kategorisini belirtir, ancak zamana bağımlı rassal yürüyüş süreçlerinin birçoğu özelliklerini belirten bir niteleyici ile birlikte anılır. Rastgele yürüyüş (Markov olsun ya da olmasın) çeşitli uzaylarda yer alabilir: yaygın olarak incelenenler arasında graf (çizge),  tam sayılar ya da gerçek doğru, düzlem ya da yüksek boyutlu vektör uzayları, eğimli yüzeyler ya da daha yüksek boyutlu Riemann manifoldları ve sonlu, sonlu üretilmiş veya Lie grupları verilebilir. Ayrıca zaman parametresi de manipüle edilebilir. En basit bağlamda yürüyüş, ayrık zamanda doğal sayılar üzerinde indislenmiş rastgele değişkenlerin sıralanışıdır . Bununla birlikte adımların rastgele zamanlarda atıldığı rassal yürüyüşler tanımlamak da mümkündür ve bu durumda  her zaman t ∈ [0,+∞) olarak tanımlanmalıdır. Lévy uçuşu, Brown hareketi ve difüzyon modelleri özel durumlar ya da limitler içeren rassal yürüyüş modelleridir.

Rassal yürüyüş, Markov süreçlerini anlamak için bilinmesi gereken temel modeldir.

Örgü Rastegele Yürüyüş

Örgü üzerinde gerçekleşen rassal yürüyüş en bilindik modellerden birisi olup düzenli bir örgüde her adım belirli bir olasılık dağılımına göre atılır. Basit bir rastgele yürüyüşte adımlar ancak bulunulan bölgeden içinde bulunulan örgüyü oluşturan komşu bölgelere atlanarak oluşturulabilir. Yerel olarak sonlu bir örgüde gerçekleştirilen basit simetrik bir rastgele yürüyüşte, bulunulan bölgeden komşulardan herhangi birine geçiş olasılığı aynıdır. En iyi incelenmiş rassal yürüyüş örneği d-boyutlu tam sayı örgüsündedir (bazen hiperkübik kafes olarak da adlandırılır) .

Eğer durum uzayı sonlu boyutlarla sınırlıysa, rastgele yürüyüş modeli basit sınırlandırılmış simetrik rastgele yürüyüş olarak adlandırılır ve geçiş olasılıkları uzayın konumuna bağlıdır, çünkü kenarlar ve köşe noktalarında hareket sınırlıdır.

Bir boyutta rastgele yürüyüş

Tam sayılar kümesinde tanımlı  bir sayı doğrusu üzerinde 0'dan başlayarak her aşamada +1 veya -1 eşit olasılıkla gerçekleştirilen hareket rastgele yürüyüşün basit bir örneğidir.

Bu yürüyüş aşağıdaki şekilde gösterildiği gibi tasvir edilebilir. Bir gösterge sayı doğrusunda sıfıra yerleştirilir ve hilesiz madeni para çevrilir. Tura gelirse gösterge bir birim sağa taşınır. Yazı gelirse gösterge bir birim sola hareket ettirilir. Beş atıştan sonra gösterge artık 1, -1, 3, -3, 5 veya -5'te olabilir. Beş atıştan üçünün tura ve ikisinin yazı gelişi, sıradan bağımsız olarak, göstergeyi 1'e getirir. Toplamda 1’e ulaşmanın 10 farklı (üç tura ve iki yazı ) -1’e ulaşmanın 10 farklı (üç yazı  iki tura), 3’e ulaşmanın 5 farklı (dört tura ve bir yazı) -3’e ulaşmanın 5 (dört yazı ve bir tura) 5’e ulaşmanın 1 (beş tura) ve -5'e ulaşmanın 1 yolu vardır (beş yazı). 5 atışın olası sonuçlarını gösteren illüstrasyon için aşağıdaki şekle bakınız.

Bu yürüyüşü resmi olarak tanımlamak için birbirinden bağımsız değişkenler alın. . Bu değişkenlerden her birisi eşit %50 olasılığa sahip olan 1 ya da -1 değerlerinden oluşsun.  olsun ve  şeklinde tanımlansın. {} serisi  üzerinde tanımlı basit bir rastsal yürüyüşü ifade edecektir. Bu seri -1 ve 1 değerlerinden oluşan ve adım büyüklüklerinin bire eşit olduğu toplam sonucu verecektir.  Olasılığında  sıfırdır. Bu, yazı-tura atışları arttıkça ortalamanın sıfıra yaklaştığını anlatır. Buna göre sonlu eklenme özelliği:

 ile gösterilir.

Bağımsız rastsal değişkenler kullanılarak ve  kabulü yapılarak benzer bir hesaplama :
 ile gösterilir.

 sonucuna göre n adım sonrasında beklenen ötelenme miktarı  mertebesinde olmalı ve:

Bu sonuç şunu göstermektedir: karma durumlarda yayılım büyük  değerleri için etkisizdir.

Sonsuza kadar gitmesine izin verildiği takdirde bir rastgele yürüyüşün kaç kere sınır çizgisinden geçmesi beklenir?  içindeki basit bir rassal yürüyüş her noktadan sonsuz defa geçer. Bu sonuç kesişen seviyeler fenomeni (level-crossing phenomenon) ve sarhoş yürüyüşü(gambler’s ruin) gibi birçok isimle anılır. Sarhoş yürüyüşü isminin verilme nedeni ise basitçe kumarbazın (gambler) cebinde bulunan kısıtlı para ile bu paraya kıyasla sonsuz miktarda fazla denebilecek paraya sahip bankaya karşı oynadığı kumarı en sonunda kaybetmesi durumundan gelir. Kumarbazın parası (sarhoş yürüyüşü olarak tanımlanan nokta) rastgele yürüyüş ile modellendiğinde de görüldüğü üzere bir noktada sıfıra ulaşacaktır ve oyun bitmiş olacaktır.

a ve b nin pozitif tam sayılar olduğunu varsayarsak; bir boyutta ve 0 dan başlayarak b sayısı üzerinden geçen yahut 0 dan başlayarak -a sayısı üzerinden geçen basit bir rastgele yürüyüşün içerdiği beklenen adım sayısı ab dir. Yürüyüşün b sayısının üzerinden -a sayısından önce geçtiğinin olasılığı ise ,bu rastgele yürüyüşün martingale olasılık teorisi gözönünde bulundurularak,  şeklinde gösterilir.

Yukarıdaki hesaplamalarda bahsedilen sonuçların bazıları Pascal üçgeni’nin özellikleri kullanılarak türetilebilir. n tane +1 veya -1 adım içeren birbirinden farklı rastgele yürüyüş sayısı 2n şeklinde gösterilir. Basit bir rastgele yürüyüşte bu adımların atılma olasılığı birbirine eşittir. Sn in k sayısına eşit olması için rastgele yürüyüş içerisindeki +1 adımların, -1 adımların sayısınının üzerine çıkarılması ve böylece k nın çıkarılması gereklidir.  durumunu sağlayan rastgele yürüyüş sayısı (n - k)/2 şeklinde gösterilir ve n izin verilen hareket sayısıdır. Bu durumda  gösterimi de kullanılabilir. Anlamlı bir sonuç elde etmek için n ve k çift sayı olmalıdır. Bu nedenle  olasılığı  kombinasyonuna eşittir. Pascal üçgeninin girdilerini faktöriyel cinsinden ifade ederek ve sonrasında faktöriyel hesaplaması için Stirling formülünü (Stirling’s approximation) kullanarak büyük n değerleri için yaklaşık sonuçlar elde edilebilir.

Eğer uzay özlük için + ile kısıtlanmışsa rastgele bir yürüyüşün beş atışa sahip herhangi bir sayı üzerine ineceği yolların sayısı {0,5,0,4,0,1} şeklinde gösterilebilir.

Pascal üçgeni ile olan bu ilişki, n in küçük değerleri için gösterilmiştir. 0 adımda ise tek ihtimal sıfırda kalacaktır. Ancak 1 adımda sonucun -1 veya +1 olma ihtimali söz konusudur. 2 adımda sonucun +2 ye veya 0 noktasına geri dönme ihtimali vardır. Aynı şekilde -1 noktasından atılan bir adımda ise adımın -2 ye veya 0 noktasına geri dönme ihtimali vardır. Bu nedenle -2 noktasına gitmek için 1 ihtimal, 0 noktasına gitmek için 2 ihtimal, +2 noktasına gitmek için 1 ihtimal vardır. Aşağıdaki tablo basitçe bu hesaplamayı göstermektedir.

Merkezi limit teoremi ve tekrarlanan logaritma yasası (the law of iterated logarithm),  içindeki basit bir rastgele yürüyüşün önemli davranışsal yönlerini tanımlar. Özellikle n (her sıradaki sayılar ile orantılı olarak) arttıkça olasılığın normal dağılıma yakınsadığı görülür.

Doğrudan bir genelleme olarak, kristal örgü içerisinde rastgele bir yürüyüşü göz önünde bulunduracak olursak, merkezi limit teoremi ve büyük sapma teoremi (large deviation theorem) saptamak olasıdır.

Markov zinciri açısından

Herhangi bir tek boyutlu rastgele yürüyüş Markov zinciri (Markov chain) açısından incelenebilir. Markov zincirinin belirlediği üzere uzay  şeklinde tanımlanmış olsun.  değerini sağlayan p sayıları için adımın ilk durumdan son duruma geçiş olasılığı Pi,j aşağıdaki şekilde gösterilir;

Stokastik süreçler