How Many Votes is a Lie Worth? Measuring Strategyproofness through Resource Augmentation
Carnegie Mellon University（卡内基梅隆大学）；Foundations of Cooperative AI Lab (FOCAL)（合作人工智能基础实验室）；University of Oxford（牛津大学）；Bar-Ilan University（巴伊兰大学）
通过资源增强测量策略性，研究不同投票规则的操纵潜力，证明排序计数在操纵潜力上表现最佳。
2026-11-11 cs.GT
Reverse Sequential Proportional Approval Voting Rule: Proportionality and Approximation Guarantees
University of Warsaw（华沙大学）
本文分析反向顺序比例批准投票规则（RevSeqPAV）在委员会选举中的比例代表性与PAV分数近似保证，指出一般情形下存在强否定结果，但在特定设置中能提供公平与优化保证。
2026-09-29 cs.AI cs.GT
Obvious Manipulability of Voting Rules
UNSW Sydney（悉尼新南威尔士大学）
Gibbard-Satterthwaite定理指出，没有一致和非独裁的投票规则是防策略的。我们重新审视了投票规则，并考虑了Troyan和Morrill（2020）提出的一个较弱的防策略性概念，称为不明显的可操纵性。我们确定了几类投票规则，满足这一概念。我们还表明，一些投票规则，包括k-批准不满足此属性。我们的特征条件下，投票规则显然是操纵。我们的见解之一是，当备选方案的数量与选民数量相比相对较大时，某些规则显然是可以操纵的。与Gibbard-Satterthwaite定理相反，我们研究的许多规则显然是不可操作的。这反映了相对更容易满足的概念和零信息假设不明显的可操作性，而不是完美的信息假设的策略。我们还提出了算法的结果计算明显的操纵和实验报告。
2022-06-14 cs.AI cs.GT cs.MA
Robust and Verifiable Proportionality Axioms for Multiwinner Voting
当根据选民的偏好选择一部分候选人（所谓的委员会）时，比例代表制往往是一个主要的必要条件。在超越政党名单或地区选举等简单化模式时，正式把握比例性是令人惊讶的挑战。因此，文献产生了许多竞争性的标准，当一个选定的委员会有资格作为比例。两个最突出的概念是达米特的比例坚实的联盟（PSC）和阿齐兹等人。的扩展合理表示法（EJR）。两者都保证了具有非常相似偏好的选民群体的比例代表制;这些群体被Dummett称为稳固联盟，Aziz等人称为凝聚力群体。在本文中，我们提出了比例公理，更强大的：他们保证代表性也不合格的固体或凝聚力的群体。此外，我们的新公理可以很容易地验证：给定一个委员会，我们可以在多项式时间内检查它是否满足公理。这与许多已建立的概念（如EJR）形成对比，已知EJR的相应验证问题是棘手的。在设置与批准的偏好，我们提出了一个强大的和可验证的变体EJR和一个简单的贪婪的程序来计算委员会满足it. In设置与排名的偏好，我们提出了一个强大的变体PSC，它可以有效地验证，即使是一般的弱偏好。在严格偏好的特殊情况下，我们的概念是第一个已知的可满足比例公理，违反了单一可转移投票（STV）。我们还讨论了我们的研究结果的影响，参与式预算，查询程序，以及比例度的概念。
2023-02-03 cs.GT
Proportionality in Committee Selection with Negative Feelings
我们研究了一类选举，其中的输入格式是不确定的，并允许选民明确地引出他们的负面情绪。特别是，我们研究了多赢家选举与一个特殊的倾向，选举比例代表委员会。也就是说，我们设计了各种公理来处理负面情绪，并建议一些结构，这些偏好，允许更好的偏好聚合规则。我们提出了两种不同的公理类，旨在更有效地聚合不确定性偏好。我们提出了一些著名的多赢家投票规则，并报告他们的可满足性我们的公理的promisomous版本。因此，与我们的模拟报告作为证据，我们建立在我们的比例为基础的公理的社会最优性，以评估质量的投票规则，选举一个比例代表委员会与不确定的选票作为输入。
2021-01-13 cs.GT
Verifying Proportionality in Temporal Voting
Northwestern University（西北大学）；Carleton University（卡尔顿大学）；National University of Singapore（新加坡国立大学）；University of Oxford（牛津大学）
针对固定时间范围的时序投票模型，研究验证给定结果比例代表性的复杂度，发现其严格高于多获胜者投票，但识别出可实现高效算法的自然特殊情况。
2025-02-09 cs.AI cs.GT
Trading Proportionality for Strategic Robustness in Multi-Winner Approval Voting
The Open University of Israel（以色列开放大学）
研究风险规避委员会选择的防策略性程度，将RAT程度框架扩展到基于批准的委员会选择，聚焦比例批准投票规则，通过建立界限表明其在不同选民选票知晓数量下对安全操纵的敏感性。
2026-09-24 cs.GT
Candidate Monotonicity and Proportionality for Lotteries and Non-Resolute Rules
School of Computing, National University of Singapore（新加坡国立大学计算机学院）
本文研究了多赢家投票规则中候选人单调性和比例性的设计，证明了固有联盟比例性公理下的委员会集合具有候选人单调性，并展示了Phragmén有序规则如何转化为概率规则。
2025-12-04 cs.GT
Perpetual Voting: The Axiomatic Lens
最近引入了永久投票制，作为长期集体决策的框架。在这个框架内，我们考虑了一系列随后的基于批准的选举，并试图实现一个公平的整体结果。为了在一段时间内实现公平，永久投票规则考虑了以前决策的历史，并确定了对以前决策不满意的选民。在本文中，我们从公理化的角度来看待永久投票规则，并研究两个主要问题。首先，我们要问，在满足基本需求的同时，这样的规则可以有多简单。对于两个简单但自然的类，我们充分刻画了公理化的可能性。第二，我们要问的是，在永久投票中，如何将比例正式化。我们研究比例简单的配置文件，相当于分配设置，并表明，较低和较高的配额公理可以用来区分（有时表征）永久投票规则。此外，我们显示了一个令人惊讶的永久规则之间的联系，称为永久共识和弗雷格的分摊方法。
2021-04-30 cs.GT
Gibbard-Satterthwaite Success Stories and Obvious Strategyproofness
Gibbard-Satterthwaite不可能性定理认为，独裁是唯一的帕累托最优和战略防护的社会选择功能的全部域的偏好。机制设计中的许多工作都是为了绕过这个不可能定理。三个伟大的成功故事脱颖而出。在单峰值偏好、房屋匹配和准线性偏好领域，存在有吸引力的帕累托最优和防策略的社会选择函数。我们调查这些成功案例是否对加强战略防御性到明显的战略防御性（OSP）具有鲁棒性，最近由Li（2015）提出。对于单峰的偏好，我们的特点是类的OSP可实现的和一致的社会选择功能的独裁者与极端主义的保障机制（原来也是帕累托最优），独裁者可以选择的结果，但其他代理人可能会阻止独裁者选择一个结果，这是太极端。因此，中位数投票是不能在OSS中实现的。事实上，只有在OSP中可实现的分位数规则选择最小或最大理想点。对于房子匹配，我们的特点是类的OSP实现和帕累托最优匹配规则的顺序易货与潜伏者-一个显着的概括超过专横的双极系列独裁规则的变体。虽然Li（2015）表明，当只出售一件商品时，第二价格拍卖是可实现的，但我们表明，这个积极的结果并不适用于多件商品的情况。即使当所有代理人对商品的偏好是准线性和可加性的，没有福利最大化的拍卖，失败者不支付任何是OSP-implementable当一个以上的好被出售。我们的分析利用了一个渐进的启示原则，一个模拟的（直接）启示原则的OSP机制，我们提出并证明。
2017-03-18 cs.GT
Approval-Based Multiwinner Voting with Candidate Qualities
Hasso Plattner Institute, University of Potsdam（波茨坦大学哈索·普拉特纳研究所）；Eindhoven University of Technology（埃因霍温理工大学）
本研究提出带候选人质量分数的基于批准的多人投票模型，引入新公理并设计规则，在保证比例性的同时保留至少3/4最优总质量。
2026-09-09 cs.GT
Proportional Budget Allocations: Towards a Systematization
我们致力于将比例公理从多赢家投票设置提升到参与式预算编制的方案。我们为参与式预算定义了新的比例公理，并在已知的比例驱动规则（如Phragmén和规则X）上对其进行了测试。我们研究了新旧公理之间的逻辑含义，并对参与式预算中的比例标准进行了系统的概述。
2022-05-04 cs.GT
Strengthening Proportionality in Temporal Voting
University of Oxford, UK（牛津大学）；Northwestern University, USA（西北大学）
本文通过引入EJR+和FJR等更强公理，加强时序投票中的比例代表性，建立丰富的比例概念层次，并证明EJR+和FJR在所有时序选举中均可满足。
2025-05-28 cs.AI cs.GT
Completing Priceable Committees: Utilitarian and Representation Guarantees for Proportional Multiwinner Voting
该研究聚焦比例多胜者投票中的委员会遴选问题，提出一类基于可定价性弱化的投票规则，结合补全策略可实现最优覆盖率与渐近最优功利福利，还解答了已有开放问题并拓展了相关研究方向。
2023-12-13 cs.GT
Mixed Voting Rules for Participatory Budgeting
University of Warwick（华威大学）；University of Oxford（牛津大学）；TU Eindhoven（埃因霍温理工大学）
提出混合投票规则，结合贪婪规则与等额分配法，在功利福利与比例代表性间取得平衡，并通过理论分析和真实选举数据验证其有效性。
2026-07-29 cs.GT
Justified Representation: From Hare to Droop
本文针对赞成票多获胜者投票场景，系统研究了以Droop配额替代Hare配额定义的各类JR类比例性公理，找到了对应满足规则，拓展了可满足比例性公理的边界，并通过实验验证了Droop版本公理要求更高。
2025-08-01 cs.GT
Explanation Systems for Approval-Based Multiwinner Voting
Hasso Plattner Institute, University of Potsdam（波茨坦大学哈索·普拉特纳研究所）；Shanghai University of Finance and Economics（上海财经大学）
本文研究了基于批准投票的多赢家投票中的解释系统，旨在量化委员会对选民的代表性，分析选民影响力分配及候选人支持情况，并提出价格系统框架及多项公理。
2026-04-27 cs.GT
Proportionality and the Limits of Welfarism
我们研究了19世纪90年代由Phragmén和Thiele提出的两个有影响力的投票规则，这些规则选出了一个由k名候选人组成的委员会或议会，这些候选人按比例代表选民。选民通过批准任意数量的候选人来提供他们的偏好。先前的工作提出了Thiele规则（现在称为比例批准投票，PAV）满足的比例公理，但不是Phragmén规则。通过提出两个新的比例公理（层状比例和价格）满足Phragmén，但不是Thiele，我们表明，这两个规则实现了两种不同形式的比例代表。Phragmén的规则确保所有选民对委员会有类似的影响力，而Thiele的规则确保公平的效用分配。Thiele规则是一种福利主义投票规则（最大化选民效用函数的规则）。我们表明，没有福利主义规则可以满足我们的新公理，我们证明，没有这样的规则可以满足核心。相反，一些福利主义的公平属性不能由Phragmen型规则保证。这就明确了两种比例之间的区别。然后，我们引入了一个有吸引力的委员会规则，方法的平等份额，它满足的核心和扩展合理的代表性（EJR）之间的中间属性。它满足分层比例性、价格性，并且可以在多项式时间内计算。我们表明，我们的新规则提供了一个对数近似的核心。另一方面，PAV提供了一个因子2近似的核心，这个因子是最佳的规则，是公平的意义上的庇古-道尔顿原则。
2022-10-31 cs.GT econ.TH
Robust Committee Voting, or The Other Side of Representation
本研究提出随机化委员会投票规则，在保持事后比例性的同时实现事前中性、单调性和连续性，通过算法稳定性提供稳健性，并展示了其在动态投票和隐私敏感场景中的应用。
2025-06-23 cs.GT
Differentially Private Condorcet Voting
Peking University（北京大学）；Rensselaer Polytechnic Institute（伦斯勒理工学院）；Guangzhou University（广州大学）
本文在差分隐私框架下提出基于Condorcet方法的随机投票规则新家族，证明其满足多种公理性质，并将差分隐私作为投票公理探讨其与其他公理的关系。
2022-08-23 cs.AI cs.GT
A Generalised Theory of Proportionality in Collective Decision Making
本文提出集体决策中比例性的一般化理论，将委员会选举、多样性约束选举、公共决策和集体调度统一建模，提出不依赖预定义群体的比例性公理，并将PAV和Phragmén规则推广到拟阵约束下满足公理。
2023-10-10 cs.GT cs.MA
Reconfiguring Proportional Committees
研究批准投票中比例委员会的重构连通性，证明JR委员会集合不连通且判定连通性为PSPACE完全，但任意两个JR委员会可通过JR的2-近似连通，并扩展至EJR及著名投票规则。
2025-04-21 cs.GT
Full Justified Representation in Temporal Voting: Efficient Computation and Verification
University of Oxford（牛津大学）
本文提出时间FJR+公理，可在多项式时间内计算和验证时间投票中的完全正当代表，并证明其严格强于FJR与EJR+，通过修改PAV得分实现高效算法。
2026-09-30 cs.GT
On Minimal Achievable Quotas in Multiwinner Voting
Technical University of Munich（慕尼黑工业大学）
本文研究了多胜票选中实例依赖的最小配额问题，证明了投票规则与最优配额间的加性差距，并提出了一种整数线性规划方法来计算满足α-JR的委员会。
2026-02-17 cs.CC cs.GT
The Price of Proportional Representation in Temporal Voting
University of Oxford（牛津大学）
研究时间投票模型中比例代表与社会福利的权衡，证明比例代表会带来递增但亚线性的效用损失，且不同比例代表公理对效用损失的影响不同。
2026-05-11 cs.AI cs.GT cs.LG
A Linear Theory of Multi-Winner Voting
Rutgers University-New Brunswick（罗格斯大学新不伦瑞克分校）；DIMACS
本文引入了一个通用的线性框架来统一多赢家投票规则和比例性公理，利用 PAC 学习理论建立了样本复杂度上界，并在扩展的分布下分析了规则性质的概率，为社会选择应用提供了新工具。
2025-03-05 cs.GT cs.LG econ.TH
Proportionality Degree of Multiwinner Rules
我们研究了基于批准偏好的多赢家选举。一个多赢家选举的实例由一组备选方案、一群投票者（每个投票者批准一个备选方案子集）和所需的委员会规模$k$组成;目标是根据投票者的偏好选择一个$k$备选方案委员会（一个子集）。我们调查了一些选举规则，并询问他们选出的委员会是否按比例代表选民。与经典文献相比，我们采用定量技术，允许测量所考虑的规则成比例的程度。这使我们能够以清晰的层次结构安排规则。例如，我们发现，比例批准投票（PAV）有更好的比例保证比它的顺序对应，Phragmén的顺序规则是比顺序PAV差。然而，这两个顺序规则的比例损失是适度的，在某些情况下，可以被它们的其他吸引人的属性所抵消。最后，我们衡量的比例和功利效率之间的权衡委员会选举规则的一个广泛的子类。
2019-10-14 cs.GT cs.MA
The Impossibility of Strategyproof Rank Aggregation
University of Amsterdam（阿姆斯特丹大学）
本文证明了在至少四个选项的情况下，不存在同时满足一致性和策略证明性的排名聚合方法。
2026-09-29 cs.GT econ.TH
Limited Voting for Better Representation?
本文首次对多当选者选举中的 Limited Voting 规则进行了正式分析，研究了其相较于标准 approval voting 改善代表性的条件及程度，并探讨了其作为低投入修复方案以增强代表性的可行性。
2024-07-25 cs.GT cs.MA
Maximum Flow is Fair: A Network Flow Approach to Committee Voting
本文研究委员会投票中的事前公平概率分布计算，提出群体资源比例性公理，并利用最大流网络设计两种兼顾公平性、效率与防策略性的投票规则，同时实现了两全其美的公平性。
2024-12-27 cs.GT econ.TH
Beyond Lower Quota: Avoiding Overrepresentation in Multi-Winner Voting
University of Warwick（华威大学）；University of Applied Sciences St. Pölten（圣珀尔滕应用科技大学）；WU Vienna University of Economics and Business（维也纳经济与商业大学）；TU Wien（维也纳工业大学）；Shanghai University of Finance and Economics（上海财经大学）
本文提出避免过度代表的公理JUQ，引入复合Thiele规则并刻画满足该公理的Adams-AV规则，同时提出平衡避免不足与过度代表的公理JNQ。
2026-06-19 cs.GT
Consistent Approval-Based Multi-Winner Rules
本文是对基于一致认可的多赢家规则的公理化研究，即，根据批准选票选择固定规模的候选人组的投票规则。我们引入了计数规则类，并基于一致性公理给出了该类的公理化刻画。在此基础上，我们公理化地描述了三个重要的一致的多赢家规则：比例批准投票，多赢家批准投票和批准Chamberlin-Courant规则。我们的研究结果证明了多种多样的多赢家规则，并说明了三个不同的，正交的原则，多赢家投票规则可能代表：个人的卓越性，多样性和比例。
2019-10-23 cs.DM cs.GT cs.MA
Committee Monotonicity and Proportional Representation for Ranked Preferences
本文提出SCR委员会投票规则，首次同时满足委员会单调性与团结联盟比例性（PSC），并证明其他公平性概念与单调性不兼容，同时反驳了Graham-Squire等人的猜想。
2025-03-10 cs.GT
Proportional Participatory Budgeting with Additive Utilities
我们研究参与式预算的投票规则，一组选民集体决定哪些项目应该使用共同的预算。我们允许项目有任意的成本，投票人对项目有任意的附加估值。我们制定了一个公理（扩展正当代表，EJR），保证比例代表具有共同利益的选民群体。我们提出了一个简单而有吸引力的投票规则，称为方法的平等份额，满足这一公理的任意成本和批准的公用事业，并满足公理的任意添加剂估值的一个项目。该方法可以在多项式时间内计算。相比之下，我们表明，在委员会选举中实现比例的标准方法，比例批准投票（PAV），不能扩展到任意成本的工作。最后，我们介绍了一个加强公理（充分合理的表示，FJR），并表明它也是可满足的，但计算更昂贵，更不自然的投票规则。
2022-10-16 cs.GT econ.TH
Proportional Representation in Temporal Voting with Ranked Preferences
Ariel University（阿里埃勒大学）；University of Oxford（牛津大学）
本文研究时间投票中排序偏好的比例代表制，提出多种截止点解释下的公理层级，分析各公理的可保证性及所需未来知识，并证明检查复杂性。
2026-09-28 cs.AI cs.GT
Method of Equal Shares with Bounded Overspending
University of Warsaw（华沙大学）；University of Oxford（牛津大学）
本文提出有界超支的均等份额法（BOS Equal Shares），在保持公平性保证的同时平衡比例性与效率，并通过真实参与式预算实例验证其在多个指标上的优异表现。
2025-07-07 cs.AI cs.GT cs.MA
