Abstract:We consider the problem of fair allocation of indivisible items to agents that have arbitrary entitlements to the items. Every agent $i$ has a valuation function $v_i$ and an entitlement $b_i$, where entitlements sum up to~1. Which allocation should one choose in situations in which agents fail to agree on one acceptable fairness notion? We study this problem in the case in which each agent focuses on the value she gets, and fairness notions are restricted to be {\em share based}. A {\em share} $s$ is an function that maps every $(v_i,b_i)$ to a value $s(v_i,b_i)$, representing the minimal value $i$ should get, and $s$ is {\em feasible} if it is always possible to give every agent $i$ value of at least $s(v_i,b_i)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the fair allocation of indivisible items among agents with arbitrary entitlements. Specifically, each agent \(i\) has a valuation function \(v_i\) and an entitlement \(b_i\), and the sum of all agents' entitlements is 1. When agents cannot reach an agreement on an acceptable fairness criterion, what kind of allocation scheme should be chosen? The author has studied how to define fairness based on shares in this situation and ensure that each agent obtains at least the minimum value it deserves.
### Specific Problem Description
1. **Background and Motivation**:
- The paper considers the problem of allocating indivisible items among multiple agents, where each agent has different entitlements to these items.
- Previous literature has mainly focused on the situation where all agents have equal entitlements, but in practical applications, agents' entitlements are usually different. For example, when allocating course places, senior students may have higher entitlements; in multi - generation inheritance, grandchildren usually have smaller entitlements than their uncles and aunts; when allocating scarce medical resources, medical institutions of different scales also have different entitlements.
2. **Core Problem**:
- How to design a fair allocation mechanism in the case where agents have arbitrary entitlements, so that each agent can obtain at least the minimum value it deserves?
- In particular, the author focuses on share - based fairness, that is, the value that each agent should obtain is determined according to its valuation function and entitlement.
3. **Key Challenges**:
- In the case of indivisible items, it is impossible to allocate directly in proportion, so other forms of share definitions need to be introduced.
- Different agents may propose different feasible shares as fairness criteria, so a method that can simultaneously satisfy all agents' fairness criteria needs to be found.
- For goods and chores, the definitions and implementation methods of fairness are different and need to be processed separately.
### Main Contributions
1. **Theoretical Results**:
- The author has proved that for goods with additive valuations, there exists an allocation scheme such that each agent can obtain at least half of its share, regardless of which feasible share - based fairness criterion the agent chooses.
- This result is tight, that is, this proportion cannot be further increased.
- For chores, the author also provides a similar tight result, indicating that ex - ante and ex - post optimal guarantees can be achieved simultaneously.
2. **Algorithm Design**:
- A specific allocation algorithm is proposed, which can calculate an allocation scheme that meets the above fairness requirements in polynomial time.
- A method called "bidding game" is used to design a safe strategy to ensure that each agent can obtain at least half of the share value in the worst - case scenario.
3. **Best Possible Results**:
- For goods, it is proved that the proportion of 1/2 is optimal, and for chores, it is proved that the proportion of 2 is optimal.
- The "best - of - both - worlds" result is proposed, that is, the ex - ante and ex - post optimal guarantees are achieved simultaneously.
### Conclusion
This paper solves the problem of fair allocation of indivisible items among agents with arbitrary entitlements by introducing the concept of share - based fairness. The author not only theoretically proves the optimal fairness guarantees but also designs specific algorithms to achieve these guarantees. This work provides a new perspective and tool for understanding and solving complex resource allocation problems.