APS can be > MMS

Dependencies:

  1. Fair division
  2. Additive set function
  3. AnyPrice share
  4. Maximin share allocations
  5. Proportional allocation

Consider a fair division instance with 15 goods and 3 agents having equal entitlements and identical additive valuations. The values of the goods are 65, 31, 31, 31, 23, 23, 23, 17, 11, 7, 7, 7, 5, 5, 5.

Then the AnyPrice share is at least 97, the proportional share is 97, and the maximin share is less than 97.

Suppose we multiply the value of each item by $-1$ to obtain an instance of chores. For this instance, the AnyPrice share is at least $-97$, the proportional share is $-97$, and the maximin share is less than $-97$.

Proof

For goods, this follows from Lemma C.1 of https://doi.org/10.1287/moor.2021.0199.

For chores, a similar argument tells us that the AnyPrice share is at least $-97$. If the maximin share is at least $-97$, then there must exist a partition $P$ of the chores where each bundle has disutility 97. But then $P$ would prove that the maximin share in the corresponding goods instance is at least 97, which is a contradiction. Hence, for the chores instance, the maximin share is less than $-97$.

Dependency for:

  1. GMMS doesn't imply APS

Info:

Transitive dependencies:

  1. /sets-and-relations/countable-set
  2. /analysis/sup-inf
  3. σ-algebra
  4. Set function
  5. Fair division
  6. Proportional allocation
  7. Maximin share of a set function
  8. Maximin share allocations
  9. Additive set function
  10. Optimization: Dual and Lagrangian
  11. Dual of a linear program
  12. Linear programming: strong duality (incomplete)
  13. AnyPrice share