Sıçrama Süreçleri ve Gömülü Zincirler
Bir sürekli zamanlı Markov zinciri, ziyaret edilen durumların sırasını kaydeden ayrık zamanlı bir sıçrama zincirine ve her bir durumda ne kadar kalındığını kaydeden üstel bekleme sürelerine ayrıştırılabilmektedir.
Tanım
Bir sürekli zamanlı Markov zincirinin gömülü zinciri, art arda ziyaret edilen durumların ayrık zamanlı Markov zinciridir; bu zincir, oranları mevcut duruma bağlı olan bağımsız üstel bekleme süreleriyle birlikte sürekli zamanlı süreci tamamen belirlemektedir.
Kapsam
Bu konu, gömülü sıçrama zincirini ve geçiş olasılıklarını, duruma bağlı oranlara sahip üstel bekleme sürelerini, üreteç tanımı ile sıçrama-tutma yapısı arasındaki eşdeğerliği, patlamayı ve sonlu zamanda sonsuz sayıda sıçrama olasılığını ve sürekli zamanlı zincirleri ayrık zamanlı zincirlerle ilişkilendirmek için tekdüzeleştirmenin (uniformisation) kullanımını kapsamaktadır.
Temel sorular
- Gömülü sıçrama zinciri, sürekli zamanlı bir zincirden nasıl çıkarılmaktadır?
- Bekleme süreleri neden üstel olarak dağılmıştır ve oranları duruma nasıl bağlıdır?
- Sürekli zamanlı zincir, sonlu zamanda sonsuz sayıda sıçrama yaparak ne zaman patlayabilmektedir?
- Tekdüzeleştirme (uniformisation), sürekli zamanlı bir zinciri ayrık zamanlı bir zincire nasıl dönüştürmektedir?
Temel kuramlar
- Sıçrama-tutma yapısı
- Bir durumdan başlayarak, zincir, oranı toplam çıkış oranı olan üstel bir süre bekler ve ardından gömülü zincirin geçiş olasılıkları tarafından seçilen yeni bir duruma sıçrar; bu iki bileşenden tam sürekli zamanlı süreç yeniden oluşturulmaktadır.
- Patlama ve korunumsuzluk
- Eğer çıkış oranları bir yörünge boyunca yeterince hızlı büyürse, kümülatif bekleme süreleri yakınsayabilir ve zincir sonlu zamanda sonsuz sayıda sıçrama yapabilir; bu, geçiş yarı grubunun (transition semigroup) dürüst olması için dışlanması gereken bir patlamadır.
Klinik önem
Sıçrama-tutma yapısı, kimyasal reaksiyon ağları için Gillespie algoritması da dahil olmak üzere Markov zincirlerinin kesin stokastik simülasyonunun temelini oluşturmaktadır ve tekdüzeleştirme (uniformisation), güvenilirlik ve performans modellerinde geçici dağılımları hesaplamak için kararlı bir sayısal yöntem sunmaktadır.
Tarihçe
Feller ve Doob, 1940'larda sıçrama-tutma temsilini ve patlama fenomenini ortaya koymuş, sürekli zamanlı bir zincirin oranları tarafından ne zaman benzersiz bir şekilde belirlendiğini açıklığa kavuşturmuşlardır; bu yapı daha sonra kimyasal kinetik için Gillespie'nin 1976 algoritması gibi kesin simülasyon yöntemlerinin temelini oluşturmuştur.
Öne çıkan isimler
- William Feller
- Joseph Doob
- Daniel Gillespie
İlgili konular
Temel eserler
- norris1997
Sıkça sorulan sorular
- Sürekli zamanlı bir Markov zincirinin gömülü zinciri nedir?
- Sürecin ziyaret ettiği farklı durumların sırasını kaydeden, her birinde ne kadar kaldığını göz ardı eden ve sürecin nereye gittiğini yakalayan ayrık zamanlı Markov zinciridir.
- Patlama nedir?
- Patlama, sürekli zamanlı bir zincirin bekleme süreleri çok hızlı küçüldüğü için sonlu bir zaman aralığında sonsuz sayıda sıçrama yapmasıyla meydana gelmektedir; iyi davranışlı zincirler bunu önlemek için inşa edilmektedir.