Perpetually Fair Assignments Via Balanced Sequences of Permutations

TL;DR

This paper introduces new balance conditions for sequences of item assignments to ensure fairness among players over time, exploring their existence and relation to proportionality guarantees.

Contribution

It proposes multiple balance conditions for fair daily assignments, analyzing their feasibility and connection to proportionality concepts in fair division.

Findings

A weak balance condition always exists.

A strong balance condition exists for n <= 11 but not for larger n.

A third condition exists for n <= 12, but not for multiples of 6 beyond 18.

Abstract

There is a set of n indivisible items (or chores), and a set of n players. Each day, a single item should be assigned to each player. We want to ensure that all players feel that they have been treated fairly, not only after the last day, but after every single day. We present two 'balance' conditions on sequences of permutations. One condition can always be satisfied, but is arguably too weak; a second condition is strong, and can be satisfied for all n <= 11, but cannot be satisfied for some larger values of n, including all n>61. We then relate the 'balance' condition to the requirement that the cumulative assignment is proportional up to one item (PROP1), where proportionality holds in a strong ordinal sense -- for every valuations that are consistent with the item ranking. We present a third balance condition that implies ordinal PROP1. We show that a sequence guaranteeing this balance condition exists for all n <= 12, but might not exist when n=6k for any k >= 19. Finally, we present a fourth, weaker balance condition on a sequence, that guarantees ordinal proportionality up to two items (PROP2). Whether or not this condition can be satisfied for all n remains an open question.