- Source: Single peaked preferences
Single-peaked preferences are a class of preference relations. A group has single-peaked preferences over a set of outcomes if the outcomes can be ordered along a line such that:
Each agent has a "best outcome" in the set, and
For each agent, outcomes that are further from his or her best outcome are preferred less.
Single-peaked preferences are typical of one-dimensional domains. A typical example is when several consumers have to decide on the amount of public good to purchase. The amount is a one-dimensional variable. Usually, each consumer decides on a certain quantity which is best for him or her, and if the actual quantity is more/less than that ideal quantity, the agent is then less satisfied.
With single-peaked preferences, there is a simple truthful mechanism for selecting an outcome, which is to select the median quantity; this results in the median voter theorem. It is truthful because the median function satisfies the strong monotonicity property.
The notion was first presented by Duncan Black and later by Kenneth Arrow.
Definitions
Let
X
=
{
x
1
,
…
,
x
m
}
{\displaystyle X=\{x_{1},\ldots ,x_{m}\}}
be the set of possible outcomes. Let
N
=
{
1
,
…
,
n
}
{\displaystyle N=\{1,\ldots ,n\}}
be the set of agents. The preference-relation of agent i is denoted by
≻
i
{\displaystyle \succ _{i}}
. The maximum element of
≻
i
{\displaystyle \succ _{i}}
in X is denoted by
x
i
∗
{\displaystyle x_{i}^{*}}
.
= Definition using a common order
=The group N is said to have single-peaked preferences over X, if there exists an ordering > of the outcomes such that, for every agent i in N:
x
k
<
x
j
≤
x
i
∗
⇒
x
j
≻
i
x
k
{\displaystyle x_{k}
x
k
>
x
j
≥
x
i
∗
⇒
x
j
≻
i
x
k
{\displaystyle x_{k}>x_{j}\geq x_{i}^{*}\Rightarrow x_{j}\succ _{i}x_{k}}
In words,
x
i
∗
{\displaystyle x_{i}^{*}}
is the ideal point for agent i. When the agent compares between two outcomes that are both to the right or to the left of his ideal point, he strictly prefers whichever option is closest to
x
i
∗
{\displaystyle x_{i}^{*}}
.
Note that the preference-relations
≻
i
{\displaystyle \succ _{i}}
are different, but the ordering > of the outcomes must be the same for all agents.
= Necessary condition
=Ballester and Haeringer proved the following necessary condition for single-peaked preferences.
If the group N has single-peaked preferences over X, then for every triplet of outcomes in X, there exists an outcome that is not ranked last by any agent in N.
Some examples
= Single-peaked preferences
=The following graph shows a set of three preferences that are single-peaked over outcomes {A,B,C,D,E}. On the vertical axis, the number represents the preference ranking of the outcome, with 1 being most preferred. Two outcomes that are equally preferred have the same ranking.
The ordering over the outcomes is A < B < C < D < E. The ideal outcome for the green agent is A, for the red it is B, for the blue it is C. For each agent, when we move away from his ideal outcome, the ranking decreases.
It can also be verified that, for each triplet of outcomes, one of them is never ranked last - the one in the middle. E.g., in {A,B,C}, B is never ranked last; in {C,D,E}, D is never ranked last; etc.
= Non single-peaked preferences
=If each of the two preferences represented by the following two graphs is added to the three preferences above, then the resulting group of four preferences is not single-peaked:
For the blue preferences, it can be seen that the preference ranking spikes down for "D" and then spikes up for "E". This proves that the blue preferences are not single-peaked with respect to the ordering A
The green preferences are not formally single-peaked because they have two outcomes that are the most preferred: "B" and "C". Such preferences are sometimes called single-plateaued.
Interpretations
Single-peaked preferences have a number of interpretations for different applications.
A simple application of ideological preferences is to think of the outcome space
{
x
1
,
x
2
,
…
,
x
n
}
{\displaystyle \{x_{1},x_{2},\ldots ,x_{n}\}}
as locations on a street and each
x
i
{\displaystyle x_{i}}
as the address of an individual. Suppose a single bus stop has to be located on the street and every individual wishes to walk as little as possible to the stop. Individuals then have single-peaked preferences: individual
i
{\displaystyle i}
's ideal point is
x
i
{\displaystyle x_{i}}
and she dislikes other locations the farther they are to the west or the farther they are to the east.
The outcome space can also be thought as different policies in an ideological spectrum: policies from the Left vs policies from the Right; policies that are more liberal vs policies that are more conservative; policies that are pro free markets vs policies that are pro state intervention. Voters have single-peaked preferences if they have an ideal balance between the two directions of the ideological spectrum and if they dislike policies the farther away they are from their ideal point.
Related preference domains
A group of agents is said to have single-dipped preferences over a set of possible outcomes if the outcomes can be ordered along a line such that:
Each agent has a "worst outcome" in the set, and -
For each agent, outcomes that are further from his worst outcome are preferred more.
Lackner and Peters study a class of preferences that are single-peaked on a circle.
Recognition
The single-peaked recognition problem is the following decision problem: given a set of preferences on a set of outcomes, decide if there is a common order of the outcomes for which the preferences are single-peaked. Usually, it is required to also find this common order, if it exists.
Trick presents a polynomial-time algorithm for recognizing preferences that are single-peaked on a tree.
Escoffier, Spanjaard and Tydrichova study the problem of recognizing preferences that are single-peaked on a general graph.
See also
Single-parameter mechanism
Star-shaped preferences - an extension of single-peaked preferences to multi-dimensional domains.