Improved Regret Bounds for Online Fair Division with Bandit Learning
Benjamin Schiffer, Shirley Zhang
TL;DR
This work addresses online fair division with $n$ players and $m$ item types where player-item values are drawn from unknown distributions and item types arrive online. It introduces a UCB-based algorithm that uses two rounds of linear programming to enforce proportionality in expectation while ensuring sufficient exploration, leveraging a high-probability confidence set over the unknown means. Under normalized valuations, the algorithm achieves a near-optimal $ ilde{O}(\,sqrt{T} olinebreak[0] )$ regret with high probability and improves upon the previous $ ilde{O}(T^{2/3})$ rate, illustrating a fundamental advantage of proportionality constraints over envy-freeness in learning settings. The paper also proves a matching lower bound for envy-freeness and discusses extensions to deterministic item types and broader limitations and future directions, including runtime considerations and applying the framework to other fairness notions.
Abstract
We study online fair division when there are a finite number of item types and the player values for the items are drawn randomly from distributions with unknown means. In this setting, a sequence of indivisible items arrives according to a random online process, and each item must be allocated to a single player. The goal is to maximize expected social welfare while maintaining that the allocation satisfies proportionality in expectation. When player values are normalized, we show that it is possible to with high probability guarantee proportionality constraint satisfaction and achieve $\tilde{O}(\sqrt{T})$ regret. To achieve this result, we present an upper confidence bound (UCB) algorithm that uses two rounds of linear optimization. This algorithm highlights fundamental aspects of proportionality constraints that allow for a UCB algorithm despite the presence of many (potentially tight) constraints. This result improves upon the previous best regret rate of $\tilde{O}(T^{2/3})$.
