Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders
Abstract
We study revenue maximization in multi-item auctions, where bidders have subadditive valuations over independent items [47]. Providing a simple mechanism that is approximately revenue-optimal in this setting is a major open problem in mechanism design [20]. In this paper, we present the first simple mechanism whose revenue is at least a constant fraction of the optimal revenue in multi-item auctions with subadditive bidders.
Our mechanism is a simultaneous auction that incorporates either a personalized entry fee or a personalized reserve price per item. We prove that for any simultaneous auction that satisfies -efficiency– a new property we propose, its revenue is at least an -approximation to the optimal revenue. We further show that both the simultaneous first-price and the simultaneous all-pay auction are -efficient. Providing revenue guarantees for non-truthful simple mechanisms, e.g., simultaneous auctions, in multi-dimensional environments has been recognized by Roughgarden et al. [46] as an important open question. Prior to our result, the only such revenue guarantees are due to Daskalakis et al. [30] for bidders who have additive valuations over independent items. Our result significantly extends the revenue guarantees of these non-truthful simple auctions to settings where bidders have combinatorial valuations.
1 Introduction
Revenue-maximization in auctions is a central problem in both Economics and Computer Science due to its numerous applications in markets and online platforms. While Myerson’s seminal work shows that a simple mechanism achieves the optimal revenue in single-item auctions [45], characterizing the revenue-optimal mechanism in multi-item settings has been notoriously difficult both analytically and algorithmically. Indeed, it has been shown that even finding (approximately) optimal multi-item mechanisms can require description complexity that is exponentially in the number of items, even for a single buyer [31, 29, 38, 4]. Similarly, computing the revenue-optimal multi-item mechanism is known to be intractable even for basic settings [13, 28, 26]. Furthermore, the revenue-optimal multi-item mechanisms may exhibit several counter-intuitive properties that do not arise in single-item settings [7, 39, 38]. To sum up, the optimal mechanism in multi-item settings is highly complex, difficult to characterize, and intractable to find.
Motivated by the highly complex nature of the optimal mechanism in multi-item settings, a recent line of work in algorithmic mechanism design [23, 24, 2, 37, 43, 16, 5, 49, 47, 15, 25, 20, 21, 33, 17, 30, 19] investigate the inherent tradeoff between optimality and simplicity. In other words, can we use simple and practical mechanisms to approximate the optimal revenue in multi-item auctions? The line of work mentioned above provide a positive answer in surprisingly general settings, under the standard item-independence assumption. In a beautiful work, Dütting et al. [33] show that a simple mechanism, known as sequential two-part tariff, can extract an fraction of the revenue when bidders have subadditive valuations, where is the number of items in the auction. A valuation is subadditive, if for all sets of items . Subadditivity captures the property that the items are not complements to each other, i.e., the items are not more valuable together than they are apart. This is a natural and important property in numerous economic environments. Hence, the following has been recognized as a fundamental open question:
Can we design simple mechanisms to achieve an -approximation to the optimal revenue | ||||
when the bidders have subadditive valuations under the item-independence assumption? | (*) |
Aside from question (1), other gaps remain in our understanding of the tradeoff between optimality and simplicity. In particular, existing results almost exclusively focus on truthful auctions, while many of the practical auctions are simple, but not truthful. For instance, the first-price auction is the most common type of mechanism in practice. In the display-ads market, arguably the most significant application of auctions in modern commerce, first-price auctions are adopted by every major exchange to allocate ad-displaying slots. Revenue guarantees for these simple non-truthful auctions have been scarce. Due to the ubiquity of such auctions, providing revenue guarantees for non-truthful simple mechanisms, especially in multi-item environments, has been recognized by Roughgarden et al. [46] as an important open question:
Can we provide revenue guarantees for simple but non-truthful mechanisms in multi-item auctions | ||||
that match the guarantees for simple and truthful mechanisms? | (**) |
Hartline et al. [40] show that the first-price auction with reserve price (or minimum bid) achieves approximately optimal revenue in the single-item setting. Prior to our work, the only revenue guarantee for non-truthful auctions in multi-item settings is due to Daskalakis et al. [30]. They show that when the bidders have additive valuations, simultaneous auctions with entry fees or reserved prices can extract a constant fraction of the optimal revenue.
We make significant progress in addressing both questions (1) and (1) in this paper. Our main result shows that the simultaneous first-price auction (or the simultaneous all-pay auction) with appropriately devised entry fees or reserve prices can achieve a constant fraction of the optimal revenue when bidders have subadditive valuations.
1.1 Our Contributions
We focus on the revenue guarantees of simultaneous auctions in this paper. We assume there are bidders and items. A simultaneous auction consists of parallel single-item auctions , one for each item. We consider two variants of simultaneous auctions:
- Simultaneous auctions with personalized entry fees:
-
Each bidder is asked to pay a fixed entry fee up front. The mechanism then proceeds to run the simultaneous auction, that is, run parallel single-item auctions. Only the bidders who pay the entry fees can participate in these single-item auctions. See Mechanism 1 for details.
- Simultaneous auctions with personalized reserve prices:
-
There is a reserve price for each bidder and each item . The mechanism runs the simultaneous auction. For each item that bidder wins, they need to pay the higher between their payment decided by the single-item auction and . See Mechanism 2 for details.
We now state our main result.
Main Contribution: We identify a crucial property of simultaneous auctions that we refer to as -efficiency, where is a positive real number (Definition 3.1). We show that, if the bidders have subadditive valuations over independent items (Definition 2.1), for any -efficient simultaneous auction , there exists entry fees and reserve prices such that the better of (i) with personalized entry fees and (ii) with personalized reserve prices is an -approximation to the optimal revenue (Theorem 3.1). Next, we prove that both the simultaneous first-price auction and the simultaneous all-pay auction are -efficient (Lemmas 3.2, LABEL: and 3.3 ). Hence, by incorporating with entry fees or reserve prices, the simultaneous first-price auction (or the simultaneous all-pay auction) is an -approximation to the optimal revenue (Corollaries 3.4, LABEL: and 3.5). See Table 1 for comparison with other simple mechanisms.
A few remarks are in order. Firstly, our benchmark is the optimal revenue achievable by any Bayesian Incentive Compatible mechanism (or equivalently achievable at any Bayes-Nash equilibrium of any mechanism, truthful or not). This is the standard benchmark considered in the simple vs. optimal literature and used in all previous results. Secondly, our result makes the standard item-independent assumption that is used in essentially all previous work regarding the tradeoff between simplicity and optimality in multi-item auctions for both truthful and non-truthful mechanisms [23, 24, 2, 37, 43, 16, 5, 49, 47, 15, 25, 20, 21, 33, 30, 19]. Without assuming item-independence, [38] and [8] suggest that no mechanism with bounded menu complexity, a basic requirement for simple mechanisms, can offer any finite approximation guarantees, even when selling only two or three correlated items to a single buyer. 111Our mechanism becomes either selling the grand bundle or selling the items separately when there is a single buyer, and hence has bounded menu complexity. Finally, our approach fails to extend to simultaneous second-price auctions. We present some formal barriers in Example 1. See Section 3.2 for a more detailed discussion. It is an interesting open question to understand whether some variant of the simultaneous second-price auction is approximately revenue-optimal in our setting.
Revenue guarantees for a non-truthful auction.
We provide details on how we evaluate the revenue of simultaneous auctions. For the simultaneous auction with personalized reserved prices, our result holds even if the revenue is evaluated at the worst Bayes-Nash equilibrium. For the simultaneous auction with personalized entry fees, the answer is more nuanced. We show that for any Bayes-Nash equilibrium of the original simultaneous auction, there exists a set of entry fees such that (a) the set of Bayes-Nash equilibria remains unchanged in the new simultaneous auction with entry fees, and (b) our result holds for the revenue generated at equilibrium in the new simultaneous auction with entry fees. Note that this is the same type of guarantee provided in [30] but for additive valuations. We believe such a guarantee is desirable in practice. When the original simultaneous auction has a unique Bayes-Nash equilibrium, our new mechanism inherits the uniqueness. When there are multiple equilibria, the auctioneer can first deploy the original simultaneous auction and wait until the bidders have reached an equilibrium . The auctioneer can now incorporate the set of entry fees tailored for the equilibrium . As our result suggests, the new mechanism still admits as a Bayes-Nash equilibrium and can now provide strong revenue guarantees. It seems unreasonable for the bidders to abandon and play a different equilibrium in the new mechanism, while they choose to play according to in the original one.
Our Techniques.
Our result is based on a combination of the -efficiency property for simultaneous auctions and the duality framework developed in [15, 20]. Roughly speaking, a simultaneous auction is -efficient, if for any Bayes-Nash equilibrium , any bidder , and any subset of items , bidder ’s maximum attainable utility from items in plus the revenue generated from items in is at least times ’s value for the bundle . It is not hard to see that if a simultaneous auction is -efficient, then its welfare is at least times the optimal welfare. What we show is that this desirable property is also useful in producing revenue guarantees. Furthermore, we provide a simple but crucial modification for the double-core decomposition in the duality framework, which is a most critical and challenging step of the entire analysis. This modification allows us to extend the duality-based analysis to simultaneous auctions and will likely find further applications. With these two innovations, we avoid the type-loss tradeoff analysis, which is the major technical hurdle in [30], and provide a modular and arguably simpler analysis for the significantly more general setting with subadditive bidders.
S1A = Simultaneous First-Price Auction, S2A = Simultaneous-Second Price Auction, SAP = Simultaneous All-Pay Auction
|
|
|
|||||||
---|---|---|---|---|---|---|---|---|---|
Additive | [25, 20] | [49, 15, 30] | for regular distributions[30] | ||||||
XOS | [20] | (This paper) | |||||||
Subadditive | [33] | (This paper) |
Approximate revenue monotonicity.
Building on our constant factor approximation, we establish approximate revenue monotonicity for subadditive bidders. This work generalizes the findings of Yao [50], who demonstrate approximate revenue monotonicity for XOS bidders. The formal statement of the theorem and the accompanying proof can be found in Appendix F.
1.2 Additional Related Work
Simple vs. Optimal.
As we mentioned earlier, the majority of results in the simple vs. optimal literature focus on truthful mechanisms. Indeed, most of the designed mechanisms are dominant strategy incentive compatible, providing very strong incentive guarantees for the bidders. However, to provide dominant strategy incentive compatibility, the mechanisms are sequential. As noted in [1], the multi-round nature of these sequential mechanisms can present implementation difficulties that static mechanisms, such as simultaneous auctions, avoid. Empirical evidence [3] also suggests that static mechanisms can be conducted rapidly and asynchronously, thus offering several implementation benefits, which may explain the prevalence of static mechanisms in the real world.
Algorithms for finding nearly revenue-optimal mechanisms.
Welfare guarantees of simultaneous auctions.
A fruitful line of work aim to approximate the welfare in combinatorial auctions using simultaneous auctions. A non-exhaustive list includes [27, 6, 41, 34, 32, 42]. Feldman et al. [34] show that, when bidders have subadditive valuations, the Price of Anarchy is for the simultaneous first-price auction, and for the simultaneous second-price auction under the no-overbidding assumption. Recently, Correa and Cristi [42] show that the Price of Anarchy is for a variant of the simultaneous all-pay auction. We provide constant factor approximation to the optimal revenue using simultaneous auctions. Our analysis for the -efficiency property is inspired by [34].
2 Preliminaries
In this paper, we focus on revenue maximization in simultaneous auctions with bidders and items. We represent the set of all bidders using and the set of all items with .
Types and Valuation Functions.
For each bidder , its type is a -dimensional vector where is the private information of bidder about item . Each is drawn independently from the distribution . The support of and are represented by and . When bidder has a type , their valuation for a set of items is denoted as . We refer to as bidder ’s valuation function that takes both ’s type and a set of items as input. We refer to as a valuation of bidder , which only takes a set of items as input.
Throughout the paper, we assume that each bidder ’s distribution of valuation satisfies Definition 2.1. This is colloquially referred to as bidder ’s valuation is subadditive over independent items. Definition 2.1 is proposed in [47] and has been adopted in essentially every work that studies revenue guarantees for simple mechanisms with subadditive bidders [20, 9, 33].
Definition 2.1 (Subadditive over independent items [47]).
A bidder ’s distribution of their valuation is subadditive over independent items if their type is drawn from a product distribution and satisfies the following properties:
-
•
has no externalities. For each type and any subset of items , relies solely on . More formally, for any such that for all , .
-
•
is monotone. For any type and , .
-
•
is subadditive. For all and , .
Similar to previous work, we use to denote since it only depends on .
We provide an example in Appendix A to show how Definition 2.1 captures standard settings with independent items as special cases.
An important property that we use in the analysis is the Lipschitzness of the valuation function.
Definition 2.2.
A valuation function is -Lipschitz if for any type , and set ,
where is the symmetric difference between and .
Combinatorial Auctions
We consider combinatorial auctions with bidders and items. In a combinatorial auction, each bidder observes their type and chooses their action (e.g., a bid to submit) according to their type. We allow the bidders to use mixed strategies, that is, bidder ’s action is drawn from a distribution that maps ’s type to a distribution over possible actions. Given the action profile , the (possibly random) outcome of a combinatorial auction consists of a feasible allocation , where is set of items allocated to bidder , and payments for the bidders. denotes the utility of bidder in the combinatorial auction when their type is under the action profile .
Simultaneous Auctions
A simultaneous auction consists of parallel single-item auctions . The action chosen by bidder is an -dimensional vector in which the -th coordinate represents the bid of bidder for item . Let represent the collection of bids for item . Each single-item auction runs independently to determine the allocation of item and each bidder’s payment in according to . We use to denote the item that bidder gets and to denote bidder ’s payment in the -th auction. Notice that and might be random as the auction is allowed to be randomized. In a simultaneous auction, bidder receives all items won in each single-item auction , i.e., , and their overall-payment amounts to the sum of payments across the concurrent single-item auctions. We also provide bidders with an additional action, denoted , allowing them to abstain from bidding in a single-item auction. Bidding signifies that the bidder withdraws from competing for the item and incurs no payment for it.
In this paper, we study two simultaneous auctions – the simultaneous first-price auction (S1A) and the simultaneous all-pay auction (SAP). Both auctions satisfy the highest bid wins property, which states that, in each single-item auction, item is allocated to the bidder who submits the highest bid for . In a S1A, only the winning bidder for each item pays their bid; in a SAP, all bidders pay their bids regardless of the outcome.
We formally define the notion of Bayes-Nash equilibrium in Appendix A. Let be a Bayes-Nash equilibrium of auction w.r.t. distribution , the expected revenue at equilibrium is defined as
If is a simultaneous auction, we use to denote the revenue of collected from items in at equilibrium :
Finally, we define as the optimal revenue achievable by any randomized and Bayesian incentive compatible (BIC) mechanisms with respect to type distribution and valuation functions . Due to the revelation principle, we know that the highest revenue achievable by any auction at an Bayes-Nash equilibrium is also .
3 Our Mechanisms and Main Theorem
3.1 Our Mechanisms
We first introduce the two variations of simultaneous auctions that are used in our main theorem.
Simultaneous Auctions with Entry Fees.
Our version of simultaneous auctions with entry fees is nearly identical to the one proposed by Daskalakis et al. [30]. For each bidder , there is a personalized entry fee , which does not depend on the bids submitted by the other bidders. Note that could depend on other parameters of the problem, e.g., the type distribution , the valuation functions , and the equilibrium that we hope the bidders play. The entry fee is charged with probability , and each bidder can decide whether to pay the entry fee to participate in the auction.
The probability that we do not charge the entry fee should be thought of as a very small positive constant. In our proof, we choose to be and it suffices to guarantee Theorem 3.1.
Simultaneous Auction with Reserve Prices.
The mechanism first determines reserve prices for each bidder and item using only information about the distribution of (i.e., the distribution of bidder ’s value for winning only item ). As in standard simultaneous auctions, each bidder submits an -dimensional bid vector , where the -th coordinate represents ’s bid for item .
Given the bid profile, the allocation is directly determined by the simultaneous auction . If wins item , ’s payment for item is the maximum of the reserve price and ’s payment for item determined by . For the bidders who do not win item , their payment for that item equals the payment determined by . The total payment of any bidder is the sum of their payments for all items.
3.2 Main Theorem
We introduce our main result in this section. We show that if a simultaneous auction satisfies certain desirable properties at a Bayes-Nash equilibrium , then the same auction that incorporates additional entry fees or reserved prices can generate a constant fraction of the optimal revenue when bidders’ valuations are subadditive over independent items.
We first formally define the desirable properties :
Definition 3.1 (-efficiency).
Let be a Bayes-Nash equilibrium of simultaneous auction w.r.t. type distribution and valuation functions . We define to be the optimal utility of bidder when their type is , and they are only allowed to participate in the auctions for items in set , while all other bidders bid according to . More specifically,
We say the tuple is -efficient if the following conditions hold:
-
•
The payment for any item is non-negative. When a bidder bids on an item, they pay nothing on this item regardless of the outcome.
-
•
satisfies the highest bid wins property, i.e., for each item , the bidder who has the highest bid wins item .
-
•
For any bidder , any type , and any set of items ,
Before presenting our main theorem, we first discuss the definition of -efficiency and how it relates to several other important notions in mechanism design. In Definition 3.1, the first and second conditions are easily satisfied by many simultaneous auctions, while the third condition is crucial and more difficult to meet. Indeed, any tuple meeting the third condition implies that the equilibrium achieves at least fraction of the optimal welfare. However, attaining a high welfare does not directly imply the third condition. We show that for the simultaneous second-price auction, there exists an instance with a no-overbidding equilibrium such that the third condition is violated for any , but high welfare is still achieved at this equilibrium in the simultaneous second-price auction. See Example 1 for the complete construction.
The third condition echoes the smoothness condition introduced by Syrgkanis et al. [48], albeit with three significant distinctions. First, our condition is specifically designed for simultaneous auctions and pertains to a particular Bayes-Nash equilibrium, in contrast to the -smoothness which is generally applicable to any mechanism. Second, our condition imposes a lower bound on the utility of a single bidder, unlike the smoothness condition that considers the aggregate utility of all bidders. Lastly, our condition mandates the inequality to hold for every bundle , a requirement absent in smooth mechanisms.
The third condition also notably aligns with the balanced prices framework [43, 35, 36, 33], despite significant differences. Let be a set of items. The balanced prices framework assigns a price to each item such that for any subset , the buyer’s utility from purchasing (i.e., ) combined with the revenue from the remaining set (i.e., ), approximates the total value of . In contrast, our condition mandates that for any subset , the buyer’s utility, when bidding only on items in and acting in best response to other bidders’ equilibrium strategies, along with the revenue from the same set , must attain a constant fraction of the total value of . Additionally, while the balanced prices framework is limited to posted-price mechanisms, our definition can accommodate simultaneous auctions.
Hartline et al. [jason] introduce the concepts of competitive efficiency and individual efficiency for the single-dimensional setting. The third condition in Definition 3.1 can be viewed as a generalization of these concepts in multi-dimensional settings. More specifically, in the single-item setting, for any mechanism that is -individual and competitive efficient, our third condition holds for any equilibrium with .
We now state our main theorem.
Theorem 3.1.
Let be a simultaneous auction, and be a Bayes-Nash equilibrium of w.r.t. type distribution and valuation functions . If the distribution of bidder ’s valuation is subadditive over independent items (i.e., satisfies Definition 2.1) and is -efficient, then there exists a set of personalized entry fees and a set of personalized reserve prices so that
Here is auction with personalized entry fee . Note that has the same set of Bayes-Nash equilibria as , so is also a Bayes-Nash equilibrium of . is auction with reverse price , and is an arbitrary Bayes-Nash equilibrium.
Remark 1.
Note that the entry fees are selected based on . As stated in Lemma 4.1, a strategy profile is a Bayes-Nash equilibrium in if and only if is also a Bayes-Nash equilibrium in . This implies that the introduction of entry fees does not give rise to any new equilibria, and the same strategy profile continues to be an equilibrium. Therefore, it is reasonable to expect that the bidders to play according to the same equilibrium after introducing the entry fees.
See Section 4 for a detailed discussion about additional properties of equilibria in these two mechanisms. Next, we argue that all equilibria of S1A and SAP are -efficient when bidders valuations are subadditive.
Lemma 3.2.
For any type distribution , valuation functions , and any Bayes-Nash equilibrium of S1A, as long as for any bidder and any , is a subadditive function over , is -efficient.
Lemma 3.3.
For any type distribution , valuation functions , and any Bayes-Nash equilibrium of SAP, as long as for any bidder and any , is a subadditive function over , is -efficient.
Remark 2.
Note that Lemma 3.2 and 3.3 do not require the bidders’ valuations to be subadditive over independent items. We only use item-independence in the proof of Theorem 3.1.
The proofs of Lemma 3.2 and 3.3 are postponed to Appendix C. Combining Theorem 3.1 with Lemma 3.2 and Lemma 3.3, we show that S1A and SAP with personalized entry fees or reserved prices can extract a constant fraction of the optimal revenue when the valuations are subadditive over independent items.
Corollary 3.4.
For any type distribution and valuation functions , such that the distribution of bidder ’s valuation is subadditive over independent items (i.e., satisfies Definition 2.1), if is a Bayes-Nash equilibrium of the simultaneous first-price auction (S1A), then there exists a set of entry fees and a set of reserve prices such that
where , a Bayes-Nash equilibrium of the original S1A, remains to be a Bayes-Nash equilibrium for the S1A with personalized entry fees, and is an arbitrary Bayes-Nash equilibrium of the S1A with reserve prices.
Corollary 3.5.
For any type and valuation functions , such that the distribution of bidder ’s valuation is subadditive over independent items (i.e., satisfies Definition 2.1), if is a Bayes-Nash equilibrium of the simultaneous all-pay auction (SAP), then there exists a set of entry fees and a set of reserve prices such that
where , a Bayes-Nash equilibrium of the original S1A, remains to be a Bayes-Nash equilibrium for the S1A with personalized entry fees, and is an arbitrary Bayes-Nash equilibrium of the S1A with reserve prices.
4 Equilibria of Our Mechanisms
In this section, we discuss some properties of the equilibrium in our mechanisms. Note that a Bayes-Nash equilibrium may not exist if the type spaces and action spaces are continuous. See Appendix B.2 for a more detailed discussion.
4.1 Mechanisms with Entry Fees
Notice that when the entry fee is charged deterministically, the bid vector has no impact on bidder ’s utility if they choose not to pay the entry fee. In this scenario, the bidder may report an arbitrary , potentially introducing new equilibria. As we show in Lemma 4.1, charging the entry fees randomly incentivizes each bidder to keep their bids even when they decide not to enter the auction. Daskalakis et al. [30] provides an alternative mechanism with “ghost bidders”. Their mechanism deterministically charges an entry fee and samples a bid from a ”ghost bidder” in the execution of whenever a real bidder declines to pay the entry fee. As discussed in their paper, this mechanism is credible as the mechanism does not use any private randomness, but it may introduce new equilibria. We highlight that if we replace the randomized entry fees with deterministic ones together with ghost bidders, all claims in Theorem 3.1 hold, except that now we need to evaluate the revenue of at a “focal equilibrium” that can be computed based on .
Before examining the properties of , it is essential to discuss a subtle detail concerning the actions of bidders in . The actions available to bidder in has an additional dimension , that decides whether is willing to pay the entry fee. At any equilibrium , it is clear that bidder will choose to enter the auction if and only if exceeds . Therefore, depends exclusively on at any equilibrium. This allows for a liberal use of notation, interpreting the strategies of as a mapping from its type to an -dimensional bid vector (rather than to ).
Definition 4.1 (Strategy Profile of at Equilibrium ).
Suppose is a Bayes-Nash equilibrium in auction . For each bidder , its strategy profile is defined as a mapping from type to a distribution of -dimensional bid vectors. Let
be the utility function for bidder in auction when their type is and bids are . When bidder participates in with type , she first samples a bid vector . Let where is the entry fee for bidder , she then submits as their action. It is clear that every equilibrium of could be expressed in this form.
The following lemma states that has exactly the same set of Bayes-Nash equilibria as for all .
Lemma 4.1.
For any , any set of entry fees , any type distribution , and valuation functions , a strategy profile is a Bayes-Nash equilibrium in if and only if it is also a Bayes-Nash equilibrium in .
We now discuss the revenue obtained by our mechanism with entry fees. The revenue consists of two parts: (i) the revenue derived from auction , i.e., ; (ii) the revenue obtained from the entry fees. We hereby provide a formal definition for the revenue generated from entry fees as follows.
Definition 4.2 (Entry Fee Revenue).
It is important to note that the auction cannot fully obtain the revenue of auction , i.e., , and the revenue derived from entry fees, i.e., , at the same time. This is due to the fact that that when entry fees are imposed, bidders may refuse to enter the auction, which could potentially reduce the revenue generated by the auction . Nevertheless, we could choose entry fees in a way to either maximize the revenue collected from the entry fees, thereby obtaining , or to set all entry fees to and attain . In other words, is at least for any .
Lemma 4.2.
For any , there exists a set of entry fees so that
4.2 Mechanisms with Reserve Prices
The following lemma provides a revenue guarantee for . Importantly, this guarantee holds for any Bayes-Nash equilibrium of .
Lemma 4.3.
For any type distribution and valuation functions , if the simultaneous auction satisfies the first and second conditions of Definition 3.1, and is a set of reserved prices that meets the following two conditions for some absolute constant :
-
(1)
, ;
-
(2)
, ,
then for any Bayes-Nash equilibrium of the simultaneous auction with reserved prices , the following revenue guarantee holds:
5 Proof of Theorem 3.1
In this section, we complete the proof of Theorem 3.1. We extend the previous techniques, i.e., the duality framework [15, 20], to simultaneous auctions by developing a new core-tail analysis. A crucial structure from the preceding approach hinged on the subadditivity and Lipschitzness of the bidders’ utility functions. Fortunately, the structure of simultaneous auctions ensures that the maximum utility a bidder can derive from a set of items (by bidding on them) remains a subadditive function. However, the Lipschitzness of the utility functions introduces additional subtlety. In simultaneous auctions, where bidding strategies form a Bayes-Nash equilibrium, each bidder faces a distribution of prices, as opposed to a set of static prices, as encountered in posted price mechanisms analyzed in previous work. This shift introduces a new challenge in controlling the Lipschitz constant of the utility functions, which, in turn, affects the concentration result.
We first introduce some notation. As in [20], we assume that the type distributions are discrete. See their paper for a discussion on how to convert continuous distributions to discrete ones without much revenue loss. We fix type distribution in this section, and the probability mass functions of and are denoted as and , respectively. Furthermore, the support of and are represented by and . Recall that we define as . We denote as the distribution of and let be the Myerson’s ironed virtual value [45] of with respect to distribution .
For any direct-revelation Bayesian Incentive Compatible mechanism , the allocation rule of is represented by , wherein denotes the probability that bidder is allocated set with type . Given a set of parameters , we partition into regions: (i) contains all types satisfying for all . (ii) contains all types such that and is the smallest index in . Intuitively, contains all types for which item becomes the preferred item of bidder when the price for item is .
For each bidder , define
For each , let be the set of items that is above the price and be its complement. Namely, if we set the reserve price (or posted price) of item for bidder at , it is very likely that bidder will buy at most one item. Thus, we could expect that the contribution to revenue from can be approximated by when incorporating reserve prices. We now formally define the three components used to upper bound the optimal revenue below.
Definition 5.1.
For any feasible interim allocation rule and any , denote
where is the probability that item is alloctaed to bidder with type .
Let be the revenue of mechanism while the bidders’ types are drawn from the distribution . Cai and Zhao [20] show that the optimal revenue could be upper bounded by Single, Tail and Core.
Lemma 5.1 ([20]).
For any BIC mechanism and given any set of parameters , there exists a feasible interim allocation so that
Additionally, for any constant and any mechanism , there exists a set of parameters such that satisfies the following two properties:
(1) | |||
(2) |
The first part of Lemma 5.1, namely the revenue guarantee, is derived by combining Theorem 2 and Lemma 14 from [22] (the full version of [20]), and hence, the proof is omitted here. In the second part of Lemma 5.1, we assert that parameters can be chosen such that the corresponding interim allocation satisfies two useful properties. This lemma is nearly identical to Lemma 5 in [22], albeit with a minor alteration. It can be readily verified that the proof for Lemma 5 suffices to demonstrate this variation.
Suppose the simultaneous auction admits an equilibrium under type distribution and valuation functions so that is -efficient as defined in Definition 3.1.
We proceed to define the maximum revenue that can be achieved by simultaneous auction with reserve prices.
Definition 5.2.
Define as the revenue obtainable by a simultaneous auction with optimal reserve prices ’s, such that the revenue at its worst equilibrium is maximized:
Given that is finite, the subsequent corollary directly follows.
Lemma 5.2.
For any , there exists a set of reserve prices so that for any equilibrium of , its revenue at achieves .
In the following proof, we respectively approximate and Core. Figure 1 below offers a comprehensive overview of how we organize our proof.
We first show that under parameters and that satisfy (1) and (2) of Lemma 5.1, Single and Tail could be easily approximated by with appropriately selected reserve prices.
Lemma 5.3.
Lemma 5.4.
5.1 The Analysis of the Core
We now proceed to show that Core could also be approximated by simultaneous auctions with entry fees or reserve prices.
Lemma 5.5.
where is defined in Definition 4.2.
To prove Lemma 5.5, we first introduce the double-core decomposition .
Definition 5.3 (Double-core decomposition).
Let
and define to be the set . Define as
where .
Remark 3.
We provide an alternative double-core decomposition compared to [20]. The main difference between these two decompositions is that the defined in our paper is different and could potentially be larger than theirs. As defined in [20] is designed for posted-price mechanisms, they assign a price for each item and replace by in the definition of . We show that the use of is unnecessary. By Lemma 5.13, in our paper can still be approximated by simple mechanisms. This is crucial for our analysis, as our proof highly replies on the -Lipschitzness of , and it can fail to be -Lipschitz if we use defined in [20].
It suffices to demonstrate that our simultaneous auctions with either entry fees or reserve prices provide an upper bound for both the and the difference between Core and , i.e., . We first show that the gap between these two cores could be approximated by the revenue of simultaneous auction with reserved prices.
To prove Lemma 5.6, we first introduce a technical lemma that will be used in our proof.
Proof.
Before proving Lemma 5.6, we need one more lemma about .
Proof.
Recall that is defined as follows:
From the definition of , it directly follows that
for all . Moreover, as the ’s satisfy (1), the following is clearly true.
Consequently, the set meets all conditions in Lemma 4.3. This leads to the implication that:
On the other hand,
The last inequality arises since, when , . Combining the two inequalities above, we know that . ∎
Now we are ready to prove Lemma 5.6.
Proof of Lemma 5.6.
Recall that
where .
Firstly, notice that
(3) |
The last inequality is because when , is upper bounded by when and upper bounded by when . Hence
(4) |
First we bound .
(5) |
The set is defined as in Definition 5.3. The parameters ’s satisfy Inequality (2), as presented in the statement of the lemma, which substantiates the second inequality. The third inequality is due to the definition of and the last inequality follows from lemma 5.7.
Secondly, we bound .
(6) |
where the second inequality is due to the definition of (Definition 5.3) and the last inequality is due to Lemma 5.8. Combining (4), (5) and (6), we complete our proof. ∎
Next, we argue that could be approximated by auction with either entry fees or reserve prices.
Lemma 5.9.
For any and that satisfy (1) and (2) in Lemma 5.1, and tuple that is -efficient,, it holds that
where denotes the revenue derived from entry fees, as defined in Definition 4.2.
Recall that in Definition 3.1, we define as the optimal utility that bidder can attain when only the bundle is available. We further define as where . Lemma D.1 demonstrates that satisfies monotonicity, subadditivity, no externalities and -Lipschitzness. Our proof of Lemma 5.9 can be divided into the following three steps. The first step, summarized in Lemma 5.10, argues that the “truncated” utility, represented as , together with the revenue of the auction serves as a -approximation to by employing the third property in the definition of -efficiency. The second step, i.e., Lemma 5.11, shows how to extract revenue from the “truncated” utility by setting a entry fee at the median of the utility function. We demonstrate that the corresponding revenue is high enough using a concentration inequality for subadditive functions. The last step, i.e., Lemma 5.13 shows that the difference between the revenue from the entry fees and the truncated utilities can be approximated by the revenue from another simultaneous auction with reserved prices.
Proof.
The third property of -efficiency (Definition 3.1) states that for any ,
By the definition of and the monotonicity of , it follows that
(7) |
The first term here is exactly . Recall the definition of :
(8) |
We are only left to upper bound the second term. Recall that represents the probability that item is allocated to bidder , meaning that for all . Consequently,
(9) |
The first inequality employs the monotonicity of , and the first equation is because that is a simultaneous auction, thereby making its revenue additive across items.
∎
Finally, notice that is a subadditive function that is -Lipschitz. To approximate , the concentration inequality for subadditive functions tells us that we can extract the revenue from the bidder’s utility by setting an entry fee at its median.
Lemma 5.11.
There exists bidder-specific entry-fees , such that
Proof.
We first introduce a concentration inequality for subadditive function from Corollary 1 in [22].
Lemma 5.12 ([20]).
Let with be a function drawn from a distribution that is subadditive over independent items of ground set . Assume that the function exhibits -Lipschitzness. Let represent the median of the random variable , that is, .Therefore,
Notice that is a random variable in which the randomness comes from its random type . Let be the median of . Since is subadditive over independent items and -Lipschitz by Lemma D.1, Lemma 5.12 implies the following
(10) |
The monotonicity of implies that . Therefore, if we set the entry fee as , i.e., the median of , the probability that bidder pays the entry fee is at least . Thus
(11) |
As the last step, we show that the sum of the Lipschitz constant can be approximated by .
Proof.
Notice that
(12) |
According to the definition of , when ,
(13) |
It is evident that Lemma 5.9 is a direct consequence of the amalgamation of Lemma 5.10, Lemma 5.11, and Lemma 5.13. Analogously, by combining Lemma 5.6 and Lemma 5.9, we subsequently obtain Lemma 5.5.
Finally, we are now ready to prove our main theorem, i.e., Theorem 3.1.
Proof of Theorem 3.1.
Lemma 5.1 demonstrates that
(15) |
By Lemma 5.2 and Lemma 4.2, we then know that there exists a set of entry fees and a set of reserve prices so that for any equilibrium of auction with reserve price , i.e., , and any , it holds that
Taking and , we get that
Since this inequality holds for any BIC mechanism , we have proved our claim. ∎
References
- [1] Mohammad Akbarpour and Shengwu Li. Credible Mechanisms. In Proceedings of the 2018 ACM Conference on Economics and Computation, pages 371–371, Ithaca NY USA, June 2018. ACM.
- [2] Saeed Alaei. Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers. In the 52nd Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2011.
- [3] Susan Athey, Jonathan Levin, and Enrique Seira. Comparing open and Sealed Bid Auctions: Evidence from Timber Auctions*. The Quarterly Journal of Economics, 126(1):207–257, February 2011.
- [4] Moshe Babaioff, Yannai A. Gonczarowski, and Noam Nisan. The menu-size complexity of revenue approximation. Games and Economic Behavior, 134:281–307, July 2022.
- [5] Moshe Babaioff, Nicole Immorlica, Brendan Lucier, and S. Matthew Weinberg. A Simple and Approximately Optimal Mechanism for an Additive Buyer. In the 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2014.
- [6] Kshipra Bhawalkar and Tim Roughgarden. Welfare Guarantees for Combinatorial Auctions with Item Bidding. In SODA, pages 700–709, 2011.
- [7] Patrick Briest, Shuchi Chawla, Robert Kleinberg, and S. Matthew Weinberg. Pricing Randomized Allocations. In the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2010.
- [8] Patrick Briest, Shuchi Chawla, Robert Kleinberg, and S Matthew Weinberg. Pricing lotteries. Journal of Economic Theory, 156:144–174, 2015. Publisher: Elsevier.
- [9] Yang Cai and Constantinos Daskalakis. Learning Multi-Item Auctions with (or without) Samples. In 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), pages 516–527, October 2017. ISSN: 0272-5428.
- [10] Yang Cai, Constantinos Daskalakis, and S. Matthew Weinberg. On optimal multidimensional mechanism design. ACM SIGecom Exchanges, 10(2):29–33, June 2011.
- [11] Yang Cai, Constantinos Daskalakis, and S. Matthew Weinberg. An algorithmic characterization of multi-dimensional mechanisms. In Proceedings of the forty-fourth annual ACM symposium on Theory of computing, STOC ’12, pages 459–478, New York, NY, USA, May 2012. Association for Computing Machinery.
- [12] Yang Cai, Constantinos Daskalakis, and S. Matthew Weinberg. Optimal Multi-dimensional Mechanism Design: Reducing Revenue to Welfare Maximization. In 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science, pages 130–139, October 2012. ISSN: 0272-5428.
- [13] Yang Cai, Constantinos Daskalakis, and S. Matthew Weinberg. Reducing Revenue to Welfare Maximization: Approximation Algorithms and other Generalizations. In Proceedings of the 2013 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Proceedings, pages 578–595. Society for Industrial and Applied Mathematics, January 2013.
- [14] Yang Cai, Constantinos Daskalakis, and S. Matthew Weinberg. Understanding Incentives: Mechanism Design Becomes Algorithm Design. In 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pages 618–627, October 2013. ISSN: 0272-5428.
- [15] Yang Cai, Nikhil R. Devanur, and S. Matthew Weinberg. A Duality-Based Unified Approach to Bayesian Mechanism Design. SIAM Journal on Computing, 50(3):STOC16–160, January 2021. Num Pages: STOC16-200 Publisher: Society for Industrial and Applied Mathematics.
- [16] Yang Cai and Zhiyi Huang. Simple and Nearly Optimal Multi-Item Auctions. In Proceedings of the 2013 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Proceedings, pages 564–577. Society for Industrial and Applied Mathematics, January 2013.
- [17] Yang Cai and Argyris Oikonomou. On Simple Mechanisms for Dependent Items. In Proceedings of the 22nd ACM Conference on Economics and Computation, EC ’21, pages 242–262, New York, NY, USA, July 2021. Association for Computing Machinery.
- [18] Yang Cai, Argyris Oikonomou, Grigoris Velegkas, and Mingfei Zhao. An Efficient eps-BIC to BIC Transformation and Its Application to Black-Box Reduction in Revenue Maximization. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), Proceedings, pages 1337–1356. Society for Industrial and Applied Mathematics, January 2021.
- [19] Yang Cai, Argyris Oikonomou, and Mingfei Zhao. Computing simple mechanisms: Lift-and-round over marginal reduced forms. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pages 704–717, New York, NY, USA, June 2022. Association for Computing Machinery.
- [20] Yang Cai and Mingfei Zhao. Simple mechanisms for subadditive buyers via duality. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, pages 170–183, New York, NY, USA, June 2017. Association for Computing Machinery.
- [21] Yang Cai and Mingfei Zhao. Simple Mechanisms for Profit Maximization in Multi-item Auctions. In Proceedings of the 2019 ACM Conference on Economics and Computation, EC ’19, pages 217–236, New York, NY, USA, June 2019. Association for Computing Machinery.
- [22] Yang Cai and Mingfei Zhao. Simple Mechanisms for Subadditive Buyers via Duality, August 2019. arXiv:1611.06910 [cs].
- [23] Shuchi Chawla, Jason D. Hartline, and Robert D. Kleinberg. Algorithmic Pricing via Virtual Valuations. In the 8th ACM Conference on Electronic Commerce (EC), 2007.
- [24] Shuchi Chawla, Jason D. Hartline, David L. Malec, and Balasubramanian Sivan. Multi-Parameter Mechanism Design and Sequential Posted Pricing. In the 42nd ACM Symposium on Theory of Computing (STOC), 2010.
- [25] Shuchi Chawla and J. Benjamin Miller. Mechanism Design for Subadditive Agents via an Ex-Ante Relaxation. In Proceedings of the 2016 ACM Conference on Economics and Computation, EC ’16, Maastricht, The Netherlands, July 24-28, 2016, pages 579–596, 2016. Journal Abbreviation: CoRR.
- [26] Xi Chen, Ilias Diakonikolas, Anthi Orfanou, Dimitris Paparas, Xiaorui Sun, and Mihalis Yannakakis. On the complexity of optimal lottery pricing and randomized mechanisms. In 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pages 1464–1479. IEEE, 2015.
- [27] George Christodoulou, Annamária Kovács, and Michael Schapira. Bayesian Combinatorial Auctions. In ICALP (1), pages 820–832, 2008.
- [28] Constantinos Daskalakis, Alan Deckelbaum, and Christos Tzamos. The Complexity of Optimal Mechanism Design. In the 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2014.
- [29] Constantinos Daskalakis, Alan Deckelbaum, and Christos Tzamos. Strong Duality for a Multiple-Good Monopolist. Econometrica, 85(3):735–767, 2017. Publisher: Wiley Online Library.
- [30] Constantinos Daskalakis, Maxwell Fishelson, Brendan Lucier, Vasilis Syrgkanis, and Santhoshini Velusamy. Multi-item Non-truthful Auctions Achieve Good Revenue, September 2022. arXiv:2002.06702 [cs, econ].
- [31] Shaddin Dughmi, Li Han, and Noam Nisan. Sampling and representation complexity of revenue maximization. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014.
- [32] Paul Dütting, Monika Henzinger, and Martin Starnberger. Valuation Compressions in VCG-Based Combinatorial Auctions. In Yiling Chen and Nicole Immorlica, editors, Web and Internet Economics, Lecture Notes in Computer Science, pages 146–159, Berlin, Heidelberg, 2013. Springer.
- [33] Paul Dütting, Thomas Kesselheim, and Brendan Lucier. An O(log log m) Prophet Inequality for Subadditive Combinatorial Auctions. In 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 306–317. IEEE, 2020.
- [34] Michal Feldman, Hu Fu, Nick Gravin, and Brendan Lucier. Simultaneous auctions are (almost) efficient. In STOC, pages 201–210, 2013.
- [35] Michal Feldman, Nick Gravin, and Brendan Lucier. Combinatorial Auctions via Posted Prices. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015, pages 123–135, 2015.
- [36] Moran Feldman, Ola Svensson, and Rico Zenklusen. Online Contention Resolution Schemes. In Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1014–1033, 2016.
- [37] Sergiu Hart and Noam Nisan. Approximate Revenue Maximization with Multiple Items. In the 13th ACM Conference on Electronic Commerce (EC), 2012.
- [38] Sergiu Hart and Noam Nisan. Selling multiple correlated goods: Revenue maximization and menu-size complexity. Journal of Economic Theory, 183:991 – 1029, 2019.
- [39] Sergiu Hart and Philip J. Reny. Maximal revenue with multiple goods: Nonmonotonicity and other observations. Theoretical Economics, 10(3):893–922, 2015. _eprint: https://onlinelibrary.wiley.com/doi/pdf/10.3982/TE1517.
- [40] Jason Hartline, Darrell Hoy, and Sam Taggart. Price of anarchy for auction revenue. In Proceedings of the fifteenth ACM conference on Economics and computation, EC ’14, pages 693–710, New York, NY, USA, June 2014. Association for Computing Machinery.
- [41] Avinatan Hassidim, Haim Kaplan, Yishay Mansour, and Noam Nisan. Non-price equilibria in markets of discrete goods. In ACM Conference on Electronic Commerce, pages 295–296, 2011.
- [42] José Correa and Andrés Cristi. A Constant Factor Prophet Inequality for Online Combinatorial Auctions. In 55th annual ACM symposium on Theory of Computing, 2023.
- [43] Robert Kleinberg and S. Matthew Weinberg. Matroid Prophet Inequalities. In the 44th Annual ACM Symposium on Theory of Computing (STOC), 2012.
- [44] Pravesh Kothari, Divyarthi Mohan, Ariel Schvartzman, Sahil Singla, and S. Matthew Weinberg. Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries. 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), pages 220–232, November 2019. arXiv: 1905.05231.
- [45] Roger B. Myerson. Optimal Auction Design. Mathematics of Operations Research, 6(1):58–73, 1981.
- [46] Tim Roughgarden, Vasilis Syrgkanis, and Eva Tardos. The Price of Anarchy in Auctions. Journal of Artificial Intelligence Research, 59:59–101, May 2017.
- [47] Aviad Rubinstein and S. Matthew Weinberg. Simple Mechanisms for a Subadditive Buyer and Applications to Revenue Monotonicity. In Proceedings of the Sixteenth ACM Conference on Economics and Computation, EC ’15, Portland, OR, USA, June 15-19, 2015, pages 377–394, 2015.
- [48] Vasilis Syrgkanis and Éva Tardos. Composable and efficient mechanisms. In STOC, pages 211–220, 2013.
- [49] Andrew Chi-Chih Yao. An n-to-1 Bidder Reduction for Multi-item Auctions and its Applications. In SODA, 2015. Journal Abbreviation: CoRR.
- [50] Andrew Chi-Chih Yao. On Revenue Monotonicity in Combinatorial Auctions. arXiv preprint arXiv:1709.03223, 2017.
Appendix A Additional Preliminaries
Bayes-Nash Equilibrium
A strategy profile is a Bayes-Nash equilibrium (BNE) with respect to type distribution and valuation functions if and only if for any bidder , any type , and any strategy , the following inequality holds
Examples of Valuations
Suppose where is drawn independently from . We show how subadditive functions over independent items capture various families of valuation functions.
-
•
Additive: is the value of item , and .
-
•
Unit-demand: is the value of item , and .
-
•
Constrained Additive: is the value of item , and suppose is a family of feasible sets. .
-
•
XOS/Fractionally Subadditive: let be the collection of values of item for each of the additive functions, and .
Appendix B Tie-breaking and the Existence of Equilibrium
B.1 Tie-breaking
For distribution with point masses, the following reduction will convert it to a continuous one. We will overload the notation of and think of it as a bivariate distribution with the first coordinate drawn from the previous single-variate distribution and the second tie-breaker coordinate drawn independently and uniformly from . And if and only if either , or and . Since the tie-breaker coordinate is continuous, the probability of having for any two values during a run of any mechanism is zero.
Remind the second coordinate is only used to break ties, and it does not affect the calculation of payment. Note that when we run a mechanism with entry fees , the second coordinate does not affect whether bidder chooses to pay the entry fee or not. It is only used to break ties in the execution of . This means that we can even remove the second coordinate when implementing the mechanism with entry fees and still use the same ways to break ties as in . Therefore, by adding the second tie-breaker coordinate, we get a continuous distribution, and do not change the structure of equilibrium of mechanisms with entry fees.
B.2 The Existence of Equilibrium
Our result applies to every equilibrium in simultaneous auctions that satisfies -efficient. However, equilibria may not exist when the type spaces and and strategy spaces are both continuous. To fix this, we can restrict the strategy spaces to be discrete and bounded, e.g., -grid in , and assume the type spaces to be finite. Consequently, this transforms the game into a finite one, and thus an equilibrium must inherently exist.
We refer readers to [34] for a detailed discussion of existence of equilibrium in simultaneous auctions.
Appendix C Proof of Lemma 3.2 and 3.3
The proof here is inspired by [34].
The first and second condition is obviously true for simultaneous first-price auctions and simultaneous all-pay auctions. Now we argue that the third condition with is satisfied by simultaneous first-price auctions and simultaneous all-pay auctions. Consider any bidder with type and a set of items .
We let be the distribution of -dimensional vector where the randomness is from both and . Let be a random variable sampled from the distribution . Consider the random bid of bidder , which is plus a small constant added to each component, with the entire vector constrained to the set . For ease of notation, we denote this vector by , whose -th coordinate is when , and equals to otherwise.
(16) |
The last inequality is because the union of and is , and is a subadditive function. Also notice that in simultaneous first-price or all-pay auctions, the payment on a single item does not exceed the bid on the item, so the total payment of a bidder does not exceed the sum of their bids.
(17) |
At the end, since in first-price or all-pay auction the revenue from a item is at least the maximum of bid on this item, so
Therefore,
Taking , by definition of , we know
Appendix D Missing Proofs in Section 4
D.1 Proof of Lemma 4.1
For any strategy profile with respect to a prior distribution of types in auction , we slightly abuse notation and let be the interim utility of bidder with type . Namely,
Then by definition a strategy profile is a Bayes-Nash equilibrium in iff for any bidder , type and a mixed strategy , .
Given a strategy profile in auction , for the bidder with type , receives times their interim utility in auction by reporting If reports , the interim utility is minus . Hence, in auction the interim utility of bidder with type is
Notice that is a strictly increasing function with respect to for , which means that is a strictly increasing function with respect to . Thus, is equivalent to . As a result, we know that a strategy profile is a equilibrium in if and only if it is a equilibrium in .
D.2 Proof of Lemma 4.2
We use the same notation to denote the interim utility of bidder with type in auction , when all bidders bid according to strategy profile .
Taking for all , we know ,
If , we have already finished the proof.
When , we only need to prove for any , there exists a set of entry fees so that
Now consider any , by definition of , there exists a set of such that
Now simply consider the mechanism with entry fee , i.e., . It’s clear that bidder will pay entry fee iff . The revenue of is at least its revenue from entry fees, so
By choosing the better entry fee between and , we conclude our proof.
D.3 A Hard Instance for the Simultaneous Second Price Auction
We first provide a counter-example to show that not every equilibrium of the simultaneous second price auction satisfies the third condition in Definition 3.1.
Example 1.
Consider the following deterministic instance. There are unit-demand bidders and items. For each bidder , their favourite item is the -th item, and their value towards that item is . For any other item, their value is , where is a constant strictly less than .
For this instance, suppose each bidder bids on their favorite item, i.e., item , and bids on any item else. It is clear that this is a no over-bidding pure Nash equilibrium as everyone gets their favorite item and pays nothing. Therefore, in this equilibrium , . What’s more, it is easy to see that this equilibrium is optimal in welfare.
Let . However, we can see that as for every item , the maximum bid at equilibrium is , and consequently, bidder has no motivation to engage in competition for that item. Also note that . This implies that
for any .
D.4 A More Detailed Discussion of -efficient simultaneous auctions
We introduce a property of that is essential in approximating the optimal revenue.
Lemma D.1.
For any and any constant , let be the set , and define . Recall that is defined in Definition 3.1. If the first condition of Definition 3.1 is satisfied by , satisfies monotonicity, subadditivity, no externalities and is -Lipschitz.
Proof.
We first prove satisfies monotonicity, subadditivity and no externalities.
For any types , such that for all ,
where second equality is by no externalities of . Thus, has no externalities.
For any set ,
The inequality is because is monotone. So is monotone.
We use to denote the bid vector restricted to bundle , which means that equals when , and equals to the null action otherwise. For all and , let . Then , and . To prove subadditivity of , we first prove the following claims, one equality and one inequality, which are true for any bid profile .
(18) |
Therefore,
The first inequality is by (18), the subadditivity of , and the fact that . The second inequality is from the property of the operator, and the third inequality is because is monotone. Thus, is subadditive.
Consider any constant in the definition of . By the monotonicity and subadditivity of , we can directly conclude that is also monotone and subadditive.
For any types , such that for all , we know , since for any ,
Hence
Thus, satisfies monotonicity, subadditivity and no externalities.
Finally, we prove is -Lipschitz.
For any , and set , define set . Because of the no externalities property of , we know .
∎
In the following, we show that for any that satisfies the third condition, it also achieves a high welfare at the equilibrium . Let us define as the social welfare of auction at , and as the set of items allocated to bidder in the allocation that maximizes social welfare when the bidders’ types are . We give a formal proof that the welfare at is at least fraction of the optimal welfare:
The second equation holds since is a Bayes-Nash equilibrium. The first inequality comes from the monotonicity of which is proved in Lemma D.1 and the second inequality directly follows from the third condition.
D.5 Proof of Lemma 4.3
Proof of Lemma 4.3: Notice that by the first condition and the union bound, for any item , the probability that each bidder ’s value on item is smaller than their reserve price on item , , is at least . Similarly, by the second condition, we know that for any bidder , the probability that their value of any item is below the reserve price is at least .
We first prove that for any equilibrium of , any bidder will always take the null action when their value on this item is smaller than the reserved price. Suppose there exists a bid equilibrium that does not follow this. For any let be the set of bidders that have a non-zero probability to compete for item while their value is less than the reserve. Assume that is non-empty for some . Consider the event that satisfies the following: (i) for any bidder , ’s value on item is strictly less than ; (ii) for any bidder , and . It is not hard to see that this event happens with non-zero probability. Conditioning on this event, the winner of item must be some bidder in . We argue that ’s expected utility is strictly worse compared to the scenario where their bids remain unchanged for other items, and is replaced with . The reason is that has a subadditive valuation, so ’s utility is strictly worse after acquiring item at a price larger than .
Now consider bidder with type satisfying two conditions (i) , (ii) . Then , as we argued in the previous paragraph, will take the null action on items other than . Now since bidding for item will give a non-negative utility, will not bid for item . Further consider (iii) which implies that any bidder other than bill bid for item . Then if all of (i), (ii), (iii) holds, bidder will receive item . The probability of (ii) and (iii) holds is greater than and by the first paragraph. Because conditions (i), (ii) and (iii) are independent, bidder wins item with probability at least . Thus the expected revenue of the mechanism is at least .
Appendix E Missing Proofs in Section 5
E.1 Proof of Lemma 5.3
Proof of Lemma 5.3: Our proof here is very similar to the proof of Lemma 13 in [20]. We introduce the single-dimensional copies setting defined in [24]. In this setting, there are agents, in which each agent has a value of of being served with sampled from independently. The allocation must be a matching, meaning that for each , there is at most one so that is served, and for each , there is at most one so that is served. Fix the distribution and valuation function , we denote the optimal BIC revenue in this setting as . In [20], they prove that for any , .
For every , let be the ex-ante probability that is served in the Myerson’s auction for the above copies settings. By definition, we have and .
The ironed virtual welfare contributed from is at most , where is the ironed revenue curve of , where is the CDF for the random variable , and is the corresponding quantile function. Thus, there exist two quantiles and , and a pair of corresponding convex representation coefficients , such that and . Hence,
(19) |
is a random price which equals to with probability and equals to with probability . The second inequality here is because for any CDF function . To upper bound , we introduce an extension of lemma 4.3.
Lemma E.1.
For a type distribution , suppose simultaneous auction satisfies the first and second condition of Definition 3.1, and is a set of independent random prices that satisfy the following for some constant ,
-
(1)
;
-
(2)
.
Then for any Bayes-Nash equilibrium strategy profile of simultaneous auction with independently randomized reserve price ,
To be more clear, the simultaneous mechanism with randomized reserve price, , is defined to be the mechanism that first publicly independently draws for each and , and then implements the simultaneous auction with realized reserve prices ’s. This is a distribution of simultaneous auctions with deterministic reserved prices, and thus its expected revenue is the expectation of these deterministic reserve prices auctions and is not larger than .
Proof.
For the similar reason in Lemma 4.3, by the first condition, for any item , the probability that each bidder’s value on item is smaller than their reserve price on item , , is at least . By the second condition, we know that, for any bidder , the probability of their value for every item is below the reserve price is at least . Moreover, using a similar argument as in Lemma 4.3, we can show that at any equilibrium, any bidder whose value on an item is smaller than its reserve price will take the null action on that item.
Consider bidder with type satisfying two conditions (i) , (ii) . Then must bid on items other than . Thus bidding on item will lead to a non-negative utility which is better than bidding on item .
We introduce the third condition (iii) . Given that both conditions (ii) and (iii) are satisfied, as discussed in the preceding paragraph, bidder will bid at least on item whenever their value of item is not less than the reserve price , and will subsequently secure item . Hence, the expected revenue from bidder ’s payment on item is at least . Since (ii) and (iii) are independent events, the joint probability of both conditions being satisfied is at least . Consequently, the expected revenue generated by the randomized mechanism is at least .
∎
E.2 Proof of Lemma 5.4
Appendix F Approximate Revenue Monotonicity
Theorem F.1.
Let be a set of valuation functions satisfying the properties of monotonicity, subadditivity, and no externalities. Consider two distributions, denoted by and , such that for each , distribution stochastically dominates distribution with respect to valuation function . Specifically, there exists a coupling such that: (i) for all , and (ii) the marginal distributions over and correspond to and , respectively. Then, the following inequality holds:
Proof.
We define as follows for distribution ,
where and we use to denote the set of reserve prices (possibly random) ’s that satisfies the two conditions in Lemma E.1, i.e., (1) , ; (2) , .
An easy fact is that , because for any , and , there exists such that , and is greater than as is stochastically dominated by .
where
Here is the density function of , and , where satisfies that .
Let be a Bayes-Nash equilibrium of simultaneous first price auction S1A w.r.t. type distribution and valuation functions . Following Definition 3.1, we define to be the optimal interim utility of bidder with type , when (a) all other bidders with type distributions bid according to and (b) they can only participate in the competition for items in . Formally,
Now, by Lemma 3.2, is -efficient, which means
By Lemma D.1, we know that satisfies monotonicity, subadditivity, and no externalities. Similar to the proof of Lemma 5.10, we can lower bound ,
And similar to the proof of Lemma 5.11, let be the median of when is sampled from . Since is subadditive over independent items and -Lipschitz, we could apply Lemma 5.12 to get
Now consider drawing a sample from the joint distribution as described in the statement. Since for all , the interim utility of bidder with type is greater than . And monotonicity of implies that . Therefore, the interim utility of bidder with type where is sampled from stochastically dominates the where is from . Thus, if we set the entry fee as , i.e., the median of , the probability that bidder from distribution pays the entry fee is at least . Thus
Combining the two inequalities above, we know
By the obtained lower and upper bound of , we have
Plugging this into (21), and taking ,
The second inequality is due to and by Lemma E.1. The third inequality is by lemma 4.2.
∎