{"title":"Stable and envy-free lottery allocations for affordable housing","authors":"Zhan Wang, Jinpeng Ma, Hongwei Zhang","doi":"10.22574/jmid.2023.12.001","DOIUrl":null,"url":null,"abstract":"Affordable housing lotteries often enforce a rule preventing duplicate lottery entries that makes the model in Hylland & Zeckhauser (1979) (HZ) inapplicable. We revisit HZ and propose a new individually stable (IS) allocation that can be achieved by a Tickets algorithm and accommodate the rule. A strictly envy-free (SEF) allocation is shown to be the unique IS and Pareto-optimal allocation, the outcome of the unique strong Nash equilibrium of a congestion game, and the unique Pseudo market equilibrium allocation in HZ. The algorithm always obtains the unique SEF allocation (if any) and fixes a designed flaw of existing lotteries.","PeriodicalId":32451,"journal":{"name":"Journal of Mechanism and Institution Design","volume":"65 45","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mechanism and Institution Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.22574/jmid.2023.12.001","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Affordable housing lotteries often enforce a rule preventing duplicate lottery entries that makes the model in Hylland & Zeckhauser (1979) (HZ) inapplicable. We revisit HZ and propose a new individually stable (IS) allocation that can be achieved by a Tickets algorithm and accommodate the rule. A strictly envy-free (SEF) allocation is shown to be the unique IS and Pareto-optimal allocation, the outcome of the unique strong Nash equilibrium of a congestion game, and the unique Pseudo market equilibrium allocation in HZ. The algorithm always obtains the unique SEF allocation (if any) and fixes a designed flaw of existing lotteries.