{"title":"Efficiency in multiple-type housing markets","authors":"Di Feng","doi":"10.1016/j.jmateco.2025.103136","DOIUrl":null,"url":null,"abstract":"<div><div>We consider multiple-type housing markets (Moulin, 1995), which extend Shapley and Scarf (1974)’s housing markets from one dimension to higher dimensions. In this model, <em>Pareto efficiency</em> is incompatible with <em>individual rationality</em> and <em>strategy-proofness</em> (Konishi et al., 2001). Therefore, we consider two weaker efficiency properties: <em>coordinatewise efficiency</em> and <em>pairwise efficiency</em>.</div><div>We show that these two properties both (i) are compatible with <em>individual rationality</em> and <em>strategy-proofness</em>, and (ii) help us to identify two specific mechanisms. Put precisely, on various preference domains, together with other well-studied properties (<em>individual rationality</em>, <em>strategy-proofness</em>, and <em>non-bossiness</em>), <em>coordinatewise efficiency</em> and <em>pairwise efficiency</em> respectively characterize two extensions of the top trading cycles mechanism (TTC): the coordinatewise TTC (cTTC) and the bundle TTC (bTTC). For multiple-type housing markets with strict preferences, our bTTC characterization constitutes the first characterization of a TTC extension.</div><div>Our proof is nonstandard and its novelty has independent methodological interest. Specifically, the absence of <em>non-bossiness</em> in the cTTC characterization and its presence in the bTTC characterization highlight both the uniqueness of our proof approach and the differences between our results and those in the existing literature.</div></div>","PeriodicalId":50145,"journal":{"name":"Journal of Mathematical Economics","volume":"119 ","pages":"Article 103136"},"PeriodicalIF":1.0000,"publicationDate":"2025-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Economics","FirstCategoryId":"96","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304406825000539","RegionNum":4,"RegionCategory":"经济学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"ECONOMICS","Score":null,"Total":0}
引用次数: 0
Abstract
We consider multiple-type housing markets (Moulin, 1995), which extend Shapley and Scarf (1974)’s housing markets from one dimension to higher dimensions. In this model, Pareto efficiency is incompatible with individual rationality and strategy-proofness (Konishi et al., 2001). Therefore, we consider two weaker efficiency properties: coordinatewise efficiency and pairwise efficiency.
We show that these two properties both (i) are compatible with individual rationality and strategy-proofness, and (ii) help us to identify two specific mechanisms. Put precisely, on various preference domains, together with other well-studied properties (individual rationality, strategy-proofness, and non-bossiness), coordinatewise efficiency and pairwise efficiency respectively characterize two extensions of the top trading cycles mechanism (TTC): the coordinatewise TTC (cTTC) and the bundle TTC (bTTC). For multiple-type housing markets with strict preferences, our bTTC characterization constitutes the first characterization of a TTC extension.
Our proof is nonstandard and its novelty has independent methodological interest. Specifically, the absence of non-bossiness in the cTTC characterization and its presence in the bTTC characterization highlight both the uniqueness of our proof approach and the differences between our results and those in the existing literature.
期刊介绍:
The primary objective of the Journal is to provide a forum for work in economic theory which expresses economic ideas using formal mathematical reasoning. For work to add to this primary objective, it is not sufficient that the mathematical reasoning be new and correct. The work must have real economic content. The economic ideas must be interesting and important. These ideas may pertain to any field of economics or any school of economic thought.