Mechanism design is a branch of economics, social choice theory, and game theory that deals with designing games (or mechanisms) to implement a given social choice function. Because it starts at the end of the game (the optimal result) and then works backwards to find a game that implements it, it is sometimes called reverse game theory.[citation needed]
Mechanism design studies solution concepts for a class of private-information games. Leonid Hurwicz explains that "in a design problem, the goal function is the main given, while the mechanism is the unknown. Therefore, the design problem is the inverse of traditional economic theory, which is typically devoted to the analysis of the performance of a given mechanism."[2]
In an interesting class of Bayesian games, one player, called the "principal", would like to condition his behavior on information privately known to other players. For example, the principal would like to know the true quality of a used car a salesman is pitching. He cannot learn anything simply by asking the salesman, because it is in the salesman's interest to distort the truth. However, in mechanism design, the principal does have one advantage: He may design a game whose rules influence others to act the way he would like.
Without mechanism design theory, the principal's problem would be difficult to solve. He would have to consider all the possible games and choose the one that best influences other players' tactics. In addition, the principal would have to draw conclusions from agents who may lie to him. Thanks to the revelation principle, the principal only needs to consider games in which agents truthfully report their private information.
Foundations
Mechanism
A game of mechanism design is a game of private information in which one of the agents, called the principal, chooses the payoff structure. Following Harsanyi (1967), the agents receive secret "messages" from nature containing information relevant to payoffs. For example, a message may contain information about their preferences or the quality of a good for sale. We call this information the agent's "type" (usually noted and accordingly the space of types ). Agents then report a type to the principal (usually noted with a hat ) that can be a strategic lie. After the report, the principal and the agents are paid according to the payoff structure the principal chose.
The timing of the game is:
The principal commits to a mechanism that grants an outcome as a function of reported type
The agents report, possibly dishonestly, a type profile
The mechanism is executed (agents receive outcome )
In order to understand who gets what, it is common to divide the outcome into a goods allocation and a money transfer, where stands for an allocation of goods rendered or received as a function of type, and stands for a monetary transfer as a function of type.
As a benchmark the designer often defines what would happen under full information. Define a social choice function mapping the (true) type profile directly to the allocation of goods received or rendered,
In contrast a mechanism maps the reported type profile to an outcome (again, both a goods allocation and a money transfer )
A proposed mechanism constitutes a Bayesian game (a game of private information), and if it is well-behaved the game has a Bayesian Nash equilibrium. At equilibrium agents choose their reports strategically as a function of type
It is difficult to solve for Bayesian equilibria in such a setting because it involves solving for agents' best-response strategies and for the best inference from a possible strategic lie. Thanks to a sweeping result called the revelation principle, no matter the mechanism a designer can[4] confine attention to equilibria in which agents truthfully report type. The revelation principle states: "To every Bayesian Nash equilibrium there corresponds a Bayesian game with the same equilibrium outcome but in which players truthfully report type."
This is extremely useful. The principle allows one to solve for a Bayesian equilibrium by assuming all players truthfully report type (subject to an incentive compatibility constraint). In one blow it eliminates the need to consider either strategic behavior or lying.
Its proof is quite direct. Assume a Bayesian game in which the agent's strategy and payoff are functions of its type and what others do, . By definition agent i's equilibrium strategy is Nash in expected utility:
Simply define a mechanism that would induce agents to choose the same equilibrium. The easiest one to define is for the mechanism to commit to playing the agents' equilibrium strategies for them.
Under such a mechanism the agents of course find it optimal to reveal type since the mechanism plays the strategies they found optimal anyway. Formally, choose such that
Implementability
The designer of a mechanism generally hopes either
to design a mechanism that "implements" a social choice function
to find the mechanism that maximizes some value criterion (e.g. profit)
To implement a social choice function is to find some transfer function that motivates agents to pick . Formally, if the equilibrium strategy profile under the mechanism maps to the same goods allocation as a social choice function,
we say the mechanism implements the social choice function.
Thanks to the revelation principle, the designer can usually find a transfer function to implement a social choice by solving an associated truthtelling game. If agents find it optimal to truthfully report type,
we say such a mechanism is truthfully implementable (or just "implementable"). The task is then to solve for a truthfully implementable and impute this transfer function to the original game. An allocation is truthfully implementable if there exists a transfer function such that
which is also called the incentive compatibility (IC) constraint.
In applications, the IC condition is the key to describing the shape of in any useful way. Under certain conditions it can even isolate the transfer function analytically. Additionally, a participation (individual rationality) constraint is sometimes added if agents have the option of not playing.
Necessity
Consider a setting in which all agents have a type-contingent utility function . Consider also a goods allocation that is vector-valued and size (which permits number of goods) and assume it is piecewise continuous with respect to its arguments.
The function is implementable only if
whenever and and x is continuous at . This is a necessary condition and is derived from the first- and second-order conditions of the agent's optimization problem assuming truth-telling.
Its meaning can be understood in two pieces. The first piece says the agent's marginal rate of substitution (MRS) increases as a function of the type,
In short, agents will not tell the truth if the mechanism does not offer higher agent types a better deal. Otherwise, higher types facing any mechanism that punishes high types for reporting will lie and declare they are lower types, violating the truthtelling IC constraint. The second piece is a monotonicity condition waiting to happen,
which, to be positive, means higher types must be given more of the good.
There is potential for the two pieces to interact. If for some type range the contract offered less quantity to higher types , it is possible the mechanism could compensate by giving higher types a discount. But such a contract already exists for low-type agents, so this solution is pathological. Such a solution sometimes occurs in the process of solving for a mechanism. In these cases it must be "ironed." In a multiple-good environment it is also possible for the designer to reward the agent with more of one good to substitute for less of another (e.g. butter for margarine). Multiple-good mechanisms are an ongoing problem in mechanism design theory.
Sufficiency
Mechanism design papers usually make two assumptions to ensure implementability:
This is known by several names: the single-crossing condition, the sorting condition and the Spence–Mirrlees condition. It means the utility function is of such a shape that the agent's MRS is increasing in type.
This is a technical condition bounding the rate of growth of the MRS.
These assumptions are sufficient to provide that any monotonic is implementable (a exists that can implement it). In addition, in the single-good setting the single-crossing condition is sufficient to provide that only a monotonic is implementable, so the designer can confine his search to a monotonic .
Vickrey (1961) gives a celebrated result that any member of a large class of auctions assures the seller of the same expected revenue and that the expected revenue is the best the seller can do. This is the case if
The buyers have identical valuation functions (which may be a function of type)
The type distribution bears the monotone hazard rate property
The mechanism sells the good to the buyer with the highest valuation
The last condition is crucial to the theorem. An implication is that for the seller to achieve higher revenue he must take a chance on giving the item to an agent with a lower valuation. Usually this means he must risk not selling the item at all.
The Vickrey (1961) auction model was later expanded by Clarke (1971) and Groves to treat a public choice problem in which a public project's cost is borne by all agents, e.g. whether to build a municipal bridge. The resulting "Vickrey–Clarke–Groves" mechanism can motivate agents to choose the socially efficient allocation of the public good even if agents have privately known valuations. In other words, it can solve the "tragedy of the commons"—under certain conditions, in particular quasilinear utility or if budget balance is not required.
Consider a setting in which number of agents have quasilinear utility with private valuations where the currency is valued linearly. The VCG designer designs an incentive compatible (hence truthfully implementable) mechanism to obtain the true type profile, from which the designer implements the socially optimal allocation
The cleverness of the VCG mechanism is the way it motivates truthful revelation. It eliminates incentives to misreport by penalizing any agent by the cost of the distortion he causes. Among the reports the agent may make, the VCG mechanism permits a "null" report saying he is indifferent to the public good and cares only about the money transfer. This effectively removes the agent from the game. If an agent does choose to report a type, the VCG mechanism charges the agent a fee if his report is pivotal, that is if his report changes the optimal allocation x so as to harm other agents. The payment is calculated
which sums the distortion in the utilities of the other agents (and not his own) caused by one agent reporting.
Myerson and Satterthwaite (1983) show there is no efficient way for two parties to trade a good when they each have secret and probabilistically varying valuations for it, without the risk of forcing one party to trade at a loss. It is among the most remarkable negative results in economics—a kind of negative mirror to the fundamental theorems of welfare economics.
Phillips and Marden (2018) proved that for cost-sharing games with concave cost functions, the optimal cost-sharing rule that firstly optimizes the worst-case inefficiencies in a game (the price of anarchy), and then secondly optimizes the best-case outcomes (the price of stability), is precisely the Shapley value cost-sharing rule.[5] A symmetrical statement is similarly valid for utility-sharing games with convex utility functions.
Examples
Price discrimination
Mirrlees (1971) introduces a setting in which the transfer function t() is easy to solve for. Due to its relevance and tractability it is a common setting in the literature. Consider a single-good, single-agent setting in which the agent has quasilinear utility with an unknown type parameter
and in which the principal has a prior CDF over the agent's type . The principal can produce goods at a convex marginal cost c(x) and wants to maximize the expected profit from the transaction
subject to IC and IR conditions
The principal here is a monopolist trying to set a profit-maximizing price scheme in which it cannot identify the type of the customer. A common example is an airline setting fares for business, leisure and student travelers. Due to the IR condition it has to give every type a good enough deal to induce participation. Due to the IC condition it has to give every type a good enough deal that the type prefers its deal to that of any other.
A trick given by Mirrlees (1971) is to use the envelope theorem to eliminate the transfer function from the expectation to be maximized,
Integrating,
where is some index type. Replacing the incentive-compatible in the maximand,
after an integration by parts. This function can be maximized pointwise.
Because is incentive-compatible already the designer can drop the IC constraint. If the utility function satisfies the Spence–Mirrlees condition then a monotonic function exists. The IR constraint can be checked at equilibrium and the fee schedule raised or lowered accordingly. Additionally, note the presence of a hazard rate in the expression. If the type distribution bears the monotone hazard ratio property, the FOC is sufficient to solve for t(). If not, then it is necessary to check whether the monotonicity constraint (see sufficiency, above) is satisfied everywhere along the allocation and fee schedules. If not, then the designer must use Myerson ironing.
Myerson ironing
In some applications the designer may solve the first-order conditions for the price and allocation schedules yet find they are not monotonic. For example, in the quasilinear setting this often happens when the hazard ratio is itself not monotone. By the Spence–Mirrlees condition the optimal price and allocation schedules must be monotonic, so the designer must eliminate any interval over which the schedule changes direction by flattening it.
Intuitively, what is going on is the designer finds it optimal to bunch certain types together and give them the same contract. Normally the designer motivates higher types to distinguish themselves by giving them a better deal. If there are insufficiently few higher types on the margin the designer does not find it worthwhile to grant lower types a concession (called their information rent) in order to charge higher types a type-specific contract.
Consider a monopolist principal selling to agents with quasilinear utility, the example above. Suppose the allocation schedule satisfying the first-order conditions has a single interior peak at and a single interior trough at , illustrated at right.
Following Myerson (1981) flatten it by choosing satisfying
where is the inverse function of x mapping to and is the inverse function of x mapping to . That is, returns a before the interior peak and returns a after the interior trough.
If the nonmonotonic region of borders the edge of the type space, simply set the appropriate function (or both) to the boundary type. If there are multiple regions, see a textbook for an iterative procedure; it may be that more than one troughs should be ironed together.
Proof
The proof uses the theory of optimal control. It considers the set of intervals in the nonmonotonic region of over which it might flatten the schedule. It then writes a Hamiltonian to obtain necessary conditions for a within the intervals
that does satisfy monotonicity
for which the monotonicity constraint is not binding on the boundaries of the interval
Condition two ensures that the satisfying the optimal control problem reconnects to the schedule in the original problem at the interval boundaries (no jumps). Any satisfying the necessary conditions must be flat because it must be monotonic and yet reconnect at the boundaries.
As before maximize the principal's expected payoff, but this time subject to the monotonicity constraint
and use a Hamiltonian to do it, with shadow price
where is a state variable and the control. As usual in optimal control the costate evolution equation must satisfy
Taking advantage of condition 2, note the monotonicity constraint is not binding at the boundaries of the interval,
meaning the costate variable condition can be integrated and also equals 0
The average distortion of the principal's surplus must be 0. To flatten the schedule, find an such that its inverse image maps to a interval satisfying the condition above.
^In unusual circumstances some truth-telling games have more equilibria than the Bayesian game they mapped from. See Fudenburg-Tirole Ch. 7.2 for some references.
^Phillips, Matthew; Marden, Jason R. (July 2018). "Design Tradeoffs in Concave Cost-Sharing Games". IEEE Transactions on Automatic Control. 63 (7): 2242–2247. doi:10.1109/tac.2017.2765299. ISSN0018-9286. S2CID45923961.
Harsanyi, John C. (1967). "Games with incomplete information played by "Bayesian" players, I-III. part I. The Basic Model". Management Science. 14 (3): 159–182. doi:10.1287/mnsc.14.3.159. JSTOR2628393.
Satterthwaite, Mark Allen (1975). "Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions". Journal of Economic Theory. 10 (2): 187–217. CiteSeerX10.1.1.471.9842. doi:10.1016/0022-0531(75)90050-2.
Roger B. Myerson (2008). "Mechanism Design," The New Palgrave Dictionary of Economics Online, Abstract.
Diamantaras, Dimitrios (2009), A Toolbox for Economic Design, New York: Palgrave Macmillan, ISBN978-0-230-61060-6. A graduate text specifically focused on mechanism design.
Konten dan perspektif penulisan artikel ini tidak menggambarkan wawasan global pada subjeknya. Silakan bantu mengembangkan atau bicarakan artikel ini di halaman pembicaraannya, atau buat artikel baru, bila perlu. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Dalam istilah perpajakan di Indonesia, Ekstensifikasi adalah kegiatan pengawasan yang dilakukan oleh Direktorat Jenderal Pajak (DJP) terhadap Wajib Pajak yang telah memenuhi syarat subjektif dan objektif namun belum men…
1997 studio album by Nick Cave and the Bad SeedsThe Boatman's CallStudio album by Nick Cave and the Bad SeedsReleased3 March 1997RecordedJune–August 1996StudioSarm West, LondonLength52:07LabelMute/RepriseProducerFlood, Nick Cave and the Bad SeedsNick Cave and the Bad Seeds chronology Murder Ballads(1996) The Boatman's Call(1997) The Best of Nick Cave & The Bad Seeds(1998) Singles from The Boatman's Call Into My ArmsReleased: 27 January 1997 (Are You) The One That I've Been Waiting …
Konklaf September 1503Lambang Kekosongan Takhta SuciTanggal dan lokasiSeptember 1503Istana Apostolik, Negara GerejaPemilihanKandidatGeorges d'Amboise, Giuliano della Rovere, Francesco Todeschini PiccolominiBakal calon2Paus terpilihFrancesco Todeschini Piccolomini(Nama pilihan: Pius III)← 1492Oktober 1503 → Konklaf September 1503 memilih Paus Pius III untuk menggantikan Paus Aleksander VI. Kardinal yang berpartisipasi berjumlah tiga puluh sembilan orang, yakni 21 dari Italia, 11 dar…
Weni WahyuniLahirWeni Wahyuni3 Maret 1992 (umur 32)Pontianak, Kalimantan Barat, IndonesiaNama lainWeni DA3Weni WenPekerjaanPenyanyiKarier musikGenreDangdutRockPopR&BJazzRapTahun aktif2016 – sekarangLabelMaksi Music, 3D Entertainment Weni Wahyuni yang lebih dikenal dengan nama Weni DA3 atau Weni Wen (lahir 3 Maret 1992) adalah seorang penyanyi dangdut berkebangsaan Indonesia. Weni mempunyai power vokal yang sangat bagus dan suara yang lantang.[1] [2] Ia merupakan p…
Edison Flores Edison Flores Ekuador vs Peru 2017Informasi pribadiNama lengkap Edison FloresTanggal lahir 14 Mei 1994 (umur 29)Tempat lahir Lima, PeruTinggi 170 cm (5 ft 7 in)Posisi bermain GelandangInformasi klubKlub saat ini AalborgNomor 10Karier senior*Tahun Tim Tampil (Gol)2016 – Aalborg 35 (2)Tim nasional2013 – Peru 33 (9) * Penampilan dan gol di klub senior hanya dihitung dari liga domestik Edison Flores (lahir 14 Mei 1994) adalah seorang pemain sepak bola berkewarga…
Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Halaman ini berisi artikel tentang istilah politik. Untuk jalan di Singapura, lihat Jalan Arab (Singapura). Jalan raya telah lama menjadi tempat utama untuk interaksi masyarakat di dunia Arab, yang berujung pada pemakaian kiasan jalan Arab untuk opini pub…
Bridget FondaFonda di Cannes, 2001LahirBridget Jane FondaPekerjaanAktrisTahun aktif1982–2002 2009 - sekarangSuami/istriDanny Elfman (2003-sekarang) 1 anak Bridget Jane Fonda (lahir 27 Januari 1964) adalah seorang seorang aktris berkebangsaan Amerika Serikat. Dia dilahirkan di Los Angeles, California. Dia berkarier di dunia film sejak tahun 1982. Menikah dengan Danny Elfman sejak November 2003. Filmografi Partners (1982) Aria (1987) You Can't Hurry Love (1988) Light Years (1988) (voice in …
ILS International Launch Services, Inc.IndustriLuar Angkasa dan Pertahanan MiliterDidirikan1995KantorpusatBerpusat di Reston, Virginia, Amerika-Rusia joint ventureTokohkunciPhil Slack, PresidentProdukroket Proton MKaryawan60<Situs webwww.ilslaunch.com International Launch Service (ILS) adalah salah satu perusahaan provider utama dalam pelayanan peluncuran satelit komunikasi global.[1] ILS berkantor pusat di Reston, Washington DC, Amerika Serikat.[1] Deskripsi ILS ini memproduk…
Hospital in Brunei-Muara, BruneiJerudong Park Medical CentreJerudong Park Medical Centre in 2014GeographyLocationJerudong, Brunei-Muara, BruneiCoordinates4°56′57″N 114°49′51″E / 4.9492179°N 114.8307270°E / 4.9492179; 114.8307270OrganisationCare systemPrivateFundingPrivateTypeSpecialistLinksWebsitewww.jpmc.com.bn Jerudong Park Medical Centre (Malay: Pusat Perubatan Jerudong Park, Abbrev: JPMC) is a private hospital in Brunei-Muara District, Brunei Darussalam wh…
Gunung MeriahDesaKantor Kepala Desa Gunung MeriahNegara IndonesiaProvinsiSumatera UtaraKabupatenDairiKecamatanSiempat Nempu HuluKode pos22254Kode Kemendagri12.11.07.2005 Luas... km²Jumlah penduduk... jiwaKepadatan... jiwa/km² Gunung Meriah merupakan salah satu desa yang ada di kecamatan Siempat Nempu Hulu, Kabupaten Dairi, provinsi Sumatera Utara, Indonesia. Pemerintahan Desa Gunung Meriah terdiri dari Dusun Bangun, Gajah Manumpak, Huta Baru, KM VIII, KM X, Lumban Sitanggang, Maha Bunga, …
Chief executive of Donetsk Oblast, Ukraine Governor of Donetsk OblastSeal of Donetsk OblastIncumbentVadym Filashkin[1]since 28 December 2023[1]ResidenceDonetsk (de jure) Kramatorsk (de facto)Term lengthFour yearsInaugural holderMykhailo Nalimov1932Formation1932 as Chairman of Executive Committee of Donetsk OblastWebsiteGovernment of Donetsk Oblast The governor of Donetsk Oblast is the head of executive branch for the Donetsk Oblast. Due to the current Russo-Ukrainian War Don…
Artikel utama: Pemilihan umum Presiden Indonesia 2019 Pemilihan umum Presiden Indonesia di Nusa Tenggara Barat 20192014202417 April 2019 (2019-04-17)Terdaftar3.573.096 [1]Kandidat Calon Prabowo Subianto Joko Widodo Partai Gerindra PDI-P Aliansi Koalisi Indonesia Adil Makmur[2] Koalisi Indonesia Kerja[2] Pendamping Sandiaga Uno Ma'ruf Amin Suara popular 2.009.305 950.480 Persentase 67,89% 32,11% Presiden petahanaJoko Widodo PDIP Presiden terpilih Joko Wido…
Toy Story 4Poster rilis teatrikalSutradaraJosh CooleyProduserJonas RiveraMark NielsenSkenarioStephany FolsomAndrew StantonCerita John Lasseter Rashida Jones Will McCormack Josh Cooley Valerie LaPointe Martin Hynes Stephany Folsom Andrew Stanton Pemeran Tom Hanks Tim Allen Annie Potts Tony Hale Keegan-Michael Key Jordan Peele Joan Cusack Wallace Shawn John Ratzenberger Blake Clark Don Rickles Estelle Harris Penata musikRandy NewmanSinematografer Patrick Lin Jean-Claude Kalache PenyuntingAxe…
Bagian dari Alkitab KristenPerjanjian BaruLukas 7:36-37 pada Papirus 3 Injil Matius Markus Lukas Yohanes SejarahKisah Para Rasul Surat Surat-surat Paulus Roma 1 Korintus 2 Korintus Galatia Efesus Filipi Kolose 1 Tesalonika 2 Tesalonika 1 Timotius 2 Timotius Titus Filemon Ibrani Surat-surat umum Yakobus 1 Petrus 2 Petrus 1 Yohanes 2 Yohanes 3 Yohanes Yudas ApokalipsWahyu Perjanjian Lama Portal Kristenlbs Bagian dari sebuah serial dari artikel-artikel tentangYohanes dalam Alkitab Kesusast…
Australian soccer player Sally Shipard Personal informationFull name Sally Jean ShipardDate of birth (1987-10-20) 20 October 1987 (age 36)Place of birth Tumut, AustraliaHeight 1.74 m (5 ft 9 in)Position(s) Central midfielderYouth career Wagga PCYCSenior career*Years Team Apps (Gls)2009–2014 Canberra United 30 (4)2012 → Bayer Leverkusen (loan) 10 (0)Total 40 (4)International career2004–2006 Australia U-20 17 (4)2004–2011 Australia 59 (4) *Club domestic league appearanc…
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2021) تعداد جمهورية التشيك 2021الشعارمعلومات عامةالبلد جمهورية التشيك المكان جمهورية التشيك الاختصاص جمهورية التشيك بتاريخ 2021 موقع الويب scitani.cz… (التشيكية) 2011 Census of …
Disambiguazione – Se stai cercando altri significati, vedi Parigi (disambigua). ParigiCittà metropolitana(FR) Paris Parigi – VedutaVeduta dalla tour Saint-Jacques LocalizzazioneStato Francia Regione Île-de-France AmministrazionePresidente del Consiglio dipartimentaleSindaco: Anne Hidalgo (PS) dal 5-4-2014 Lingue ufficialifrancese Data di istituzione1977 TerritorioCoordinate48°51′24″N 2°21′07″E / 48.856667°N 2.351944°E48.856667; 2.351944 (…