-
New Characterizations of Strategy-Proofness under Single-Peakedness
Authors:
Andrew Jennings,
Rida Laraki,
Clemens Puppe,
Estelle Varloot
Abstract:
We provide novel simple representations of strategy-proof voting rules when voters have uni-dimensional single-peaked preferences (as well as multi-dimensional separable preferences). The analysis recovers, links and unifies existing results in the literature such as Moulin's classic characterization in terms of phantom voters and Barberà , Gul and Stacchetti's in terms of winning coalitions ("gene…
▽ More
We provide novel simple representations of strategy-proof voting rules when voters have uni-dimensional single-peaked preferences (as well as multi-dimensional separable preferences). The analysis recovers, links and unifies existing results in the literature such as Moulin's classic characterization in terms of phantom voters and Barberà , Gul and Stacchetti's in terms of winning coalitions ("generalized median voter schemes"). First, we compare the computational properties of the various representations and show that the grading curve representation is superior in terms of computational complexity. Moreover, the new approach allows us to obtain new characterizations when strategy-proofness is combined with other desirable properties such as anonymity, responsiveness, ordinality, participation, consistency, or proportionality. In the anonymous case, two methods are single out: the -- well know -- ordinal median and the -- most recent -- linear median.
△ Less
Submitted 16 June, 2022; v1 submitted 23 February, 2021;
originally announced February 2021.
-
Condorcet Domains, Median Graphs and the Single Crossing Property
Authors:
Clemens Puppe,
Arkadii Slinko
Abstract:
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We sh…
▽ More
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We show that every closed Condorcet domain is naturally endowed with the structure of a median graph and that, conversely, every median graph is associated with a closed Condorcet domain (which may not be a unique one). The subclass of those Condorcet domains that correspond to linear graphs (chains) are exactly the preference domains with the classical single crossing property. As a corollary, we obtain that the domains with the so-called `representative voter property' (with the exception of a 4-cycle) are the single crossing domains.
Maximality of a Condorcet domain imposes additional restrictions on the underlying median graph. We prove that among all trees only the chains can induce maximal Condorcet domains, and we characterize the single crossing domains that in fact do correspond to maximal Condorcet domains.
Finally, using Nehring's and Puppe's (2007) characterization of monotone Arrowian aggregation, our analysis yields a rich class of strategy-proof social choice functions on any closed Condorcet domain.
△ Less
Submitted 18 May, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs
Authors:
Adam Clearwater,
Clemens Puppe,
Arkadii Slinko
Abstract:
Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a pro…
▽ More
Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a profile that is intermediate with respect to that graph and that one may need at least as many alternatives as vertices to construct such a profile. We provide a polynomial-time algorithm to recognize whether or not a given profile is intermediate with respect to some median graph. Finally, we show that finding winners for the Chamberlin-Courant rule is polynomial-time solvable for profiles that are single-crossing on a tree.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
The single-crossing property on a tree
Authors:
Adam Clearwater,
Clemens Puppe,
Arkadii Slinko
Abstract:
We generalize the classical single-crossing property to single-crossing property on trees and obtain new ways to construct Condorcet domains which are sets of linear orders which possess the property that every profile composed from those orders have transitive majority relation. We prove that for any tree there exist profiles that are single-crossing on that tree; moreover, that tree is minimal i…
▽ More
We generalize the classical single-crossing property to single-crossing property on trees and obtain new ways to construct Condorcet domains which are sets of linear orders which possess the property that every profile composed from those orders have transitive majority relation. We prove that for any tree there exist profiles that are single-crossing on that tree; moreover, that tree is minimal in this respect for at least one such profile. Finally, we provide a polynomial-time algorithm to recognize whether or not a given profile is single-crossing with respect to some tree. We also show that finding winners for Chamberlin-Courant rule is polynomial for profiles that are single-crossing on trees.
△ Less
Submitted 8 October, 2014;
originally announced October 2014.