Utilitarian cake-cutting

Utilitarian cake-cutting (also called maxsum cake-cutting) is a rule for dividing a heterogeneous resource, such as a cake or a land-estate, among several partners with different cardinal utility functions, such that the sum of the utilities of the partners is as large as possible. It is a special case of the utilitarian social choice rule. Utilitarian cake-cutting is often not "fair"; hence, utilitarianism is often in conflict with fair cake-cutting.

Example

Consider a cake with two parts: chocolate and vanilla, and two partners: Alice and George, with the following valuations:

PartnerChocolateVanilla
Alice91
George64

The utilitarian rule gives each part to the partner with the highest utility. In this case, the utilitarian rule gives the entire chocolate to Alice and the entire Vanilla to George. The maxsum is 13.

The utilitarian division is not fair: it is not proportional since George receives less than half the total cake value, and it is not envy-free since George envies Alice.

Notation

The cake is called . 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 .

There are partners. Each partner has a personal value function which maps subsets of ("pieces") to numbers.

has to be divided to disjoint pieces, one piece per partner. The piece allocated to partner is called , and .

A division is called utilitarian or utilitarian-maximal or maxsum if it maximizes the following expression:

The concept is often generalized by assigning a different weight to each partner. A division is called weighted-utilitarian-maximal (WUM) if it maximizes the following expression:

where the are given positive constants.

Maxsum and Pareto-efficiency

Every WUM division with positive weights is obviously Pareto-efficient. This is because, if a division Pareto-dominates a division , then the weighted sum-of-utilities in is strictly larger than in , so cannot be a WUM division.

What's more surprising is that every Pareto-efficient division is WUM for some selection of weights.[1]

Characterization of the utilitarian rule

Christopher P. Chambers suggests a characterization to the WUM rule.[2] The characterization is based on the following properties of a division rule R:

  • Pareto-efficiency (PE): the rule R returns only divisions which are Pareto-efficient.
  • Division independence (DI): whenever a cake is partitioned to several sub-cakes and each cake is divided according to rule R, the result is the same as if the original cake were partitioned according to R.
  • Independence of infeasible land (IIL): whenever a sub-cake is divided according to R, the result does not depend on the utilities of the partners in the other sub-cakes.
  • Positive treatment of equals (PTE): whenever all partners have the same utility function, R recommends at least one division that gives a positive utility to each partner.
  • Scale-invariance (SI): whenever the utility functions of the partners are multiplied by constants (a possibly different constant to each partner), the recommendations given by R do not change.
  • Continuity (CO): for a fixed piece of cake, the set of utility profiles which map to a specific allocation is a closed set under pointwise convergence.

The following is proved for partners that assign positive utility to every piece of cake with positive size:

  • If R is PE DI and IIL, then there exists a sequence of weights such that all divisions recommended by R are WUM with these weights (it is known that every PE division is WUM with some weights; the news are that all divisions recommended by R are WUM with the same weights. This follows from the DI property).
  • If R is PE DI IIL and PTE, then all divisions recommended by R are utilitarian-maximal (in other words, all divisions must be WUM and all agents must have equal weights. This follows from the PTE property).
  • If R is PE DI IIL and SI, then R is a dictatorial rule - it gives the entire cake to a single partner.
  • If R is PE DI IIL and CO, then there exists a sequence of weights such that R is a WUM rule with these weights (i.e. R recommends all and only WUM divisions with these weights).

Finding utilitarian divisions

Disconnected pieces

When the value functions are additive, maxsum divisions always exist. Intuitively, we can give each fraction of the cake to the partner that values it the most, as in the example above. Similarly, WUM divisions can be found by giving each fraction of the cake to the partner for whom the ratio is largest.

This process is easy to carry out when cake is piecewise-homogeneous, i.e., the cake can be divided to a finite number of pieces such that the value-density of each piece is constant for all partners.

When the cake is not piecewise-homogeneous, the above algorithm does not work since there is an infinite number of different "pieces" to consider.

Maxsum divisions still exist. This is a corollary of the Dubins–Spanier compactness theorem and it can also be proved using the Radon–Nikodym set.

However, no finite algorithm can find a maxsum division. Proof:[3][4]:Cor.2 A finite algorithm has value-data only about a finite number of pieces. I.e. there is only a finite number of subsets of the cake, for which the algorithm knows the valuations of the partners. Suppose the algorithm has stopped after having value-data about subsets. Now, it may be the case that all partners answered all the queries as if they have the same value measure. In this case, the largest possible utilitarian value that the algorithm can achieve is 1. However, it is possible that deep inside one of the pieces, there is a subset which two partners value differently. In this case, there exists a super-proportional division, in which each partner receives a value of more than , so the sum of utilities is strictly more than 1. Hence, the division returned by the finite algorithm is not maxsum.

Connected pieces

When the cake is 1-dimensional and the pieces must be connected, the simple algorithm of assigning each piece to the agent that values it the most no longer works, even with piecewise-constant valuations. In this case, the problem of finding a UM division is NP-hard, and furthermore no FPTAS is possible unless P=NP.

There is an 8-factor approximation algorithm, and a fixed-parameter tractable algorithm which is exponential in the number of players.[5]

For every set of positive weights, a WUM division exists and can be found in a similar way.

Maxsum and fairness

A maxsum division is not always fair; see the example above. Similarly, a fair division is not always maxsum.

One approach to this conflict is to bound the "price of fairness" - calculate upper and lower bounds on the amount of decrease in the sum of utilities, that is required for fairness. For more details, see price of fairness.

Another approach to combining efficiency and fairness is to find, among all possible fair divisions, a fair division with a highest sum-of-utilities:

Finding utilitarian-fair allocations

The following algorithms can be used to find an envy-free cake-cutting with maximum sum-of-utilities, for a cake which is a 1-dimensional interval, when each person may receive disconnected pieces and the value functions are additive:[6]

  1. For partners with piecewise-constant valuations: divide the cake into m totally-constant regions. Solve a linear program with nm variables: each (agent, region) pair has a variable that determines the fraction of the region given to the agent. For each region, there is a constraint saying that the sum of all fractions from this region is 1; for each (agent, agent) pair, there is a constraint saying that the first agent does not envy the second one. Note that the allocation produced by this procedure might be highly fractioned.
  2. For partners with piecewise-linear valuations: for each point in the cake, calculate the ratio between the utilities: . Give partner 1 the points with and partner 2 the points with , where is a threshold calculated so that the division is envy-free. In general cannot be calculated because it might be irrational, but in practice, when the valuations are piecewise-linear, can be approximated by an "irrational search" approximation algorithm. For any , The algorithm find an allocation that is -EF (the value of each agent is at least the value of each other agent minus ), and attains a sum that is at least the maximum sum of an EF allocation. Its run-time is polynomial in the input and in .
  3. For partners with general valuations: additive approximation to envy and efficiency, based on the piecewise-constant-valuations algorithm.

Properties of utilitarian-fair allocations

Brams, Feldman, Lai, Morgenstern and Procaccia[7] study both envy-free (EF) and equitable (EQ) cake divisions, and relate them to maxsum and Pareto-optimality (PO). As explained above, maxsum allocations are always PO. However, when maxsum is constrained by fairness, this is not necessarily true. They prove the following:

  • When there are two agents, maxsum-EF, maximum-EQ and maximum-EF-EQ allocations are always PO.
  • When there are three or more agents with piecewise-uniform valuations, maxsum-EF allocations are always PO (since EF is equivalent to proportionality, which is preserved under Pareto improvements). However, there may be no maxsum-EQ and maxsum-EQ-EF allocations that are PO.
  • When there are three or more agents with piecewise-constant valuations, there may be even no maxsum-EF allocations that are PO. For example, consider a cake with three regions and three agents with values: Alice: 51/101, 50/101, 0 Bob: 50/101, 51/101, 0 Carl: 51/111, 10/111, 50/111 The maxsum rule gives region i to agent i, but it is not EF since Carl envies Alice. Using a linear program, it is possible to find the unique maxsum-EF allocation, and show that it must share both region 1 and region 2 between Alice and Bob. However, such allocation cannot be PO since Alice and Bob could both gain by swapping their shares in these regions.
  • When all agents have piecewise-linear valuations, the utility-sum of a maxsum-EF allocation is at least as large as a maxsum-EQ allocation. This result extends to general valuations up to an additive approximation (i.e., -EF allocations have a utility-sum of at least EQ allocations minus ).

Monotonicity properties of utilitarian cake-cutting

When the pieces may be disconnected, the absolute-utilitarian rule (maximizing the sum of non-normalized utilities) is resource-monotonic and population-monotonic. The relative-utilitarian rule (maximizing the sum of normalized utilities) is population-monotonic but not resource-monotonic.[8]

This no longer holds when the pieces are connected.[9]

See also

References

  1. Barbanel, Julius B.; Zwicker, William S. (1997). "Two applications of a theorem of Dvoretsky, Wald, and Wolfovitz to cake division". Theory and Decision. 43 (2): 203. doi:10.1023/a:1004966624893. S2CID 118505359.. See also Weller's theorem. For a similar result related to the problem of homogeneous resource allocation, see Varian's theorems.
  2. Chambers, Christopher P. (2005). "Allocation rules for land division". Journal of Economic Theory. 121 (2): 236–258. doi:10.1016/j.jet.2004.04.008.
  3. Brams, Steven J.; Taylor, Alan D. (1996). Fair Division [From cake-cutting to dispute resolution]. p. 48. ISBN 978-0521556446.
  4. Ianovski, Egor (2012-03-01). "Cake Cutting Mechanisms". arXiv:1203.0100 [cs.GT].
  5. Aumann, Yonatan; Dombb, Yair; Hassidim, Avinatan (2013). Computing Socially-Efficient Cake Divisions. AAMAS.
  6. Cohler, Yuga Julian; Lai, John Kwang; Parkes, David C; Procaccia, Ariel (2011). Optimal Envy-Free Cake Cutting. AAAI.
  7. Steven J. Brams; Michal Feldman; John K. Lai; Jamie Morgenstern; Ariel D. Procaccia (2012). On Maxsum Fair Cake Divisions. Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-12). pp. 1285–1291. Retrieved 6 December 2015.
  8. Segal-Halevi, Erel; Sziklai, Balázs R. (2019-09-01). "Monotonicity and competitive equilibrium in cake-cutting". Economic Theory. 68 (2): 363–401. arXiv:1510.05229. doi:10.1007/s00199-018-1128-6. ISSN 1432-0479. S2CID 179618.
  9. Segal-Halevi, Erel; Sziklai, Balázs R. (2018-09-01). "Resource-monotonicity and population-monotonicity in connected cake-cutting". Mathematical Social Sciences. 95: 19–30. arXiv:1703.08928. doi:10.1016/j.mathsocsci.2018.07.001. ISSN 0165-4896. S2CID 16282641.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.