On the Efficiency of the Walrasian Mechanism
Brendan Lucier (Microsoft Research) Moshe Babaioff (Microsoft Research) Renato Paes Leme (Google Research) Noam Nisan (Microsoft Research and Hebrew University)
On the E ffi ciency of the Walrasian Mechanism Moshe Babaio ff - - PowerPoint PPT Presentation
On the E ffi ciency of the Walrasian Mechanism Moshe Babaio ff Brendan Lucier (Microsoft Research) (Microsoft Research) Noam Nisan Renato Paes Leme (Microsoft Research (Google Research) and Hebrew University) First Welfare Theorem If
Brendan Lucier (Microsoft Research) Moshe Babaioff (Microsoft Research) Renato Paes Leme (Google Research) Noam Nisan (Microsoft Research and Hebrew University)
market such that no good is under- or over-demanded, then those prices implement an efficient allocation.
(gross substitutability), such prices always exist.
very natural distributed greedy algorithms.
favorite bundle:
that clear the market.
Si ∈ D(vi; p) p ∈ RM
+
p ∈ RM
+
vi : 2M → R+ N = {1...n} M = {1...m}
D(vi; p) = argmaxS[vi(S) − P
j∈S pj]
P
i vi(Si)
a Walrasian equilibrium always exists and can be found via tatonnement (trial-and-error).
p ∈ RM
+
Si ∈ D(vi; p) j ∈ N j pj ← pj · (1 − ✏) j pj ← pj · (1 + ✏)
a Walrasian equilibrium always exists and can be found via tatonnement (trial-and-error).
p ∈ RM
+
Si ∈ D(vi; p) j ∈ N j pj ← pj · (1 − ✏) j pj ← pj · (1 + ✏) truthfully reporting preferences
a Walrasian equilibrium always exists and can be found via tatonnement (trial-and-error).
p ∈ RM
+
Si ∈ D(vi; p) j ∈ N j pj ← pj · (1 − ✏) j pj ← pj · (1 + ✏) truthfully reporting preferences
Price taking behavior Bargaining / Haggling
Price taking behavior Bargaining / Haggling Strategic demand
strategy-proof and proposes a game-theoretic framework to analyze its equilibrium properties.
[Sattherwaite, Williams, Econometrica’02]: observe that many markets use variations of market clearing, such as stock exchange opening price or call market for copper and gold and observe: “Such behavior, which is the essence of bargaining, may lead to an impasse that delays or lesses the gains of trade”
Postlewaite], [Azevedo, Budish]: for large markets and suitable regularity conditions, the Walrasian mechanism is approximately strategyproof.
without any large market or regularity assumptions.
Kovacs and Shapira] and follow up work…
[de Keijze, Markakis, Shafer, Telelis], [Adsul, Babu, Garg, Mehta, Sohoni], [Chen, Deng, Zhang, Zhang], [Zhang], …
equilibrium of the reported market.
vi : 2M → R+ bi : 2M → R+ p ∈ RM
+ , {Si}i
ui = vi(Si) − P
j∈Si pj
W = P
i vi(Si)
equilibrium of the reported market.
vi : 2M → R+ bi : 2M → R+ p ∈ RM
+ , {Si}i
ui = vi(Si) − P
j∈Si pj
W = P
i vi(Si)
1.1 1.1 1.1 2 2 4
1.1 1.1 1.1 2 2 4 prices 1.1 1.1 u = 1.8
1.1 1.1 1.1 2 2 4 2 0 2
1.1 1.1 1.1 2 2 4 2 0 2 prices 0 0 2 u = 1.8
Main Theorem: If agent values and bids are Gross substitutes and agents employ -exposure strategies, then for all Nash equilibria of (any flavor of) the Walrasian mechanism: Assumption: - exposure:
γ
Payment(bi, b−i) ≤ (1 + γ)vi(Si), ∀b−i
γ
P
i vi(Si) ≥ 1 4+2γ
P
i vi(S∗ i )
Main Theorem: If agent values and bids are Gross substitutes and agents employ -exposure strategies, then for all Nash equilibria of (any flavor of) the Walrasian mechanism any declared welfare maximizer mechanism:
γ
Payment(bi, b−i) ≤ (1 + γ)vi(Si), ∀b−i
γ
P
i vi(Si) ≥ 1 4+2γ
P
i vi(S∗ i )
Main Theorem: If agent values and bids are Gross substitutes and agents employ -exposure strategies, then for all Nash equilibria of (any flavor of) the Walrasian mechanism any declared welfare maximizer mechanism:
an allocation maximizing and charges payments no larger then the declared value of that set. Assumption: - exposure:
γ
Payment(bi, b−i) ≤ (1 + γ)vi(Si), ∀b−i
γ
{Si} P
i bi(Si)
P
i vi(Si) ≥ 1 4+2γ
P
i vi(S∗ i )
Main Theorem: If agent values and bids are Gross substitutes and agents employ -exposure strategies, then for all Nash equilibria of (any flavor of) the Walrasian mechanism any declared welfare maximizer mechanism:
an allocation maximizing and charges payments no larger then the declared value of that set.
Assumption: - exposure:
γ
Payment(bi, b−i) ≤ (1 + γ)vi(Si), ∀b−i
γ
{Si} P
i bi(Si)
P
i vi(Si) ≥ 1 4+2γ
P
i vi(S∗ i )
Main Theorem: If agent values and bids are Gross substitutes and agents employ -exposure strategies, then for all Nash equilibria of (any flavor of) the Walrasian mechanism any declared welfare maximizer mechanism:
an allocation maximizing and charges payments no larger then the declared value of that set.
Assumption: - exposure:
γ
Payment(bi, b−i) ≤ (1 + γ)vi(Si), ∀b−i
γ
{Si} P
i bi(Si)
P
i vi(Si) ≥ 1 4+2γ
P
i vi(S∗ i )
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers GS GS
4 + 2γ B V PoA M
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers GS GS declared welfare maximizers maximizers XOS XOS
4 + 2γ 6 + 4γ B V PoA M
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers GS GS declared welfare maximizers maximizers XOS XOS
4 + 2γ 6 + 4γ B V PoA M So far, we considered . However, a simpler bidding language can be useful for various reasons:
B = V
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers XOS declared welfare maximizers maximizers XOS
4 + 2γ 6 + 4γ B V PoA M
Add ⊆ B ⊆ Gs
Add ⊆ B ⊆ Xos
e.g. item bidding auctions [CKS], [BR], [FFGL]. We can allow for more expressive, yet still computationally efficient mechanisms, i.e., run the Walrasian mechanism with GS bids, even if valuations are XOS.
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers XOS declared welfare maximizers maximizers XOS VCG XOS VCG XOS
4 + 2γ 6 + 4γ B V PoA M
Add ⊆ B ⊆ Gs
Add ⊆ B ⊆ Xos
valuation compression in VCG [Dutting, Henzinger, Starnberger]
Add ⊆ B ⊆ Gs
Add ⊆ B ⊆ Xos
2 + γ 3 + 2γ
General Theorem: If agent values are in , bids are in , and agents employ -exposure strategies, then the Price of Anarchy
γ
V B M PoA
declared welfare maximizers maximizers XOS declared welfare maximizers maximizers XOS VCG XOS VCG XOS Pay-Your-Bid GS GS 2 Pay-Your-Bid XOS XOS 3
4 + 2γ 6 + 4γ B V PoA M
Add ⊆ B ⊆ Gs
Add ⊆ B ⊆ Xos
Add ⊆ B ⊆ Gs
Add ⊆ B ⊆ Xos
2 + γ 3 + 2γ
without large market assumptions
Walrasian mechanism, item bidding auctions, VCG with restricted bidding language, pay-your-bid auctions, …
maximizers, i.e., [Lehmann, Lehmann, Nisan], [Fu, Kleinberg, Lavi]
buyers/sellers, budgets, …
Walrasian mechanism ? Right now, lower bound = 2 and upper bound = 4.