-
Limited Voting for Better Representation?
Authors:
Maaike Venema-Los,
Zoé Christoff,
Davide Grossi
Abstract:
Limited Voting (LV) is an approval-based method for multi-winner elections where all ballots are required to have a same fixed size. While it appears to be used as voting method in corporate governance and has some political applications, to the best of our knowledge, no formal analysis of the rule exists to date. We provide such an analysis here, prompted by a request for advice about this voting…
▽ More
Limited Voting (LV) is an approval-based method for multi-winner elections where all ballots are required to have a same fixed size. While it appears to be used as voting method in corporate governance and has some political applications, to the best of our knowledge, no formal analysis of the rule exists to date. We provide such an analysis here, prompted by a request for advice about this voting rule by a health insurance company in the Netherlands, which uses it to elect its work council. We study conditions under which LV would improve representation over standard approval voting and when it would not. We establish the extent of such an improvement, or lack thereof, both in terms of diversity and proportionality notions. These results help us understand if, and how, LV may be used as a low-effort fix of approval voting in order to enhance representation.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Comparing Social Network Dynamic Operators
Authors:
Edoardo Baccini,
Zoé Christoff
Abstract:
Numerous logics have been developed to reason either about threshold-induced opinion diffusion in a network, or about similarity-driven network structure evolution, or about both. In this paper, we first introduce a logic containing different dynamic operators to capture changes that are 'asynchronous' (opinion change only, network-link change only) and changes that are 'synchronous' (both at the…
▽ More
Numerous logics have been developed to reason either about threshold-induced opinion diffusion in a network, or about similarity-driven network structure evolution, or about both. In this paper, we first introduce a logic containing different dynamic operators to capture changes that are 'asynchronous' (opinion change only, network-link change only) and changes that are 'synchronous' (both at the same time). Second, we show that synchronous operators cannot, in general, be replaced by asynchronous operators and vice versa. Third, we characterise the class of models on which the synchronous operator can be reduced to sequences of asynchronous operators.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
On the Graph Theory of Majority Illusions
Authors:
Maaike Los,
Zoé Christoff,
Davide Grossi
Abstract:
The popularity of an opinion in one's direct circles is not necessarily a good indicator of its popularity in one's entire community. For instance, when confronted with a majority of opposing opinions in one's circles, one might get the impression that one belongs to a minority. From this perspective, network structure makes local information about global properties of the group potentially inaccu…
▽ More
The popularity of an opinion in one's direct circles is not necessarily a good indicator of its popularity in one's entire community. For instance, when confronted with a majority of opposing opinions in one's circles, one might get the impression that one belongs to a minority. From this perspective, network structure makes local information about global properties of the group potentially inaccurate. However, the way a social network is wired also determines what kind of information distortion can actually occur. In this paper, we discuss which classes of networks allow for a majority of agents to have the wrong impression about what the majority opinion is, that is, to be in a 'majority illusion'.
△ Less
Submitted 11 July, 2023; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Proportional Budget Allocations: Towards a Systematization
Authors:
Maaike Los,
Zoé Christoff,
Davide Grossi
Abstract:
We contribute to the programme of lifting proportionality axioms from the multi-winner voting setting to participatory budgeting. We define novel proportionality axioms for participatory budgeting and test them on known proportionality-driven rules such as Phragmén and Rule X. We investigate logical implications among old and new axioms and provide a systematic overview of proportionality criteria…
▽ More
We contribute to the programme of lifting proportionality axioms from the multi-winner voting setting to participatory budgeting. We define novel proportionality axioms for participatory budgeting and test them on known proportionality-driven rules such as Phragmén and Rule X. We investigate logical implications among old and new axioms and provide a systematic overview of proportionality criteria in participatory budgeting.
△ Less
Submitted 4 May, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
Revisiting Epistemic Logic with Names
Authors:
Marta Bílková,
Zoé Christoff,
Olivier Roy
Abstract:
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. First, we study its model theory, providing adequate notions of bisimulation and frame morphisms, and use them to study the logic's expressive power and definability. Second, we show that the logic has a natural neighborh…
▽ More
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. First, we study its model theory, providing adequate notions of bisimulation and frame morphisms, and use them to study the logic's expressive power and definability. Second, we show that the logic has a natural neighborhood semantics, which in turn allows to show that the axiomatization in [10] does not rely on possibly controversial introspective properties of knowledge. Finally, we extend the logic with common and distributed knowledge operators, and provide a sound and complete axiomatization for each of these extensions. These results together put the original epistemic logic with names in a more modern context and opens the door for a logical analysis of epistemic phenomena where group membership is uncertain or variable.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy
Authors:
Zoé Christoff,
Davide Grossi
Abstract:
The paper provides an analysis of the voting method known as delegable proxy voting, or liquid democracy. The analysis first positions liquid democracy within the theory of binary aggregation. It then focuses on two issues of the system: the occurrence of delegation cycles; and the effect of delegations on individual rationality when voting on logically interdependent propositions. It finally poin…
▽ More
The paper provides an analysis of the voting method known as delegable proxy voting, or liquid democracy. The analysis first positions liquid democracy within the theory of binary aggregation. It then focuses on two issues of the system: the occurrence of delegation cycles; and the effect of delegations on individual rationality when voting on logically interdependent propositions. It finally points to proposals on how the system may be modified in order to address the above issues.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Liquid Democracy: An Analysis in Binary Aggregation and Diffusion
Authors:
Zoé Christoff,
Davide Grossi
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 als…
▽ More
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.
△ Less
Submitted 19 January, 2017; v1 submitted 23 December, 2016;
originally announced December 2016.
