Optimal Payments in Dominant-Strategy Mechanisms Victor Naroditskiy Maria Polukarov Nick Jennings University of Southampton 7 15 2 7 9 9 2 mechanism allocation function who is allocated fixed payment function payment to each agent optimized 3 truthful mechanisms with payments: groves class 7 2 9 minimize the amount burnt [Moulin 07] [Guo&Conitzer 07] individual rationality optimize fairness [Porter et al 04] no subsidy weak BB 4 single-parameter domains: characterization of DS mechanisms if allocated when reporting x, then allocated when reporting y ≥ x if not allocated when reporting x, then not allocated when reporting y ≤ x 7 2 9 h(9,2) - g(9,2) h(7,9) g - price (critical value) h - rebate g(v-i) - the minimum value agent i can report to be allocated h(7,2) - g(7,2) v-i = (v1,...,vi-1,v xi,vi+1,...,vn) h(v-i) is the only degree of freedom in the payment function determined by the allocation function g(v-i) = minx | fi(x,v-i) = 1 optimize h(v-i) 5 optimal payment function constructive characterization objective IN constraints allocation function OUT optimal payment (rebate) function e.g., maximize social welfare e.g., no subsidy and voluntary participation e.g., efficient AMD [Conitzer, Sandholm, Guo] 6 dominant-strategy implementation no prior on the agents' values V = [0,1]n f: V {0,1}n W = [0,1]n-1 g, h: WR 7 example MD problem welfare maximizing allocation [Moulin 07] [Guo&Conitzer 07] maxh(w) r n agents m items s.t. for all v in V (social welfare within r of the efficient surplus v1 + ... + vm) v1 + ... + vm + i h(v-i) - mvm+1 ≤ r(v1 + ... + vm) i h(v-i) - mvm+1 ≤ 0 (weak BB) h(v-i) ≥ 0 (IR) 8 generic MD problem maxh(w),objVal objVal s.t. for all v in V objective(f(v), g(v-i), h(v-i)) ≥ objVal constraints(f(v), g(v-i), h(v-i)) ≥ 0 objective and constraints are linear in f(v), g(v-i), and h(v-i) optimization is over functions infinite number of constraints 9 example 2 agents 1 free item 10 allocation regions f(v) = (0,1) f(v) = (1,0) 11 regions with linear constraints f(v) = (0,1) g(v2) = v2 constant allocation and linear critical value on each triangle g(v1) = v1 f(v) = (1,0) constraints linear in h(w) 12 linear constraints on a polytope a linear constraint c1v1 + ... + cnvn ≤ cn+1 holds at all points v in P of a polytope P iff it holds at the extreme points v in extremePoints(P) 2v1 + v2 ≤ 5 v2 v1 13 allocation of free items V= [0,1]2 linear f,g,h => constraints are linear in v constraints(f(v), g(v-1), g(v-2), h(v-1), h(v-2)) V= {(0,0) (1,0) (0,1) (1,1)} W = {(0) (1)} [Guo&Conitzer 08] optimal solution restricted problem LP with variables h(0), h(1), objVal - upper bound! the upper bound (objVal) is achieved and the constraints hold throughout V 14 allocation with costs hb(v2), hb(v1) ha(v2), hb(v1) ha(w1) hb(w1) w1 each payment region has n extreme points 15 overview of the approach • find consistent V and W space subdivisions • solve the restricted problem – extreme points of the value space subdivision • payments at the extreme points of W region x define a linear function hx • optimal rebate function is h(w) = {hx(w) if w in x} 16 subdivisions • PX - subdivision (partition) of polytope X q* q q' PX = {q,q',q*} 17 vertex consistency project points 0 1,0 v-1 k w1 1 v-2 18 region consistency v2 · k lift regions w1 · k 0 v1 · k k w1 1 19 triangulation each polytope in PW is a simplex 20 characterization • if there exist PV and PW satisfying – PV refine the initial subdivision • allocation constant on q in PV • critical value linear on q in PV – vertex consistency – region consistency – PW is a triangulation • then an optimal rebate function is given by – interpolation of optimal rebate values from the restricted problem – by construction, the optimal rebates are piecewise linear 21 upper bound restricted problem with any subset of value space 22 lower bound (approximate solutions) not a triangulation: cannot linearly interpolate the extreme points ha(w1) 0 k* hb(w1) k 1 w1 allocate to agent 1 if v1 ≥ kv2 23 examples V = {v in Rn | 1 ≥ v1 ≥ v2 ≥ ... ≥ vn ≥ 0} h: WR W = {w in Rn-1 | 1 ≥ w1 ≥ w2 ≥ ... ≥ wn-1 ≥ 0} 24 efficient allocation of free items n agents with private values m free items/tasks throughout V agents 1..m are allocated f(v) = (1,...1,0,...0) m social welfare: [Moulin 07] [Guo&Conitzer 07] fairness: [Porter 04] 25 extreme points restricted problem is a linear program with constraints for n+1 points (0...0) (10...0) (1110...0) ... (1...1) 26 fairness: [Porter 04] results follow immediately from the restricted problem the feasible region is empty for k<m+1 => impossibility result unique linear (m+2)-fair mechanism 27 efficient allocation of items with increasing marginal cost n agents with private values m items with increasing costs 3 4 7 14 m+1 possible efficient allocations depending on agents' values tragedy of the commons: cost of the ith item measures disutility that i agents experience from sharing the resource with one more user 28 algorithmic solution input: n, cost profile output: percentage of efficient surplus optimal payment function piecewise linear on each region number of regions is exponential in the number of agents/costs 29 hypercube triangulation • a hypercube [0,1]n can be subdivided into n! simplices with hyperplanes xi = xj comparing each pair of coordinates • each simplex corresponds to a permutation σ(1)... σ(n) of 1...n 30 hyperrectangle triangulation side in dimension i is of length ai subdivided via hyperplanes xi/ai = xj/aj applies to initial subdivisions that can be obtained with hyperplanes of the form xi = ci where ci is a constant 31 arbitrary initial subdivision can be approximated with a piecewise constant function we know consistent partitions for the modified problem triangulations of hyperrectangles 32 contribution • characterized linearity of mechanism design problems – consistent partitions • piecewise linear payments are optimal • interpolate values at the extreme points • approach for finding optimal payments – unified technique for old and new problems • algorithm for finding approximate payments and an upper bound 33 open questions 34 consistent partitions for public good? build a bridge if v1 + ... + vm ≤ c where c is the cost 35 ...open questions • full characterization of allocation functions that have consistent partitions • is a consistent partition necessary for the existence of (piecewise) linear optimal payments • approximations: simple payment functions that are close to optimal 36 37
© Copyright 2024 Paperzz