On the Impossibility of Specification Testing of Interference Models Based on Exposure Mappings

ملخص تقني: حول استحالة اختبار التوصيف لنماذج التداخل القائمة على خرائط التعرض

بيان المشكلة
في التجارب العشوائية حيث يُشتبه في وجود تأثيرات تداخل (spillovers)، يتعين على المحللين وضع نموذج للتداخل لتقدير الآثار السببية. النهج السائد في الممارسة التجريبية يستخدم خرائط التعرض (Aronow & Samii, 2017)، والتي تختزل متجه المعالجة عالي الأبعاد إلى ملخص منخفض الأبعاد لكل وحدة. ويبرز تحدٍ حرج لأن طبيعة التداخل الحقيقية نادراً ما تكون معروفة، مما يدفع الباحثين إلى استخدام اختبارات التوصيف لتحديد ما إذا كان نموذج خريطة التعرض المختار موصوفاً بشكل صحيح.

بينما طورت الأدبيات الحالية اختبارات توصيف (تعتمد غالباً على اختبارات التوزيع العشوائي من نوع فيشر) تتحكم في خطأ النوع الأول (رفض نموذج صحيح)، فإن خطأ النوع الثاني (قبول نموذج غير صحيح) لهذه الاختبارات لا يزال غير مفهوم بشكل جيد. السؤال المركزي الذي تعالجه هذه الورقة هو ما إذا كان من الممكن بناء اختبار توصيف يمكنه التمييز بشكل موثوق بين نموذج خريطة تعرض موصوف بشكل صحيح ونموذج آخر غير موصوف، لا سيما عندما يكون عدم التوصيف "منفصلاً بشكل جيد" عن الفرضية الصفرية.

المنهجية والإطار العملي
يتبنى المؤلفون إطاراً قائماً على التصميم للتجارب العشوائية. وقد صاغوا المشكلة باستخدام المكونات التالية:

• النماذج: النموذج الصفري ($M_0$) والنموذج البديل ($M_1$) هما مجموعتان من دوال النتونات المحتملة. وكلاهما مقيد بحد أعلى منتظم لللحظة ($\|y\|_\infty \le 1$) لضمان نتائج منضبطة.
• نماذج التعرض: تركز الورقة على النماذج التي تعتمد فيها النتيجة المحتملة للوحدة $i$ فقط على خريطة تعرض $h_i(z)$. ويكون النموذج موصوفاً بشكل صحيح إذا كانت النتيجة ثابتة تجاه التغيرات في متجه المعالجة $z$ التي لا تغير التعرض $h_i(z)$.
• الانفصال: لتقييم القدرة، يستخدم المؤلفون دالة انفصال $g(y)$ تقيس مدى انحراف دالة النتيجة المحتملة عن النموذج الصفري. ويكون البديل "منفصلاً بمقدار $\delta$" إذا كان $g(y) \ge \delta$.
• مقياس الأداء: تقيم الورقة الاختبارات باستخدام خطأ الاختبار الإجمالي $R(D, \phi, \delta)$، والذي يُعرف بأنه مجموع أسوأ حالة لخطأ النوع الأول وأسوأ حالة لخطأ النوع الثاني للبدائل المنفصلة بمقدار $\delta$.
• معيار الاستحالة: يُعتبر اختبار التوصيف مستحيلاً إذا كان خطأ الاختبار التقليلي (minimax) $R^*(\delta) = 1$. وهذا يعني أن أي إجراء اختبار لا يؤدي أداءً أفضل من الإجراء الساذج الذي يتجاهل جميع البيانات ويرفض الفرضية الصفرية بشكل عشوائي.

المساهمات والنتائج الرئيسية

1. مبرهنة الاستحالة لخرائط التعرض:
   تؤسس النتيجة الأساسية للورقة (المبرهنة 3.1) نتيجة استحالة قوية: اختبار توصيف نماذج خرائط التعرض مستحيل.

• على وجه التحديد، لأي نموذج تعرض صفري $M_0$ وأي نموذج تعرض بديل $M_1$ (حيث $M_0 \subseteq M_1$)، فإن خطأ الاختبار التقليلي هو 1 تماماً لجميع قيم الانفصال غير البديهية $\delta$.
• تنطبق هذه النتيجة على جميع أحجام العينات ($n$)، وللنتائج المحدودة بانتظام، وللبدائل المنفصلة أقصى انفصال عن الصفر.
• مخطط الإثبات: صاغ المؤلفون توزيعات مختلطة صريحة $\Pi_0$ (مدعومة على $M_0$) و $\Pi_1$ (مدعومة على $M_1$ المنفصلة بمقدار $\delta$) بحيث تكون مسافة التباين الكلي بين توزيعات النتوات الملاحظة هي صفر ($d_{TV}(Q_0(z), Q_1(z)) = 0$) لأي تخصيص معالجة $z$. وبما أن توزيعات البيانات الملاحظة لا يمكن تمييزها تحت أي تصميم تجريبي، فلا يمكن لأي اختبار تحقيق قدرة أفضل من التخمين العشوائي.

2. نتي ملازمة حول النماذج الحادة (Sharp Nulls):
   تمتد الاستحالة لتشمل حالات شائعة محددة، مثل التمييز بين "لا يوجد أثر للمعالجة" و"لا يوجد تداخل" (SUTVA). فحتى لو كان أثر المعالجة كبيراً إلى أقصى حد (منفصلاً بمقدار الحد الأعلى لللحظة)، فإن توزيعات البيانات تحت الخلطات الصفرية والبديلة تكون متطابقة، مما يجعل النماذج غير قابلة للتمييز تجريبياً.

3. اختبار متسق للبدائل غير القائمة على التعرض:
   يوضح المؤلفون أن نتيجة الاستحالة خاصة بفئة نماذج خرائط التعفظ. فمن خلال قصر النموذج البديل على هيكل ليس خريطة تعرض، يصبح الاختبار المعلوماتي ممكناً.

• لقد بنوا اختباراً متسقاً بانتظام لفرضية العدم المتمثلة في عدم وجود تداخل (SUTVA) مقابل البديل المتمثل في نموذج الشبكة الخطي في المتوسط (حيث تكون النتوات خطية في كسر الجيران المعالجين).
• يستخدم هذا الاختبار مقدراً متسقاً لدالة تربيعية للنتوات المحتملة تحت تصميم برنولي.
• يكون هذا الاختبار متسقاً بشرط أن يحقق الحد الأقصى لدرجة الشبكة ($d_{max}$) الشرط $d_{max} = o(n^{1/5})$.

الأهمية والادعاءات
تدعي الورقة أن عدم القدرة على التحقق من صحة نماذج خرائط التعرض باستخدام البيانات التجريبية وحدها هو قصور جوهري، وليس نقصاً في التطور المنهجي.

• الآثار الإبستمولوجية (المعرفية): لا يمكن حل مشكلة توصيف النموذج من خلال البيانات التجريبية وحدها. يجادل المؤلفون بأنه لا يمكن للباحثين الاعتماد على البيانات لاستبعاد جميع أنواع عدم التوصيف المحتملة لنماذج التعرض.
• التوجيه العملي: يؤكد المؤلفون أن اختبارات التوصيف تكون مفيدة فقط إذا فرض الباحثون قيوداً مسبقة على النموذج البديل تتجاوز القيود الهيكلية لخرائط التعرض. فإذا كان المجرب غير مستعد لاستبعاد أي انحرافات عن الصفر مسبقاً، فإن الاستنتاج الوحيد الصحيح هو أن النموذج الصفري قد يكون غير موصوف بشكل صحيح.
• تغيير التركيز: تقترح الورقة أن ينبغي للمجال الابتعاد عن محاولة التحقق مما إذا كان نموذج تعرض معين "صحيحاً" (وهي مهمة ثبت استحالتها)، والتوجه نحو بناء اختبارات تستهدف أنواعاً محددة ومحددة مسبقاً من الانحرافات (كما هو موضح في مثال الخطية في المتوسط).
• دور البيانات الخارجية: يشير المؤلفون إلى أن حل مشكلة توصيف النموذج قد يتطلب دمج بيانات خارجية أو طرق نوعية، رغم أن هذا يستحدث افتراضات جديدة قد لا تكون قابلة للاختبار.

باختصار، تقدم الورقة إثباتاً رسمياً بأن لا يوجد اختبار توصيف يمكنه التمييز بانتظام بين نماذج خرائط التعرض المتداخلة، بغض النظر عن حجم العينة أو مقدار الانفصال. وبالتالي، فإن اختبار التوصيف المعلوماتي يتطلب تضييق نطاق الفرضية البديلة بما يتجاوز فئة خرائط التعرض.