Lably
Skip to content

Revenue equivalence

Concept in auction theory

  • 8 min read
  • 7 chapters

Related on Lably

Through Random variable

Notation

There is a set X of possible outcomes.

There are n agents which have different valuations for each outcome. The valuation of agent i (also called its "type") is represented as a function:

vi:X⟶R≥0

which expresses the value it has for each alternative, in monetary terms.

The agents have quasilinear utility functions; this means that, if the outcome is x and in addition the agent receives a payment pi (positive or negative), then the total utility of agent i is:

ui:=vi(x)+pi

The vector of all value-functions is denoted by v.

For every agent i, the vector of all value-functions of the other agents is denoted by v−i. So v≡(vi,v−i).

A mechanism is a pair of functions:

  • An Outcome function, that takes as input the value-vector v and returns an outcome x∈X (it is also called a social choice function);
  • A Payment function, that takes as input the value-vector v and returns a vector of payments, (p1,…,pn), determining how much each player should receive (a negative payment means that the player should pay a positive amount).

The agents' types are independent identically-distributed random variables. Thus, a mechanism induces a Bayesian game in which a player's strategy is his reported type as a function of his true type. A mechanism is said to be Bayesian-Nash incentive compatible if there is a Bayesian Nash equilibrium in which all players report their true type.

Sign in to keep reading

6 more chapters are free with a Lably account.

More in Economics