In
mechanism design
Mechanism design is a field in economics and game theory that takes an objectives-first approach to designing economic mechanisms or incentives, toward desired objectives, in strategic settings, where players act rationally. Because it starts a ...
, an agent is said to have single-parameter utility if his valuation of the possible outcomes can be represented by a single number. For example, in an
auction
An auction is usually a process of buying and selling goods or services by offering them up for bids, taking bids, and then selling the item to the highest bidder or buying the item from the lowest bidder. Some exceptions to this definition ex ...
for a single item, the utilities of all agents are single-parametric, since they can be represented by their monetary evaluation of the item. In contrast, in a
combinatorial auction
A combinatorial auction is a type of smart market in which participants can place bids on combinations of discrete heterogeneous items, or “packages”, rather than individual items or continuous quantities. These packages can be also called lot ...
for two or more related items, the utilities are usually not single-parametric, since they are usually represented by their evaluations to all possible bundles of items.
Notation
There is a set
of possible outcomes.
There are
agents which have different valuations for each outcome.
In general, each agent can assign a different and unrelated value to every outcome in
.
In the special case of single-parameter utility, each agent
has a publicly known outcome
proper subset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ...
which are the "winning outcomes" for agent
(e.g., in a single-item auction,
contains the outcome in which agent
wins the item).
For every agent, there is a number
which represents the "winning-value" of
. The agent's valuation of the outcomes in
can take one of two values:
*
for each outcome in
;
* 0 for each outcome in
.
The vector of the winning-values of all agents is denoted by
.
For every agent
, the vector of all winning-values of the ''other'' agents is denoted by
. So
.
A
social choice
Social choice theory or social choice is a theoretical framework for analysis of combining individual opinions, preferences, interests, or welfares to reach a ''collective decision'' or ''social welfare'' in some sense.Amartya Sen (2008). "Soci ...
function is a function that takes as input the value-vector
and returns an outcome
. It is denoted by
or
.
Monotonicity
The
weak monotonicity property has a special form in single-parameter domains. A social choice function is weakly-monotonic if for every agent
and every
, if:
:
and
:
then:
:
I.e, if agent
wins by declaring a certain value, then he can also win by declaring a higher value (when the declarations of the other agents are the same).
The monotonicity property can be generalized to randomized mechanisms, which return a probability-distribution over the space
.
[ The WMON property implies that for every agent and every , the function:
:]