社会机制设计:低层次介绍
本文提供了一个计算机辅助证明,指出每个有效的聚合机制都可以针对代理人的偏好进行操作,这解决了一个悬而未决的问题并加强了现有定理的几个声明,并首次将SMT解算器应用于计算社会选择。
Apr, 2016
我们研究社会选择机制中的失真问题,提出了具有恒定样本复杂度和恒定失真度的社会选择机制Random Referee。我们证明了这种机制使用比较查询是必要的,通过正态指标证明了这种机制的失真最小,并介绍了一种只需要3个查询的机制Random Oligarchy。
Nov, 2018
研究了Minisum批准投票规则的泛化版本Conditional Minisum,在允许选民表达议题间依赖的同时保证了问题的高可计算性,并提供了一些用于该问题的近似和精确算法。
Feb, 2022
探讨了一种存在不完全偏好的代理人进行集体决策的过程,并聚焦于多数动态的过程,研究了这一过程对共识概念,如孔多塞胜者的影响,并表明在最坏情况下,盲目遵循多数意见会损害现有的共识。同时探讨了决策过程的主席通过决定讨论议题的顺序来控制共识的存在的情景。
Apr, 2022
本研究探讨在单峰偏好下社会选择设置中的公平性。我们提出了群体公平的概念,包括组内隐私和跨组公平性,证明了满足这些特性的社会选择规则可以分解为确定性规则的凸组合。此外,我们还提出了一些群体公正性概念的特殊情况下的特征。
Jul, 2022
本文分析了三种决策机制:轮流执行、最大Nash福利和leximin,并考虑了比例公正性及其放宽的公正性概念。研究表明,在离线设置中,三种机制都不能保证比例或近似比例结果,因此引入了一种新的公正标准,并表明leximin机制的变体满足新的公正标准。在在线设置中,不可能保证比例或其放宽条件,因此考虑了对应代理偏好的自然限制,并表明leximin机制保证最佳可能的加性逼近比例性并满足比例性的所有放宽条件。
May, 2023
本研究探讨了一个序贯决策模型,重点解决最大化功利福利和均等福利之间的复杂性问题,尤其是均等福利在计算上是NP完全的。研究发现,尽管功利福利的机制是策略无关的,但所有确定性机制在计算均等福利时都存在可操控性。通过引入参数复杂性分析和近似算法,该研究为理解福利机制的设计提供了新颖的见解。
Aug, 2024