[论文解读] Liquid Democracy: An Analysis in Binary Aggregation and Diffusion

Zoé Christoff, Davide Grossi|arXiv (Cornell University)|Dec 23, 2016

Opinion Dynamics and Social Influence参考文献 18被引用 7

一句话总结

本文通过二元聚合与意见扩散模型，对液态民主进行了形式化分析。将可委托代理投票建模为带有弃权的二元聚合以及布尔德鲁特过程，表明收敛性取决于不存在委托环路，且固定点逻辑可用于验证意见稳定，为更稳健的液态民主系统提供了理论基础。

ABSTRACT

The paper proposes an analysis of liquid democracy (or, delegable proxy voting) from the perspective of binary aggregation and of binary diffusion models. We show how liquid democracy on binary issues can be embedded into the framework of binary aggregation with abstentions, enabling the transfer of known results about the latter---such as impossibility theorems---to the former. This embedding also sheds light on the relation between delegation cycles in liquid democracy and the probability of collective abstentions, as well as the issue of individual rationality in a delegable proxy voting setting. We then show how liquid democracy on binary issues can be modeled and analyzed also as a specific process of dynamics of binary opinions on networks. These processes---called Boolean DeGroot processes---are a special case of the DeGroot stochastic model of opinion diffusion. We establish the convergence conditions of such processes and show they provide some novel insights on how the effects of delegation cycles and individual rationality could be mitigated within liquid democracy. The study is a first attempt to provide theoretical foundations to the delgable proxy features of the liquid democracy voting system. Our analysis suggests recommendations on how the system may be modified to make it more resilient with respect to the handling of delegation cycles and of inconsistent majorities.

研究动机与目标

• 通过二元聚合与意见扩散的形式化框架对液态民主进行建模，建立其理论基础。
• 运用社会选择理论，研究委托代理系统中委托环路与个体非理性行为的影响。
• 分析网络中的意见扩散动态如何建模并缓解液态民主中的问题，如不一致的多数意见。
• 应用固定点逻辑与模态演算，对液态民主过程中意见收敛与稳定性的形式化验证。
• 为系统设计提供建议，以增强对委托环路与非理性结果的抗性。

提出的方法

• 将液态民主建模为带有弃权的二元聚合，将代理委托嵌入判断聚合框架，以分析集体结果。
• 引入“代理聚合器”，将个体意见与委托图映射为集体决策，其中参与者可直接投票或委托他人。
• 将委托网络表示为有向图，图中的环路对应潜在的不稳定性与集体弃权。
• 将意见扩散分析为布尔德鲁特过程——一种离散时间、确定性的模型，其中个体根据邻居观点更新自身意见。
• 使用模态μ-演算形式化刻画意见稳定，通过固定点公式如 μx·stb(p) ∨ [p]x 表达收敛性。
• 应用普遍模态 U 验证全局收敛性，确保所有参与者在所有议题上均稳定于一致意见。

实验结果

研究问题

• RQ1 如何将液态民主正式建模为带有弃权的二元聚合系统？
• RQ2 委托环路与液态民主中集体弃权概率之间存在何种关系？
• RQ3 布尔德鲁特过程在何种条件下收敛，其与代理投票结果稳定性的关系为何？
• RQ4 固定点逻辑能否用于形式化验证液态民主系统中意见的收敛性与合理性？
• RQ5 当议题在逻辑上相互关联时，如何在液态民主中保持个体与集体的理性？

主要发现

• 液态民主可嵌入带有弃权的二元聚合框架中，从而将已知的不可能性定理推广至代理投票系统。
• 液态民主中的委托环路与集体弃权风险直接相关，因环路会阻碍投票的稳定聚合。
• 用于建模液态民主中意见扩散的布尔德鲁特过程的收敛性，取决于环路的缺失与稳定影响者的存在。
• 个体在某一议题上意见的稳定，可通过固定点公式 μx·stb(p) ∨ [p]x 逻辑刻画，该公式捕捉了通往稳定个体的间接影响路径。
• 意见扩散过程的全局收敛性等价于公式 U(⋂p∈P μx·stb(p) ∨ [p]x) 的满足，该公式可使用现成的模型检测工具进行验证。
• 固定点逻辑提供了一种可判定且高效的方法（时间复杂度为 O(m·n)），用于验证液态民主系统是否将达到稳定且一致的结果。