HOME

TheInfoList



OR:

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 X of possible outcomes. There are n agents which have different valuations for each outcome. In general, each agent can assign a different and unrelated value to every outcome in X. In the special case of single-parameter utility, each agent i 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 ...
W_i \subset X which are the "winning outcomes" for agent i (e.g., in a single-item auction, W_i contains the outcome in which agent i wins the item). For every agent, there is a number v_i which represents the "winning-value" of i. The agent's valuation of the outcomes in X can take one of two values: * v_i for each outcome in W_i; * 0 for each outcome in X\setminus W_i. The vector of the winning-values of all agents is denoted by v. For every agent i, the vector of all winning-values of the ''other'' agents is denoted by v_. So v \equiv (v_i,v_). 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 v and returns an outcome x\in X. It is denoted by \text(v) or \text(v_i,v_).


Monotonicity

The weak monotonicity property has a special form in single-parameter domains. A social choice function is weakly-monotonic if for every agent i and every v_i,v_i',v_, if: : \text(v_i, v_) \in W_i and : v'_i \geq v_i > 0 then: : \text(v'_i, v_) \in W_i I.e, if agent i 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 X. The WMON property implies that for every agent i and every v_i,v_i',v_, the function: :\Pr text(v_i, v_) \in W_i/math> is a weakly-increasing function of v_i.


Critical value

For every weakly-monotone social-choice function, for every agent i and for every vector v_, there is a critical value c_i(v_), such that agent i wins if-and-only-if his bid is at least c_i(v_). For example, in a
second-price auction A Vickrey auction or sealed-bid second-price auction (SBSPA) is a type of sealed-bid auction. Bidders submit written bids without knowing the bid of the other people in the auction. The highest bidder wins but the price paid is the second-highest ...
, the critical value for agent i is the highest bid among the other agents. In single-parameter environments, deterministic truthful mechanisms have a very specific format. Any deterministic truthful mechanism is fully specified by the set of functions c. Agent i wins if and only if his bid is at least c_i(v_), and in that case, he pays exactly c_i(v_).


Deterministic implementation

It is known that, in any domain, weak monotonicity is a ''necessary'' condition for implementability. I.e, a social-choice function can be implemented by a
truthful mechanism In game theory, an asymmetric game where players have private information is said to be strategy-proof or strategyproof (SP) if it is a weakly-dominant strategy for every player to reveal his/her private information, i.e. given no information about ...
, only if it is weakly-monotone. In a single-parameter domain, weak monotonicity is also a ''sufficient'' condition for implementability. I.e, for every weakly-monotonic social-choice function, there is a deterministic
truthful mechanism In game theory, an asymmetric game where players have private information is said to be strategy-proof or strategyproof (SP) if it is a weakly-dominant strategy for every player to reveal his/her private information, i.e. given no information about ...
that implements it. This means that it is possible to implement various non-linear social-choice functions, e.g. maximizing the sum-of-squares of values or the min-max value. The mechanism should work in the following way: * Ask the agents to reveal their valuations, v. * Select the outcome based on the social-choice function: x = \text /math>. * Every winning agent (every agent i such that x \in W_i) pays a price equal to the critical value: \text_i(x, v_) = -c_i(v_). * Every losing agent (every agent i such that x \notin W_i) pays nothing: \text_i(x, v_) = 0. This mechanism is truthful, because the net utility of each agent is: * v_i - c_i(v_) if he wins; * 0 if he loses. Hence, the agent prefers to win if v_i>c_ and to lose if v_i, which is exactly what happens when he tells the truth.


Randomized implementation

A randomized mechanism is a probability-distribution on deterministic mechanisms. A randomized mechanism is called truthful-in-expectation if truth-telling gives the agent a largest
expected value In probability theory, the expected value (also called expectation, expectancy, mathematical expectation, mean, average, or first moment) is a generalization of the weighted average. Informally, the expected value is the arithmetic mean of a l ...
. In a randomized mechanism, every agent i has a probability of winning, defined as: : w_i(v_i,v_) := \Pr text(v_i,v_)\in W_i/math> and an expected payment, defined as: : \mathbb text_i(v_i,v_)/math> In a single-parameter domain, a randomized mechanism is truthful-in-expectation if-and-only if: * The probability of winning, w_i(v_i,v_), is a weakly-increasing function of v_i; * The expected payment of an agent is: : \mathbb text_i(v_i,v_)= v_i\cdot w_i(v_i,v_) - \int_^ w_i(t,v_) dt Note that in a deterministic mechanism, w_i(v_i,v_) is either 0 or 1, the first condition reduces to weak-monotonicity of the Outcome function and the second condition reduces to charging each agent his critical value.


Single-parameter vs. multi-parameter domains

When the utilities are not single-parametric (e.g. in
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 ...
s), the mechanism design problem is much more complicated. The VCG mechanism is one of the only mechanisms that works for such general valuations.


See also

*
Single peaked preferences Single-peaked preferences are a class of preference relations. A group of agents is said to have single-peaked preferences over a set of possible outcomes if the outcomes can be ordered along a line such that: # Each agent has a "best outcome" in ...


References

{{reflist Mechanism design