Comparing Two Proxy Methods for Causal Identification

ملخص تقني: مقارنة بين طريقتين للوكلاء من أجل التحديد السببي

بيان المشكلة
يظل تحديد الآثار السببية في ظل وجود متغيرات مربكة غير مقاسة تحديًا جوهريًا في الاستدلال السببي. وبينما تتطلب صيغ الضبط القياسية (مثل ضبط الباب الخلفي) ملاحظة جميع الأسباب المشتركة، برزت طرق المتغيرات الوكيلة كحل قوي عبر الاستفاء من المتغيرات المرتبطة بالمربكات الكامنة. وضمن هذا النطاق، تطور إطاران منهجيان متميزان للتحديد غير المعلمي: نهج "معادلة الجسر" (Miao et al., 2018) ونهج "تفكيك المصفوفة" (Kuroki and Pearl, 2014; Allman et al., 2015). ورغم أن كلتا الطريقتين تستخدمان الوكلاء لمعالجة الإرباك الخفي، إلا أنهما تعتمدان على هياكل استقلال شرطي وآليات رياضية مختلفة. وقد كان غياب المقارنة الدقيقة بين افتراضاتهما الأساسية، ونطاق قابليتهما للتطبيق، والعلاقة بينهما، سببًا في وجود نقاش مستمر حتى بين أبرز المساهمين في هذا المجال.

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

1. نهج معادلة الجسر:

   • الآلية: تستعيد هذه الطريقة التوزيع المقابل (counterfactual distribution) مباشرة عن طريق حل المعادلات التكاملية (معادلات الجسر). وهي تعيد صياغة صيغة الضبط المربك القياسية باستخدام الوكلاء الملحوظين ($Z$ و $W$) لمتغير مربك غير مقاس ($U$) دون تحديد القانون المشترك الكامل للمتغيرات الكامنة والملحوظة.
   • الافتراضات الرئيسية:
     • الاستقلال الشرطي: $W \perp\!\!\perp Z, A \mid U$ و $Z \perp\!\!\perp Y \mid U, A$.
     • الاكتمال (الافتراض 6): شرط استقلال خطي معمم يتطلب أن $E[g(U) \mid Z, A] = 0 \implies g(U) = 0$. وفي الحالات المنفصلة، يعني هذا أن مصفوفة التوزيع الشرطي $P_{U|Z,A}$ قابلة للعكس من جهة اليمين.
     • حل معادلة الجسر (الافتراض 7): يتطلب وجود دالة $h$ بحيث يكون $f_{Y|Z,A} = \int h(w,a,y) f_{W|Z,A} dw$. وفي الحالات المنفصلة، يقابل هذا وجود مصفوفة $H$ تحقق $P_{Y|Z,A} = H P_{W|Z,A}$.
   • النتيجة: تحدد التوزيع التدخلي $f_{Y(a)}(y)$ ولكنها عمومًا لا تحدد الدوال المعتمدة على $U$ (مثل $f_{Y|U,A}$ أو $f_U$).

2. نهج تفكيك المصفوفة:

   • الآلية: تستعيد هذه الطريقة القانون المشترك الكامل للمتغيرات الكامنة والملحوظة (حتى حد تسميات الفئات الكامنة) عبر التفكيك الذاتي للقيم أو تفكيك الموتر، ومن خلاله تُشتق الآثار السببية. وهي متجذرة في نظرية Uniqueness لـ Kruskal (1977) لتفكيك CANDECOMP/PARAFAC.
   • الافتراضات الرئيسية:
     • الاستقلال الشرطي: $W \perp\!\!\perp A \mid U$ و $W, Z, Y$ مستقلة متبادلاً بشرط $U, A$.
     • شروط القابلية للعكس/الرتبة: تتطلب قابلية العكس (أو القابلية للعكس من جهة اليسار) للمصفوفات $P_{Z|U,A}$ و $P_{W|U}$.
     • شرط رتبة Kruskal: في النماذج المنفصلة، يعتمد تفرد التفكيك على عدم التساوي $2R + 2 \leq k_A + k_B + k_C$، حيث $R$ هي الرتبة (عدد الحالات الكامنة) و $k$ تشير إلى رتبة Kruskal لمصفوفات العامل.
     • عدم الارتباط الخطي: يجب أن تختلف التوزيعات الشرطية للنتيجة بمعلومية المتغير الكامن عبر الحالات الكامنة المختلفة.
   • النتيجة: تحدد القانون المشترك الكامل $f_{A,Y,U,W,Z}$ حتى حد تبديل التسميات الكامنة، مما يسمح باشتقاق $f_{Y(a)}(y)$.

النتائج الرئيسية والمقارنات
تقدم الورقة مقارنة دقيقة لهذين النهجين تحت هيكل الاستقلال الشرطي المشترك الموضح في الشكل 3 (حيث $Z$ و $W$ هما وكيلان للمربك غير المقاس $U$).

• النماذج المنفصلة:

  • إن افتراضات Kuroki and Pearl (2014) (المجموعة 1) أقوى من افتراضات Miao et al. (2018). وتحديدًا، فإن قابلية العكس لـ $P_{Z|U,A}$ و $P_{W|U}$ في نهج تفكيك المصفوفة تنطوي على وجود المعكوس الأيسر $P_{W|Z,A}$ المطلوب في نهج معادلة الجسر. وبالتالي، فإن نموذج Kuroki-Pearl يحتوي نموذج Miao et al.
  • ومع ذلك، عند مقارنة نهج معادلة الجسر مع شروط Kruskal المعممة (المجموعة 2)، نجد أن النموذجين غير متداخلين. فافتراضات معادلة الجسر لا تنطوي على عدم التساوي لرتبة Kruskal ($2R + 2 \leq k_A + k_B + k_C$)، ولا ينطبق العكس. وهذا يشير إلى أن كل إطار يغطي مناطق متميزة من فضاء النموذج.

• النماذج المستمرة:

  • توسع الورقة المقارنة لتشمل الإعدادات المستمرة، مستندة إلى Hu and Schennach (2008) و Deaner (2023) لنهج تفكيك المصفوفة.
  • يفترض المؤلفون أن النموذجين يظلان غير متداخلين في الحالة المستمرة، على غرار النتائج المنفصلة. ويقدمون مثالاً (نموذج خطي غاوسي) تتحقق فيه افتراضات كلا النهجين، مما يثبت وجود تداخل في القابلية للتطبيق.

• التقدير:

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

الأهمية والمساهمات
تتمثل المساهمة الأساسية لهذا العمل في توضيح العلاقة بين استراتيجيتين تأسيسيتين للتعرف على الوكيل. ومن خلال توليف الأدبيات، قام المؤلفون بـ:

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

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