Bayesiansk-optimal mekanism
En Bayesian-optimal mechanism (BOM) är en mekanism där designern inte känner till värderingarna av de agenter som mekanismen är designad för, men designern vet att de är slumpvariabler och känner till sannolikhetsfördelningen för dessa variabler.
En typisk applikation är en säljare som vill sälja vissa varor till potentiella köpare. Säljaren vill prissätta föremålen på ett sätt som maximerar deras vinst. De optimala priserna beror på det belopp som varje köpare är villig att betala för varje vara. Säljaren känner inte till dessa belopp, men antar att de är hämtade från en viss känd sannolikhetsfördelning . Frasen "Bayesian optimal mekanismdesign" har följande betydelse:
- Bayesian betyder att vi känner till sannolikhetsfördelningen från vilken agenternas värderingar är hämtade (i motsats till prior-free mechanism design , som inte antar någon tidigare sannolikhetsfördelning).
- Optimal innebär att vi vill maximera auktionsförrättarens förväntade intäkter, där förväntningen ligger över slumpmässigheten i agenternas värderingar.
- Mekanism innebär att vi vill utforma regler som definierar en sanningsenlig mekanism , där varje agent har ett incitament att rapportera sitt verkliga värde.
Exempel
Det finns en vara till salu. Det finns två potentiella köpare. Värderingen av varje köpare hämtas iid från den enhetliga fördelningen den [0,1].
Vickrey -auktionen är en sanningsenlig mekanism och dess förväntade vinst, i det här fallet, är 1/3 ( förstaprisauktionen med förseglade bud är en icke sanningsenlig mekanism och dess förväntade vinst är densamma ).
Denna auktion är inte optimal. Det är möjligt att få en bättre vinst genom att sätta ett reservationspris . Vickrey-auktionen med ett reservationspris på 1/2 uppnår en förväntad vinst på 5/12, vilket i detta fall är optimalt.
Notation
Vi antar att agenterna har enparametersfunktioner, till exempel en auktion med enstaka föremål. Varje agent har ett värde som representerar agentens "vinnande värde" (t.ex. agentens värdering av föremålet). Vi känner inte till dessa värden, men vi vet att varje dras iid från en viss sannolikhetsfördelning. Vi betecknar med den kumulativa fördelningsfunktionen :
och av \ sannolikhetsfördelningsfunktionen :
En allokering är en vektor , så att för varje är 1 om agent vinner och 0 annars. Varje tilldelning kan ha en kostnad för auktionsförrättaren, .
Överskottet av en allokering definieras som :
Detta är den totala vinsten för agenterna, minus kostnaden för auktionsförrättaren.
Överskottet är största möjliga vinst. Om varje vinnande agent betalar exakt sitt värde , så är auktionsförrättarens vinst exakt överskottet ; detta innebär att auktionsförrättaren tar allt överskott till sig själv och lämnar ingen nytta åt agenterna.
Denna maximala vinst kan inte uppnås eftersom om auktionsförrättaren försöker debitera varje vinnande agent deras värde v kommer agenterna att ljuga och rapportera ett lägre värde för att betala mindre. Myerson-mekanismen kommer att lösa detta problem.
Myerson-mekanismen
Roger Myerson designade en Bayesiansk-optimal mekanism för enparameters verktygsagenter. Nyckeltricket i Myersons mekanism är att använda virtuella värderingar . För varje agent , definiera dess virtuella värdering som:
Observera att den virtuella värderingen vanligtvis är mindre än den faktiska värderingen. Det är till och med möjligt att den virtuella värderingen är negativ medan den faktiska värderingen är positiv.
Definiera det virtuella överskottet för en allokering som:
Observera att det virtuella överskottet vanligtvis är mindre än det faktiska överskottet.
En nyckelsats från Myerson säger att:
- Den förväntade vinsten för varje sanningsenlig mekanism är lika med dess förväntade virtuella överskott.
(förväntningen tas över slumpmässigheten i agenternas värderingar).
Denna sats föreslår följande mekanism:
- Be varje agent att rapportera sin värdering
- Baserat på svaret och de kända fördelningsfunktionerna beräkna .
- Beräkna en allokering x som maximerar det virtuella överskottet .
För att komplettera beskrivningen av mekanismen bör vi specificera priset som varje vinnande agent måste betala. Ett sätt att beräkna priset är att använda VCG-mekanismen på de virtuella värderingarna . VCG-mekanismen returnerar både en allokering som maximerar det virtuella överskottet och en prisvektor. Eftersom prisvektorn motsvarar de virtuella värderingarna måste vi konvertera den tillbaka till det reala värderingsutrymmet. Så det sista steget i mekanismen är:
- Ta från varje vinnande agent priset , där är priset som bestäms av VCG-mekanismen.
Sanning
Myerson-mekanismen är sanningsenlig när allokeringsregeln uppfyller den svaga monotoniska egenskapen, dvs. allokeringsfunktionen ökar svagt i agenternas värderingar. VCG-allokeringsregeln är verkligen svagt ökande i värderingarna, men vi använder den med de virtuella värderingarna snarare än de verkliga värderingarna. Därför är Myerson-mekanismen sanningsenlig om de virtuella värderingarna är svagt ökande i de verkliga värderingarna. Dvs, om för alla : är en svagt ökande funktion av .
Om inte är en svagt ökande funktion av så kan Myerson-strykning användas.
Myersons mekanism kan användas i olika inställningar. Två exempel presenteras nedan.
Ensauktion
Anta att vi vill sälja en enda vara, och vi vet att värderingarna av alla agenter kommer från samma sannolikhetsfördelning, med funktionerna . Sedan har alla budgivare samma virtuella värderingsfunktion, . Antag att denna funktion är svagt ökande. I det här fallet reduceras VCG-mekanismen till Vickrey-auktionen : den allokerar föremålet till agenten med den största värderingen (högsta budet). Men Myersons mekanism använder VCG med de virtuella värderingarna, som kan vara negativa. Därför reduceras Myersons mekanism i detta fall till Vickrey-auktion med reservationspris . Den allokerar objektet till agenten med den största värderingen, men bara om dess virtuella värdering är minst 0 . Detta betyder att reservationspriset för Myersons mekanism är exakt:
Så, om vi känner till sannolikhetsfördelningsfunktionerna , kan vi beräkna funktionen och utifrån den hitta det optimala reservationspriset.
Digital-varuauktion
I en digital varuauktion har vi ett obegränsat utbud av identiska föremål. Varje agent vill ha högst en vara. Värderingen av agenterna till objektet kommer från samma sannolikhetsfördelning, med funktionerna och virtuell värderingsfunktion . VCG-mekanismen allokerar ett föremål till varje agent med icke-negativ virtuell värdering och tar ut det lägsta vinstpriset, vilket är:
Detta är exakt lika med det optimala försäljningspriset - priset som maximerar det förväntade värdet av säljarens vinst, givet fördelningen av värderingar:
Alternativ
Bayesiansk-optimal mekanismdesign kräver att man känner till fördelningarna från vilka agenternas värderingar hämtas. Detta krav är inte alltid genomförbart. Det finns några andra alternativ:
- När fördelningen inte är känd kan en tidigare oberoende mekanism användas.
- När det inte ens kan antas att agenterna är hämtade från någon sannolikhetsfördelning bör en mekanism utan förutsättning användas.