Math 2.0

Proposition

Minimizing pairwise inequality

Statement

One way to evaluate apportionment methods is by whether they minimize the amount of inequality between pairs of agents. Clearly, inequality should take into account the different entitlements: if ai/ti=aj/tja_i/t_i = a_j / t_j then the agents are treated "equally" (w.r.t. their entitlements); otherwise, if ai/ti>aj/tja_i/t_i > a_j / t_j then agent ii is favored, and if ai/ti<aj/tja_i/t_i < a_j / t_j then agent jj is favored. However, since there are 16 ways to rearrange the equality ai/ti=aj/tja_i/t_i = a_j / t_j, there are correspondingly many ways by which inequality can be defined.

  • ∣ai/ti−aj/tj∣|a_i/t_i - a_j / t_j|. Webster's method is the unique apportionment method in which, for each pair of agents ii and jj, this difference is minimized (that is, moving a seat from ii to jj or vice versa would not make the difference smaller).
  • ai−(ti/tj)aja_i - (t_i/t_j)a_j for ai/ti≥aj/tja_i/t_i \geq a_j/t_j This leads to Adams's method.
  • ai(tj/ti)−aja_i(t_j/t_i) - a_j for ai/ti≥aj/tja_i/t_i \geq a_j/t_j. This leads to Jefferson's method.
  • ∣ti/ai−tj/aj∣|t_i/a_i - t_j /a_j|. This leads to Dean's method.
  • ∣ai/tiaj/tj−1∣\left|\frac{a_i/t_i}{a_j/t_j} - 1\right|. This leads to the Huntington-Hill method.

This analysis was done by Huntington in the 1920s. Some of the possibilities do not lead to a stable solution. For example, if we define inequality as ∣ai/aj−ti/tj∣|a_i/a_j - t_i/t_j|, then there are instances in which, for any allocation, moving a seat from one agent to another might decrease their pairwise inequality. There is an example with 3 states with populations (737,534,329) and 16 seats.

Further reading

  1. Wikipedia, page 68407499, revision 1360707387, Mathematics of apportionment, section Minimizing pairwise inequality. adopted
About this page
Tag7G0MN4Q4DJ
URIm2://7G0MN4Q4DJ
Kindstatement, proposition
WritingW0 stub
StatusThis copy of the site has no build data. Run m2 status 7G0MN4Q4DJ.
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • edge uses out: each definition that the statement needs (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.