On Robustness to $k$-wise Independence of Optimal Bayesian Mechanisms

Nick Gravin,Zhiqi Wang

2024-09-13

Abstract:This paper reexamines the classic problem of revenue maximization in single-item auctions with $n$ buyers under the lens of the robust optimization framework. The celebrated Myerson's mechanism is the format that maximizes the seller's revenue under the prior distribution, which is mutually independent across all $n$ buyers. As argued in a recent line of work (Caragiannis et al. 22), (Dughmi et al. 24), mutual independence is a strong assumption that is extremely hard to verify statistically, thus it is important to relax the assumption. While optimal under mutual independent prior, we find that Myerson's mechanism may lose almost all of its revenue when the independence assumption is relaxed to pairwise independence, i.e., Myerson's mechanism is not pairwise-robust. The mechanism regains robustness when the prior is assumed to be 3-wise independent. In contrast, we show that second-price auctions with anonymous reserve, including optimal auctions under i.i.d. priors, lose at most a constant fraction of their revenues on any regular pairwise independent prior. Our findings draw a comprehensive picture of robustness to $k$-wise independence in single-item auction settings.

Computer Science and Game Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the robustness of the optimal Bayesian mechanism (such as the Myerson mechanism) in single - item auctions when the mutual independence assumption is relaxed. Specifically:

1. **Problem Background**:
- In single - item auctions, the classic problem is how to maximize the seller's revenue under a given prior distribution.
- The Myerson mechanism is the optimal mechanism for maximizing the seller's revenue when the values of all buyers are mutually independent.

2. **Limitations of Existing Assumptions**:
- The mutual independence assumption is a very strong assumption and is statistically difficult to verify.
- Therefore, researchers hope to relax this assumption to improve the robustness and reliability in practical applications.

3. **Specific Problems**:
- The paper explores how the Myerson mechanism performs when the assumption is relaxed from mutual independence to pairwise independence or even higher - order k - independence.
- Specifically, the paper focuses on the following questions:
- How does the Myerson mechanism perform under the pairwise independence assumption?
- Are there other mechanisms that perform better under the pairwise independence assumption?
- What is the degree of robustness of the optimal mechanism to different orders of independence?

4. **Research Motivation**:
- Data in reality often cannot fully satisfy the mutual independence assumption. Therefore, it is of great significance to study the performance of mechanisms under weaker independence assumptions (such as pairwise independence).
- By studying the performance of these mechanisms under different independence assumptions, more robust solutions can be provided for practical applications.

### Main Findings

The main findings of the paper include:

1. **The Myerson mechanism is not robust under the pairwise independence assumption**:
- A specific pairwise independent joint prior distribution \( F\in F_{2w} \) is constructed, so that the expected revenue of the Myerson mechanism is significantly lower than that under the mutual independence assumption.
- Specifically, for some non - uniform regular marginal distributions \( (F_{i})_{i\in [n]} \), \( E_{v\sim F_{\text{ind}}}[\text{Myer}(v)]=\Omega(n)\cdot E_{v\sim F}[\text{Myer}(v)] \).

2. **The Myerson mechanism is robust under the 3 - independence assumption**:
- It is proved that the Myerson mechanism is 3 - robust for any (even irregular) marginal distributions \( (F_{i})_{i\in [n]} \).
- That is, there exists a constant \( c(3) \) such that for all 3 - independent joint distributions \( F\in F_{3w} \), \( c(3)\cdot M(F)\geq M(F_{\text{ind}}) \).

3. **The Myerson auction in a symmetric environment is pairwise robust**:
- For a symmetric environment (i.e., all marginal distributions are the same), the Myerson auction (equivalent to the second - price auction with a monopoly reserve price) is pairwise robust, and the robustness constant is 2.63.
- This shows that in a symmetric environment, the degree of independence robustness of the Myerson auction is 2, while in an asymmetric environment it is 3.

4. **The second - price auction with an anonymous reserve price is pairwise robust in an asymmetric environment**:
- It is proved that the second - price auction with an anonymous reserve price \( AR(r) \) is pairwise robust for any set of regular marginal distributions \( (F_{i})_{i\in [n]} \).
- This result highlights the advantage of pairwise robust auction mechanisms over the optimal mechanism that is only 3 - robust.

### Summary

By analyzing the performance of the Myerson mechanism and other auction mechanisms under different independence assumptions, the paper reveals the problem that the optimal mechanism may over - fit strong assumptions and proposes more robust approximate solutions. This provides important theoretical support and guidance for auction design in practical applications.