Conditional Equilibrium Outcomes via Ascending Price Processes Joint work with Hu Fu and Robert Kleinberg (Computer Science, Cornell University) Ron Lavi.

Slides:



Advertisements
Similar presentations
Combinatorial Auction
Advertisements

Truthful Mechanisms for Combinatorial Auctions with Subadditive Bidders Speaker: Shahar Dobzinski Based on joint works with Noam Nisan & Michael Schapira.
Combinatorial Auctions with Complement-Free Bidders – An Overview Speaker: Michael Schapira Based on joint works with Shahar Dobzinski & Noam Nisan.
6.896: Topics in Algorithmic Game Theory Lecture 21 Yang Cai.
1 Robust Price of Anarchy Bounds via Smoothness Arguments Tim Roughgarden Stanford University.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 16.
Algorithmic mechanism design Vincent Conitzer
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Online Mechanism Design (Randomized Rounding on the Fly)
CPSC 455/555 Combinatorial Auctions, Continued… Shaili Jain September 29, 2011.
Approximating optimal combinatorial auctions for complements using restricted welfare maximization Pingzhong Tang and Tuomas Sandholm Computer Science.
Simple and Near-Optimal Auctions Tim Roughgarden (Stanford)
The Communication Complexity of Approximate Set Packing and Covering
Price Of Anarchy: Routing
Truthful Mechanism Design for Multi-Dimensional Scheduling via Cycle Monotonicity Ron Lavi IE&M, The Technion Chaitanya Swamy U. of Waterloo and.
Prompt Mechanisms for Online Auctions Speaker: Shahar Dobzinski Joint work with Richard Cole and Lisa Fleischer.
An Approximate Truthful Mechanism for Combinatorial Auctions An Internet Mathematics paper by Aaron Archer, Christos Papadimitriou, Kunal Talwar and Éva.
OR of XORs of Singletons. Approximation Algorithms for CAs with Complement-Free Bidders ClassUpper BoundLower Bound Generalmin {n, O(m 1/2 )} min {n, O(m.
Practical Public Sector Combinatorial Auctions S. RaghavanUniversity of Maryland (joint work with Robert Day, University of Connecticut) Full paper “Fair.
Multi-item auctions with identical items limited supply: M items (M smaller than number of bidders, n). Three possible bidder types: –Unit-demand bidders.
How Bad is Selfish Routing? By Tim Roughgarden Eva Tardos Presented by Alex Kogan.
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
EC941 - Game Theory Prof. Francesco Squintani Lecture 8 1.
Bundling Equilibrium in Combinatorial Auctions Written by: Presented by: Ron Holzman Rica Gonen Noa Kfir-Dahav Dov Monderer Moshe Tennenholtz.
Competition Among Asymmetric Sellers with Fixed Supply Uriel Feige ( Weizmann Institute of Science ) Ron Lavi ( Technion and Yahoo! Labs ) Moshe Tennenholtz.
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.
Lecture 1 - Introduction 1.  Introduction to Game Theory  Basic Game Theory Examples  Strategic Games  More Game Theory Examples  Equilibrium  Mixed.
Welfare Maximization in Congestion Games Liad Blumrosen and Shahar Dobzinski The Hebrew University.
Item Pricing for Revenue Maximization in Combinatorial Auctions Maria-Florina Balcan, Carnegie Mellon University Joint with Avrim Blum and Yishay Mansour.
Limitations of VCG-Based Mechanisms Shahar Dobzinski Joint work with Noam Nisan.
An Improved Approximation Algorithm for Combinatorial Auctions with Submodular Bidders.
Truthful Randomized Mechanisms for Combinatorial Auctions Speaker: Michael Schapira Joint work with Shahar Dobzinski and Noam Nisan Hebrew University.
An Improved Approximation Algorithm for Combinatorial Auctions with Submodular Bidders Speaker: Shahar Dobzinski Joint work with Michael Schapira.
Truthful Randomized Mechanisms for Combinatorial Auctions Speaker: Shahar Dobzinski Joint work with Noam Nisan and Michael Schapira.
Combinatorial Auction. Conbinatorial auction t 1 =20 t 2 =15 t 3 =6 f(t): the set X  F with the highest total value the mechanism decides the set of.
Bayesian Combinatorial Auctions Giorgos Christodoulou, Annamaria Kovacs, Michael Schapira האוניברסיטה העברית בירושלים The Hebrew University of Jerusalem.
Mechanism Design: Online Auction or Packet Scheduling Online auction of a reusable good (packet slots) Agents types: (arrival, departure, value) –Agents.
Computation and Incentives in Combinatorial Public Projects Michael Schapira Yale University and UC Berkeley Joint work with Dave Buchfuhrer and Yaron.
Approximation Algorithms for Combinatorial Auctions with Complement-Free Bidders Speaker: Michael Schapira Joint work with Shahar Dobzinski & Noam Nisan.
Competitive Analysis of Incentive Compatible On-Line Auctions Ron Lavi and Noam Nisan SISL/IST, Cal-Tech Hebrew University.
Network Formation Games. Netwok Formation Games NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models:
Noam Nisan Non-price Equilibria in Markets of Discrete goods Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Noam Nisan.
Uniform Price Auctions: Equilibria and Efficiency Vangelis Markakis Athens University of Economics & Business (AUEB) 1 Orestis Telelis University of Liverpool.
A Truthful Mechanism for Offline Ad Slot Scheduling Jon Feldman S. Muthukrishnan Eddie Nikolova Martin P á l.
Multi-Unit Auctions with Budget Limits Shahar Dobzinski, Ron Lavi, and Noam Nisan.
Auction Seminar Optimal Mechanism Presentation by: Alon Resler Supervised by: Amos Fiat.
Online Ascending Auctions for Gradually Expiring Items Ron Lavi and Noam Nisan SISL/IST, Caltech Hebrew University.
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.
Online Mechanism Design (Randomized Rounding on the Fly) Piotr Krysta, University of Liverpool, UK Berthold Vöcking, RWTH Aachen University, Germany.
Submodular Functions Learnability, Structure & Optimization Nick Harvey, UBC CS Maria-Florina Balcan, Georgia Tech.
Topic 2: Designing the “optimal auction” Reminder of previous classes: Discussed 1st price and 2nd price auctions. Found equilibrium strategies. Saw that.
Slide 1 of 16 Noam Nisan The Power and Limitations of Item Price Combinatorial Auctions Noam Nisan Hebrew University, Jerusalem.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Vasilis Syrgkanis Cornell University
Combinatorial Auction. A single item auction t 1 =10 t 2 =12 t 3 =7 r 1 =11 r 2 =10 Social-choice function: the winner should be the guy having in mind.
Approximation Algorithms for Combinatorial Auctions with Complement-Free Bidders Speaker: Shahar Dobzinski Joint work with Noam Nisan & Michael Schapira.
Negotiating Socially Optimal Allocations of Resources U. Endriss, N. Maudet, F. Sadri, and F. Toni Presented by: Marcus Shea.
Position Auctions with Budgets: Existence and Uniqueness Ron Lavi Industrial Engineering and Management Technion – Israel Institute of Technology Joint.
Network Formation Games. NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models: Global Connection Game.
Comp/Math 553: Algorithmic Game Theory Lecture 10
Approximation algorithms for combinatorial allocation problems
False-name Bids “The effect of false-name bids in combinatorial
Combinatorial Public Projects
Comp/Math 553: Algorithmic Game Theory Lecture 08
Ron Lavi Industrial Engineering and Management
An Optimal Lower Bound for Anonymous Scheduling Mechanisms
Chapter 5. Optimal Matchings
Comp/Math 553: Algorithmic Game Theory Lecture 15
Information, Incentives, and Mechanism Design
Presentation transcript:

Conditional Equilibrium Outcomes via Ascending Price Processes Joint work with Hu Fu and Robert Kleinberg (Computer Science, Cornell University) Ron Lavi Industrial Engineering and Management Technion – Israel Institute of Technology

Combinatorial Auctions with Item Bidding A set of m indivisible items are sold by separate simultaneous single-item auctions: auction for a cell-phone auction for a tablet auction for a laptop

Combinatorial Auctions with Item Bidding A set of m indivisible items are sold by separate simultaneous single-item auctions: Bidders value subsets of items (captured by a valuation function v i : 2 >0 ) auction for a cell-phone auction for a tablet auction for a laptop a bidder bid

Equilibrium of the resulting game Bikhchandani 99; Hassidim, Kaplan, Nisan, Mansour 11: model as a complete information game, and show: THM: With first-price auctions, pure Nash eq. exists if and only if Walrasian eq. exists

Reminder: Walrasian Equilibrium (WE) An allocation S = (S 1, …,S n ) is a partition of the items to the players (the sets S i are disjoint, their union is ). The demand of player i under item prices p= (p 1, …,p m ) is: D i (p) = argmax S v i (S) – p(S) ( where p(S) = x S p x ) Walrasian equilibrium (WE): allocation S=(S 1, …,S n ) and prices p= (p 1, …,p m ) such that S i D i (p) Conceptually, demonstrates the invisible hand principle

Three Nice Properties of WE The first welfare theorem: the welfare in any WE is optimal (the welfare of an allocation is i v i (S i ) ) The result of a natural ascending auction: –start from zero prices –raise prices of over-demanded items (given players demands) –… until no item is over-demanded THM (Gul & Stacchetti 00, Ausubel 06): This process terminates in a Walrasian equilibrium if valuations are gross-substitutes The second welfare theorem: the allocation with maximal welfare is supported by a WE.

A Problem: very limited existence Kelso & Crawford 82: WE always exists for gross-substitutes Gul & Stacchetti 99: gross-substitutes is the maximal such class if we want to include unit-demand valuations Lehman, Lehman & Nisan 06: gross-substitutes has zero measure amongst all marginally decreasing valuations. all valuations no complements marginally decreasing gross- substitutes

Equilibrium of the resulting game Bikhchandani 99; Hassidim, Kaplan, Nisan, Mansour 11: model as a complete information game, and show: THM: With first-price auctions, pure Nash eq. exists if and only if Walrasian eq. exists nice if exists but very limited existence

Equilibrium of the resulting game Bikhchandani 99; Hassidim, Kaplan, Nisan, Mansour 11: model as a complete information game, and show: THM: With first-price auctions, pure Nash eq. exists if and only if Walrasian eq. exists nice if exists but very limited existence THM [Christodoulou, Kovacs, Schapira 08]: With second-price auctions, pure Nash eq. exists for all fractionally-subadditive valuations Which notion replaces WE when 1 st -price is replaced by 2 nd -price? What are its properties? (particularly, welfare guarantees?) What is a maximal existence class?

A closer look at the problematic aspect of WE Alternative formulation of the ascending auction [DGS 86] –start: zero prices, empty tentative allocation –pick a player with empty tentative allocation –this player takes her demand; raises price of a taken item by –… until all tentative allocations equal current demands

A closer look at the problematic aspect of WE Alternative formulation of the ascending auction [DGS 86] –start: zero prices, empty tentative allocation –pick a player with empty tentative allocation –this player takes her demand; raises price of a taken item by –… until all tentative allocations equal current demands Gross-substitutes: demanded items whose price does not increase continue to be demanded. Implies termination in WE: –Since all items are always allocated

A closer look at the problematic aspect of WE Alternative formulation of the ascending auction [DGS 86] –start: zero prices, empty tentative allocation –pick a player with empty tentative allocation –this player takes her demand; raises price of a taken item by –… until all tentative allocations equal current demands Gross-substitutes: demanded items whose price does not increase continue to be demanded. Implies termination in WE: –Since all items are always allocated Without gross-substitutes, items whose price did not increase may be dropped (even with decreasing marginal valuations) –Thus the end outcome need not be a WE, in fact a WE need not exist …

A natural modification to the auction Modification: a player cannot drop items currently assigned to her The conditional demand of player i, given the currently assigned set of items S i, under item prices p= (p 1, …,p m ) is: CD i (p, S i ) = argmax T \ Si v i (T|S i ) – p(T) A modified auction: –start: zero prices, empty tentative allocation –pick a player with non-empty conditional demand, (this player:) –takes her conditional demand; raises price of a taken item by –… until all conditional demands are empty With gross-substitutes: the same auction as before, ends in WE. Without gross-substitutes ???

Conditional Equilibrium (CE) Proposition: With marginally decreasing valuations the auction always ends in a CE : Conditional Equilibrium (CE): allocation S=(S 1, …,S n ) and prices p= (p 1, …,p m ) such that (1) v i (S i ) > p(S i ), (2) CD i (p, S i ) Conceptually, CE = invisible hand with some regulation –If player i has to take at least her offered set S i, or nothing, at given prices, she will take S i and will not want to expand it. Formally, a relaxation of WE (WE CE)

Conditional Equilibrium (CE) Proposition: With marginally decreasing valuations the auction always ends in a CE : Conditional Equilibrium (CE): allocation S=(S 1, …,S n ) and prices p= (p 1, …,p m ) such that (1) v i (S i ) > p(S i ), (2) CD i (p, S i ) THM: With second-price auctions, pure Nash eq. with weak no- overbidding exists if and only if CE exists

Conditional Equilibrium (CE) Proposition: With marginally decreasing valuations the auction always ends in a CE : Conditional Equilibrium (CE): allocation S=(S 1, …,S n ) and prices p= (p 1, …,p m ) such that (1) v i (S i ) > p(S i ), (2) CD i (p, S i ) THM: With second-price auctions, pure Nash eq. with weak no- overbidding exists if and only if CE exists Which of the nice properties of WE continues to hold for a CE?

Welfare Theorems for CE First welfare theorem (relaxed version): the welfare in any CE is at least half of the optimal welfare Corollary: Price of Anarchy of the 2 nd -price auction game is 2 –extends and simplifies a result of Bhawalkar and Roughgarden 11 for subadditive valuations Second welfare theorem: the allocation with maximal welfare is supported by a CE –holds for fractionally subadditive valuations

Questions Can a CE exist when valuations exhibit a mixture of substitutes and complements? If so, what is the largest class of valuations that always admit a CE? Does the existence of a CE imply that the welfare-maximizing allocation is supported by a CE? In other words, does the second welfare theorem hold whenever a CE exists?

Maximal existence classes A valuation class V CE satisfies the MaxCE requirements if: All unit-demand valuations belong to V CE –(following Gul & Stacchetti 99) n > 1, any (v 1, …,v n ) (V CE ) n admits a CE (maximality) u V CE, v 1, …,v k V CE such that (v 1, …,v k ) does not admit a CE Main Question: Describe a valuation class satisfying the MaxCE requirements. Is there a unique such class? (We know that one such class contains all fractionally subadditive valuations) Gul & Stacchetti 99: gross-substitutes is the unique class that satisfies these conditions when considering WE instead of CE

Main Technical Results: Upper and Lower Bound Upper Bound: Any valuation class V CE that satisfies the MaxCE requirements is contained in. Lower Bound: There exists a valuation class V CE that satisfies the MaxCE requirements and contains V CE. Properties of V CE : –Contains all fractionally subadditive valuations. –Contains non-subadditive valuations Conjecture (with some supporting evidence in the paper): The unique set that satisfies the MaxCE requirements is. We leave this as open problem.

Fractionally subadditive valuations (defined by Nisan 00 as XOS, the following def. is by Feige 06) Weights { T } T S, T are a fractional cover of S if: x S, T s.t. x T T = 1 ( these weights are balanced as in Bondareva-Shapley ) Fractional subadditivity: S, fractional cover { T } of S, v i (S) < T S, T T v i (T) ( the cooperative (cost) game (, v i ) is totally balanced ) Lehman et al. 06: marginally decreasing fractionally subadditive subadditive

Supporting prices {p x } x S are supporting prices for v i (S) if (1) v i (S) = x S p x (2) T S, v i (T) > x T p x ( {p x } is in the core of the cooperative cost game (S, v i ) ) THM (Bondareva-Shapley): v i is fractionally subadditive if and only if, S, v i (S) has supporting prices. (independently formulated by Dobzinski, Nisan, Schapira 05)

The Flexible-Ascent auction supporting prices for v i (S): (1) v i (S) = p(S) ; (2) T S, v i (T) > p(T) The Flexible-Ascent auction (Cristodoulou, Kovacs, Schapira 08): –start: zero prices, empty tentative allocations –pick a player with non-empty conditional demand, (this player:) –takes conditional demand; raises sum of prices of her items –… until all conditional demands are empty Proposition: For fractionally subadditive valuations, this auction terminates in a CE if prices are always set to be supporting prices Proof: IR exists in every iteration by definition of supporting prices. Empty conditional demand at the end by definition of auction.

The Flexible-Ascent auction supporting prices for v i (S): (1) v i (S) = p(S) ; (2) T S, v i (T) > p(T) The Flexible-Ascent auction (Cristodoulou, Kovacs, Schapira 08): –start: zero prices, empty tentative allocations –pick a player with non-empty conditional demand, (this player:) –takes conditional demand; raises sum of prices of her items –… until all conditional demands are empty Proposition: For fractionally subadditive valuations, this auction terminates in a CE if prices are always set to be supporting prices Corollary: There always exists a CE for fractionally subadditive valuations. This is essentially the proof of [Christodoulou, Kovacs, Schapira 08]

Can we continue to expand?

Upper bound DFN (A valuation class ): A valuation if: Properties: Contains all fractionally subadditive valuations (weights are a fractional cover) Does not contain all subadditive valuations, but contains non- subadditive valuations, for example: abcbcacabcba v

Upper bound DFN (A valuation class ): A valuation if: Properties: Contains all fractionally subadditive valuations (weights are a fractional cover) Does not contain all subadditive valuations, but contains non- subadditive valuations Theorem: Fix any valuation class V CE that satisfies the MaxCE requirements. Then. In particular, there exist unit-demand valuations v 1, …,v k such that (u, v 1, …,v k ) does not admit a CE.

Lower bound DFN (A valuation class V CE ): A valuation v V CE if and for and S (S ), v(S) is fractionally subadditive. Properties: Contains all fractionally subadditive valuations. Contains non-subadditive valuations Contained in Theorem: There exists a valuation class V CE that satisfies the MaxCE requirements and contains V CE.

What is the complete answer? Conjecture: The unique set that satisfies the MaxCE requirements is We leave this problem open. Additional evidence from the paper: When | | < 3 hence the conjecture is true for this case. If and v 2, …,v n are marginally decreasing then (v 1, …,v n ) admits a CE. For two players and four items, V CE is provably not the correct lower bound: we show one specific valuation that must be added.

Summary With indivisible items, Walrasian eq. has very limited existence. Study a relaxed notion: Conditional Equilibrium (CE). For marginally decreasing valuations a CE exhibits: –An approximate version of the first welfare theorem (in fact this holds for any CE regardless of the valuation class). –A CE can be reached by a natural ascending auction. –The second welfare theorem holds as well. –In fact all this is true for fractionally subadditive valuations We study the complete characterization question: –Show upper and lower bounds on a maximal existence class –Implies: CE exists with a mixture of substitutes and complements –We leave the complete characterization as an open problem