Envy-freeness

Envy-freeness is a criterion of fair division. An envy-free division is a division in which every partner feels that his or her allocated share is at least as good as any other share.

Definitions

A resource is divided among several partners such that every partner i receives a share X_i. Every partner i has a subjective preference relation \succeq_i over different possible shares. The division is called envy-free if for all i and j:

X_i \succeq_i X_j

If the preference of the agents are represented by a value functions V_i, then this definition is equivalent to:

V_i(X_i) \geq V_i(X_j)

Put another way: we say that agent i envies agent j if i prefers the piece of j over his own piece, i.e.:

X_i \prec_i X_j
V_i(X_i) < V_i(X_j)

A division is called envy-free if no agent envies another agent.

History

The envy-freeness concept was introduced to the problem of fair cake-cutting by George Gamow and Marvin Stern in 1958.[1] In the context of fair cake-cutting, envy-freeness means that each partner believes that their share is at least as large as any other share. In the context of chore division, envy-freeness means that each partner believes their share is at least as small as any other share. The crucial issue is that no partner would wish to swap their share with any other partner.

See:

Later, the envy-freeness concept was introduced to the economics problem of resource allocation by Duncan Foley in 1967.[2] It became the dominant fairness criterion in economics. See, for example:

Envy-freeness was also studied in the context of fair item assignment.[3] See:

Relations to other fairness criteria

Implications between proportionality and envy-freeness

Proportionality (PR) and envy-freeness (EF) are two independent properties, but in some cases one of them may imply the other.

When all valuations are additive set functions and the entire cake is divided, the following implications hold:

When the valuations are only subadditive, EF still implies PR, but PR no longer implies EF even with two partners: it is possible that Alice's share is worth 1/2 in her eyes, but Bob's share is worth even more. On the contrary, when the valuations are only superadditive, PR still implies EF with two partners, but EF no longer implies PR even with two partners: it is possible that Alice's share is worth 1/4 in her eyes, but Bob's is worth even less. Similarly, when not all cake is divided, EF no longer implies PR. The implications are summarized in the following table:

Valuations 2 partners 3+ partners
Additive EF \implies PR
PR \implies EF
EF \implies PR
Subadditive EF \implies PR EF \implies PR
Superadditive PR \implies EF -
General - -

See also

References

  1. Gamow, George; Stern, Marvin (1958). Puzzle-math. Viking Press. ISBN 0670583359.
  2. Foley, Duncan (1967). "Resource allocation and the public sector". Yale Econ Essays 7 (1): 45–98.
  3. Herreiner, Dorothea K.; Puppe, Clemens D. (2007). "Envy Freeness in Experimental Fair Division Problems". Theory and Decision 67: 65. doi:10.1007/s11238-007-9069-8.
This article is issued from Wikipedia - version of the Tuesday, March 15, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.