Existence of MMS Allocations with Mixed Manna

Kevin Hsu

2024-09-03

Abstract:Maximin share (MMS) allocations are a popular relaxation of envy-free allocations that have received wide attention in the fair division of indivisible items. Although MMS allocations of goods can fail to exist, previous work has found conditions under which they exist. Specifically, MMS allocations of goods exist whenever $m \leq n+5$, and this bound is tight in the sense that they can fail to exist when $m = n+6$. The techniques used to obtain these results do not apply to the mixed manna setting, leaving the question of whether similar results hold for the general setting. This paper addresses this by introducing new techniques to handle these settings. In particular, we are able to answer this question completely for the chores setting, and partially for the mixed manna setting. An agent $i$ is a {\em chores agent} if it considers every item to be a chore and a {\em non-negative agent} if its MMS guarantee is non-negative. In this paper, we prove that an MMS allocation exists as long as $m \leq n+5$ and either (i) every agent is a chores agent, or (ii) there exists a non-negative agent. In addition, for $n \leq 3$, we also prove that an MMS allocation exists as long as $m \leq n+5$, regardless of the types of agents. To the best of our knowledge, these are the first non-trivial results pertaining to the existence of exact MMS allocations in the mixed manna setting.

Computer Science and Game Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the existence problem of Maximin Share (MMS) allocation when the number of items \(m\) and the number of agents \(n\) satisfy \(m\leq n + 5\) in the mixed manna setting. Specifically:

1. **Background problems**:
- In the resource allocation problem, MMS allocation is a standard for fair allocation, which ensures that the utility obtained by each agent is not lower than its Maximin Share guarantee value.
- For the pure goods allocation, previous studies have shown that when \(m\leq n + 5\), MMS allocation exists, and this upper bound is tight.
- However, for the mixed task (including items and tasks) setting, the existing techniques cannot be directly applied, so it is not clear whether a similar conclusion holds.

2. **Research objectives**:
- The paper aims to explore whether MMS allocation exists when \(m\leq n + 5\) in the mixed task setting.
- In particular, the paper focuses on two special cases: all agents are chores agents, and there is at least one non - negative utility agent.

3. **Main contributions**:
- It is proved that when \(m\leq n + 5\) and any of the following conditions are met, MMS allocation exists:
1. The number of agents \(n\leq3\).
2. There is at least one non - negative utility agent.
3. All agents are chores agents.

4. **Methods**:
- The paper introduces new techniques to deal with the mixed task setting, combining the existing reduction rules and the method of modifying the utility function.
- These techniques enable us to find the allocation that satisfies MMS even in the mixed task setting.

Through these studies, the paper fills the theoretical gap in the existence of MMS allocation in the mixed task setting and provides new tools and ideas for future research.