Price of anarchy in auctions

The Price of Anarchy (PoA) is a concept in game theory and mechanism design that measures how the social welfare of a system degrades due to selfish behavior of its agents. It has been studied extensively in various contexts, particularly in auctions .

In an auction, there are one or more items and one or more agents with different valuations for the items. The items have to be divided among the agents. It is desired that the social welfare - the sum of values of all agents - be as high as possible.

One approach to maximizing the social welfare is designing a truthful mechanism. In such a mechanism, each agent is incentivized to report his true valuations to the items. Then, the auctioneer can calculate and implement an allocation that maximizes the sum of values. An example to such a mechanism is the VCG auction.

In practice, however, it is not always feasible to use truthful mechanisms. The VCG mechanism, for example, might be too complicated for the participants to understand, might take too long for the auctioneer to compute, and might have other disadvantages. ^[1] In practice, non-truthful mechanisms are often used, and it is interesting to calculate how much social welfare is lost by this non-truthfulness.

It is often assumed that, in a non-truthful auction, the participants play an equilibrium strategy, such as a Nash equilibrium. The price-of-anarchy of the auction is defined as the ratio between the optimal social welfare and the social welfare in the worst equilibrium:

${\displaystyle PoA={\frac {\max _{s\in Allocations}Welf(s)}{\min _{s\in EquilibriumAllocations}Welf(s)}}}$

A related notion is the Price of Stability (PoS) which measures the ratio between the optimal social welfare and the social welfare in the best equilibrium:

${\displaystyle PoS={\frac {\max _{s\in Allocations}Welf(s)}{\max _{s\in EquilibriumAllocations}Welf(s)}}}$

Obviously ${\displaystyle 1\leq PoS\leq PoA\leq \infty }$.

When there is complete information (each agent knows the valuations of all other agents), the common equilibrium type is Nash equilibrium - either pure or mixed. When there is incomplete information, the common equilibrium type is Bayes-Nash equilibrium. In the latter case, it is common to speak of the Bayesian price of anarchy, or BPoA.

Single-item auctions

In a first-price auction of a single item, a Nash equilibrium is always efficient, so the PoA and PoS are 1.

In a second-price auction, there is a Nash equilibrium in which the agents report truthfully; it is efficient, so the PoS is 1. However, the PoA is unbounded. For example, ^[2] suppose there are two players: Alice values the item as a and Bob as b, with a>b.

There exists a "good" Nash equilibrium in which Alice bids a and Bob bids b; Alice receives the item and pays b. The social welfare is a, which is optimal.

However, there also exists a "bad" Nash equilibrium in which Alice bids 0 and Bob bids e.g. a+1; Bob receives the item and pays nothing. This is an equilibrium since Alice does not want to overbid Bob. The social welfare is b. Hence, the PoA is a/b, which is unbounded.

This result seems overly pessimistic:

• First, in a second-price auction, it is a weakly-dominant strategy for each agent to report his true valuation. If we assume that agents follow their dominant strategies, then the PoA is 1.
• Moreover, it is a dominated strategy for each agent to report any value above his true valuation.

Therefore, it is common to analyze the PoA under a no overbidding assumption - no agent bids above his true valuation. Under this assumption, the PoA of a single-item auction is 1.

Parallel auctions

In a parallel (simultaneous) auction, ${\displaystyle m}$ items are sold at the same time to the same group of ${\displaystyle n}$ participants. In contrast to a combinatorial auction - in which the agents can bid on bundles of items, here the agents can only bid on individual items independently of the others. I.e, a strategy of an agent is a vector of bids, one bid per item. The PoA depends on the type of valuations of the buyers, and on the type of auction used for each individual item.

Case 1: submodular buyers, second-price auctions, complete information: ^[2]

• There exists a pure Nash equilibrium with optimal social welfare. Hence, the PoS is 1.
• It is possible to calculate in polynomial time a pure Nash equilibrium with social welfare at least half the optimal. Hence, the price of "polynomial-time stability" is at most 2.
• The PoA is unbounded - as already shown by the single-item example above. However, under a strong-no-overbidding assumption (the sum of bids of any buyer to any bundle is at most the value of that bundle to the buyer), the PoA is at most 2. The latter result also holds when the buyers' valuations are fractionally subadditive.

Case 2: fractionally subadditive buyers, 2nd-price auction, incomplete information. ^[2] Assuming strong-no-overbidding, any (mixed) Bayes-Nash equilibrium attains in expectation at least 1/2 the optimal welfare; hence the BPoA is at most 2. This result does not depend on the common prior of the agents.

Case 3: subadditive buyers, 2nd-price auctions. ^[3] Under a strong-no-overbidding assumption:

• With complete information, the welfare of every pure Nash equilibrium is at least 1/2 the optimum, so the PoA is at most 2.
• With incomplete information, there exist Bayes-Nash equilibria with welfare less than 1/2 the optimum, so the BPoA is more than 2.
• The BPoA is at most ${\displaystyle 2\log {m}}$, where ${\displaystyle m}$ is the number of items. This guarantee is also valid to coarse correlated equilibrium - and hence to the special cases of mixed Nash equilibrium and correlated equilibrium.
• Both of the above upper bounds on the PoA degrade gracefully when the subadditivity and no-overbidding assumptions are relaxed. E.g: if we assume that each player overbids by at most some constant factor, then the PoA grows by at most a constant factor.

Case 4: General (monotone) buyers, first-price auctions, complete information: ^[4]

• The set of pure Nash equilibria of the game are exactly the Walrasian equilibria (price equilibria) of the market. ^[5]
• Since such equilibria are socially-optimal (by the first welfare theorem), the PoA of pure Nash equilibria is 1. Unfortunately, such equilibria might not exist.
• A mixed Nash equilibrium always exists (when choosing the right tie-breaking rule). However, it is not necessarily socially-optimal. The PoA might be as high as ${\displaystyle \Omega ({\sqrt {m}})}$, and even the PoS might be as high as ${\displaystyle \Omega ({\sqrt {m}}/\log {m})}$.
  • This result also extends to 2nd-price auctions, even with a weak-no-overbidding assumption. ^[6]
• The PoA is at most ${\displaystyle O(m)}$.
• When all valuations are subadditive, the PoA is at most ${\displaystyle O(\log {m})}$.
• When all valuations are ${\displaystyle \beta }$-fractionally subadditive, the PoA is at most ${\displaystyle 2\beta }$ (in particular, for XOS buyers, the PoA is at most 2).
• The latter three bounds hold also for coarse-correlated equilibria; they do NOT require a "no overbidding" assumption.

Case 5: General buyers, 2nd-price auctions, complete information. ^[7] With general valuations (that may have complementarities), the strong-no-overbidding assumption is too strong, since it prevents buyers from bidding high values on bundles of complementary items. For example, if a buyer's valuation is $100 for a pair of shoes but $1 for each individual shoe, then the strong-no-overbidding assumption prevents him from bidding more than $1 on each shoe, so that he has little chances of winning the pair. Therefore, it is replaced with a weak-no-overbidding assumption, which means that the no-overbidding condition holds only for the bundle that the agent finally wins (i.e, the sum of bids of the buyer to his allocated bundle is at most his value for this specific bundle). Under this weak-no-overbidding assumption:

• The set of pure Nash equilibria of the game are exactly the conditional price-equilibria of the market. ^[8]
• Since such equilibria are half-socially-optimal (attain at least half the maximum social welfare), the PoA of pure Nash equilibria is at most 2. Unfortunately, such equilibria might not exist.

Case 6: General buyers, 1st-price auctions, incomplete information. ^[4] For any common prior:

• The BPoA is at most ${\displaystyle O(mn)}$.
• When all valuations are ${\displaystyle \beta }$-fractionally subadditive, the BPoA is at most ${\displaystyle 4\beta }$ (in particular, for XOS buyers, the BPoA is at most 2, and for subadditive buyers, it is ${\displaystyle O(\log m)}$).

Case 7: Subadditive buyers, incomplete information: ^[6]

• When the items are sold in first-price auctions, the BPoA is at most 2.
• When the items are sold in second-price auctions, the BPoA is at most 4. This is true both under the strong-no-overbidding assumption (the sum of bids of any buyer to any bundle is at most the value of that bundle to the buyer), and under the weak-no-overbidding assumption (the expected sum of the winning bids of any buyer is at most the expected winning value of that buyer).

Sequential auctions

In a sequential auction, ${\displaystyle m}$ items are sold in consecutive auctions, one after the other. The common equilibrium type is subgame perfect equilibrium in pure strategies (SPEPS). When the buyers have full information (i.e., they know the sequence of auctions in advance), and a single item is sold in each round, a SPEPS always exists. ^{[9] : 872–874}

The PoA of this SPEPS depends on the utility functions of the bidders, and on the type of auction used for each individual item.

The first five results below apply to agents with complete information (all agents know the valuations of all other agents):

Case 1: Identical items, two buyers, 2nd-price auctions: ^{[10] [11]}

• When at least one buyer has a concave valuation function (diminishing returns), the PoA is at most ${\displaystyle 1/(1-e)\approx 1.58}$.
• Numerical results show that, when there are many bidders with concave valuation functions, the efficiency loss decreases as the number of users increases.

Case 2: additive buyers: ^{[9] : 885}

• With second-price auctions, the PoA is unbounded – the welfare in a SPEPS might be arbitrarily small!

Case 3: unit demand buyers: ^[9]

• With first-price auctions, the PoA is at most 2 – the welfare in a SPEPS is always at least half the maximum (if mixed strategies are allowed, the PoA is at most 4).
• With second-price auctions, the PoA is again unbounded.

These results are surprising and they emphasize the importance of the design decision of using a first-price auction (rather than a second-price auction) in each round.

Case 4: submodular buyers ^[9] (note that additive and unit-demand are special cases of submodular):

• With both 1st-price and 2nd-price auctions, the PoA is unbounded, even when there are only four bidders. The intuition is that the high-value bidder might prefer to let a low-value bidder win, in order to decrease the competition that he might face in the future rounds.

Case 5: additive+UD. ^[12] Suppose some bidders have additive valuations while others have unit-demand valuations. In a sequence of 1st-price auctions, the PoA might be at least ${\displaystyle \min(n,m)}$, where m is the number of items and n is the number of bidders. Moreover, the inefficient equilibria persist even under iterated elimination of weakly dominated strategies. This implies linear inefficiency for many natural settings, including:

• buyers with gross substitute valuations,
• capacitated valuations,
• budget-additive valuations,
• additive valuations with hard budget constraints on the payments.

Case 6: unit-demand buyers, incomplete information, 1st-price auctions: ^[13] The BPoA is at most 3.

Auctions employing greedy algorithms

See ^[14]

Generalized second-price auctions

See ^{[15] [16] [17]}

Related topics

Studies on PoA in auctions have provided insights into other settings that are not related to auctions, such as network formation games ^[18]

Summary table

[Partial table - contains only parallel auctions - should be completed]

Multi-auction	Single auction	Information	Valuations	Assumptions	PoA	Pos	Comments
Parallel	2nd-price	complete	submodular	strong-no-overbidding	2	pure: 1 [always exists]	[2]
Parallel	2nd-price	Bayesian	XOS	strong-no-overbidding	2		[2]
Parallel	2nd-price	complete	subadditive	strong-no-overbidding	2		[3]
Parallel	2nd-price	Bayesian	subadditive	strong-no-overbidding	> 2, < 2 log(m)		[3]
Parallel	1st-price	complete	monotone	None	pure: 1 [when exists]		Pure NE = WE. [4]
Parallel	1st-price	complete	monotone	None	mixed: ${\displaystyle \Omega ({\sqrt {m}})}$	${\displaystyle \Omega ({\sqrt {m}}/\log {m})}$	[4]
Parallel	1st-price	Bayesian	monotone	None	${\displaystyle O(mn)}$	${\displaystyle \Omega ({\sqrt {m}}/\log {m})}$	[4]
Parallel	2nd-price	complete	monotone	weak-no-overbidding	pure: 2 [when exists]		Pure NE = Conditional WE [7]
Parallel	1st-price	Bayesian	subadditive	None	2	${\displaystyle \Omega ({\sqrt {m}}/\log {m})}$	[6]
Parallel	2nd-price	Bayesian	subadditive	weak/strong-no-overbidding	4		[6]

References

1. Ausubel, Lawrence M.; Milgrom, Paul (2005). "The Lovely but Lonely Vickrey Auction". Combinatorial Auctions. p. 17. CiteSeerX   10.1.1.120.7158 . doi:10.7551/mitpress/9780262033428.003.0002. ISBN   9780262033428.
2. Christodoulou, George; Kovács, Annamária; Schapira, Michael (2016). "Bayesian Combinatorial Auctions". Journal of the ACM. 63 (2): 1. CiteSeerX   10.1.1.721.5346 . doi:10.1145/2835172. S2CID   17082117.
3. Bhawalkar, Kshipra; Roughgarden, Tim (2011). "Welfare Guarantees for Combinatorial Auctions with Item Bidding". Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms. p. 700. doi: 10.1137/1.9781611973082.55 . ISBN   978-0-89871-993-2.
4. Hassidim, Avinatan; Kaplan, Haim; Mansour, Yishay; Nisan, Noam (2011). "Non-price equilibria in markets of discrete goods". Proceedings of the 12th ACM conference on Electronic commerce - EC '11. p. 295. arXiv: 1103.3950 . doi:10.1145/1993574.1993619. ISBN   9781450302616.
5. A similar result for the case of complete information has already been presented by Bikhchandani, Sushil (1999). "Auctions of Heterogeneous Objects". Games and Economic Behavior. 26 (2): 193–220. doi:10.1006/game.1998.0659.: "In simultaneous first-price auctions, the set of Walrasian equilibrium allocations contains the set of pure strategy Nash equilibrium allocations which in turn contains the set of strict Walrasian equilibrium allocations. Hence, pure strategy Nash equilibria (when they exist) are efficient. Mixed strategy Nash equilibria may be inefficient. In simultaneous second-price auctions, any efficient allocation can be implemented as a pure strategy Nash equilibrium outcome if a Walrasian equilibrium exists."
6. Feldman, Michal; Fu, Hu; Gravin, Nick; Lucier, Brendan (2013). "Simultaneous auctions are (almost) efficient". Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13. p. 201. arXiv: 1209.4703 . doi:10.1145/2488608.2488634. ISBN   9781450320290.
7. Fu, Hu; Kleinberg, Robert; Lavi, Ron (2012). "Conditional equilibrium outcomes via ascending price processes with applications to combinatorial auctions with item bidding". Proceedings of the 13th ACM Conference on Electronic Commerce - EC '12. p. 586. CiteSeerX   10.1.1.230.6195 . doi:10.1145/2229012.2229055. ISBN   9781450314152.
8. A conditional price-equilibrium is a relaxation of a Walrasian price-equilibrium: in the latter, each agent must get an optimal bundle given the price-vector; in the former, each agent must get a bundle that is weakly-better than the empty bundle, and weakly-better than any containing bundle (but can be worse than its subsets). The latter is guaranteed to exist mainly for gross-substitute valuations, while the former is guaranteed to exists for a much larger class of valuations.
9. Leme, Renato Paes; Syrgkanis, Vasilis; Tardos, Eva (2012). "Sequential Auctions and Externalities". Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms. p. 869. arXiv: 1108.2452 . doi:10.1137/1.9781611973099.70. ISBN   978-1-61197-210-8.
10. Bae, Junjik; Beigman, Eyal; Berry, Randall; Honig, Michael; Vohra, Rakesh (2008). "Sequential Bandwidth and Power Auctions for Distributed Spectrum Sharing". IEEE Journal on Selected Areas in Communications. 26 (7): 1193. CiteSeerX   10.1.1.616.8533 . doi:10.1109/JSAC.2008.080916. S2CID   28436853.
11. Bae, Junjik; Beigman, Eyal; Berry, Randall; Honig, Michael L.; Vohra, Rakesh (2009). "On the efficiency of sequential auctions for spectrum sharing". 2009 International Conference on Game Theory for Networks. p. 199. doi:10.1109/gamenets.2009.5137402. ISBN   978-1-4244-4176-1.
12. Feldman, Michal; Lucier, Brendan; Syrgkanis, Vasilis (2013). "Limits of Efficiency in Sequential Auctions". Web and Internet Economics. Lecture Notes in Computer Science. Vol. 8289. p. 160. arXiv: 1309.2529 . doi:10.1007/978-3-642-45046-4_14. ISBN   978-3-642-45045-7.
13. Syrgkanis, Vasilis; Tardos, Eva (2012). "Bayesian sequential auctions". Proceedings of the 13th ACM Conference on Electronic Commerce – EC '12. p. 929. arXiv: 1206.4771 . doi:10.1145/2229012.2229082. ISBN   9781450314152.
14. B. Lucier; A. Borodin (2010). Price of anarchy for greedy auctions. SODA 2010.
15. Leme, Renato Paes; Tardos, Eva (2010). "Pure and Bayes-Nash Price of Anarchy for Generalized Second Price Auction". 2010 IEEE 51st Annual Symposium on Foundations of Computer Science. p. 735. CiteSeerX   10.1.1.168.6636 . doi:10.1109/FOCS.2010.75. ISBN   978-1-4244-8525-3.
16. Lucier, Brendan; Paes Leme, Renato (2011). "GSP auctions with correlated types". Proceedings of the 12th ACM conference on Electronic commerce - EC '11. p. 71. CiteSeerX   10.1.1.232.5139 . doi:10.1145/1993574.1993587. ISBN   9781450302616.
17. Caragiannis, Ioannis; Kaklamanis, Christos; Kanellopoulos, Panagiotis; Kyropoulou, Maria (2011). "On the efficiency of equilibria in generalized second price auctions". Proceedings of the 12th ACM conference on Electronic commerce - EC '11. p. 81. doi:10.1145/1993574.1993588. ISBN   9781450302616.
18. Alon, Noga; Emek, Yuval; Feldman, Michal; Tennenholtz, Moshe (2012). "Bayesian ignorance". Theoretical Computer Science. 452: 1–11. doi: 10.1016/j.tcs.2012.05.017 .