[论文解读] Individual Representation in Approval-Based Committee Voting

Markus Brill, Jonas Israel+2 more|arXiv (Cornell University)|Dec 9, 2021

Game Theory and Voting Systems被引用 6

一句话总结

本文引入了个体代表性（Individual Representation, IR）作为批准制委员会投票中的一种新公平准则，确保每个凝聚力选民群体能按其规模比例获得多名委员会成员代表。研究证明，检查IR的可行性在计算上是难以处理的，且常见投票规则即使在可行时也往往无法实现IR，尽管针对选民区间偏好存在高效的近似算法。

ABSTRACT

When selecting multiple candidates based on approval preferences of agents, the proportional representation of agents' opinions is an important and well-studied desideratum. Existing criteria for evaluating the representativeness of outcomes focus on groups of agents and demand that sufficiently large and cohesive groups are ''represented'' in the sense that candidates approved by some group members are selected. Crucially, these criteria say nothing about the representation of individual agents, even if these agents are members of groups that deserve representation. In this paper, we formalize the concept of individual representation (IR) and explore to which extent, and under which circumstances, it can be achieved. We show that checking whether an IR outcome exists is computationally intractable, and we verify that all common approval-based voting rules may fail to provide IR even in cases where this is possible. We then focus on domain restrictions and establish an interesting contrast between ''voter interval'' and ''candidate interval'' preferences. This contrast can also be observed in our experimental results, where we analyze the attainability of IR for realistic preference profiles.

研究动机与目标

• 将个体代表性（IR）正式化为一种公平准则，确保在凝聚力群体内部，每个选民都能按比例获得代表。
• 研究确定是否存在符合IR的委员会的计算复杂性。
• 评估常见批准制投票规则（如PAV、Rule X、seq-Phragmén）在IR可行时实现IR的能力。
• 探索领域限制（特别是选民区间和候选人区间偏好）下IR近似变得可行的条件。
• 通过真实偏好模型的实证评估，分析IR合规委员会的频率及规则表现。

提出的方法

• 将IR形式化为半强公正代表制的强化版本，要求每个凝聚力群体中的成员均按群体规模比例获得代表。
• 证明判断是否存在符合IR的委员会是NP难的，即使在受限情况下也是如此。
• 分析常见ABC规则（如PAV、Rule X、seq-Phragmén）在合成偏好数据集上实现IR的表现。
• 引入并分析两种领域限制：选民区间（VI）和候选人区间（CI）偏好，揭示IR近似能力上的显著差异。
• 设计一种多项式时间算法，对选民区间偏好实现（2,4）-近似IR。
• 在六种偏好生成模型（VI、CI、2D、IC、Urn、Mallows）上进行大规模实验，每组含100名选民和50名候选人，评估IR的可实现性及规则表现。

实验结果

研究问题

• RQ1 能否在批准制委员会投票中正式定义个体代表性（IR），并将其与基于群体的公平准则区分开来？
• RQ2 对于给定的偏好配置，判断是否存在符合IR的委员会在计算上是否可行？
• RQ3 当IR可行时，常见批准制投票规则（如PAV、Rule X、seq-Phragmén）在多大程度上能实现IR？
• RQ4 领域限制（特别是选民区间（VI）和候选人区间（CI）偏好）如何影响IR的近似能力？
• RQ5 在现实偏好配置中，IR合规委员会出现的频率如何？现有投票规则在多大程度上会选择此类委员会？

主要发现

• 检查是否存在IR合规委员会在计算上是难以处理的，即使在受限偏好结构下也是如此。
• 所有常见批准制投票规则都可能在存在IR合规委员会时仍无法选择它。
• 对于选民区间（VI）偏好，多项式时间算法可实现（2,4）-近似IR，表明其近似是可行的。
• 对于候选人区间（CI）偏好，无法实现非平凡的IR近似，凸显与VI的显著差异。
• 实验表明，在超过90%的选民区间（VI）和乌尔姆（Urn）模型偏好配置中存在IR合规委员会，尤其在委员会规模较大时更为明显。
• 当IR合规委员会存在时，PAV、序列PAV、序列Phragmén和Rule X等规则通常会选择它们，而seq-CC由于侧重于单次批准代表，很少会选择此类委员会。