التوزيعات المستقرة والعودية
التوزيع المستقر هو توزيع احتمالي على الحالات التي لا تتغير فيها سلسلة ماركوف، وتحت ظروف معتدلة تنسى السلسلة نقطة بدايتها وتتقارب نحو هذا التوازن، مع تطابق المتوسطات الزمنية مع المتوسطات المكانية.
Definition
التوزيع المستقر لسلسلة ماركوف هو توزيع احتمالي على الحالات يكون ثابتاً تحت خطوة واحدة من السلسلة، وتكون السلسلة عودية عندما تتقارب توزيعاتها، من أي حالة بداية، نحو هذا التوزيع المستقر وتتقارب متوسطاتها الزمنية نحو التوقعات المستقرة.
Scope
يغطي الموضوع التوزيعات المستقرة والثابتة ووجودها وتفردها لسلاسل ماركوف غير القابلة للاختزال والمتكررة إيجابياً، ودور اللا دورية في التقارب، والتوازن التفصيلي والانعكاسية، ونظرية العودية لسلاسل ماركوف التي تساوي المتوسطات الزمنية طويلة المدى بالتوقعات المستقرة، ومعدل التقارب نحو التوازن وأوقات الخلط، واستخدام هذه الأفكار في طريقة مونت كارلو لسلاسل ماركوف.
Core questions
- متى تمتلك سلسلة ماركوف توزيعًا مستقرًا فريدًا؟
- تحت أي ظروف يتقارب توزيع السلسلة نحو ذلك التوزيع المستقر؟
- ما هو التوازن التفصيلي، وكيف تبسط الانعكاسية عملية إيجاد التوزيع المستقر؟
- كيف ترتبط المتوسطات الزمنية طويلة المدى بالمتوسطات تحت التوزيع المستقر؟
Key concepts
- التوزيع المستقر
- عدم القابلية للاختزال واللا دورية
- التوازن التفصيلي
- نظرية العودية
- وقت الخلط
Key theories
- الوجود، التفرد، والتقارب نحو الاستقرار
- تمتلك سلسلة ماركوف غير القابلة للاختزال والمتكررة إيجابياً توزيعًا مستقرًا فريدًا يُعطى بمقلوبات متوسط أوقات العودة، وإذا كانت أيضًا لا دورية، فإن توزيع الحالة يتقارب نحوه من كل نقطة بداية.
- نظرية العودية لسلاسل ماركوف
- بالنسبة لسلسلة غير قابلة للاختزال ومتكررة إيجابياً، يتقارب المتوسط طويل المدى لدالة الحالة بشكل شبه مؤكد إلى توقعها تحت التوزيع المستقر، وهو نظير قانون الأعداد الكبيرة لبيانات ماركوف المعتمدة.
- التوازن التفصيلي والانعكاسية
- إذا كان التوزيع يحقق التوازن التفصيلي مع احتمالات الانتقال، مما يعني أن التدفق بين أي حالتين يتوازن في كلا الاتجاهين، فإنه يكون مستقرًا وتكون السلسلة قابلة للانعكاس، وهو شرط يُستغل لتصميم عينات مونت كارلو لسلاسل ماركوف.
Clinical relevance
هذه النتائج هي المحرك النظري لطريقة مونت كارلو لسلاسل ماركوف، حيث يتم تصميم سلسلة ليكون لها توزيع مستهدف كقانون مستقر لها بحيث تقرب عيّناتها ذلك التوزيع؛ وتخبر حدود وقت الخلط الممارسين بمدة تشغيل هذه المحاكاة، وتحكم نفس النظرية أطوال طوابير التوازن والموثوقية في الحالة المستقرة.
History
نشأت نظرية التوازن لسلاسل ماركوف من عمل ماركوف الأصلي وتم وضعها في شكلها الحديث بواسطة دوب (Doob) وفيلر (Feller) وآخرين. وقد ازدهرت أهميتها التطبيقية مع خوارزمية متروبوليس (Metropolis) عام 1953 وتعميم هاستينغز (Hastings) عام 1970، مما حول التقارب إلى توزيع مستقر إلى طريقة عملية للحساب.
Key figures
- Andrey Markov
- Nicholas Metropolis
- Wilfred Keith Hastings
- Sean Meyn
Related topics
Seminal works
- norris1997
Frequently asked questions
- هل تتقارب كل سلسلة ماركوف نحو توزيع مستقر؟
- لا؛ يتطلب التقارب شروطًا مثل عدم القابلية للاختزال، والتكرار الإيجابي، واللا دورية. قد تدور السلسلة الدورية دون استقرار، وقد لا يكون للسلسلة العابرة أو المتكررة بشكل صفري أي توزيع مستقر على الإطلاق.
- لماذا تعد الانعكاسية مفيدة في الممارسة العملية؟
- توفر الانعكاسية عبر التوازن التفصيلي معادلة بسيطة يجب أن يحققها التوزيع المستقر المرشح، مما يجعل التحقق من التوزيع المستقر سهلاً ويوفر مبدأ التصميم وراء خوارزميات متروبوليس-هاستينغز والعديد من خوارزميات مونت كارلو لسلاسل ماركوف الأخرى.