Balinski–Young theorem: Difference between revisions
no edit summary
(Moved latter part of History to Specific systems, as it didn't relate to history, and added note about fractional voting power.) |
No edit summary |
||
Line 1:
In 1983, two mathematicians, [[Michel Balinski]] and Peyton Young, proved that any
{{cite book |title=Fair Representation: Meeting the Ideal of One Man, One Vote |last=Balinski |first=M |author2=Young HP |year=1982 |publisher=Yale Univ Pr |isbn=0-300-02724-9 |url-access=registration |url=https://archive.org/details/fairrepresentati00bali }}</ref><ref>
{{cite book |title=Fair Representation: Meeting the Ideal of One Man, One Vote |edition=2nd |last=Balinski |first=M |author2=Young HP|year=2001 |publisher=Brookings Institution Press |isbn=0-8157-0111-X }}
</ref> The theorem shows that any possible method used to allocate the remaining fraction will necessarily fail to always follow quota. More precisely, their theorem states that there is no apportionment system
*
*
== Specific systems==
Methods may have a subset of these properties, but can't have all of them:
*
* A method may follow quota and be free of the Alabama paradox. Balinski and Young constructed a method that does so, although it is not in common political use.<ref>{{cite journal |last=Balinski |first=M |author2=Young HP |year=1974 |title=A new method for congressional apportionment |journal=Proceedings of the National Academy of Sciences |volume=71 |issue=11 |pages=4602–4606 |doi=10.1073/pnas.71.11.4602|pmc=433936 |pmid=16592200}}</ref>▼
** Such failures can be extremely rare under a good apportionment system--so far, no apportionment of the US congress under Huntington-Hill or Webster would have failed to maintain quota.
▲* A method may be free of both the Alabama paradox and the population paradox. These methods are [[Highest averages method|divisor methods]],<ref name=Smith>{{cite web |url=http://rangevoting.org/Apportion.html |title=Apportionment and rounding schemes |last=Smith |first=WD}}</ref> and [[W:Huntington-Hill method|Huntington-Hill]], the method currently used to apportion House of Representatives seats, is one of them. However, these methods will necessarily fail the quota rule in some elections.
* [[Largest remainder method |Largest remainder methods]] like [[Hamilton method|Hamilton]] obey the quota rule but fail pairwise population monotonicity.
* No method may always follow quota and be free of the population paradox.<ref name="Smith" />
Many mathematically analogous situations arise in which quantities are to be divided into discrete equal chunks. The Balinski–Young theorem applies in these situations: it indicates that although very reasonable approximations can be made, there is no mathematically rigorous way in which to reconcile the small remaining fraction while complying with all the competing fairness elements.
== House monotonicity ==
▲
However, the quota rule is incompatible with population monotonicity.
==History==
Line 31 ⟶ 35:
* [[Population monotonicity]]
* [[House monotonicity criterion |
* [[Quota rule]]
|