Abstract:Allocating indivisible goods is a ubiquitous task in fair division. We study additive welfarist rules, an important class of rules which choose an allocation that maximizes the sum of some function of the agents' utilities. Prior work has shown that the maximum Nash welfare (MNW) rule is the unique additive welfarist rule that guarantees envy-freeness up to one good (EF1). We strengthen this result by showing that MNW remains the only additive welfarist rule that ensures EF1 for identical-good instances, two-value instances, as well as normalized instances with three or more agents. On the other hand, if the agents' utilities are integers, we demonstrate that several other rules offer the EF1 guarantee, and provide characterizations of these rules for various classes of instances.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about how to ensure the fairness of the allocation scheme when allocating indivisible items. Specifically, the author has studied whether the additive welfarist rules can guarantee the fairness criterion of "envy - freeness up to one good, EF1" in different types of instances.
### Research Background and Problem Description
In the resource allocation problem, fairness is a key factor. When resources are indivisible items (such as houses, cars, jewelry, etc.), it is usually impossible to achieve complete envy - freeness. Therefore, researchers have introduced a more relaxed standard - almost envy - freeness (EF1), that is, allowing an agent to be envious of the allocation of another agent, but on the condition that this envy will disappear if one item of the other party is removed.
### Main Contributions of the Paper
1. **Strengthening Existing Results**: Previous research has shown that the maximizing Nash welfare (MNW) rule is the only additive welfarist rule that can guarantee EF1 in all instances. This paper further proves that in some specific types of instances (such as identical - item instances, two - value instances, and normalized instances with three or more agents), MNW is still the only additive welfarist rule that can guarantee EF1.
2. **Extension to Integer - Value Instances**: For integer - value instances (that is, the utility of each agent for items is an integer), in addition to the MNW rule, there are other rules that can also guarantee EF1. For example, the maximum harmonic welfare (MHW) rule also guarantees EF1 in integer - value instances.
3. **Necessary and Sufficient Conditions**: For different types of instances (such as integer - value instances, identical - item instances, two - value instances, normalized instances, etc.), this paper provides the necessary and sufficient conditions for these rules to guarantee EF1, and has carried out strict proofs through mathematical formulas.
### Mathematical Formula Representation
To ensure the correctness and readability of the formulas, the following is the Markdown - format representation of several key formulas:
- **MNW Rule**:
\[
\text{MNW}=\arg\max_A\sum_{i = 1}^n\log u_i(A_i)
\]
where \(u_i(A_i)\) represents the utility of agent \(i\) for the set of items \(A_i\) allocated to it.
- **MHW Rule**:
\[
\text{MHW}=\arg\max_A\sum_{i = 1}^n h_0(u_i(A_i))
\]
where \(h_0(x)=\sum_{k = 1}^x\frac{1}{k}\) is the harmonic number.
- **Generalized \(p\)-Mean Rule**:
\[
\varphi_p(x)=
\begin{cases}
x^p&\text{if }p > 0\\
\log x&\text{if }p = 0\\
- x^p&\text{if }p < 0
\end{cases}
\]
### Summary
This paper, through strict mathematical analysis, has explored which additive welfarist rules can guarantee EF1 in different types of instances and has provided the necessary theoretical support for these rules. This is of great significance for understanding how to design a more fair allocation mechanism in practical applications.