Egalitarian equivalence (EE) is a criterion of fair division. In an egalitarian-equivalent division, there exists a certain "reference bundle" such that each agent feels that his/her share is equivalent to .
The EE fairness principle is usually combined with Pareto efficiency. A PEEEA is an allocation that is both Pareto efficient and egalitarian-equivalent.
A set of resources are divided among several agents such that every agent receives a bundle . Every agent has a subjective preference relation which is a total order over bundle. These preference relations induce an equivalence relation in the usual way: iff .
An allocation is called egalitarian-equivalent if there exists a bundle such that, for all :
An allocation is called PEEEA if it is both Pareto-efficient and egalitarian-equivalent.
The EE criterion was introduced by Elisha Pazner and David Schmeidler in 1978. [1] [2]
Previously, the main fairness criterion in economics has been envy-freeness (EF). EF has the merit that it is an ordinal criterion --- it can be defined based only on individual preference-relations; it does not need to compare utilities of different agents, or to assume that the agents' utility functions are normalized. However, EF might be incompatible with Pareto efficiency (PE). In particular, in a standard economy with production, there may be no allocation which is both PE and EF. [3]
EE, like EF, is an ordinal criterion --- it can be defined based only on individual preference-relations. However, it is always compatible with PE --- a PEEEA (PE and EE Allocation) always exists, even in production economies. Pazner and Schmeidler informally describe a PEEEA as follows:
As a special case, assume that there is a finite number of homogeneous divisible goods. Let be a certain bundle. For every , let be the bundle in which the amount of each good is times its amount in .
Suppose the preference-relation of each agent is represented by a utility function , which is calibrated such that: . Then, a special case of an EE allocation is an allocation in which, for all :
In other words, all agents have the same calibrated utility. In this case, the Pareto-efficient EE allocation (PEEEA) coincides with the maximin allocation - the allocation that maximizes the minimum utility.
Note that the maximin principle depends on numeric utility. Therefore, it cannot be used directly with ordinal preference-relations. The EE principle is ordinal, and it suggests a particular way to calibrate the utilities so that they can be used with the maximin principle.
In the special case in which is the bundle of all resources (the aggregate endowment), an egalitarian-equivalent division is also called an equitable division.
Herve Moulin describes this special case of the EE rule as follows: [4] : 242
The following example is based on. [4] : 240–243
The question is how to divide the 100 units of capacity in each road among the 100 agents? Here are some possible solutions.
Consider now the following variant on the above example. The utilities of the AB and BC agents are as above, but the utility of the AC agents when getting x units of AB and y units of BC is now (x+y)/2. Note that it is normalized such that their utility from having a unit of each resource is 1.
To summarize: in this example, a divider who believes in the importance of egalitarian-equivalence must choose between equitability and envy-freeness.
When there are two agents, the set of PEEE allocations contains the set of PEEF allocations. The advantage of PEEEA is that they exist even when there are no PEEFA. [1]
However, with three or more agents, the set of PE allocations that are both EE and EF might be empty. This is the case both in exchange economies with homogeneous divisible resources [5] and in economies with indivisibilities. [6]
In the special case in which the reference bundle contains a constant fraction of each good, the PEEEA rule has some more desirable properties: [4] : 248–251
However, it is lacking some other desirable properties:
In some settings, the PEEEA rule is equivalent to the Kalai-Smorodinsky bargaining solution. [4] : 275
Pareto efficiency or Pareto optimality is a situation where no action or allocation is available that makes one individual better off without making another worse off. The concept is named after Vilfredo Pareto (1848–1923), Italian civil engineer and economist, who used the concept in his studies of economic efficiency and income distribution. The following three concepts are closely related:
There are two fundamental theorems of welfare economics. The first states that in economic equilibrium, a set of complete markets, with complete information, and in perfect competition, will be Pareto optimal. The requirements for perfect competition are these:
Competitive equilibrium is a concept of economic equilibrium, introduced by Kenneth Arrow and Gérard Debreu in 1951, appropriate for the analysis of commodity markets with flexible prices and many traders, and serving as the benchmark of efficiency in economic analysis. It relies crucially on the assumption of a competitive environment where each trader decides upon a quantity that is so small compared to the total quantity traded in the market that their individual transactions have no influence on the prices. Competitive markets are an ideal standard by which other market structures are evaluated.
Efficient cake-cutting is a problem in economics and computer science. It involves a heterogeneous resource, such as a cake with different toppings or a land with different coverings, that is assumed to be divisible - it is possible to cut arbitrarily small pieces of it without destroying their value. The resource has to be divided among several partners who have different preferences over different parts of the cake, i.e., some people prefer the chocolate toppings, some prefer the cherries, some just want as large a piece as possible, etc. The allocation should be economically efficient. Several notions of efficiency have been studied:
Group envy-freeness is a criterion for fair division. A group-envy-free 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 particularly in problems such as fair resource allocation, fair cake-cutting and fair item allocation.
Equitable (EQ) cake-cutting is a kind of a fair cake-cutting problem, in which the fairness criterion is equitability. It is a cake-allocation in which the subjective value of all partners is the same, i.e., each partner is equally happy with his/her share. Mathematically, that means that for all partners i and j:
Fair item allocation is a kind of the fair division problem in which the items to divide are discrete rather than continuous. The items have to be divided among several partners who potentially value them differently, and each item has to be given as a whole to a single person. This situation arises in various real-life scenarios:
Envy-freeness, also known as no-envy, is a criterion for fair division. It says that, when resources are allocated among people with equal rights, each person should receive a share that is, in their eyes, at least as good as the share received by any other agent. In other words, no person should feel envy.
Efficiency and fairness are two major goals of welfare economics. Given a set of resources and a set of agents, the goal is to divide the resources among the agents in a way that is both Pareto efficient (PE) and envy-free (EF). The goal was first defined by David Schmeidler and Menahem Yaari. Later, the existence of such allocations has been proved under various conditions.
Weller's theorem is a theorem in economics. It says that a heterogeneous resource ("cake") can be divided among n partners with different valuations in a way that is both Pareto-efficient (PE) and envy-free (EF). Thus, it is possible to divide a cake fairly without compromising on economic efficiency.
Utilitarian cake-cutting is a rule for dividing a heterogeneous resource, such as a cake or a land-estate, among several partners with different cardinal utility functions, such that the sum of the utilities of the partners is as large as possible. It is a special case of the utilitarian social choice rule. Utilitarian cake-cutting is often not "fair"; hence, utilitarianism is often in conflict with fair cake-cutting.
Rental harmony is a kind of a fair division problem in which indivisible items and a fixed monetary cost have to be divided simultaneously. The housemates problem and room-assignment-rent-division are alternative names to the same problem.
Resource monotonicity is a principle of fair division. It says that, if there are more resources to share, then all agents should be weakly better off; no agent should lose from the increase in resources. The RM principle has been studied in various division problems.
Fair division of a single homogeneous resource is one of the simplest settings in fair division problems. There is a single resource that should be divided between several people. The challenge is that each person derives a different utility from each amount of the resource. Hence, there are several conflicting principles for deciding how the resource should be divided. A primary conflict is between efficiency and equality. Efficiency is represented by the utilitarian rule, which maximizes the sum of utilities; equality is represented by the egalitarian rule, which maximizes the minimum utility.
Envy-free (EF) item allocation is a fair item allocation problem, in which the fairness criterion is envy-freeness - each agent should receive a bundle that they believe to be at least as good as the bundle of any other agent.
In theoretical economics, an abstract economy is a model that generalizes both the standard model of an exchange economy in microeconomics, and the standard model of a game in game theory. An equilibrium in an abstract economy generalizes both a Walrasian equilibrium in microeconomics, and a Nash equilibrium in game-theory.
When allocating objects among people with different preferences, two major goals are Pareto efficiency and fairness. Since the objects are indivisible, there may not exist any fair allocation. For example, when there is a single house and two people, every allocation of the house will be unfair to one person. Therefore, several common approximations have been studied, such as maximin-share fairness (MMS), envy-freeness up to one item (EF1), proportionality up to one item (PROP1), and equitability up to one item (EQ1). The problem of efficient approximately fair item allocation is to find an allocation that is both Pareto-efficient (PE) and satisfies one of these fairness notions. The problem was first presented at 2016 and has attracted considerable attention since then.
Proportional item allocation is a fair item allocation problem, in which the fairness criterion is proportionality - each agent should receive a bundle that they value at least as much as 1/n of the entire allocation, where n is the number of agents.
In economics and computer science, Fractional Pareto efficiency or Fractional Pareto optimality (fPO) is a variant of Pareto efficiency used in the setting of fair allocation of discrete objects. An allocation of objects is called discrete if each item is wholly allocated to a single agent; it is called fractional if some objects are split among two or more agents. A discrete allocation is called Pareto-efficient (PO) if it is not Pareto-dominated by any discrete allocation; it is called fractionally Pareto-efficient (fPO) if it is not Pareto-dominated by any discrete or fractional allocation. So fPO is a stronger requirement than PO: every fPO allocation is PO, but not every PO allocation is fPO.
Ordinal Pareto efficiency refers to several adaptations of the concept of Pareto-efficiency to settings in which the agents only express ordinal utilities over items, but not over bundles. That is, agents rank the items from best to worst, but they do not rank the subsets of items. In particular, they do not specify a numeric value for each item. This may cause an ambiguity regarding whether certain allocations are Pareto-efficient or not. As an example, consider an economy with three items and two agents, with the following rankings: