ملخص تقني: التصويت باستخدام الترتيبات الجزئية – فئات التعددية (Plurality) ومناهضة التعددية (Anti-Plurality)

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

تتناول الورقة مشكلة اتخاذ القرار الجماعي عندما يتم تمثيل التفضيلات الفردية كـ ترتيبات جزئية صارمة (strict partial orders) بدلاً من الترتيبات الخطية (linear orders) القياسية (التصنيفات الكاملة) المستخدمة في نظرية الاختيار الاجتماعي الكلاسيكية. إن اشتراط ترتيب كامل لمجموعة كبيرة من البدائل على الناخبين هو أمر مرهق للغاية في العديد من السيناريوهات العملية؛ لذا تسمح الترتيبات الجزئية للناخبين بالتعبير عن تفضيلات صارمة لبعض الأزواج مع البقاء في حالة حياد أو عدم القدرة على مقارنة غيرها.

يتمثل التحدي المركزي في توسيع قاعدة التعددية (Plurality rule) المعروفة (اختيار البديل الأكثر تكراراً في المراتب العليا) وقاعدة مناهضة التعددية (Anti-Plurality rule) (اختيار البديل الأقل تكراراً في المراتب الدنيا، والمعروف أيضاً باسم الفيتو/الاعتراض) لتشمل هذا النطاق. وتنشأ صعوبة رئيسية لأن الترتيب الجزئي قد يتضمن لدى الناخب عدة "بدائل عليا" (لا يفضل أياً منها على الآخر) أو عدة "بدائل دنيا" (لا يفضل أي منها على الآخر)، ويمكن أن تختلف هياكل هذه المجموعات بشكل كبير بين الناخبين. تسعى الورقة إلى تحديد وتوصيف فئات القواعد التصويتية التي تعمم هذه القواعد القياسية على الترتيبات الجزئية باستخدام المنهج البديهي (axiomatic characterisation).

2. المنهجية

يستخدم المؤلفون منهجاً بديهياً (axiomatic approach) ضمن نموذج يتضمن دوائر انتخابية متغيرة (حيث يمكن لأي مجموعة فرعية من مجموعة لا نهائية من الناخبين المشاركة).

النموذج

• البدائل: مجموعة منتهية $A$ حيث $|A| = m \geq 3$.
• التفضيلات: ترتيب جزئي صارم $\succ$ (غير انعكاسي، غير متماثل، ومتعدٍ).
• المجموعات الرئيسية:
  • $T(\succ)$: مجموعة البدائل العليا (العناصر القصوى).
  • $B(\succ)$: مجموعة البدائل الدنيا (العناصر الدنيا).
  • $NT(\succ)$ و $NB(\succ)$: مجموعات غير العليا وغير الدنيا، على التوالي.
• قواعد التصويت: دوال تربط ملفات الترتيب الجزئي بمجموعة غير فارغة من البدائل الفائزة.

قواعد التسجيل (Scoring Rules)

تركز الورقة على قواعد التسجيل الموضعية (positional scoring rules)، حيث يعتمد تسجيل البديل فقط على موقعه في مخطط التفضيل. ويحدد المؤلفون عدة فئات من القواعد بناءً على كيفية تخصيص الدرجات للمجموعات العليا والدنيا:

1. فئة التعددية (Plurality Class): تحصل البدائل غير العليا على درجة ثابتة $k'$، بينما تحصل البدائل العليا على درجات $\geq k'$، مع حصول بديل واحد على الأقل من البدائل العليا على درجة أعلى صراحةً.
2. فئة التعددية البسيطة (Simple Plurality Class): تحصل جميع البدائل العليا على نفس الدرجة $k$.
3. فئة التعددية البسيطة الرتيبة (Monotonic Simple Plurality Class): يزدزد الفرق بين درجات البدائل العليا والبدائل غير العليا كلما تناقص حجم المجموعة العليا (مما يكافئ "الأكثر حزماً" في التصنيفات العليا).
4. قاعدة التعددية الموحدة (Uniform Plurality Rule): قاعدة محددة يحصل فيها كل بديل علوي على نقطة واحدة وكل بديل غير علوي على 0.
5. فئات مناهضة التعددية (Anti-Plurality Classes): تُعرف بشكل متماثل، وتركز على المجموعات الدنيا (اللا-دنيا تحصل على درجة $k$، والدنيا تحصل على $\leq k$).

البديهيات (Axioms)

تعتمد التوصيفات على مجموعة من البديهيات، بما في ذلك البديهيات القياسية المعدلة للترتيبات الجزئية وبديهيات جديدة مستوحاة من التصويت بالقبول (approval voting):

• القياسية: المجهولية (Anonymity)، الحياد (Neutrality)، التعزيز/الاتساق (Reinforcement/Consistency)، والاستمرارية (Continuity).
• الاستجابة (Responsiveness): الإخلاص الجزئي (Partial Faithfulness - الناخب الواحد يختار البدائل العليا فقط)، الإخلاص (Faithfulness - الناخب الواحد يختار بالضبط البدائل العليا)، التجنب الجزئي (Partial Averseness - الناخب الواحد لا يختار جميع البدائل الدنيا)، والتجنب (Averseness - الناخب الواحد لا يختار أي بديل من البدائل الدنيا).
• التوافق (Congruity): توافق-T (إضافة ناخبين لا يصنفون $x$ كبديل علوي لا ينبغي أن يجعل $x$ يفوز) وتوافق-B (إضافة ناخبين لا يصنفون $x$ كبديل دني لا ينبغي أن يجعل $x$ يخسر).
• الانكماش/التوسع (Contraction/Expansion): قيود على كيفية تغير النتيجة عندما يقوم ناخب بتقليص مجموعته العليا أو توسيع مجموعته الدنيا.
• الخصائص التقنية: "العلويات فقط" (Tops-Only) و"الدنيات فقط" (Bottoms-Only) (النتائج تعتمد فقط على المجموعات العليا والدنيا).

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

توصيف قواعد التسجيل

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

عائلة التعددية (The Plurality Family)

تقدم الورقة توصيفات بديهية لفئات التعددية:

• النظرية 2: تنتمي قاعدة التصويت إلى فئة التعددية إذا وفقط إذا حققت المجهولية، والحياد، والتعزيز، والاستمرارية، والإخلاص الجزئي، وتوافق-T.
• النتيجة 3: يتم توصيف فئة التعددية البسيطة باستبدال الإخلاص الجزئي بـ الإخلاص.
• النظرية 4: يتم توصيف فئة التعددية البسيطة الرتيبة بإضافة بديهية الانكماش إلى بديهيات فئة التعددية البسيطة.
• النظرية 6: يتم توصيف قاعدة التعددية الموحدة عبر المجهولية، والحياد، والتعزيز، والإخلاص الجزئي، والانكماش القوي. ويعتمد الإثبات على إظهار أن الانكماش القوي يستلزم خاصية "العلويات فقط"، مما يقلل المسألة إلى حالة الترتيب الخطي حيث ينطبق توصيف سيكيجوتشي (2012).

عائلة مناهضة التعددية (The Anti-Plurality Family)

تُقدم نتائج متماثلة لفئات مناهضة التعددية:

• النظرية 9: تنتمي قاعدة التصويت إلى فئة مناهضة التعددية إذا وفقط إذا حققت المجهولية، والحياد، والتعزيز، والاستمرارية، والتجنب الجزئي، وتوافق-B.
• النتيجة 10: يتم توصيف فئة مناهضة التعددية البسيطة باستبدال التجنب الجزئي بـ التجنب.
• النظرية 11: يتم توصيف فئة مناهضة التعددية البسيطة الرتيبة بإضافة بديهية التوسع.
• النظرية 13: يتم توصيف قاعدة مناهضة التعددية الموحدة عبر المجهولية، والحياد، والتعزيز، والتجنب الجزئي، والتوسع القوي.

استقلال البديهيات

يوضح المؤلفون الاستقلال المنطقي للبديهيات المستخدمة في هذه التوصيفات (الافتراضات 7، 8، 14، 15) من خلال بناء قواعد مضادة تحقق كل البديهيات باستثناء واحدة. ومن الجدير بالذكر أنهم يسلطون الضوء على أن الاستمرارية ضرورية لتوصيفاتهم لفئات التعددية ومناهضة التعددية في سياق الترتيب الجزئي، بينما غالباً ما يمكن الاستغناء عنها في قاعدة التعددية للترتيب الخطي القياسي (مثل تشينج، 1996). وتنشأ هذه الضرورة من كون الهياكل المتغيرة للمجموعات العليا والدنيا في الترتيبات الجزئية تجعل بديهيات مثل توافق-T والانكماش أقل تقييداً بدون الاستمرارية.

التطبيقات على التصويت بالقبول (Approval Voting)

تظهر الورقة أن نتائجهم تنطبق على التصويت بالقبول، حيث يكون الاقتراع عبارة عن ترتيب جزئي بمجموعات عليا ودنيا منفصلة تغطي جميع البدائل ($T(\succ) \cap B(\succ) = \emptyset$ و $T(\succ) \cup B(\succ) = A$).

• النتيجة 16: قواعد التصويت بالقبول القائمة على الحجم (حيث يعتمد التسجيل على حجم مجموعة القبول) يتم توصيفها عبر بديهيات فئة التعددية البسيطة الرتيبة (مع الإخلاص الجزئي).
• النتيجتان 17 و 18: يتم توصيف قاعدة التصويت بالقبول القياسية عبر بديهيات قاعدة التعددية الموحدة وقاعدة مناهضة التعددية الموحدة، على التوالي.
• النتيجة 19: قواعد "مناهضة الحجم" في التصويت بالقبول (التي تفضل مجموعات القبول الأكبر) يتم توصيفها عبر بديهيات مناهضة التعددية البسيطة الرتيبة.

4. الأهمية والادعاءات

تدعي الورقة أنها تقدم أول توصيفات بديهية للقواعد الشبيهة بالتعددية والشبيهة بمناهضة التعددية لنطاق الترتيبات الجزئية. وتكمن أهميتها في:

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

يختتم المؤلفون بأنهم ركزوا على التعددية ومناهضة التعددية، لكن إطارهم يفتح الباب أمام تعميمات مماثلة لقواعد التسجيل الأخرى (مثل بوردا، والتراكمي، والتدريجي) لنطاق الترتيبات الجزئية.