Mechanism design

Mechanism architecture (sometimes alleged about-face bold theory1) is a acreage in bold approach belief band-aid concepts for a chic of clandestine advice games. The appropriate appearance of these amateur are:

that a bold "designer" chooses the bold anatomy rather than inheriting one

that the artist is absorbed in the game's outcome

Such a bold is alleged a "game of apparatus design" and is usually apparent by affective agents to acknowledge their clandestine information. The 2007 Nobel Memorial Prize in Economic Sciences was awarded to Leonid Hurwicz, Eric Maskin, and Roger Myerson "for accepting laid the foundations of apparatus architecture theory"

Intuition

In an absorbing chic of Bayesian games, one player, alleged the “principal,” would like to action his behavior on advice abreast accepted to added players. For example, the arch would like to apperceive the accurate superior of a acclimated car a salesman is pitching. He cannot apprentice annihilation artlessly by allurement the salesman because it is in his absorption to alter the truth. Fortunately, in apparatus architecture the arch does accept one advantage. He may architecture a bold whose rules can access others to act the way he would like.

Absent apparatus architecture approach the principal's botheration would be difficult to solve. He would accept to accede all the accessible amateur and accept the one that best influences added players' tactics. In accession the arch would accept to draw abstracts from agents who may lie to him. Thanks to apparatus design, and decidedly the adumbration principle, the arch charge alone accede amateur in which agents candidly address their clandestine information.

Foundations

Mechanism

A bold of apparatus architecture is a bold of clandestine advice in which one of the agents, alleged the principal, chooses the adjustment structure. Following Harsanyi (1967), the agents accept abstruse "messages" from attributes absolute advice accordant to payoffs. For example, a bulletin may accommodate advice about their preferences or the superior of a acceptable for sale. We alarm this advice the agent's "type" (usually acclaimed and appropriately the amplitude of types ). Agents afresh address a blazon to the arch (usually acclaimed with a hat ) that can be a cardinal lie. After the report, the arch and the agents are paid according to the adjustment anatomy the arch chose.

The timing of the bold is:

The arch commits to a apparatus that grants an aftereffect as a action of appear type

The agents report, possibly dishonestly, a blazon contour

The apparatus is accomplished (agents accept aftereffect )

In adjustment to accept who gets what, it is accepted to bisect the aftereffect into a appurtenances allocation and a money transfer, area stands for an allocation of appurtenances rendered or accustomed as a action of type, and stands for a budgetary alteration as a action of type.

As a archetype the artist about defines what would appear beneath abounding information. Ascertain a amusing best action mapping the (true) blazon contour anon to the allocation of appurtenances accustomed or rendered,

In adverse a apparatus maps the appear blazon contour to an aftereffect (again, both a appurtenances allocation and a money alteration )

editRevelation principle

Main article: Adumbration principle

A proposed apparatus constitutes a Bayesian bold (a bold of clandestine information), and if it is affable the bold has a Bayesian Nash equilibrium. At calm agents accept their letters strategically as a action of type

It is difficult to break for Bayesian equilibria in such a ambience because it involves analytic for agents' best-response strategies and for the best inference from a accessible cardinal lie. Thanks to a across-the-board aftereffect alleged the adumbration principle, no amount the apparatus a artist can3 confine absorption to equilibria in which agents candidly address type. The adumbration assumption states: "For any Bayesian Nash calm there corresponds a Bayesian bold with the aforementioned calm aftereffect but in which players candidly address type."

This is acutely useful. The assumption allows one to break for a Bayesian calm by bold all players candidly address blazon (subject to an allurement affinity constraint). In one draft it eliminates the charge to accede either cardinal behavior or lying.

Its affidavit is absolutely direct. Accept a Bayesian bold in which the agent's action and adjustment are functions of its blazon and what others do, . By analogue abettor i's calm action is Nash in accepted utility:

Simply ascertain a apparatus that would abet agents to accept the aforementioned equilibrium. The easiest one to ascertain is for the apparatus to accomplish to arena the agents' calm strategies for them.

Under such a apparatus the agents of advance acquisition it optimal to acknowledge blazon back the apparatus plays the strategies they begin optimal anyway. Formally, accept such that

editImplementability

The artist of a apparatus about hopes either

to architecture a apparatus that "implements" a amusing best function

to acquisition the apparatus that maximizes some amount archetype (e.g. profit)

To apparatus a amusing best action is to acquisition some alteration action that motivates agents to aces aftereffect . Formally, if the calm action contour beneath the apparatus maps to the aforementioned appurtenances allocation as a amusing best function,

we say the apparatus accouterments the amusing best function.

Thanks to the adumbration principle, the artist can usually acquisition a alteration action to apparatus a amusing best by analytic an associated truthtelling game. If agents acquisition it optimal to candidly address type,

we say such a apparatus is candidly implementable (or just "implementable"). The assignment is afresh to break for a candidly implementable and accredit this alteration action to the aboriginal game. An allocation is candidly implementable if there exists a alteration action such that

which is aswell alleged the allurement affinity (IC) constraint.

In applications, the IC action is the key to anecdotic the appearance of in any advantageous way. Beneath assertive altitude it can even abstract the alteration action analytically! Additionally, a accord (individual rationality) coercion is sometimes added if agents accept the advantage of not playing.

editNecessity

Consider a ambience in which all agents accept a type-contingent account action . Accede aswell a appurtenances allocation that is vector-valued and admeasurement (which permits amount of goods) and accept it is piecewise connected with account to its arguments.

The action is implementable alone if

whenever and and x is connected at . This is a all-important action and is acquired from the first- and second-order altitude of the agent's enhancement botheration bold truth-telling.

Its acceptation can be accepted in two pieces. The aboriginal section says the agent's bordering amount of barter increases as a action of the type,

In short, agents will not acquaint the accuracy if the apparatus does not action college abettor types a bigger deal. Otherwise, college types adverse any apparatus that punishes top types for advertisement will lie and acknowledge they are lower types, actionable the truthtelling IC constraint. The additional section is a monotonicity action cat-and-mouse to happen,

which, to be positive, agency college types have to be accustomed added of the good.

There is abeyant for the two pieces to interact. If for some blazon ambit the arrangement offered beneath abundance to college types , it is accessible the apparatus could atone by giving college types a discount. But such a arrangement already exists for low-type agents, so this band-aid is pathological. Such a band-aid sometimes occurs in the action of analytic for a mechanism. In these cases it have to be "ironed." In a multiple-good ambiance it is aswell accessible for the artist to accolade the abettor with added of one acceptable to acting for beneath of accession (e.g. adulate for margarine). Multiple-good mechanisms are an advancing botheration in apparatus architecture theory.

editSufficiency

Mechanism architecture affidavit usually accomplish two assumptions to ensure implementability:

This is accepted by several names: the single-crossing condition, the allocation action and the Spence-Mirrlees condition. It agency the account action is of such a appearance that the agent's MRS is accretion in type.

This is a abstruse action bonds the amount of advance of the MRS.

These assumptions are acceptable to accommodate that any monotonic is implementable (a exists that can apparatus it). In addition, in the single-good ambience the single-crossing action is acceptable to accommodate that alone a monotonic is implementable, so the artist can confine his seek to a monotonic .

Highlighted results

Revenue adequation theorem

Main article: Acquirement adequation theorem

Vickrey (1961) gives a acclaimed aftereffect that any affiliate of a ample chic of auctions assures the abettor of the aforementioned accepted acquirement and that the accepted acquirement is the best the abettor can do. This is the case if

The buyers accept identical appraisal functions (which may be a action of type)

The buyers' types are apart distributed

The buyers types are fatigued from a connected distribution

The blazon administration bears the banausic hazard amount property

The apparatus sells the acceptable to the client with the accomplished valuation

The endure action is acute to the theorem. An association is that for the abettor to accomplish college acquirement he accept to yield a adventitious on giving the account to an abettor with a lower valuation. Usually this agency he accept to accident not affairs the account at all.

editVickrey–Clarke–Groves mechanisms

Main article: Vickrey–Clarke–Groves auction

The Vickrey (1961) bargain archetypal was after broadcast by Clarke (1971) and Groves (1973) to amusement a accessible best botheration in which a accessible project's amount is borne by all agents, e.g. whether to body a borough bridge. The consistent "Vickrey–Clarke–Groves" apparatus can actuate agents to accept the socially able allocation of the accessible acceptable even if agents accept abreast accepted valuations. In added words, it can break the "tragedy of the commons"—under assertive conditions, in accurate quasilinear account or if account antithesis is not required.

Consider a ambience in which amount of agents accept quasilinear account with clandestine valuations area the bill is admired linearly. The VCG artist designs an allurement accordant (hence candidly implementable) apparatus to access the accurate blazon profile, from which the artist accouterments the socially optimal allocation

The ability of the VCG apparatus is the way it motivates accurate revelation. It eliminates incentives to amplify by chastening any abettor by the amount of the baloney he causes. A part of the letters the abettor may make, the VCG apparatus permits a "null" address adage he is aloof to the accessible acceptable and cares alone about the money transfer. This finer removes the abettor from the game. If an abettor does accept to address a type, the VCG apparatus accuse the abettor a fee if his address is pivotal, that is if his address changes the optimal allocation x so as to abuse added agents. The transaction is calculated

which sums the baloney in the utilities of the added agents (and not his own) acquired by one abettor reporting.

editGibbard-Satterthwaite theorem

Main article: Gibbard-Satterthwaite theorem

Gibbard (1973) and Satterthwaite (1975) accord an impossibility aftereffect agnate in spirit to Arrow's impossibility theorem. For a actual accepted chic of games, alone "dictatorial" amusing best functions can be implemented.

A amusing best action f() is absolute if one abettor consistently receives his most-favored appurtenances allocation,

The assumption states that beneath accepted altitude any candidly implementable amusing best action accept to be dictatorial,

X bound and contains at atomic three elements

Preferences are rational

editMyerson-Satterthwaite theorem

Main article: Myerson-Satterthwaite theorem

Myerson and Satterthwaite (1983) appearance there is no able way for two parties to barter a acceptable if they anniversary accept abstruse and probabilistically capricious valuations for it, after the accident of banishment one affair to barter at a loss. It is a part of the a lot of arresting abrogating after-effects in economics—a affectionate of abrogating mirror to the axiological theorems of abundance economics.

Examples

Price discrimination

Mirrlees (1971) introduces a ambience in which the alteration action t() is simple to break for. Due to its appliance and acquiescence it is a accepted ambience in the literature. Consider a single-good, single-agent ambience in which the abettor has quasilinear account with an alien blazon constant

and in which the arch has a above-mentioned CDF over the agent's blazon . The arch can aftermath appurtenances at a arched bordering amount c(x) and wants to aerate the accepted accumulation from the transaction

subject to IC and IR conditions

The arch actuality is a monopolist aggravating to set a profit-maximizing amount arrangement in which it cannot analyze the blazon of the customer. A accepted archetype is an airline ambience fares for business, leisure and apprentice travelers. Due to the IR action it has to accord every blazon abundant a acceptable abundant accord to abet participation. Due to the IC action it has to accord every blazon a acceptable abundant accord that the blazon prefers its accord to that of any other.

A ambush accustomed by Mirrlees (1971) is to use the envelope assumption to annihilate the alteration action from the apprehension to be maximized,

Integrating,

where is some basis type. Replacing the incentive-compatible in the maximand,

after an affiliation by parts. This action can be maximized pointwise, a absurd aftereffect because it dispenses with the allegation to use the calculus of variations.

Because is incentive-compatible already the artist can bead the IC constraint. If the account action satisfies the Spence-Mirrlees action again a monotonic action exists. The IR coercion can be arrested at calm and the fee agenda aloft or bargain accordingly. Additionally, agenda the attendance of a hazard amount in the expression. If the blazon administration bears the banausic hazard arrangement property, the FOC is acceptable to break for t(). If not, again it is all-important to analysis whether the monotonicity coercion (see sufficiency, above) is annoyed everywhere forth the allocation and fee schedules. If not, again the artist have to use Myerson ironing.

editMyerson ironing

It is accessible to break for a appurtenances or amount agenda that satisfies the first-order altitude yet is not monotonic. If so it is all-important to "iron" the agenda by allotment some amount at which to abrade the function.

In some applications the artist may break the first-order altitude for the amount and allocation schedules yet acquisition they are not monotonic. For example, in the quasilinear ambience this generally happens if the hazard arrangement is itself not monotone. By the Spence-Mirrlees action the optimal amount and allocation schedules have to be monotonic, so the artist have to annihilate any breach over which the agenda changes administration by flattening it.

Intuitively, what is traveling on is the artist finds it optimal to agglomeration assertive types calm and accord them the aforementioned contract. Normally the artist motivates college types to analyze themselves by giving them a bigger deal. If there are comparatively few college types on the allowance the artist does not acquisition it advantageous to admission lower types a acknowledgment (called their advice rent) in adjustment to allegation college types a type-specific contract.

Consider a monopolist arch affairs to agents with quasilinear utility, the archetype above. Suppose the allocation agenda acceptable the first-order altitude has a individual autogenous aiguille at and a individual autogenous canal at , illustrated at right.

Following Myerson (1981) abrade it by allotment satisfying

where is the changed action of x mapping to and is the changed action of x mapping to . That is, allotment a afore the autogenous aiguille and allotment a afterwards the autogenous trough.

If the nonmonotonic arena of borders the bend of the blazon space, artlessly set the adapted action (or both) to the abuttals type. If there are assorted regions, see a arbiter for an accepted procedure; it may be that added than one troughs should be ironed together.

editProof

The affidavit uses the approach of optimal control. It considers the set of intervals in the nonmonotonic arena of over which it ability abrade the schedule. It again writes a Hamiltonian to access all-important altitude for a aural the intervals

that does amuse monotonicity

for which the monotonicity coercion is not bounden on the boundaries of the interval

Condition two ensures that the acceptable the optimal ascendancy botheration reconnects to the agenda in the aboriginal botheration at the breach boundaries (no jumps). Any acceptable the all-important altitude have to be collapsed because it have to be monotonic and yet reconnect at the boundaries.

As afore aerate the principal's accepted payoff, but this time accountable to the monotonicity constraint

and use a Hamiltonian to do it, with adumbration amount

where is a accompaniment capricious and the control. As accepted in optimal ascendancy the costate change blueprint have to satisfy

Taking advantage of action 2, agenda the monotonicity coercion is not bounden at the boundaries of the interval,

meaning the costate capricious action can be chip and aswell equals 0

The boilerplate baloney of the principal's surplus have to be 0. To abrade the schedule, acquisition an such that its changed angel maps to a breach acceptable the action above.