Efficient Elicitation of Collective Disagreements

ملخص تقني: الاستخلاص الفعال للخلافات الجماعية

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

المنهجية
يقدم المؤلفون نموذجًا احتماليًا لتفضيلات الناخبين ويقترحون تمثيلًا جديدًا يسمى مصفوفة التعددية (Plality Matrix).

• مصفوفة التعددية: بالنسبة لمجموعة من البدائل $A$، تسجل المصفوفة، لكل مجموعة جزئية $S \subseteq A$ ولكل بديل $a \in S$، الاحتمال $p_S(a)$ بأن يكون $a$ هو المصنف الأول ضمن $S$.
• التسلسل الهرمي للدرجات: يتم تصنيف المصفوفة حسب حجم المجموعة الجزئية $S$. تشير البيانات من "الدرجة $k$" إلى المدخلات حيث $|S|=k$. تقابل المقارنات الزوجية الدرجة 2، بينما تقابل درجات التعددية الكاملة الدرجة $m$.
• مستوى المقياس: يُعرَّف مقياس الخلاف بأنه من "المستوى $k$" إذا كان يمكن التعبير عنه باستخدام بيانات من الدرجة $k$ كحد أقصى، ولكن ليس من الدرجة $k-1$.
• بروتوكولات الاستخلاص: لتقدير مصفوفة التعددية دون طلب ترتيبات كاملة، يقترح المؤلفون بروتوكولين يعتمدان على تسلسلات من المقارنات الزوجية:
  1. سلسلة-$k$ ($k$-chain): يقوم الناخب بإجراء $k-1$ من المقارنات الزوجية المتتالية لتحديد الفائز ضمن مجموعة جزئية حجمها $k$.
  2. ترتيب-$k$ ($k$-ranking): يقدم الناخب ترتيبًا كاملًا لمجموعة جزئية من الحجم $k$ عبر المقارنات الزوجية.
     يحلل المؤلفون المقايضة بين إجمالي عدد الناخبين (الميزانية) والحد الأقصى للعبء المعرفي (عدد المقارنات لكل ناخب) المطلوب لتحقيق دقة تقدير معينة ($\epsilon$) بثقة ($1-\delta$).

المساهمات الرئيسية

1. صياغة مصفوفة التعددية: تُعرف الورقة مصفوفة التعددية كإطار لتنظيم بيانات التفضيل المجمعة حسب حجم المجموعة الجزئية، مما يسمح بتحليل مقاييس الخلاف بناءً على الحد الأدنى من المعلومات المطلوبة.
2. تحليل مستوى مقاييس الخلاف:
   • أُثبت أن مؤشر الاتفاق (Agreement Index) هو من المستوى 2، حيث يعتمد فقط على المقارنات الزوجية.
   • ثبت أن مقاييس تباين الرتب (Rank Variance) والانقسام (Divisiveness) هي من المستوى 3. ويوضح المؤلفون أن هذه المقاييس لا يمكن حسابها بالاعتماد فقط على البيانات الزوجية، حيث يمكن لملفات تعريف تفضيل متميزة أن تشترك في بيانات متطابقة من الدرجة 2 ولكنها تختلف عند الدرجة 3.
   • تثبت الورقة صرامة التسلسل الهرمي: لأي $k$، توجد ملفات تعريف تتطابق حتى الدرجة $k$ ولكنها تختلف عند الدرجة $k+1$.
   • يبني المؤلفون مقاييس محددة لكل مستوى $k$، مثل العزم المركزي $k$ لتوزيع الرتب (المستوى $k+1$)، والذي يلتقط خصائص مثل الالتواء (الدرجة 4) والتفرطح (الدرجة 5).
3. الافتراضات الهيكلية: ينهار التسلسل الهرمي إلى المستوى 2 تحت افتراضات هيكلية معينة. فإذا اتبعت تفضيلات الناخبين نموذج بلاكيت-لوس (Plackett-Luce model) أو كانت أحادية القمة (Single-peaked)، يمكن استعادة جميع المعلومات ذات الدرجات الأعلى من المقارنات الزوجية وحدها.
4. بروتوكولات الاستخلاص والمقايضات: تم تصميم بروتوكولين ($k$-chain و $k$-ranking) لتقدير مصفوفة التعددية. وتوضح التحليلات النظرية باستخدام متباينة هوفدينج (Hoeffding's inequality) المقايضة بين عدد الناخبين المطلوب والعبء المعرفي لكل ناخب. ويظهر المؤلفون أن السلاسل ($k$-chains) هي الأمثل لقيود العبء المعرفي المنخفض أو الجموع السكانية الكبيرة، بينما الترتيبات ($k$-rankings) أكثر كفاءة للمجتمعات الأصغر المستعدة للإجابة على استعلامات معقدة.

النتائج

• نظرية: تثبت الورقة أن العديد من مقاييس الخلاف القياسية (تباين الرتب، الانقسام) تتطلب بطبيعتها معلومات تتجاوز المقارنات الزوجية (الدرجة 3). كما تثبت أنه لا يمكن لأي مقياس من المستوى $k$ أن يميز بين الملفات التعريفية التي تتفق حتى الدرجة $k$.
• تجريبية/اصطناعية: توضح التجارب العددية على بيانات اصطناعية (باستخدام نماذج مثل Mallows و Plackett-Luce و Single-Peaked) أن مقاييس الدرجات الأعلى (الالتواء والتفرطح) يمكنها التمييز بين توزيعات الرتب أحادية المنوال وثنائية المنوال التي لا يمكن تمييزها عند المستوى 3.
• بيانات حقيقية: يظهر تحليل بيانات الانتخابات الحقيقية (Glasgow STV، وNSW Legislative Assembly، واستطلاع الرئاسة الفرنسية) أن الخلافات في العالم الحقيقي تشغل "مستوى العزوم" (الالتواء مقابل التفرطح) بطرق متنوعة، بما في ذلك التوزيعات ثنائية المنوال التي تشير إلى استقطاب بين معسكرين.
• كفاءة البروتوكول: تظهر الحدود المستمدة أنه بالنسبة لدقة ثابتة، فإن زيادة حجم المجموعة الجزئية $k$ (وبالتالي العبء المعرفي) يقلل من عدد الناخبين المطلوبين، ولكن فقط حتى الوصول إلى نقطة استيفاء قيد العبء المعرفي.

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