Credit Fairness: Online Fairness In Shared Resource Pools
Seyed Majid Zahedi, Rupert Freeman
TL;DR
This work addresses fair resource sharing over time when agents have time-varying demands and fixed endowments. It shows that static max-min fairness, though PE and SP, can yield large inequities, motivating a credit-based fairness framework. The authors propose LendRecoup, a credit-fair online mechanism that is Pareto efficient and satisfies online strategyproofness, while providing formal guarantees via a credit system CF1–CF5; they prove that credit fairness strengthens SI with PE but cannot coexist with SP under anonymity. Empirical evaluation on trace-driven workloads demonstrates that LendRecoup achieves competitive welfare while substantially improving equity and avoiding harm from sharing, suggesting strong practical potential for shared-resource systems.
Abstract
We consider a setting in which a group of agents share resources that must be allocated among them in each discrete time period. Agents have time-varying demands and derive constant marginal utility from each unit of resource received up to their demand, with zero utility for any additional resources. In this setting, it is known that independently maximizing the minimum utility in each round satisfies sharing incentives (agents weakly prefer participating in the mechanism to not participating), strategyproofness (agents have no incentive to misreport their demands), and Pareto efficiency (Freeman et al. 2018). However, recent work (Vuppalapati et al. 2023) has shown that this max-min mechanism can lead to large disparities in the total resources received by agents, even when they have the same average demand. In this paper, we introduce credit fairness, a strengthening of sharing incentives that ensures agents who lend resources in early rounds are able to recoup them in later rounds. Credit fairness can be achieved in conjunction with either Pareto efficiency or strategyproofness, but not both. We propose a mechanism that is credit fair and Pareto efficient, and we evaluate its performance in a computational resource-sharing setting.
