Condorcet winner criterion: Difference between revisions

Content added Content deleted
(Cleaned up the initial paragraph a bit.)
(Improved references by filling in more information.)
Line 100: Line 100:


===Independence of Irrelevant Alternatives===
===Independence of Irrelevant Alternatives===
Note that the Condorcet criterion also implies the following criterion which is somewhat related to Independence of Irrelevant Alternatives: removing losing candidates can't change the result of an election if there is a Condorcet winner. <ref>https://arxiv.org/abs/1804.02973 The Schulze Method of Voting p.351 "The Condorcet criterion for single-winner elections (section 4.7) is important because, when there is a Condorcet winner b ∈ A, then it is still a Condorcet winner when alternatives a1,...,an ∈ A \ {b} are removed. So an alternative b ∈ A doesn’t owe his property of being a Condorcet winner to the presence of some other alternatives. Therefore, when we declare a Condorcet winner b ∈ A elected whenever a Condorcet winner exists, we know that no other alternatives a1,...,an ∈ A \ {b} have changed the result of the election without being elected."</ref> In addition, adding candidates who are pairwise beaten by the Condorcet winner (when one exists) can't change the result of the election.
Note that the Condorcet criterion also implies the following criterion which is somewhat related to Independence of Irrelevant Alternatives: removing losing candidates can't change the result of an election if there is a Condorcet winner.<ref name="Schulze 2018 with footnote">{{cite arXiv | last=Schulze | first=Markus | title=The Schulze Method of Voting | date=2018-03-15 | eprint=1804.02973 |page=351|class=cs.GT}} "The Condorcet criterion for single-winner elections (section 4.7) is important because, when there is a Condorcet winner b ∈ A, then it is still a Condorcet winner when alternatives a1,...,an ∈ A \ {b} are removed. So an alternative b ∈ A doesn’t owe his property of being a Condorcet winner to the presence of some other alternatives. Therefore, when we declare a Condorcet winner b ∈ A elected whenever a Condorcet winner exists, we know that no other alternatives a1,...,an ∈ A \ {b} have changed the result of the election without being elected."</ref> In addition, adding candidates who are pairwise beaten by the Condorcet winner (when one exists) can't change the result of the election.


===Weak Condorcet winners===
===Weak Condorcet winners===
Line 120: Line 120:




3 B1(>A)</blockquote>Now both of A and B1 are weak CWs, because they both pairwise tie each other. In this particular example, since there is nothing that distinguishes either candidate from the other, the neutrality criterion requires that both A and B1 must have an equal probability of winning i.e. both must have a 50% chance. This means that removing clones of B1 increased B1's chances of winning (which were originally at 0%, since A was guaranteed to win earlier i.e. had a 100% chance of winning.) <ref>https://arxiv.org/abs/1804.02973v6 p. 206-207</ref>
3 B1(>A)</blockquote>Now both of A and B1 are weak CWs, because they both pairwise tie each other. In this particular example, since there is nothing that distinguishes either candidate from the other, the neutrality criterion requires that both A and B1 must have an equal probability of winning i.e. both must have a 50% chance. This means that removing clones of B1 increased B1's chances of winning (which were originally at 0%, since A was guaranteed to win earlier i.e. had a 100% chance of winning.) <ref name="Schulze 2018 p206">{{cite arXiv | last=Schulze | first=Markus | title=The Schulze Method of Voting | date=2018-03-15 | eprint=1804.02973 |page=206–207|class=cs.GT}}</ref>


Weak CWs have also been called Condorcet non-losers, with the requirement that they always win when they exist being called Exclusive-Condorcet. <ref>{{Cite web|url=http://www.votingmatters.org.uk/ISSUE3/P5.HTM#r2|title=Voting matters, Issue 3: pp 8-15|last=|first=|date=|website=www.votingmatters.org.uk|url-status=live|archive-url=|archive-date=|access-date=2020-05-09|quote=Exclusive-Condorcet (see Fishburn[2]). If there is a Condorcet non-loser, then at least one Condorcet non-loser should be elected.}}</ref>
Weak CWs have also been called Condorcet non-losers, with the requirement that they always win when they exist being called Exclusive-Condorcet. <ref>{{Cite web|url=http://www.votingmatters.org.uk/ISSUE3/P5.HTM#r2|title=Voting matters, Issue 3: pp 8-15|last=|first=|date=|website=www.votingmatters.org.uk|url-status=live|archive-url=|archive-date=|access-date=2020-05-09|quote=Exclusive-Condorcet (see Fishburn[2]). If there is a Condorcet non-loser, then at least one Condorcet non-loser should be elected.}}</ref>


==Multi-winner generalizations==
==Multi-winner generalizations==
Schulze has proposed a generalization of the Condorcet criterion for multi-winner methods:<ref name="Schulze 2018">{{cite web | last=Schulze | first=Markus | title=The Schulze Method of Voting | website=arXiv.org | date=2018-03-15 | url=https://arxiv.org/abs/1804.02973v6 | access-date=2020-02-11|page=351}}</ref> Suppose all but M+1 candidates are eliminated from the ballots, and the remaining candidates include candidate ''b''. If ''b'' is always a winner when electing M winners from the M+1 remaining candidates, no matter who the other M remaining candidates are, then ''b'' is an M-seat Condorcet winner.
Schulze has proposed a generalization of the Condorcet criterion for multi-winner methods:<ref name="Schulze 2018">{{cite arXiv | last=Schulze | first=Markus | title=The Schulze Method of Voting | date=2018-03-15 | eprint=1804.02973 |page=351|class=cs.GT}}</ref> Suppose all but M+1 candidates are eliminated from the ballots, and the remaining candidates include candidate ''b''. If ''b'' is always a winner when electing M winners from the M+1 remaining candidates, no matter who the other M remaining candidates are, then ''b'' is an M-seat Condorcet winner.


A method passes the M-seat Condorcet criterion if its M-seat election outcome always contains such a ''b'' when he exists, and passes the multi-winner Condorcet criterion if it passes the M-seat Condorcet criterion for all M.
A method passes the M-seat Condorcet criterion if its M-seat election outcome always contains such a ''b'' when he exists, and passes the multi-winner Condorcet criterion if it passes the M-seat Condorcet criterion for all M.
Line 133: Line 133:
Note that Bloc Ranked Pairs and Bloc Score voting (if scored methods are considered) would pass this criterion, though they are not proportional, and the latter is not a Condorcet method in the single-winner case. So it may make more sense to consider Schulze's criterion as one of several that a multi-winner method ought to pass to be considered a Condorcet multi-winner or Condorcet PR method, rather than the definitive one.
Note that Bloc Ranked Pairs and Bloc Score voting (if scored methods are considered) would pass this criterion, though they are not proportional, and the latter is not a Condorcet method in the single-winner case. So it may make more sense to consider Schulze's criterion as one of several that a multi-winner method ought to pass to be considered a Condorcet multi-winner or Condorcet PR method, rather than the definitive one.


In addition to Schulze's generalization, Gehrein, and Aziz ''et al.'' have proposed different multi-winner generalizations, based on the concept of stability.<ref name="Aziz">{{cite arXiv | last1=Aziz | first1=Haris | last2=Elkind | first2=Edith | last3=Faliszewski | first3=Piotr | last4=Lackner | first4=Martin | last5=Skowron | first5=Piotr | title=The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality | date=2017-01-27 | eprint=1701.08023 | class=cs.GT}}</ref>
See also https://arxiv.org/abs/1701.08023.


==Abstract Condorcet Criterion==
==Abstract Condorcet Criterion==
Line 228: Line 228:


==Outside of voting theory==
==Outside of voting theory==
Analogues to the Condorcet criterion have been proposed in non-voting contexts; it appears in many places when discussing how to aggregate ranked information. It has been used to discuss search engine rankings <ref>{{Cite web|url=http://www10.org/cdrom/papers/577/|title=Rank Aggregation Methods for the Web|last=|first=|date=|website=|url-status=live|archive-url=|archive-date=|access-date=}}</ref> and metasearch <ref>{{Cite web|url=http://www.ccs.neu.edu/home/jaa/IS4200.10X1/resources/condorcet.pdf|title=Condorcet Fusion for Improved Retrieval|last=|first=|date=|website=|url-status=live|archive-url=|archive-date=|access-date=}}</ref>. The concept of a [[Smith set ranking]] (which is sometimes referred to as the "extended/generalised Condorcet criterion") helps structure how the ranking of all options should be, rather than only the winner.
Analogues to the Condorcet criterion have been proposed in non-voting contexts; it appears in many places when discussing how to aggregate ranked information. It has been used to discuss search engine rankings <ref name="Dwork Kumar Naor Sivakumar 2001 p. ">{{cite conference | last=Dwork | first=Cynthia | last2=Kumar | first2=Ravi | last3=Naor | first3=Moni | last4=Sivakumar | first4=D. | title=Rank aggregation methods for the Web | publisher=ACM | publication-place=New York, NY, USA | year=2001 | doi=10.1145/371920.372165 | url=http://www.eecs.harvard.edu/~michaelm/CS222/rank.pdf}}</ref> and metasearch<ref name="Montague Aslam 2002 p. ">{{cite conference | last=Montague | first=Mark | last2=Aslam | first2=Javed A. | title=Condorcet fusion for improved retrieval | publisher=ACM | publication-place=New York, NY, USA | date=2002-11-04 | doi=10.1145/584792.584881 | url=http://www.ccs.neu.edu/home/jaa/IS4200.10X1/resources/condorcet.pdf}}</ref>. The concept of a [[Smith set ranking]] (which is sometimes referred to as the "extended/generalised Condorcet criterion") helps structure how the ranking of all options should be, rather than only the winner.


==References==
==References==