A Simple Mechanism
for a BudgetConstrained Buyer
Abstract
We study a classic Bayesian mechanism design setting of monopoly problem for an additive buyer in the presence of budgets. In this setting a monopolist seller with heterogeneous items faces a single buyer and seeks to maximize her revenue. The buyer has a budget and additive valuations drawn independently for each item from (nonidentical) distributions. We show that when the buyer’s budget is publicly known, the better of selling each item separately and selling the grand bundle extracts a constant fraction of the optimal revenue. When the budget is private, we consider a standard Bayesian setting where buyer’s budget is drawn from a known distribution . We show that if is independent of the valuations and distribution satisfies monotone hazard rate condition, then selling items separately or in a grand bundle is still approximately optimal. We give a complementary example showing that no constant approximation simple mechanism is possible if budget can be interdependent with valuations.
1 Introduction
Revenue maximization is one of the fundamental problems in auction theory. The wellcelebrated result of Myerson [43] characterized the revenuemaximizing mechanism when there is only one item for sale. Specifically, in the single buyer case, the optimal solution is to post a takeitorleaveit price. Since Myerson’s work, the optimal mechanism design problem has been studied extensively in computer science literature and much progress has been made [12, 13, 14, 15, 2, 26]. The problem of finding the optimal auction turned out to be so much more complex than the singleitem case. Unlike the Myerson’s singleitem auction, the optimum can use randomized allocations and price bundles of items already for two items and a single buyer. It is also known that the gap between the revenue of the optimal randomized and optimal deterministic mechanism can be arbitrarily large [11, 38], the optimal mechanism may require a menu with infinitely many options [42, 27], and the revenue of the optimal auction may decrease when the buyer’s valuation distributions move upwards (in the stochastic dominance sense).
In light of these negative results for optimal auction design, many recent papers focused on the design of simple mechanisms that are approximately optimal. One such notable line of work initiated by Hart and Nisan [39] concerns a basic and natural setting of monopoly problem for the buyer with item values drawn independently from given distributions and whose valuation for the sets of items is additive^{1}^{1}1A buyer has additive valuations if his value for a set of items is equal to the sum of his values for the items in the set. (linear). A remarkable result by Babaioff et al. [4] showed that the better mechanism of either selling items separately, or selling the grand bundle extracts at least fraction of the optimal revenue. It was also observed [38, 4, 45] that the independence assumption on the items is essentially necessary and without it no simple (any deterministic) mechanism cannot be approximately optimal.
Auction design with budget constraints is an even harder problem. Because buyer’s utility is no longer quasilinear, many standard concepts do not carry over^{2}^{2}2E.g., the classic VCG mechanism may not be implementable and social efficiency may not be achievable in the budgetedsetting [46].. For example, even for one buyer and one item, the optimal mechanism may require randomization when the budget is public [21], and may need an exponentialsize menu when the budget is private [30]. Despite many efforts [40, 23, 35, 10, 1, 24, 31, 9, 8, 18, 21, 7, 34, 29, 28, 30, 46], the theory of optimal auction design with budgets is still far behind the theory without budgets.
In this paper, we investigate the effectiveness of simple mechanisms in the presence of budgets. Our work is motivated by the following questions:
How powerful are simple mechanisms in the presence of budgets? In particular, is there a simple mechanism that is approximately optimal for a budgetconstrained buyer with independent valuations?
To this end we consider one of the most basic and natural settings of extensively studied monopoly problem for an additive buyer. In this setting, a monopolistic seller sells items to a single buyer. The buyer has additive valuations drawn independently for each item from an arbitrary (nonidentical) distribution. We study two different budget settings: the public budget case where the buyer has a fixed budget known to the seller, and the private budget case where the buyer’s budget is drawn from a distribution. The seller wishes to maximize her revenue by designing an auction subject to individual rationality, incentive compatibility, and budget constraints. We consider the Bayesian setting where the buyer knows his budget and his values for each item, but the seller only knows the prior distributions.
1.1 Our Results and Techniques
Our first result is that simple mechanisms remain approximately optimal when the buyer has a public budget.
Theorem 1.1
For an additive buyer with a known public budget and independent valuations, the better of selling each item separately and selling the grand bundle extracts a constant fraction of the optimal revenue.
Theorem 1.1 is among the few positive results in budgetconstrained settings that hold for arbitrary distributions. Before our work, it is not clear that any mechanism extracting a constant fraction of the optimal revenue can be computed in polynomial time.
In Sections 3 and 4, we present two different approaches to prove Theorem 1.1. Both approaches truncate the valuation distribution according to the budget (in different ways) and then relate the revenues of the optimal/simple mechanisms on the truncated distribution to the revenues on the original valuations. The first approach uses the main result of [4] in a blackbox way, and the second approach adapts the dualitybased framework developed in [16].
It is worth pointing out that many of our structural lemmas hold for correlated valuations as well. Using these lemmas, we can generalize Theorem 1.1 with minimum effort to allow the buyer to have weakly correlated valuations. We call a distribution weakly correlated if it is the result of conditioning an independent distribution on the sum of being at most : (See Definition 1 for the formal definition).
Corollary 1
Let be a weakly correlated distribution. For an additive buyer with a public budget and valuations drawn from , the better of selling separately and selling the grand bundle extracts a constant fraction of the optimal revenue.
In Section 5, we examine the private budget setting. The budget is no longer fixed but is drawn from a distribution . The seller only knows the prior distribution but not the value of . We first show that if the valuations can be correlated with the budget, the problem is at least as hard as budgetfree mechanism design with correlated valuations, where simple mechanisms are known to be ineffective. In light of this negative result, we focus on the setting where the budget distribution is independent of the valuations . In this setting, we show that simple mechanisms are approximately optimal when the budget distribution satisfies the monotone hazard rate (MHR) condition.
Theorem 1.2
When the budget distribution is MHR, the better mechanism of pricing items separately and selling a grand bundle achieves a constant fraction of the optimal revenue.
We will show that it is sufficient to pretend the buyer has a public budget . The proof of Theorem 1.2 uses the MHR condition, as well as the fact that for a public budget , the (budgetconstrained) optimal revenue is nondecreasing in , but optimal revenue divided by is nonincreasing in .
1.2 Related Work
The most closely related to ours are the following two lines of work.
Simple Mechanisms.
In a line of work initiated by Hart and Nisan [39, 41, 4], [4] first showed that for an additive buyer with independent valuations, either selling separately or selling the grand bundle extracts a constant fraction of the optimal revenue. This was later extended to multiple buyers [49], as well as buyers with more general valuations (e.g., subadditive [45], valuations with a commonvalue component [6], and valuations with complements [33]). Others have studied the tradeoff between the complexity and approximation ratio of an auction, along with the design of smallmenu mechanisms in various settings [38, 48, 32, 25, 3].
Auctions for BudgetConstrained Buyers.
There has been a lot of work studying the impact of budget constraints on mechanism design. Most of the earlier work required additional assumptions on the valuations distributions, like regularity or monotone hazard rate ([40, 23, 9, 44]). We mention a few results that work for arbitrary distributions. For public budgets, [21] designed approximately optimal mechanisms for several singleparameter settings and multiparameter settings with unitdemand buyers. For private budgets, [30] characterized the structure of the optimal mechanism for one item and one buyer. [28] gave a constantfactor approximation for additive bidders whose private budgets can be correlated with their values. However, they require the buyers’ valuation distribution to be given explicitly, which is of exponential size in our setting. There are also approximation and hardness results in the priorfree setting [10, 1, 29], as well as designing Pareto optimal auctions [31, 34].
Other Related Work.
Our work concerns revenue maximization for additive buyer. Another natural and basic scenario extensively studied in the literature concerns buyers with unitdemand preferences [19, 20, 22]. Our work studies monopoly problem for additive budgeted buyer in the standard Bayesian approach. In this framework, the prior distribution is known to the seller and typically is assumed to be independent. Parallel to this framework, the (budgeted) additive monopoly problem has been studied in a new robust optimization framework [17, 36]. Another group of papers on budget feasible mechanism design [7, 24, 47, 46] studies different reverse auction settings and are concerned with value maximization.
2 Preliminaries
2.1 Optimal Mechanism Design
We study the design of optimal auctions with one buyer, one seller, and heterogeneous items labeled by . There is exactly one copy of each item, and the items are indivisible. The buyer has additive valuation ( for any set ) and a publicly known budget ^{3}^{3}3 In this paper, we mostly focus on the public budget case. So we define notations and discuss backgrounds assuming the buyer has a public budget..
We use to denote the buyer’s valuations, where is the buyer’s value for item . We consider the Bayesian setting of the problem, in which the buyer’s values are drawn from a discrete^{4}^{4}4Like previous work on simple and approximately optimal mechanisms, our results extend to continuous types as well (see, e.g., [16] for a more detailed discussion). distribution . Let be the set of all possible valuation profiles in . We use for any to denote the probability mass function of : . Let . We say the valuation distribution is independent across items if it can be expressed as .
We assume the buyer is riskneutral and has quasilinear utility when the payment does not exceed his budget. Let and denote the allocation and payment rules of a mechanism respectively. That is, when the buyer reports type , the probability that he will receive item is , and his expected payment is (over the randomness of the mechanism). Thus, if the buyer has type , his (expected) value for reporting type is exactly , ^{5}^{5}5We use to denote the inner product of two vectors and . and his (expected) utility for reporting type is
By the revelation principle, it is sufficient to consider mechanisms that are incentive compatible (i.e., “truthful”). A mechanism is (interim) incentivecompatible (IC) if the buyer is incentivized to tell the truth (over the randomness of mechanism), and (interim) individually rational (IR) if the buyer’s expected utility is nonnegative whenever he reports truthfully. We use for the option of not participating in the auction (), and let . Then, the IC and IR constraints can be unified as follows:
To summarize, when the seller faces a single buyer with budget and valuation drawn from , the optimal mechanism is the optimal solution to the following (exponentialsize) linear program (LP):
(1) 
A mechanism is called expost IC, expost IR, or expost budgetpreserving respectively, if the corresponding constraints hold for all possible outcomes, without averaging over the randomness in the mechanism. We will show the better of pricing each item separately and pricing the grand bundle, which is a deterministic expost mechanism, can extract a constant fraction of the revenue of any interim mechanism.
2.2 Simple Mechanisms
For a buyer with valuation distribution , we frequently use the following notations in our analysis:

: the revenue of the optimal truthful mechanism.

: the maximum revenue obtainable by pricing each item separately.

: the maximum revenue obtainable by pricing the grand bundle.

: the revenue of the optimal truthful mechanism, when the buyer has a budget .

: the maximum revenue that can be extracted by pricing each item separately, when the buyer has a public budget .

: the maximum revenue that can be extracted by pricing the grand bundle, when the buyer has a public budget .
We know that is obtained by running Myerson’s optimal auction separately for each item, and is obtained by running Myerson’s auction viewing the grand bundle as one item. Similarly, is a singleparameter problem as well, with the minor change that the posted price is at most .
The case of is more complicated. For example, when a budgeted buyer of type participates in an auction with posted price for each item , he will maximize his utility by solving a Knapsack problem. There exists a polytime computable mechanism that extracts a constant fraction of (e.g., [8]). We focus on the structural result that the better of and is a constant approximation of . A better approximation for is an interesting open problem that is beyond the scope of this paper.
2.3 Weakly Correlated Distributions
We call a distribution like weakly correlated if the only condition causing the correlation is a cap on its sum.
Definition 1
For an dimensional independent distribution and a threshold , we remove the probability mass on any with and renormalize. Let denote the resulting distribution. Formally,
Weakly correlated distributions arise naturally in our analysis. We will show that if the buyer’s valuations are weakly correlated, then the better of selling separately and selling the grand bundle is approximately optimal, and this holds with or without a (public) budget constraint.
2.4 FirstOrder Stochastic Dominance
Stochastic dominance is a partial order between random variables. A random variable with (weakly) firstorder stochastically dominates another random variable with if and only if
This notion of stochastic dominance can be extended to multidimensional distributions. In this paper, we use the notion of coordinatewise dominance.
Definition 2
Given two dimensional distributions and , we say coordinatewise stochastic dominates ( or ) if there exists a randomized mapping such that when , and coordinatewise for all with probability .
This notion helps us express the monotonicity of optimal revenues in some cases. For example, we can show that when . The mapping allows us to couple the draws and , so that for a set of fixed prices, if the buyer buys an item under , he will also buy it under .
3 Public Budget
In this section, we focus on the public budget case and prove our main result (Theorem 1.1). The buyer has a fixed budget and valuations drawn from an independent distribution .
Theorem 1.1. .
It follows that the better of and is at least . ^{6}^{6}6We do not optimize the constants in our proofs. In Section 4, we will give an alternative proof of Theorem 1.1 that shows , thus improving this constant from 32 to 11.
Overview of Our Approach.
Instead of taking the Lagrangian dual of LP (1) to derive an upper bound on the optimal objective value , we adopt a more combinatorial approach. Intuitively, we come up with a charging argument that splits and charges each part to either or .
First, we partition the buyer types into two sets: highvalue types where and lowvalue types where . Note that we can already charge the revenue of highvalue types to : If we sell the grand bundle at price , all highvalue types will exhaust their budgets.
We now examine the lowvalue types. Let denote the valuation distribution conditioned on the buyer having a lowvalue type. Observe that is independent because it is defined using norm, and we can remove the budget to upper bound its revenue. For a budgetfree additive buyer with independent valuations, we can apply the main result of [4], which states that either selling separately or grand bundling works for : .
Next, we will relate to . We can assume the sum of is usually much smaller than . Similar to standard tail bounds, if the sum is often small and the random variables are independent and bounded (each is at most ), then must have an exponentially decaying tail. Therefore, we can add back the budget, because the sum , which upper bounds the buyer’s payment, is rarely very large.
Finally, we will show that and . The BRev statement is easy to verify, but the SRev statement is more tricky. The monotonicity of in the budgetfree case (see Section 2.4) no longer holds when there is a budget. Fortunately, we can pay a factor of two and circumvent this nonmonotonicity due to budget constraints.
We will now make our intuitions formal and present three key lemmas. Throughout the paper, we will always use as defined below.
Definition 3
Fix an dimensional distribution . Let be the independent distribution where every coordinate of is capped at . That is, , and is given by .
Lemma 1
.
Lemma 2
Assume . Then, and .
Lemma 3
and .
3.1 Proof of Lemma 1
We will prove the following lemma, which is a generalization of Lemma 1.
Lemma 4
Fix and . For any distribution with and for any , we have .
Lemma 1 follows immediately from Lemma 4 by choosing and , because capping each coordinate at does not create new support, and does not decrease probability mass on any type whose sum is at most .
Intuitively, Lemma 4 upper bounds the optimal revenue by splitting the buyer types into two sets: when , we upper bound the seller’s revenue by the budget ; when , we run the optimal mechanism for .
Proof (of Lemma 4)
Let and , and denote the support and probability density function of and respectively. Let be the optimal mechanism that obtains . Recall that and are the allocation and payment rules, and is the optimal solution to LP (1) for and .
We split the optimal revenue into two parts:
Since , the first term is at most , because we can sell the grand bundle at price .
The second term is at most , because is a feasible solution to the LP for . In other words, satisfies the IC and IR constraints for . The revenue of is at least the revenue of on :
Combining the upper bounds, we get .
3.2 Proof of Lemma 2
Lemma 2 states that when the sum of is often small, the budget does not matter too much for . Intuitively, because each coordinate of is independent and upper bounded by , a concentration inequality implies that the sum has an exponentially decaying tail. Therefore, the budget constraint is less critical because it is very unlikely that the buyer’s value for the grand bundle is much larger than the budget.
We formalize this intuition by proving the following lemma, which is similar to standard tail bounds. The main difference is that, instead of knowing the mean of is small, we only know that is small.
Lemma 5
If is independent and for all , then
In particular, if , then for all integer ,
Proof (of Lemma 2)
Let and . We know that from the assumption .
3.3 Proof of Lemma 3
Lemma 3 states that and are both (up to constant factors) monotone in . We prove a more general version of the lemma that does not require to be independent. Recall that means is coordinatewise stochastically dominated by .
Lemma 6
Fix and . For any distribution , and .
Intuitively, we would like to prove that for any . While this is true in the budgetfree case (See Section 2.4), it is actually false in the presence of a budget. We give a counterexample in Appendix B. Fortunately, we can prove . The intuition is that we can cap the price of each item at , then the buyer either spend at least , or he will purchase everything he likes.
Proof (of Lemma 6)
First consider BRev. Because and ,
For SRev, let be the optimal mechanism that achieves by pricing each item separately. We construct a mechanism to mimic except the prices are capped at . Consider applying to a buyer with valuation drawn from and a budget . As , we can couple the realizations and such that (coordinatewise). For every pair:

If gets a revenue of at least on . This is at least fraction of the revenue gets on , because the latter is at most .

If gets a revenue less than on , then the buyer has enough budget left to buy any item. Therefore, the buyer can buy everything he wants. Because , the revenue of on is at least that of on .
Thus, can get at least fraction of the revenue that gets on , which implies . ∎
4 Public Budget and Weakly Correlated Valuations
In this section, we present an alternative approach to prove our main result (Theorem 1.1). Recall that the buyer has a public budget and valuations drawn from an independent distribution .
Theorem 1.1. .
Overview of Our Approach.
We will truncate the input distribution in a different way: instead of truncating in norm (as in Section 3), we will truncate in norm. This truncation produces a correlated distribution . The upshot of truncating in norm is that we always have , so can ignore the budget. In addition, as in Section 3, we can relate the optimal revenue to the revenue of (Lemma 4), and we can relate the revenue of simple mechanisms on back to revenue of simple mechanisms on (Lemma 6).
We still need to argue that simple mechanisms work well for . This is the main challenge in this approach. Because is correlated, we cannot apply the result of [4] in a blackbox way. Instead, we need to modify the analysis of previous work [41, 4, 16] and build on the key ideas like “coretail” decomposition. More specifically, we generalize the dualitybased framework developed in [16] to handle the specific type of correlation has.
Weakly Correlated Valuations.
It is worth mentioning that our structural lemmas (Lemmas 4 and 6) do not require the input distribution to be independent. This is why our techniques can be applied to more general settings. For example, in this section, we will generalize Theorem 1.1 with minimum effort to handle weakly correlated valuations (see Definition 1 for the formal definition).
Our main contribution in this section is Lemma 7. Lemma 7 shows that for any weakly correlated distribution (see Definition 1), the better of and is a constant approximation to the optimal revenue .
Lemma 7
Fix . Let for an independent distribution . We have .
We defer the proof of Lemma 7 to Appendix C. We first use these lemmas to prove Theorem 1.1 and Corollary 1.
Proof (of Theorem 1.1 and Corollary 1)
If , then the seller can price the grand bundle at and the buyer always buys it. In this case, the revenue is and . Thus, we focus on the more interesting case where . ^{7}^{7}7Throughout the paper, when we consider the conditional distribution , we will always have , so that the event we condition on happens with nonzero probability.
Let for . We will reuse Lemmas 4 and 6 from Section 3. We can reuse both lemmas because they do not require or to be independent, does not modify the smallsum part of , and (which we will prove as Lemma 15 in Appendix D).
(Lemma 4)  
(Lemma 7)  
()  
(Lemma 6) 
We now prove Corollary 1. Intuitively, Corollary 1 holds because simple mechanisms work well for weakly correlated valuations, and the the weaklycorrelated notion is closed under further capping the sum.
Let be the input distribution. If , then we can remove the budget constraint and apply Lemma 7 directly. If , then we can cap at to obtain a weakly correlated distribution . One can verify that Lemmas 4 and 6 still hold for and , and Lemma 7 holds for . The only difference is that we need to show for . We will prove this (Lemma 14) in Appendix D. ∎
5 Private Budget
In this section, we consider the case where the budget is no longer fixed but instead drawn from a distribution . One natural model is that the buyer’s budget is first drawn from , and then depending on the value of , the buyer’s valuations are drawn independently for each item.
We show that in this case, the problem is at least as hard as finding (approximately) optimal mechanisms for correlated valuations in the budgetfree setting. Consider an instance in which all possible budgets are larger than so they are irrelevant. However, the budget can still be used as a signal (or a correlation device) to produce correlated valuations. It is known that for correlated distributions, the better of selling separately and bundling together [37], or even the best partitionbased mechanism [4], does not offer a constant approximation.
This negative result motivates us to study the private budget setting when the budget distribution is independent of the valuation distributions .
5.1 MonotoneHazardRate Budgets
We focus on the case where the budget is independent of valuations, and it is drawn from a continuous^{8}^{8}8If the distribution is a discrete MHR distribution, similar results still hold. For discrete distributions we have instead of . monotonehazardrate (MHR) distribution. Let and be the probability density function and cumulative distribution function of . The MHR condition says is nondecreasing in .
Lemma 8
Let be the expectation of an MHR distribution . Let be the optimal mechanism for a buyer with a public budget . Then in expectation, extracts at least fraction of the expected optimal revenue when the buyer has a private budget drawn from .
Proof
Let denote the expected revenue of when the buyer has a public budget and valuations drawn from . Let denote the expected revenue of when the buyer’s budget is drawn from .
The second last step uses when , because provides a menu of allocation/payment pairs for the buyer to choose from; A buyer with budget can afford any option on the menu so he will choose the same option as if he had budget . The last inequality comes from the fact that for any MHR distribution , (see, e.g., [5]).
Let denote the optimal revenue we can extract when the buyer has private budgets drawn from .
The first line is because the seller can only do better if she knows the buyer’s budget . The third line is because . The second line uses the fact that when and when .
We have when because a buyer with budget can afford all options from the menu that achieves . When , consider the menu that achieves and cap all prices at . A buyer with budget either chooses the same option as if he had budget , or chooses a different option whose price must be , and therefore .
By definition . Therefore, . ∎
Theorem 1.2. When the budget distribution is MHR, the better of pricing items separately and bundling them together achieves a constant fraction of the optimal revenue.
6 Conclusion and Future Directions
In this paper, we investigated the effectiveness of simple mechanisms in the presence of budgets, and showed that for an additive buyer with independent valuations and a public budget, either selling separately or selling the grand bundle gives a constant approximation to optimal revenue.
The area of designing simple and approximately optimal auctions with budget constraints is still largely unexplored. Our work leaves many natural followup questions. We only considered selling to a single buyer. An immediate open question is whether our results can be extended to multiple bidders. A generalization to multiple bidders is known in the budgetfree case [49, 16].
Question 1. Is there a simple mechanism that is approximately optimal for multiple additive buyers, when each buyer has the same public budget ?
For private budgets where the budget is independent of the valuations, we showed that if the budget distribution satisfies monotone hazard rate, then we can extract a constant fraction of the revenue. The general case with arbitrary budget distributions appears to be nontrivial and is an interesting avenue for future work.
Question 2. Is there a simple mechanism that is approximately optimal for an additive buyer with private budgets, when the budget distribution is independent of the valuations?
Acknowledgements.
Yu Cheng is supported by NSF grants CCF1527084, CCF1535972, CCF1637397, CCF1704656, IIS1447554, and NSF CAREER Award CCF1750140. Kamesh Munagala is supported by NSF grants CCF1408784, CCF1637397, and IIS1447554; and by an Adobe Data Science Research Award. Kangning Wang is supported by NSF grants CCF1408784 and CCF1637397.
References
 [1] Abrams, Z. Revenue maximization when bidders have budgets. In Proc. 17th ACMSIAM Symp. on Discrete Algorithms (2006), pp. 1074–1082.
 [2] Alaei, S., Fu, H., Haghpanah, N., Hartline, J. D., and Malekian, A. Bayesian optimal auctions via multi to singleagent reduction. In Proc. 13th ACM Conf. on Electronic Commerce (2012), p. 17.
 [3] Babaioff, M., Gonczarowski, Y. A., and Nisan, N. The menusize complexity of revenue approximation. In Proc. 49th ACM Symp. on Theory of Computing (2017), pp. 869–877.
 [4] Babaioff, M., Immorlica, N., Lucier, B., and Weinberg, S. M. A simple and approximately optimal mechanism for an additive buyer. In Proc. 55th IEEE Symp. on Foundations of Computer Science (2014), pp. 21–30.
 [5] Barlow, R. E., and Marshall, A. W. Tables of bounds for distributions with monotone hazard rate. Journal of the American Statistical Association 60, 311 (1965), 872–890.
 [6] Bateni, M., Dehghani, S., Hajiaghayi, M., and Seddighin, S. Revenue maximization for selling multiple correlated items. In Proc. 23rd European Symp. on Algorithms (2015), pp. 95–105.
 [7] Bei, X., Chen, N., Gravin, N., and Lu, P. Budget feasible mechanism design: from priorfree to Bayesian. In Proc. 44th ACM Symp. on Theory of Computing (2012), pp. 449–458.
 [8] Bhattacharya, S., Conitzer, V., Munagala, K., and Xia, L. Incentive compatible budget elicitation in multiunit auctions. In Proc. 21st ACMSIAM Symp. on Discrete Algorithms (2010), pp. 554–572.
 [9] Bhattacharya, S., Goel, G., Gollapudi, S., and Munagala, K. Budget constrained auctions with heterogeneous items. In Proc. 42nd ACM Symp. on Theory of Computing (2010), pp. 379–388.
 [10] Borgs, C., Chayes, J. T., Immorlica, N., Mahdian, M., and Saberi, A. Multiunit auctions with budgetconstrained bidders. In Proc. 6th ACM Conf. on Electronic Commerce (2005), pp. 44–51.
 [11] Briest, P., Chawla, S., Kleinberg, R., and Weinberg, S. M. Pricing randomized allocations. In Proc. 21st ACMSIAM Symp. on Discrete Algorithms (2010), pp. 585–597.
 [12] Cai, Y., Daskalakis, C., and Weinberg, S. M. An algorithmic characterization of multidimensional mechanisms. In Proc. 44th ACM Symp. on Theory of Computing (2012), pp. 459–478.
 [13] Cai, Y., Daskalakis, C., and Weinberg, S. M. Optimal multidimensional mechanism design: reducing revenue to welfare maximization. In Proc. 53rd IEEE Symp. on Foundations of Computer Science (2012), pp. 130–139.
 [14] Cai, Y., Daskalakis, C., and Weinberg, S. M. Reducing revenue to welfare maximization: Approximation algorithms and other generalizations. In Proc. 24th ACMSIAM Symp. on Discrete Algorithms (2013), pp. 578–595.
 [15] Cai, Y., Daskalakis, C., and Weinberg, S. M. Understanding incentives: Mechanism design becomes algorithm design. In Proc. 54th IEEE Symp. on Foundations of Computer Science (2013), pp. 618–627.
 [16] Cai, Y., Devanur, N. R., and Weinberg, S. M. A duality based unified approach to Bayesian mechanism design. In Proc. 48th ACM Symp. on Theory of Computing (2016), pp. 926–939.
 [17] Carroll, G. Robustness and separation in multidimensional screening. Econometrica 85, 2 (2017), 453–488.
 [18] Chakrabarty, D., and Goel, G. On the approximability of budgeted allocations and improved lower bounds for submodular welfare maximization and GAP. SIAM Journal on Computing 39, 6 (2010), 2189–2211.
 [19] Chawla, S., Hartline, J. D., and Kleinberg, R. D. Algorithmic pricing via virtual valuations. In Proc. 8th ACM Conf. on Electronic Commerce (2007), pp. 243–251.
 [20] Chawla, S., Hartline, J. D., Malec, D. L., and Sivan, B. Multiparameter mechanism design and sequential posted pricing. In Proc. 42nd ACM Symp. on Theory of Computing (2010), pp. 311–320.
 [21] Chawla, S., Malec, D. L., and Malekian, A. Bayesian mechanism design for budgetconstrained agents. In Proc. 12th ACM Conf. on Electronic Commerce (2011), pp. 253–262.
 [22] Chawla, S., Malec, D. L., and Sivan, B. The power of randomness in Bayesian optimal mechanism design. Games and Economic Behavior 91 (2015), 297–317.
 [23] Che, Y., and Gale, I. L. The optimal mechanism for selling to a budgetconstrained buyer. J. Economic Theory 92, 2 (2000), 198–233.
 [24] Chen, N., Gravin, N., and Lu, P. On the approximability of budget feasible mechanisms. In Proc. 22nd ACMSIAM Symp. on Discrete Algorithms (2011), pp. 685–699.
 [25] Cheng, Y., Cheung, H. Y., Dughmi, S., EmamjomehZadeh, E., Han, L., and Teng, S. Mixture selection, mechanism design, and signaling. In Proc. 56th IEEE Symp. on Foundations of Computer Science (2015), pp. 1426–1445.
 [26] Daskalakis, C. Multiitem auctions defying intuition? SIGecom Exchanges 14, 1 (2015), 41–75.
 [27] Daskalakis, C., Deckelbaum, A., and Tzamos, C. Mechanism design via optimal transport. In Proc. 14th ACM Conf. on Electronic Commerce (2013), pp. 269–286.
 [28] Daskalakis, C., Devanur, N. R., and Weinberg, S. M. Revenue maximization and expost budget constraints. In Proc. 16th ACM Conf. on Economics and Computation (2015), pp. 433–447.
 [29] Devanur, N. R., Ha, B. Q., and Hartline, J. D. Priorfree auctions for budgeted agents. In Proc. 14th ACM Conf. on Electronic Commerce (2013), pp. 287–304.
 [30] Devanur, N. R., and Weinberg, S. M. The optimal mechanism for selling to a budget constrained buyer: The general case. In Proc. 18th ACM Conf. on Economics and Computation (2017), pp. 39–40.
 [31] Dobzinski, S., Lavi, R., and Nisan, N. Multiunit auctions with budget limits. Games and Economic Behavior 74, 2 (2012), 486–503.
 [32] Dughmi, S., Han, L., and Nisan, N. Sampling and representation complexity of revenue maximization. In Proc. 10th Conference on Web and Internet Economics (WINE) (2014), pp. 277–291.
 [33] Eden, A., Feldman, M., Friedler, O., TalgamCohen, I., and Weinberg, S. M. A simple and approximately optimal mechanism for a buyer with complements. In Proc. 18th ACM Conf. on Economics and Computation (2017), p. 323.
 [34] Goel, G., Mirrokni, V. S., and Leme, R. P. Polyhedral clinching auctions and the adwords polytope. Journal of the ACM 62, 3 (2015), 18:1–18:27.
 [35] Goldberg, A. V., Hartline, J. D., and Wright, A. Competitive auctions and digital goods. In Proc. 12th ACMSIAM Symp. on Discrete Algorithms (2001), pp. 735–744.
 [36] Gravin, N., and Lu, P. Separation in correlationrobust monopolist problem with budget. In Proc. 29th ACMSIAM Symp. on Discrete Algorithms (2018), pp. 2069–2080.
 [37] Hart, S., and Nisan, N. Approximate revenue maximization with multiple items. In Proc. 13th ACM Conf. on Electronic Commerce (2012), p. 656.
 [38] Hart, S., and Nisan, N. The menusize complexity of auctions. In Proc. 14th ACM Conf. on Electronic Commerce (2013), pp. 565–566.
 [39] Hart, S., and Nisan, N. Approximate revenue maximization with multiple items. Journal of Economic Theory 172 (2017), 313–347.
 [40] Laffont, J.J., and Robert, J. Optimal auction with financially constrained buyers. Economics Letters 52, 2 (1996), 181–186.
 [41] Li, X., and Yao, A. C. On revenue maximization for selling multiple independently distributed items. Proceedings of the National Academy of Sciences 110, 28 (2013), 11232–11237.
 [42] Manelli, A. M., and Vincent, D. R. Multidimensional mechanism design: Revenue maximization and the multiplegood monopoly. Journal of Economic theory 137, 1 (2007), 153–185.
 [43] Myerson, R. B. Optimal auction design. Math. Oper. Res. 6, 1 (1981), 58–73.
 [44] Pai, M. M., and Vohra, R. Optimal auctions with financially constrained buyers. Journal of Economic Theory 150 (2014), 383–425.
 [45] Rubinstein, A., and Weinberg, S. M. Simple mechanisms for a subadditive buyer and applications to revenue monotonicity. In Proc. 16th ACM Conf. on Economics and Computation (2015), pp. 377–394.
 [46] Singer, Y. Budget feasible mechanisms. In Proc. 51st IEEE Symp. on Foundations of Computer Science (2010), pp. 765–774.
 [47] Singla, A., and Krause, A. Truthful incentives in crowdsourcing tasks using regret minimization mechanisms. In WWW (2013), pp. 1167–1178.
 [48] Tang, P., and Wang, Z. Optimal mechanisms with simple menus. Journal of Economic Theory 69 (2017), 54–70.
 [49] Yao, A. C. An nto1 bidder reduction for multiitem auctions and its applications. In Proc. 26th ACMSIAM Symp. on Discrete Algorithms (2015), pp. 92–109.
Appendix A Proof of the Concentration Lemma in Section 3.2
In this section, we prove Lemma 5. We first restate it for convenience.