Abstract:Allocating items in a fair and economically efficient manner is a central problem in fair division. We study this problem for agents with additive preferences, when items are all goods or all chores, divisible or indivisible. The celebrated notion of Nash welfare is known to produce fair and efficient allocations for both divisible and indivisible goods; there is no known analogue for dividing chores. The Nash welfare objective belongs to a large, parameterized family of objectives called the p-mean welfare functions, which includes other notable members, like social welfare and egalitarian welfare. However, among the members of this family, only the Nash welfare produces fair allocations for goods. Incidentally, Nash welfare is also the only member that satisfies the axiom of scale invariance, which is crucially associated with its fairness properties. We define the class of "normalized p-mean" objectives, which imparts the missing key axiom of scale invariance to the p-mean family. Our results show that optimizing the normalized p-mean objectives produces fair and efficient allocations when the items are goods or chores, divisible or indivisible. For instance, the normalized p-means gives us an infinite class of objectives that produce (i) proportional and Pareto efficient allocations for divisible goods, (ii) approximately proportional and Pareto efficient allocations for divisible chores, (iii) EF1 and Pareto efficient allocations for indivisible goods for two agents, and (iv) EF1 and Pareto efficient allocations for indivisible chores for two agents.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to achieve a fair and cost - effective allocation among multiple agents with additive preferences when fairly allocating items (including goods and tasks). Specifically: 1. **Research Background**: - The paper focuses on two scenarios: all items are goods (each agent has a non - negative value \(v_{ij}\geq0\) for each good), or all items are tasks (each agent has a non - negative cost \(c_{ij}\geq0\) for each task). - Items can be divisible (such as slices of cake) or indivisible (such as a piece of art). 2. **Existing Challenges**: - For goods, Nash welfare maximization is known to produce a fair and efficient allocation. - For tasks, there is no known objective function similar to Nash welfare that can guarantee fairness and efficiency. 3. **Research Objectives**: - Introduce the "normalized p - mean" objective function. By adjusting the parameters in the p - mean family, these objective functions possess the key property of scale invariance. - Investigate whether optimizing the normalized p - mean objective function can provide fair and efficient solutions for the allocation of goods and tasks. 4. **Main Contributions**: - For goods: - Divisible goods: For any \(p\leq0\), maximizing the normalized p - mean utility can obtain a proportionally fair (PROP) and fractionally Pareto optimal (fPO) allocation. - Indivisible goods: By rounding the allocation results of divisible goods, an approximately proportionally fair (PROP1) and Pareto optimal (PO) allocation can be obtained; for two agents, an envy - free up to one item (EF1) and Pareto optimal allocation can also be obtained. - For tasks: - Divisible tasks: Minimizing the normalized p - mean disutility (\(p\geq1\)) can obtain an approximately proportionally fair (\(n^{1/p}\)-PROP) and Pareto optimal allocation. - Indivisible tasks: By rounding the allocation results of divisible tasks, an approximately proportionally fair (\(n^{1/p}\)-PROP1) and Pareto optimal allocation can be obtained; for two agents, an envy - free up to one task (EF1) and Pareto optimal allocation can also be obtained. 5. **Conclusion**: - The normalized p - mean objective function provides a new method that can achieve fair and efficient item allocation in various situations, whether for goods or tasks, divisible or indivisible. ### Formula Summary - **Normalized p - Mean Utility**: \[ w_p\left(\frac{v_1(x_1)}{v_1(M)}, \ldots, \frac{v_n(x_n)}{v_n(M)}\right)=\left(\frac{1}{n}\sum_{i = 1}^n\left(\frac{v_i(x_i)}{v_i(M)}\right)^p\right)^{\frac{1}{p}} \] - **Normalized p - Mean Disutility**: \[ w_p\left(\frac{c_1(x_1)}{c_1(M)}, \ldots, \frac{c_n(x_n)}{c_n(M)}\right)=\left(\frac{1}{n}\sum_{i = 1}^n\left(\frac{c_i(x_i)}{c_i(M)}\right)^p\right)^{\frac{1}{p}} \] By introducing the normalized p - mean objective function, the paper successfully solves the problem of lack of fairness in task allocation and provides a unified method to handle the allocation problems of goods and tasks.

On the Fairness of Normalized p-Means for Allocating Goods and Chores

Fair and Efficient Allocations under Subadditive Valuations

Fairness Criteria for Allocating Indivisible Chores: Connections and Efficiencies

Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods

On Fair and Efficient Allocations of Indivisible Public Goods

Repeated Fair Allocation of Indivisible Items

Weighted EF1 and PO Allocations with Few Types of Agents or Chores

New Algorithms for the Fair and Efficient Allocation of Indivisible Chores

Fairly Allocating Goods and (Terrible) Chores

Uniform Welfare Guarantees Under Identical Subadditive Valuations

Fair Allocation of goods and chores -- Tutorial and Survey of Recent Results

Tight Approximation Algorithms for p-Mean Welfare Under Subadditive Valuations

The Unreasonable Fairness of Maximum Nash Welfare

A Fair Allocation is Approximately Optimal for Indivisible Chores, or Is It?

Fair Allocation of Indivisible Public Goods

Finding Fair Allocations under Budget Constraints

Fair and Efficient Allocations Without Obvious Manipulations

Fair Division with Allocator's Preference

The Fairness of Leximin in Allocation of Indivisible Chores

Constrained Fair and Efficient Allocations

Envy-freeness and maximum Nash welfare for mixed divisible and indivisible goods