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 .