Null player neutrality in TU-games: Egalitarian and Shapley solutions

ملخص تقني: حياد اللاعب الصفري في ألعاب القيمة القابلة للتحويل (TU-Games)

بيان المشكلة
في نظرية الألعاب التعاونية ذات المنفعة القابلة للتحويل (TU-games)، يتم عادةً تنظيم تخصيص القيمة بين اللاعبين من خلال بديهيات هيكلية مثل الكفاءة، والخطية، والتناظر. ويطرأ قطبان متنافران على الأدبيات: "قيمة شابلي" (Shapley value)، التي تجسد منظوراً هامشياً يكافئ اللاعبين بناءً على مساهماتهم الهامشية المتوقعة، وحل "التقسيم المتساوي" (equal division)، الذي يوزع قيمة الائتلاف الكبير بشكل موحد بغض النظر عن الإنتاجية الفردية.

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

يعالج البحث الفجوة بين هذين الطرفين من خلال تقديم بديهية جديدة، وهي حياد اللاعب الصفري (Null Player Neutrality)، لتحليل كيفية تأثير إضعاف المتطلبات الصارمة لخاصية اللاعب الصفري على مجموعة الحلول المقبولة.

المنهجية
يستخدم المؤلفون نهجاً بديهياً ضمن إطار ألعاب TU. وتتضمن المنهجية ما يلي:

1. تعريف بديهيات جديدة: يقدم البحث حياد اللاعب الصفري و dual (المقابل) له، وهو حياد اللاعب المُبطل (Nullifying Player Neutrality).
   • حياد اللاعب الصفري: لأي لعبة $v$ ولعبتين إضافيتين $w$ و $u$ يكون فيهما اللاعب $i$ لاعباً صفرياً، إذا كانت قيم الائتلافات الكبرى متساوية ($w(N) = u(N)$)، فإن العائد للاعب $i$ في الألعاب المضافة يجب أن يكون متطابقاً ($\phi_i(v+w) = \phi_i(v+u)$). وهذا يضعف خاصية التكافؤ الاستراتيجي الائتلافي الكلاسيكية، التي تتطلب بقاء العائد دون تغيير بغض النظر عن القيمة الإجمالية للعبة المضافة.
   • حياد اللاعب المُبطل: بديهية موازية لـ "اللاعبين المُبطلين" (الذين يقللون قيمة أي ائتلاف إلى الصفر).
2. التحليل المنطقي: يثبت المؤلفون العلاقات المنطقية بين البديهيات الجديدة والخصائص الموجودة (مثل خاصية اللاعب الصفري، والتكافؤ الاستراتيجي الائتلافي، وخاصية "اللاعب الصفري في بيئة منتجة").
3. مبرهنات التوصيف: باستخدام أساس ألعاب الإجماع (unanimity game) والخطية، يستنتج البحث شروطاً ضرورية وكافية لعائلات حلول محددة.

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

1. توصيف التركيبات الخطية (المبرهنة 2):
   تُظهر النتيجة الأساسية أن الكفاءة، والخطية، والتناظر، وحياد اللاعب الصفري تُوصّف بشكل فريد عائلة الحلول المعرفة بـ:
   $$\phi = \alpha \phi^{ED} + (1-\alpha) \phi^{Sh}$$
   حيث $\alpha \in \mathbb{R}$.

   • هذه العائلة توسع بشكل صارخ قيم شابلي المساواتية من نوع $\alpha$ (حيث $\alpha \in [0, 1]$) لتشمل أرقاماً حقيقية تعسفية.
   • تُعمم هذه النتيجة توصيف شابلي الكلاسيكي: فاستبدال خاصية اللاعب الصفري بـ "حياد اللاعب الصفري" الأضعف يوسع مجموعة الحلول من نقطة واحدة ($\alpha=0$، وهي قيمة شابلي) إلى عائلة من معامل واحد.
   • يوضح البحث أن خاصية اللاعب الصفري هي القيد المحدد الذي يفرض $\alpha = 0$.

2. المقارنة مع الأدبيات القائمة:

   • مقابل الرتابة الضعيفة (Weak Monotonicity): يقارن البحث نتيجته مع عمل فان دن برينك وآخرون (2013)، الذين وصفوا العائلة الفرعية $\alpha \in [0, 1]$ باستخدام الرتابة الضعيفة. يوضح المؤلفون أن حياد اللاعب الصفري مستقل منطقياً عن الرتابة الضعيفة ويسمح بـ $\alpha < 0$ و $\alpha > 1$، مما يوسع المجموعة المقبولة بشكل صارخ.
   • مقابل خاصية البيئة المنتجة: يقارن البحث مع عمل كاساجوس وهويتنر (2013)، الذين استخدموا خاصية "اللاعب الصفري في بيئة منتجة" لتوصيف العائلة الفرعية حيث $\alpha \geq 0$. يثبت المؤلفون أنه تحت شرط الخطية، تقتضي خاصية البيئة المنتجة وجود حياد اللاعب الصفري، لكن العكس غير صحيح، مما يفسر النطاق الأوسع للمبرهنة 2.

3. التحليل المزدوج للاعبين المُبطلين (المبرهنة 4):
   يقدم البحث تحليلاً موازياً لـ اللاعبين المُبطلين.

   • بخلاف حالة اللاعب الصفري، يُظهر أن حياد اللاعب المُبطل يكافئ التكافؤ المعياري الائتلافي (Proposition 2).
   • وبناءً على ذلك، فإن الكفاءة، والتناظر، وحياد اللاعب المُبطل تُوصّف بشكل فريد حل التقسيم المتساوي ($\phi \equiv \phi^{ED}$).
   • ومن الجدير بالذكر أن هذا التوصيف لا يتطلب بديهية الخطية، على عكس حالة اللاعب الصفري. وهذا يخلق انقساماً حاداً: حياد اللاعب الصفري يسمح باستمرارية من الحلول، بينما حياد اللاعب المُبطل يحصر المجموعة في حل واحد.

الأهمية والادعاءات
يزعم البحث أن تقديم "حياد اللاعب الصفري" يوفر "منطقة وسطى طبيعية" تخفف من الصرامة المعيارية لخاصية اللاعب الصفري دون التخلي عن الانضباط الهيكلي للكفاءة والتناظر.

• الآثار المعيارية: يسمح التخفيف بإيجاد حلول يمكنها تعويض اللاعبين الصفريين (عندما تكون $\alpha > 1$) أو معاقبة مكون التقسيم المتساوي بالنسبة لقيمة شابلي (عندما تكون $\alpha < 0$)، مما يوفر أساساً بديهياً أكثر مرونة لدراسة التضامن وإعادة التوزيع.
• الرؤية الهيكلية: يسلط العمل الضوء على عدم تماثل جوهري في نظرية الألعاب التعاونية: فمعاملة اللاعبين الصفريين (الذين لا يضيفون قيمة) تسمح بطيف من التخصيصات، بينما معاملة اللاعبين المُبطلين (الذين يدمرون القيمة) تفرض التقسيم المتساوي بصرامة.
• التوحيد النظري: من خلال توسيع قيم شابلي المساواتية من نوع $\alpha$ لتشمل $\alpha \in \mathbb{R}$، يوفر البحث إطاراً موحداً يشمل كل من التطرفات الهامشية والمساواتية وما بينهما.

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