Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results
University of Cologne（科隆大学）
本文用议程理论方法研究信念二值化聚合中不可能性定理的精确议程条件，分别确定了寡头结果、平凡性结果和不可能性结果对应的路径连通性与偶可否定性、否定连通性及阻塞性条件。
2023-07-11 cs.AI cs.GT cs.LO
Quantum voting and its physical interpretation
投票是一个有着不去定理的游戏。基于量子信息理论，给出了Arrow不可能定理的新证明.我们表明，阿罗维独裁者是相当于完美的克隆电路。我们提出了投票的\textit{Gedankenexperiment}和投票的Bell型不等式。我们用Landauer原理对表决进行了热力学解释。
2019-12-09 cs.GT quant-ph
Concave is the New Linear: The Impossibility of Anti-Plutocratic DAO Governance
Circle Research, USA（Circle Research）
本文证明在无许可区块链上，仅基于钱包余额决定投票权的机制无法有效防止权力集中，通过建模链上投票的成本，展示了Sybil攻击者通过分割钱包可获得线性增长的投票权，无论采用何种凹函数规则，最优策略的投票权在大额持有时仍呈线性增长。
2026-05-18 cs.CR cs.GT
Computing Voting Rules with Improvement Feedback
University of Southern California（南加州大学）
本文研究不完整反馈下的偏好聚合问题，聚焦改进反馈场景，刻画可计算的位置计分规则，发现相对多数可学习但多数规则及孔多塞一致规则存在不可能性，并通过实验补充理论结果。
2025-02-18 cs.AI cs.GT
Most Equitable Voting Rules
RPI（伦斯勒理工学院）
针对匿名性、中立性与可决定性不可兼得的ANR难题，本文提出最公平细化概念与MFP平局打破方法，并给出不可能性条件及多项式时间算法。
2023-07-13 cs.AI cs.GT econ.TH
Condorcet's Principle and the Preference Reversal Paradox
我们证明了每一个孔一致的投票规则可以被操纵的选民谁完全逆转他们的偏好排名，假设至少有4个替代品。这纠正了一个错误并改进了[Sanver，M. R.和Zwicker，W. S.（2009年）。单向单调性作为防策略的一种形式。Int J Game Theory 38（4），553-574.]对于恰好有4个备选方案的情况，我们恰好证明了这个不可能性结果可以被证明的投票者的数量。我们也显示类似的结果为不定投票规则。然后，我们利用我们的结果来陈述Gibbard-Satterthwaite定理的一个强形式。
2017-07-27 cs.GT
Weighted Voting Via No-Regret Learning
Carnegie Mellon University（卡内基梅隆大学）
投票制度通常平等对待所有选民。我们认为，也许他们不应该这样做：过去支持好选择的选民应该比支持坏选择的选民得到更高的权重。为了开发一个正式的框架，理想的加权方案，我们借鉴了无遗憾学习。具体地说，给定一个投票规则，我们希望设计一个加权方案，使得应用投票规则，投票者被该方案加权，导致几乎与事后最好的投票者所支持的选择一样好。我们得到的可能性和不可能性的结果存在这样的加权计划，取决于投票规则和加权计划是否是确定性的或随机的，以及社会选择公理所满足的投票规则。
2017-03-14 cs.AI cs.GT cs.LG
An Uncertainty- and Collusion-Proof Voting Consensus Mechanism in Blockchain
虽然区块链中基于投票的共识算法在能量和交易效率方面优于基于证明的算法，但它们容易导致错误选举和贿赂选举。前者源于候选人能力和可用性的不确定性;后者源于选民和候选人的利己主义。因此，在本文中，我们提出了一个不确定性和合谋的证明投票共识机制，包括选择压力为基础的投票共识算法和可信度评估算法。第一个算法可以减少候选人的不确定性的副作用，减少错误的选举，同时权衡效率和公平之间的平衡，选举矿工。第二种算法采用一种激励相容的评分规则来评价投票的可信度，通过使利己主义与利他主义相一致来激励选民报告对候选人的真实信念，从而避免贿赂选举。我们的工作的一个显着特点是从理论上分析所提出的投票共识机制的大偏差理论。在此基础上，引入{ \it有效选择阀}和{ \it有效价值期望}的概念，帮助系统设计者确定最优投票标准，引导候选人以最优方式行事，从而降低投票失败率.
2019-12-25 cs.GT
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections
在政党批准多赢家选举中，目标是根据选民对政党的批准选票将固定规模委员会的席位分配给政党。特别是，每个选民可以批准多个政党，每个政党可以分配多个席位。在这种情况下，两个核心要求是比例代表制和战略防范。直觉上，比例代表制要求每一个足够大的具有相似偏好的选民群体都在委员会中有代表。策略性要求没有一个选民可以通过误报自己的真实偏好而获益。我们发现，这两个公理是不相容的匿名党批准多赢家投票规则，从而证明了一个意义深远的不可能定理。这个结果的证明是通过在命题逻辑中将问题公式化，然后让SAT求解器显示公式是不可满足的来获得的。此外，我们展示了如何规避这种不可能性，考虑削弱战略\-防，这需要只有选民谁不赞成任何当选政党不能操纵。虽然大多数常见的投票规则失败，甚至这个薄弱的概念，strategyproofness，我们的特征Chamberlin-柯朗批准投票类Thiele规则的基础上，这个strategyproofness的概念。
2022-11-24 cs.GT econ.TH
Belief-Aware Pivotal Mechanism for DAO Committees
INESC-ID, Instituto Superior Técnico, Universidade de Lisboa（葡萄牙里斯本技术研究所、里斯本高等理工学院、里斯本大学）；Instituto de Telecomunicações, Instituto Superior Técnico, Universidade de Lisboa（葡萄牙电信研究所、里斯本高等理工学院、里斯本大学）
本文研究了去中心化自治组织治理委员会的二元决策过程，提出了一种基于区块链治理的机制，通过聚合专家信念实现最优决策，证明了在对齐和非对齐专家情况下的激励相容性。
2026-08-26 cs.GT cs.MA
Computing Voting Rules with Elicited Incomplete Votes
Harvard University（哈佛大学）
本文研究在仅查询部分候选人偏好（t<m）的条件下哪些投票规则可计算，完整刻画了可计算的位置评分规则并证明多数制与单一可转移投票的不可计算性，同时给出确定性与随机算法的查询复杂度上下界。
2024-09-26 cs.AI cs.GT
Proportionality and Strategyproofness in Multiwinner Elections
该研究针对基于认可票的多胜者选举规则，通过命题逻辑建模与SAT求解证明，弱比例性与弱策略防伪性无法同时满足，并讨论了相关公理问题。
2024-11-01 cs.GT cs.MA
Differential Voting: Loss Functions For Axiomatically Diverse Aggregation of Heterogeneous Preferences
University of California, Merced（加州大学梅尔德分校）
差异投票提出了一种统一框架，通过可微损失函数实现异质偏好聚合，支持多种经典投票规则，提升RLHF中偏好聚合的可控性和理论保证。
2026-01-25 cs.AI cs.GT
Detecting Possible Manipulators in Elections
操纵是一个具有根本重要性的问题，在这种情况下，选民战略性地行使投票权，而不是诚实地投票，以防止选择一个不太受欢迎的替代方案。Gibbard-Satterthwaite定理表明，不存在同时满足某些期望属性组合的防策略投票规则。研究人员试图通过域限制和操作的计算难度等方法来规避不可能结果。然而，这些方法已被证明具有局限性。由于防止操纵似乎是难以捉摸的，因此一个有趣的研究方向是检测操纵。基于此，我们开始了对选举中可能操纵者的检测研究。我们制定了两个相关的计算问题-联盟可能的操纵者（CPM）和联盟可能的操纵者给定的赢家（CPMW），其中一组可疑的选民作为输入，以计算他们是否可以是一个潜在的联盟可能的操纵者。在没有任何可疑组的情况下，我们制定了两个计算问题，即联盟可能的操纵者搜索（CPMS），联盟可能的操纵者搜索给定的赢家（CPMSW）。我们为这些问题提供了多项式时间算法，几个流行的投票规则。对于其他一些投票规则，我们证明了这些问题是NP完全的。我们观察到，检测操纵可能很容易，即使操纵是困难的，例如，在Borda投票规则的情况下。
2015-02-15 cs.GT cs.MA
Participation Incentives in Approval-Based Committee Elections
本文首次研究基于认可的委员会（ABC）投票规则的参与激励属性，证明ABC评分规则满足群体参与性、多数序贯规则不满足参与性，并给出序贯规则满足参与性的三类规避路径。
2023-12-14 cs.GT econ.TH
Semi-Random Impossibilities of Condorcet Criterion
孔多塞准则（Condorcet criterion，CC）是一个经典的、被广泛接受的投票准则。不幸的是，它与许多其他必要条件不相容，包括参与性（Par），中途单调性（HM），Maskin单调性（MM）和防策略性（SP）。这种不相容性通常被称为不可能性定理，并通过最坏情况分析来证明。以前的工作已经调查了在某些模型下发生这些不可能性的可能性，这些模型经常被批评为不切实际。我们通过证明第一组半随机不可能性来加强以前的工作，以满足CC和更一般的四个必要条件的组版本：对于任何足够大数目的投票者$n$、任何大小的组$1\le B\le \sqrt n$、任何投票规则$r$，并且在包括公平文化的{ \em半随机}模型的大类下，$r$满足CC和Par、CC和HM、CC和MM或CC和SP的可能性是$1-Ω(\frac{B}{\sqrt n})$。这与CC和Par（$B=1$）以及CC和SP（$B\le \sqrt n$）的现有下限相匹配，表明许多常用的投票规则在这种情况下已经是渐近最优的。
2022-08-18 cs.GT econ.TH stat.AP
Persuading Voters: It's Easy to Whisper, It's Hard to Speak Loud
Politecnico di Milano（米兰理工大学）
我们专注于以下自然的问题：是否有可能影响投票过程的结果，通过战略提供的信息，选民谁更新他们的信念理性？我们调查它是否是计算上易于处理的设计一个信令方案，最大限度地提高发送方的首选候选人当选的概率。我们关注Arieli和Babichenko（2019）最近引入的模型（即，没有代理间外部性），并且考虑$k$ -投票规则和多数投票作为解释性示例。允许私人信号的情况与只允许公共信号的限制性更强的情况之间存在鲜明的对比。在前者中，我们表明，一个最佳的信令方案可以有效地计算下的$k$ -投票规则和复数投票。在建立这些结果时，我们提供了两个一般（即，适用于投票以外的设置）捐款。具体来说，我们将Dughmi和Xu（2017）的一个众所周知的结果扩展到更一般的设置，并证明，当发送者的效用函数是匿名的时，计算最优信令方案是固定参数可处理的w.r.t.接收器的动作的数量。在公共信号的情况下，我们表明，发送方的最优预期收益不能近似在任何因素下的$k$投票规则。这个否定的结果很容易扩展到多数投票和效用函数是匿名的问题。
2019-09-23 cs.AI cs.GT
Deludedly Agreeing to Agree
我们研究的条件有关的不可能同意不同意的互动KD45信念模型（与模型的S5知识，这是在几乎所有的协议文献）。我们表明，即使当真理公理是不假设它原来的球员会发现它不可能同意不同意在相当广泛的条件。
2013-10-23 cs.GT cs.LO
The Impossibility of Strategyproof Rank Aggregation
University of Amsterdam（阿姆斯特丹大学）
本文证明了在至少四个选项的情况下，不存在同时满足一致性和策略证明性的排名聚合方法。
2026-09-29 cs.GT econ.TH
An Axiomatic Theory of Tie-Breaking: Impossibility, Characterization, and Decomposition
本文建立了一个抽象的打破平局的公理化理论，证明了在对称输入下不存在匿名且输出严格线性序的规则，刻画了唯一满足两个自然公理的输出划分规则，并证明了任何合理的严格打破平局规则可唯一分解为规范轨道划分与任意补全。
2026-05-15 cs.GT econ.TH math.CO
Of the People: Voting Is More Effective with Representative Candidates
University of Southern California（南加州大学）
鉴于阿罗和Gibbard和Satterthwaite关于顺序规则投票的经典不可能性结果，最近人们对描述普通投票规则如何接近社会最优状态感兴趣。为了量化近似的质量，很自然地将候选人和投票人视为嵌入在一个公共度量空间中，并询问与社会最优候选人相比，所选候选人离总体有多远。我们使用这个度量偏好模型来探索一个基本而及时的问题：当候选人代表人口时，人口的社会福利是否会改善？如果是这样，那么这个问题的答案取决于度量空间的复杂性，取决于多少？我们将注意力限制在最基本和最常见的社会选择设置上：一群选民，两个独立的候选人，以及多数人统治的选举。当候选人不代表人口时，已知由多数规则选择的候选人可以是社会最优候选人的三倍。我们研究了当候选人独立于选民群体时，这一比例如何提高。我们的结果是双重的：当度量是一条线时，比率从$3$提高到$4-2\sqrt{2}$，大致为$1.1716$ ;这个界限是紧的。当度量为任意时，我们给出了$1.5$的一个下界和一个常数上界，在多数规则的逼近比上严格优于$2$.肯定的结果部分取决于候选人是独立同分布的假设。然而，我们表明，独立性本身是不够的，以实现上限：即使当候选人是独立绘制的，如果候选人的人口可以从选民不同，然后上界的$2$的近似是紧的。
2017-08-26 cs.AI cs.GT
An Efficient and Sybil Attack Resistant Voting Mechanism
本文针对去中心化决策中的女巫攻击问题，基于贝叶斯机制设计提出一种通过财富存款和结果相关转移支付实现的投票机制，并证明其在参与者风险中性且拥有私人信息时同时满足抗女巫攻击性与高效性。
2024-07-01 cs.GT econ.TH
Cycles and Intractability in a Large Class of Aggregation Rules
我们引入了$(j,k)$ -Kemeny规则--Kemeny投票规则的推广，它将$j$ -chotomous弱序集合为$k$ -chotomous弱序。$(j,k)$ -Kemeny的特殊情况包括赞成投票、平均数规则和Borda平均数规则，以及Borda计数和多数投票。那么，为什么赢家问题对于其他规则都是计算上容易处理的，而对于凯梅尼却很难处理呢？我们发现，棘手的赢家决定$(j,k)$ -Kemeny规则首先出现在$j=3$，$k=3$水平。证明依赖于减少最大割加权比赛的相关问题，并揭示了计算复杂性产生的循环部分的基本分解的加权比赛成循环和上循环组件。因此，多数循环的存在--驱动阿罗不可能性定理和吉布斯-萨特思韦特定理的引擎--也是社会选择中计算复杂性的一个来源。
2018-10-01 cs.CC cs.DM cs.GT
