Monotonicity: Difference between revisions

Added information about monotonicity/LNH/mutual majority incompatibility.
m (lower-caps "Mayoral" per article name)
(Added information about monotonicity/LNH/mutual majority incompatibility.)
 
(2 intermediate revisions by 2 users not shown)
Line 31:
 
In elections via the single-winner methods [[range voting]] and [[majority judgment]] nobody can help a candidate by reducing or removing support for them. The definition of the monotonicity criterion with regard to these methods is disputed. Some voting theorists argue that this means these methods pass the monotonicity criterion; others say that, as these are not ''ranked'' voting systems, they are out of the monotonicity criterion's scope.
 
=== Implications ===
 
It's impossible for a method to pass all of monotonicity, [[later-no-harm]], [[later-no-help]], and [[mutual majority]],<ref name="Woodall-Monotonicity"/> but there do exist methods that pass three of the four. [[First past the post]] passes the first three, [[instant-runoff voting]] passes the last three, and [[Descending Acquiescing Coalitions]] and [[Descending Solid Coalitions]] pass one of the later-no-help/harm criteria as well as monotonicity and mutual majority.
 
== Definition of monotonicity criteria==
Line 114 ⟶ 118:
[[Douglas Woodall]] defined several variations or types of monotonicity.<ref name="Woodall-Monotonicity" /> In Woodall's definitions, a candidate x should not be harmed if:
 
*l ([[Mono-raise criterion|'''MONOmono-RAISEraise''']]) x is raised on some ballots without changing the orders of the other candidates;
*l (MONO'''mono-RAISEraise-DELETEdelete''') x is raised on some ballots and all candidates now below x on those ballots are deleted from them;
*l (MONO RAISE'''mono-raise-RANDOMrandom''') x is raised on some ballots and the positions now below x on those ballots are filled (or left vacant) in any way that results in a valid ballot;
*l (MONO'''mono-APPENDappend''') x is added at the end of some ballots that did not previously contain x;
*l (MONO'''mono-sub-SUB-PLUMPplump''') some ballots that do not have x top are replaced by ballots that have x top with no second choice;
*l (MONO'''mono-SUBsub-TOPtop''') some ballots that do not have x top are replaced by ballots that have x lop (and are otherwise arbitrary);
*l (MONO'''mono-ADDadd-PLUMPplump'''): A candidate {{math|''x''}} should not be harmed if further ballots are added that have {{math|''x''}} top with no second choice.
*l ([[Mono-add-top criterion|'''MONOmono-ADDadd-TOPtop''']]) further ballots are added that have x top (and are otherwise arbitrary);
*l (MONO'''mono-REMOVEremove-BOTTOMbottom''') some ballots are removed, all of which have x bottom, below all other candidates.
 
=== Multi-winner monotonicity ===
Monotonicity would be more aptly named ''endorsement monotonicity'' since it is the preservation of monotonicity relative to endorsement. Since it is the most important form of monotonicity is bears the simple naming. There are however two other important forms of monotonicity for multi-winner voting systems, [[Population monotonicity]] and [[House monotonicity criterion |House monotonicity]].
 
Multi-winner monotonicity could also be considered in a weaker and stronger sense: the weak form is satisfied whenever, if A is one of the winners, ranking A higher does not kick A out of the winning set; whereas the stronger form is satisfied whenever, if A is one of the winners, ranking A higher does not kick ''anyone'' out of the winning set. In a single winner election, these criteria are the same, but the stronger form is harder to satisfy for multi-winner. Woodall's definition of mono-raise corresponds to the weak form.
 
==Footnotes==
Line 141 ⟶ 145:
 
[[Category:Voting system criteria]]
[[Category:Monotonic electoral systems|*]]
1,196

edits