1 The Problem
There is a set of agents who rent a house together. The set of rooms in the house is , with . The total rent is . It is required to assign a price to each room such that the sum of all prices is , and assign each room in to a unique agent in . The agents have different preferences on the rooms. The preferences of an agent are represented by a demand function
— for each pricevector
, the agent has a set of one or more rooms that he/she considers the best rooms given the prices. An allocation in which each agent receives a room from the set of his/her best rooms is called envyfree.The existence of envyfree allocations has been proved using various techniques and under various assumptions on the agents’ preferences. Gale (1960) made the following assumption:
Quasilinear Tenants Assumption: For all and , there is a value representing the value for agent of room . The best rooms of agent in price are the ones maximizing the difference .
Gale proved the existence of envyfree allocations using linear programming duality. Later works provided fast algorithms for calculating an envyfree allocation with quasilinear tenants using various techniques: a compensation procedure
(Haake et al., 2002), a marketbased mechanism (Abdulkadiroğlu et al., 2004), maximum matching and linear programming (Sung and Vlach, 2004). The latter approach has been later implemented and tested in the popular website spliddit.org (Gal et al., 2017).Su (1999), who invented the term “rental harmony”, made a different assumption — an agent always prefers a free room if one is available. Su considered only nonnegative prices; since we will want to consider general prices, we present a slightly generalized version of his assumption — an agent always prefers a room with a nonpositive price if one is available:
Miserly Tenants Assumption: Given a pricevector in which for some , every agent has a best room with .
In addition, Su assumed that the demand functions are continuous in the following sense: if some room is a best room for agent for a convergent sequence of pricevectors, then is a best room for in the limit pricevector.
Miserly tenants, in general, do not satisfy the quasilinear assumption. The miserly tenants model puts no restrictions on the preferences when all prices are strictly positive. The preferences may even depend on the entire pricevector. For example, the miserly tenants model allows an agent to prefer the first room when the pricevector is and prefer the second room when the pricevector is , even though the prices of both rooms have not changed. Azrieli and Shmaya (2014) describe several situations in which such preferences may be reasonable. For example, the agent may believe that a room with a rent as high as attracts wealthy neighbors and that this makes the neighboring room more attractive. As another example, if the second and third room are similar in quality, the fact that the third room costs might make the second room look more attractive — a wellknown behavioral bias. In any case, attaining rental harmony with miserly tenants requires a different technique, which is described next.
2 Spernertype Lemmas
Sperner’s lemma and its variants consider an vertex simplex, which w.l.o.g. is the standard simplex . For each , we denote by the main vertex of the simplex in which the th coordinate is and all other coordinates are .
The simplex is triangulated, and each vertex of the triangulation is labeled with a label in . The goal of all Spernertype lemmas is to identify conditions that guarantee the existence of a fullylabeled subsimplex — a subsimplex of the triangulation whose vertices are labeled with different labels.
We say that a labeling satisfies Sperner’s boundary condition if the label on each vertex is some for which . In particular, the label of is ; the label of each vertex on the line between and is either or ; and so on. Sperner’s lemma says that every labeling that satisfies Sperner’s boundary condition admits a fullylabeled simplex. An example is shown in Figure 1/Left.
Sperner’s lemma has many variants; of particular interest here is the variant proved by Scarf (1982). We say that a labeling satisfies Scarf’s boundary condition if the label on each vertex is some for which . In particular, when , the label of is either 2 or 3; the label of all vertices in the interior of the line between and is 3; and so on. Scarf’s lemma says that, in any sufficientlyfine triangulation (specifically, in any triangulation in which no subsimplex touches all faces of the large simplex), every labeling that satisfies Scarf’s boundary condition admits a fullylabeled simplex. An example is shown in Figure 1/Right.
3 Miserly Tenants and Scarf’s Lemma
Su’s proof of rental harmony with miserly tenants has two components. First, associate each vertex of the triangulation to one of the agents, such that in each subsimplex, all agents are represented (this is easy to do with the triangulations illustrated in Figure 1). Then, associate each point in with a pricevector such that, for all ,
(1) 
Each vertex of the triangulation is labeled with the index of one of the “best rooms” of the agent who owns that vertex, in the price associated with that vertex.
Each vertex on the boundary of corresponds to a pricevector in which one or more rooms are free. Then, the Miserly Tenants assumption implies that for each agent there is a best room for which . Thus, it is possible to label each vertex of the triangulation such that the labeling satisfies Scarf’s boundary condition. By Scarf’s lemma, there is a fullylabeled simplex. Consider a sequence of finer and finer triangulations. The sequence of fullylabeled simplices has a subsequence that converges to a point. At the limit point, by the continuity of the preferences, each agent has a different best room. Hence there is an envyfree allocation with prices determined by the coordinates of the limit point.
Su’s theorem has been extended in various ways:

Azrieli and Shmaya (2014) considered rental harmony with roommates, when each room can accommodate several tenants;

Frick et al. (2019); Asada et al. (2018) considered rental harmony with a secretive agent, when only agents are present, and they have to determine a pricevector such that, when the th agent comes and picks a room he prefers, the other agents can allocate the remaining rooms among them in an envyfree way.

Meunier and Su (2019) considered rental harmony with an extra agent, when agents are present, and they have to determine a pricevector such that, when any agent leaves, the remaining agents can allocate the rooms among them in an envyfree way.

Nyman et al. (2020) considered multihouse rental harmony, when there are several room houses (say, a bedroom house and an office building that are being rented to a set of agents together), and each agent should receive a room in each house.
All these extensions use appropriate generalizations of Scarf’s lemma, and they all make an assumption similar to the Miserly Tenants assumption.
Quasilinear tenants do not satisfy the Miserly Tenants assumption. For example, consider a house with total rent and three rooms: a spacious livingroom and two basements. Consider a quasilinear tenant who values the livingroom at and each basement at . If the pricevector is , then the quasilinear tenant (quite understandably) strictly prefers the livingroom to both basements. To further illustrate the difficulty with the miserly tenants assumption, note that this assumption combined with the continuity of the demand function implies that every agent is indifferent between all free rooms (Frick et al., 2019), which is clearly unrealistic.
Su (1999) notes, in the “Comments and Discussion” section, that his proof can be adapted to use a weaker assumption: whenever a free room is available, each agent has a best room that is not the most expensive room. Formally:
Weak Miserly Tenants Assumption: Given a pricevector in which for some , every agent has a best room with .
The above example shows that quasilinear tenants do not satisfy even this weaker assumption: the quasilinear agent prefers the living room although it is the most expensive one.
This raises the question of whether or not the above extensions are valid for quasilinear tenants. The next section answers this question in the affirmative, by describing a new proof to the existence of rental harmony with quasilinear tenants — a proof using Sperner’s lemma.
4 Quasilinear Tenants and Sperner’s Lemma
To handle quasilinear tenants, we just need to change the interpretation of the points in the simplex: Associate each point in with a pricevector such that, for all ,
(2) 
Then, the boundary points correspond to pricevectors in which some rooms cost infinity. This means that each price is an element of the (positive) extended real number line , rather than an element of . Note that, since and , all prices are positive and at least one price is finite.
As in Su’s proof, each vertex of the triangulation is labeled with a best room of the vertex owner. A quasilinear agent always prefers a room with a finite price to a room with an infinite price. Hence, the labeling satisfies Sperner’s boundary condition: the label on a boundary vertex is always the index of room for which . By Sperner’s lemma, the labeling admits a fullylabeled subsimplex. Continuity of preferences is preserved too. Hence there exist an envyfree allocation with some pricevector .
One problem remains: the sum of prices in may be unequal to . However, with quasilinear agents this is easy to solve. First, note that all prices in are finite — otherwise no allocation would have been envyfree. Let . Let be a new pricevector defined by: . For a quasilinear agent, adding a fixed amount to the price of each room does not change the relative preferenceordering between the rooms. Hence, the same allocation is envyfree with pricevector , and the sum of prices is .
Note that adding to all prices might make some prices negative. This means that some tenants are paid to live in their room.^{1}^{1}1 Negative prices may make sense in some situations. For example, if one of the rooms requires constant maintenance in order to prevent nuisances to the other rooms, then the tenants might agree to pay anyone who will take this room and do the maintenance job. This is inevitable: in some situations with quasilinear tenants, all envyfree allocations have negative prices. For example, suppose , tenant 1 values the bedroom at and the basement at , tenant 2 values the bedroom at and the basement at , and . Then in any envyfree allocation tenant 1 gets the bedroom and tenant 2 gets the basement, and to avoid envy the difference in prices must be at least . Since the sum of prices is , the price of the basement must be at most .^{2}^{2}2 Brams and Kilgour (2001) show an example with agents and rooms, in which for each agent, the sum of values of all rooms equals , and still there are negative prices in any envyfree allocation.
5 Nonlinear Tenants
Svensson (1983) and Alkan et al. (1991) generalized the quasilinear tenants model by assuming that each agent has a transitive preferencerelation on (room,price) pairs. For each pricevector , the best rooms of agent are the rooms for which the pairs are maximal (by ). They assume that the preferencerelation is continuous and monotonic in the price, i.e., whenever . Without further assumptions, an envyfree allocation might not exist. For example, if for all agents and prices , then the agent who receives room always envies the agent who receives room . Therefore they make assumptions whose thrust is that every agent can be convinced to select any room, if its price is sufficiently low relative to the other rooms. The following assumption is made by Svensson (1983) before Theorem 1, and by Alkan et al. (1991) at their Theorem 2 proof.^{3}^{3}3 The term “Archimedean” was invented by Rodrigo Velez. A similar assumption, called “Assumption A1”, is presented in a recent survey paper by Velez (2018).
Archimedean Tenants assumption: There exists a number such that an agent always prefers a free room to a room that costs . Formally, for any agent and any two rooms : .
Note that, if the assumption is satisfied with some , that it is satisfied with any by the pricemonotonicity. Therefore, the assumption is without loss of generality.
The Archimedean Tenants assumption is more general than the Quasilinear Tenants assumption: every quasilinear tenant is Archimedean with any the largest valuedifference between two rooms. In particular, if the tenant assigns a nonnegative value to each room, and the sum of all values is , then will do.
However, it is still not sufficiently general to handle Miserly Tenants. For example, the tenant in the example at the end of Section 1 cannot be represented by a preferencerelation on roomrent pairs, since the preference between the first two rooms depends on the rents of the other rooms.
To handle such externalities in the preferences, Velez (2016) presents the compensation assumption (Definition 2). The following is a slightly simplified version of his assumption, adapted to the language of rooms and rent.
Compensable Tenants assumption: There exists such that, if there is a room which costs at most and the most expensive room costs , then each agent prefers a room that costs less than . Formally, given a pricevector in which and , every agent has a best room with .
The Compensable Tenants assumption is more general than all previous assumptions:

Every Archimedean tenant (with some ) is compensable with the same . Suppose for some , and for the most expensive room . Every agent weakly prefers to by pricemonotonicity and to by the Archimedean assumption. Hence each agent has a best room which costs less than .

Every (weakly) miserly tenant is compensable with any . Again suppose for some , and for the most expensive room . By the weak miserly tenants assumption, every agent has a best room which is not the most expensive, so it costs less than .
Fortunately, even this most general case can be handled by Sperner’s lemma: all that is needed is a different interpretation of the points in the simplex.
Theorem 1.
An envyfree allocation among compensable tenants always exists.
Proof.
Associate each point in with a pricevector such that, for all ,
(3) 
In particular, when this gives . Note that . If for some , then . Moreover, when , there is at least one other room for which , which implies (here the assumption is used).
The Compensable Tenants assumption then implies that for each agent there is a best room for which , which implies . Hence, the agents’ labelings satisfy Sperner’s boundary condition and an envyfree allocation exists. ∎
Remark.
In general, the prices in the envyfree allocation of Theorem 1 might be negative. As said in Section 4, this may be inevitable since the theorem covers quasilinear tenants.
However, if all tenants are miserly (in addition to being compensable), then the prices in any envyfree allocation must be nonnegative, since otherwise the miserly tenant who gets the most expensive room envies the tenant who gets the room with the negative price.
Thus, the proof combines advantages of previous proofs: it works both with and without the miserly tenants assumption, and with this assumption it guarantees nonnegative prices.
The proof of rental harmony existence using Sperner’s lemma has two advantages over previous proofs regarding quasilinear agents.
First, it is arguably simpler. Due to the discrete nature of Sperner’s lemma, and thanks to the beautiful and simple proofs available for it (Su, 1999), it is easily understood even by students with little background in mathematics.^{4}^{4}4 This observation is based on the author’s experience teaching fair division to computer programmers.
Second, the new proof enables to extend the results on rental harmony existence in all settings listed in Section 3 (roommates, secretive agents, extra agents or multiple houses) from miserly tenants to compensable tenants. In particular, all these results hold for quasilinear tenants. These existence results, as far as we know, were not known before. The following section presents these results briefly.
6 Extensions
We will use a generalization of Sperner’s lemma, which was proved recently by Meunier and Su (2019). It considers a triangulation of the standard simplex , which is labeled with labels from the set by different agents. For each subsimplex of the triangulation, denote by the bipartite graph with the agents on one side, the labels on the other side, and there is an edge between an agent and a label iff the agent uses that label anywhere on that simplex.
Let be the bipartite graph, and let be a function that assigns a nonnegative weight to each edge of , such that the sum of all weights is . For each agent , let be the sum of weights of the edges adjacent to in . Similarly, for each label , let be the sum of weights of the edges adjacent to in . Note that the vector is a point in and the vector is a point in . An illustration is shown in Figure 2 (left).
Right: A possible bipartite graph in which .
The following is proved by Meunier and Su (2019) as a crucial step before the proof of their Theorem 2.3.2.
Lemma 2 (Meunier and Su (2019)).
Let be an arbitrary vector in and an arbitrary vector in . If agents label the vertices of a triangulation of by labels from , and all labelings satisfy Sperner’s boundary condition, then there exists a subsimplex and a weightfunction on such that
We will apply this lemma to labelings generated as in Theorem 1, with agents and rooms. Each agent labels each vertex with the index of a best room of given the pricevector calculated from by equation (3). As explained in the proof of Theorem 1, all these labelings satisfy Sperner’s boundary condition. For each pricevector , let be the bipartite graph defined like above: the vertices are the agents and the rooms, and each agent is adjacent to all his best room/s given the price . By the standard continuity argument, we get the following corollary of Lemma 2.
Corollary 3.
Suppose there are rooms and compensable agents. Let be an arbitrary vector in and be an arbitrary vector in . There exists a pricevector and a weightfunction on such that
To illustrate the usefulness of Corollary 3, let us use it to reprove the existence of an envyfree room allocation in the standard setting in which . Apply Corollary 3 with . It implies the existence of a pricevector and a weight function on , which look as in Figure 2 (right). All weights are weaklypositive, and the sum of weights near each vertex is . This implies that each agent is adjacent to at least one room; every two agents are adjacent together to at least two rooms; and so on. In general, for each subset of agents, the total weight near their vertices is , so they must be adjacent to at least different rooms. This means that the graph satisfies the conditions to Hall’s marriage theorem (Hall, 1935). Hence, there exists a perfect matching of agents to rooms, where each agent is matched to one of his/her best rooms given .
Next, consider the problem of rental harmony with roommates. There are rooms with , and each room has a fixed capacity , where . The goal is to assign to each room a subset of tenants and a price (which is shared equally among the tenants) such that no tenant is envious. Azrieli and Shmaya (2014) proved the existence of an envyfree allocation assuming all tenants are miserly. Later, Ghodsi et al. (2018) proved the same assuming all tenants are quasilinear.^{5}^{5}5 They used a reduction to the standard setting: For each room , construct subrooms with capacity , and let each agent value all subrooms of room by . Note that this reduction cannot be used for miserly tenants, since it does not preserve the Miserly Tenants assumption. For example, suppose the livingroom has capacity and the basement has capacity . Suppose the two subrooms of the livingroom are priced at and and the basement is priced at . Then, the livingroom and the basement have the same positive price, so a tenant who prefers the basement satisfies the Miserly Tenants assumption in the original problem, but not in the reduced problem. The following theorem generalizes both results.
Theorem 4.
When all agents are compensable, an envyfree allocation with roommates exists.
Proof.
Apply Corollary 3 with and . It implies the existence of a pricevector such that, in the bipartite graph , each room is adjacent to at least agents. Moreover, every two rooms are adjacent to at least agents, and so on. By a straightforward generalization of Hall’s marriage theorem (see Azrieli and Shmaya (2014), Theorem 3 in Appendix B), the graph admits a onetomany matching in which each room is matched to exactly agents. This corresponds to an envyfree room allocation with roommates. ∎
Next, consider the problem of rental harmony with a secretive agent. There are rooms and agents, but only agents are present. They need to decide on a pricevector such that, when the th agent comes and picks a room, the remaining agents can allocate the remaining rooms among them (without changing the prices) such that there is no envy. Asada et al. (2018) and Frick et al. (2019) proved that this is possible with miserly tenants. The paper of Velez (2016) implies a slightly weaker result for compensable tenants: an envyfree allocation exists even when only agents are compensable (but the preferences of the th agent must still be known). The following theorem generalizes both results.
Theorem 5.
When at least agents are compensable, an envyfree allocation can be found even before the preferences of the th agent are known.
Proof.
Apply Corollary 3 with the present agents and the rooms. Let and . It implies the existence of a pricevector and a weightfunction on the bipartite graph , such that the sum of weights near each present agent is , and the sum of weights near each room is . Suppose that the th agent now comes and picks a room. There are remaining rooms. The weight near each subset of rooms is at least . This fraction is larger than , so every rooms are adjacent together to more than agents, which means at least agents. Hence, the remaining graph satisfies Hall’s marriage condition, and there is a perfect matching between the agents and the remaining rooms. ∎
Remark.
Next, consider the problem of rental harmony with an extra agent. There are rooms and agents. They need to decide on a pricevector such that, when any agent leaves, the remaining agents can allocate the rooms among them (without changing the prices) such that there is no envy.
Theorem 6.
When all agents are compensable, an envyfree allocation with an extra agent exists.
Proof.
The proof is very similar to Theorem 5. Apply Corollary 3 with the agents and the rooms. Let and . It implies the existence of a pricevector and a weightfunction on the bipartite graph , such that the sum of weights near each agent is , and the sum of weights near each room is . Suppose that agent leaves. Remove from the vertex representing and all its adjacent edges. In the remaining graph, the weight near each subset of rooms is at least , so every rooms are adjacent together to at least remaining agents. Hence, the remaining graph satisfies Hall’s marriage condition, and there is a perfect matching between the remaining agents and the rooms. ∎
7 Future Work
The new existence results proved above open up some interesting computational issues. With quasilinear tenants, there are fast algorithms for computing an envyfree allocation (see Section 1). Can these algorithms handle more advanced settings such as roommates, secretive agents or extra agents? Can these algorithms be extended to compensable tenants?
8 Acknowledgments
I am grateful to Guillaume Chèze, Yaron Azrieli, Eran Shmaya, Rodrigo Velez, Frédéric Meunier and Shira Zerbib for their kind and helpful comments.
References
 Abdulkadiroğlu et al. (2004) Abdulkadiroğlu, A., Sönmez, T., and Ünver, M. U. (2004). Room assignmentrent division: A market approach. Social Choice and Welfare, 22(3):515–538.
 Alkan et al. (1991) Alkan, A., Demange, G., and Gale, D. (1991). Fair Allocation of Indivisible Goods and Criteria of Justice. Econometrica, 59(4):1023+.
 Asada et al. (2018) Asada, M., Frick, F., Pisharody, V., Polevy, M., Stoner, D., Tsang, L. H., and Wellner, Z. (2018). Fair division and generalizations of spernerand kkmtype results. SIAM Journal on Discrete Mathematics, 32(1):591–610.
 Azrieli and Shmaya (2014) Azrieli, Y. and Shmaya, E. (2014). Rental harmony with roommates. Journal of Economic Theory, 153:128–137.
 Brams and Kilgour (2001) Brams, S. J. and Kilgour, D. M. (2001). Competitive Fair Division. Journal of Political Economy, 109(2):418–443.
 Frick et al. (2019) Frick, F., HoustonEdwards, K., and Meunier, F. (2019). Achieving rental harmony with a secretive roommate. The American Mathematical Monthly, 126(1):18–32. arXiv preprint 1702.07325.
 Gal et al. (2017) Gal, Y. K., Mash, M., Procaccia, A. D., and Zick, Y. (2017). Which is the fairest (rent division) of them all? Journal of the ACM (JACM), 64(6):39.
 Gale (1960) Gale, D. (1960). The theory of linear economic models. University of Chicago press.

Ghodsi et al. (2018)
Ghodsi, M., Latifian, M., Mohammadi, A., Moradian, S., and Seddighin, M.
(2018).
Rent division among groups.
In
International Conference on Combinatorial Optimization and Applications
, pages 577–591. Springer.  Haake et al. (2002) Haake, C.J., Raith, M. G., and Su, F. E. (2002). Bidding for envyfreeness: A procedural approach to nplayer fairdivision problems. Social Choice and Welfare, 19(4):723–749.
 Hall (1935) Hall, P. (1935). On representatives of subsets. In Classic Papers in Combinatorics, pages 58–62. Springer. In collection from 2009.
 Meunier and Su (2019) Meunier, F. and Su, F. E. (2019). Multilabeled versions of sperner’s and fan’s lemmas and applications. SIAM Journal on Applied Algebra and Geometry, 3(3):391–411.
 Nyman et al. (2020) Nyman, K., Su, F. E., and Zerbib, S. (2020). Fair division with multiple pieces. Discrete Applied Mathematics. In press.
 Scarf (1982) Scarf, H. E. (1982). The computation of equilibrium prices: an exposition. Handbook of mathematical economics, 2:1007–1061.
 Su (1999) Su, F. E. (1999). Rental Harmony: Sperner’s Lemma in Fair Division. The American Mathematical Monthly, 106(10):930–942.
 Sung and Vlach (2004) Sung, S. C. and Vlach, M. (2004). Competitive envyfree division. Social Choice and Welfare, 23(1):103–111.
 Svensson (1983) Svensson, L.G. (1983). Large indivisibles: an analysis with respect to price equilibrium and fairness. Econometrica: Journal of the Econometric Society, pages 939–954.
 Velez (2016) Velez, R. A. (2016). Fairness and externalities. Theoretical Economics, 11(1):381–410.
 Velez (2018) Velez, R. A. (2018). Equitable rent division. ACM Transactions on Economics and Computation (TEAC), 6(2):1–25.
Comments
There are no comments yet.