Entitlement (fair division)


In fair division, a person's entitlement is the value of the goods they are owed or deserve, i.e. the total value of the goods or resources that a player would ideally receive. For example, in proportional representation, a party's seat entitlement is equal to its share of the vote, times the number of seats in the legislature.

Dividing money

Even when only money is to be divided and some fixed amount has been specified for each recipient, the problem can be complex. The amounts specified may be more or less than the amount of money, and the profit or loss will then need to be shared out. The proportional rule is normally used in law nowadays, and is the default assumption in the theory of bankruptcy. However, other rules can also be used. For example:

In the Talmud

The Talmud has a number of examples where entitlements are not decided on a proportional basis.
  • The disputed garment problem. If one person claims the whole of a cloth and another half then it is divided 3/4 and 1/4.
  • The estate division problem. Three wives have claims to 100, 200 and 300 zuz. Three cases are considered, if the estate is 100 zuz then they get 33 and a third each, if 200 then 50, 75, 75, and if 300 then 50, 100 and 150.
  • Profits from a joint fund. If two people put 200 and 100 into a fund and buy an ox for ploughing and use it for that purpose, they must divide the profit evenly between them. But if they instead slaughter the ox, the profit is divided proportionally. This is discussed in the Babylonian Talmud.
  • Ibn Ezra's problem. This is a later problem of estate division that was solved in a different way. A man with an estate of 120 dies bequeathing 120, 60, 40 and 30 to his four sons. The recommendation was to award /1+/2+/3+/4 to the first and sums with leading terms removed for the rest ending with 30/4 for the last. This allocation is different from the previous estate division.
These solutions can all be modeled by cooperative games. The estate division problem has a large literature and was first given a theoretical basis in game theory by Robert J. Aumann and Michael Maschler in 1985. See Contested garment rule.

Dividing continuous resources

Fair cake-cutting is the problem of dividing a heterogeneous continuous resource. There always exists a proportional cake-cutting respecting the different entitlements. The two main research questions are how many cuts are required for a fair division? how many queries are needed for computing a division? See:
Cloud computing environments require to divide multiple homogeneous divisible resources between users, where each user needs a different combination of resources. The setting in which agents may have different entitlements has been studied by and.

Fair item allocation

Identical indivisible items - dividing seats in parliaments

In parliamentary democracies with proportional representation, each party is entitled to seats in proportion to its number of votes. In multi-constituency systems, each constituency is entitled to seats in proportion to its population. This is a problem of dividing identical indivisible items among agents with different entitlements. It is called the apportionment problem.
The allocation of seats by size of population can leave small constituencies with no voice at all. The easiest solution is to have constituencies of equal size. Sometimes, however, this can prove impossible – for instance, in the European Union or United States. Ensuring the 'voting power' is proportional to the size of constituencies is a problem of entitlement.
There are a number of methods which compute a voting power for different sized or weighted constituencies. The main ones are the Shapley–Shubik power index, the Banzhaf power index. These power indexes assume the constituencies can join up in any random way and approximate to the square root of the weighting as given by the Penrose method. This assumption does not correspond to actual practice and it is arguable that larger constituencies are unfairly treated by them.

Heterogeneous indivisible items

In the more complex setting of fair item allocation, there are multiple different items with possibly different values to different people.
Aziz, Gaspers, Mackenzie and Walsh define proportionality and envy-freeness for agents with different entitlements, when the agents reveal only an ordinal ranking on the items, rather than their complete utility functions. They present a polynomial-time algorithm for checking whether there exists an allocation that is possibly proportional, or necessarily proportional.
Farhadi, Ghodsi, Hajiaghayi, Lahaie, Pennock, Seddighin, Seddighin and Yami defined the Weighted Maximin Share as a generalization of the maximin share to agents with different entitlements. They showed that the best attainable multiplicative guarantee for the WMMS is 1/n in general, and 1/2 in the special case in which the value of each good to every agent is at most the agent's WMMS. Aziz, Chan and Li adapted the notion of WMMS to chores. They showed that, even for two agents, it is impossible to guarantee more than 4/3 of the WMMS. They present a 3/2-WMMS approximation algorithm for two agents, and an WMMS algorithm for n agents with binary valuations. They also define the OWMMS, which is the optimal approximation of WMMS that is attainable in the given instance. They present a polynomial-time algorithm that attains a 4-factor approximation of the OWMMS.
The WMMS is a cardinal notion in that, if the cardinal utilities of an agent changes, then the set of bundles that satisfy the WMMS for the agent may change. Babaioff, Nisan and Talgam-Cohen introduced another adaptation of the MMS to agents with different entitlements, which is based only on the agent's ordinal ranking of the bundles. They show that this fairness notion is attained by a competitive equilibrium with different budgets, where the budgets are proportional to the entitlements. This fairness notion is called Ordinal Maximin Share by Chakraborty, Segal-Halevi and Suksompong. The relation between various ordinal MMS approximations is further studied by Segal-Halevi.
Babaioff, Ezra and Feige present another ordinal notion, stronger than OMMS, which they call the AnyPrice Share . They show a polynomial-time algorithm that attains a 3/5-fraction of the APS.
Aziz, Moulin and Sandomirskiy present a strongly polynomial time algorithm that always finds a Pareto-optimal and WPROP allocation for agents with different entitlements and arbitrary valuations.
Relaxations of WEF have been studied, so far, only for goods. Chakraborty, Igarashi and Suksompong introduced the weighted round-robin algorithm for WEF. In a follow-up work, Chakraborty, Schmidt-Kraepelin and Suksompong generalized the weighted round-robin algorithm to general picking-sequences, and studied various monotonicity properties of these sequences.

Items and money

In the problem of fair allocation of items and money, monetary transfers can be used to attain exact fairness of indivisible goods.
Corradi and Corradi define an allocation as equitable if the utility of each agent i is r ''ti ui, where r'' is the same for all agents.
They present an algorithm that finds an equitable allocation with r >= 1, which means that the allocation is also proportional.

Bargaining

Cooperative bargaining is the abstract problem of selecting a feasible vector of utilities, as a function of the set of feasible utility vectors.
Three classic bargaining solutions have variants for agents with different entitlements. In particular: