Random Dictatorship
   HOME

TheInfoList



OR:

In
social choice theory Social choice theory or social choice is a theoretical framework for analysis of combining individual opinions, preferences, interests, or welfares to reach a ''collective decision'' or ''social welfare'' in some sense.Amartya Sen (2008). "Soci ...
, a dictatorship mechanism is a rule by which, among all possible alternatives, the results of
voting Voting is a method by which a group, such as a meeting or an electorate, can engage for the purpose of making a collective decision or expressing an opinion usually following discussions, debates or election campaigns. Democracies elect holde ...
mirror a single pre-determined person's preferences, without consideration of the other voters. Dictatorship by itself is not considered a good mechanism in practice, but it is theoretically important: by
Arrow's impossibility theorem Arrow's impossibility theorem, the general possibility theorem or Arrow's paradox is an impossibility theorem in social choice theory that states that when voters have three or more distinct alternatives (options), no ranked voting electoral syste ...
, when there are at least three alternatives, dictatorship is the only
ranked voting The term ranked voting (also known as preferential voting or ranked choice voting) refers to any voting system in which voters ranking, rank their candidates (or options) in a sequence of first or second (or third, etc.) on their respective ball ...
electoral system An electoral system or voting system is a set of rules that determine how elections and Referendum, referendums are conducted and how their results are determined. Electoral systems are used in politics to elect governments, while non-political ...
that satisfies ''
unrestricted domain In social choice theory, unrestricted domain, or universality, is a property of social welfare functions in which all preferences of all voters (but no other considerations) are allowed. Intuitively, unrestricted domain is a common requirement for ...
'', ''
Pareto efficiency Pareto efficiency or Pareto optimality is a situation where no action or allocation is available that makes one individual better off without making another worse off. The concept is named after Vilfredo Pareto (1848–1923), Italian civil engine ...
'', and ''
independence of irrelevant alternatives The independence of irrelevant alternatives (IIA), also known as binary independence or the independence axiom, is an axiom of decision theory and various social sciences. The term is used in different connotation in several contexts. Although it a ...
''. Similarly, by Gibbard's theorem, when there are at least three alternatives, dictatorship is the only ''strategyproof'' rule. Non-dictatorship is a property of more common voting rules, in which the results are influenced by the preferences of all individuals. This property is satisfied if there is no single voter ''i'' with the individual preference order P, such that P is always the societal ("winning") preference order. In other words, the preferences of individual ''i'' should not always prevail. Anonymous voting systems (with at least two voters) automatically satisfy the non-dictatorship property. The dictatorship rule has variants that are useful in practice: ''serial dictatorship'', ''random dictatorship'', and ''random serial dictatorship'' (see below).


Formal definition

Non-dictatorship is one of the necessary conditions in
Arrow's impossibility theorem Arrow's impossibility theorem, the general possibility theorem or Arrow's paradox is an impossibility theorem in social choice theory that states that when voters have three or more distinct alternatives (options), no ranked voting electoral syste ...
. In ''
Social Choice and Individual Values Kenneth Arrow's monograph ''Social Choice and Individual Values'' (1951, 2nd ed., 1963, 3rd ed., 2012) and a theorem within it created modern social choice theory, a rigorous melding of social ethics and voting theory with an economic flavor. ...
'',
Kenneth Arrow Kenneth Joseph Arrow (23 August 1921 – 21 February 2017) was an American economist, mathematician, writer, and political theorist. He was the joint winner of the Nobel Memorial Prize in Economic Sciences with John Hicks in 1972. In economics ...
defines non-dictatorship as: :There is no voter ''i'' in such that, for every set of orderings in the domain of the constitution, and every pair of social states ''x'' and ''y'', ''x P_i y'' implies ''x P y''. Naturally, dictatorship is a rule that does not satisfy non-dictatorship.


Serial dictatorship

A dictatorship mechanism is well-defined only when the dictator has a single best-preferred option. When the dictator is indifferent between two or more best-preferred options, it is possible to choose one of them arbitrarily/randomly, but this will not be
Pareto efficient Pareto efficiency or Pareto optimality is a situation where no action or allocation is available that makes one individual better off without making another worse off. The concept is named after Vilfredo Pareto (1848–1923), Italian civil engin ...
. A more efficient solution is to appoint a second dictator, who has a right to choose, from among all the first dictator's best options, the one that they most prefer. If the second dictator is also indifferent between two or more options, then a third dictator chooses among them, and so on. This rule is called serial dictatorship. Another name for it is priority mechanism. The priority mechanism is often used in problems of house allocation. For example, when allocating dormitory rooms to students, it is common to order the students by a pre-specified priority order (e.g. by age, grades, distance, etc.), and let each of them in turn choose their most preferred rooms from the available ones.


Random dictatorship and random serial dictatorship

The dictatorship rule is obviously unfair, but it has a variant that is fair in expectation. In the random dictatorship (RD) rule, one of the voters is selected uniformly at random, and the alternative most preferred by that voter is selected. This is one of the common rules for
random social choice Fractional social choice is a branch of social choice theory in which the collective decision is not a single alternative, but rather a weighted sum of two or more alternatives. For example, if society has to choose between three candidates: A B or ...
. When used in multi-constituency bodies, it is sometimes called
random ballot The random ballot, single stochastic vote, or lottery voting is an electoral system in which an election is decided on the basis of a single randomly selected ballot. It is closely related to random dictatorship; the latter is a general rule f ...
. Similarly to dictatorship, random dictatorship too should handle the possibility of indifferences; the common solution is to extend it to random serial dictatorship (RSD), also called random priority. In this mechanism, a
random permutation A random permutation is a random ordering of a set of objects, that is, a permutation-valued random variable. The use of random permutations is often fundamental to fields that use randomized algorithms such as coding theory, cryptography, and sim ...
of the voters is selected, and each voter in turn narrows the existing alternatives to the ones they most prefer, from the ones still available. It is a common mechanism in allocating indivisible objects among agents; see random priority item allocation.


Properties

Allan Gibbard Allan may refer to: People * Allan (name), a given name and surname, including list of people and characters with this name * Allan (footballer, born 1984) (Allan Barreto da Silva), Brazilian football striker * Allan (footballer, born 1989) (Al ...
proved the random dictatorship theorem. It says that, when preferences are strict, RD is the only rule that satisfies the following three properties: * Anonymity: the lottery does not discriminate in advance between different voters. *Strong SD-strategyproofness: every false report by an agent results in an outcome that is weakly stochastically dominated. *Ex-post Pareto efficiency: the outcome is Pareto-efficient. **In fact, with strict preferences, RD satisfies a stronger efficiency property called ''SD-efficiency'': the resulting lottery is not stochastically dominated. With weak preferences, RSD satisfies ex-post efficiency, but violates SD-efficiency. **Even with strict preferences, RD violates the stronger property called PC-efficiency: the resulting lottery might be dominated in the sense of pairwise-comparisons (for each agent, the probability that another lottery yields a better alternative than the RD lottery is larger than the other way around). RD also satisfies a property called agenda consistency. It is the only rule satisfying the following properties: * Strong contraction consistency ("regularity"): probabilities cannot decrease when removing arbitrary alternatives. * Ex-post efficiency. * A probabilistic version of
Independence of irrelevant alternatives The independence of irrelevant alternatives (IIA), also known as binary independence or the independence axiom, is an axiom of decision theory and various social sciences. The term is used in different connotation in several contexts. Although it a ...
. Subsequent research have provided alternative proofs, as well as various extensions. One impossibility result relates to extending the theorem to weak preferences. It says that, with weak preferences, the properties of anonymity, SD-efficiency and SD-strategyproofness are incompatible when there are at least 4 agents and 4 alternatives. The proof was derived using an
SMT solver In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable. It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involvi ...
and verified by an
interactive theorem prover In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor ...
Isabelle/HOL The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs with ...
. RD satisfies an axiom called ''population consistency'', and an axiom called ''cloning-consistency'', but violates ''composition consistency''.


Computation

It is easy to implement both the RD and the RSD mechanisms in practice: just pick a random voter, or a random permutation, and let each dictator in turn pick the best option. However, sometimes one wants to compute in advance, what is the probability that a certain alternative would be chosen. With RD (when the preferences are strict), this is easy too: the probability that alternative ''x'' is chosen equals the number of voters who rank ''x'' first, divided by the total number of voters. But the situation is different with RSD (when there are indifferences): * Computing the probabilities is #P-hard; * There is an efficient algorithm for computing the support (the alternatives chosen with a positive probability); * There are algorithms with tractable
parameterized complexity In computer science, parameterized complexity is a branch of computational complexity theory that focuses on classifying computational problems according to their inherent difficulty with respect to ''multiple'' parameters of the input or output. T ...
, where the parameters are: number of objects, number of alternatives, and number of voter types. *There is an exponential-time algorithm for computing the probabilities in the context of
fractional approval voting Fractional approval voting is an electoral system using approval ballots (each voter selects one or more candidate alternatives), in which the outcome is ''fractional'': for each alternative ''j'' there is a fraction ''pj'' between 0 and 1, such tha ...
.{{Rp, Appendix


References

Voting theory Dictatorship Social choice theory