[논문 리뷰] Liquid Democracy: An Analysis in Binary Aggregation and Diffusion

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

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))을 제공한다.