Temporal Fair Division of Indivisible Goods with Structured Constraints

Abstract

This paper investigates temporal fair division, a setting where items are allocated over multiple rounds and agents require cumulative fairness over time. We focus on dynamic extensions of classic fairness notions: Temporal Envy-Freeness Up to Any Good (TEFX), its $\alpha$-TEFX approximation, and Temporal Maximin Share (TMMS). Because these strict fairness criteria are known to be generally impossible to satisfy, we analyze the model under constraints to map the boundary between what is possible and what is not. Our contribution systematically maps the structural boundaries of these temporal fairness notions. Our main technical result introduces a novel dynamic backtracking framework that achieves exact TEFX for Strong Binary Valuations. We prove, via a lexicographical potential function argument, that this bounded historical reallocation systematically resolves temporal envy cycles and terminates in finite time. Finally, we establish tight approximation ratios for $\alpha$-TEFX under identical valuations and bi-valued goods, alongside targeted impossibility results for TEFX and TMMS, demonstrating exactly where temporal fairness is mathematically unattainable, and properly contextualizing prior algorithms that only implicitly satisfied our newly defined TMMS metric.