Favorite betrayal criterion: Difference between revisions

Correct citation (copy-pasted the wrong one, sorry!)
(Correct citation (copy-pasted the wrong one, sorry!))
 
(8 intermediate revisions by 4 users not shown)
Line 1:
{{wikipedia|Draft:Favorite betrayal criterion}}
The '''favorite betrayal criterion''' or(sometimes called '''sincere favorite criterion''') is a [[voting system criterion]] which requires that "voters should have no incentive to vote someone else over their favorite".<ref>{{Cite web|url=https://rangevoting.org/FBCsurvey.html|title=Survey of FBC (Favorite-Betrayal Criterion)|last=Ossipoff|first=Mike|last2=Smith|first2=Warren D.|date=Jan 2007|website=Center for Range Voting|url-status=live|archive-url=|archive-date=|access-date=2020-04-08}}</ref> Voting systems failing the criterion are vulnerable to a kind of strategy called '''decapitation''', i.e. removing the top ("head") of a ballot.<ref>{{Cite journal|last=Merrill|first=Samuel|last2=Nagel|first2=Jack|date=1987-06-01|title=The Effect of Approval Balloting on Strategic Voting under Alternative Decision Rules|url=https://www.cambridge.org/core/product/identifier/S0003055400194481/type/journal_article|journal=American Political Science Review|language=en|volume=81|issue=2|pages=509–524|doi=10.2307/1961964|issn=0003-0554}}</ref>
 
It is passed by [[Approval voting]], [[Range voting]], and [[Majority Judgment]]. All these are examples of [[cardinal voting systems]], though some voters may be reluctant to have a compromise candidate tied with their favorite candidate on their respective ballots.
 
On the other hand, most [[Ranked voting systems|ordinal voting systems]] do not pass this criterion. For instance, [[Borda Count]], [[Copeland's method]], [[Instant runoff voting]] (IRV, known in the UK as the Alternative Vote), [[Kemeny-Young method|Kemeny-Young]], [[Minimax Condorcet]], [[Ranked Pairs]], and [[Schulze method|Schulze]] all fail this criterion. A few ordinal methods, like [[weighted positional method|Antiplurality]], pass it. Some [[Condorcet methods]] pass it when combined with the [[tied at the top]] rule, though this means they may not be Condorcet-efficient when some voters equally rank multiple candidates.
 
It is also failed by [[Pluralityplurality voting]] and two-round [[runoff voting]].
 
== Definition ==
It is defined as follows:
 
:A [[voting system]] satisfies the Favorite Betrayal Criterion (FBC) if there do not exist situations where a voter is only able to obtain a more preferred outcome (i.e. the election of a candidate that he or she prefers to the current winner) by insincerely listing another candidate ahead of his or her sincere favorite.<ref name="small">Alex Small, “Geometric construction of voting methods that protect voters’ first choices,” arXiv:1008.4331 (August 22, 2010), http://arxiv.org/abs/1008.4331.</ref>
 
The criterion permits the strategy of insincerely ranking another candidate equal to one's favorite. A related but stronger criterion, the ''strong favorite betrayal criterion'' disallows this.<ref name="small" />
=== Current Definition of FBC: ===
Michael Ossipoff definition:
 
==Complying methods==
'''Requirements:'''
 
[[Approval voting]], [[range voting]], [[Majority Judgment]], [[MMPO|MinMax(pairwise opposition)]], [[MCA]] (except MCA-A and some versions of MCA-R), [[MAMPO]], [[Majority Defeat Disqualification Approval]], and [[Improved Condorcet Approval]] comply with the favorite betrayal criterion, as dodoes ICT and [[Symmetrical ICT]].
The voting system must allow the voter to vote at top as many candidates as s/he wishes.
 
If the winner is a candidate who is top-voted by you, then moving an additional candidate to top on your ballot shouldn't change the winner to a candidate who is not then top-voted by you.
 
'''Supplementary definition:'''
 
A candidate is "top-voted" by you, and is "at top" on your ballot, if you don't vote anyone over him/her.
===Earlier Definition===
The definition written below is the one that FBC's initial proponent had originally written and used. Its problem was that it led to the question of "What if the way of voting that optimizes your outcome without favorite-burial is some complicated, difficult-to-find strategy?". That question led to a better definition, written above on this page. Some time ago, someone else, too, had written that definition, and a link to it is given at the bottom of this page, under a different name (Sincere Favorite Criterion).
 
'''Supplementary Definition:'''
 
A voter optimizes the outcome (from his/her own perspective) if his vote causes the election of the best possible candidate that can be elected, based on his own preferences, given all the votes cast by other voters.
 
'''Earlier FBC definition:'''
 
<em>For any voter who has a unique favorite, there should be no possible set of votes cast by the other voters such that the voter can optimize the outcome (from his own perspective) only by voting someone over his favorite.</em>
 
==Complying methods==
 
[[Borda count]], [[plurality voting]], [[Condorcet criterion|Condorcet methods]] (except for Improved Condorcet methods, such as Kevin Venzke's [[ICA]], and Chris Benham's ICT) and [[instant-runoff voting]] do not comply.<ref>{{cite web|url=http://lists.electorama.com/pipermail/election-methods-electorama.com/2005-May/081273.html|title=WV methods fail FBC with 3 candidates|website=Election-methods mailing list archives|date=2005-05-13|last=Venzke|first=K.}}</ref><ref>{{cite web|url=https://munsterhjelm.no/km/yahoo_lists_archive/RangeVoting/web/2005-October/msg00059.html|title=I told why CC is incompatible with FBC. Why the continuing debate?|date=2005-10-18|last=Ossipoff|first=M.|website=RangeVoting Yahoo list mirror}}</ref>
[[Approval voting]], [[range voting]], [[Majority Judgment]], [[MMPO|MinMax(pairwise opposition)]], [[MCA]] (except MCA-A and some versions of MCA-R), [[MAMPO]], and [[Improved Condorcet Approval]] comply with the favorite betrayal criterion, as do ICT and [[Symmetrical ICT]].
 
[[Borda count]], [[plurality voting]], [[Condorcet criterion|Condorcet methods]] (except for Improved Condorcet methods, such as Kevin Venzke's [[ICA]], and Chris Benham's ICT, and [[Symmetrical ICT]]) and [[instant-runoff voting]] do not comply.
== Examples ==
 
Line 383 ⟶ 364:
 
== Stronger forms of the criterion ==
FBC simply requires that for a given election, a voter always has some kind of [[strategy]] they can use to vote in such a way that they most support their favorite candidate. However, this means that some voting methods that fail FB can allow a voter to benefit by doing FB, even though they didn't actually have to. For example, several voting methods which pass FBC because they allow a voter to protect themselves by equally ranking multiple candidates 1st (implying that the voter has a simple way to always avoid FB i.e. equal-ranking, as opposed to some FBC-compliant voting methods where the non-FB strategy may be opaque or difficult to figure out and thus less useful for avoiding FB) are like this. [[Score voting]] passes a stronger form of FBC, which says that voters can never benefit by doing FB i.e. there is no possible strategy involving FB that can benefit a voter.<ref>{{Cite web|url=https://rangevoting.org/FBCexecSumm.html|title=RangeVoting.org - Favorite betrayal (executive summary)|last=|first=|date=|website=rangevoting.org|url-status=live|archive-url=|archive-date=|access-date=2020-05-14|quote=We've come a long way since the days when range and approval voting were the only known methods in which betraying your favorite is strategically avoidable. Now many other methods also are known with that "FBC property." [...] However, it appears Range and Approval satisfy FBC in a stronger and more obvious sense than these other methods. Specifically, with Range and Approval, betraying your favorite simply never is useful. With the other methods it can be strategically useful (cause X to win instead of Y, where the betrayers prefer X) but if so there is always a way to get the same effect (i.e. make X win) by some other dishonest vote not involving favorite betrayal.}}</ref>
 
However, it appears Range and Approval satisfy FBC in a stronger and more obvious sense than these other methods. Specifically, with Range and Approval, betraying your favorite simply never is useful. With the other methods it can be strategically useful (cause X to win instead of Y, where the betrayers prefer X) but if so there is always a way to get the same effect (i.e. make X win) by some other dishonest vote not involving favorite betrayal.}}</ref>
 
== Notes ==
 
=== Least favorite betrayal criterion ===
A criterion related to FB is whether or not a voter can be hurt by giving no support to their least favorite candidates. Approval and Score voting pass this criterion, since if never benefits you to help your least favorite beat other candidates on approvals/points.
 
=== Criterion failure rates ===
Though many voting methods fail FB, they tend to decrease the incentive to do FB relative to [[FPTP]]. Example for [[Condorcet]]: <blockquote>25 A>B
 
25 A>B
 
26 B
 
49 C </blockquote>In FPTP, C would win with 49 votes to B's 26 and A's 25, so the A-top voters would have to vote B>A instead (i.e. put B as their 1st choice) to ensure B wins with 51 votes, rather than C with 49. In Condorcet methods, this isn't necessary, since the pairwise table is:
49 C
 
In FPTP, C would win with 49 votes to B's 26 and A's 25, so the A-top voters would have to vote B>A instead (i.e. put B as their 1st choice) to ensure B wins with 51 votes, rather than C with 49. In Condorcet methods, this isn't necessary, since the pairwise table is:
{| class="wikitable"
|+Wins are bolded
Line 423 ⟶ 401:
and B is the [[Condorcet winner]]. See also the [[chicken dilemma]].
 
[[Condorcet=== methods]] can have theirReducing FB incentive eliminated in certaina scenarios.chicken Fordilemma example:===
<blockquote>26 A>B
 
26 A>B
 
25 B
 
49 C</blockquote>A [[pairwise]] beats B beats C beats A, so there is a [[cycle]]. C would win in several methods, such as some [[Condorcet methods]], and [[IRV]]. To prevent A-top voters from having to vote B>A to make B the [[CW]]/[[majority criterion]] winner, it can essentially be observed that they have the incentive to do so, and if they do this, nobody else has incentive/ability to vote differently to get a different outcome, so B would automatically win.
49 C
 
A beats B beats C beats A. To prevent A-top voters from voting B>A to make B the CW, it can essentially be observed that they have the incentive to do so, and if they do this, nobody else has incentive to vote differently, so B would automatically win. However, if the 49 C voters instead had voted C>A, then they make it so that now the voting method recognizes the C-top voters have an incentive to do FB to elect A rather than B. So a cycle would be formed all over again. This means that this trick doesn't always work. See [[Algorithmic Asset Voting]].
 
 
 
C>A
 
 
AHowever, beatsfor BCondorcet beats C beats A. To prevent A-top voters from voting B>A to make B the CWmethods, it can essentially be observednote that they have the incentive to do so, and if they do this, nobody else has incentive to vote differently, so B would automatically win. However, if the 49 C voters instead had voted C>A, then they make it so that now the voting method recognizes the C-top voters have an incentive to do FB to elect A rather than B. So a cycle would be formed all over again. Thisin terms of deciding which factions can meansforce their preferences through strategic voting, meaning that this trick doesn't always work. See(see [[Algorithmic Asset Voting]] for discussion on this).
== Further reading ==