Efficient Cake-cutting

Efficient cake-cutting is a problem in economics and computer science. It involves a ''heterogeneous'' resource, such as a cake with different toppings or a land with different coverings, that is assumed to be ''divisible'' - it is possible to cut arbitrarily small pieces of it without destroying their value. The resource has to be divided among several partners who have different preferences over different parts of the cake, i.e., some people prefer the chocolate toppings, some prefer the cherries, some just want as large a piece as possible, etc. The allocation should be ''economically efficient''. Several notions of efficiency have been studied:

* The most common notion is Pareto-efficiency. It means that no other allocation is better for at least one participant and at least as good for everyone.
* A weaker notion is non-wastefulness. An allocation is non-wasteful if no agent receives a piece of cake that is worth 0 for him/her, and worth more than 0 for another agent.

Most often, efficiency is studied in connection with fairness, and the goal is to find a division which satisfies both efficiency and fairness criteria.

Definitions

There is a cake $C$. It is usually assumed to be either a finite 1-dimensional segment, a 2-dimensional polygon or a finite subset of the multidimensional Euclidean plane $\mathbb^d$.

There are $n$ partners. Each partner $i$ has a subjective value function $V_i$ which maps subsets of $C$ to numbers.

$C$ has to be divided into $n$ disjoint subsets, such that each person receives a disjoint subset. The piece allocated to person $i$ is called $X_i$, so that $C = X_1 \sqcup ... \sqcup X_n$.

In the following lines we consider a cake with four parts: chocolate, vanilla, lemon and sugar, and two agents: Alice and George, with the following valuations:

An allocation $X$is called ''wasteful'' if it allocates to some agent a piece that is worth 0 to that agent but worth more than 0 to another agent. In symbols:

$\exists: \exists Z\subseteq X_i: V_i(Z)=0 ~~\text~~ V_j(Z)>0$ and $\exists: V_i(Y_i)>V_i(X_i)$.

Otherwise it is called ''non-wasteful'' (NW). In the example cake, an allocation giving all the cake to Alice is NW, but an allocation giving all the cake to George is wasteful since the lemon part is "wasted". There are many other NW allocations, for example, giving the chocolate to George and the remaining cake to Alice is NW.

An allocation $Y$ ''Pareto-dominates'' an allocation $X$, if at least one person feels that $Y$ is better than $X$, and no person feels that $Y$ is worse than $X$. In symbols:

:$\forall:\ V_i(Y_i)\geq V_i(X_i)$ and $\exists: V_i(Y_i)>V_i(X_i)$

An allocation $X$is called ''Pareto optimal'' (PO) if it is not Pareto-dominated by any other division, i.e., it cannot be improved without objection. In the example cake, giving the entire cake to Alice is PO, but giving the entire cake to Bob is Pareto-dominated by the allocation where the lemon part is given to Alice. In general (when there are no connectivity requirements on the pieces), every wasteful allocation is Pareto-dominated, therefore every PO allocation is NW. However, the opposite is not true. For example, the allocation giving the chocolate to George and the remaining cake to Alice is NW but it is not PO - it is Pareto-dominated by the allocation giving to George the vanilla and half the chocolate. This is because, in the original allocation the utilities of (Alice, George) are (3, 6), while in the alternative allocation the utilities are (5.5, 7).

Existence and computation

Efficient allocations always exist. For example, every utilitarian-optimal cake-cutting is PO, hence also NW.

However, finding such allocations may be hard. It may be impossible to find a NW cake-allocation using a finite number of "mark" and "eval" queries, even if there are only two agents with piecewise-uniform valuations. This is because, after any finite number of such queries, the algorithm has information regarding only a finite number of intervals, and thus it cannot prevent waste inside the intervals: for any allocation of an interval to an agent, it is possible that this agent values a part of this interval at 0 while the other agent values the same part at 1. Hence, PO too is not attainable by a finite protocol.

The problem becomes easy under the assumption of ''strict positivity'' (each agent values each point of the cake at strictly more than 0): every allocation is trivially NW, and every allocation that gives all the cake to a single agent is trivially PO (since every other allocation gives this agent strictly lower utility).

The problem is also easy for an algorithm that uses ''direct revelation'' instead of queries. In a direct revelation algorithm, each agent reveals his/her entire valuation function to the algorithm; this is possible, for example, with piecewise-constant valuations. With direct revelation, it is easy to find a utilitarian-optimal allocation (by giving each piece to an agent who values it the most), and such an allocation is also PO and NW.

Combining efficiency with fairness

Often, it is required to find an allocation that is not only efficient but also ''fair'' according to various fairness notions. Existence still holds:

* A PO allocation that is also proportional always exists. For example, an allocation maximizing the sum of values subject to proportionality always exists (since the set of all proportional allocations is compact), and it is PO (since proportionality is preserved by Pareto improvements).
* Moreover, a PO allocation that is also envy-free always exists. This does not follow directly from the above argument, since envy-freeness is ''not'' preserved by Pareto improvements. However, it is proved explicitly as Weller's theorem.

Finding such allocations may be hard even with strictly-positive valuations, depending on the computational model:

* In the query model, no finite algorithm that gives each agent a ''positive'' fraction of the cake can be PO, even with only two agents with strictly-positive valuations. This is because a finite algorithm always knows the values of finitely many intervals, so it cannot avoid inefficiencies inside intervals: for any allocation of the intervals, there may be a profitable exchange of sub-intervals that the algorithm cannot detect.
* In the direct revelation model (with piecewise-constant valuations), the Market Equilibrium Algorithm yields a PO and envy-free (hence proportional) allocation in polynomial time for any number of agents.

Combining efficiency with fairness and connectivity

Often, in addition to efficient and fairness, there are geometric constraints on the pieces. For example, if the cake is an interval, then each agent may require a piece that is a contiguous interval. With this additional requirement:

* A PO allocation that is also proportional still always exists. This is because the set of all proportional contiguous allocations is still compact, and proportionality is still preserved by Pareto improvements.
* A PO allocation that is also envy-free might ''not'' exist when there are at least three agents, even if they have piecewise-constant valuations.

From a computational perspective:

* With general valuations, when the value-densities are strictly positive, divide and choose is PO and proportional for two agents. Suppose w.l.o.g. that Alice cuts, George chooses the leftmost piece and Alice gets the rightmost piece. Any alternative allocation where George gets the left and Alice gets the right cannot be a Pareto improvement, as (by the assumption of strict positivity) any movement of the cut location to the left hurts George, and any movement to the right hurts Alice. Any alternative allocation where George gets the right and Alice gets the left cannot be a Pareto improvement, since in any such allocation, at least one of them must get less than 1/2 of the total value, while in the original allocation both get at least 1/2.
* With piecewise-constant valuations, the Market Equilibrium Algorithm does not necessarily produce connected pieces, so it does not work. However, an algorithm similar to can be used to find a proportional allocation that maximizes the sum of utilities for any number of agents, by solving $O(m^n)$ linear programs (where ''m'' is the number of pieces).

It is currently not known whether, for 3 or more agents with strictly-positive valuations, a connected proportional PO allocation can be found using a finite number of queries (in the query model) or using a polynomial algorithm (in the direct revelation model).

Non-additive valuations

If the cake is a 1-dimensional ''interval'' and each person must receive a connected interval, the following general result holds: if the value functions are strictly monotonic (i.e. each person strictly prefers a piece over all its proper subsets) then every EF division is also PO (note that this is not true if the agents may receive disconnected pieces). Hence, in this case, the Simmons–Su protocols create a PO+EF division.

If the cake is a 1-dimensional ''circle'' (i.e. an interval whose two endpoints are topologically identified) and each person must receive a connected arc, then the previous result does not hold: an EF division is not necessarily PE. Additionally, there are pairs of (non-additive) value functions for which no PO+EF division exists. However, if there are 2 agents and at least one of them has an additive value function, then a PO+EF division exists.

See also

* Utilitarian cake-cutting
* Fair cake-cutting
* Price of fairness

References

{{reflist

Cake-cutting
Pareto efficiency