Rank-index method
In apportionment theory, rank-index methods are a set of apportionment methods that generalize the divisor method. These have also been called Huntington methods, since they generalize an idea by Edward Vermilye Huntington.
Input and output
Like all apportionment methods, the inputs of any rank-index method are:- A positive integer representing the total number of items to allocate. It is also called the house size.
- A positive integer representing the number of agents to which items should be allocated. For example, these can be federal states or political parties.
- A vector of fractions with, representing entitlements - represents the entitlement of agent, that is, the fraction of items to which is entitled.
Iterative procedure
Every rank-index method is parametrized by a rank-index function, which is increasing in the entitlement and decreasing in the current allocation. The apportionment is computed iteratively as follows:- Initially, set to 0 for all parties.
- At each iteration, allocate one item to an agent for whom is maximum.
- Stop after iterations.
Min-max formulation
Every rank-index method can be defined using a min-max inequality: a is an allocation for the rank-index method with function r, if-and-only-if:.
Properties
Every rank-index method is house-monotone. This means that, when increases, the allocation of each agent weakly increases. This immediately follows from the iterative procedure.Every rank-index method is uniform. This means that, we take some subset of the agents, and apply the same method to their combined allocation, then the result is exactly the vector. In other words: every part of a fair allocation is fair too. This immediately follows from the min-max inequality.
Moreover:
- Every apportionment method that is uniform, symmetric and balanced must be a rank-index method.
- Every apportionment method that is uniform, house-monotone and balanced must be a rank-index method.
Quota-capped divisor methods
Every quota-capped divisor method satisfies house monotonicity. Moreover, quota-capped divisor methods satisfy the quota rule.
However, quota-capped divisor methods violate the participation criterion —it is possible for a party to lose a seat as a result of winning more votes. This occurs when:
- Party i gets more votes.
- Because of the greater divisor, the upper quota of some other party j decreases. Therefore, party j is not eligible to a seat in the current iteration, and some third party receives the seat instead.
- Then, at the next iteration, party j is again eligible to win a seat and it beats party i.