Comp/Math 553: Algorithmic Game Theory Lecture 11

Slides:



Advertisements
Similar presentations
(Single-item) auctions Vincent Conitzer v() = $5 v() = $3.
Advertisements

6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 16.
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 10: Mechanism Design Lecturer: Moni Naor.
Yang Cai Oct 01, An overview of today’s class Myerson’s Auction Recap Challenge of Multi-Dimensional Settings Unit-Demand Pricing.
Approximating optimal combinatorial auctions for complements using restricted welfare maximization Pingzhong Tang and Tuomas Sandholm Computer Science.
CPS Bayesian games and their use in auctions Vincent Conitzer
Seminar in Auctions and Mechanism Design Based on J. Hartline’s book: Approximation in Economic Design Presented by: Miki Dimenshtein & Noga Levy.
An Approximate Truthful Mechanism for Combinatorial Auctions An Internet Mathematics paper by Aaron Archer, Christos Papadimitriou, Kunal Talwar and Éva.
Yang Cai Sep 10, An overview of today’s class Case Study: Sponsored Search Auction Myerson’s Lemma Back to Sponsored Search Auction.
Auction Theory Class 3 – optimal auctions 1. Optimal auctions Usually the term optimal auctions stands for revenue maximization. What is maximal revenue?
Optimal auction design Roger Myerson Mathematics of Operations research 1981.
Part 1: Optimal Multi-Item Auctions Constantinos Daskalakis EECS, MIT Reference: Yang Cai, Constantinos Daskalakis and Matt Weinberg: An Algorithmic Characterization.
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
Yang Cai Oct 15, Interim Allocation rule aka. “REDUCED FORM” : Variables: Interim Allocation rule aka. “REDUCED FORM” : New Decision Variables j.
6.853: Topics in Algorithmic Game Theory Fall 2011 Matt Weinberg Lecture 24.
6.896: Topics in Algorithmic Game Theory Lecture 15 Constantinos Daskalakis.
Yang Cai Sep 17, An overview of today’s class Expected Revenue = Expected Virtual Welfare 2 Uniform [0,1] Bidders Example Optimal Auction.
Algorithmic Applications of Game Theory Lecture 8 1.
Agent Technology for e-Commerce Chapter 10: Mechanism Design Maria Fasli
Yang Cai Sep 15, An overview of today’s class Myerson’s Lemma (cont’d) Application of Myerson’s Lemma Revelation Principle Intro to Revenue Maximization.
Auction Theory Class 2 – Revenue equivalence 1. This class: revenue Revenue in auctions – Connection to order statistics The revelation principle The.
Yang Cai Sep 8, An overview of the class Broad View: Mechanism Design and Auctions First Price Auction Second Price/Vickrey Auction Case Study:
CPS 173 Mechanism design Vincent Conitzer
© 2009 Institute of Information Management National Chiao Tung University Lecture Note II-3 Static Games of Incomplete Information Static Bayesian Game.
Auction Seminar Optimal Mechanism Presentation by: Alon Resler Supervised by: Amos Fiat.
ECO290E: Game Theory Lecture 12 Static Games of Incomplete Information.
More on Social choice and implementations 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A Using slides by Uri.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 21.
Mechanism Design CS 886 Electronic Market Design University of Waterloo.
Auction Theory תכנון מכרזים ומכירות פומביות Topic 7 – VCG mechanisms 1.
Yang Cai Oct 08, An overview of today’s class Basic LP Formulation for Multiple Bidders Succinct LP: Reduced Form of an Auction The Structure of.
Chapter 4 Bayesian Approximation By: Yotam Eliraz & Gilad Shohat Based on Chapter 4 on Jason Hartline’s book Seminar in Auctions and Mechanism.
Topic 2: Designing the “optimal auction” Reminder of previous classes: Discussed 1st price and 2nd price auctions. Found equilibrium strategies. Saw that.
Optimal mechanisms (part 2) seminar in auctions & mechanism design Presentor : orel levy.
Yang Cai Oct 06, An overview of today’s class Unit-Demand Pricing (cont’d) Multi-bidder Multi-item Setting Basic LP formulation.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A AAA A AA A.
Comp/Math 553: Algorithmic Game Theory Lecture 10
Bayesian games and mechanism design
Bayesian games and their use in auctions
Comp/Math 553: Algorithmic Game Theory Lecture 08
CPS Mechanism design Michael Albert and Vincent Conitzer
Comp/Math 553: Algorithmic Game Theory Lecture 09
SECOND PART: Algorithmic Mechanism Design.
Comp/Math 553: Algorithmic Game Theory Lecture 14
Implementation in Bayes-Nash equilibrium
Chapter 4 Bayesian Approximation
Comp/Math 553: Algorithmic Game Theory Lecture 13
Market Design and Analysis Lecture 4
Implementation in Bayes-Nash equilibrium
Comp/Math 553: Algorithmic Game Theory Lecture 15
Economics and Computation Week #13 Revenue of single Item auctions
Vincent Conitzer Mechanism design Vincent Conitzer
Vincent Conitzer CPS 173 Mechanism design Vincent Conitzer
Preference elicitation/ iterative mechanisms
Introduction to Mechanism Design
Introduction to Mechanism Design
Auctions Lirong Xia. Auctions Lirong Xia Sealed-Bid Auction One item A set of bidders 1,…,n bidder j’s true value vj bid profile b = (b1,…,bn) A sealed-bid.
Near-Optimal Simple and Prior-Independent Auctions Tim Roughgarden (Stanford)
CPS Preference elicitation/ iterative mechanisms
Implementation in Bayes-Nash equilibrium
Introduction to Mechanism Design
Bayes Nash Implementation
Information, Incentives, and Mechanism Design
Auction Theory תכנון מכרזים ומכירות פומביות
Vincent Conitzer CPS Mechanism design Vincent Conitzer
CPS Bayesian games and their use in auctions
Class 2 – Revenue equivalence
Presentation transcript:

Comp/Math 553: Algorithmic Game Theory Lecture 11 Yang Cai

Menu Reminder: Myerson’s Lemma Examples Revenue Maximization (Intro) The Revelation Principle

Direct Auction and DSIC Defined by two rules: Allocation rule x : Rn  X Payment rule p : Rn  Rn Auction Execution: Collect bids b=(b1 , ..., bn) [allocation] Implement allocation x(b) [payments] Charge prices p(b) Definition: (DSIC) A direct auction (x, p) is DSIC iff for all i, b-i it is optimal for bidder i to bid his true value:

Implementability and Monotonicity Definition 1: (Implementable Allocation Rule) An allocation rule x for a single-dimensional environment is implementable if there is a payment rule p s.t. the sealed-bid auction (x, p) is DSIC. Myerson’s Lemma Definition 2: (Monotone Allocation Rule) An allocation rule x for a single-dimensional environment is monotone if for every bidder i and bids b−i by the other bidders, the allocation xi(z,b−i) to i is non-decreasing in i’s bid z.

Myerson’s Lemma [Myerson ’81] Fix a single-dimensional environment. An allocation rule x is implementable if and only if it is monotone. (b) If x is implementable/monotone, there is an essentially unique payment rule such that the sealed-bid mechanism (x, p) is DSIC, given by the formula: (c) In particular, there is a unique payment function such that the mechanism is DSIC and additionally IR with non-positive transfers (i.e. bi = 0 implies pi(b) = 0, for all b-i). PROOF ON THE BOARD

Quick and Dirty Corollaries Corollary: The greedy allocation rule for sponsored search is implementable. Thus, there is a DSIC auction that maximizes social welfare. On the other hand, in single-item settings, allocating to the second-highest bidder or the lowest bidder are both not implementable.

Application of Myerson’s Lemma

Single-item Auction 1 i n … Bidders v1 vi vn Auctioneer Item Allocation Rule: give the item to the highest bidder. Payment Rule: Vickrey’s Payment How about k-unit auction?

Sponsored Search 1 i n … Bidders (advertisers) v1 vi vn 1 j k … Slots Auctioneer/Google α1 αj αk For the purposes of the equation above ak+1 is taken to be 0 Allocation Rule: allocate the slots greedily based on the bidders’ bids. Payment Rule?

SINGLE-ITEM REVENUE-Maximization

One Bidder, One Item, Revenue Maximization Can we meaningfully maximize revenue? Suppose1 bidder whose value is v. Highest achievable revenue is v, if we were to offer a take-it-or-leave-it offer of the item at price v. But v is private... How can we price the item optimally? Fundamental issue: fix any price; there is some v for which it fails to extract revenue v. Bidder’s Private Value is too strong of a benchmark for the auction to compete against. Solution: Assume distribution F over bidder’s value is known. Perform average case analysis

One Bidder, One Item, Revenue Maximization Posting price r gives expected revenue = r (1−F(r)) When F is the uniform dist. on [0,1], optimal choice of r is ½ achieving expected revenue ¼. The optimal posted price is also called the monopoly price. Is ¼ the optimal expected revenue of any auction? The answer is yes, as implied by Myerson’s theorem (next lecture).

Two Uniform Bidders, One Item Two bidders whose values are i.i.d. U[0,1]. Revenue of Vickrey’s Auction is the expectation of the min of the two uniform random variables = 1/3. What else could we do? Include a reserve price? Vickrey with reserve ½ has expected revenue 5/12 > 1/3. Is 5/12 the optimal expected revenue of any auction? The answer is yes, as implied by Myerson’s theorem (next lecture).

Revenue-Optimal Auctions [Myerson ’81 ] Single-dimensional settings, distribution Fi of every bidder’s private value known to all other bidders, the auctioneer. Exists Revenue-Optimal auction that is simple, direct, DSIC Def: An auction with Bayesian Nash equilibrium s1,…,sn is interim IR, if for all bidders i and all vi, the expected utility of bidder i when her value is vi and she plays si(vi) is non-negative in expectation over the other bidders’ values assuming they also use their Bayesian Nash equilibrium strategies s-i. Direct means 1 round interaction simultaneous and asking to bid the value. Optimality: The expected revenue of Myerson’s auction when all bidders report truthfully (which is in their best interest to do since the auction is DSIC) is as large as the expected revenue of any other (potentially indirect) interim IR auction, when bidders use Bayesian Nash equilibrium strategies. Note: Reminder of Bayesian Nash equilibrium, general definition of direct/indirect mechanisms given later in this slide-deck.

The Power (?) of Indirect Mechanisms

Indirect Mechanisms? So far considered welfare maximization in single-item, k-unit, sponsored search auctions. Greedy allocation rule was monotone. Thus, combined with Myerson’s payment formula can be complemented to a DSIC direct mechanism maximizing welfare in these settings. So restriction to direct mechanisms did not hurt us. As we foray into more complex objectives (e.g. revenue, next lecture) or more complex settings (e.g. spectrum auctions, later in this course) could it be that indirect mechanisms are more powerful than direct ones? Revelation principle: In very general settings, the answer is no!

The Revelation Principle We will show this principle for general mechanism design settings (beyond single-dimensional) Along the way we will define general mechanism design settings, indirect mechanisms, direct mechanisms, solution concepts, and implementability. The Revelation Principle

Preamble: Games of Incomplete Information Def: A game with (independent private values and strict) incomplete information and players 1,…, n is specified by the following ingredients: A set of actions Xi for each player i A set of types Ti, for each player i. An element ti  Ti is the private information of player i Sometimes also have a distribution Fi over Ti (Bayesian Setting) (iii) For each player i, a utility function ui(ti, x1,…, xn) is the utility of player i, if his type is ti and the players use actions x1,…, xn

Preamble: Strategies and Equilibria concepts naturally extend to mixed strategies Def: A (pure) strategy of a player i is a function Def: Equilibrium (dominant , ex-post Nash and Bayesian Nash) A profile of strategies is an (pure) ex-post Nash equilibrium if for all i, all , and all we have that A profile of strategies is a (pure) dominant strategy equilibrium if for all i, all , and all we have that Existence of Bayesian Nash equilibrium: If Ti and Xi are finite, then a mixed strategy Bayesian Nash equilibrium exists. (Use Nash’s Theorem in game where strategies of player i are all functions from Ti to Xi) If Ti and Xi are convex and compact and ui is continuous and concave in xi then a pure strategy Bayesian Nash equilibrium exists. A profile of strategies is a (pure) Bayesian Nash equilibrium if for all i, ti and all we have that:

General Mechanisms (Quasi-Linear Setting) Def: A (general) mechanism for n bidders is defined by players’ type spaces T1,…, Tn sometimes a distribution Fi over Ti is also known (Bayesian setting); in this case it is assumed that bidder i’s type ti ~ Fi a set of possible alternatives A players’ valuation functions vi: Ti x A  R players’ action spaces X1,…, Xn an allocation function x : X1 x…x Xn  A price functions pi : X1 x…x Xn  R setting Mechanism is called “direct” iff Xi=Ti, for all i mechanism A mechanism induces a game of incomplete information, which has the same type spaces and action spaces, and has utilities:

Incentive Compatibility of Direct Mechanisms Indirect mechanisms are analyzed by studying the properties of the Dominant Strategy, ex-post Nash or Bayesian Nash equilibria of the incomplete information games they induce. When analyzing direct mechanisms we will be interested in whether truthtelling is an equilibrium, i.e. whether strategies si(ti)=ti for all i comprise an equilibrium, distinguishing the following types of direct mechanisms: Def: A direct mechanism (x, p) is Dominant Strategy Incentive Compatible (DSIC) iff truth-telling is a dominant strategy equilibrium, i.e. Def: A direct mechanism (x, p) is Bayesian Incentive Compatible (BIC) iff truth-telling is a Bayesian Nash equilibrium, i.e.

Implementation (in general settings) Suppose is some allocation rule. Def: We say that a mechanism (x, p) implements f in dominant strategies if for some dominant strategy equilibrium of the induced game, we have that for all outcome of the mechanism at equilibrium outcome of the allocation function on true types Ex: Vickrey’s auction implements the maximum social welfare function in dominant strategies, because is a dominant strategy equilibrium, and maximum social welfare is achieved at this equilibrium. Similarly we can define ex-post Nash/Bayesian Nash implementation. Remarks: 1. We only require that for some equilibrium and allow other equilibria to exist. 2. Concept generalizes implementability (from earlier in this slide-deck) to general mechanism design settings.

The Revelation Principle (DSE to DSIC) Theorem: If there is an arbitrary mechanism that implements some allocation rule f in dominant strategies, then there is also a direct, DSIC mechanism that implements f. Moreover, the payments of the players in the direct mechanism are identical to those of the original mechanism, at equilibrium, pointwise with respect to t1,…,tn. Proof idea: Simulation

original mechanism (indirect) Proof by Picture: new mechanism (direct) original mechanism (indirect)

Proof via Symbols Proof: Let be a dominant strategy equilibrium of the original mechanism such that , for all . Define a new direct mechanism as follows: Since each is a dominant strategy for player i in the original mechanism: for every , we have that Thus in particular this is true for and for any t-i and and ti’. So we get that i.e. (x’, p’) is DSIC and x ’=f. 

Revelation Principle: Ex-Post Nash to DSIC, and Bayes-Nash to BIC Theorem: If there is an arbitrary mechanism that implements some allocation rule f in ex-post (respectively Bayesian) Nash equilibrium, then there is also a direct DSIC (respectively Bayesian IC) mechanism that implements f. Moreover, the payments of the players in the direct mechanism are identical to those of the original mechanism, at equilibrium, pointwise w.r.t. . Technical Lemma (gedanken experiment: from ex-post to dominant strategy equilibria): Let be an ex-post Nash equilibrium of a game . Define new action spaces . Then is a dominant strategy equilibrium of the game . 𝑋 𝑖 ′ ={ 𝑠 𝑖 𝑡 𝑖 | 𝑡 𝑖 ∈ 𝑇 𝑖 } Proof from Bayes Nash to BIC implementation: Essentially identical to proof from Dominant Strategy equilibrium to DSIC implementation Proof sketch for ex-post Nash to DSIC implementation: Restrict the action spaces in the original mechanism to the sets . Our technical lemma implies that now is a dominant strategy equilibrium. Now invoke the revelation principle for dominant strategy implementation. 𝑋 𝑖 ′ ={ 𝑠 𝑖 𝑡 𝑖 | 𝑡 𝑖 ∈ 𝑇 𝑖 }