Part 1: Optimal Multi-Item Auctions Constantinos Daskalakis EECS, MIT Reference: Yang Cai, Constantinos Daskalakis and Matt Weinberg: An Algorithmic Characterization.

Slides:



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

Zihe Wang. Only 1 good Single sell VS Bundle sell Randomization is needed LP method Mechanism characterization.
Algorithmic mechanism design Vincent Conitzer
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Auction Theory Class 5 – single-parameter implementation and risk aversion 1.
Blackbox Reductions from Mechanisms to Algorithms.
Class 4 – Some applications of revenue equivalence
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
USING LOTTERIES TO APPROXIMATE THE OPTIMAL REVENUE Paul W. GoldbergUniversity of Liverpool Carmine VentreTeesside University.
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.
Multi-item auctions with identical items limited supply: M items (M smaller than number of bidders, n). Three possible bidder types: –Unit-demand bidders.
Revenue Optimization in Multi- Dimensional Settings Constantinos Daskalakis EECS, MIT Reference:
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.
On Optimal Multi-dimensional Mechanism Design Constantinos Daskalakis EECS, MIT Joint work with Yang Cai, Matt Weinberg.
A Prior-Free Revenue Maximizing Auction for Secondary Spectrum Access Ajay Gopinathan and Zongpeng Li IEEE INFOCOM 2011, Shanghai, China.
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.
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.
Mechanism Design and the VCG mechanism The concept of a “mechanism”. A general (abstract) solution for welfare maximization: the VCG mechanism. –This is.
Ron Lavi Presented by Yoni Moses.  Introduction ◦ Combining computational efficiency with game theoretic needs  Monotonicity Conditions ◦ Cyclic Monotonicity.
Yang Cai Sep 24, An overview of today’s class Prior-Independent Auctions & Bulow-Klemperer Theorem General Mechanism Design Problems Vickrey-Clarke-Groves.
Week 10 1 COS 444 Internet Auctions: Theory and Practice Spring 2008 Ken Steiglitz
Complexity of Mechanism Design Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Competitive Analysis of Incentive Compatible On-Line Auctions Ron Lavi and Noam Nisan SISL/IST, Cal-Tech Hebrew University.
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.
Computational Complexity in Economics Constantinos Daskalakis EECS, MIT.
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
Multi-Unit Auctions with Budget Limits Shahar Dobzinski, Ron Lavi, and Noam Nisan.
© 2009 Institute of Information Management National Chiao Tung University Lecture Note II-3 Static Games of Incomplete Information Static Bayesian Game.
Sequences of Take-It-or-Leave-it Offers: Near-Optimal Auctions Without Full Valuation Revelation Tuomas Sandholm and Andrew Gilpin Carnegie Mellon University.
Auction Seminar Optimal Mechanism Presentation by: Alon Resler Supervised by: Amos Fiat.
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.
Auction Theory תכנון מכרזים ומכירות פומביות Topic 7 – VCG mechanisms 1.
By: Amir Ronen, Department of CS Stanford University Presented By: Oren Mizrahi Matan Protter Issues on border of economics & computation, 2002.
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.
Market Design and Analysis Lecture 5 Lecturer: Ning Chen ( 陈宁 )
Strategyproof Auctions For Balancing Social Welfare and Fairness in Secondary Spectrum Markets Ajay Gopinathan, Zongpeng Li University of Calgary Chuan.
Topic 2: Designing the “optimal auction” Reminder of previous classes: Discussed 1st price and 2nd price auctions. Found equilibrium strategies. Saw that.
Yang Cai Oct 06, An overview of today’s class Unit-Demand Pricing (cont’d) Multi-bidder Multi-item Setting Basic LP formulation.
Automated Mechanism Design Tuomas Sandholm Presented by Dimitri Mostinski November 17, 2004.
Mechanism Design II CS 886:Electronic Market Design Sept 27, 2004.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Automated mechanism design Vincent Conitzer
Bayesian Algorithmic Mechanism Design Jason Hartline Northwestern University Brendan Lucier University of Toronto.
Comp/Math 553: Algorithmic Game Theory Lecture 10
Comp/Math 553: Algorithmic Game Theory Lecture 11
Automated 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
Comp/Math 553: Algorithmic Game Theory Lecture 13
Market Design and Analysis Lecture 4
Comp/Math 553: Algorithmic Game Theory Lecture 15
Vincent Conitzer Mechanism design Vincent Conitzer
Automated mechanism design
Information, Incentives, and Mechanism Design
CPS Bayesian games and their use in auctions
Presentation transcript:

Part 1: Optimal Multi-Item Auctions Constantinos Daskalakis EECS, MIT Reference: Yang Cai, Constantinos Daskalakis and Matt Weinberg: An Algorithmic Characterization of Multi-Dimensional Mechanisms, STOC 2012.STOC

Auctions   Motivating Question for Parts 1&2: Of all possible auctions, which one optimizes the auctioneer’s revenue?   We really mean “of all:” want to choose the best among all possible protocols setting up a bidder interaction, in the end of which an allocation of items and pricing is decided. spectrum allocation sponsored search selling items

Single-Item Auctions Optimal Auction? [Myerson’81]: The optimal single-bidder auction prices item at [Myerson’81]: Single item, multiple bidders whose values are i.i.d. from F: optimal auction is second price auction with reserve r(F). *

Myerson’s Auction [1981] [Myerson’81]: The optimal auction is a virtual welfare maximizer: 1.Collects bids b 1,…, b m from bidders 2.For all i: (i’s “ironed virtual bid”) 3.Allocates item to bidder with highest positive (if any) 4.Bidders are priced according to the “payment identity,” ensuring that it’s in their best interest to report. … 1 i m … independent bidders

Beyond Single-Item Auctions? ► Large body of work in Economics:  e.g. [Laffont-Maskin-Rochet’87], [McAfee-McMillan’88], [Wilson’93], [Armstrong’96], [Rochet-Chone’98], [Armstrong’99],[Zheng’00], [Basov’01], [Kazumori’01], [Thanassoulis’04],[Vincent-Manelli ’06,’07], [Figalli-Kim- McCann’10], [Pavlov’11], [Hart-Nisan’12],… ► Progress slow. No general approach. ► Challenge already with 1 bidder, 2 independent items. 1 2 ???

Example 1: Two IID Uniform Items Optimal auction:  The optimal mechanism need not sell items separately. Bundling items increases revenue. $3 - expected revenue: 3  ¾ = 2.25 Obvious approach: - run Myerson for each item separately - price each item at 1 - each bought with probability 1 - expected revenue: 2  1 = 2

Example 2: Two ID Uniform Items Optimal auction:  The optimal mechanism may not only bundle items, but also use randomization. $4 $2.50 This item with probability ½ - expected revenue: $2.625

Beyond Single-Item Auctions? ► Large body of work in Economics:  e.g. [Laffont-Maskin-Rochet’87], [McAfee-McMillan’88], [Wilson’93], [Armstrong’96], [Rochet-Chone’98], [Armstrong’99],[Zheng’00], [Basov’01], [Kazumori’01], [Thanassoulis’04],[Vincent-Manelli ’06,’07], [Figalli-Kim- McCann’10], [Pavlov’11], [Hart-Nisan’12],… ► Progress slow. No general approach. ► Challenge already with 1 bidder, 2 independent items. ► Recent algorithmic work: Constant Factor Approximations ► [Chawla-Hartline-Kleinberg ’07], [Chawla et al’10], [Bhattacharya et al’10], [Alaei’11], [Hart-Nisan ’12], [Kleinberg-Weinberg ’12]

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Multi-item Auctions Computational Remarks

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Multi-item Auctions Computational Remarks

-Bidders are additive (for Part 1) -each bidder i is characterized by some vector -his value for subset S of items is: -Bayesian assumption: bidder types (t 1,…,t m ) drawn from product distn’ - ’ s are known - is supported on set T i which is assumed finite -INPUT: m, n, T 1,…,T m, -GOAL: Find auction optimizing revenue. Multi-item Auctions maximize revenue … 1 j n … 1 i m … …

… 1 j n … 1 i m … … -Commits to an auction design, specifying possible bidder actions, the allocation and the price rule -Asks bidders to choose actions -Implements the promised allocation and price rule -Goal: Optimize revenue Auction in Action Auctioneer: Each Bidder i: -Uses as input: the auction specification, her own type t i and -Chooses action -Goal: optimize her own utility expected revenue: over bidder types t 1, …, t m, the randomness in the auction (if any), and the randomness in the bidders’ strategic behavior given their types payment made by bidder i to the auctioneer Bayesian Nash Equilibrium

Simplification: Direct Auctions ► ► Focus on Direct Auctions (wlog)   huge universe of possible auctions: what bidders can do, and how to allocate items and charge bidders when they do it   The direct revelation principle: “Any auction has an equivalent one where the bidders are only asked to report their type to the auctioneer, and it is best for them to truthfully report it. Such auctions are called direct.”   equivalent ? ► ► point-wise w.r.t. : the two auctions result in the same allocation, the same payments, and the same bidder utilities   upshot: ► ► mechanism design reduces to computing functions: : probability (over randomness in auction) that item j is allocated to bidder i when the reported types by bidders are : expected price that bidder i pays when reports are called the auction’s ex-post allocation and price rule

Finding Optimal Direct Auction ► ► Find ► ► Such that: 1. 1.Feasible: 2. 2.It is in every bidder’s “best interest” to truthfully report his type. ► ► Captured by Bayesian Incentive Compatibility (BIC) constraint:   for all i, and types : 3. 3.The expected revenue is maximized ► ► Actually an LP, but of the “laundry-list” kind…   number of variables: vs input size ► ► Incentive Compatibility (IC)   ditto, but point-wise w.r.t.   (i.e. without expectation over ; just the randomness in the mechanism)

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Multi-item Auctions Computational Remarks

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Multi-item Auctions Computational Remarks

the interim rule of an auction ► ► a.k.a. the reduced form : ► ► Example: Suppose 1 item, 2 bidders ► ► Consider auction that allocates item preferring A to C to B to D, and charges $2 dollars to whoever gets the item. ► ► Then : probability item j is allocated to bidder i conditioning on his type being t i (over the randomness in the other bidders’ types, and the randomness in the auction) : expected price paid by bidder i conditioning on his type being t i bidder 1 A B ½ ½ bidder 2 C D ½ ½

Variables: Constraints: Maximize: - the expected revenue Mechanism Design with Reduced Form Truthfulness: - Need: (i) ability to check feasibility of interim allocation rules - (ii) efficient map from feasible interim rules to ex-post allocation rules (optimal feasible reduced form is useless in itself) the reduced form of sought auction expected value of bidder i of type for being given exists auction with this interim rule

Feasibility of Reduced Forms (example) ► ► easy setting: single item, two bidders with types uniformly distributed in T 1 ={A, B, C} and T 2 ={D, E, F} respectively ► ► Question: Is the following interim allocation rule feasible? ( A, D/E/F)  A wins. (B/C, D)  D wins. so infeasible ! bidder 1 A B ⅓ ⅓ C ⅓ bidder 2 D E ⅓ ⅓ F ⅓ (B, F)  B wins. (C, E)  E wins. (B, E)  B needs to win w.p. ½, E needs to win w.p. ⅔ ✔ ✔

Feasibility of Reduced Forms ► ► [Border ’91, Border ’07, Che-Kim-Mierendorff ’11]: Exist linear constraints characterizing feasibility of single-item reduced forms. ► ► Problem: Single-item, and exponentially many inequalities. ► ► [Cai-Daskalakis-Weinberg’12]: -many inequalities suffice. ► ► ([Alaei et al’12]: polynomial-time algorithm for feasibility) ► ► Still only single-item reduced forms.

Feasibility of Multi-Item Reduced Forms ► ► Can view ► ► Denote feasible interim allocation rules by ► ► How does look geometrically?

Claim 1: Feasibility of Multi-Item Reduced Forms set of feasible interim allocation rules ► ► Proof: Easy.   If feasible, exists (ex-post) allocation rule M with interim rule.   M is a distribution over deterministic feasible allocation rules, of which there is a finite number. So:, where is deterministic.   Easy to see:   So

Extreme Points of Polytope?

interpretation: virtual value derived by bidder i when given item j, if his type is A expected virtual welfare achieved by allocation rule with interim rule interim rule of virtual welfare maximizing allocation rule with virtual functions f 1,…, f m

Claim 1: Feasibility of Multi-Item Reduced Forms set of feasible interim allocation rules Claim 2: Every vertex of the polytope is the interim rule of a virtual welfare maximizing allocation rule for some virtual functions f 1,…, f m.  Any interim rule is implementable by a convex combination of (i.e randomization over) virtual-welfare maximizers.

An Example ► ► 1 item, 2 bidders, each with uniform type in {A, B} ► ► consider following (somewhat funky) allocation rule M:   If types are equal, give item to bidder 1   Otherwise, give item to bidder 2 ► ► Can M be implemented as a distribution over virtual-welfare maximizing allocation rules? ► ► A: No   Proof: Suppose M was distn’ over virtual welfare max. alloc. rules.   If reported types are (t 1 =A, t 2 =A), or (t 1 =B, t 2 =B) then bidder 1 gets the item with probability 1.   So all virtual welfare maximizing allocation rules in the support of the distn’ have virtual value functions f 1 and f 2 satisfying: ► ► f 1 (A)>f 2 (A) and f 1 (B)>f 2 (B). (*)   Likewise, all virtual rules in the support need to satisfy: ► ► f 2 (A)>f 1 (B) and f 2 (B)>f 1 (A). (**) can’t hold simultaneously

► ► 1 item, 2 bidders, each with uniform type in {A, B} ► ► consider following (somewhat funky) allocation rule M:   If types are equal, give item to bidder 1   Otherwise, give item to bidder 2 ► ► Can M be implemented as a distribution over virtual-welfare maximizing allocation rules? ► ► A: No ► ► OK, what’s the interim rule of M? ► ► A: ► ► Can this be implemented as a distribution over virtual-welfare maximizing allocation rules? ► ► A: yes, use the following distn’ over virtual functions f 1, f 2 :   f 1 (A)=f 1 (B)=1, f 2 (A)=f 2 (B)=0, w/ prob. ½   f 1 (A)=f 1 (B)=0, f 2 (A)=f 2 (B)=1, w/ prob. ½ An Example

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Optimal Multi-item Auctions Computational Remarks

Variables: Constraints: Maximize: - the expected revenue Truthfulness: the reduced form of sought auction Mechanism Design with Reduced Form Two auctions with same interim allocation rule have same revenue

Characterization of Optimal Multi-Item Auctions ► ► [Cai-Daskalakis-Weinberg’12]: For every multi-item auction, there exists an auction with the same interim rule, which is a distribution over virtual welfare maximizers. ► ► Corollary: Optimal multi-item auction has the following structure: ► ► Bidders submit types (t 1,…,t m ) to auctioneer. ► ► Auctioneer samples virtual transformations f 1,…, f m ► ► Auctioneer computes virtual types ► ► Virtual welfare maximizing allocation is chosen.   Namely, each item is given to bidder with highest virtual value for that item (if positive) ► ► Prices are charged to ensure truthfulness

Characterization of Optimal Multi-Item Auctions ► ► Bidders submit types (t 1,…,t m ) to auctioneer. ► ► Auctioneer samples virtual transformations f 1,…, f m ► ► Auctioneer computes virtual types ► ► Virtual welfare maximizing allocation is chosen.   Namely, each item is given to bidder with highest virtual value for that item (if positive) ► ► Prices are charged to ensure truthfulness ► ► Exact same structure as Myerson ► ► in Myerson’s theorem: virtual function = deterministic ► ► here, randomized (and they must be)

The Menu Motivation Auctions from Linear Programs -the interim allocation rule Multi-Item Auction Setting Characterization of Optimal Multi-item Auctions Computational Remarks

Variables: Constraints: Maximize: - the expected revenue Truthfulness: the reduced form of sought auction Mechanism Design with Reduced Form - To solve need: (i) ability to check feasibility of interim allocation rules - (ii) efficient map from feasible interim rules to ex-post allocation rules (optimal feasible reduced form is useless in itself)

Poly-time Feasibility and Implementation [Grötschel-Lovász-Schrijver ’80/Papadimitriou-Karp’80]: Linear Optimization  Separation What this means for us is: suffices to be able to find in polynomial-time, the extreme interim allocation rule in an arbitrary direction. But we know that is virtual welfare maximizer for some f 1, f 2,…,f m Hence: Can be found in polynomial time. ✔ Need separation oracle for:

Variables: Constraints: Maximize: - the expected revenue Truthfulness: the reduced form of sought auction Mechanism Design with Reduced Form - To solve need: (i) ability to check feasibility of interim allocation rules - (ii) efficient map from feasible interim rules to ex-post allocation rules (optimal feasible reduced form is useless in itself) ✔ ✔

Summary ► ► Compared to Single-Item auctions, optimal multi-item auctions:   have richer structure   are computationally more challenging ► ► Understanding Interim allocation rule allowed us to characterize the structure of optimal multi-item auctions for additive bidders:   “The revenue optimal auction is a virtual-welfare maximizer.”   Difference to Myerson: virtual transformation randomized. ► ► Finding Optimal Auction: polynomial-time solvable ► ► Up next:   Yang: Beyond additive bidders/trivial allocation constraints   Matt: Beyond revenue objective