# Encyclopedia of Wireless Networks

Living Edition
| Editors: Xuemin (Sherman) Shen, Xiaodong Lin, Kuan Zhang

# Fairness

• Tian Lan
Living reference work entry
DOI: https://doi.org/10.1007/978-3-319-32903-1_31-1

Given a vector $${{\mathbf x}}\in {\mathbb {R}}^{n}_{+}$$, where xi is the resource allocated to user i, how fair is it? Consider two allocations among three users: x = [1, 2, 3] and y = [1, 10, 100]. Among the large variety of choices for quantifying fairness, it is possible to have fairness values such as 0.33 or 0.86 for x and 0.01 or 0.41 for y: x is viewed as 33 times more fair than y, or just twice as fair as y. How many such “viewpoints” are there? What would disqualify a quantitative metric of fairness? Can they all be constructed from a set of simple statements taken as true for the sake of subsequent inference?

Fairness of x can be quantified through a fairness measure, which is a function f that maps x into a real number. These measures are sometimes referred to as diversity indices in statistics. Various fairness measures have been proposed throughout the years. These range from simple ones, e.g., the ratio between the smallest and the largest entries of x, to more sophisticated functions, e.g., Jain’s index and the entropy function. Some of these fairness measures map x to a normalized range between 0 and 1, where 0 denotes the minimum fairness, 1 denotes the maximum fairness (often corresponding to an x where all xi are the same), and a larger value indicates more fairness. For example, min-max ratio (Marson and Gerla, 1982) is given by the maximum ratio of any two user’s resource allocation, while Jain’s index (Jain et al., 1984) computes a normalized square mean. How are these fairness measures are related? Is one measure “better” than any other? What other measures of fairness may be useful?

An alternative method that has gained attention in the networking research community since (Kelly et al., 1998; Mo and Walrand, 2000) is the optimization-theoretic approach of α-fairness and the associated utility maximization problem. Given a set of feasible allocations, a maximizer of the α-fair utility function satisfies the definition of α-fairness. Two well-known examples are as follows: a maximizer of the log utility function (α = 1) is proportionally fair, and a maximizer of the α-fair utility function as α → is max-min fair. More recently, α-fair utility functions have been connected to divergence measures (Uchida and Kurose, 2009). In Bonald and Massoulie (2001); Massoulie and Roberts (2002), the parameter α was viewed as a fairness measure in the sense that a fairer allocation is one that is the maximizer of an α-fair utility function with larger α – although the exact role of α in trading-off fairness and throughput can sometimes be surprising (Tang et al., 2006). While it is often believed that α → is more fair than α = 1, which is in turn more fair than α = 0, it remains unclear what it means to say, for example, that α = 3 is more fair than α = 2.

There are in general two main approaches to fairness evaluation: binary (is it fair according to a particular criterion, e.g., optimization objective, proportional fair, no-envy?) or continuous (quantifying how fair is it, and how fair is it relative to another allocation?). In the latter case, there are three sub-approaches:
1. (A)

A system-wide, global measure: (A1) f(x) where f is our fairness function, or (A2) f(U1, U2, …, Un) where Ui is a utility function for each user that may depend on the entirex.

2. (B)

Individual, global measures: the set of {fi(x)} (each user i cares about the entire allocation x).

3. (C)

Individual, local measures: the set of $$\{ \tilde {f}_i(x_i)\}$$ (user i only cares about her resource via some function $$\tilde {f}_i$$).

### Renyi entropy.

Renyi entropy is a family of functionals quantifying the uncertainty or randomness of generalized probability distributions, developed in 1960 (Renyi, 1960). Renyi entropy is derived from a set of five axioms as follows:
1. 1.

Symmetry.

2. 2.

Continuity.

3. 3.

Normalization.

4. 4.

5. 5.

Mean-value property.

Renyi entropy, a generalization of Shannon entropy, has been further extended by others since the 1960s, e.g., smooth Renyi entropy for information sources (Renner, 2005) and quantum Renyi entropy (Renner and Wolf, 2004).

### Lorenz Curve.

Schur-concavity of fairness measures is a critical property for justifying fairness measures by establishing an ordering on the set of Lorenz curves (Aaberge, 2001). Let Px(y) be the cumulative distribution of a resource allocation x. Its Lorenz curve Lx, defined by
\displaystyle \begin{aligned} \begin{array}{rcl} L_{\mathbf{x}}(u)=\frac{1}{\mu}\cdot \int_{\{ P_{\mathbf{x}}(y) \le u\}} y dP_{\mathbf{x}}(y), \end{array} \end{aligned}
(1)
is a graphical representation of the distribution of x and has used to characterize the social welfare distributions and relative income differences in economics. In 2001, an axiomatic characterization of Lorenz curve orderings is proposed based on a set of four axioms (Aaberge, 2001):
1. 1.

Order. (The ordering is transitive and complete.)

2. 2.

Dominance. (The ordering is Shur-concavity.)

3. 3.

Continuity.

4. 4.

Independence.

### Cooperative Economic Theories.

In economics, a number of theories have been developed to study the collective decisions of groups. Many of these theories have also been uniquely associated with sets of axioms Moulin (1991), including two well-known axiomatic constructions: the Nash bargaining solution in 1950 (Nash, 1950) and the Shapley value in 1953 (Shapley, 1953).

The Nash bargaining solution was developed from a set of four axioms:
1. 1.

Invariance to affine transformation.

2. 2.

Pareto optimality.

3. 3.

Independence of irrelevant alternatives (IIA).

4. 4.

Symmetry.

Nash’s axiom of IIA contributes most to his uniqueness result, and it is also often considered as a value statement. It has been shown by many others that replacing IIA with other value statements may result in solution classes different from the bargaining solution. Given a feasible region of individual utilities, the Nash bargaining solution is also equivalent to a maximization of the proportional fairness utility function.
Another well-known solution concept in economic study of groups is the Shapley value (Shapley, 1953). In a coalition game, individual decides whether or not to form coalitions in order to increase the maximum utility of the group while ensuring that their share of the group utility is maximized. The Shapley value concerns an operator that maps the structure of the game, to a set of allocations of utility in the overall group. Given a coalition game, four axioms uniquely define the Shapley value:
1. 1.

Pareto Optimality.

2. 2.

Symmetry.

3. 3.

Dummy.

4. 4.

### Ultimatum Game.

Cake-Cutting and Fair Division: In ultimatum game (Nowak et al., 2000), player A divides a resource into two parts: one part for herself and the other for player B. Player B can then choose to accept the division or reject it, in which case neither player receives any resource. Without a prior knowledge about player B’s reaction, player A may divide anywhere between [0:5; 0:5] and [1; 0]. Running this game as a social experiment in different cultures have led to debates about the exact implications of the results on people’s perception on fairness: how fair does it take for player B’s perception, and player A’s guess of that, to accept player A’s division? This has also been contrasted with the perception of fairness in the related dictator game (Ben-Ner et al., 2004; Bolton et al., 1998), where player B has no option but to accept the division by player A.

A classic generalization of ultimatum game that has received increasing attention in the past decade is the cake-cutting problem. As reviewed in books (Barbanel, 2005; Brams and Taylor, 1996), the cake is a measure space, and each player uses a countably additive, non-atomic measure to evaluate different parts of the cake. Among the work studying the cake-cutting problem, e.g., (Brams and Taylor, 1995), the primary focus has been on two criteria: efficiency (Pareto optimality) and fairness (envy-freeness). Achievability results for four users or more are still challenging.

Fairness in cake-cutting and fair division is traditionally defined as envy-freeness. It is a binary summary based on each individual’s local evaluation: the allocation of cake is fair if no user wants to trade her piece with another piece. In (Brams et al., 2006), this restrictive viewpoint on fairness is expanded to include proportional allocation of the left-over piece after each user gets 1=nth of the cake (in her own evaluation). It is shown that Pareto optimality and proportional sense of fairness may not be compatible for three players or more.

### Rawls’ Theory of Justice and Distributive Fairness.

In political philosophy, the work of Rawls has been both influential and provocative since the original publication in 1970 (Rawls, 1971). Rawl’s theory of justice concerns mostly with liberties, which are not exactly the same as resources. However, one may also read his theory as a qualitative framework for distributive fairness in allocating limited resources among users. The arguments posed by Rawls are based on two fundamental principles (axioms stated in English),
1. 1.

“Each person is to have an equal right to the most extensive scheme of equal basic liberties compatible with a similar scheme of liberties for others.”

2. 2.

“Social and economic inequalities should be arranged so that they are both (a) to the greatest benefit of the least advantaged persons, and (b) attached to offices and positions open to all under conditions of equality of opportunity.”

The first principle governs the distribution of liberties and has priority over the second principle. One may interpret it as a principle of distributive fairness in allocating limited resources among users. Next, the first part of Rawls second principle concerns with the distribution of opportunity, while the second part is the celebrated “difference principle”: an approach different from strict egalitarianism (since it is on the absolute value of the least advantaged user rather than the relative value) and utilitarianism (when narrowly interpreted where the utility function does not capture fairness).

### Normative Economics and Welfare Theory.

Rawls theory also has intricate interactions with normative economics, where many results are analytic in nature [68]. In addition to stochastic dominance, Arrow’s impossibility theorem, and the cooperation game theories of Nash and of Shapley, there are several major branches (Atkinson, 1970; Kolm, 1969; Sen, 1973). Another set is the ethical axioms of transfers. For example, the Pigou-Dalton principle states that inequality decreases via Robin Hood operation that does not reverse relative ranking. The principle of proportional transfers states that what the donor gives and the beneficiary receives should be proportional to their initial positions.

Bergson-Samuelson social welfare function (Dworkin, 1981; Bergson, 1938) W(U1(x), …, Un(x)) aims at enabling complete and consistent social welfare judgment on top of individual preference-based utility functions Ui. Kolm’s theory of fair allocation (Kolm, 1972) uses the criterion of equity as no-envy, and it is well- known that competitive equilibrium with equal budget is the only Pareto-efficient and envy-free allocation if preferences are sufficiently diverse and form a continuum (Varian, 1976).

### Sociology and Psychology: Inequality Indices.

Quantifying inequality/injustice/unfairness using individual, local measures has been pursued in sociology. For example, Jasso in 1980 (Jasso, 1980) advocated justice evaluation index as log of the ratio between actual allocation and just allocation. Allocation can be done either in quantity or in quality (in which case ranking quantifies the quality allocation). Many properties were derived in theory and experimented with in data about income distribution in different countries (Jasso, 2007). In particular, probability distribution of the index is induced by the probability distribution of the allocation. This index is derived based on two principles and three laws in the paper, including equal allocation maximizes justice, and aggregate justice is arithmetic mean of individual ones.

In Jasso (1999), two other injustice indexes, JI1 and JI2, were developed based on the above. One interesting feature is that JI1 differentiates between under-reward and over-reward as two types of injustice. Another useful feature is the decomposition of the total amount of perceived injustice into injustice due to scarcity and injustice due to inequality. They are further unified with Atkinson’s measure of inequality (Atkinson, 1970): 1 minus the ratio of geometric mean and arithmetic mean. At the heart of these indices is the approach of taking combinations of arithmetic and geometric means of an allocation to quantify the spread.

### Lan-Chiang fairness theory.

Many existing approaches for quantifying fairness are different. On the one hand, α-fair utility functions are continuous and strictly increasing in each entry of x; thus, its maximization results in Pareto optimal resource allocations. On the other hand, scale-invariant fairness measures (ones that map x to the same value as a normalized x) are unaffected by the magnitude of x, and an allocation that does not use all the resources can be as fair as one that does. Can the two approaches be unified? To address the above questions, Lan and Chiang develop an axiomatic approach to fairness measures (Lan et al., 2010). It is shown that a set of five axioms, each of which simple and intuitive, thus accepted as true for the sake of subsequent inference, can lead to a useful family of fairness measures, i.e.:
1. 1.

Continuity.

2. 2.

Homogeneity.

3. 3.

Saturation.

4. 4.

Partition.

5. 5.

Starvation.

Starting with these five axioms, a unique family of fairness measures are generated from generator functions g: any increasing and continuous functions that lead to a well-defined “mean” function (i.e., from any Kolmogorov-Nagumo function Kolmogoroff 1930; Aczél 1948). Using power functions with exponent β as the generator function, a unique family of fairness measures are derived, i.e.:
\displaystyle \begin{aligned} f_{\beta,\lambda}(\mathbf{x},\mathbf{q})&= \mathrm{sign}(-1-\beta)\cdot \left(\sum_i x_i \right)^{1/\lambda} \\ & \quad \cdot \left[ \sum_{i=1}^n q_i\left(\frac{x_i}{\sum_{j=1}^{n} x_j}\right)^{-\beta} \right]^{\frac{1}{\beta}}. {} \end{aligned}
(2)
This result unifies many existing fairness measures: Generalized Jain’s index is a special case of Fβ,λ(x) for 1∕λ = 0 and β < 1; inverse of p-norm is another subclass of Fβ,λ(x) for β ≤−1; and α-utility is obtained for 1∕λ = β∕(1 − β) and β > 0. New fairness measures are revealed corresponding to other ranges of β and λ. The degree of homogeneity 1∕λ determines how Fβ,λ(x) scales as throughput increases, while β provides trade-off between “resolution” and “strictness” of the fairness measure. The unification is illustrated in Fig. 1, including all known fairness measures that are global (i.e., mapping a given allocation vector to a single scalar) and decomposable (i.e., subsystems fairness values can be somehow collectively mapped into the overall systems fairness value).

## References

1. Aaberge R (2001) Axiomatic characterization of the Gini coefficient and Lorenz curve orderings. J Econ Theory 101:115–132
2. Aczél J (1948) On Mean Values, Bullitin of American Mathematics Socioty, 54:392–400
3. Atkinson AB (1970) On the measurement of inequality. J Econ Theory 2:244–263
4. Barbanel J (2005) The geometry of efficient fair division. Cambridge University Press, Cambridge
5. Ben-Ner A, Putterman L, Kong F, Magan D (2004) Reciprocity in a two-part dictator game. J Econ Behav Organ 53:333–352
6. Bergson A (1938) A reformulation of certain aspects of welfare economics. Q J Econ 52:310–334
7. Bolton GE, Katok E, Zwick R (1998) Dictator game giving: rules of fairness versus acts of kindness. Int J Game Theory 27:269–299
8. Bonald T, Massoulie L (2001) Impact of fairness on internet performance. In: Proceedings of ACM sigmetricsGoogle Scholar
9. Brams SJ, Taylor AD (1995) An envy-free cake division protocol. Am Math Mon 102:9–18
10. Brams SJ, Taylor AD (1996) Fair division: from cake-cutting to dispute resolution. Cambridge University Press, Cambridge
11. Brams SJ, Jones MA, Klamler C (2006) Better ways to cut a cake. Not AMS 53:1314–1321
12. Dworkin R (1981) What is equality? Part 1: equality of resources. Philos Public Aff 10:185–246Google Scholar
13. Jain R, Chiu D, Hawe W (1984) A quantitative measure of fairness and discrimination for resource allocation in shared computer system. DEC Technical Report 301Google Scholar
14. Jasso G (1980) A new theory of distributive justice. American Sociological Review 45:3–32
15. Jasso G (1999) How much injustice is there in the world? Two new justice indexes. Am Sociol Rev 64:133–158
16. Jasso G (2007) Theoretical unification in justice and beyond. Soc Justice Res 20:336–371
17. Kelly FP, Maulloo A, Tan D (1998) Rate control in communication networks: shadow prices, proportional fairness and stability. J Oper Res Soc 49:237–252
18. Kolmogoroff A (1930) Sur la notion de la moyenne. Atti della R. Academia nazionale dei Lincei 12Google Scholar
19. Kolm SC (1969) The optimal production of social justice. In: Margolis J, Guitton H (eds) Public economics. Macmillan, LondonGoogle Scholar
20. Kolm SC (1972) Justice and equity. MIT Press, CambridgeGoogle Scholar
21. Lan T, Kao D, Chiang M, Sabharwal A (2010) An axiomatic approach to fairness in network resource allocation. In: Proceedings of IEEE INFOCOMGoogle Scholar
22. Marson MA, Gerla M (1982) Fairness in local computing networks. In: Proceeding of IEEE ICCGoogle Scholar
23. Massoulie L, Roberts J (2002) Bandwidth sharing: objectives and algorithms. IEEE/ACM Trans Netw 10(3):320–328
24. Mo J, Walrand J (2000) Fair end-to-end window-based congestion control. IEEE/ACM Trans Netw 8(5):556–567
25. Moulin H (1991) Axioms of cooperative decision making. Cambridge University Press, Cambridge
26. Nash JF (1950) The bargaining problem. Econometrica 18:155–162
27. Nowak MA, Page KM, Sigmund K (2000) Fairness versus reason in the ultimatum game. Science 289:1773–1775
28. Rawls J (1971) A theory of justice. Harvard University Press, CambridgeGoogle Scholar
29. Renner R (2005) Security of quantum key distribution. Ph.D. Dissertation at ETH, no. 16242, Sept 2005Google Scholar
30. Renner R, Wolf S (2004) Smooth Renyi entropy and applications. In: Proceedings of IEEE ISIT
31. Renyi A (1960) On measures of information and entropy. In: Proceedings of the 4th Berkeley symposium on mathematics, statistics and probabilityGoogle Scholar
32. Sen AK (1973) On economic inequality. Clareondon Press, Oxford
33. Shapley LS (1953) A value for n-person games. In: Kuhn HW, Tucker AW (eds) Contributions to the theory of games, vol II. Annals of mathematical studies, vol 28. Princeton University Press, Princeton, pp 307–317Google Scholar
34. Tang A, Wang J, Low S (2006) Counter-intuitive behaviors in networks under end-to-end control. IEEE/ACM Trans Netw 14(2):355–368
35. Uchida M, Kurose J (2009) An information-theoretic characterization of weighted α-proportional fairness. In: Proceedings of IEEE INFOCOM
36. Varian H (1976) Two problems in the theory of fairness. J Public Econ 5:249–260

© Springer Nature Switzerland AG 2019

## Authors and Affiliations

1. 1.Electrical and Computer EngineeringGeorge Washington UniversityWashingtonUSA

## Section editors and affiliations

• Jianwei Huang
• 1
• Yuan Luo
• 2
1. 1.Department of Information EngineeringThe Chinese University of Hong Kong, StainHong KongChina
2. 2.Dept. of ComputingImperial College LondonLondonUK