Abstract
This survey considers approaches to fair division from diverse disciplines, including mathematics, operations research and economics, all of which place fair division within the same general structure. There is some divisible item, or some set of items (which may be divisible or indivisible) over which a set of agents has preferences in the form of value functions, preference rankings, etc. Emphasizing the algorithmic part of the literature, we will look at procedures for fair division, and from an axiomatic point of view will investigate important properties that might be satisfied or violated by such procedures. Links to the analysis of aggregating individual preferences (See the chapter by Nurmi, this Volume) and bargaining theory (see the chapter by kibris, this Kibris, Volume) will become apparent. Strategic and computational aspects are also considered briefly. In mathematics, the fair division literature focuses on cake-cutting algorithms. We will provide an overview of the general framework, discuss some specific problems that have been studied in depth, such as pie-cutting and cake-cutting, and present several procedures. Then, moving to an informationally scarcer framework, we will consider the problem of sharing costs or benefits. Based on an example from the Talmud, various procedures to divide a fixed resource among a set of agents with different claims will be discussed. Certain changes to the framework, e.g. the division of costs or variable resources, will then be investigated. The survey concludes with a short discussion of fair division issues from the viewpoint of economics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
I am very grateful to Steven Brams, Andreas Darmann, Daniel Eckert, Marc Kilgour and Michael Jones for providing helpful comments.
- 2.
See also Young (1994b) for an excellent book-length treatment of various fair division aspects.
- 3.
A brief survey over some parts ot the mathematics literature on fair division has recently been provided by Brams, (2006).
- 4.
See Weller (1985) for a general approach to fair division of measurable spaces.
- 5.
Those are the properties most often used in the literature. However, there do exist many other properties in this literature, e.g. strengthenings or weakenings of the above properties (see e.g. Barbanel, 2005).
- 6.
This is like following the maximin solution concept as used in non-cooperative game theory.
- 7.
Su (1999) uses Sperner’s lemma to show the existence of an envy-free cake division under the assumption that the players prefer a piece with mass to no piece (i.e. players being “hungry”) and preference sets being closed.
- 8.
- 9.
The amount of individual envy of a player is determined by the number of other players she envies.
- 10.
This could also be seen as the equitability property for unequal entitlements.
- 11.
Other thresholds besides \(\frac{1}{n}\) could be used, especially if we have a situation in which the players have unequal entitlements.
- 12.
A certain similarity to maximin behavior can be observed (see also Crawford (1980) for the use of maximin behavior in economic models).
- 13.
E.g. the simple divide and choose method leads to an allocation that is both envy-free and efficient (for n – 1 cut procedures). However, for non-identical preferences (actually, non-equivalent 50–50 points, i.e. the point which divides the cake into two pieces of exactly the same value for that player), whoever is the divider will envy the chooser for being in the position of receiving a value of more than 50% of the cake whereas the divider can only guarantee a value of 50% to herself. The fairness problem involved in that has been discussed e.g. by Crawford (1977).
- 14.
For a detailed discussion of ranking sets of items based on a ranking of the items see Barbera et al. (2004).
- 15.
The procedure has a certain similarity to the use of the greedy algorithm in knapsack problems. See Kellerer et al. (2004) for an extensive treatment of knapsack problems.
- 16.
- 17.
See also Taylor and Zwicker (1999).
- 18.
An envy-free split is trivial if each player values its subset at exactly 50%.
- 19.
A closely linked problem is the housemates problem, where there are n rooms rent by n housmates. Each housmate bids for every single room and finally pays a price for the room he or she gets (Su, 1999). Allocating the rooms according to standard principles such as proportionality might lead to unattractive rents, e.g. paying more than one’s bid, being paid to take a room, etc. Brams and Kilgour (2001) developed a procedure which somehow avoids many problems arising with other allocation procedures.
- 20.
- 21.
Other examples stem from medicine where a restricted amount of medicine needs to be divided among sick people with possibly different chances of survival. Also every tax system somehow has to solve the same problem, as the cost, i.e. the total tax necessary to run the state, needs to be raised from the taxpayers whose claims are their different income levels.
- 22.
The analog to this in cake-cutting would be that if \(\mu_i(\cdot)=\mu_j(\cdot)\) for some \(i,j\in N\), then the value of the pieces they receive should be identical.
- 23.
This is a sort of analog to house monotonicity in apportionment theory which is of interest w.r.t. the Alabama paradox. See Balinski and Young (2001).
- 24.
It also has received other names in the literature such as Maimonides’ rule (Young, 1994b).
- 25.
In the surplus case, i.e. the resource line being beyond the claims point, the proportional rule would become most beneficial to the agents with higher claims.
- 26.
The proportional, uniform losses and uniform gains methods are parametric methods. The first two of them belong to an important subclass of parametric methods, namely equal sacrifice methods. These are of relevance in taxation, where the x i would represent taxable income and r the total aftertax income, making the difference x N – r the total tax raised. Given that, one can see that the three rules are important candidates for tax functions, with the proportional rule being both, progressive (average taxes do not decrease with income) and regressive (average taxes do not increase with income). Actually, the uniform gains method is the most progressive and the uniform losses method the most regressive among those rules satisfying fair ranking (see Moulin, 2003).
- 27.
This has an obvious connection to the Shapley value.
- 28.
The Talmudic method and the Random Priority method are both self-dual, however the Talmudic method is the only consistent extension of the contested garment method. See Moulin (2002).
- 29.
An important aspect of those rules that relates this topic to cooperative game theory is the fact that both of them have well known couterparts in cooperative game theory. Aumann and Maschler (1985) proved that the Talmudic method allocates the resources according to the nucleolus (of the appropriate games) and the Random-Priority method allocates the resources according to the Shapley value (of the appropriate games). Actually, it was via those counterparts that the Talmudic method has eventually been found. Thomson (2008) evaluates certain of the above rules by looking at two families of rules. Among other things, he looks at duality aspects of the rules and offers characterisation results for consistent rules.
- 30.
This could be seen as the counterpart of the move from cake cutting to the division of indivisible items as in the previous section.
- 31.
Maniquet (2003) provides a characterization of the Shapley value in queuing problems, combining classical fair division properties such as equal treatment of equals with properties specific to the scheduling model. He shows that the Shapley value solution stands out as a very equitable one among queuing problems.
- 32.
This is somehow based on the assumption of single-peaked preferences. See Thomson (2007b) for a discussion.
- 33.
Depending on what the cost function looks like, this suggests upper and lower bounds on cost shares. For c being convex, the stand-alone lower bound \(y_i\geq c(x_i)\) says that no agent can benefit from the presence of other users of the technology. In this sense we could think of other agents creating a negative externality. The opposite argumentation works for c being concave, creating a positive externality. Other bounds properties are discussed in the literature and used for characterization results. See Moulin (2002).
- 34.
A further change in the framework would require the individual demands to be binary, i.e. \(x_i\in\{0,1\}\). This moves us towards the model of cooperative games with transferable utility. The most famous method within this framework is the Shapley value (see Shapley, 1953). See also Moulin (2002, 2003) for a discussion.
- 35.
If, instead of a cost structure, one uses preferences on the graph, a different framework arises in which the aggregate satisfaction of the agents determines the distribution network. Hence, this closely links this area with social choice theory. See e.g. Darmann et al. (2009).
- 36.
In what follows we will slightly abuse the notation and define the cost of a spanning tree T as \(c(T)\equiv\sum_{(ij)\in T}c(ij)\).
- 37.
The important thing is, that the structure of the problem implies that the domain of the allocation rule will be smaller than the domain in a more general cost sharing problem. This actually helps in creating allocation rules satisfying certain desirable properties, something that is impossible for larger domains (see e.g. Young, 1994a).
- 38.
- 39.
Different models occur depending on the set \(\mathcal{R}\), i.e. what the preferences look like (e.g. quasi-linear preferences) and the exact specification of ω.
- 40.
No-envy has the clear counterpart of envy-freeness used in cake-cutting. Other concepts related to no-envy – but not discussed here – do exist, such as average no envy, strict no-envy, balanced envy, etc. (see Thomson, 2007b).
- 41.
Observe that no preference information is used for this property.
- 42.
For any two vectors \(y,y'\in\Re^{ln}_+\), we use yRy ′ for saying \(y_iR_iy'_i\ \textrm{for\ all}\ i\in N \).
- 43.
We can also create equity criteria for groups. This somehow is in the spirit of core properties from other areas. Many of the above properties can be translated into this framework, e.g. equal-division core of e, group envy-freeness, etc.
- 44.
References
Alkan A, Demange G, Gale D (1991) Fair allocation of indivisible goods and criteria of justice. Econometrica 59(4):1023–1039
Aumann RJ, Maschler M (1985) Game theoretic analysis of a bankruptcy problem from the Talmud. J Econ Theory 36:195–213
Balinski ML, Young HP (2001) Fair representation: meeting the ideal of one man, one vote, 2nd edn. Brookings, Washington, DC
Barbanel JB (2005) The geometry of efficient fair division, Cambridge University Press, Cambridge
Barbanel JB, Brams SJ (2004) Cake division with minimal cuts: envy-free procedures for three persons, four persons, and beyond. Math Soc Scie 48(3):251–269
Barbanel JB, Zwicker WS (1997) Two applications of a theorem of Dvoretsky, Wald, and Wolfovitz to cake division. Theory Decis 43:203–207
Barbanel JB, Brams SJ, Stromquist W (2009) Cutting a pie is not a piece of cake. Am Math Mont 116(6):496–514
Barbera S, Bossert W, Pattanaik PK (2004) Ranking sets of objects. In: Barbera S, Hammond PJ, Seidl C. (eds) Handbook of utility theory, vol. 2. Springer, New York, NY
Bergantinos G, Vidal-Puga J (2009) Additivity in minimum cost spanning tree problems. J Math Econ 45:38–42
Bird CG (1976) On cost allocation for a spanning tree: a game theoretic approach. Networks 6:335–350
Bogomolnaia A, Moulin H (2009) Sharing the cost of a minimal cost spanning tree: beyond the folk solution, mimeo. Rice University, Houston, TX
Brams SJ (2006) Fair division. In: Weingast BP, Wiltman D (eds) Oxford handbook of political economy. Oxford University Press, London
Brams SJ, Edelman PH, Fishburn PC (2001) Paradoxes of fair division. J Philos. 98(6):300–314
Brams SJ, Edelman PH, Fishburn PC (2003) Fair division of indivisible items. Theory and Decis 55(2):147–180
Brams SJ, Jones MA, Klamler C (2008a) Proportional pie-cutting. Int J Game Theory 36:353–367
Brams SJ, Jones MA, Klamler C (2008b) Divide and conquer: a proportional, minimal-envy cake-cutting procedure, mimeo. New York University, New York, NY
Brams SJ, Kilgour DM (2001) Competitive fair division. J Pol Econ 109(2):418–443
Brams SJ, Kilgour DM Klamler C (2008) The undercut procedure: an algorithm for the envy-free division of indivisible items, mimeo, New York University, New York, NY
Brams SJ, Taylor AD (1996) Fair division: from cake-cutting to dispute resolution. Cambridge University Press, New York, NY
Brams SJ, Taylor AD (1999) The win-win solution: guaranteeing fair shares to everybody. W.W. Norton, New York, NY
Brams SJ, Taylor AD, Zwicker WS (1997) A moving-knife solution to the four-person envy-free cake division problem. Proc Am Math Soc 125(2):547–554
Crawford VP (1977) A game of fair division. Rev Econ Stud 44:235–247
Crawford VP (1980) Maximin behavior and efficient allocation. Econ Lett 6:211–215
Darmann A, Klamler C, Pferschy U (2009) Maximizing the minimum voter satisfaction on spanning trees. Math Soc Sci 58(2):238–250
Dutta B, Kar A (2004) Cost monotonicity, consistency and minimum cost spanning tree games. Games Econ Behav 48:223–248
Dvoretsky A, Wald A, Wolfovitz J (1951) Relations among certain ranges of vector measures. Pac J Math 1:59–74
Even S, Paz A (1984) A note on cake cutting. Discrete Appl Math 7:285-296
Fehr E, Schmidt KM (1999) A theory of fairness, competition and cooperation. Q J Econ 114(3):817–868
Feldman A, Kirman A (1974) Fairness and envy. Am Econ Rev 64(6):995–1005
Felsenthal D, Machover M (1998) The measurement of voting power – theory and practice, problems and paradoxes. Edward Elgar, Cheltenham
Fleurbaey M, Maniquet F (2006) Fair income tax. Rev Econ Stud 73:55–83
Fleurbaey M, Sprumont Y (2009) Sharing the cost of a public good without subsidies. J Pub Econ Theory 11(1):1–8
Foley D (1967) Resource allocation and the public sector. Yale Econ Essays 7:45–98
Gale D (1993) Mathematical entertainments. Math Int 15(1):48–52
Jones MA (2002) Equitable, envy-free and efficient cake cutting for two people and its application to divisible goods. Math Mag 75(4):275–283
Kar A (2002) Axiomatization of the Shapley value on minimum cost spanning tree games. Games Econ Behav 38:265–277
Kellerer H, Pferschy U, Pisinger D (2004) Knapsack problems. Springer, Berlin
Kim H (2004) Population monotonicity for fair allocation problems. Soc Choice Welfare 23:59–70
Kolm SC (1996) Modern theories of justice. MIT Press, Cambridge
Lyapounov A (1940) Sur les fonctions-vecteurs completement additives. Bull Acad Sci USSR 4:465–478
Maniquet F (1999) A strong incompatibility between efficiency and equity in non-convex economies. J Math Econ 32:467–474
Maniquet F (2003) A characterization of the Shapley value in queuing problems. J Econ Theory 109:90–103
Moulin H (1987) Egalitarian-equivalent cost sharing of a public good. Econometrica 55:963–976
Moulin H (2002) Axiomatic cost and surplus sharing. In: Arrow KJ, Sen AK, Suzumura K (eds) Handbook of social choice and welfare, vol. 1. Elsevier, Amsterdam
Moulin H (2003) Fair division and collective welfare. MIT Press, Cambridge
Moulin H (2007) On scheduling fees to prevent merging, splitting and transferring of jobs. Math Oper Res 2(32):266–283
Moulin H (2008) Proportional scheduling, split-proofness, and merge-proofness. Games Econ Beh 63:576–587
Moulin H, Shenker S (1992) Serial cost sharing. Econometrica 60(5):1009–1039
Moulin H, Stong R (2002) Fair queuing and other probabilistic allocation methods. Math of Oper Res 27(1):1–30
Moulin H, Thomson W (1988) Can everyone benefit from growth? Two difficulties. J Math Econ 17:339–345
Nicolo A, Yu Y (2008) Strategic divide and choose. Games and Econ Behav 64:268–289
O’Neill B (1982) A problem of rights arbitration from the Talmud. Math Soc Sci 2:345–371
Pattanaik PK, Xu Y (2000) On ranking opportunity sets in economic environments. J Econ Theory 93(1):48–71
Pazner EA, Schmeidler D (1978) Egalitarian equivalent allocations: a new concept of economic equity. The Q J Econ 92:671–687
Peterson E, Su FE (2002) Four-person envy-free chore division. Math Mag 75(2):117–122
Robertson J, Webb W (1998) Cake-cutting algorithms. A K Peters, Natick
Roemer JE (1996) Theories of distributive justice. Harvard University Press, Cambridge
Shapley LS (1953) A value for n-person games. In: Kuhn HW, Tucker AW (eds) Contributions to the theory of games II (Annals of Mathematic Studies 28), Princeton University Press, Princeton
Sprumont Y (1991) The division problem with single-peaked preferences: a characterization of the uniform allocation rule. Econometrica 59(2):509–519
Steinhaus H (1948) The problem of fair division. Econometrica 16:101–104
Stromquist W (1980) How to cut a cake fairly. Am Math Mon 87(8):640–644
Su FE (1999) Rental harmony: Sperner’s lemma in fair division. Am Math Mon 106:930–942
Tadenuma K, Thomson W (1995) Games of fair division. Games Econ Beh 9:191–204
Taylor AD, Zwicker WS (1999) Simple games: desirability relations, trading, pseudoweightings. Princeton University Press, Princeton, NJ
Thomson W (2003) Axiomatic and game-theoretic analysis of bankruptcy and taxation problems: a survey Math Soc Sci 45:249–297
Thomson W (2005) Divide and permute. Games Econ Beh 52:186–200
Thomson W (2007a) Children crying at birthday parties Why?. Econ Theory 31:501–521
Thomson W (2007b) Fair allocation rules. Working Paper No. 539, University of Rochester
Thomson W (2008) Two families of rules for the adjudication of conflicting claims. Soc Choice Welfare 31:667–692
Varian H (1974) Equity, envy, and efficiency. J Econ Theory 9:63–91
Weller D (1985) Fair division of a measurable space. J Math Econ 14:5–17
Woeginger GJ, Sgall J (2007) On the complexity of cake cutting. Discrete Optim 4(2):213–220
Young HP (1994a) Cost allocation. In: Aumann RJ, Hart S (eds) Handbook of game theory, vol. 2. Elsevier Science
Young HP (1994b) Equity: in theory and practice. Princeton University Press, New Jersey
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Klamler, C. (2010). Fair Division. In: Kilgour, D., Eden, C. (eds) Handbook of Group Decision and Negotiation. Advances in Group Decision and Negotiation, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9097-3_12
Download citation
DOI: https://doi.org/10.1007/978-90-481-9097-3_12
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-9096-6
Online ISBN: 978-90-481-9097-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)