Fair division of the replacement-units without an appraiser in urban renewal processes
Noga Klein Elmalem, Rica Gonen, Erel Segal-Halevi
TL;DR
This work addresses envy-free allocation in urban redevelopment (Rebuild-and-Divide) by modeling how old-to-new apartment values influence fairness and by introducing three envy notions: Difference, Envy Sum, and Ratio. It develops rigorous conditions for when DEF/SEF allocations exist, links envy to graph-theoretic MACC bounds, and introduces the Minimum Envy Sum mechanism to minimize maximum envy under SEF. The paper also analyzes manipulation risks, proposing characteristic-based valuation elicitation to mitigate safe manipulations and showing that even with such elicitation, some DEF/REF allocations may not exist. Overall, it provides practical, polynomial-time tools for reducing envy in complex allocation problems, while highlighting open questions about algorithmic guarantees and robustness in more general settings.
Abstract
Rebuild and Divide is an urban renewal process that involves the demolition of old buildings and the construction of new ones. Original homeowners are compensated with upgraded apartments, while surplus units are sold for profit, so theoretically it is a win-win project for all parties involved. However, many rebuild-and-divide projects withheld or delayed due to disagreements over the assignment of new units, claiming they are not "fair". The goal of this research is to develop algorithms for envy-free allocation of the new units. The main challenge is that, in contrast to previous work on envy-free allocation, the envy depends also on the value of the old units, as people with more valuable old units are entitled to more valuable new units. We introduce three models that capture different notions of fairness: (1) the Difference Model, where agents evaluate their gains relative to others; (2) the Envy Sum Model, which permits some envy as long as the total envy does not exceed that of the original allocation; and (3) the Ratio Model, where fairness is assessed based on the proportional value of old apartments. For each model, we establish an envy criterion and seek a payment vector and allocation that ensure envy-freeness. These models present both theoretical challenges and intriguing insights. Additionally, within the Envy Sum Model, we present a mechanism that computes an allocation and payment scheme that minimizes total envy. We also analyze the mechanism's vulnerability to manipulation and identify conditions under which it is obviously manipulable.
