Reference functions and possibility theorems for cardinal social choice problems

Suppose a "democratic" society must decide between several options, but the members of society do not unanimously agree on the desirability of the different options. Each member has his or her own ranking, and the goal is to transform this set of preference orders into a single preference order for society as a whole. The top-ranked outcomes according to that social order is what one calls a social choice rule. Ideally a social choice rule should have various desirable features, such as being nondictatorial (the social choice rule does not simply select one person's ranking and ignore the others) and monotonic (if one individual promotes an option on his or her ranking, the societal ranking of this option should not go down). In 1972 Kenneth Arrow won the Nobel Prize in economics for his work on social choice theory, in particular his "impossibility theorem." This theorem states that if society consists of at least two people and there are at least three options to rank, then it is impossible to design a social choice rule that simultaneously satisfies a particular set of desirable features including those mentioned above. In spite of this, choices must be made and a variety of social choice rules have been designed for combining individual preferences into a collective agreement, each having certain limitations. But even once we decide on a particular rule, implementing it in the real world can be a challenge. Consider a multipass voting system---for example, the American system of primary elections followed by the general election between winners of the primary. Just this spring the state of Washington overhauled its primary system to require voters to choose one party's ballot before they can vote, rather than putting candidates of all political parties on the same ballot and letting voters pick and choose among them for each office. The fear with the old system was that voters would misrepresent their own desires in the primary election, in hopes of getting a more easily defeated opposition candidate on the general electionballot. On the other hand, independent-minded voters (of which there are many in Washington state) criticize the new system for not allowing them to express their true preferences for each office. Even when members of society do not intentionally misrepresent their own preferences, decision makers in the real world must always work with incomplete information about the state of the world and people's priorities. The goal of implementation theory is to study the extent to which it is possible to implement a desired social choice rule under various assumptions on the preferences and behavior of members of society. In the following paper, Roberto Serrano, of the Economics Department at Brown University, presents a survey of implementation theory and mathematical results obtained using game theory. The theory is illustrated with a number of interesting examples covering everything from voting and public decision making to King Solomon's dilemma. For more on the subject of voting, please note that this issue contains a related paper in the Problems and Techniques section, "Single Transferable Votes with Tax Cuts," by Eivind Stensholt.

This paper establishes a clear connection between equilibrium theory, game theory and social choice theory by showing that, for a well defined social choice problem, a condition which is necessary and sufficient to solve this problem — limited arbitrage — is the same as the condition which is necessary and sufficient to establish the existence of an equilibrium and the core. The connection is strengthened by establishing that a market allocation, which is in the core, can always be realized as a social allocation, i.e. an allocation which is optimal according to an ordering chosen by a social choice rule. Limited arbitrage characterizes those economies without Condorcet triples, and those for which Arrow’s paradox can be resolved on choices of large utility values.KeywordsSocial ChoiceSocial PreferenceCompetitive EquilibriumPareto FrontierSocial Choice RuleThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Social choice problems with fixed sets of alternatives

Collective decision making is the process of mapping the individual views of several individual agents into a joint decision. The need for collective decision making mechanisms is abundant, not just in the realm of politics, but also for a wide range of scientific and technological applications. These include, for instance, logistics, grid computing, and recommender systems. The alternatives to be decided upon often have a combinatorial structure: an alternative is characterised by a tuple of variables, each ranging over a finite domain. Classical approaches to collective decision making, developed in social choice theory, do not take the computational limitations induced by the combinatorial nature of the problem into account. For instance, if we are asked to elect a committee consisting of k representatives, choosing from a pool of n candidates, then we are in fact faced with a social choice problem with $(^n_k)$ alternatives. Asking each voter for their full preferences over these $(^n_k)$ alternatives may not be feasible in practice. Similarly, if we have to choose between accepting or rejecting each of n different propositions, then we are dealing with a social choice problem with 2 n possible outcomes. In this talk I will report on a number of recent developments in the area of collective decision making in combinatorial domains. This includes the study of languages for the compact representation of preferences [2,4], the design of voting rules for multi-issue elections [1], and the analysis of the computational complexity of decision problems arising in judgment aggregation [3].

Chapter 1 Impossibility theorems in the arrovian framework

Abelian symmetry groups in social choice

The theory of social choice is concerned with the problem of aggregating the preferences of several persons into a single preference order. The problem has the same structure as that of aggregating the preference orders of a single person with regard to several aspects of alternatives into a single preference order on the set of alternatives. For this reason, the theory of social choice comes logically not under the topic of collective action (as one might suppose) but rather under the topic of multi-objective decisions. This is so because the several participants in a situation defined as a problem of social choice do not really select courses of action among several available ones when they present their preference orders on a set of alternatives. Therefore they are not ‘actors’, as actors are defined in the theory of decision. To be sure, there are situations where voters do choose strategies, that is, choose among different preference orders to present, which may or may not represent their true preferences but which they believe will be more likely to lead to a more desirable aggregated order. These situations can be considered as n-person decision problems, and we will examine them in the context of non-cooperative n-person games (see Chapter 14. At this time, however, we will suppose that each voter acts ‘sincerely’, that is, presents his ‘actual’ preference order. The decision is now up to some agency, which must combine all these submitted preference orders into a ‘social’ preference order.KeywordsSocial ChoicePreference OrderPareto OptimalitySocial Welfare FunctionSimple MajorityThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

We consider a social choice problem where individual rationality is required. The status quo belongs to the outcome space, and the selected alternative must be weakly better than the status quo for everybody. If the mechanism designer has no knowledge of the alternatives, we obtain a negative result: any individually rational (IR) and strategy-proof (SP) mechanism can choose at most one alternative (besides the status quo), regardless of the preferences. To overcome this negative result, we consider a domain where the alternatives have a known structure, i.e., an agent is indifferent between the status quo and a subset of the outcomes. This set is exogenously given and public information. This assumption is natural if the social choice involves the participation of agents. For example, consider a group of people organizing a trip where participation is voluntary. We can assume each agent is indifferent between the trip plans in which she does not participate and the status quo (i.e., no trip). In this setting, we obtain more positive results: we develop a class of mechanisms called Approve and Choose mechanisms, which are IR and SP, and can choose multiple alternatives as well as the status quo.

The extraordinary technological progress we have witnessed in recent years has made it possible to generate and exchange multimedia content at an unprecedented rate. As a consequence, massive collections of multimedia objects are now widely available to a large population of users. As the task of browsing such large collections could be daunting, Recommender Systems are being developed to assist users in finding items that match their needs and preferences. In this article, we present a novel approach to recommendation in multimedia browsing systems, based on modeling recommendation as a social choice problem. In social choice theory, a set of voters is called to rank a set of alternatives, and individual rankings are aggregated into a global ranking. In our formulation, the set of voters and the set of alternatives both coincide with the set of objects in the data collection. We first define what constitutes a choice in the browsing domain and then define a mechanism to aggregate individual choices into a global ranking. The result is a framework for computing customized recommendations by originally combining intrinsic features of multimedia objects, past behavior of individual users, and overall behavior of the entire community of users. Recommendations are ranked using an importance ranking algorithm that resembles the well-known PageRank strategy. Experiments conducted on a prototype of the proposed system confirm the effectiveness and efficiency of our approach.

This paper concerns an interdisciplinary approach to coalition formation. We apply the MacBeth software, relational algebra, the RelView tool, graph theory, bargaining theory, social choice theory, and consensus reaching to a model of coalition formation. A feasible government is a pair consisting of a coalition of parties and a policy supported by this coalition. A feasible government is stable if it is not dominated by any other feasible government. Each party evaluates each government with respect to certain criteria. MacBeth helps to quantify the importance of the criteria and the attractiveness and repulsiveness of governments to parties with respect to the given criteria. Feasibility, dominance, and stability are formulated in relation-algebraic terms. The RelView tool is used to compute the dominance relation and the set of all stable governments. In case there is no stable government, i.e., in case the dominance relation is cyclic, we apply graph-theoretical techniques for breaking the cycles. If the solution is not unique, we select the final government by applying bargaining or appropriate social choice rules. We describe how a coalition may form a government by reaching consensus about a policy.Keywordsstable governmentMacBethrelational algebra RelView graph theorybargainingsocial choice ruleconsensus

Impossibility theorems are ubiquitous in social choice theory. By now, the reader has encountered several of these, among them the famous impossibility results by Arrow, Sen, and Gibbard and Satterthwaite. We think that it is high time to study various possibility results. Of course, this has a price: at least one of Arrow ‘s conditions must be weakened and the reader has to ask himself or herself whether in each individual case, the ensuing possibility is worth its price.

Crowdsourcing is an important tool, e.g., in computational linguistics and computer vision, to efficiently label large amounts of data using nonexpert annotators. The individual annotations collected need to be aggregated into a single collective annotation. The hope is that the quality of this collective annotation will be comparable to that of a traditionally sourced expert annotation. In practice, most scientists working with crowdsourcing methods use simple majority voting to aggregate their data, although some have also used probabilistic models and treated aggregation as a problem of maximum likelihood estimation. The observation that the aggregation step in a collective annotation exercise may be considered a problem of social choice has only been made very recently. Following up on this observation, we show that the axiomatic method, as practiced in social choice theory, can make a contribution to this important domain and we develop an axiomatic framework for collective annotation, focusing amongst other things on the notion of an annotator's bias. We complement our theoretical study with a discussion of a crowdsourcing experiment using data from dialogue modelling in computational linguistics.

In this paper, we study the metric distortion of deterministic social choice rules that choose a winning candidate from a set of candidates based on voter preferences. Voters and candidates are located in an underlying metric space. A voter has cost equal to her distance to the winning candidate. Ordinal social choice rules only have access to the ordinal preferences of the voters that are assumed to be consistent with the metric distances. Our goal is to design an ordinal social choice rule with minimum distortion, which is the worst-case ratio, over all consistent metrics, between the social cost of the rule and that of the optimal omniscient rule with knowledge of the underlying metric space. The distortion of the best deterministic social choice rule was known to be between $3$ and $5$. It had been conjectured that any rule that only looks at the weighted tournament graph on the candidates cannot have distortion better than $5$. In our paper, we disprove it by presenting a weighted tournament rule with distortion of $4.236$. We design this rule by generalizing the classic notion of uncovered sets, and further show that this class of rules cannot have distortion better than $4.236$. We then propose a new voting rule, via an alternative generalization of uncovered sets. We show that if a candidate satisfying the criterion of this voting rule exists, then choosing such a candidate yields a distortion bound of $3$, matching the lower bound. We present a combinatorial conjecture that implies distortion of $3$, and verify it for small numbers of candidates and voters by computer experiments. Using our framework, we also show that selecting any candidate guarantees distortion of at most $3$ when the weighted tournament graph is cyclically symmetric.

One of the most exciting areas in economic theory is the study of incentives. Within this rubric a broad range of problems are currently being addressed. They range from the problems of social choice, to the economics of planning, to the character of labor contracts. The central theme of the research agenda concerns how the incentive structure affects the quality of information agents are willing to communicate. The principal question concerns how truthful revelation of information can be induced.1 Such questions are important whenever agents can profit from distorting information. The problem thus arises in all sorts of guises in economics. The purpose of this essay is to illustrate this point by focusing on three distinct areas, social choice, public finance, and economic planning.

There are alternative ways of decomposing a given fuzzy weak preference relation into its antisymmetric and symmetric components. In this paper I have provided support to one among these alternative specifications. It is shown that on this specification the fuzzy analogue of the General Possibility Theorem is valid even when the transitivity restrictions on the individual and the social preference relations are relatively weak. In the special case where the individual preference relations are exact but the social preference relation is permitted to be fuzzy it is possible to distinguish between different degrees of power of the dictator. This power increases with the strength of the transitivity requirement.