Uncovered set
The minimal uncovered set (sometimes referred to as the "Landau set" or "Fishburn set") is defined for a set of rank-order preferences, and generalizes the Condorcet winner (making it a kind of "top cycle"). The set contains all candidates on the "Pareto frontier" for pairwise-victories.
A Landau candidate will beat every non-Landau candidate one-on-one, and cannot be replaced by a "strictly better" candidate. "Strictly better" means a candidate that would win every pairwise matchup won by the Landau candidate (and some additional matchups).
Definition
We assume here that there are no pairwise-ties. Let some set be called the Fishburn set, and the candidates outside the set are called the Fishburn losers. A Fishburn loser is a candidate who is dominated or covered by some other candidate: the dominating candidate wins every pairwise matchup that the other candidate would win. The uncovered set is therefore equivalent to the set of Fishburn winners:
Select the candidate or candidates that are not Fishburn losers. A candidate loser is a Fishburn loser if there exists some other candidate cover satisfying:
- Every candidate that beats cover one-on-one also beats loser one-on-one, and
- At least one candidate beats loser one-on-one but does not beat cover one-on-one.
The Fishburn winners are a kind of Pareto frontier for the set of candidates, where the frontier is measured by the pairwise-victories. It is impossible to gain some extra pairwise victories, but no pairwise losses, by switching from a candidate in the Landau set to a candidate outside the Landau set.
The Landau set is a nonempty subset of the Smith set. It was discovered by Nicholas Miller.
An equivalent definition is that it is the set of every candidate X so that for any Y not in the set, X either beats Y pairwise or X beats someone who beats Y (i.e. X indirectly pairwise beats Y).[1] In this sense, it is related to the concept of a beatpath.
Another definition is:[2]
An alternative a is said to cover alternative b whenever every alternative dominated by b is also dominated by a.
Yet another definition:[3]
The uncovered set is the set of all outcomes x such that there is no outcome beating x and all the outcomes that x beats.
Select the candidate or candidates that are not Fishburn losers. A candidate i is a Fishburn loser if there is some other candidate j such that every candidate that pairwise beats j also pairwise beats i and there is at least one candidate that pairwise beats i but does not pairwise beat j.
When there are pairwise ties, many generalizations are possible, all of which are equivalent when there are no pairwise ties.[4] One generalization by Fishburn is:
In voting systems, the Landau set (or uncovered set, or Fishburn set) is the set of candidates x such that for every other candidate z, there is some candidate y (possibly the same as x or z) such that y is not preferred to x and z is not preferred to y.
The uncovered set is a nonempty subset of the Smith set. The reason is that every candidate in the Smith set is preferred to every candidate not in the Smith set, therefore each candidate in the Smith set can be considered a candidate x and be their own candidate y; since a candidate can't be preferred to themselves (y is not preferred to x), and since candidates in the Smith set being preferred to every candidate not in the Smith set implies that candidates not in the Smith set are not preferred to candidates in the Smith set (z is not preferred to y), the uncovered set must be a subset of the Smith set.
Formal definition
A more formal mathematical definition:
it is the set of candidates such that for every other candidate , there is some candidate (possibly the same as or ) such that is not preferred to and is not preferred to . In notation, is in the Landau set if , , .
The uncovered set is based on the covering relation, which is a notion of a candidate being at least as good as another candidate (e.g. by beating everybody the other candidate beats, or by being beaten by nobody who beats the other candidate). The uncovered set is then defined as the set of candidates who are not covered by anyone else.
For the Fishburn winner definition of the uncovered set, the covering relation is:
x covers y (x C y) if every candidate that beats x also beats y.
To be a proper covering relation, the relation should be transitive (if x covers y and y covers z, then x covers z) and antisymmetric (it's impossible to both cover x and be covered by x). This is true for the Fishburn definition when there are no pairwise ties, but it has to be generalized if it's to retain the properties in the presence of pairwise ties.
When there are pairwise ties, one may also refer to weak and strict covering relations. The former drops antisymmetry, and is analogous to x beating or tying y, while the latter retains antisymmetry and is analogous to x definitely beating y.[4]
Example
Suppose the following pairwise preferences exist between four candidates (v, x, y, z) (table organized by Copeland ranking):
x | y | v | z | Copeland score | |
---|---|---|---|---|---|
x | --- | Win | Lose | Win | (2-1)=1 |
y | Lose | --- | Win | Win | (2-1)=1 |
v | Win | Lose | --- | Lose | (1-2)=-1 |
z | Lose | Lose | Win | --- | (1-2)=-1 |
Notice that the Smith set includes all candidates (this can be seen by observing that there is a beatpath of x>y>z>v>x, or alternatively by observing that no matter how many candidates you look at from top to bottom, there is still some candidate outside of the group being looked at that one of the candidates in the group lose or tie to). But the uncovered set is all candidates except z; this is because y>z and all candidates who beat y (just x) also beat z. [5] (Notice that the Copeland set is even smaller; it is just x and y).
An alternative way of understanding the uncovered set in this example is to show the size of the smallest-size beatpath from each candidate to another, if one exists (if x>y is 1 here, this means x pairwise beats y. If it's 2, it means x pairwise beats someone who pairwise beats y, etc.). Any candidate with a smallest-size beatpath of 3 or more to another candidate is not in the uncovered set:
Size of smallest-size beatpath
between each pair of candidates | ||||
---|---|---|---|---|
x | y | v | z | |
x | --- | 1 | Lose | 1 |
y | 2 | --- | 1 | 1 |
v | 1 | 2 | --- | 2 |
z | 2 | 3 | 1 | --- |
Notice that all candidates except z have beatpaths of size 1 or 2, whereas z>y is (z has a smallest beatpath to y of) 3 steps (z>v>x>y), therefore z is not in the uncovered set.
Subsets of the uncovered set
The Banks set, Copeland set, Dutta set, and Schattschneider set are all subsets of the uncovered set.[6]
Banks set
The Banks set is the set of winners resulting from strategic voting in a successive elimination procedure[7] (the set of candidates who could win a sequential comparison contest for at least one ordering of candidates when voters are strategic).
The Banks set is a subset of the Smith set because when all but one candidate in the Smith set has been eliminated in a sequential comparison election, the remaining Smith candidate is guaranteed to pairwise beat all other remaining candidates, since they are all non-Smith candidates, and thus can't be eliminated from that point onwards, meaning they will be the final remaining candidate and thus win.
Determining if a given candidate is in the Banks set is NP-complete,[8] but it is possible to find some member of the Banks set in polynomial time. One way to do so is to start with a candidate and then keep inserting candidates in some order, skipping those whose insertion would produce a cycle; the winner of the method is then the candidate who pairwise beats every other included candidate.[9]
Dutta set
The Dutta set (also known as Dutta's minimal covering set) is the set of all candidates such that when any other candidate is added, that candidate is covered in the resulting set. It is a subset of the Smith set because all candidates in the Smith set cover (i.e. have a one-step beatpath, direct pairwise victory) all candidates not in the Smith set. The Dutta set can be calculated in polynomial time.[10]
Essential set
In a game where two players choose candidates and then the player who chose the candidate who beats the other candidate pairwise wins, there's a randomized strategy (a Nash equilibrium) where no other strategy can be used against it to consistently win at this game. The essential set, a subset of the Dutta set, is the set of all candidates who are chosen some of the time when using a Nash equilibrium strategy.[10]
Minimal extending set
This section needs expansion. You can help by adding to it. (April 2024) |
The minimal extending set is a subset of the Banks set. It's relevant to strategic voting: narrowing the set of winners to this set when there is no Condorcet winner has not been shown to introduce an incentive to strategically create a cycle when a sincere Condorcet winner exists.[11]
A method electing from this set must fail monotonicity.[12] However, the proof is nonconstructive and no concrete nonmonotonicity examples have been found so far.
Schattschneider set
The Schattschneider set is based on spatial voting games, and is a subset of the Banks set.[13] It is rarely referenced.
Notes
The uncovered set can be thought of as requiring its candidates to have a two-step beatpath to every candidate not in the uncovered set. The Smith set requires a one-step beatpath (i.e. of at most two candidates, a direct pairwise victory).
Independence of covered alternatives says that if one option (X) wins an election, and a new alternative (Y) is added, X will win the election if Y is not in the uncovered set. Independence of covered alternatives implies Independence of Smith-dominated Alternatives, which further implies Smith and thus Condorcet. If a method is independent of covered alternatives, then the method fails monotonicity if perfect ties can always be broken in favor of a choice W by adding ballots ranking W first.
The uncovered set implies Pareto, because Pareto implies that the Pareto-dominant candidate pairwise beats any candidates the Pareto-inferior candidate beats. This is because all voters rank the Pareto candidate equal to or better than the Pareto-inferior candidate. [14]
One way that has been suggested to find the uncovered set is:
This suggests the use of the outranking [pairwise comparison] matrix and its square to identify the uncovered set (Banks, 1985):
T = U + U2
where U [is] the tournament matrix. The alternatives represented by rows in T where all non-diagonal entries are non-zero form the uncovered set.[15]
(The square of a matrix can be found using matrix multiplication; here is a video explaining how to do so. The pairwise matrix and its squared matrix can be added together using matrix addition.)
References
- Nicholas R. Miller, "Graph-theoretical approaches to the theory of voting", American Journal of Political Science, Vol. 21 (1977), pp. 769–803. https://doi.org/10.2307/2110736. https://www.jstor.org/stable/2110736.
- Nicholas R. Miller, "A new solution set for tournaments and majority voting: further graph-theoretic approaches to majority voting", American Journal of Political Science, Vol. 24 (1980), pp. 68–96. https://doi.org/10.2307/2110925. https://www.jstor.org/stable/2110925.
- Norman J. Schofield, "Social Choice and Democracy", Springer-Verlag: Berlin, 1985.
- Philip D. Straffin, "Spatial models of power and voting outcomes", in Applications of Combinatorics and Graph Theory to the Biological and Social Sciences, Springer: New York-Berlin, 1989, pp. 315–335.
- Elizabeth Maggie Penn, "Alternate definitions of the uncovered set and their implications", 2004.
- Nicholas R. Miller, "In search of the uncovered set", Political Analysis, 15:1 (2007), pp. 21–45. https://doi.org/10.1093/pan/mpl007. https://www.jstor.org/stable/25791876.
- William T. Bianco, Ivan Jeliazkov, and Itai Sened, "The uncovered set and the limits of legislative action", Political Analysis, Vol. 12, No. 3 (2004), pp. 256–276. https://doi.org/10.1093/pan/mph018. https://www.jstor.org/stable/25791775.
Footnotes
- ↑ Munagala, Kamesh; Wang, Kangning (2019-05-04). "Improved Metric Distortion for Deterministic Social Choice Rules". arXiv.org. p. 5. doi:10.1145/3328526.3329550. Retrieved 2020-03-13.
- ↑ Endriss, U. "Handbook of Computational Social Choice" (PDF). The Reasoner. 2 (10): 57. ISSN 1757-0522. Retrieved 2020-03-13.
- ↑ Laffond, Gilbert; Laslier, Jean-François (1991). "Slaters's winners of a tournament may not be in the Banks set". Social Choice and Welfare. Springer. 8 (4): 365–369. ISSN 0176-1714. JSTOR 41105997. Retrieved 2022-09-11.
- ↑ a b Miller, Nicholas M. "Alternate definitions of the covering relation: an extended tour" (PDF).
- ↑ https://economics.stackexchange.com/a/27691
- ↑ Seising, R. (2009). Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications. Studies in Fuzziness and Soft Computing. Springer Berlin Heidelberg. p. 350. ISBN 978-3-540-93802-6. Retrieved 2020-03-13.
- ↑ http://spia.uga.edu/faculty_pages/dougherk/svt_13_multi_dimensions2.pdf
- ↑ Woeginger, Gerhard J. (2003). "Banks winners in tournaments are difficult to recognize". Social Choice and Welfare. Springer. 20 (3): 523–528. ISSN 1432-217X. JSTOR 41106539. Retrieved 2022-04-10.
- ↑ Hudry, Olivier (2004). "A note on 'Banks winners in tournaments are difficult to recognize' by G. J. Woeginger". Social Choice and Welfare. Springer Science and Business Media LLC. 23 (1). doi:10.1007/s00355-003-0241-y. ISSN 0176-1714.
- ↑ a b Brandt, Felix; Fischer, Felix (2008). "Computing the minimal covering set" (PDF). Mathematical Social Sciences. Elsevier BV. 56 (2): 254–268. doi:10.1016/j.mathsocsci.2008.04.001. ISSN 0165-4896.
- ↑ Botan, Sirin; Endriss, Ulle (2021-05-18). "Preserving Condorcet Winners under Strategic Manipulation". Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI). 35 (6): 5202–5210. doi:10.1609/aaai.v35i6.16657. ISSN 2374-3468.
- ↑ Brandt, Felix; Harrenstein, Paul; Seedig, Hans Georg (2017). "Minimal extending sets in tournaments". Mathematical Social Sciences. Elsevier BV. 87: 55–63. doi:10.1016/j.mathsocsci.2016.12.007. ISSN 0165-4896.
- ↑ Feld, Scott L.; Grofman, Bernard; Hartly, Richard; Kilgour, Marc; Miller, Nicholas (1987). "The uncovered set in spatial voting games" (PDF). Theory and Decision. Springer Science and Business Media LLC. 23 (2): 129–155. doi:10.1007/bf00126302. ISSN 0040-5833.
- ↑ "Alternate Definitions of the Uncovered Set and Their Implications".
- ↑ Kilgour, D (2010). Handbook of group decision and negotiation (PDF). Dordrecht New York: Springer. p. 176. ISBN 978-90-481-9097-3. OCLC 668097926.