In
operations research
Operations research () (U.S. Air Force Specialty Code: Operations Analysis), often shortened to the initialism OR, is a branch of applied mathematics that deals with the development and application of analytical methods to improve management and ...
and
social choice
Social choice theory is a branch of welfare economics that extends the theory of rational choice to collective decision-making. Social choice studies the behavior of different mathematical procedures ( social welfare functions) used to combine i ...
, the proportional-fair (PF) rule is a rule saying that, among all possible alternatives, one should pick an alternative that cannot be improved, where "improvement" is measured by the sum of relative improvements possible for each individual agent. It aims to provide a compromise between the
utilitarian rule - which emphasizes overall system efficiency, and the
egalitarian rule - which emphasizes individual fairness.
The rule was first presented in the context of rate control in communication networks. However, it is a general social choice rule and can also be used, for example, in resource allocation.
Definition
Let
be a set of possible `states of the world' or `alternatives'. Society wishes to choose a single state from
. For example, in a
single-winner election,
may represent the set of candidates; in a
resource allocation
In economics, resource allocation is the assignment of available resources to various uses. In the context of an entire economy, resources can be allocated by various means, such as markets, or planning.
In project management, resource allocatio ...
setting,
may represent all possible allocations of the resource.
Let
be a finite set, representing a collection of individuals. For each
, let
be a ''
utility function
In economics, utility is a measure of a certain person's satisfaction from a certain state of the world. Over time, the term has been used with at least two meanings.
* In a Normative economics, normative context, utility refers to a goal or ob ...
'', describing the amount of happiness an individual ''i'' derives from each possible state.
A ''
social choice rule'' is a mechanism which uses the data
to select some element(s) from
which are `best' for society. The question of what 'best' means is the basic question of
social choice theory
Social choice theory is a branch of welfare economics that extends the Decision theory, theory of rational choice to collective decision-making. Social choice studies the behavior of different mathematical procedures (social welfare function, soc ...
. The proportional-fair rule selects an element
such that, for every other state
:Note that the term inside the sum,
, represents the relative gain of agent ''i'' when switching from ''x'' to ''y''. The PF rule prefers a state ''x'' over a state ''y'', if and only if If the sum of relative gains when switching from ''x'' to ''y'' is not positive.
Comparison to other rules
The
utilitarian rule selects an element
that maximizes the ''sum'' of individual utilities, that is, for every other state
:That rule ignores the current utility of the individuals. In particular, it might select a state in which the utilities of some individuals is zero, if the utilities of some other individuals is sufficiently large.
The
egalitarian rule selects an element
that maximizes the ''smallest'' individual utilities, that is, for every other state
:This rule ignores the total efficiency of the system. In particular, it might select a state in which the utilities of most individuals are very low, just to make the smallest utility slightly larger.
The proportional-fair rule aims to balance between these two extremes. On one hand, it considers a sum of utilities rather than just the smaller utility; on the other hand, inside the sum, it gives more weight to agents whose current utility is smaller. In particular, if the utility of some individual in ''x'' is 0, and there is another state ''y'' in which his utility is larger than 0, then the PF rule would prefer state y, as the relative improvement of individual ''y'' is infinite (it is divided by 0).
Properties
When the utility sets are convex, a proportional-fair solution always exists. Moreover, it maximizes the ''product'' of utilities (also known as the ''Nash welfare'').
When the utility sets are not convex, a proportional-fair solution is not guaranteed to exist. However, when it exists, it still maximizes the product of utilities.
The PF rule in specific settings
Proportional fairness has been studied in various settings.
* Network scheduling; see
proportional-fair scheduling.
* The
fair subset sum problem.
* Queueing.
References
{{Reflist
Social choice theory
Mathematical optimization
Fairness criteria