On Optimal Multi-dimensional Mechanism Design Constantinos Daskalakis EECS, MIT costis@mit.edu Joint work with Yang Cai, Matt Weinberg Multi-Item Multi-Bidder Auction 1 1 … … j … i … n m Multi-Item Multi-Bidder Auction 1 1 … … j … i … n m if the vij’s known exactly, can compute optimal allocation and extract full surplus. Revenue Maximization? Additional Constraints: Demands, Budgets can go around computational hardness with randomization. Multi-Item Multi-Bidder Auction 1 1 … … j … i … if the vij’s are unknown, then all bets are off... n m Revenue Maximization? Natural approach: online optimization [wait till 10.30] Additional Constraints: Demands, Budgets can go around computational hardness with randomization Multi-Item Multi-Bidder Auction 1 1 … … j Suppose Bayesian information is known for bidders’ values … i … n m Revenue Maximization? Optimal Mechanism Design Additional Constraints: Demands, Budgets can go around computational hardness with randomization Single-Parameter Optimal Mechanisms ► [Myerson ’81]: If setting is single-parameter and bidders have independent values, there exist closed-form revenue-optimal mechanisms. single-parameter: each bidder has a fixed value for winning an item, no matter what item she gets; that value is drawn from known distribution; in our running example: if bidder wins painting, her value for the painting is uniform in [$10,$100], no matter what painting she gets… Multiple Copies of Same Item 1 1 … … j i … … m n i.e. one (unknown) parameter determines each bidder’s values Single-Parameter Optimal Mechanisms ► ► [Myerson ’81]: If setting is single-parameter and bidders have independent values, there are closed-form revenue-optimal mechanisms. single-parameter: each bidder has a fixed value for winning an item, no matter what item she gets; that value is drawn from known distn’ In our running example: if bidder wins painting, her value for the painting is uniform in [$10,$100], no matter what painting she gets closed-form: revenue optimization reduces to VCG Closed-form ≠ Computationally Efficient Multi-dimensional Optimal MD ► Central Open Problem: Are there closed-form, efficient revenue-optimal mechanisms, when the bidders are multidimensional, i.e. have different values for different allocations? large body of work in Economics for restricted settings; see, e.g., survey paper by [Vincent-Manelli ’07] Constant-factor approximations are known: ► multi-item auctions, and certain matroidal settings; poly-time for regular distn’ [Chawla, Hartline, Malec, Sivan ’10] ► multi-item auctions + budget constraints [Bhattacharya, Goel, Gollapudi, Munagala ’10] Multi-dimensional Optimal MD ► [D-Weinberg ’11]: Closed-form, efficiently computable, nearly optimal revenue mechanisms when the number of items or the number of bidders is a constant. In the first case, we allow the values of each bidder for the items to be arbitrarily correlated, but assume that bidders are i.i.d. In the second case, we require each bidder to have i.i.d. values for the items, but allow different bidders to have different distributions. Multi-dimensional Optimal MD constant #items constant #bidders 1 1 1 … … 1 2 i j 2 … … 3 3 m n (i.i.d) Arbitrary joint distribution possibly different per bidder Multi-dimensional Optimal MD ► [D-Weinberg ’11]: Closed-form, efficiently computable, nearly optimal revenue mechanisms when the number of items or the number of bidders is a constant. In the first case, we allow the values of each bidder for the items to be arbitrarily correlated, but assume bidders are i.i.d. In the second case, we require each bidder to have i.i.d. values for all items, but allow different bidders to have different distributions. NOTES: a. Can do arbitrary budget, demand constraints. Also explicitly price bundles of items. b. Solution concept: Bayesian Incentive Compatibility (BIC), or ε-Incentive Compatibility (IC). c. Nearly optimal: OPT- ε, for any desired ε >0, when support of distributions is normalized to [0,1]; or (1- ε)OPT if distn’s MHR. a glimpse of the techniques giant Optimal MD it’s just an LP… Let be the joint distribution of all bidders’ values for the items (supported on a subset of ): specifies all vij’s. For every point in the support of , mechanism needs to determine a (randomized) allocation of items to bidders and the charged prices. Write down an LP that looks for such (allocation distribution, price list) pair for every point in , and enforces incentive compatibility, individual rationality, budget, demand constraints, etc. both are exponential LP lives in dimensions [Birkhoff–von Neumann theorem]: Sufficient to compute the marginals of the allocation distribution for each valuation vector. Improved LP lives in dimensions Ingredient 1: The Role of Symmetries Theorem: Let be the distribution of bidders’ values for the items (supported on a subset of ). Let also be a set of permutations such that: Then there exists an optimal randomized mechanism M, respecting all the symmetries in . i.e. c.f. Nash’s symmetry theorem: “In every game there exists a Nash equilibrium that simultaneously satisfies all symmetries satisfied by the game.” NOTES: a. Above symmetry does not hold for deterministic mechanisms. b. Certifies existence of a mechanism of small description complexity, if setting is sufficiently symmetric. However, not clear how to modify LP to locate the succinct mechanism… Ingredient 2: Monotonicity Theorem: If mechanism M is truthful and item-symmetric, then it satisfies a natural monotonicity property. Theorem: Monotonicity + Symmetry => succinct LP, if enough symmetry. Ingredient 3: Continuous to Discrete Continuous distributions -> discretize to get finite support Previous Approach results in ε-BIC Use mechanism computed by LP as a back-end, and design a VCG front-end whereby continuous bidders “buy” discretized representatives. Transfer approximation from truthfulness to revenue. (cf recent surrogate-replica construction of [Hartline-KleinbergMalekian ’11]) Ingredient 4: Extreme Value Theorems • So far, OPT – ε, when distributions normalized to [0,1]. • From additive ε-approx. to multiplicative (1-ε)-approx? • Theorem [Cai-D ’11]: Let X1,…,Xn be independent (but not necessarily identically distributed) MHR random variables. Then there exists anchoring point β such that: X1 X2 (1-ε)OPT is extracted from Corollary: Xn values in (ε β, 1/ε log1/ε β). X3 Pr[max Xi ≥ β] = Ω(1) contribution to E[max Xi] from values here is ≤ ε β Beyond symmetries? Single Unit-Demand Bidder If the vi’s are i.i.d., already know how to find optimal mechanism. Multidimensional Pricing If the vi’s are independent (but not necessarily i.i.d.), can we at least find optimal prices? [CHK’07] Optimal Multi-dimensional Pricing ► [Cai-D ’11]: Nearly-optimal, efficient pricing algorithms for a single unit-demand bidder whose values are independent (but not necessarily identically distributed). NOTES: a. Nearly optimal: OPT- ε, for any desired ε >0, when support of distributions is normalized in [0,1]; or (1- ε)OPT if distn’s are MHR or regular. b. Efficient = PTAS, and quasi-PTAS for regular. Techniques ► ► ► Symmetry lemma does not apply to prices. Not enough symmetry, to find optimal randomized mechanism with previous approach. Our approach: Search space: price vectors. Instead focus attention on revenue distributions induced by price vectors. Identify appropriate distance measure in this space, so that closeness reflects closeness in revenue. implicit polynomial-size cover of this space. Structural Results (e.g. MHR) • A Constant Number of Prices Suffices Theorem[Cai-D ’10] For all , distinct prices suffice to get revenue, where is an increasing function that does not depend on Fi or n . • A Single Price Suffices for i.i.d. Theorem[Cai-D ’10] For all , if , then a single price suffices to get revenue, where is an increasing function that does not depend on Fi or n . Summary constant #bidders constant #items 1 1 … 1 1 j 2 … … 2 3 n i (i.i.d) … possibly different per bidder 3 m single unit-demand bidder, pricing 1 … Arbitrary joint distribution j 1 … n Open Problems • Complexity of the exact problem. • Conjecture: #P-hard to find optimal mechanism even for single bidder with independent values for the items. NOTE: If values are correlated, it is already known that the problem is highly-inapproximatble. [Briest ’08] • Beyond item/bidder symmetric settings • Combine LP approach with probabilistic covering theorems. Thank you for your attention Multidimensional Pricing Our approach: … … C Revenue Distribution Multidimensional Pricing Smoothness properties that would be useful: - what happens to the objective if I replace where ? with - what happens to the objective if I replace where ? with - what happens to the objective if I restrict the prices to the support of the value distributions? Multidimensional Pricing Our approach: … … C Revenue Distribution Geometric Approach implicit polynomial-size - cover of this space “Implicit”: it is output by an algorithm, given {Fi}i distance function: TV Geometric Approach distance function: Multidimensional Pricing ► ► [Chawla,Hartline,Kleinberg ’07]: poly-time constant factor approxi-mations for regular distributions; even the i.i.d. case is not easier. [Cai-D ’10]: PTAS, for independent MHR distributions, or when support is balanced Multi-dimensional Optimal MD ► [Cai-D ’10]: Closed-form, efficiently computable, (1-ε)optimal revenue mechanism for the SINGLE bidder case. Symmetries in Nash’s paper Symmetric Games: Suppose each player p has - the same strategy set: S = {1,…, s} - the same payoff function: u = u (σ ; n1, n2,…,ns) Description size: s ns-1 (instead of: n sn ) strategy of p E.g. : - prisoner’s dilemma number of the other players choosing each strategy in S - 1000 drivers from Pasadena to Westwood Nash ’50: Always exists an equilibrium in which every player uses the same randomization. Does this make computation easier? [Gale-KuhnTucker 1950] Symmetrization y x x y x 0, 0 C, R y RT, CT 0, 0 R,C Equilibrium In fact […] Equilibrium Symmetric Equilibrium Any Equilibrium Symmetrization x y y x 0,0 C, R y RT,CT 0,0 x R,C Equilibrium In fact […] Equilibrium Hence, PPAD to solve symmetric 2-player games Symmetric Equilibrium Any Equilibrium Open: - Reduction from 3-player games to symmetric 3-player games Multi-player symmetric games If n is large, s is small, a symmetric equilibrium x = (x1, x2, …, xs) can be found as follows: - guess the support of x, 2s possibilities - write down a set of polynomial equations an inequalities corresponding to the equilibrium conditions, for the guessed support - polynomial equations and inequalities of degree n in s variables can be solved approximately in time ns log(1/ε) (recall description complexity is s ns-1) Multidimensional Pricing If vi’s unknown can we set prices to optimize revenue ? revenue? (if vi’s known trivial to optimize) Multidimensional Pricing If vi’s unknown can we set prices to optimize revenue ? expected revenue: