Practical Boundary Degeneracy and Reverse-Martingale Limits in Sequential Binary Models

ملخص تقني: التدهور الحدودي العملي وحدود المارتينجال العكسي في النماذج الثنائية المتسلسلة

بيان المشكلة
تتناول الورقة ظاهرة إحصائية متكررة في البيانات الثنائية المتسلسلة حيث تخلق العينات المحدودة مظهرًا لـ "التدهور الحدودي" (boundary degeneracy). يحدث هذا في ثلاث حالات متميزة:

1. تجارب برنولي: تؤدي سلسلة طويلة من الإخفاقات (أو النجاحات) جميعها إلى قيام المحلل بتقدير احتمالية تساوي صفرًا (أو واحدًا) تمامًا.
2. الانحدار اللوجستي: يتسبب الانفصال الكامل أو شبه الكامل في تباعد المعاملات المضبوطة، مما يدفع الاحتمالات المتوقعة نحو الحدود (0 أو 1).
3. مسارات المخاطر المتسلسلة: يقترب مقياس المخاطر من حد ما قبل أن يستقر الوضع الأساسي.

في الحالات الثلاث، هناك نزعة للإعلان عن احتمالات حدودية دقيقة ($p=0$ أو $p=1$) بناءً على بيانات محدودة. تجادل الورقة بأنه بينما قد تبرر البيانات المتسلسلة المحدودة تصريحات حدودية عملية (مثل $p \le \varepsilon$)، إلا أنها لا توفر دليلاً على احتمالات حدودية دقيقة. يكمن الخلط الجوهري في الخلط بين التقدير القريب من الحد في عينة محدودة وبين القانون الشرطي المحدود الذي تتقارب إليه العملية.

المنهجية والإطار العملي
توحد الورقة هذه الحالات الثلاث تحت إطار المارتينجال العكسي، باستخدام نظرية تقارب المارتينجال العكسي الكلاسيكية (دووب، 1953؛ دوريت، 2019).

• صياغة المارتينجال العكسي: بدلاً من الترشيح الأمامي القياسي ($\mathcal{F}_1 \subseteq \mathcal{F}_2 \subseteq \dots$)، تنظر الورقة في ترشيح متناقص ($\mathcal{G}_1 \supseteq \mathcal{G}_2 \supseteq \dots$). بالنسبة لنتيجة ثنائية $Y \in \{0, 1\}$، فإن العملية $M_n = E(Y | \mathcal{G}_n)$ هي مارتينجال عكسي يتقارب تقارباً شبه مؤكد إلى حد $M_\infty = E(Y | \mathcal{G}_\infty)$.
• تعريف التدهور: يُعاد تعريف التدهور الحدودي كخاصية للقانون المحدود $M_\infty$، وليس كحدث في عينة محدودة. تكون العملية متدهورة حدودياً من الناحية العملية إذا كان $M_\infty \le \varepsilon$ أو $M_\infty \ge 1-\varepsilon$.
• قاعدة التوقف ذات الشروط الثلاثة ($\tau_{RM}$): للتمييز بين اليقين الظاهري العابر والتدهور الحدودي الحقيقي، تقترح الورقة قاعدة توقف تتطلب ثلاثة شروط متزامنة:
  1. القرب من الحد ($B_n \le \varepsilon$): التقدير الحالي قريب من الحد.
  2. عرض عدم اليقين ($W_n \le w$): فاصل الثقة أو مقياس عدم اليقين ضيق بما يكفي.
  3. استقرار المسار ($r_n \le \eta$): المسار مستقر، ويُقاس بعيب الاستقرار (على سبيل المثال، الفرق بين التقدير الحالي والمتوسط المعتمد على النظر إلى الوراء أو إسقاط الحالة الكامنة).

يكمل هذا النهج، ولا يحل محل، الأدوات الكلاسيكية مثل الاختبارات الثنائية أحادية الجانب، وحدود كلوبر-بيرسون، وتسلسلات الثقة، واختبار نسبة الاحتمال المتسلسل (SPRT) لـ والد. وبينما يعد SPRT أمثل لاختبار الفرضيات البسيطة مقابل البسيطة، فإنه لا يعالج التصريات أحادية الجانب المركبة، أو الانفصال اللوجستي، أو استقرار المسار.

المساهمات الرئيسية

1. التوحيد: توفر الورقة هيكلاً نظرياً واحداً (المارتينجالات العكسية) لتفسير عمليات إخفاقات برنولي، والانفصال اللوجستي، ومسارات المخاطر غير المستقرة كظواهر ناتجة عن نفس الخلط بين التقديرات المحدودة والقوانين المحدودة.
2. العلاج التشغيلي: تشتق قاعدة التوقف $\tau_{RM}$، التي تمنع الإعلانات المبكرة عن الاحتمالات الحدودية من خلال اشتراط الاستقرار والتحكم في عدم اليقين بالإضافة إلى القرب من الحد.
3. رؤية التنظيم (Regularization): في سياق الانحدار اللوجستي، تدعو الورقة إلى استخدام المقدرات المنظمة (مثل Ridge أو Firth أو الأولويات البايزية) لضمان احتمالات مضبوطة، وتفسير المعاملات المتباعدة كآثار عددية للانفصال بدلاً من كونها دليلاً على احتمالات حدودية دقيقة.

النتائج العددية
تقدم الورقة خمس دراسات عددية للتحقق من صحة الإطار:

• تجارب الأحداث النادرة لبرنولي: توضح أنه بينما يحدث تقدير الاحتمال الأقصى (MLE) العادي ($\hat{p}_n = 0$) بشكل متكرر في عينات الأحداث النادرة، فإن قاعدة التوقف للصفر العملي (بناءً على $\varepsilon$ محددة مسبقاً) تضبط خطأ النوع الأول. وقد أظهر أن تساوي الـ MLE مع الصفر هو أثر ناتج عن عينة محدودة، وليس دليلاً على أن $p=0$.
• الانحدار اللوجستي منخفض وعالي الأبعاد: تظهر أنه حتى مع وجود معاملات حقيقية محدودة، فإن الأحداث النادرة مع المتغيرات (خاصة في الأبعاد العالية) تؤدي إلى سلوك "شبيه بالانفصال"، بما في ذلك عينات من فئة واحدة، وعدم التقارب، ولوغاريتمات متطرفة. يعمل التنظيم (Ridge) على تثبيت هذه التقديرات، محولاً المعاملات المتباعدة إلى احتمالات تنبؤية محدودة.
• الاستقرار مقابل القرب: في محاكاة محكومة لمسارات المخاطر الشرطية، توقفت قاعدة "الحد فقط" باحتمالية 0.999 عند مسار عابر عاد لاحقاً إلى الداخل. في المقابل، خفضت قاعدة الشروط الثلاثة ($\tau_{RM}$) معدل الخطأ الإيجابي هذا إلى 0.107 مع الحفاظ على قوة توقف بنسبة 100% على المسارات المستقرة حقاً والمتقاربة نحو الحد.
• توضيح من بيانات حقيقية (تجربة RAND للتأمين الصحي): باستخدام مجموعة بيانات حقيقية ذات حدث نادر (انتشار بنسبة 1.5%)، تؤكد الدراسة أن العينات الفرعية الصغيرة غالباً ما تنتج احتمالات متطرفة وغير مستقرة. إن إضافة حدود مرنة للنموذج (تصميم تربيعي) يؤدي إلى تفاقم الأمر، مما يعزز الحاجة إلى تشخيصات الاستقرار.

الأهمية والادعاءات
تدعي الورقة أن الإطار المقترح يوفر طريقة أكثر موثوقية لتفسير الظواهر الحدودية في العينات المحدودة. تكمن أهميتها الأساسية في التمييز بين التقديرات القريبة من الحد في العينات المحدودة والقوانين الحدودية المحدودة.

يشير المؤلفون إلى أن التصرف بناءً على القرب من الحد دون دليل على الاستقرار هو أمر سابق لأوانه. يعيد منظور المارتينجال العكسي صياغة التدهور الحدودي كخاصية للقانون الشرطي المحدود ($M_\infty$). وبناءً على ذلك، تجادل الورقة بأن العينات المحدودة تبرر تصريحات حدودية عملية محكومة (مثل "نحن واثقون أن $p \le \varepsilon$") ولكنها لا تبرر أبداً الاحتمالات الحدودية الدقيقة. العائد التشغيلي هو القدرة على الفصل بين اليقين الظاهري العابر والتدهور الحدودي الحقيقي، مما يمنع الاستنتاجات الخاطئة في المراقبة المتسلسلة، والعلاج التكيفي، ونمذجة الأحداث النادرة.