Jump to content

Single-parameter utility

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Erel Segal (talk | contribs) at 15:29, 7 January 2016. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mechanism design a single-parameter mechanism is a mechanism in which the preferences of each agent are represented by a single number. For example, an auction for a single item is single-parameter, since the preferences of each agent are represented by his evaluation of the item. In contrast, a combinatorial auction for two or more related items is not single-parameter, since the preferences of each agent are represented by his evaluation to all possible bundles of items.

Notation

There is a set of possible outcomes.

There are agents which have different valuations for each outcome.

For every agent , there is a publicly-known subset 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:[1]: 228 

  • for each outcome in ;
  • 0 for each outcome in .

This is a very special case of the the general case (handled e.g. by VCG mechanisms) in which each agent can assign a different value to every 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 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).

Critical value

For every social-choice function, for every agent and for every vector , there is a critical value , such that agent wins if-and-only-if his bid is at least .

For example, in a second-price auction, the critical value for agent is the highest bid among the other agents.

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, 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 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:[1]: 229 

  • Ask the agents to reveal their valuations, .
  • Select the outcome based on the social-choice function: .
  • Every winning agent (every agent such that ) pays the critical value .
  • Every losing agent pays 0.

This mechanism is truthful, because the net utility of each agent is:

  • if he wins;
  • 0 if he loses.

Hence, the agent prefers to win if and to lose if , 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 a randomized mechanism, every agent has a probability of winning, defined as:

and an expected payment, defined as:

In a single-parameter domain, a randomized mechanism is truthful-in-expectation if-and-only if:[1]: 232 

  • The probability of winning, , is a weakly-increasing function of ;
  • The expected payment of an agent is:

Note that in a deterministic mechanism, 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.

See also

References

  1. ^ a b c Vazirani, Vijay V.; Nisan, Noam; Roughgarden, Tim; Tardos, Éva (2007). Algorithmic Game Theory (PDF). Cambridge, UK: Cambridge University Press. ISBN 0-521-87282-0.