Optimal apportionment

Last updated

Optimal apportionment is an approach to apportionment that is based on mathematical optimization.

Contents

In a problem of apportionment, there is a resource to allocate, denoted by . For example, it can be an integer representing the number of seats in a house of representatives. The resource should be allocated between some agents. For example, these can be federal states or political parties. The agents have different entitlements, denoted by a vector of fractions with a sum of 1. For example, ti can be the fraction of votes won by party i. The goal is to find an allocation - a vector with .

The ideal share for agent i is his/her quota, defined as . If it is possible to give each agent his/her quota, then the allocation is maximally fair. However, exact fairness is usually unattainable, since the quotas are not integers and the allocations must be integers. There are various approaches to cope with this difficulty (see mathematics of apportionment). The optimization-based approach aims to attain, for eacn instance, an allocation that is "as fair as possible" for this instance. An allocation is "fair" if for all agents i, that is, each agent's allocation is exactly proportional to his/her entitlement. in this case, we say that the "unfairness" of the allocation is 0. If this equality must be violated, one can define a measure of "total unfairness", and try to minimize it.

Minimizing the sum of unfairness levels

The most natural measure is the sum of unfairness levels for individual agents, as in the utilitarian rule: [1] :102–104

Minimizing the largest unfairneses

One can minimize the largest unfairness, as in the egalitarian rule:

Related Research Articles

Minmax is a decision rule used in artificial intelligence, decision theory, game theory, statistics, and philosophy for minimizing the possible loss for a worst case scenario. When dealing with gains, it is referred to as "maximin" – to maximize the minimum gain. Originally formulated for several-player zero-sum game theory, covering both the cases where players take alternate moves and those where they make simultaneous moves, it has also been extended to more complex games and to general decision-making in the presence of uncertainty.

In mathematics, economics, and political science, the highest averages methods, also called divisor methods, are a class of apportionment algorithms for proportional representation. Divisor algorithms seek to fairly divide a legislature between agents. More generally, divisor methods are used to divide or round a whole number of objects being used to represent (non-whole) shares of a total.

A bankruptcy problem, also called a claims problem, is a problem of distributing a homogeneous divisible good among people with different claims. The focus is on the case where the amount is insufficient to satisfy all the claims.

Fairness measures or metrics are used in network engineering to determine whether users or applications are receiving a fair share of system resources. There are several mathematical and conceptual definitions of fairness.

In the mathematical theory of matroids, the rank of a matroid is the maximum size of an independent set in the matroid. The rank of a subset S of elements of the matroid is, similarly, the maximum size of an independent subset of S, and the rank function of the matroid maps sets of elements to their ranks.

Fair item allocation is a kind of the fair division problem in which the items to divide are discrete rather than continuous. The items have to be divided among several partners who potentially value them differently, and each item has to be given as a whole to a single person. This situation arises in various real-life scenarios:

Efficiency and fairness are two major goals of welfare economics. Given a set of resources and a set of agents, the goal is to divide the resources among the agents in a way that is both Pareto efficient (PE) and envy-free (EF). The goal was first defined by David Schmeidler and Menahem Yaari. Later, the existence of such allocations has been proved under various conditions.

Weller's theorem is a theorem in economics. It says that a heterogeneous resource ("cake") can be divided among n partners with different valuations in a way that is both Pareto-efficient (PE) and envy-free (EF). Thus, it is possible to divide a cake fairly without compromising on economic efficiency.

Resource monotonicity is a principle of fair division. It says that, if there are more resources to share, then all agents should be weakly better off; no agent should lose from the increase in resources. The RM principle has been studied in various division problems.

In mathematics, leximin order is a total preorder on finite-dimensional vectors. A more accurate, but less common term is leximin preorder. The leximin order is particularly important in social choice theory and fair division.

Egalitarian item allocation, also called max-min item allocation is a fair item allocation problem, in which the fairness criterion follows the egalitarian rule. The goal is to maximize the minimum value of an agent. That is, among all possible allocations, the goal is to find an allocation in which the smallest value of an agent is as large as possible. In case there are two or more allocations with the same smallest value, then the goal is to select, from among these allocations, the one in which the second-smallest value is as large as possible, and so on. Therefore, an egalitarian item allocation is sometimes called a leximin item allocation.

The multiple subset sum problem is an optimization problem in computer science and operations research. It is a generalization of the subset sum problem. The input to the problem is a multiset of n integers and a positive integer m representing the number of subsets. The goal is to construct, from the input integers, some m subsets. The problem has several variants:

In social choice and operations research, the egalitarian rule is a rule saying that, among all possible alternatives, society should pick the alternative which maximizes the minimum utility of all individuals in society. It is a formal mathematical representation of the egalitarian philosophy. It also corresponds to John Rawls' principle of maximizing the welfare of the worst-off individual.

Mathematics of apportionment describes mathematical principles and algorithms for fair allocation of identical items among parties with different entitlements. Such principles are used to apportion seats in parliaments among federal states or political parties. See apportionment (politics) for the more concrete principles and issues related to apportionment, and apportionment by country for practical methods used around the world.

Population monotonicity (PM) is a principle of consistency in allocation problems. It says that, when the set of agents participating in the allocation changes, the utility of all agents should change in the same direction. For example, if the resource is good, and an agent leaves, then all remaining agents should receive at least as much utility as in the original allocation.

Seat bias is a property describing methods of apportionment. These are methods used to allocate seats in a parliament among federal states or among political parties. A method is biased if it systematically favors small parties over large parties, or vice versa. There are various ways to compute the bias of apportionment methods.

Coherence, also called uniformity or consistency, is a criterion for evaluating rules for fair division. Coherence requires that the outcome of a fairness rule is fair not only for the overall problem, but also for each sub-problem. Every part of a fair division should be fair.

Balance or balancedness is a property of apportionment methods, which are methods of allocating identical items between among agens, such as dividing seats in a parliament among political parties or federal states. The property says that, if two agents have exactly the same entitlements, then the number of items they receive should differ by at most one. So if two parties win the same number of votes, or two states have the same populations, then the number of seats they receive should differ by at most one.

Lexicographic max-min optimization is a kind of multi-objective optimization. In general, multi-objective optimization deals with optimization problems with two or more objective functions to be optimized simultaneously. Lexmaxmin optimization presumes that the decision-maker would like the smallest objective value to be as high as possible; subject to this, the second-smallest objective should be as high as possible; and so on. In other words, the decision-maker ranks the possible solutions according to a leximin order of their objective function values.

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.

References

  1. Balinski, Michel L.; Young, H. Peyton (1982). Fair Representation: Meeting the Ideal of One Man, One Vote . New Haven: Yale University Press. ISBN   0-300-02724-9.
  2. Biró, Péter; Kóczy, László Á.; Sziklai, Balázs (2015-09-01). "Fair apportionment in the view of the Venice Commission's recommendation". Mathematical Social Sciences. 77: 32–41. doi:10.1016/j.mathsocsci.2015.06.001. hdl: 10419/108309 . ISSN   0165-4896.
  3. Koczy, Laszlo A.; Biro, Peter; Sziklai, Balazs (2017-06-01). "US vs. European Apportionment Practices: The Conflict between Monotonicity and Proportionality". Cers-Ie Working Papers.
  4. Gambarelli, Gianfranco (1999-11-01). "Minimax Apportionments". Group Decision and Negotiation. 8 (6): 441–461. doi:10.1023/A:1008675107505. ISSN   1572-9907. S2CID   195220285.