Group-envy-free
A group-envy-free[1] division (also known as: coalition-fair[2] division) is a division of a resource among several partners such that every group of partners feel that their allocated share is at least as good as the share of any other group with the same size. The term is used especially in problems of fair division, such as resource allocation and fair cake-cutting.
Group-envy-freeness is a very strong fairness requirement: a group-envy-free allocation is both envy-free and Pareto efficient, but the opposite is not true.
Definitions
Consider a set of n agents. Each agent i receives a certain allocation Ai (e.g. a piece of cake or a bundle of resources). Each agent i has a certain subjective preference relation <i over pieces/bundles (i.e. means that agent i prefers piece B to piece A).
Consider a group X of the agents, with its current allocation . We say that group X prefers a piece B to its current allocation, if there exists a partition of B to the members of X: , such that at least one agent i prefers his new allocation over his previous allocation (), and no agent prefers his previous allocation over his new allocation.
Consider two groups of agents, X and Y, each with the same number k of agents. We say that group X envies group Y if group X prefers the common allocation of group Y () to its current allocation.
An allocation {A1, ..., An} is called group-envy-free if there is no group of agents that envies another group with the same number of agents.
Relations to other criteria
A group-envy-free allocation is also envy-free, since X and Y can be groups with a single agent.
A group-envy-free allocation is also Pareto efficient, since X and Y can be the entire group of all n agents.
Group-envy-freeness is much stronger than the combination of these two criteria, since it applies also to groups of 2, 3, ..., n-1 agents.
Existence
In resource allocation settings, a group-envy-free allocation exists. Moreover, it can be attained as a competitive equilibrium with equal initial endowments.[3][4][2]
In fair cake-cutting settings, a group-envy-free allocation exists if the preference relations are represented by positive continuous value measures. I.e., each agent i has a certain function Vi representing the value of each piece of cake, and all such functions are additive and non-atomic.[1]
Moreover, a group-envy-free allocation exists if the preference relations are represented by preferences over finite vector measures. I.e., each agent i has a certain vector-function Vi, representing the values of different characteristics of each piece of cake, and all components in each such vector-function are additive and non-atomic, and additionally the preference relation over vectors is continuous, monotone and convex.[5]
References
- Berliant, M.; Thomson, W.; Dunz, K. (1992). "On the fair division of a heterogeneous commodity". Journal of Mathematical Economics. 21 (3): 201. doi:10.1016/0304-4068(92)90001-n.
- Varian, H. R. (1974). "Equity, envy, and efficiency" (PDF). Journal of Economic Theory. 9: 63–91. doi:10.1016/0022-0531(74)90075-1. hdl:1721.1/63490.
- Vind, K (1971). Lecture notes for Economics. Stanford University.
- Schmeidler, D.; Vind, K. (1972). "Fair Net Trades". Econometrica. 40 (4): 637. doi:10.2307/1912958. JSTOR 1912958.
- Husseinov, F. (2011). "A theory of a heterogeneous divisible commodity exchange economy". Journal of Mathematical Economics. 47: 54–59. doi:10.1016/j.jmateco.2010.12.001. hdl:11693/12257.