[论文解读] Characterizations of Sequential Valuation Rules

Chris Dong, Patrick Lederer|arXiv (Cornell University)|Feb 23, 2023

Game Theory and Voting SystemsEconomics, Econometrics and Finance被引用 3

一句话总结

本文在顺序估值规则的类别中，对基于批准的委员会（ABC）投票规则进行了公理化表征，引入了新的‘一致委员会单调性’公理。研究表明，满足匿名性、中立性、非强制性与连续性的适当顺序估值规则，恰好是与步骤相关的顺序计分规则；并进一步表征了顺序Thiele规则以及三种著名的ABC规则：顺序批准投票、顺序比例批准投票和顺序Chamberlin-Courant投票。

ABSTRACT

Approval-based committee (ABC) voting rules elect a fixed size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. While these rules have recently attracted significant attention, axiomatic characterizations are largely missing so far. We address this problem by characterizing ABC voting rules within the broad and intuitive class of sequential valuation rules. These rules compute the winning committees by sequentially adding candidates that increase the score of the chosen committee the most. In more detail, we first characterize almost the full class of sequential valuation rules based on mild standard conditions and a new axiom called consistent committee monotonicity. This axiom postulates that the winning committees of size k can be derived from those of size k-1 by only adding candidates and that these new candidates are chosen consistently. By requiring additional conditions, we derive from this result also a characterization of the prominent class of sequential Thiele rules. Finally, we refine our results to characterize three well-known ABC voting rules, namely sequential approval voting, sequential proportional approval voting, and sequential Chamberlin-Courant approval voting.

研究动机与目标

• 为解决基于批准的委员会（ABC）投票规则，特别是广泛类别中的顺序估值规则，缺乏公理化表征的问题。
• 引入并形式化新的公理——一致委员会单调性，结合委员会单调性与一致性，以确保委员会的稳定且理性的顺序扩展。
• 将满足匿名性、中立性、非强制性与连续性的完整适当顺序估值规则类表征为与步骤相关的顺序计分规则。
• 进一步细化表征，以识别顺序Thiele规则及三种特定ABC规则：顺序批准投票、顺序比例批准投票和顺序Chamberlin-Courant批准投票。
• 通过公理化推理，确立克隆比例性作为区分顺序比例批准投票与其他顺序Thiele规则的关键属性。

提出的方法

• 引入顺序估值规则，通过基于选票-委员会对的估值函数，逐步选择使总分最大化的候选人以构建获胜委员会。
• 定义依赖于选票、委员会及其交集大小的估值函数，从而导出与步骤相关的顺序计分规则类别。
• 提出新的公理——一致委员会单调性，要求当两个不相交的选民群体独立地用相同候选人扩展委员会时，合并后的选民群体也应使用相同候选人扩展该委员会。
• 应用标准公理（匿名性、中立性、非强制性与连续性）以缩小规则类别，并推导估值函数的结构属性。
• 使用反证法与策略性选票配置构造，证明仅特定估值函数（如seqPAV的调和权重）满足克隆比例性及其他细化公理。
• 通过对Thiele计票函数进行案例分析，证明在所有顺序Thiele规则中，仅顺序比例批准投票满足克隆比例性。

实验结果

研究问题

• RQ1 哪些顺序估值规则满足匿名性、中立性、非强制性与连续性的温和标准公理？
• RQ2 如何形式化一致委员会单调性？它对顺序ABC投票规则施加了何种结构约束？
• RQ3 在所提出的公理下，哪些顺序估值规则等价于与步骤相关的顺序计分规则？
• RQ4 哪些顺序Thiele规则被额外公理（如克隆比例性）唯一表征？
• RQ5 在公理属性方面，顺序比例批准投票与其他顺序Thiele规则有何区别？

主要发现

• 所有满足匿名性、中立性、非强制性与连续性的适当顺序估值规则，均等价于与步骤相关的顺序计分规则，其中估值函数仅依赖于选票、委员会及其交集的大小。
• 满足适当性与一致委员会单调性的顺序估值规则类，恰好是与步骤相关的顺序计分规则类，为该类规则的使用奠定了坚实基础。
• 顺序批准投票是唯一满足一致性、委员会单调性与非强制性的顺序估值规则，其特征为调和计分函数。
• 顺序比例批准投票是唯一满足克隆比例性的顺序Thiele规则，从而将其与其他顺序Thiele规则区分开来。
• 顺序Chamberlin-Courant批准投票被表征为唯一估值函数仅依赖于交集是否非空的顺序估值规则，且委员会构建以最大化代表性多样性。
• 本文证明，除顺序比例批准投票外，任何其他顺序Thiele规则均不满足克隆比例性，通过构造特定选票配置表明该规则会选出本应因高支持度而优先的候选人。