Cake cutting is a way to abstract the problem of dividing a continuous heterogeneous resource among multiple agents or players in a fair manner. The underlying idea is that different parts of a cake such as chocolate icing, nuts or berries represent different values to the people who are dividing the cake analogous to how the valuation of the agents vary heterogeneously over a continuous resource such as land or server time slots. There are multiple definitions of “fairness” in the context of cake cutting. One such definition of a fair allocation is one that is proportional, where each of the players get at least of their value of the cake. A stronger notion of fairness (which implies proportionality when the entire cake is allocated) is that of an envy-free allocation, which guarantees that no player prefer some other player’s allocated portion of cake. Throughout this paper, we adopt our notion of fairness to be that of envy-freeness. Applications of cake cutting include land division, partitioning advertising time slots, and the fair allocation of computing resources. The MARA survey of Chevaleyre et al. (2006) provides a detailed description of the application areas.
Allocations in cake cutting, and thus the algorithms used to obtain them, are partitioned into two categories:
Contiguous Allocations, where every player gets a single piece of cake, and
Non-Contiguous Allocations, where each player may get arbitrarily many disjoint pieces of cake.
In real-life applications such as land division or the partitioning of server time slots, Contiguous Allocations are preferred to Non-Contiguous Allocations because the latter give no guarantee over the number or sizes of the disjoint chunks of cake. For example, it is impractical to give infinitely (or even exponentially) many infinitesimally small crumbs of land to an agent in a land division problem. On the other hand, the social welfare of Non-Contiguous Allocations can be significantly larger than that of Contiguous Allocations. In addition, from a computational point of view, Non-Contiguous allocations are preferable because there is no finite protocol for the problem of finding envy-free Non-Contiguous Allocations (Stromquist, 2007). Furthermore, there is recent work (Aziz and Mackenzie, 2016) that gives a finite bounded-time protocol for finding an envy-free Non-Contiguous Allocation.111This work also bounds the number of cuts (and hence the total number of pieces of cake), but this bound is of an impractically high order () to satisfy the concerns about players getting meaninglessly small crumbs of cake.
Within the cake cutting literature, there is work that focuses on optimality (with respect to utilitarian welfare) (Cohler et al., 2011), bounded time complexity (Kurokawa et al., 2013), and truthfulness (Chen et al., 2013)
. These results are limited to cake cutting instances with restricted valutation functions (piecewise uniform or piecewise linear). The literature can also be classified according to the admissible allocations, that is, Contiguous and Non-Contiguous Allocations.
The goal of this paper is to analyze allocations that lie between the two extremes of Contiguous and Non-Contiguous Allocations, by defining “-Contiguous Allocations”, as follows.
Definition 1.1 ().
Given an instance of a cake cutting problem, refers to the set of Non-Contiguous Allocations of such that each agent is allocated at most disjoint pieces of cake, and refers to the subset of that only include envy-free allocations.
In particular, we wish to characterize how the optimal social welfare (both utilitarian and egalitarian) grows with . It is natural to expect that relaxing the constraint of allocating a single piece to each player to allowing up to pieces per player should improve social welfare, regardless of any additional fairness constraints. Therefore, we first study the effect of this relaxation for the plain resource allocation problem (without any fairness constraints), before moving on to the problem of envy-free cake cutting. This additional step allows us to analyze the impact of imposing envy-freeness. In summary, we characterize the growth of both utilitarian and egalitarian social welfare, with and without the constraint of envy-freeness. We call this growth the “price of indivisibility”, and define four variants of this measure, one for each of the above four cases. Throughout, let denote the set of all cake cutting instances with agents.
Definition 1.2 ().
The maximum increase in utilitarian social welfare when each agent can be allocated up to disjoint pieces of cake is defined as
Definition 1.3 ().
The maximum increase in utilitarian social welfare when each agent can be allocated up to disjoint pieces of cake subject to envy-freeness is defined as
The measures and for the egalitarian social welfare can be analogously defined. These definitions are inspired by the concept of “Price of Fairness”, defined as the ratio of the optimal social welfare without the constraint of fairness to the optimal social welfare with the constraint of fairness. It was first studied for Non-Contiguous Allocations by Caragiannis et al. (2012) considering utilitarian social welfare, and for three notions of fairness (envy-freeness, proportionality, and equitability). Aumann and Dombb (2015) then studied the price of fairness for Contiguous Allocations, considering both utilitarian and egalitarian social welfare, and for the same three notions of fairness.
1.1. Our Results
Our primary results comprise either exact values or strong lower bounds for each of the four variants of POI. In particular, we show the following:
The first result above is an exact computation of the gain in utilitarian social welfare when there are only two players. We observe that this quantity is concave in ; therefore, it grows swiftly for small values of , and slows down for larger values, inching towards (the maximum value) when . In contrast, the quantities , , and grow linearly with until approaches , at which point they stop growing. In the process of proving bounds for and , we have proved a secondary result regarding the existence of envy-free contiguous allocations with certain desirable properties for a limited set of cake cutting instances, obtained by suitably adapting the approach of Brânzei and Miltersen (2013), where the authors exhibit a game whose pure Nash equilibria are envy-free allocations.
The following are conjectures which we believe to be true:
is a concave concave in for all values of .
1.2. Some Related Work
Our work attempts to characterize the growth of social and egalitarian welfare while increasing the maximum number of pieces allocated to a player, by drawing upon the definitions of the “price of fairness” from Caragiannis et al. (2012) and Aumann and Dombb (2015). Our concept, the “price of indivisibility” is analogous to the price of fairness, wherein we replace the fairness constraint with the constraint on the maximum number of continuous pieces allocated to a player.
The work of Caragiannis, Lai, and Procaccia (Caragiannis et al.) deals with the aforementioned problem of many small crumbs in Non-Contiguous Allocations by introducing a new class of valuation functions. These “Piecewise Uniform with Minimum Length” (PUML) valuations ensure that each disjoint piece of cake allocated to any agent is always longer than a specified minimum length, thus implicitly bounding the number of pieces each player receives. This work restricts the valuations to being piecewise uniform and presents algorithms for optimal approximately proportional, envy-free allocations.
Our approach can also be viewed as a workaround to the limits on efficiency placed by the constraints of envy-freeness and connectedness, as presented by Aumann and Dombb (2015). The work of Arzi
et al. (2011) attempts to do something similar by characterizing the improvement in utilitarian and egalitarian social welfare of envy-free Contiguous Allocations obtained by permitting throwing away a bounded portion of the cake. It is worth noting that throwing away a part of the cake can only improve the social welfare (dubbed as the “dumping effect”) of envy-free Contiguous Allocations. In other words, there is no “dumping effect” for envy-free Non-Contiguous Allocations, because each disjoint dumped piece of cake could be treated as a separate cake to be allocated in an envy-free manner (Proposition 1 in (Arzi
et al., 2011)). Our constraint relaxation (allowing up to continuous pieces per player, instead of just one) is, perhaps, comparable to theirs (relaxing geometric constraints), in the sense that these are different concessions that can be made in order to improve social welfare. While the potential egalitarian welfare gain in both approaches turns out to be , it is worth noting that the utilitarian welfare gain can be as much as in our approach (when ), whereas it is limited to at most in that of Arzi
et al. (2011).
Finally, we note the work of Nyman et al. (2017) regarding fair (i.e. envy-free) divisions of cake with each player receiving multiple pieces. This work proves existential results for the division of a cake in a manner that allows a lower bounded number of players to prefer mutually disjoint sets of pieces.
2. Model and Notations
We consider a rectangular cake C, represented as the interval , which is cut into disjoint intervals by cuts parallel to the left edge of the cake. The set of players is denoted by . Every player has a valuation function : . This valuation function has the following properties -
Additivity : For disjoint intervals and , ’
Well Defined : The valuation functions are well defined in nature. They do not distinguish between open and closed intervals , i.e., there are no point values -
Divisibility For every interval [a,b] and , there exists a sub-interval [c,d] i.e. such that
Additionally, each of these valuation functions have an underlying continuous, non negative value density function such that for every interval I [0,1], . The continuity (and finiteness) of the density function is what guarantees that the valuation function is well defined throughout the cake.
A portion of the cake is a union of disjoint intervals of cake. A portion is continuous if it is a single interval of the cake. We define an allocation to be with all the portions being mutually disjoint. Player gets portion .
Each node has a utility for any allocation- . The social welfare of an allocation is the sum of the utilities of all the nodes. Thus, an envy-free allocation has the property that .
For notational convenience, we define the “gain” - and (with and without fairness respectively) of any cake cutting instance i with n players and k pieces.
2.1. A Restriction on Cake Cutting Instances
We will restrict our analysis to a certain set of cake cutting instances . This set is the union of sets … where has the following definition.
Definition 2.1 ().
Every cake cutting instance in can be constructed in the following manner. Every player “owns” j rectangular pieces to such that . The cake is any permutation of the these n.j rectangular pieces of cake.
Note that if .
There are two reasons why we analyze cake cutting instances only in the set X.
We are looking for cake cutting instances in which the optimum social welfare increases considerably when moving from Allocations(1) to Allocations(k). Intuitively, this gain is maximized when the cake is composed of distinct rectangular pieces without overlapping values, thus making it easier to pick k pieces of “good” value for each player (because nobody else values them). This intuition is formalized in a later section.
Finding optimal allocations and optimal envy-free allocations is significantly easier for instances in X as compared to more general cake cutting instances.
3. The Price of Indivisibility
3.1. POIU without Fairness
We will restrict our analysis to cake cutting instances in the set and later prove that searching in this set will find the instance that maximizes . Note that the numerator of - optimum utilitarian welfare in Allocations(k)- is always for such instances - as every player can get all the pieces owned by him (which are the only pieces he values).
Lemma 3.1 ().
Any allocation maximizing utilitarian welfare for instances in can be restricted to making cuts only on the boundaries between the pieces.
Assume that there exists some allocation with a cut C not on the boundaries of the pieces. Consequently, this cut divides one of the piece (which belongs to player P) into two halves with each half going to a different players P1 and P2. Now, there are two cases, when player P is one of these two players, and when P is not. In the latter case, since neither P1 and P2 have any value for the piece, we can move the cut C to either end of the piece without changing utilitarian welfare. In the former case, we can in fact improve utilitarian welfare by giving the entire piece to player P. Thus, we can restrict our search to only allocations that maximize utilitarian welfare to only those which have cuts on the boundaries. Clearly, this proof also works for multiple cuts within a piece, the two cases being whether player P is among the set of players receiving the divided pieces or not. ∎
This lemma is of particular utility to us because we can now treat finding an allocation with optimum utilitarian welfare as a combinatorial optimization problem.
We begin with the result for the two player case.
3.1.1. The Two Player Case
Theorem 3.2 ().
We present a tight bound on POIU for the 2 player case :
Our proof is constructive in nature. Firstly, the numerator of is fixed to because of the assumption of searching for allocations in . Therefore, we only need to think about minimizing the denominator, that is, the optimum utilitarian welfare within Contiguous Allocations. Since we are dealing with two players here, that is equivalent to finding a single cut point on the cake that maximizes the utilitarian welfare of the resulting allocation. Note that for any cut point, deciding who gets the left side and who the right is obvious from the point of view of optimizing utilitarian welfare, the left piece is given to the player who values it more and as a consequence, the right piece is valued more by the other player (conveniently for us).
Additionally, because of Lemma 1, we only need to find which one among the potential cut points maximizes the social welfare. Let us label these cut points - . Thus, for a cake cutting instance in X(k):
Intuitively, it seems that reducing the utilitarian welfare at one of the cut points comes at the cost of increasing it elsewhere. We will formalize this in the next lemma where we prove that the sum of the utilitarian welfare across all the cuts is at least 2k. Armed with this lemma and the expression for optimum utilitarian welfare above, we can say that: . Since the sum of the possible values of utilitarian welfare is fixed to be at least and the optimum utilitarian welfare is the maximum of the values, the smallest possible value of optimum utilitarian welfare occurs when all the possible values are equal and add up to exactly . To complete the proof, we construct a cake cutting instance in where is exactly . We follow this up with a lemma that proves that the sum of social welfares across the cut points in C is lower bounded by .
We begin with an instance (Fig 1) for the case of .
It is obvious that the utilitarian welfare () across each of the cuts C1, C2 and C3 is equal to . To explain the construction this instance, let the corner pieces have value and and the center piece have value and - for players 1 and 2 respectively. Let us assume that . Thus,
Now, we want to have , this gives us . Onto the more general case with pieces, let the value of the corner piece (of say, player 1 - although the reasoning applies to both players) be . Therefore, . Let the value of the piece  be (to player 2). Consider the cut at C2, we want - thus the allocation has to switch sides (by which we mean that the left side piece and the right side pieces are swapped between the players) from C1 (else because of the drop in value for the player who gets the right side piece). Therefore,
Let the value of  be z (to player 1). Again, the allocation has to switch sides from C2 (else because of the drop in value for the player who retains the left side piece). Thus,
We extend this result using induction, that is, all pieces but the corner piece have value if the corner piece has value . Consider any piece belonging to player P (either 1 or 2) of value . We know that , and that the allocation has to swap sides at cut . Thus,
Finally, we normalize the values of the pieces, each player has one (corner) piece of value and pieces of value .
This is exactly the value that is our lower bound. Consequently,
We now prove the lower bound on the sum of social welfares across the cuts in C to complete the proof of theorem 3.2.
Lemma 3.3 ().
We will prove this inequality by rewriting the sum and grouping terms. Let where and represents the respective utilities of the players who receive the left and right side pieces for cut . We rewrite the sum as:
We know that and are both equal to , because the corner piece goes to the player to whom it belongs and the rest of the cake (which contains the entire value of the other player) goes to the other player.
Consider each of the terms in the other sum, we claim that :
To prove this claim, consider the cuts at and - without loss of generality, we assume that player 1 has the left side piece for the allocation at cut there are two cases - whether the piece belongs to player 1 or 2 , each with two sub-cases whether the allocation switches sides or not from to . Let the left piece at (i.e.) have value to player 1 and to player 2. Because of our assumption, . Also, depending on the case, has value to player 1 or value to player 2.
There are two cases, with two sub-cases each.
- Case 1::
In Fig 2, Piece belongs to Player 1
- Sub-Case 1::
Allocation does not flip
- Sub-Case 2:
: Allocation Flips
This is not possible as as and all valuations are non-negative.
- Case 2::
In Fig 3, Piece belongs to Player 2
- Sub-Case 1::
- Sub-Case 2::
Allocation does not flip
Thus, each of the terms is at least .
Hence Proved. ∎
So far, we have restricted our search for the to the set of cake cutting instances X(k). However, the price of indivisibility is defined over the set of all cake cutting instances for two players.
Basically, we are setting the numerator to be and trying to find the minimum possible value of the denominator.
So far we have the result that:
and a corresponding instance which shows exactly this gain (with the corresponding values of numerator and denominator). Now, if we were to shift to a generic cake cutting instance (, no point looking in anymore) from I’ - there is a resultant decrease in the numerator as well as the denominator - . Note that (as the optimum utilitarian welfare is always greater than 1) and Thus:
We want to prove that
which comes down to proving that:
Lemma 3.4 ().
This lemma states that whatever loss is caused (from ) in the denominator, the optimum utilitarian welfare with connected pieces - that loss is magnified by in the numerator, i.e optimum social welfare with each player getting connected pieces.
The intuition is that instance has clearly defined cut points (the cut set C) such that the social welfare is equal across all these cut points (and their sum has a fixed lower bound). Additionally, the allocation flips at each cut point. The reduction must be effected across all these cut points as the one with the greatest social welfare is picked. The same points are the exact set of cut points for an optimum allocation with pieces in the instance .
First we define a variables to capture the current loss in the numerator - . We know cuts are made in total when each player gets connected pieces (such that the social welfare is optimal) - we name this cut set C’. We also know that the pieces to player 1 and 2 alternate. As part of our proof, we make the cuts one by one from left to right and cumulatively measure the loss in the numerator given the constraint that the loss in the denominator has to be . There is a direct one to one mapping between the cut set C in instance and the cut set C in instance in our proof where maps to . We define and as the respective utilitarian welfares in and I’ after the leftmost i cuts have been made.
We prove by induction that
Consider the base case- that is, only the first cut is made:
is trivially true, otherwise we have an allocation with continuous pieces with the loss in the denominator being less than .
Now, let the claim be true for some . Now, consider what happens at , firstly the allocation with connected pieces flips at this point - so what was earlier the loss until cut - (at least) in the denominator now becomes the denominator gain (with respect to instance and cut - i.e ) because of the flipping, thus we need to have a denominator loss of (at least) in the new allocation with cut added to maintain the denominator constraint and thus this results in completely “reversing the loss” in the numerator and adding an extra loss of . Thus, this takes up the total loss in the numerator up to . Hence, our induction argument is complete. Thus,
This completes our proof for the value of for the case.
Theorem 3.5 ().
3.2. POIE without Fairness
To analyze the price of indivisibility with respect to egalitarian welfare, we again choose cake cutting instances in for analysis because we easily obtain strong lower bounds for by searching in this space. Note that the optimum envy-free egalitarian welfare in Allocations(k)- is always for such instances - as every player can get all the pieces owned by him (which are the only pieces he values).
We begin by proving two lower bounds for egalitarian welfare (EW) with connected pieces.
Lemma 3.6 ().
, where I represents the set of all cake cutting instances
The proof is constructive in nature. We know that a proportional allocation with continuous pieces always exists - as one can always be generated by the protocol of Dubins and Spanier (1961) . A proportional allocation always guarantees a value of at least to each player and thus proves the lemma. ∎
Lemma 3.7 ().
Again, we offer a constructive proof, consider an allocation in which each player gets (among other things) the most valuable piece that belongs to him. The rest of the cake is divided arbitrarily between the players who hold the “most valuable pieces” enclosing each unallocated section of the cake. Clearly, each player has utility at least because by the pigeon-hole principle, the value of the most valuable piece is at least . Thus, our result is proved. ∎
Combining these two results, the real lower bound i.e., the larger one, is when k<n and for . i.e.:
Note that the optimum egalitarian welfare with pieces being given to each player is because we are restricted to allocations in .
Theorem 3.8 ().
The proof is constructive in nature. We show an instance for which has the smallest possible optimum egalitarian welfare possibles. The instance has k identical blocks of n pieces. In each block, each piece belongs to a distinct player and all the blocks have the pieces arranged in the same order (of the players to which they belong) . Each of the pieces have value . We claim that the optimum egalitarian welfare of this arrangement is - trivially achieved by giving each player the piece that belongs to him from the first block and giving the rest of the cake to the player who owns the adjoining piece. Consider the possibility that optimum egalitarian welfare is greater than . Each player would then strictly need to get more than one piece that belongs to him as each piece has value exactly . However, two pieces that belong to the same player are always separated by other pieces- hence each player must get n+1 pieces. However this is not possible for because the total number of pieces allot ed must be which is strictly greater than the pieces available. Thus, egalitarian welfare cannot be larger than the already achieved. This takes care of and . Consider the instance for , we have constructed an instance with optimum egalitarian welfare - this is the smallest possible optimum egalitarian welfare as per the bounds we have proved. Thus, this instance can be directly used for all as well to prove the theorem. ∎
3.3. POIU with Fairness
We analyze instances in to obtain some strong lower bounds for . Note that the numerator of - optimum envy-free utilitarian welfare in Allocations(k)- is always for such instances - as every player can get all the pieces owned by him (which are the only pieces he values).
3.3.1. The Two Player Case
We show a construction in Fig 4 with two players with two pieces that gives us close to the maximum possible gain of . We know the gain cannot be better than because every envy free allocation is also proportional when it covers the entire cake. Hence, every player has utility at least and thus the optimum envy free social welfare with connected pieces is at least .
The optimal envy free allocation comes with a cut down the exact centre of the cake (the boundary separating the left two pieces from the right two pieces). It is clear that no player can gain any more without causing a greater loss to the other player while maintaining envy-freeness. Thus, . Thus the gain and hence the . We generalize this result to pieces because the same construction can be used for the pieces as well because we have already hit the maximum possible gain.
3.3.2. Some Lower Bounds
We state some useful observations in the form of lemmas before proving our results.
Lemma 3.9 ().
The utilitarian welfare of any envy free allocation is at least 1.
Every EF allocation of the entire cake is also proportional, hence each player has utility at least ∎
The implication is that .
Lemma 3.10 ().
No optimal envy free allocation gives any player only a part of a piece “owned” by him.
An allocation that gives the entire piece to the player (while the rest is unchanged) has greater utilitarian welfare and does not affect the envy-freeness property. ∎
Lemma 3.11 ().
Every player gets at least complete one piece owned by him in an envy-free Contiguous Allocation.
Every EF allocation of the entire cake is also proportional, so each player has utility at least . So every player has to get at least part of his own cake. From the previous lemma, we know he gets entire pieces only. Hence Proved. ∎
Lemma 3.12 ().
None of the pieces of cake are divided among more than two players in an optimal envy free Contiguous Allocation.
This is a direct consequence of the previous two lemmas. We know the player to whom a piece belongs will never just get a part of a cake. Consider a division of the piece among three or more players, none of whom “own” that piece - Clearly at least one of them ends up with an utility of and no piece of his own - thus this is not possible. ∎
Theorem 3.13 ().
Optimal envy-free allocations in the -pieces case () always have an utilitarian welfare of at least .
Each player has two pieces that belong to him, we know from lemma 3.11 that each player gets at least one of these two pieces. Consider an allocation where each player gets (among other things) the higher value that belongs to him. The rest of the cake can be divided arbitrarily between the two players who hold the neighbouring high value pieces belonging to them. Clearly this allocation is envy free, because no player having his high value piece can envy someone having the other piece belonging to him. Since the higher value piece has value at least , any optimal, continuous envy free allocation has value at least . ∎
Now, we show a construction of a cake cutting instance T with pieces owned by each player (thus ) that has a gain approaching the maximum possible gain of . This can be used for the pieces case where .
Theorem 3.14 ().
Our instance consists of blocks of pieces , each block has pieces belonging to all the players. Each player has “symmetric” pieces of value and one “asymmetric” piece of value . Each block of pieces has exactly one asymmetric piece and that belongs to player number for block number (counting from left to right). Fig 5 is a depiction of this instance with the asymmetric pieces having stripes.
We claim that the optimal envy-free allocation with continuous pieces is each player getting (among other things) exactly one piece that belongs to them with this being the asymmetric piece. All the symmetric pieces are divided arbitrarily between the players whose asymmetric pieces they are sandwiched between. This arrangement is clearly envy-free. To prove it is optimal, consider an allocation in which a player receives more than one piece belonging to him (among other things obviously)- one of them has to be a symmetric piece. Now, this symmetric piece comes at the cost of some player missing out on his asymmetric piece, which is a clear drop in optimality (trading an asymmetric piece for a symmetric piece for different players reduces social welfare). Additionally, to keep such an allocation envy free, this other player must receive at least two symmetric pieces again causing another player to lose his asymmetric piece in exchange creating a continuous chain of loss in optimality (we are not even sure such a chain ends in an envy free allocation). Hence, which approaches as . This instance can also be used to generate the for the pieces case where as we have already demonstrated the maximum possible gain. Thus,
Next up, we deal with the cases when .
Lemma 3.15 ().
In an optimal EF allocation with continuous pieces (i.e an EF Contiguous Allocation), each player gets at most two partial pieces belonging to some other player.
The implication is that each optimal EF continuous allocation has at most 2n divided pieces.
Theorem 3.16 ().
Each player gets at least one piece that belongs to him. Let his utility be . We know that the rest of the pieces that belong to him can be at most in number, let these pieces be divided among players. Assuming that as many players as possible divide these pieces to minimize the minimum utility of each player (may not always be possible, but we are only establishing a lower bound), hence we set - the upper bound is because each of these pieces can be divided among at most two players. Clearly,
Due to the envy-freeness condition:
We treat as a new variable and using the AM-HM inequality conclude that:
3.3.3. The Maximum Value Piece Idea
However, we can prove a stronger real lower bound of for . Theorem 3.11 provides the intuition for the idea that - for an optimal EF Contiguous Allocation, each player gets at least the value of the most valuable piece owned by him. If there were an equivalent lemma to lemma 3.1 (proving that cuts need to made only on the boundaries between the “owned” pieces) for optimal envy-free allocations for cake cutting instances in , then establishing this maximum value piece idea would be straightforward. A simple proof by contradiction is as follows -if any player P does not get the value of his most valuable piece (MVP), then the hypothetical lemma analogous to lemma 3.1 would ensure that some other player received a piece of cake containing P’s MVP, thus causing P to envy this player. However, such a lemma clearly cannot be proved in a similar manner to lemma 3.1 . This is because, in certain envy-free allocations, some of the pieces may be divided between two players who do not own that piece to ensure envy-freeness (as the player who owns that piece might envy some other player who gets the entire piece), even if there is no consequence in terms of utilitarian welfare in doing so.
Consider the following protocol inspired by the Dubins-Spanier Protocol. A knife moves from left to right on the cake starting from the left extreme. Any player who values the cake to the left of the knife equal to the value of his most valuable piece can call and claim that piece. Note that we adhere to the idea of lemma 3.10 and let each player delay the call so that he gets the entirety of the piece that belongs to him at the right end of his piece (although this is not strictly necessary for what we are proving, this allows for greater utilitarian welfare. We claim that this protocol ensures that every player gets at least the value of his most valuable piece. The proof rests on the fact that there are n such most valuable pieces. In each round of the procedure,we claim that each player who has not received a portion of cake has his most valuable piece unallocated currently - otherwise, he would have already called for it and received that piece as no other player would call with the knife in the middle or end of that piece. Hence, after each of the first n-1 rounds, the remainder of the cake always has “enough” value for the active players thus proving our claim. However, we cannot guarantee that the allocation resulting from this protocol will be envy free, as it is always possible that a player who has already received a piece of cake might envy a later piece called for by another player.
Lemma 3.17 ().
An envy free contiguous allocation exists such that the allocation gives each player at least the value of his most valuable piece (of the k pieces owned by him).
Note that this lemma does not talk about optimal envy free contiguous allocations. However, it helps in bounding the quantity - , and also helps with a later result regarding .
The proof is constructive in nature, and comes up with a protocol that generates an envy free allocation with the desired properties.
We look to the work of Brânzei and
Miltersen (2013) to prove the existence of an envy free allocation with the maximum value piece property. This work is done in the setting where every player knows all about the other player’s preferences. Firstly, we convert this protocol to the Dubins-Spanier protocol based game in Brânzei and
Miltersen (2013) with threshold strategies. We then adapt the results of the paper for our particular class of cake cutting instances by modifying the game. These modifications are required because Brânzei and
Miltersen (2013) restrict the value density functions to be strictly positive which rules out cake cutting instances such as those in the set X where the players are allowed to have zero value over parts of the cake. In contrast, we work with non-negative value density functions which allow players to have zero value over pieces of cake.
To summarize the protocol of Brânzei and Miltersen (2013)- the protocol is in the form of a n-round game G where each player’s strategy is in the form of “thresholds”. Player had strategy , meaning that player will call whenever the value of the cake to left of the knife is in round (and receives the cake to the left of the knife) if he has not already received a piece.
We make some modifications to this protocol to create a new game G’ for players to divide cake cutting instances in the set X. These modifications ensure that the game G’ only induces cuts on the boundaries of the n.m “owned” pieces.
TThe main result of Brânzei and Miltersen (2013) is that a pure Nash equilibrium in their game (which always exists for some deterministic tie breaking rule) results in an allocation which is envy free. We will show in the next lemma that the results of Brânzei and Miltersen (2013) hold for G’ as well despite the modifications we make to the protocol. We have already shown a simple strategy that any player can use to get at least the value V’ of his most valuable piece regardless of the actions of the other players in this game. In each round, this player P only calls if the value of the cake to the left of the knife is equal to V’ - this immediately guarantees that this player will get V’ as no other player will cut in the middle of player P’s most valuable piece. Thus, the Nash equilibrium that induces an envy free allocation must assure each player of at least the value of his most valuable piece or have its Nash equilibrium property violated by the existence of a more profitable strategy to deviate to. This proves the maximum value piece lemma. ∎
We provide a brief explanation of the proof of the primary result of Brânzei and Miltersen (2013). The protocol of (Brânzei and Miltersen, 2013) has an additional feature - a static tie-breaking rule, a permutation of players - 1,2,3..,n, to choose one among multiple players who may call at the same time. However, for cake cutting instances in X with our modified protocol, which results in a subset of equilibria of the original game, there is no need for a tie-breaking rule because players do not call simultaneously, and hence there will always be a pure Nash equilibrium (the existence of a pure Nash equilibrium in the more general setting depends upon the tie breaking permutation, always being possible for certain permutations). We will list some observations about pure Nash equilibria (NE) in the original game of Brânzei and Miltersen (2013)
- Property 1::
In every pure NE, the entire cake is always allocated.
- Property 2::
In every round except the last round of a game where the players have strategies corresponding to a pure NE, two players call simultaneously.
Lemma 3.18 (Brânzei and Miltersen (2013)).
Every pure NE in the game G induces an envy free contiguous allocation of cake.
This is a proof by contradiction. Let A be an allocation induced by a pure NE. Let player , who gets his piece in round envy player j, who gets his piece in round . In the case where , player can deviate profitably by mimicking player to get piece which he prefers (hence, proving that this strategy profile is not a NE). The case is a little more complicated. Player can still get by mimicking player , this is made possible by the “substitute” caller at every round from to who makes sure the same cuts are made. ∎
Now, onto pure NE in our game G’ for cake cutting instances in X. Our problem with the game G is that players will delay their call until the next player is about to call (or exactly when they call in case of a favourable tie-breaking rule). This means that the cuts on the cake will not be only on the boundaries between the “owned” pieces. Therefore we artificially force conditions favourable to us. We enforce the following two rules:
Cuts are only to be made at the boundaries between the “owned” pieces.
The players must delay their call until the knife reaches the beginning of the owned piece P at the end which the next caller C will call (with piece P belonging to player C). Thus, the two "simultaneous callers" of the game G are separated by a piece owned by the “substitute” caller. This restriction enforces a particular class of equilibria that is favourable to us.
Lemma 3.19 ().
Every pure NE in the game G’ induces an envy free contiguous allocation of cake.
Although property 1 of pure NE in G holds for any pure NE A’, property 2 clearly does not hold- because the valuations of only one player changes at any point of time when a knife moves over the cake. That leaves us with the troublesome case of when player i, who gets his piece in round envy player j, who gets his piece in round . We claim that it is a profitable strategy for player i to mimic player j, and will result in player i receiving a piece of value even if player i does not receive the piece itself. Although two players do not call simultaneously like in the game G, the “substitute” caller calls one piece later, without affecting the dynamics of the other players because this piece is of zero value to anybody else, as far as they are concerned, that part of the cake does not exist for anybody but the “substitute” caller. Thus, although the actual cuts will be shifted to the right in some pattern, player i can still get a piece of value by mimicking player j. ∎
Note that G’ is a specific instance in the class of games that can be defined by applying the rules of the game G to cake cutting instances in X. This is because G does not specify the course of action for a player when there are portions of cake that are of no value to the player who is about to call. This particular definition of G’ is designed to simulate the “Two players call simultaneously” property of the game G while preserving the advantageous property of restricting cuts to the boundaries between “owned” pieces (which makes possible the alternative strategy which guarantees each player the value of his most valuable piece regardless of the actions of the other players).
To go with lemma 3.17, we come up with a simple construction that takes us to the lower bound of - this cake cutting instance T’ in has “inner” players and “outer” players. The inner player’s pieces are arranged in a pattern similar to construction T in fig 5 - with blocks of pieces, one belonging to each player, arranged in ascending order of player number, with the block having the asymmetric (infinitesimally larger value than the other pieces owned by player i). The outer players just have k pieces of value each, and they are arranged in k blocks of (n-k) players (in no particular order). The blocks of the inner and outer players alternate (there are k blocks of each, thus this is possible). We claim that an optimal envy free allocation has each player receiving (among other pieces) only one piece that belongs to them, the asymmetric piece in the inner players’ case and any piece in the outer players’ case. The proof follows a similar line of the proof involving the instance T, namely that two pieces belonging to any player always have an asymmetric piece in between them. Thus for this instance - . Thus, the gain approaches . Hence, we have given a construction for the lower bound and obtained the desired result.
Theorem 3.20 ().
3.4. POIE with Fairness
The instance T has the maximum possible value of of n (when ). Note that the maximum value piece lemma offers the following result regarding optimal egalitarian welfare in when . Also note that the optimum egalitarian welfare in Allocations(k)- is always for instances in - as every player can get all the pieces owned by him (which are the only pieces he values).
Lemma 3.21 ().
Each player can always get at least the value of his MVP, which is as per the pigeon hole principle. ∎
Thus, the following result is obtained:
Theorem 3.22 ().
We have presented certain results regarding the price of indivisibility by focusing on cake cutting instances in the set X. Interestingly, the price of indivisibility for utilitarian welfare () grows significantly faster for envy-free cake cutting as compared to just allocation of heterogeneous continuous resources. In contrast, the (for egalitarian welfare) is comparable with and without the constraint of envy-freeness. However, we have only compared the utilitarian or egalitarian welfare of (specifically) optimal allocations in Allocations() and Allocations(). Thus, any algorithms for envy-free cake cutting along the lines of the work of Chen et al. (2013), Cohler et al. (2011) and Kurokawa et al. (2013) must be careful to keep this distinction in mind. Merely finding an Envy-Free allocation in Allocations() is not guaranteed to improve efficiency, there must be some structural guarantee for efficiency, for instance, that the envy-free allocation in Allocations() that is found by the algorithm is more efficient than the envy-free allocation found by the same algorithm within Allocations(). The complexity of such algorithms is also an interesting area of future work. Since practical applications such as land division or advertising slot partition may demand small values of as compared to , parameterized complexity and FPT algorithms are possible avenues of exploration for this problem.
Acknowledgements.We acknowledge the support of Conduent Labs India for funding the research that lead to this work.
- Arzi et al. (2011) Orit Arzi, Yonatan Aumann, and Yair Dombb. 2011. Throw One’s Cake — and Eat It Too. Springer Berlin Heidelberg, Berlin, Heidelberg, 69–80. DOI:http://dx.doi.org/10.1007/978-3-642-24829-0_8
- Aumann and Dombb (2015) Yonatan Aumann and Yair Dombb. 2015. The Efficiency of Fair Division with Connected Pieces. ACM Trans. Econ. Comput. 3, 4, Article 23 (July 2015), 16 pages. DOI:http://dx.doi.org/10.1145/2781776
- Aziz and Mackenzie (2016) Haris Aziz and Simon Mackenzie. 2016. A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents. CoRR abs/1604.03655 (2016). arXiv:1604.03655 http://arxiv.org/abs/1604.03655
- Brânzei and Miltersen (2013) Simina Brânzei and Peter Bro Miltersen. 2013. Equilibrium Analysis in Cake Cutting. In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (AAMAS ’13). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 327–334. http://dl.acm.org/citation.cfm?id=2484920.2484974
- Caragiannis et al. (2012) Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, and Maria Kyropoulou. 2012. The Efficiency of Fair Division. Theory of Computing Systems 50, 4 (01 May 2012), 589–610. DOI:http://dx.doi.org/10.1007/s00224-011-9359-y
- Caragiannis, Lai, and Procaccia (Caragiannis et al.) Ioannis Caragiannis, John K. Lai, and Ariel D. Procaccia. Towards More Expressive Cake Cutting. (????).
- Chen et al. (2013) Yiling Chen, John K. Lai, David C. Parkes, and Ariel D. Procaccia. 2013. Truth, justice, and cake cutting. Games and Economic Behavior 77, 1 (2013), 284–297. DOI:http://dx.doi.org/10.1016/j.geb.2012.10.009
- Chevaleyre et al. (2006) Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodríguez-aguilar, and Paulo Sousa. 2006. Issues in multiagent resource allocation. INFORMATICA 30 (2006), 2006.
et al. (2011)
Yuga Cohler, John Lai,
David C. Parkes, and Ariel D.
Optimal Envy-Free Cake Cutting. In
Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI’11). http://econcs.seas.harvard.edu/files/econcs/files/cohler_aaai11.pdf
- Dubins and Spanier (1961) L. E. Dubins and E. H. Spanier. 1961. How to Cut A Cake Fairly. The American Mathematical Monthly 68, 1 (1961), 1–17. http://www.jstor.org/stable/2311357
- Kurokawa et al. (2013) David Kurokawa, John K. Lai, and Ariel D. Procaccia. 2013. How to Cut a Cake Before the Party Ends. In Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI’13). AAAI Press, 555–561. http://dl.acm.org/citation.cfm?id=2891460.2891537
- Nyman et al. (2017) K. Nyman, F. E. Su, and S. Zerbib. 2017. Fair division with multiple pieces. ArXiv e-prints (Oct. 2017). arXiv:math.CO/1710.09477
- Stromquist (2007) Walter Stromquist. 2007. Envy-free cake divisions cannot be found by finite protocols. 15 (01 2007).