Fair Cake-Cutting among Groups

This paper extends the classic cake-cutting problem from individual agents to groups of agents. Applications include dividing a land-estate among families or dividing disputed lands among states. In the standard cake-cutting model, each *agent* should receive an individual subset of the cake with a sufficiently high individual value. In our model, each *group* should receive a subset with a sufficiently high "group value". Six ways to define the aggregate group value based on the values of the group members are examined: four based on cardinal welfare functions and two based on ordinal preference relations. Our results show that the choice of the group value function has crucial implications on the existence and applicability of fair division protocols.

[1]  Christopher P. Chambers Allocation rules for land division , 2005, J. Econ. Theory.

[2]  K. Pruhs,et al.  Cake cutting really is not a piece of cake , 2006, SODA 2006.

[3]  Douglas R. Woodall,et al.  Sets on Which Several Measures Agree , 1985 .

[4]  William A. Webb,et al.  How to Cut a Cake Fairly Using a Minimal Number of Cuts , 1997, Discret. Appl. Math..

[5]  Shimon Even,et al.  A note on cake cutting , 1984, Discret. Appl. Math..

[6]  I. D. Hill Mathematics and Democracy: Designing Better Voting and Fair‐division Procedures , 2008 .

[7]  Steven J. Brams,et al.  Cake division with minimal cuts: envy-free procedures for three persons, four persons, and beyond , 2004, Math. Soc. Sci..

[8]  J. Rawls A Theory of Justice , 1999 .

[9]  Ariel D. Procaccia Cake Cutting Algorithms , 2016, Handbook of Computational Social Choice.

[10]  Hervé Moulin,et al.  Fair division and collective welfare , 2003 .

[11]  Farhad Hüsseinov,et al.  Existence of efficient envy-free allocations of a heterogeneous divisible commodity with nonadditive utilities , 2013, Social Choice and Welfare.

[12]  Ariel D. Procaccia,et al.  Truth, justice, and cake cutting , 2010, Games Econ. Behav..

[13]  Jack M. Robertson,et al.  Cake-cutting algorithms - be fair if you can , 1998 .

[14]  Peter J. Carnevale,et al.  Group Choice in Ultimatum Bargaining , 1997 .

[15]  D. Weller,et al.  Fair division of a measurable space , 1985 .

[16]  Ariel D. Procaccia,et al.  Towards More Expressive Cake Cutting , 2011, IJCAI.

[17]  Milan Vlach,et al.  Equity and efficiency in a measure space with nonadditive preferences : the problems of cake division , 2005 .

[18]  Erel Segal-Halevi,et al.  Envy-Free Cake-Cutting in Two Dimensions , 2016, ArXiv.

[19]  Jack M. Robertson,et al.  Approximating Fair Division with a Limited Number of Cuts , 1995, J. Comb. Theory, Ser. A.

[20]  Rishi S. Mirchandani Superadditivity and Subadditivity in Fair Division , 2013 .

[21]  Marco Dall ' Aglio,et al.  Finding maxmin allocations in cooperative and competitive fair division , 2014 .

[22]  Farhad Hüsseinov,et al.  A theory of a heterogeneous divisible commodity exchange economy , 2011 .

[23]  Ana Paiva,et al.  Evolutionary dynamics of group fairness. , 2015, Journal of theoretical biology.

[24]  Ilan Yaniv,et al.  Individual and Group Behavior in the Ultimatum Game: Are Groups More “Rational” Players? , 1998 .

[25]  Stef Tijs,et al.  Cooperation in dividing the cake , 2008 .

[26]  Francis Edward Su,et al.  Consensus-halving via theorems of Borsuk-Ulam and Tucker , 2003, Math. Soc. Sci..

[27]  D. Foley Resource allocation and the public sector , 1967 .

[28]  D. Moore,et al.  Ultimatum Bargaining with a Group: Underestimating the Importance of the Decision Rule , 1997 .

[29]  Dao-Zhi Zeng,et al.  Mark-Choose-Cut Algorithms For Fair And Strongly Fair Division , 1999 .

[30]  Julius B. Barbanel,et al.  Two-Person Cake Cutting: The Optimal Number of Cuts , 2011, The Mathematical Intelligencer.

[31]  W. Thomson,et al.  On the fair division of a heterogeneous commodity , 1992 .

[32]  Marcus Berliant,et al.  A foundation of location theory: existence of equilibrium, the welfare theorems, and core , 2004 .

[33]  Fabio Maccheroni,et al.  Fair Division without Additivity , 2005, Am. Math. Mon..

[34]  SU Francisedward RENTAL HARMONY : SPERNER ’ S LEMMA IN FAIR DIVISION , 2000 .

[35]  Massimo Marinacci,et al.  APPLIED MATHEMATICS WORKING PAPER SERIESHOW TO CUT A PIZZA FAIRLY: , 2002 .

[36]  Walter Stromquist,et al.  Envy-Free Cake Divisions Cannot be Found by Finite Protocols , 2008, Electron. J. Comb..