[論文レビュー] 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

ひとこと要約

本稿は、二値集合と意見拡散モデルを用いて液体民主主義を形式的分析する。代理投票の可視化を二値集合における欠席を伴うものとし、ブール型デグロート過程としてモデル化することで、収束が代表の循環の不在に依存することを示し、不動点論理が意見の安定化を検証できることを示し、よりレジリientな液体民主主義システムの理論的基盤を提供する。

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) で決定的かつ効率的に検証できる。