Beyond Directed Acyclic Graphs: Causal Zeros and Causal Differential Equations

تخيل أنك محقق يحاول حل لغز، ولكن بدلاً من البحث عن أدلة، أنت تحاول معرفة ما الذي تسبب في ماذا. في عالم العلوم والبيانات، يُطلق على هذا اسم الاستدلال السببي (Causal Inference). لفترة طويلة، كانت أفضل أداة امتلكها المحققون هي مجموعة من القواعد المبنية على "الرسوم البيانية الموجهة غير الحلقية" (DAGs). فكر في الـ DAG كخريطة شوارع ذات اتجاه واحد؛ فهي تخبرك أنه إذا دفعت قطعة دومينو (السبب)، فستسقط القطعة التالية (الأثر)، لكنها تمنع منعاً باتاً القطعة الأولى من أن تسقط القطعة التي دفعتها. هذا يعمل بشكل مثالي لأشياء مثل "التدخين يسبب سرطان الرئة" أو "المطر يجعل العشب مبللاً". الاتجاه واضح، والخريطة عبارة عن خط مستقيم.

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

---

المشكلة في الشوارع ذات الاتجاه الواحد

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

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

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

دخول "الصفر السببي"

لإصلاح ذلك، يقدم المؤلفون شخصية جديدة للقصة: الصفر السببي (Causal Zero).

فكر في "الصفر السببي" ليس كشارع، بل كـ مجال مغناطيسي أو ورقة مطاطية مشدودة. إنها علاقة تمسك الأشياء معاً ولكن ليس لها اتجاه خاص بها. في "نموذجهم السببي الموسع"، تُرسَم هذه العلاقات كـ حواف فائقة (Hyperedges) (وهو مصطلح تقني لاتصال متعدد الاتجاهات) بدلاً من الأسهم.

إليك الخدعة السحرية: "الصفر السبسي" يجلس هناك، محايداً وبلا اتجاه، حتى تقوم بعملية تدخل (Intervention). والتدخل هو بمثابة عالم يتدخل ويقول: "سأقوم بتثبيت هذا المتغير".

تقترح الورقة أداة جديدة تسمى مُعامل التنشيط (Activation Operator). هذا المُعامل يشبه مفتاحاً يقلب الورقة المطاطية المحايدة إلى شارع ذي اتجاه واحد فقط عندما تحتاج إلى ذلك.

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

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

فك حلقة الزمن

تعالج الورقة أيضاً المشكلة الكبرى الثانية: الحلقات (Cycles).
الخرائط القياسية تكره الحلقات. فهي تقول: "لا يسمح بالدوائر!". لكن في العالم الحقيقي، حلقات التغذية الراجعة موجودة في كل مكان. منظم الحرارة (Thermostat) يقيس درجة الحرارة، فيقوم بتشغيل السخان، الذي يرفع حرارة الغرفة، والتي يقيسها منظم الحرارة مرة أخرى. إنها دائرة.

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

لشرح ذلك، قدموا المعادلات التفاضلية السببية (CDEs).

• المرحلة الانتقالية: عندما تكون الأشياء في حالة تغير (مثل تسخين الغاز)، يكون النظام عبارة عن خط مستقيم من السبب والنتيجة يتحرك عبر الزمن. إنه "عملية غير حلقية منبسطة زمنياً".
• مرحلة التوازن: بمجرد أن يستقر النظام (عندما يتوقف الغاز عن التغير)، يتوقف الزمن عن الأهمية، وتتبقى لك "الصفر السببي" الثابت (المعادلة $PV=nRT$).

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

ماذا يعني هذا للمستقبل

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

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

الخلايصة

بكلمات بسيطة، تقول هذه الورقة: "توقفوا عن محاولة حشر كل علاقة في سهم ذي اتجاه واحد. بعض العلاقات هي مجرد قواعد تمسك الأشياء معاً".

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

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