Symmetric fair cake-cutting is a variant of the fair cake-cutting problem, in which fairness is applied not only to the final outcome, but also to the assignment of roles in the division procedure.

As an example, consider a birthday cake that has to be divided between two children with different tastes, such that each child feels that his/her share is "fair", i.e., worth at least 1/2 of the entire cake. They can use the classic divide and choose procedure: Alice cuts the cake into two pieces worth exactly 1/2 in her eyes, and George chooses the piece that he considers more valuable. The outcome is always fair. However, the procedure is not symmetric: while Alice always gets a value of exactly 1/2 of her value, George may get much more than 1/2 of his value. Thus, while Alice does not envy George's share, she does envy George's role in the procedure.

In contrast, consider the alternative procedure in which Alice and George both make half-marks on the cake, i.e., each of them marks the location in which the cake should be cut such that the two pieces are equal in his/her eyes. Then, the cake is cut exactly between these cuts—if Alice's cut is a and George's cut is g, then the cake is cut at (a+g)/2. If a<g, Alice gets the leftmost piece and George the rightmost piece; otherwise Alice gets the rightmost piece and George the leftmost piece. The final outcome is still fair. And here, the roles are symmetric: the only case in which the roles make a difference in the final outcome is when a=g, but in this case, both parts have a value of exactly 1/2 to both children, so the roles do not make a difference in the final value. Hence, the alternative procedure is both fair and symmetric.

The idea was first presented by Manabe and Okamoto,[1] who termed it meta-envy-free.

Several variants of symmetric fair cake-cutting have been proposed:

  • Anonymous fair cake-cutting requires that not only the values be equal, but also the pieces themselves be equal.[2] This implies symmeric fairness, but it is stronger . For example, it is not satisfied by the symmetric-divide-and-choose above, since in the case that a=g, the first agent always gets the leftmost piece and the second agent always gets the rightmost piece.
  • Aristotelian fair cake-cutting requires only that agents with identical value measures receive the same value.[3] This is implied by symmetric fairness, but it is weaker. For example, it is satisfied by the asymmetric version of divide-and-choose: if the agents' valuations are identical, then both of them receive a value of exactly 1/2.

Definitions

There is a cake C, usually assumed to be a 1-dimensional interval. There are n people. Each person i has value function Vi which maps subsets of C to weakly-positive numbers.

A division procedure is a function F that maps n value functions to a partition of C. The piece allocated by F to agent i is denoted by F(V1,...,Vn; i).

Symmetric procedure

A division procedure F is called symmetric if, for any permutation p of (1,...,n), and for every i:

Vi(F(V1,...,Vn; i)) = Vi(F(Vp(1),...,Vp(n); p−1(i)))

In particular, when n=2, a procedure is symmetric if:

V1(F(V1,V2; 1)) = V1(F(V2,V1; 2)) and V2(F(V1,V2; 2)) = V2(F(V2,V1; 1))

This means that agent 1 gets the same value whether he plays first or second, and the same is true for agent 2. As another example, when n=3, the symmetry requirement implies (among others):

V1(F(V1,V2,V3; 1)) = V1(F(V2,V3,V1; 3)) = V1(F(V3,V1,V2; 2)).

Anonymous procedure

A division procedure F is called anonymous if, for any permutation p of (1,...,n), and for every i:

F(V1,...,Vn; i) = F(Vp(1),...,Vp(n); p−1(i))

Any anonymous procedure is symmetric, since if the pieces are equal - their values are surely equal.

But the opposite is not true: it is possible that a permutation gives an agent different pieces with equal value.

Aristotelian procedure

A division procedure F is called aristotelian if, whenever Vi=Vk:

Vi(F(V1,...,Vn; i)) = Vk(F(V1,...,Vn; k))

The criterion is named after Aristotle, who wrote in his book on ethics: "... it is when equals possess or are allotted unequal shares, or persons not equal equal shares, that quarrels and complaints arise". Every symmetric procedure is aristotelian. Let p be the permutation that exchanges i and k. Symmetry implies that:

Vi(F(V1,....Vi,...,Vk,...,Vn; i)) = Vi(F(V1,....Vk,...,Vi,...,Vn; k))

But since Vi=Vk, the two sequences of value-measures are identical, so this implies the definition of aristotelian. Moreover, every procedure envy-free cake-cutting is aristotelian: envy-freeness implies that:

Vi(F(V1,...,Vn; i)) ≥ Vi(F(V1,...,Vn; k)) Vk(F(V1,...,Vn; k)) ≥ Vk(F(V1,...,Vn; i))

But since Vi=Vk, the two inequalities imply that both values are equal.

However, a procedure that satisfies the weaker condition of Proportional cake-cutting is not necessarily aristotelian. Cheze[3] shows an example with 4 agents in which the Even-Paz procedure for proportional cake-cutting may give different values to agents with identical value-measures.

The following chart summarizes the relations between the criteria:

  • Anonymous → Symmetric → Aristotelian
  • Envy-free → Aristotelian
  • Envy-free → Proportional

Procedures

Every procedure can be made "symmetric ex-ante" by randomization. For example, in the asymmetric divide-and-choose, the divider can be selected by tossing a coin. However, such a procedure is not symmetric ex-post. Therefore, the research regarding symmetric fair cake-cutting focuses on deterministic algorithms.

Manabe and Okamoto[1] presented symmetric and envy-free ("meta-envy-free") deterministic procedures for two and three agents.

Nicolo and Yu[2] presented an anonymous, envy-free and Pareto-efficient division protocol for two agents. The protocol implements the allocation in subgame perfect equilibrium, assuming each agent has complete information on the valuation of the other agent.

The symmetric cut and choose procedure for two agents was studied empirically in a lab experiment.[4] Alternative symmetric fair cake-cutting procedures for two agents are rightmost mark[5] and leftmost leaves.[6]

Cheze[3] presented several procedures:

  • A general scheme for convering any envy-free procedure into a symmetric deterministic procedure: run the original procedure n! times, once for each permutation of the agents, and choose one of the outcomes according to some topological criterion (e.g. minimizing the number of cuts). This procedure is not practical when n is large.
  • An aristotelian proportional procedure for n agents, which requires O(n3) queries and a polynomial number of arithmetic operations by the referee.
  • A symmetric proportional procedure for n agents, which requires O(n3) queries, but may require an exponential number of arithmetic operations by the referee.

Aristotelian proportional procedure

The aristotelian procedure of Cheze[3] for proportional cake-cutting extends the lone divider procedure. For convenience, we normalize the valuations such that the value of the entire cake is n for all agents. The goal is to give each agent a piece with a value of at least 1.

  1. One player chosen arbitrarily, called the divider, cuts the cake into n pieces whose value in his/her eyes is exactly 1.
  2. Construct a bipartite graph G = (X+Y, E) in which each vertex in X is an agent, each vertex in Y is a piece, and there is an edge between an agent x and a piece y iff x values y at least 1.
  3. Find a maximum-cardinality envy-free matching in G (a matching in which no unmatched agent is adjacent to a matched piece). Note that the divider is adjacent to all n pieces, so |NG(X)|= n ≥ |X| (where NG(X) is the set of neighbors of X in Y). Hence, a non-empty envy-free matching exists.[7] Suppose w.l.o.g. that the EFM matches agents 1,...,k to pieces X1,...,Xk, and leaves unmatched the agents and pieces from k+1 to n.
  4. For each i in 1,...,k for which Vi(Xi) = 1 - give Xi to agent i. Now, the divider and all agents whose value function is identical to the dividers' are assigned a piece and have the same value.
  5. Consider now the agents i in 1,...,k for which Vi(Xi) > 1. Partition them into subsets with identical value-vector for the pieces X1,...,Xk. For each subset, recursively divide their pieces among them (for example, if agents 1, 3, 4 agree on the values of all the pieces 1,...,k, then divide pieces X1,X3,X4 recursively among them). Now, all agents whose value-function is identical are assigned to the same subset, and they divide a subcake whose value for them is greater than their number, so the precondition for recursion is satisfied.
  6. Recursively divide the unmatched pieces Xk+1, ..., Xn among the unmatched agents. Note that, by envy-freeness of the matching, each unmatched agent values each matched piece at less than 1, so he values the remaining pieces at more than the number of agents, so the precondition for recursion is satisfied.

References

  1. 1 2 Manabe, Yoshifumi; Okamoto, Tatsuaki (2010). "Meta-Envy-Free Cake-Cutting Protocols". Mathematical Foundations of Computer Science 2010. MFCS'10. Vol. 6281. Berlin, Heidelberg: Springer-Verlag. pp. 501–512. Bibcode:2010LNCS.6281..501M. doi:10.1007/978-3-642-15155-2_44. ISBN 9783642151545.
  2. 1 2 Nicolò, Antonio; Yu, Yan (2008-09-01). "Strategic divide and choose" (PDF). Games and Economic Behavior. 64 (1): 268–289. doi:10.1016/j.geb.2008.01.006. ISSN 0899-8256.
  3. 1 2 3 4 Chèze, Guillaume (2018-04-11). "Don't cry to be the first! Symmetric fair division algorithms exist". arXiv:1804.03833 [cs.GT].
  4. ↑ Kyropoulou, Maria; Ortega, Josué; Segal-Halevi, Erel (2019). "Fair Cake-Cutting in Practice". Proceedings of the 2019 ACM Conference on Economics and Computation. EC '19. New York, NY, USA: ACM. pp. 547–548. arXiv:1810.08243. doi:10.1145/3328526.3329592. ISBN 9781450367929. S2CID 53041563.
  5. ↑ 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.
  6. ↑ Ortega, Josue (2019-08-08). "Obvious Manipulations in Cake-Cutting". arXiv:1908.02988 [cs.GT].
  7. ↑ Segal-Halevi, Erel; Aigner-Horev, Elad (2022). "Envy-free matchings in bipartite graphs and their applications to fair division". Information Sciences. 587: 164–187. arXiv:1901.09527. doi:10.1016/j.ins.2021.11.059. S2CID 170079201.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.