Monotonicity: Difference between revisions

m
Reformat list of Woodall's monotonicity criteria to better match the formatting in his paper
m (lower-caps "Mayoral" per article name)
m (Reformat list of Woodall's monotonicity criteria to better match the formatting in his paper)
Line 114:
[[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.
 
==Footnotes==
1,196

edits