Approximately Optimal Auctions With a Strong Bidder∗
August 2025)
Abstract
We consider auctions with bidders. Of these, are symmetric and is “sufficiently strong” relative to the others. The auction is a “tournament” in which the first players bid to win the right to compete with . The bids of the first players are binding and the highest bidder proceeds to a second-price competition with .
When ’s values converge in distribution to an atom above the upper end of the distribution of the bidders and the rest of the distribution is drained away from low values sufficiently slowly, the auction’s expected revenue is arbitrarily close to the one obtained in a Myerson (1981) optimal auction.
The tournament design is “detail free” in the sense that no specific knowledge of the distributions is needed in addition to the fact that bidder is stronger than the others as required. In particular, no additional information about the value of the atom is needed. This is important since mis-calibrating by a small amount an attempt to implement the optimal auction can lead to large losses in revenue.
We provide an interpretation of these results as possibly providing guidelines to a seller on how to strategically “populate” auctions with a single bidder even when only weaker bidders are available. ††∗Both authors are grateful to EIEF in Rome for hospitality and support.
1 Introduction
Since Vickrey (1961) two benchmark auction formats have dominated a vast literature on auctions111We return to a limited attempt to situate our contribution in this landscape in Section 4 below., the second price and the first price auction (henceforth SA and FA respectively). This is so despite the fact that since Myerson (1981) we know that neither format is optimal except in very special circumstances.222See also Bulow and Roberts (1989).
We consider a “tournament” auction (henceforth TA) in which bidders bid for the right to compete with bidder . The highest of the bidders competes in a second-price contest with for a single indivisible good. All bids are sealed, and the first-stage bids of the bidders are binding in the second-stage competition with .
We focus on the case of a bidder that is sufficiently stronger than the first , just as we did in Anderlini and Kim (2024a). There, among other things, we studied the effects of a large . Here we work with a fixed , but with a distribution of ’s values that approaches an atom above the upper bound of the distribution of values of the first bidders. It turns out that our TA is able to approximate the Myerson (1981) optimal auction (henceforth OA) in a surprisingly informationally parsimonious (or “detail free”) way.
We argue that our results can be interpreted as a way to give advice to a seller facing a single buyer. This will consist of guidelines on how to “populate” the auction with competing sellers even if they are all evidently weaker than the original single buyer.
2 A Shot in the Dark
Many of the desirable properties of our TA when the distribution of ’s values becomes more and more concentrated on an atom above the distribution of values of the first bidders can be captured by looking at an extreme case. This lacks the “smoothness” required for general comparisons in which we will be interested below but is intuitively instructive.
The first bidders are symmetric and have independent private values with support . The distribution is absolutely continuous with continuous density .333Absolute continuity is not needed for our example in this section. We include it here simply because these are our maintained assumptions on the distribution of the s in the general case we consider below.
The value of is drawn independently from the s and has a discrete distribution given by
(1) |
with and .
Ties naturally arise with positive probability in this example because of the discrete distribution of . We assume that ties in the first stage are resolved randomly with a positive probability of winning for each tied bidder. A tie in the second stage instead is always resolved in favor of .444This is obviously special and greatly simplifies the analysis of this example. No such assumption of asymmetric resolution of ties will be needed in the general case.
Denote by the bidding function of bidder . The following constitutes an equilibrium for the TA in the example at hand. The proof can be found in the Appendix.
Proposition 1 (Discrete Distribution)
Suppose that . Then the following is an equilibrium555The equilibrium is essentially unique. For the first bidders, the value of could be set at any level in , but any non-zero bid would involve playing a weakly dominated strategy. It also would not change the outcome of the TA, and hence it would not change the revenue. for the TA in the example at hand.
Bidder bids his value, so that he sets for every . For every we have
(2) |
The expected revenue generated by this equilibrium is . It follows that as approaches , the TA is approximately optimal in terms of expected revenue.
A key property of the equilibrium in Proposition 1 is the revenue it generates, approximating that of the OA as approaches . The fact that bids when his value is is a straightforward consequence of the fact that the second stage is a second price contest and hence bidding one’s value is a weakly dominant strategy. This would be true in a standard second price auction as well of course.
If, with the same values, we opted for a standard SA instead of the TA, with probability the value of would be revealed ex-post via ’s bid. However the expected revenue would equal the expected value of first order statistic of the first values and hence would be bounded above by . The value of would be revealed, but “too late” to be captured by the auctioneer’s revenue.
Of course, if the auction design could incorporate information about the actual value of , then capturing the expected revenue as in the TA would be straightforward. The auctioneer could set a reserve price of for “close” to (below) , and thus obtain an expected revenue bounded below by .
The difference between the TA we described and the SA with a reserve price lies in the information that is required in the auction design. The TA we described does not require any information about the value of to generate revenue . While it clearly requires the knowledge of the identity of the strong bidder (namely ), it is detail free in this crucial dimension.
Setting the reserve price in the standard second price auction in the absence of precise information about instead is very much a “shot in the dark.” Any distance between and “from below” is correspondingly costly in terms of expected revenue. Setting an above decreases expected revenue discontinuously to a level bounded above by . In addition, in this case the outcome also fails to be ex-post efficient since will not win when his value is . Overall surplus (the sum of payoffs) also drops discontinuously once exceeds .
The purpose of this paper is to show that the ability of the TA format to approximate the OA expected revenue generalizes considerably while retaining the informational parsimony showcased in the example, which the OA in general does not posses.
3 Outline
The material in the rest of the paper is organized as follows. In Section 4 we attempt to place our contribution in the context of the enormous extant literature. In Section 5 we present the model in full detail. Section 6 presents some preliminary results, guaranteeing existence and presenting a general “overbidding” feature of the TA that underlies our results.
In Section 7 we begin by discussing the trade-off between optimality and ex-post efficiency for a SA in our strong bidder set-up and then we present our main result. In a nutshell, the TA approximates the OA in our set-up. Crucially, the TA does not use any information about other than the fact that it is greater than .
In Section 8 we examine how attempting to use a SA with a reserve price to approximate the OA is an enterprise fraught with difficulties. Miscalibrating the reserve price relative to the atom the in the limit distribution of ’s values can backfire in several ways. Two are the equivalent of what we highlighted in the discrete distribution example of Section 2. An additional one arises because the way the reserve price approaches is “mismatched” with the way the distribution of values for converges to an atom on .
Section 9 examines a modification of our basic TA design that may be appealing in its own right and that sheds light on a key assumption of the model.
In Section 10, we turn the interpretation of our main result, so to speak, on its head and we conclude the paper. We argue at some length that our results can be interpreted as providing some compelling “advice” to a seller facing a single buyer and thus an extreme version of the shot in the dark problem we mentioned above.
To streamline, all proofs have been gathered in an Appendix. Any item (equations and so on) with a numbering that is prefaced by an “A” is to be found in the Appendix.
4 Relation to the Literature
The work-horses of a truly vast literature on auctions that has developed since Vickrey (1961) are the first- and second-price auctions (FA and SA respectively).666The enormous edited collection presented in Klemperer (2000) is a good way to get a sense of the sheer size of the extant literature. McAfee and McMillan (1987) systematically lay out the state of the literature in the late 80s.
A classic paper by Myerson (1981) presents an elegant solution to the problem of finding the optimal auction (OA) for selling an indivisible object to a given set of potential buyers. In general optimal auctions need to take into account many details of the distributions of values and do not fall neatly under either of the two main formats. The information on the distribution of values may need to be incorporated in “personalized” reservation prices and “priority levels” and this makes the OA difficult to implement and not suited to many practical applications.777See Bulow and Roberts (1989). This has guided a vast literature to examine variations of the two basic formats and their effects on bidders and revenue.
Our TA displays desirable properties in the case of asymmetric bidders, with one bidder () being stronger than the first . Maskin and Riley (2000) studied asymmetric auctions. They focus on the comparison of SA and FA from both the bidders’ and the seller’s point of view. Their insights are difficult to compare with our set up because they study a a two-bidder environment. Instead our set up only makes sense if there are three or more bidders ().
A vigorous empirical and theoretical literature on procurement auctions going back to at least Hendricks and Porter (1988) and extending all the way to the more recent Athey, Levin, and Seria (2011) (among others) is concerned with the effects of asymmetric information across bidders. In a procurement set-up it seems natural to conjecture that incumbents have a substantial informational advantage over newcomers. The strong bidder assumption seems to broadly fit a procurement environment with a known strong insider.
In Anderlini and Kim (2024a)888See also the working paper that it replaced, Anderlini and Kim (2024b). we show that with a strong overbidding999Bidding above one’s value. on the part of the first bidders arises naturally in the TA, giving it an advantage in terms of expected revenue over the SA. Surprisingly, this remains true even in the limit as becomes large.
Here is given and we are concerned with a strong bidder with a distribution of values that converges to an atom. We are able to compare the TA with the OA in the limit and show that expected revenue in the TA converges to the OA revenue. Unlike the OA our TA design is parsimonious in terms of the bidders’ distributions of values. What is needed is the knowledge that is the stronger bidder, that he is indeed sufficiently stronger and that his distribution of values is concentrated in the sense of being to an atom.101010If we pursue further the idea that the stronger bidder is an insider in a procurement set-up, it seems natural to conjecture that past experience would make his distribution of values correspondingly concentrated. This observation is related to our discussion in section 10. The actual value that the atom assigns to the object for sale is not an input of the design of the TA. In this sense the TA is informationally parsimonious or “detail free.”111111Bergemann and Morris (2013) investigate the robustness of the equilibrium outcomes of Bayesian games to their information structure. Their set up is extremely different from the one we analyze here, but our informal notion of informational parsimony (“detail free”) is of course related to the notion of robustness in their work.
5 Model
5.1 Baseline Model
A single indivisible object is for sale and there are bidders. The first compete for the right to enter a second-price contest with . The highest of the first bids wins and proceeds to the second stage. The highest of and wins the object and pays a price equal to the bid of the other.
All bids are sealed and binding, and any ties (in the first or second stage) are resolved by a random draw that gives positive probability of winning to all tied bids.
The values of the first bidders are exactly as in the discrete distribution example of Section 2. The second-stage bidder has value with support . The distribution is absolutely continuous with density that is continuously differentiable on . The value is drawn independently of the values of the first stage bidders. The second-stage bidder is “stronger” in the sense that .
These assumptions will be maintained throughout.
5.2 Convergence
Our main focus is the behavior of the baseline model when the distribution of ’s values converges to an atom above . To do this, we define a sequence of random variables with distributions each satisfying the maintained assumptions of the baseline model. Moreover, we will assume that
(3) |
and121212In the proof of Proposition 6 it will be apparent that (4) is equivalent to stipulating that .
(4) |
Condition (3) is a standard one that stipulates that the sequence converges in distribution to a degenerate random variable that assigns probability to the value . Condition (4) is less familiar. Intuitively, we require that along the sequence the probability mass is drained away from low values sufficiently slowly. We return to the intuitive role of this condition in Sections 7 and 8. Section 9 discusses a modification of our TA design that would allow (4) to be dispensed with entirely. For the time being, we notice that an appropriately “smoothed out” version of the discrete distribution we used in Section 2 will fit the bill.
6 Preliminary Results
Since the second stage of the TA is a second price contest, it follows from standard arguments that it is a weakly dominant strategy for to set .131313For future reference, note that weak dominance remains true when the auction is modified so that a reserve price is set for . Throughout, we will assume that in equilibrium this is indeed the case. In the description of any equilibrium, we will actually omit to specify , it being understood that it is truthful as above.
We will also restrict attention throughout to equilibria that are symmetric in the sense that is the same for every , and when this does not cause ambiguity, we will just denote this common bidding function by . Moreover, we will restrict attention to the case in which is strictly increasing. Both these restrictions are without loss of generality. However, due to the novel format of the TA, the existence of such a requires proof.
Proposition 2 (Existence)
Under our maintained assumptions, there exists a that constitutes a symmetric equilibrium of the TA. Moreover, any such must be strictly increasing.
The fact that the first bidders in equilibrium bid above their respective values is a key feature of the TA. It underlies the results in Anderlini and Kim (2024a), and the approximate optimality one we present below in Section 7. It appears with its proof as a Lemma (the only one) in the online appendix to Anderlini and Kim (2024a). We reproduce it here purely for the sake of completeness.
Proposition 3 (Overbidding)
Let be a strictly increasing function that constitutes an equilibrium for the TA under our maintained assumptions. Then
(5) |
Intuitively, the equilibrium overbidding of Proposition 3, is the result of the interplay between the two-stage structure of the TA and the second-price nature of the second-stage contest.
The only way for one of the first bidders with value to achieve a positive payoff is to win the first stage. This generates acute competition among the weaker bidders. The potential downside of bidding above value in order to win the first stage is mitigated by the nature of the second stage. Since this is a second price contest, with some probability the price paid will still be below . The balance of these two forces yields the optimal bid , which under the maintained assumptions of Subsection 5.1 will be above .
7 Approximate Optimality of the Tournament Auction
Our results in this and the next section concern auctions with a sequence of distributions of values. Throughout this and the next subsection we work with our maintained assumptions of Subsection 5.1 and with a sequence of satisfying the convergence conditions (3) and (4).
Some new notation is needed. We let , and be the expected revenue of the Tournament, Optimal and Second Price auctions respectively along the sequence . Similarly , and will be the expected total surplus (expected sum of payoffs) generated by the three auction formats along the sequence. Finally, is the -th order statistic of the random variables .
An OA need not be efficient.141414Efficient here means maximizing the expected total sum of payoffs. Ex-post efficient has the usual meaning of selling to the highest valuer with probability one. It may well be that that to maximize expected revenue it may be optimal to set a reserve price that induces the good not to be sold in some cases, thus creating an inefficiency. This is a pervasive phenomenon, but as Myerson (1981) points out it is especially apparent and intuitive in the case of a single bidder.151515We will return to single bidders below in Section 10.
The trade-off between revenue and efficiency in our context is well exemplified by the SA. Clearly, the expected revenue of the SA is bounded above by . On the other hand the SA is ex-post efficient, and hence overall efficient. Given that converges in distribution to to as in (3), this easily implies that converges to .
It is interesting to notice that while the trade off between revenue and efficiency is present before we reach the limit, our set up implies that there the trade off vanishes the limit. Intuitively if the limit expected revenue is , then it must be that the bidder is the one that obtains the object with probability closer and closer to . This is simply because , and is the only bidder who can possibly end up paying a price near in any equilibrium.
The intuition we just proposed concerning the vanishingly small trade off between optimality and efficiency turns out to be correct, as our next proposition shows.
Proposition 4 (No Limit Inefficiency)
Consider a sequence of auction mechanisms that generate a sequence of equilibrium expected revenues such that , and let be the corresponding sequence of expected surpluses. Then
(6) |
Somewhat unsurprisingly, the OA yields revenue in the limit.
Proposition 5 (Optimal Auction Revenue)
(7) |
Combining Propositions 4 and 5 we immediately know that the OA is in fact efficient in the limit. Formally
(8) |
The next proposition embodies our main result. It relies on the systematic overbidding of the first bidders identified in Proposition 3 above, and it generalizes what we saw in the discrete distribution example of Proposition 1.
Proposition 6 (Tournament Auction Revenue)
(9) |
The TA also exhibits a lack of limit trade off between revenue and efficiency since it approximates the OA. Proposition 6 generalizes Proposition 1 to the smooth case that allows a proper comparison with the OA of Myerson (1981).
The discrete example of Section 2 helps to understand intuitively the role that (4) plays in the argument behind Proposition 6. Condition (4) ensures that “enough” probability is left on “low values” of as we approach the limit atom on in a way that parallels the probability mass left on in the discrete example of Section 2. This in turn constitutes enough of an incentive (the likelihood of a low second stage sale price) for the first players to bid sufficiently near as we approach the limit (to bid in the discrete example) to reach the conclusion in of Proposition 6.
As we emphasized before, in our view the key feature of the TA is that it’s design does not utilize any information about the value of . The “shot in the dark” problem that we found in Section 2 is solved by the TA in the general case.
8 Miscalibration
Myerson (1981) shows that the OA for a seller facing a single buyer is without loss of generality characterized by a single reserve price . The seller announces , and then the buyer either buys the object at or the object remains unsold. The reserve price depends on the entire distribution of values for the single buyer.
Our set up is in some sense close to the single buyer case, especially when we are close to the limit as becomes large and ’s value approaches the atom on . A natural question to ask is then the following. Can the OA be approximated by picking an appropriate sequence of reserve prices in a second price auction setting? This can in fact be done, but it is subject to a “shot in the dark” miscalibration problem that is even more pervasive than the one that we identified in the discrete distribution example of Section 2.
We are interested in the general version of the miscalibration question we examined in Section 2. To do this we consider the sequence of distributions as in Subsection 5.2 satisfying the convergence properties set out in (3) and (4), together with an sequence of reserve prices . The objective is to examine the expected revenue and surplus of the sequence of second price auctions with values and reserve prices that apply to bidder . These will be denoted by and respectively.
Our first result says that when is close to the limit it is always possible to chose so that the TA is almost optimal in terms of revenue.
Proposition 7 (Approximating Sequence)
There exists a sequence such that
(10) |
Any such sequence must satisfy .
The perils of undershooting or overshooting it are the exact analogues of what the discrete example of Section 2 suggests. Undershooting is costly in terms of expected revenue, and the magnitude of the cost is continuously related to the amount of undershooting. Efficiency is guaranteed in the limit.
Proposition 8 (Undershooting)
Suppose that . Then
(11) |
On the other hand, overshooting is much more perilous than undershooting. Any amount of overshooting yields a discontinuously lower expected revenue and surplus. Bidder is just not willing to buy at the reserve price.
Proposition 9 (Overshooting)
Suppose that . Then
(12) |
and
(13) |
From Proposition 7 we see that while (10) implies that , the reverse may not be true. This is in fact the case. Not all sequences that converge to suffice to approximate the OA expected revenue as in Proposition 7. Convergence of to is necessary but not sufficient.
Given Propositions 8 and 9, this is particularly surprising when the sequence approaches from below since a limit reserve price below is not discontinuously costly. This is the focus of our next proposition.
Proposition 10 (Convergence From Below)
Intuitively condition (4) plays a key role in the argument. As approaches the atom , it could be that enough probability is left “near zero” and that approaches fast enough so that the combined effect of this speed mismatch is almost the same as a reserve price set above .
There is a sense in which Proposition 10 indicates that “a lot” of information about the value of and may need to be taken into account for the SA with a reserve price auction design to be failsafe. This is not the case for the TA.
9 Detail Free “Auctioneer Intervention”
As we anticipated, we return to the role and interpretation of our assumption that as converges to an atom , the rest of the distribution should be drained away from low values sufficiently slowly — namely condition (4) in Subsection 5.2. We do this informally since the argument that substantiates our claim is a minor modification of the proof of Proposition 6, our main result. Our discrete example of Section 2 provides a strong intuition as well.
Suppose that we have a sequence of auctions with a strong bidder satisfying our baseline assumptions of Subsection 5.1 and with converging to an atom , satisfying (3) (convergence in distribution) but not necessarily (4) (slow drain from low values).
We now let the auctioneer “intervene” in the TA design in an essentially detail free way. By this we mean in a way that only uses “low grade information” about . In particular, if the auctioneer knows that then he will be able to pick a such that .161616It is interesting to notice that, trivially, the “tightness” of the condition goes down when is larger and/or is smaller. It is easier to satisfy as becomes more and more stronger than the first bidders. Then the auctioneer can modify the TA design by announcing in advance that after the sealed bids have been submitted he will use a randomization device that will change ’s bid to be equal to zero with probability . After the draw has been executed the rules of the TA are exactly as in our analysis so far — the winner of the first bidders enters a second price context with the (modified if appropriate) bid of .
The limit (as ) expected revenue of this modified TA can be easily seen to be equal to . Thus, as the distribution of values of becomes more concentrated on , the auctioneer can capture a sizable fraction of the surplus . Condition (4) can be dispensed with by modifying the TA design with the randomized auctioneer intervention we have described.
10 Populating Auctions with a Strong Bidder
We conclude the paper describing a further possible extension of the model that we believe also delivers a key insight into what drives our results at a basic “information structure” level.
A key observation in Myerson (1981) characterizes the OA in the case of a single bidder. In this case the seller should offer to sell at a given price and keep the object if the buyer is not willing to buy at that price. The computation that yields the reserve price of the optimal single buyer uses a lot of information about the distribution of the buyer’s value. It is intuitively not unlike the computation that a monopolist carries out, except that the marginal revenue is a probabilistic object in the auction case.
For the reasons we discussed intuitively in Section 8 if the distribution of values is very concentrated (nearing an atom ) the possibility of miscalibrating the reserve price yields potentially discontinuously large revenue losses for the seller. Information about is very valuable to the seller.
Of course, there is a potential pitfall in our reasoning above. If the seller does not have good information about , then why is the distribution of his values concentrated around ? Without going into any formal details (they are standard), one can resolve the issue using a device familiar from the literature on auctions with affiliated values. We can imagine Nature first drawing and then (independently) the actual value of the buyer from a distribution narrowly concentrated around .
The two stage draw we have described is of course without consequence if the auction remains one with one buyer and the seller remains uninformed about . However, we think our main result above (Proposition 6) suggests a way in which the seller may attempt to ameliorate his position in this case. Suppose that the seller who does not know , knows instead that there are potential bidders that, while being weaker than the original one, have accurate information about it — they know in the sense that they observe the outcome of the first draw that determines .171717The discrete example of Section 2 tells us that the potential weak bidders need not know with certainty. They could just receive a sufficiently precise signal (binary) about the draw that determines . If the second stage draw is degenerate this reproduces that exact information structure of Section 2, but a moderately more general statement holds. We mentioned procurement with a strong insider in Section 4 discussing related literature. This set up seems to fit well the scenario we are informally describing here.
The potential bidders may simply not be aware of the opportunity to bid, or may be not sufficiently incentivized to participate because they know themselves to be much weaker than the insider. Proposition 6 says that somewhat surprisingly the seller may stand to gain very substantially by somehow attracting the weaker bidders to participate. In fact Proposition 6 says that in the limit the seller will be able to extract the entire surplus from the original single buyer.181818In a very different context Milgrom and Weber (1982) find that the equilibrium features of the auction they analyze may provide support for the fact that the seller may want attempt to change the informational structure of the game by providing “expert advice” to buyers.
We believe this observation about enticing weaker but well informed participants to be interesting in its own right. However, this also sheds a further light on a key insight provided by Proposition 6. What drives the near optimality of the TA is that, under the right conditions, it allows the seller to leverage to his advantage the information of the weaker bidders even if he does not have the information himself. In a nutshell, this is what drives the informationally parsimonious nature of the approximately optimal TA format that we have investigated in this paper.
References
- (1)
- Anderlini and Kim (2024a) Anderlini, L., and G. Kim (2024a): “Procurement with a strong insider,” Economics Letters, 241, 111785.
- Anderlini and Kim (2024b) (2024b): “Tournament Auctions,” ArXiv Theoretical Economics https://doi.org/10.48550/arXiv.2403.08102, Georgetown University and Einaudi Institute for Economics and Finance.
- Athey, Levin, and Seria (2011) Athey, S., J. Levin, and E. Seria (2011): “An Empirical Study of an Auction with Asymmetric Information,” The Quarterly Journal of Economics, 78, 865–883.
- Bergemann and Morris (2013) Bergemann, D., and S. Morris (2013): “Robust Predistions In Games With Incomplete Information,” Econometrica, 81, 1251–1308.
- Bulow and Roberts (1989) Bulow, J., and J. Roberts (1989): “The Simple Economics of Optimal Auctions,” Journal of Political Economy, 97, 1060–1090.
- Hendricks and Porter (1988) Hendricks, K., and R. H. Porter (1988): “An Empirical Study of an Auction with Asymmetric Information,” The American Economc Review, 78, 865–883.
- Klemperer (2000) Klemperer, P. (ed.) (2000): The Economic Theory of Auctions, The International Library of Critical Writings in Economics. Cheltenham: Edward Elgar Publishing.
- Maskin and Riley (2000) Maskin, E. S., and J. Riley (2000): “Asymmetric Auctions,” Review of Economic Studies, 67, 413–438.
- McAfee and McMillan (1987) McAfee, R. P., and J. McMillan (1987): “Auctions and Bidding,” Journal of Economic Literature, 25, 699–738.
- Milgrom and Weber (1982) Milgrom, P. R., and R. J. Weber (1982): “A Theory of Auctions and Competitive Bidding,” Econometrica, 50, 1089–1122.
- Myerson (1981) Myerson, R. (1981): “Optimal Auction Design,” Mathematics of Operations Research, 6, 58–63.
- Vickrey (1961) Vickrey, W. (1961): “Counterspeculation, Auctions, and Competitive Sealed Tenders,” The Journal of Finance, 16, 8–37.
Appendix
A.1 The Proof of Proposition 1
Assume that bidders bid according to (1) and consider bidder with value . If he bids as the proposed equilibrium requires, his expected payoff is . If he bids and he wins clearly his payoff cannot be greater than zero since the price cannot be negative. If he bids and he does not win, then his payoff is zero. Hence he has no incentive to deviate from the proposed equilibrium when .
Now consider bidder with value . If he bids as the proposed equilibrium requires, he wins the first stage with positive probability as the tie with the other first stage bidders is resolved in his favor with positive probability, say . He then wins the object in the second stage if and only if the bid of is . In this case he gets the object and pays a price of . So, by bidding as required has an expected payoff of . If instead bids , he loses the first stage contest to the other bidders. Hence his expected payoff in this case is . If he bids , he wins the first and second stage for sure and pays a price equal to the bid of . Therefore in this case his expected payoff is . This is clearly enough to prove the proposition.
A.2 The Proof of Proposition 2
The following are standard, but we repeat the statements here for the sake of completeness since they are used in the argument that follows.
Lemma A.1 (Schauder’s Fixed Point Theorem)
Suppose is a closed convex nonempty subset of a normed linear space and is a relatively compact subset of . Let be continuous. Then, contains a fixed point.
Lemma A.2 (Arzelà-Ascoli Theorem)
A family of continuous real-valued functions on with is relatively compact under the sup-norm if and only if it is uniformly bounded and uniformly equicontinuous.
The actual proof of Proposition 2 is divided in 6 steps. Steps 1-5 establish existence, and Step 6 proves that any inducing an equilibrium must be strictly increasing.
Step 1
We define the function and establish some of its key properties for use in future steps.
Define the function as below:
(A.1) |
It is immediately clear that is differentiable on with
(A.2) |
Furthermore, we can show that differentiability also holds at with
(A.3) |
by applying L’Hopital’s rule twice along the way.
We can then also check that is continuous on . This is immediate on . Then, also at 0, we can see that
(A.4) |
Hence we may conclude that is continuously differentiable wit ha strictly positive derivative on . It then immediately follows that is invertible with . Also, it follows that is continuously differentiable with a strictly positive derivative on . In particular, we note for future reference that .
Finally, we note that
(A.5) |
(A.6) |
Step 2
We now define an ODE and some related functions that will be useful for future purposes.
The ODE is defined as below:
(A.9) |
Notice that any satisfying the above ODE would immediately have . Hence we refer to as a solution to the ODE above if it satisfies (A.9) on and . Notice that any solution to the ODE above must be strictly increasing on since on the defined region.
In order to establish our fixed point argument, it is convenient to work on the space rather than . Hence we define the function
(A.10) |
Notice then that is partially differentiable with respect to and that
(A.11) |
for all .
Step 3
There exists and such that satisfies (A.9) on and .
This step is proved in 9 sub-steps, labelled from 3-a to 3-i.
Step 3-a: There exists such that for every , the function is strictly decreasing in on .
Consider (A.11). For all we have that
(A.12) |
Furthermore, let us then define the region for any . Then, since is continuous and (see step 1), we have that
(A.13) |
Also, we can see from the continuity of that
(A.14) |
Thus, we can find such that
(A.15) |
for all . Then, examining (A.11), it is clear that we have
(A.16) |
for all , which clearly establishes the claim of this sub-step.
Step 3-b: We now construct the bounded space of functions on which we will later establish our fixed point existence argument.
Firstly, observe that for every ,
(A.17) |
(A.18) |
Then, by step 3-a above, it is clear that for every , there exists a unique such that . Furthermore, we define so that is a well-defined function.
We then prove is continuous. Continuity at is obvious, so we focus on continuity at . Suppose, without loss of generality, that there is some and such that and for all . Then, due to Step 3-a, we have that
(A.19) |
and so
(A.20) |
However, notice that for all , we have
(A.24) |
where the limit was computed based on results from step 1. Notice then that we can show
(A.25) |
which is clearly a contradiction. Hence we have established the continuity of .
Given that , we can then choose small enough such that
(A.26) |
We now define the functions
(A.27) |
(A.28) |
where and are chosen to be small enough such that
(A.29) |
Notice then that are both continuous. Also, is stirctly increasing and is strictly decreasing on . Finally, notice that
(A.30) |
(A.31) |
We then define the space of all continuous functions such that for all .
It is also useful to define the larger space of all continuous functions such that . It is clear that .
Step 3-c: Consider the set . Then, there exists a constant such that for all .
To prove this, we will establish the boundedness of each component of (A.11). Firstly, is continuous on with , so it is clearly bounded on .
Secondly, notice that for all . Also, from the assumptions on , we can find constants such that for all . Hence it is clear that we may bound away from 0 on .
Thirdly, for all .
Fourthly, notice that
(A.32) |
for all .
Fifthly, from the continuity of , it follows that is bounded on .
Combining the above, we can clearly see the boundedness of on
Step 3-d: We now define mappings for which we will establish our fixed point arguments.
We first define as below. Given , define as below:
(A.33) |
(A.34) |
It remains to be established that defined as above belongs to . In particular, we must establish the continuity of at 0. This is done below. Firstly, by an application of L’Hopital’s rule,
(A.35) |
Then, we have that the above is equal to
(A.36) |
Since , we have . Then, by Step 3-b, we know that . Furthermore, by Step 3-c, we know that
(A.37) |
which converges to 0 as due to the continuity of . Therefore, it follows that
(A.38) |
which establishes our desired claim of continuity at 0. Thus, we have a well-defined mapping .
We then define the mapping as below. Given , define the function as below:
(A.39) |
By construction it is clear that .
Step 3-e: Under the sup-norm, is a continuous mapping.
Let . Then,
(A.40) |
We may then use step 3-c to obtain
(A.41) |
from which continuity of follows.
Step 3-f: The image of is a uniformly equicontinuous family of functions.
First, we show that there is a constant such that for all , we have
(A.42) |
To see this, first note that is a finite quantity and hence that is a bounded set. Then, using Step 3-c, we can show that
(A.43) |
for all , which clearly establishes our claim.
Now we proceed to establish uniform equicontinuity. Let us fix an arbitrary .
Firstly, since , we can find some such that .
Secondly, by the Heine-Cantor theorem, both and are uniformly continuous on . Thus, we can find some such that for every with ,
(A.44) |
(A.45) |
Thirdly, given , notice that for any
(A.48) |
Then, using (A.42), we can establish that
(A.49) |
From this it is clear that we can set such that for every with , we have for every that
(A.50) |
Let us now define . Then, fix any and with . To establish uniform equicontinuity, it suffices to show that . We do this by considering three separate cases.
Case 1: .
Then, it is immediately clear from the construction of that
(A.51) |
Case 2: .
Without loss of generality, let . Then, we can analyze the four sub-cases below:
Case 2(a): .
By construction of the functions it is then clear that
(A.52) |
Case 2(b): Either (1) and ; or (2) and .
Under the first case, it is clear that
(A.53) |
An analogous inequality holds for the second case as well.
Case 2(c): Either (1) and ; or (2) and .
Under both cases, it is clear that by construction the inequality (A.52) must hold.
Case 2(d): Either (1) and ; or (2) and .
Consider the first case. Due to (A.50), we have that
(A.54) |
Then, notice that
(A.55) |
Also, we have that
(A.56) |
Therefore, it is clear that . An analogous argument can be established under the second case as well.
Case 3: and .
We then have by combining Cases 1 and 2 above that
(A.57) |
Step 3-g: The mapping has a fixed point .
Consider the space of continuous functions mapping to , which is a normed linear space under the sup-norm. Then, notice is a nonempty closed convex subset of this normed linear space.
Furthermore, we know that the image of is uniformly equicontinuous by step 3-f. Also, it is clear by construction that is uniformly bounded. Hence it follows from the Arzelà-Ascoli theorem that is relatively compact.
Finally, recall that is continuous by step 3-e. Therefore, by Schauder’s theorem, must have a fixed point .
Step 3-h: is also a fixed point of .
It suffices to prove that for all . We will prove below that for all . The proof for the other inequality follows a symmetric argument.
Suppose for contradiction that for some . We can then show that there exists some such that . To see this, suppose that for all . Then, we would have that
(A.58) |
which in turn implies
(A.59) |
and hence
(A.60) |
which is clearly a contradiction.
Let us then define , which must clearly be non-empty. Hence define , which clearly lies in the interval . Furthermore, by continuity, it must be that . However, notice that
(A.61) |
while . It is then clear that is strictly decreasing in some right-neighborhood of . However, since is strictly increasing, we reach a contradiction of as the infimum of . Consequently, we establish step 3-h.
Step 3-i: We now complete the proof of Step 3.
Let us define
(A.62) |
Then, we have by step 3-h that for all ,
(A.63) |
The claim of Step 3 is then clear.
Step 4
The local solution constructed in Step 3 can be extended to a global solution of the ODE (A.9).
It suffices to show the existence of a function such that (1) , and (2) satisfies the ODE (A.9) on . Notice that this corresponds to a standard Cauchy problem.
Consider the space , and notice that the function from (A.9) is well-defined on this restricted space . Furthermore, it is clear that is continuous on . Also, notice that exists and is continuous on . Consequently, it follows from the Cauchy-Lipschitz theorem that (1) given any point , there is a unique local right solution for the ODE (A.9), and (2) given any point with , there is a unique local solution for the ODE (A.9).
Let us then define the set as the collection of all for which there exists such that and satisfies (A.9) on its domain . Then, we know that is nonempty with due to the local existence property established above. Furthermore, we know that if , every possible function with and and satisfying (A.9) on must agree on the value of . Thus, we may construct a uniquely well-defined function . It is immediately clear that and satisfies (A.9) on .
Since for all , we must have that defined above is strictly increasing on . Hence exists. We will now prove that
(A.64) |
by ruling out the two cases shown below:
Case 1: Suppose .
Then, we clearly have
(A.65) |
which in turn implies that there is some such that . This constitutes a contradiction.
Case 2: Suppose .
Then, we have
(A.66) |
where the inequality follows from step 1. However, it is then clear that there is some such that which is once again a contradiction.
We will now proceed to prove that . Suppose for contradiction that . Then, due to (A.64), we can extend the solution to a neighborhood of . However, this contradicts the definition of .
We therefore have a function with and satisfying (A.9) on . We also know that . Let us then define
(A.67) |
Then, to complete the proof of step 4 it suffices to show that
(A.68) |
Notice that for any , we must have
(A.69) |
for some due to the Mean Value Theorem. Then, since
(A.70) |
it is clear that (A.68) must hold.
Step 5
We conclude the proof of existence by establishing that the constructed in step 4 induces an equilibrium in the tournament auction.
Consider a first-stage bidder with value . Given that (1) all other first-stage bidders bid according to , and (2) the second-stage bidder bids his value, we must show that the optimal bid is .
Firstly, if , then the optimality of is obvious.
Let . We first show that it is suboptimal to bid . In particular, it is strictly better to submit the bid . To see this, note that the payoff under bid is , whereas the payoff under bid is . Since , it is immediately clear that bidding is strictly better than bidding .
Hence we have reduced the bidder’s problem to choosing a bid from . This is equivalent to the set . Hence we can reformulate the bidder’s problem as choosing a reported value as below:
(A.71) |
We may then compute the derivative
(A.72) |
Notice first that
(A.73) |
Then, for , notice that we have
(A.74) |
from which it follows that
(A.75) |
Then, we can substitute (A.9) and simplify to obtain
(A.76) |
We can then see that
(A.77) |
Thus, from (A.73) and (A.77), it is clear that the bid is optimal. This then establishes that induces an equilibrium in the tournament auction as required.
Step 6
We now establish that any inducing an equilibrium must be strictly increasing.
We begin by first establishing that any such must be weakly increasing. Suppose by way of contradiction that we can find such that and . Fix any first-stage bidder . Let us denote as the probability of winning the first stage given bid and that all others bid according to the equilibrium bidding function .191919Notice that we allow to be bidder-specific due to potentially unequal tie-breaking rules. However, once we prove this proposition, it will be clear that ties arise with zero probability in equilibrium and tie-breaking rules do not matter. Then, from optimality of the equilibrium bids, we must have
(A.78) |
Then, it is clear that
(A.79) |
Then, since by assumption, we have
(A.80) |
However, this contradicts the optimality of bid given value .
The argument above has established that is weakly increasing. In Step 2 of the (only) Lemma in the Online Appendix of Anderlini and Kim (2024a) we prove that if is weakly increasing, it must be strictly increasing as well. This is sufficient to conclude the proof.
A.3 The Proof of Proposition 3
See the (only) Lemma in the online Appendix to Anderlini and Kim (2024a).
A.4 The Proof of Proposition 4
Since must hold, it suffices to show that . Notice that the total expected payoff among all bidders (excluding the seller) is . Then, observe that
(A.81) |
Since the expected payoff of each bidder must be nonnegative, we must have , which completes the proof.
A.5 The Proof of Proposition 5
We begin by establishing that . Recall Myerson’s (1981) formula for the expected revenue based on virtual utility.202020This is equation (4.12) in Myerson (1981) Also recall that virtual utility is always bounded above by the true value. Hence for any fixed we may write
(A.82) |
Then, since and is a constant, we also have that . Thus, we may then write
(A.83) |
Since was arbitrary, we have established .
A.6 The Proof of Proposition 6
Fix any , and consider the conditional expectation
(A.84) |
From the monotonicity of with respect to , it is clear that is equivalent to for all . It then follows that (4) is equivalent to the condition . We will work with the latter condition throughout this proof.
The remainder of the proof proceeds in four steps.
Step 1
for all .
By way of contradiction suppose that for some . Then, choose a subsequence that converges to some . Along this subsequence, the equilibrium payoff of a first-stage bidder with value converges to
(A.85) |
which is a contradiction of optimality.
Step 2
Suppose that there is some such that does not hold (either because the limit does not exist, or because the limit does not equal ). Then, we must have for all .
To prove this claim, first notice that for any , does not hold if and only if
(A.86) |
This is a direct consequence of Step 1.
Hence we begin with the hypothesis that for some . Fix any . Our goal is to establish .
By our hypothesis there is some subsequence such that . We will first show that for any such subsequence, we must have . Suppose that this is not the case. Then, we can find a finer subsequence such that Along this sub-subsequence, consider the corresponding sub-subsequence of equilibrium payoffs for a first-stage bidder with value :
(A.87) |
Then, consider also the payoff of a first-stage bidder with true value but bidding according to . We would then have
(A.88) |
Then, observe that
(A.89) |
as . However, this clearly contradicts the optimality of the equilibrium bid given . Therefore, we have established our claim that implies .
We now establish the main claim of Step 2. Suppose for contradiction that so that there exists some subsequence such that . Then, it is clear from the monotonicity of the bidding function that there is a finer subsequence given such that the sub-subsequence converges to a bid strictly below . However, we then know from the claim established above that which is clearly a contradiction.
Step 3
for all .
From Step 2, it is clear that there is at most one for which does not hold. However, we can always choose any , for which we are sure that the convergence condition holds. Then, from the monotonicity of the bidding function and the result of Step 1, it is clear that must actually hold. Thus, Step 3 is established.
Step 4
We now establish Proposition 6.
For any , we clearly have
(A.90) |
Hence for any and we have
(A.92) |
(A.93) |
Hence it is clear that
(A.94) |
Then, from Proposition 5, it is clear that
(A.95) |
A.7 The Proof of Proposition 7
We prove the first claim of existence by direct construction. Fix any such that . We can then construct a sequence that is strictly increasing based on the following procedure. First define . Then, for each , we know that since , there is some with such that for all .
Now we define as below:
(A.96) |
Then, by construction we must have that for each
(A.97) |
Therefore, we must then have that
(A.98) |
In light of the inequality established in the proof of Proposition 5, the first claim of existence is then proven.
A.8 The Proof of Proposition 8
We begin by noting that for
(A.99) |
and
(A.100) |
A.9 The Proof of Proposition 9
A.10 The Proof of Proposition 10
Convergence in distribution as in (3) implies that if and if . However, when , the asymptotic behavior of is indeterminate. We can have for any . Let us begin by fixing any such .
Let us first define . Then, for each we have from the continuity of that there exists such that
(A.101) |
It is immediately clear from this construction that we must then that with for each . Furthermore, we must have
(A.102) |
Let us then recall (A.99) and (A.100) as formulas for the expected revenue and surplus for the second price auction with reserve price . Firstly, in light of (A.102) and , it follows from equation (A.99) that we must have
(A.103) |
Let us then consider the limit of the expected surplus as in (A.100). We will consider two separate cases:
Case 1: .
Notice that is bounded in across all . Thus, it follows that
(A.104) |
under the case of . We then have from taking the limit of (A.100) that
(A.105) |
which is our desired conclusion.
Case 2: .
Let us consider the conditional distribution of given . The support is , and the conditional distribution is given by
(A.106) |
for all . Then, we may write the conditional expectation as
(A.107) |
Then, using the dominated convergence theorem and , we have that
(A.108) |
Therefore, taking the limit of (A.100), we obtain
(A.109) |
which completes the proof.