Two-stage least squares with treatment-covariate interactions for treatment effect heterogeneity

إليك ملخص تقني مفصل لورقة البحث بعنوان "المربعات الصغرى ذات المرحلتين مع تفاعلات العلاج-المتغيرات المرافقة لدراسة تباين تأثير العلاج" (Two-stage least squares with treatment-covariate interactions for treatment effect heterogeneity) للباحثين آنقي تشاو، بينغ دينغ، وفان لي.

1. بيان المشكلة

يُستخدم تحليل المتغير الأداة (Instrumental Variable - IV) على نطاق واسب لتقدير الآثار السببية عندما تكون العلاجات داخلية (endogenous). وبينما يقوم مقدر المربعات الصغرى ذات المرحلتين القياسي (2SLS) بتحديد "أثر العلاج المحلي المتوسط" (LATE) باستمرار تحت الافتراضات القياسية، يشتبه الباحثون غالبًا في وجود تباين في تأثير العلاج (أي أن التأثير يختلف باختلاف الأفراد بناءً على المتغيرات المرافقة المرصودة).

تتمثل إحدى الاستراتيجيات التجريبية الشائعة لمعالجة ذلك في استخدام "الـ 2SLS المتفاعل" (Interacted 2SLS)، حيث يدرج الباحثون حدود التفاعل بين العلاج والمتغيرات المرافقة في المرحلة الثانية، وتفاعلات بين الأداة والمتغيرات المرافقة في المرحلة الأولى. والهدف هو تقدير كيفية تغير تأثير العلاج مع المتغيرات المرافقة (التباين المنهجي في تأثير العلاج).

المشكلة الجوهرية:
تبحث الورقة في التفسير السببي لمعاملات حدود التفاعل هذه في إطار الـ Interacted 2SLS. وبشكل محدد، تسأل: تحت أي شروط تكون معاملات التفاعل المقدرة تمثل باستمرار التباين الحقيقي لتأثير العلاج بين "الممتثلين" (compliers)؟ وقد وجد المؤلفون أنه، خلافًا للحدس، فإن هذه المعاملات تكون منحازة بشكل عام وتفتقر إلى تفسير سببي واضح ما لم تُستوفَ شروط مقيدة للغاية.

2. المنهجية والإطار العملي

يعمل المؤلفون ضمن إطار النتائج المحتملة (Potential Outcomes framework) وإطار أثر العلاج المحلي المتوسط (LATE) (إيمبنز وأنجريست، 1994).

• الإعداد:
  • $D_i$: علاج ثنائي.
  • $Y_i$: نتيجة.
  • $Z_i$: أداة ثنائية (صحيحة شرطيًا بمعلومية المتغيرات المرافقة $X_i$).
  • $X_i$: متجه من $K$ من المتغيرات المرافقة (بما في ذلك الثابت).
  • الممتثلون ($U_i=c$): الوحدات التي يتغير وضعها العلاجي بسبب الأداة.
• المقدر:
  تحلل الورقة نموذج الـ Interacted 2SLS المعرف كالتالي:
  $$2sls(Y_i \sim D_i X_i + X_i \mid Z_i X_i + X_i)$$
  هنا، يتم ريجريشن (انحدار) النتيجة على تفاعل العلاج والمتغيرات المرافقة ($D_i X_i$) والمتغيرات المرافقة ($X_i$)، مع استخدام تفاعل الأداة والمتغيرات المرافقة ($Z_i X_i$) والمتغيرات المرافقة ($X_i$) كأدوات.
• المعلم المستهدف (Target Parameter):
  يحدد المؤلفون المعلم السببي المستهدف كـ $\beta_c$، وهو متجه المعامل الناتج عن الإسقاط الخطي لتأثير العلاج الفردي $\tau_i$ على $X_i$ بين الممتثلين:
  $$\beta_c = \arg\min_b E[(\tau_i - X_i^\top b)^2 \mid U_i = c]$$
  ويمثل هذا "التباين المنهجي في تأثير العلاج" الذي تفسره المتغيرات المرافقة.

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

تقدم الورقة ثلاث مساهمات نظرية رئيسية:

أ. الشرط الضروري والكافي (شرط "تفاعلات الأداة-المتغيرات المرافقة الخطية")

يثبت المؤلفون أن مقدر $\hat{\beta}_{2sls}$ من نوع Interacted 2SLS يقدر باستمرار معلم التباين الحقيقي $\beta_c$ لأي عملية توليد للنتائج إذا وفقط إذا تحقق شرط تفاعلات الأداة-المتغيرات المرافقة الخطية:
$$E(Z_i X_i \mid X_i) = \text{proj}(Z_i X_i \mid X_i)$$
بكلمات أبسط، يجب أن يكون التوقع الشرطي لضرب الأداة في المتغيرات المرافقة خطيًا في المتغيرات المرافقة.

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

ب. صرامة الشرط

تثبت الورقة نتيجة مذهلة فيما يتعلق بجدوى شرط تفاعلات الأداة-المتغيرات المرافقة الخطية. بافتراض أن $X_i$ ذو بُعد $K$ (بما في ذلك الثابت):

• يتحقق الشرط فقط إذا كان منحدر احتمالية الأداة (IV propensity score) $e(X_i) = P(Z_i=1 \mid X_i)$ يأخذ $K$ من القيم المتميزة على الأكثر.
• النتيجة: هذا الشرط مقيد للغاية. فهو يتحقق فقط في حالتين خاصتين:
  1. المتغيرات المرافقة المشبعة (Saturated Covariates): عندما تكون المتغيرات المرافقة فئوية ولديها بالضبط $K$ من المستويات (مما يسمح بمجموعة كاملة من متغيرات الـ dummy).
  2. التعيين العشوائي (Random Assignment): عندما تكون الأداة $Z_i$ عشوائية غير مشروطة (مستقلة عن $X_i$).
• الاستنتاج العملي: في معظم الدراسات الرصدية حيث تكون المتغيرات المرافقة مستمرة أو لم تكن الأداة معينة عشوائيًا، يفشل هذا الشرط. وبالتالي، لا يمكن تفسير معاملات التفاعل من مواصفات Interacted 2SLS القياسية كتقديرات سببية لتباين تأثير العلاج.

ج. الحل: المتغيرات المرافقة المطروحة من المتوسط (Demeaned Covariates)

إدراكًا لصعوبة استيفاء الشرط من أجل دراسة التباين، يقترح المؤلفون تعديلًا لاستعادة الـ LATE الإجمالي ($\tau_c$) بدلاً من متجه التباين الكامل.

• الطريقة: استخدام المتغيرات المرافقة المطروحة من المتوسط في مواصفات Interacted 2SLS. وبشكل محدد، يتم طرح متوسط المتغيرات غير الثابتة من قيمها بناءً على متوسطات الممتثلين (أو التقديرات المتسقة لها).
• النتيجة: بموجب شرط تفاعلات الأداة-المتغيرات المرافقة الخطية، فإن المعامل الخاص بمتغير العلاج ($D_i$) في المواصفة المطروحة من المتوسط يقدر باستمرار الـ LATE ($\tau_c$).
• المقارنة: إن الـ 2SLS الجمعي القياسي (بدون تفاعلات) أو الـ Interacted 2SLS بدون طرح المتوسط يقدر عادةً متوسطًا مرجحًا لـ LATE الشرطي يختلف عن الـ LATE الحقيقي. النهج المطروح من المتوسط يصحح هذا الانحياز في الأوزان.

4. نتائج المحاكاة

يتحقق المؤلفون من نظريتهم من خلال عمليات المحاكاة:

1. الانحياز في التباين: في سيناريو يُنتهك فيه شرط تفاعلات الأداة-المتغيرات المرافقة الخطية (متغيرات مستمرة، أداة غير عشوائية)، أظهرت تقديرات Interacted 2SLS لمعاملات التفاعل انحيازًا كبيرًا مقارلة بـ $\beta_c$ الحقيقي.
2. اتساق الـ LATE: في سيناريو يتحقق فيه الشرط (متغيرات فئوية)، نجح نموذج Interacted 2SLS باستخدام المتغيرات المرافقة المطروحة من المتوسط في استعادة الـ LATE الحقيقي، بينما أنتج نموذج 2SLS الجمعي ونموذج Interacted 2SLS بدون طرح المتوسط تقديرات منحازة.

5. الأهمية والآثار المترتبة

• التحذير من الممارسة التجريبية: تعمل الورقة كتحذير حرج للباحثين التطبيقيين. فمجرد إضافة تفاعلات العلاج-المتغيرات المرافقة إلى نموذج 2SLS لا يضمن الحصول على تقديرات صالحة لكيفية تغير تأثيرات العلاج مع المتغيرات المرافقة. فما لم تكن المتغيرات المرافقة مشبعة بالكامل (فئوية) أو كانت الأداة عشوائية، فإن هذه المعاملات من المرجح أن تكون زائفة.
• توضيح تقدير الـ LATE: توضح الورقة أنه بينما يصعب تقدير التباين دون افتراضات قوية، فإن تقدير المتوسط (LATE) في ظل وجود التباين ممكن باستخدام نهج المتغيرات المرافقة المطروحة من المتوسط.
• التوسع في التفاعلات الجزئية: تمتد النظرية لتشمل الحالات التي يتم فيها إدراج التفاعلات فقط لمجموعة فرعية من المتغيرات المرافقة، مما يوفر الشروط التي يمكن بموجبها تفسير تلك الحدود التفاعلية المحددة تفسيرًا سببيًا.
• التوحيد النظري: توحد النتائج وتوسع الأدبيات السابقة (مثل Angrist & Imbens, 1995؛ Sloczynski, 2024؛ Blandhol et al., 2025) فيما يتعلق بالأوزان التي تخصصها مقدرات IV، موضحة أن حدود التفاعل تغير هذه الأوزان بطرق تؤدي غالبًا إلى كسر التفسير السببي.

الخاتمة

يوضح تشاو، دينغ، ولي أن النهج البديهي باستخدام Interacted 2SLS لدراسة تباين تأثير العلاج هش من الناحية النظرية. فالمعاملات الخاصة بحدود التفاعل هي عمومًا غير متسقة لتباين العلاج السببي ما لم يكن منحدر احتمالية الأداة بسيطًا للغاية (يأخذ قيمًا قليلة). ومع ذلك، فإنهم يقدمون بديلًا قويًا لتقدير الـ LATE الإجمالي باستخدام المتغيرات المرافقة المطروحة من المتوسط، مما يوفر أداة عملية للباحثين الذين يعملون مع أدوات صالحة شرطيًا.