On the permutation invariance principle for causal estimands
Tong, Li
In many causal inference problems, multiple action variables share the same causal role, such as mediators, factors, network units, or genotypes, yet lack a natural ordering. To avoid ambiguity in interpretation, causal estimands should remain unchanged under relabeling, an implicit principle we refer to as permutation invariance. We formally characterize this principle, analyze its algebraic and combinatorial structure for verification, and present a class of weighted estimands that are permutation-invariant while capturing interactions of all orders. We further provide guidance on selecting weights that yield residual-free estimands, whose inclusion-exclusion sums capture the maximal effect, and extend our results to ratio effect measures.
في العديد من مسائل الاستدلال السببي، تمتلك متغيرات الإجراء المتعددة تأثيراً سببياً متطابقاً (مثل المتغيرات الوسيطة، العوامل، وحدات الشبكة، أو الأنماط الجينية)، لكنها تفتقر إلى ترتيب طبيعي. لتجنب الغموض التفسيري، يجب أن تحافظ المقدرات السببية على ثباتها تحت إعادة التسمية، وهو مبدأ ضمني يُعرّف باسم ثبات التبديل. يقدم هذا البحث توصيفاً رسمياً لهذا المبدأ، ويحلل طرق التحقق من بنيته الجبرية والتوافقية، ويقترح فئة من المقدرات المرجحة التي تكون ثابتة التبديل وتستطيع التقاط التفاعلات من جميع الرتب. يوفر البحث كذلك إرشادات لاختيار الأوزان بحيث تكون مقدرات الخلو من البواقي قادرة على التقاط أقصى تأثير من خلال مجموع الشمول-الاستبعاد، مع توسيع النتائج لتشمل مقاييس التأثير النسبية.
عندما تفتقر هذه المتغيرات إلى ترتيب جوهري، يكون الاعتبار الأساسي هو أن المقدرات السببية يجب أن تكون ثابتة التبديل، أي أن تعريف المقدر لا يجب أن يتغير بسبب إعادة تسمية المتغيرات. ومع ذلك، في الأدبيات الموجودة:
يتم ذكر مبدأ ثبات التبديل بشكل غير رسمي فقط (مثل "المقدرات المتماثلة" في Xia و Chan (2022))
يفتقد التعريف الرسمي والدراسة المنهجية
قد تؤدي الممارسات غير الحذرة إلى مقدرات تعتمد على التسميات، مما يسبب غموضاً تفسيرياً
بالنظر إلى K متغير إجراء X = {X₁, ..., Xₖ}، حيث يمتلك كل متغير حالتين Xₖ(1) و Xₖ(0)، الهدف هو تعريف مقدرات سببية ثابتة التبديل بحيث تحافظ على ثباتها تحت إعادة تسمية المتغيرات.
التعريف 1 (مصفوفة التبديل): مصفوفة التبديل هي مصفوفة ثنائية مربعة، حيث يوجد بالضبط واحد واحد في كل صف وكل عمود.
التعريف 2 (ثبات التبديل): متجه التباين Δ يكون ثابت التبديل إذا وفقط إذا كان لأي مصفوفة تبديل محفزة للأعمدة Pₒ، يوجد مصفوفة تبديل للصفوف Pᵣ بحيث PᵣH = HPₒ.
النظرية 1: متجه التباين Δ يكون ثابت التبديل إذا وفقط إذا كان لجميع σ ∈ P، R(HPₒ) = R(H)، حيث R(H) هي المجموعة متعددة الصفوف المولدة بواسطة مصفوفة التوليد H.