Top Trading Cycles, Consistency, and Acyclic Priorities for House Allocation with Existing Tenants

We study the house allocation with existing tenants model (Abdulkadiroğlu and Sönmez, 1999) and consider rules that allocate houses based on priorities. We introduce a new acyclicity requirement and show that for house allocation with existing tenants a top trading cycles (TTC) rule is consistent if and only if its underlying priority structure satisfies our acyclicity condition. Next we give an alternative description of TTC rules based on ownership-adapted acyclic priorities in terms of two specific rules, YRMH-IGYT (you request my house - I get your turn) and efficient priority rules, that are applied in two steps. Moreover, even if no priority structure is a priori given, we show that a rule is a top trading cycles rule based on ownership-adapted acyclic priorities if and only if it satisfies Pareto-optimality, individual-rationality, strategy-proofness, consistency, and either reallocation-proofness or non-bossiness