-Partitioning Valuations: Exploring the Space Between Subadditive and Fractionally Subadditive Valuations
Abstract
For a set of elements, we define a decreasing chain of classes of normalized monotone-increasing valuation functions from to , parameterized by an integer . For a given , we refer to the class as -partitioning. A valuation function is subadditive if and only if it is -partitioning, and fractionally subadditive if and only if it is -partitioning. Thus, our chain establishes an interpolation between subadditive and fractionally subadditive valuations. We show that this interpolation is smooth (-partitioning valuations are ânearlyâ -partitioning in a precise sense, Theorem 6), interpretable (the definition arises by analyzing the core of a cost-sharing game, Ă la the Bondareva-Shapley Theorem for fractionally subadditive valuations, Section 3.1), and non-trivial (the class of -partitioning valuations is distinct for all , Proposition 3).
For domains where provable separations exist between subadditive and fractionally subadditive, we interpolate the stronger guarantees achievable for fractionally subadditive valuations to all. Two highlights are the following:
- i)
-
ii)
Two upper-tail concentration inequalities on -Lipschitz, -partitioning valuations over independent items. One extends the state-of-the-art for to , the other improves the state-of-the-art for for . Our concentration inequalities imply several corollaries that interpolate between subadditive and fractionally subadditive, for example: . To prove this, we develop a new isoperimetric inequality using Talagrandâs method of control by points, which may be of independent interest.
We also discuss other probabilistic inequalities and game-theoretic applications of -partitioning valuations, and connections to subadditive MPH- valuations [25].
Keywords and phrases:
Subadditive Functions, Fractionally Subadditive Functions, Posted Price Mechanisms, Concentration InequalitiesCategory:
Track A: Algorithms, Complexity and GamesFunding:
S. Matthew Weinberg: Supported by NSF CCF-1955205. During Professor Weinbergâs development of this paper, he participated as an expert witness on behalf of the State of Texas in ongoing litigation against Google (the âGoogle Litigationâ).Copyright and License:
![[Uncaptioned image]](x1.png)
2012 ACM Subject Classification:
Theory of computation Algorithmic mechanism design ; Mathematics of computing Probability and statistics ; Theory of computation Computational pricing and auctionsAcknowledgements:
We are thankful to Jan Vondrak for a helpful discussion which led to the inequalities based on Talagrandâs method of control by q points. We are also thankful to the anonymous reviewers for helpful remarks on the exposition.Editors:
Keren Censor-Hillel, Fabrizio Grandoni, JoĂŤl Ouaknine, and Gabriele PuppisSeries and Publisher:

1 Introduction
1.1 Motivation
Functions of the form are a fundamental object of study in the fields of Algorithmic Game Theory and Combinatorial Optimization. For example, when is a set of items in an auction, could indicate the value that an agent obtains from receiving the bundle (see more about combinatorial auctions in [44, Chapter 11]). When is a set of agents, could indicate the cost that agents need to pay in order to purchase a given service together (see more about cost sharing in [44, Chapter 15]).
As set functions111We will use the terms set function and valuation interchangeably in the rest of the paper. This convention is motivated by the setting of combinatorial auctions in which indicates the âvalueâ of the subset of items are motivated by real world processes â auctions, cost sharing, and job scheduling among others â the mathematical study of such functions usually assumes that they satisfy certain natural properties. Throughout the paper, we assume that all valuations satisfy the following two simple technical properties: they are monotone ( whenever ) and normalized (). Economic considerations give rise to more complex conditions on set functions. For example, frequently imposed is the condition of diminishing marginal values, also known as submodularity. Another condition motivated by economics is complement-freeness in the values that an agent obtains from bundles of items, which is also known as subadditivity. Finally, one could be interested in the existence of prices which incentivize cooperation among agents when purchasing a given service; this turns out to be equivalent to the fractionally subadditive property (see Section 3.1).222In this paper, the terms âsubmodularityâ, âfractional subadditivityâ, and âsubadditivityâ imply monotonicity and normalization.
In this paper, we focus our attention on fractionally subadditive and subadditive set functions. Trivially, fractionally subadditive functions are a smaller class strictly contained in the class of subadditive functions. Something stronger turns out to be true â Bhawalkar and Roughgarden show the existence of subadditive functions which are very far from being fractionally subadditive in a precise quantitative sense [6]. This difference between fractionally subadditive and subadditive valuations is not purely theoretical and has important implications. For example, in the context of combinatorial auctions, there exists a posted price mechanism that gives a -approximation to the optimal welfare when all players have fractionally subadditive valuations [32], but the best known approximation ratio for subadditive valuations is where is the number of items [22] (moreover, the [32] framework providing a -approximation for XOS provably cannot beat for subadditive, and the [22] framework provably cannot beat ). A recent breakthrough [13] established a constant-factor prophet inequality for subadditive valuations, but it is not achieved via a posted-price mechanism. Similarly, in the context of concentration inequalities, a fractionally subadditive valuation has -subgaussian lower tails (see [52, Corollary 3.2]), but such a strong dimension-free concentration provably does not hold for subadditive valuations (see [52, Section 4]).
What if a set function is âsomewhere in between being subadditive and being fractionally subadditiveâ? On the one hand, as it is not fractionally subadditive, one cannot use the strong guarantees of fractional subadditivity (such as in posted price mechanisms or subgaussian concentration) when analyzing it. On the other hand, as the set function could be significantly more structured than an arbitrary subadditive function, it is perhaps inefficient to simply use the much weaker properties guaranteed by subadditivity (especially, those that provably cannot be improved for all subadditive functions). Our goal in this paper is to fill this gap by providing intermediate results for functions âin between being subadditive and being fractionally subadditiveâ in instances where a separation between the (known) guarantees for subadditive and XOS functions exists. This is a novel direction which complements the growing literature on demonstrating a separation between the guarantees for subadditive and XOS functions ([52, 6, 20] and others).
Explicitly, we define a chain of function classes that starts with fractionally subadditive set functions and expands to subadditive set functions. Our goal is to understand how the behaviour of these function classes changes along the chain. We focus on several setups in which subadditive and fractionally subadditive valuations have received significant attention in the literature, and in which provable separations already exist between subadditive and fractionally subadditive valuations. That is, we focus on domains in which strong claims known for fractionally subadditive valuations provably do not hold for all subadditive valuations, and we seek to interpolate these results along our hierarchy.
1.2 Results Part I: Defining -partitioning valuations
Our chain of classes is parametrized by a positive integer parameter ranging between (which corresponds to the fractionally subadditive case) and (which corresponds to the subadditive case). The number corresponds to the complexity of fractional covers under which the valuation function is non-diminishing. We call the respective classes -partitioning and the resulting interpolation the partitioning interpolation. We give a formal definition in Definition 2. We then establish that the partitioning interpolation satisfies several desirable properties:
-
Interpretability: In Section 3.1, we present an economic interpretation of -partitioning via the core of a cost-sharing game Ă la the Bondareva-Shapley theorem which characterizes fractionally subadditive valuations [7, 49] â See also [44, Theorem 15.6]. In slightly more detail, say there is a service that can be acquired by set of players if they together pay . One can then ask, for any subset whether or not there exist non-negative prices such that: a) (service is purchased for ) and b) for all , (no set wishes to deviate and purchase the service just for themselves). The Bondareva-Shapley theorem, applied to monotone normalizd cost functions, states that such prices exist for all if and only if is fractionally subadditive.
Consider instead modifying the game so that players are grouped into fully-cooperative cities (that is, cities will always act as a coherent unit, and will act in the best interest of the entire city). One can then ask, for any subset and any partitioning of into cities , do there exist non-negative prices such that: a) (service is purchased for ) and b) for all , (no set of cities wishes to deviate and purchase the service just for themselves). Proposition 10 establishes that such prices exist for all and all partitionings of into at most cities if and only if is -partitioning.
-
Smoothness of The Interpolation: In Theorem 6, we show that our chain of classes is smooth in the sense that every -partitioning valuation is almost -partitioning. Formally, Theorem 6 establishes that the class of -partitioning valuations is -close to the class of -partitioning valuations. We provide a formal definition of closeness in Definition 5, but note briefly here that it is the natural extension of closeness to XOS valuation functions from [6] extended to . Also, every -partitioning valuation is -partitioning. Thus, the classes are âsmoothly expanding along the interpolation.â
-
Existence of Classes: In Proposition 3, we show that for each and there exist -partitioning valuations over that are not -partitioning. In other words, none of the classes âcollapsesâ to a lower level.
1.3 Results Part II: Posted price mechanisms and concentration inequalities
Our main results apply the partitioning interpolation to two canonical problems where subadditive and fractionally subadditive valuations are provably âfar apart.â Our main results provide analyses that smoothly degrade from fractionally subadditive to subadditve as decreases â this enables stronger guarantees for wide classes of structured subadditive functions which (provably) cannot be obtained for all subadditive functions.
Posted Price Mechanisms.
Posted price mechanisms are a core objective of study within Algorithmic Game Theory, including multi-dimensional mechanism design [11], single-dimensional mechanism design [53, 2], and the price of anarchy [32, 20]. Posted price mechanisms list a price for each item , then visit the bidders one at a time and offer them to purchase any remaining set of items at price (and these items become unavailable for all future bidders). Of course, strategic players will pick the remaining set that maximizes .
Of key importance to multiple of these agendas is the following basic question: to what extent can posted price mechanisms optimize welfare in Bayesian settings? Specifically, assume that each bidder âs valuation function is drawn independently from a known distribution over valuations in some class . The optimal expected welfare is . When strategic players participate in a posted-price mechanism with prices , some other partition of items is selected, guaranteeing some other expected welfare. What is the maximum such that for all supported on , there exists a posted-price mechanism guaranteeing expected welfare at least an -fraction of the optimal welfare? Besides being the main question of study in works such as [32, 20, 22], resolving this question has downstream implications for revenue-maximization in multi-dimensional settings due to [10].
For the class of fractionally subadditive valuations, [32] establish a -approximation, which also implies a -approximation for subadditive valuations. However, their techniques provably cannot yield stronger guarantees for subadditive valuations [6, 20]. Recent breakthrough work of [22] designs a new framework for subadditive valuations that yields an -approximation, but aspects of their framework also provably cannot provide stronger guarantees. In this sense, there is a strong separation between the state-of-the-art guarantees on posted price mechanisms for fractionally subadditive and subadditive valuations (and also, there is a permanent separation between what can be achieved within the aforementioned frameworks).
Main Result I.
Our first main result provides an -competitive posted price mechanism when all distributions are supported on -partitioning valuations. This is stated in Theorem 16.
Note that this guarantee matches both the constant factor approximation in the fractionally subadditive case (setting ) and the factor in the subadditive case (setting ) and interpolates between the two approximation factors when is in between. In particular, note that this matches the state-of-the-art in both extremes, and matches the best guarantees achievable by the [22] approach in both extremes.
Concentration Inequalities.
Consider a function , and a set selected by randomly including each item independently (not necessarily with the same probability). It is often of interest to provide upper tail bounds on the distribution of compared to . McDiarmidâs inequality is one such example when is -Lipschitz.333 is -Lipschitz if for all . When is subadditive or fractionally subadditive, even stronger upper tail bounds are possible [52].
For example, if is both -Lipschitz and subadditive, Schechtmanâs inequality implies that the probability that exceeds twice its median plus decays exponentially in  [48].444Schechtmanâs inequality is more general than this, but this is one common implication. See (2) for the general statement. Importantly, Schechtmanâs inequality provably cannot âkick inâ arbitrarily close to the median for all subadditive functions [52].
Main Result II.
Theorem 20 improves Schechtmanâs inequality across the partitioning interpolation. In particular, our improvement implies that for all -Lipschitz and -partitioning , the probability that exceeds times its median plus decays exponentially in . This is stated in Theorem 20 . In particular, Theorem 20 makes use of a new isoperimetric inequality â Theorem 21 â that may be of independent interest.555Note that this result, and that of [48] applies in a more general setting where there is a collection of independent random variables , that parameterize a function , which is subadditive for all . Like [52], we provide proofs in the canonical setting referenced in the text for simplicity of exposition.
Similarly, if is both -Lipschitz and fractionally subadditive, [52] establishes that is self-bounding. [8] establish âChernoff-Bernstein-likeâ concentration inequalities on self-bounding functions, which in particular imply that has -subgaussian lower tails and slightly weaker upper tails.666A random variable is -subgaussian if the following inequality holds. The log-moment generating function defined by exists for all real numbers and, furthermore, satisfies It is well known that if is -subgaussian, then and We again note that this strong guarantee provably does not hold for all subadditive functions [52] â there is provably a separation between how well subadditive and fractionally subadditive concentrate. Therefore, the purpose of our results is to interpolate the stronger guarantees achievable for fractionally subadditive valuations along our hierarchy.
Main Result III.
Theorem 19 extends this across the partitioning interpolation. Specifically, our result establishes that for all -Lipschitz and -partitioning , is -self bounding, which implies by [43, 9] that has a -subgaussian lower tail and a slightly worse Bernstein-like upper tail.
It is worth noting that [48], based on Talagrandâs method of control by points, is the state-of-the-art for concentration of subadditive functions, while [52], based on the method of self-bounding functions [8, 43, 9], is state-of-the-art for fractionally subadditive functions. Our main results extend both across the partitioning interpolation, but neither of the two approaches yields âtightâ results at both ends â our extension of [48] gives sharper results for small , and our extension of [52] gives sharper results for larger . This is to be expected, as the two methods are genuinely distinct.
1.4 Related Work and Connection to Subadditive MPH-
Hierarchies of Valuation Functions.
Prior to our work, there has been significant interest in exploring the space of valuation functions with parameterized complementarities [1, 28, 30, 31, 33, 34, 24]. That is, the simplest level of the hierarchy is (fractionally) subadditive valuations, the second level of the hierarchy already contains functions that are not subadditive, and the final level of the hierarchy contains all monotone functions. These works are distinct from ours in that they explore the space between (fractionally) subadditive valuations and arbitrary monotone valuations, whereas our work explores the space between fractionally subadditive and subadditive valuations.
To the best of our knowledge, the only prior work exploring the space between fractionally subadditive and subadditive valuations is [25]. Their main results concern the communication complexity of two-player combinatorial auctions for subadditive valuations, but they also provide improved parameterized guarantees for valuations that are subadditive and also MPH- [28]. A detailed comparison to our work is therefore merited:
-
The partitioning interpolation follows from a first-principles definition (Section 3.1). On the other hand, the MPH hierarchy explores the space between fractionally subadditive and arbitrary monotone valuations, and [25] restrict attention to the portion of this space that is also subadditive.
-
Our main results consider posted price mechanisms and concentration inequalities, neither of which are studied in [25]. [25] study the communication complexity of combinatorial auctions (where the gap between fractionally subadditive and subadditive is only constant), which is not studied in our work.
-
We show (Proposition 14) that all -partitioning valuations are also MPH-. Therefore, we can conclude a -approximation algorithm for two-player combinatorial auctions with -partitioning valuations using [25] (this is the only result of their paper concerning functions between fractionally subadditive and subadditive).
-
We further show that -partitioning admits a dual definition (Definition 13, similar to the duality between XOS and fractionally subadditive). A particular feasible dual solution implies a witness that -partitioning valuations are MPH-. This suggests that our dual definition is perhaps âthe rightâ modification of subadditive MPH- so that a dual definition exists.
Posted price mechanisms.
Posted price mechanisms are a core object of study within Algorithmic Game Theory. Variants of posted price mechanisms achieve state-of-the-art guarantees for wide ranges of combinatorial auctions [3, 17]. Posted price mechanisms are strongly obviously strategyproof [42, 45]. Posted price mechanisms have also been used in Bayesian settings to study the price of anarchy for welfare [32, 20, 22], revenue maximization in multi-dimensional settings [11, 40, 12, 10], and revenue maximization in single-dimensional settings [53, 2, 36, 38, 39, 37]. Most relevant to our work is the study of posted price mechanisms in Bayesian settings for welfare, where the state-of-the-art is a -approximation for fractionally subadditive valuations [32], and a -approximation for subadditive valuations [22]. These results further imply approximation guarantees of the same asymptotics for multi-dimensional mechanism design via [10], and it is considered a major open problem whether improved guarantees are possible for subadditive valuations. Our work provide improved guarantees across the partitioning interpolation (of ), which matches the state-of-the-art at both endpoints (and moreover, is provably tight at both endpoints for the approach of [22]). We also briefly note that recent work of [13] provides an prophet inequality for online Bayesian combinatorial auctions, but not a posted-price mechanism, so their breakthrough is orthogonal to our work.
Concentration Inequalities.
Concentration inequalities on functions of independent random variables are a core tool across many branches of Computer Science. For example, they are widely used in Bayesian mechanism design [47, 12, 10, 41], learning theory [4, 35], and discrete optimization [26]. VondĂĄkâs wonderful note on concentration inequalities of this form gives the state-of-the-art when is fractionally subadditive and subadditive, and mentions other applications [52]. Our results extend both the state-of-the-art for subadditive and fractionally subadditive across the partitioning interpolation. In addition, we provide a new isoperimetric inequality based on Talagrandâs method of control by points.
1.5 Summary and Roadmap
Section 2 immediately follows with formal definitions. Section 3 defines the partitioning interpolation, and provides several basic properties (including an interpretation via cost-sharing, and a dual formulation). Section 4 overviews our first main result: an -approximate posted-price mechanism for -partitioning valuations. Section 5 overviews our main results on concentration inequalities. Section 6 concludes. Recall that the purpose of our results in Section 4 and Section 5 are to consider domains where provable separations already exist between subadditive and fractionally subadditive valuation functions, and to extend the stronger guarantees achievable for fractionally subadditive valuations along our hierarchy. The full version contains all omitted proofs [5].
2 Preliminaries
Throughout the entire paper, we assume that valuations are normalized, meaning that and increasing monotone, meaning that whenever
Standard Valuation Classes.
A valuation function is subadditive (also known as complement free and denoted CF) if for all , . is XOS if there exists a collection of non-negative additive functions777A valuation function is non-negative additive if for all , where holds for all such that for all , . is fractionally subadditive if for any and any fractional cover such that for all and for all it holds that . It is well-known that is XOS if and only if it is fractionally subadditive via LP duality [27].
PH- MPH- and Subadditive MPH- valuations.
Maximum over PositiveHypergraph- valuations, in short MPH-, were introduced in [28]. Since then, they have been studied in various different contexts such as communication complexity of combinatorial auctions [25] and posted price mechanisms [32]. One motivation behind MPH- valuations is to construct a hierarchy of valuation classes (starting with XOS) by replacing additive valuations with a richer class of valuations parameterized by . Specifically:
Definition 1.
A valuation is:
-
1.
PH- if there exist non-negative weights for subsets , such that for all :
-
2.
MPH- if there exists a set of PH- valuations such that for all
-
3.
Subadditive MPH- (CFMPH-) if is simultaneously subadditive and MPH-
Note that PH- valuations are exactly the class of additive valuations, so the class of MPH- valuations is exactly the class of XOS valuations. Note also that PH- valuations need not be subadditive (and therefore, MPH- valuations need not be subadditive either). MPH- contains all monotone valuation functions, and all subadditive functions are MPH-Â [25]. We establish a connection between -partitioning valuations and valuations that are MPH- and subadditive in Proposition 14.
3 The Partitioning Interpolation
Here, we present our main definition. We give its more intuitive âprimal formâ as the main definition, and establish a âdual formâ in Section 3.2.
Definition 2.
Let be an integer. A valuation satisfies the -partitioning property if for any and any partition of into (possibly empty) disjoint parts, and any fractional covering of (that is, any non-negative such that for all ):
We refer to the class of -partitioning valuations over as .
The intuition behind our definition is that captures the complexity of non-negative fractional covers under which the value of is non-diminishing. Subadditive valuations are only non-diminishing under very simple covers (covering by and ), while XOS valuations are non-diminishing under arbitrarily complex fractional covers. The parameter captures the desired complexity in between. We now establish a few basic properties of -partitioning valuations.
We begin with the following nearly-trivial observations: First, for any fixed and , the class is closed under conic combinations.888That is, is closed under linear combinations with non-negative coefficients. This has implications for oblivious rounding of linear relaxations [29]. Furthermore, for any fixed and , the class is closed under taking pointwise suprema, which means that one can use the âlower envelope techniqueâ when approximating functions by -partitioning functions [28, Section 3.1].
Now, we establish the three promised properties from  Section 1. We begin by confirming that indeed the partitioning interpolation interpolates between fractionally subadditive and subadditive valuations.
Proposition 3.
For all , the following relations between classes of -Partitioning valuations hold:
We provide a complete proof of Proposition 3 in the full version. It is reasonably straight-forward to see that , and that . It is also straightforward to see the inclusions in the chain (any partition with parts is also a partition with by adding an empty partition). We show that each inclusion is strict via the following proposition, whose complete proof appears in the full version [5].
Proposition 4.
Consider a valuation over such that whenever and . The largest value for which is -partitioning is
We now show that is close to in a precise sense. Note that Definition 5 applied to is exactly the notion of closeness used in [6].
Definition 5.
Suppose that A class of valuations over is -close to the class if for any any any partition of into parts, and any fractional cover of it is the case that
We will see a further interpretation of Definition 5 in Proposition 11. For now, we simply present the following âsmoothnessâ claim.
Theorem 6.
is -close to .
The proof of Theorem 6 appears in tehfull version [5]. Finally, we provide our first-principles definition of -partitioning via a cost-sharing game. This aspect is more involved, so we overview the setup in Section 3.1.
3.1 Interpretation in Cost Sharing
3.1.1 Recap: characterizing XOS via cost-sharing
Consider a set of players who are interested in receiving some service. There is a cost for this service described by a monotone increasing normalized cost function Here, is the cost that players need to pay together so that each of them receives the service. A natural question to ask is: When is it the case that one can allocate the cost of the service between the community such that no subset of players is better off by forming a coalition and receiving the service on their own? Formally, this question asks whether the of the game is nonempty. The is the set of all non-negative cost-allocation vectors that satisfy and [44, Definition 15.3]. Weâll refer to the game parameterized by cost function restricted to players in as . This question is answered by the Bondareva-Shapley Theorem (see [44, Theorem 15.6]). Applied to monotone normalized cost functions , it states:
Theorem 7 ([7, 49]).
The is non-empty if and only if for any non-negative fractional cover of it is the case that
An immediate generalization of this theorem, which appears in [27, Section 1.1], is:
Theorem 8.
The of is non-empty for all if and only if is fractionally subadditive.
An interpretation of the above statement is the following. No matter what subset of players are interested in the service, we can always design a cost allocation vector (which vector can depend on ) such that all players in are better off by purchasing the service together rather than deviating and forming coalitions. Since finding cores might be impossible (unless is fractionally subadditive), the following relaxation of a appears in coalitional game theory literature. A non-negative vector is in the of the game if and only if it satisfies and [44, Definition 15.7]. Again, one has equivalent statements to Theorems 8 and 7 using a We only state the analogous statement for Theorem 8:
Theorem 9.
The of is non-empty for all if and only if is -close to XOS.
3.1.2 -partitioning via cost-sharing
Consider instead a partition of players into (possibly empty) cities . We think of each city as a fully-cooperative entity that takes a single action.999Perhaps the city has an elected official that acts on behalf of the cityâs welfare, or perhaps the cityâs members have built enough trust that they can perfectly profit-share any gains the city gets. The question of interest is whether of the game is non-empty. is the set of non-negative cost-allocation vectors that satisfy for all and Note that a vector in the will incentivize cooperation as each subset of cities needs to pay at least as much if they choose to form a coalition. We parallel the theorems in the previous section with the following propositions. Weâll refer to the above game as when the normalized monotone cost function is , players in are participating, and they are partitioned into cities .
Proposition 10.
The of is non-empty for all if and only if is -partitioning.
Again, the interpretation is simple. No matter which people are interested in the service and how they are distributed between cities, we can design a cost allocation vector such that all cities are better off by purchasing the service together rather than forming coalitions. Finally, one can also relax the concept of a to a as follows. This is the set of non-negative cost-allocation vectors that satisfy and We can then also conclude:
Proposition 11.
The of is non-empty for all if and only if is -close to -partitioning.
3.2 The Dual Definition and Relation to MPH Hierarchy
Finally, we provide a dual view of the -partitioning property (as in XOS vs. fractionally subadditive), and relate -partitioning to valuations that are MPH-. First, we observe that the -partitioning property can be reinterpreted as a claim about a linear program, opening the possibility of a dual definition.
Observation 12.
A valuation function is -partitioning if and only if for all and all partitions of into (possibly empty) disjoint parts, the value of the following LP is :101010Below, the variables are for all .
(1) |
The proof of Observation 12 is fairly immediate by observing that feasible solutions to the LP are exactly fractional covers, and that the objective function is exactly the bound on implied by that fractional cover. We now state a âdualâ definition of -partitioning valuations. The equivalence with Definition 2 is a simple application of linear programming, which we present in the full version [5].
Definition 13.
Let be integers. A valuation satisfies the dual -partitioning property if for any and any partition of into disjoint parts, the following linear program has value at least
(Dual Definition) |
This dual definition allows us to establish the useful relationship between the partitioning and MPH hierarchies given in Proposition 14.
Proposition 14.
A valuation over satisfying the -partitioning property is MPH- and subadditive.
Proof.
To prove this statement, for each we will create a clause containing hyperedges of size at most which takes value at and for any This will be clearly enough as we can take the maximum over clauses Take an arbitrary set and partition it into subsets of almost equal size such that each subset has at most elements. We will construct a clause of the form
where is the weight of set for each Note that the weights must satisfy
The existence of such weights is guaranteed by Definition 13, which completes the proof.
 Remark 15.
It should be noted that the converse statement does not hold true if . Let The valuation over is MPH- and subadditive. However, it is simple to show that it is not -partitioning. Split into sets of almost equal size and consider the fractional cover over assigning weight to all subsets of of size A simple calculation shows that and do not satisfy the -partitioning property.
4 Main Result I: Posted Price Mechanisms
We consider the setup of [32]. Namely, there are buyers interested in a set of items The buyersâ valuations come from a product distribution , known to the seller. The optimal expected welfare is then . The goal of the seller is to fix prices so that the following procedure guarantees welfare at least in expectation:
-
Let denote the set of available items. Initially .
-
Visit the buyers one at a time in adversarial order. When visiting buyer , they will purchase the set , and update .
Theorem 16.
When all agents have -partitioning valuations, there exists a -competitive posted price mechanism.111111Unless explicitly indicated, logarithms have base 2 throughout the rest of this section.
Note that this result matches asymptotically the best known competitive ratios for XOS (when a constant ratio mechanism was proven in [32]) and CF valuations (when a -competitive posted price mechanism was proven in [22]) and interpolates smoothly when is in between.
Like [22], we first give a proof in the case when each is a point-mass, as this captures the key ideas. A complete proof in the general case appears in the full version [5].
Our proof will follow the same framework as [22]. To this end, let be a real number. Denote by the set of distributions over such that holds for all and all . The framework of [22] establishes the following:
Lemma 17 ([22, Eq. (6)]).
A class of monotone valuations over is given. If for any there exists a real number (possibly depending on ), such that
there exists an -competitive posted price mechanism when all players have valuations in
[22] then show that when is the class of all subadditive functions, such a exists for , but no better. In the rest of this section, we will show that when is the set of -partitioning valuations, the conditions of Lemma 17 hold with . It is clear that (the deterministic case of) Theorem 16 follows immediately from Lemma 17 and Proposition 18. It is worth noting that, while we leverage Lemma 17 exactly as in [22], the proof of Proposition 18 for general is quite novel in comparison to the (subadditive).
Proposition 18.
Let . Then there exists a real number such that:
Proof.
Denote
and let be a maximizing distribution in
Without loss of generality, assume that is a perfect power of 2, i.e. (we can always decrease to a power of without changing the asymptotics of ).
Now, fix some We will show that
The first step is the obvious bound
which follows from the fact that we can choose Now, we bound Fix a distribution Let be drawn according to and be independent sets drawn according to Then,
Now, we will use the -partitioning property. Note that the sets define a partitioning of into subsets. That is, for any we can define
(Partitioning with sets) |
According to this partitioning, define as follows:
Then, by the -partitioning property, we know that
Indeed, that is the case for the following reason. If is such that then belongs to at least of the sets so it is âfractionally coveredâ by the term
If, on the other hand, is such that then it is fractionally covered by the term
Now, let We claim that each element belongs to with probability at most (over the randomness in drawing and , then defining as above). To prove this, we will use the classical Chernoff bound as follows. Let be the indicator that Then,
so
On the other hand, is in if and only if
Now, let
and let Then, by Chernoff bound,
where the last inequality follows since All of this together shows that
where the last inequality holds as each element appears in with probability at most Using the same telescoping trick as in [22], we can reach the conclusion. The details are in the full version [5].
5 Main Result II: Concentration Inequalities
In this section, we present our concentration inequalities for the partitioning interpolation. We begin by overviewing our results and their context in further detail, highlighting some proofs. We provide complete proofs in the subsequent section and the full version [5]. .
[52] establishes that when is XOS, the random variable has -subgaussian lower tails. The proof follows by establishing that -Lipschitz XOS functions of independent random variables are self bounding, and applying a concentration inequality of [8]. We begin by showing that -Lipschitz -partitioning functions are -self bounding, and applying a concentration inequality of [43, 9] to yield the following:
Theorem 19.
Any 1-Lipschitz -partitioning valuation over satisfies the following inequalities
We prove Theorem 19 in the full version [5]. Theorem 19 matches [52] at , and provides non-trivial tail bounds for . One should note, however, the the above inequality is useless when is constant, as it only implies -subgaussian behaviour, but it is well known that any 1-Lipschitz set function is -subgaussian via McDiarmidâs inequality. Our next inequality considers an alternate approach, based on state-of-the-art concentration inequalities for subadditve functions. [48] proves121212Schechtman actually considers the non-normalized case and proves that but reducing the factor from to in the normalized case is a trivial modification of the proof. It follows, in particular, from our Theorem 20. that whenever is normalized 1-Lipschitz subadditive, the following inequality holds for any real numbers and integer
(2) |
In particular, setting , and integrating over to allows one to conclude the bound , which has proven useful, for example in [47]. While this inequality establishes a very rapid exponential decay, the decay only begins at as we need .131313Recall that this is necessary, and not just an artifact of the proof â an example is given in [52]. What if we seek an upper tail bound of the form or, even more strongly, something of the form ? Our next inequality accomplishes this:
Theorem 20.
Suppose that , and is a random set in which each element appears independently. Then the following inequality holds for any and integers
The interesting extension for -partitioning valuations via Theorem 20 is that one may take. From here, for example, one can again take to be the median of , and integrate from to to conclude that In the very special case of , we can also replace with any real and obtain the , which is the same extremely strong relationship implied by the -subgaussian behaviour. We prove these simple corollaries of Theorem 20 in the full version [5] and now proceed to a proof of Theorem 20. To do so, we need to make a detour and generalize Talagrandâs method of âcontrol by -pointsâ.
5.1 A Probabilistic Detour: A New Isoperimetric Concentration Inequality
Suppose that we have a product probability space with product probability measure Throughout, in order to highlight our new techniques instead of dealing with issues of measurability, we will assume that the probability spaces are discrete and are equipped with the discrete sigma algebra. These conditions are not necessary and can be significantly relaxed (see [51, Section 2.1]).
For points141414In the current section, we will reserve the letter ââ to indicate the number of points While this choice might seem unnatural given that the current paper is all about â-Partitioningâ and ââ already has a different meaning, we have chosen to stick to Talagrandâs notation. The reason is that the probabilistic approach we use is already known as âcontrol by pointsâ in literature [51, Section 3]. in and an integer we define
(3) |
Using this definition, one can extend to subsets of as follows
When the function intuitively defines a âdistanceâ from to 151515This interpretation of as a âdistanceâ is what motivates the name âisoperimetric inequalityâ [51]. The definition of the function is motivated by and generalizes previous work of Talagrand [51, 50]. Our main technical result, the proof of which can be found in the full version [5], is the following. In it, are fixed while is random, distributed according to which is the aforementioned product distribution over
Theorem 21.
Suppose that is a real number and is the larger root of the equation Then,
In particular, setting we obtain
Given Theorem 21, the proof of Theorem 20 is rather simple. It is given in the full version [5]. Here, we only mention that it again relies on (Partitioning with sets).
6 Conclusion
We introduce the partitioning interpolation to interpolate between fractionally subadditive and subadditive valuations. We provide an interpretation of the definition via a cost-sharing game (as in [7, 49] for fractionally subadditive), and also show a relation to the subadditive MPH- hierarchy via a dual definition. We apply our definition in canonical domains (posted price mechanisms and concentration inequalities) where the fractionally subadditive and subadditive valuations are already known to be provably âfar apartâ, and use the partitioning interpolation to interpolate between them. One technical nugget worth highlighting is Equation (Partitioning with sets), which appears in both Proposition 18 and Theorem 20.
Precise closeness of to .
We establish that is -close to . In the full version [5], we show -partitioning valuations that are not -close to for any It is interesting to understand what valuations in are furthest from (and how far they are).
Similarly, it is interesting to understand for which the class pointwise -approximates .161616See [15] for a formal definition of pointwise -approximation. Interestingly, a function is -close to XOS if and only if it is pointwise -approximated by XOS. But, it is not clear whether these two properties are identical for Determining the precise relationship between the two properties is itself interesting. We note that one direction is easy. For any being pointwise -approximated by implies being -close to . Open is whether the converse is true.
Constructing âhardâ -Partitioning valuations.
Our two main results, Theorems 16 and 20, both establish the existence of desirable properties for -partitioning valuations. However, to demonstrate tightness, one would need âhardâ constructions of -partitioning valuations that are not -partitioning (recall that we have given constructions of valuation functions in , but they are not âhardâ). It does not appear at all straightforward to adapt constructions of âhardâ valuations that are subadditive but not fractionally subadditive (e.g. [6]) to create a valuation function in . Indeed, there is no previous construction of valuations that are subadditive MPH- but not subadditive MPH- (even without restricting to âhardâ constructions). Constructing such functions (for which, e.g., the arguments made in Sections 4 and 5 are tight) is therefore an important open direction.
Applications in Algorithmic Game Theory.
Guarantees of posted-price mechanisms are perhaps the most notable domain within algorithmic game theory where fractionally subadditive and subadditive functions are far apart. Still, there are other settings where they are separated. For example, in best-response dynamics in combinatorial auctions, a dynamics leading to a constant fraction of the optimal welfare exists in the fractionally subadditive case, but there is a impossibility result in the subadditive case [21]. There are also constant-factor gaps between approximations achievable in polynomial communication complexity for combinatorial auctions [16, 27, 25], and for the price of anarchy of simple auctions [46]. Note that in the context of communication complexity of combinatorial auctions, Proposition 14 combined with the results for two players in [25] already imply improved communication protocols across the interpolation, but no lower bounds stronger than what can be inherited from fractionally subadditive valuations are known. Relevant is also the recent line of work on algorithmic contract theory [18, 19, 23].
Concentration Inequalities.
In the proof of Theorem 21, we have followed the approach of Talagrand in [50]. Dembo provides an alternative proof of the special case of this theorem for using a more systematic approach for proving isoperimetry based on information inequalities in [14]. It is interesting to understand to what extent the inequality in Theorem 21 can be recovered using the information inequalities framework in [14]. Moreover, the state-of-the-art provides two different approaches to concentration inequalities at the two extremes of the partitioning interpolation. It is important to understand the (asymptotically) optimal tail bounds across the partitioning interpolation, and it is interesting to understand whether there is a unified approach that yields (asymptotically) optimal tail bounds across a broad range of .
References
- [1] Ittai Abraham, Moshe Babaioff, Shaddin Dughmi, and Tim Roughgarden. Combinatorial auctions with restricted complements. In Boi Faltings, Kevin Leyton-Brown, and Panos Ipeirotis, editors, Proceedings of the 13th ACM Conference on Electronic Commerce, EC 2012, Valencia, Spain, June 4-8, 2012, pages 3â16. ACM, 2012. doi:10.1145/2229012.2229016.
- [2] Saeed Alaei, Jason D. Hartline, Rad Niazadeh, Emmanouil Pountourakis, and Yang Yuan. Optimal auctions vs. anonymous pricing. In Venkatesan Guruswami, editor, IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 1446â1463. IEEE Computer Society, 2015. doi:10.1109/FOCS.2015.92.
- [3] Sepehr Assadi, Thomas Kesselheim, and Sahil Singla. Improved truthful mechanisms for subadditive combinatorial auctions: Breaking the logarithmic barrier. In DĂĄniel Marx, editor, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021, pages 653â661. SIAM, 2021. doi:10.1137/1.9781611976465.40.
- [4] Maria-Florina Balcan and Nicholas J.A. Harvey. Learning submodular functions. Proceedings of The 43rd ACM Symposium on Theory of Computing, pages 793â802, 2011. doi:10.1145/1993636.1993741.
- [5] Kiril Bangachev and S. Matthew Weinberg. q-Partitioning Valuations: Exploring the Space Between Subadditive and Fractionally Subadditive Valuations, 2023. doi:10.48550/arXiv.2304.01451.
- [6] Kshipra Bhawalkar and Tim Roughgarden. Welfare guarantees for combinatorial auctions with item bidding. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, pages 700â709, 2011. doi:10.1137/1.9781611973082.55.
- [7] O.N. Bondareva. Some applications of linear programming to cooperative games. Problemy Kibernetiki, 1963.
- [8] S. Boucheron, G. Lugosi, and P. Massart. A sharp concentration inequality with applications. Random Struct. Algorithms, 16:277â292, 2000. doi:10.1002/(SICI)1098-2418(200005)16:3\%3C277::AID-RSA4\%3E3.0.CO;2-1.
- [9] StĂŠphane Boucheron, GĂĄbor Lugosi, and Pascal Massart. On concentration of self-bounding functions. Electronic Journal of Probability, 14, 2009. doi:10.1214/EJP.v14-690.
- [10] Yang Cai and Mingfei Zhao. Simple mechanisms for subadditive buyers via duality. In Hamed Hatami, Pierre McKenzie, and Valerie King, editors, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, pages 170â183. ACM, 2017. doi:10.1145/3055399.3055465.
- [11] Shuchi Chawla, Jason D. Hartline, David L. Malec, and Balasubramanian Sivan. Multi-parameter mechanism design and sequential posted pricing. In Leonard J. Schulman, editor, Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pages 311â320. ACM, 2010. doi:10.1145/1806689.1806733.
- [12] Shuchi Chawla and J. Benjamin Miller. Mechanism design for subadditive agents via an ex ante relaxation. In Vincent Conitzer, Dirk Bergemann, and Yiling Chen, editors, Proceedings of the 2016 ACM Conference on Economics and Computation, EC â16, Maastricht, The Netherlands, July 24-28, 2016, pages 579â596. ACM, 2016. doi:10.1145/2940716.2940756.
- [13] JosĂŠ Correa and AndrĂŠs Cristi. A constant factor prophet inequality for online combinatorial auctions. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 686â697, New York, NY, USA, 2023. Association for Computing Machinery. doi:10.1145/3564246.3585151.
- [14] Amir Dembo. Information inequalities and concentration of measure. Annals of Probability, 25:927â939, 1997. URL: https://www.jstor.org/stable/2959616?seq=1.
- [15] Nikhil R. Devanur, Jamie Morgenstern, Vasilis Syrgkanis, and S. Matthew Weinberg. Simple auctions with simple strategies. In Tim Roughgarden, Michal Feldman, and Michael Schwarz, editors, Proceedings of the Sixteenth ACM Conference on Economics and Computation, EC â15, Portland, OR, USA, June 15-19, 2015, pages 305â322. ACM, 2015. doi:10.1145/2764468.2764484.
- [16] Shahar Dobzinski, Noam Nisan, and Michael Schapira. Approximation algorithms for combinatorial auctions with complement-free bidders. Mathematics of Operations Research, 35:610â618, 2005. doi:10.1145/1060590.1060681.
- [17] Shahar Dobzinski, Noam Nisan, and Michael Schapira. Truthful randomized mechanisms for combinatorial auctions. J. Comput. Syst. Sci., 78(1):15â25, 2012. doi:10.1016/j.jcss.2011.02.010.
- [18] Paul Dutting, Tomer Ezra, Michal Feldman, and Thomas Kesselheim. Combinatorial Contracts . In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 815â826, Los Alamitos, CA, USA, February 2022. IEEE Computer Society. doi:10.1109/FOCS52979.2021.00084.
- [19] Paul DĂźtting, Tomer Ezra, Michal Feldman, and Thomas Kesselheim. Multi-agent contracts. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 1311â1324, New York, NY, USA, 2023. Association for Computing Machinery. doi:10.1145/3564246.3585193.
- [20] Paul DĂźtting, Michal Feldman, Thomas Kesselheim, and Brendan Lucier. Prophet inequalities made easy: Stochastic optimization by pricing nonstochastic inputs. SIAM J. Comput., 49(3):540â582, 2020. doi:10.1137/20M1323850.
- [21] Paul DĂźtting and Thomas Kesselheim. Best-response dynamics in combinatorial auctions with item bidding. Games Econ. Behav., 134:428â448, 2022. doi:10.1016/j.geb.2020.09.006.
- [22] Paul DĂźtting, Thomas Kesselheim, and Brendan Lucier. An o(log log m) prophet inequality for subadditive combinatorial auctions. In Sandy Irani, editor, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 306â317. IEEE, 2020. doi:10.1109/FOCS46700.2020.00037.
- [23] Paul DĂźtting, Tomer Ezra, Michal Feldman, and Thomas Kesselheim. Multi-agent combinatorial contracts. In Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1857â1891. SIAM Society for Industrial and Applied Mathematics, 2025. doi:10.1137/1.9781611978322.58.
- [24] Alon Eden, Michal Feldman, Ophir Friedler, Inbal Talgam-Cohen, and S. Matthew Weinberg. A simple and approximately optimal mechanism for a buyer with complements. Oper. Res., 69(1):188â206, 2021. doi:10.1287/opre.2020.2039.
- [25] Tomer Ezra, Michal Feldman, Eric Neyman, Inbal Talgam-Cohen, and S. Matthew Weinberg. Settling the communication complexity of combinatorial auctions with two subadditive buyers. In David Zuckerman, editor, 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019, pages 249â272. IEEE Computer Society, 2019. doi:10.1109/FOCS.2019.00025.
- [26] Yaron Fairstein, Ariel Kulik, and Hadas Shachnai. Modular and submodular optimization with multiple knapsack constraints via fractional grouping. 29th Annual European Symposium on Algorithms, 2021. doi:10.4230/LIPIcs.ESA.2021.41.
- [27] Uriel Feige. On maximizing welfare when utility functions are subadditive. Siam Journal on Computing, pages 41â50, 2009. doi:10.1137/070680977.
- [28] Uriel Feige, Michal Feldman, Nicole Immorlica, Rani Izsak, Brendan Lucier, and Vasilis Syrgkanis. A unifying hierarchy of valuations with complements and substitutes. In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, pages 872â878. AAAI Press, 2015. doi:10.1609/AAAI.V29I1.9314.
- [29] Uriel Feige, Michal Feldman, and Inbal Talgam-Cohen. Oblivious rounding and the integrality gap. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2016. doi:10.4230/LIPIcs.APPROX-RANDOM.2016.8.
- [30] Uriel Feige and Rani Izsak. Welfare maximization and the supermodular degree. In Robert D. Kleinberg, editor, Innovations in Theoretical Computer Science, ITCS â13, Berkeley, CA, USA, January 9-12, 2013, pages 247â256. ACM, 2013. doi:10.1145/2422436.2422466.
- [31] Michal Feldman, Ophir Friedler, Jamie Morgenstern, and Guy Reiner. Simple mechanisms for agents with complements. In Vincent Conitzer, Dirk Bergemann, and Yiling Chen, editors, Proceedings of the 2016 ACM Conference on Economics and Computation, EC â16, Maastricht, The Netherlands, July 24-28, 2016, pages 251â267. ACM, 2016. doi:10.1145/2940716.2940735.
- [32] Michal Feldman, Nick Gravin, and Brendan Lucier. Combinatorial auctions via posted prices. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2015. doi:10.1137/1.9781611973730.10.
- [33] Moran Feldman and Rani Izsak. Constrained monotone function maximization and the supermodular degree. In Klaus Jansen, JosĂŠ D. P. Rolim, Nikhil R. Devanur, and Cristopher Moore, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2014, September 4-6, 2014, Barcelona, Spain, volume 28 of LIPIcs, pages 160â175. Schloss Dagstuhl â Leibniz-Zentrum fĂźr Informatik, 2014. doi:10.4230/LIPIcs.APPROX-RANDOM.2014.160.
- [34] Moran Feldman and Rani Izsak. Building a good team: Secretary problems and the supermodular degree. In Philip N. Klein, editor, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, pages 1651â1670. SIAM, 2017. doi:10.1137/1.9781611974782.109.
- [35] Vitaly Feldman and Jan VondrĂĄk. Optimal bounds on approximation of submodular and xos functions by juntas. Proceedings of the 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pages 227â236, 2013. doi:10.1109/ITA.2014.6804263.
- [36] Yiding Feng, Jason D. Hartline, and Yingkai Li. Optimal auctions vs. anonymous pricing: Beyond linear utility. In Anna Karlin, Nicole Immorlica, and Ramesh Johari, editors, Proceedings of the 2019 ACM Conference on Economics and Computation, EC 2019, Phoenix, AZ, USA, June 24-28, 2019, pages 885â886. ACM, 2019. doi:10.1145/3328526.3329603.
- [37] Yaonan Jin, Shunhua Jiang, Pinyan Lu, and Hengjie Zhang. Tight revenue gaps among multi-unit mechanisms. In PĂŠter BirĂł, Shuchi Chawla, and Federico Echenique, editors, EC â21: The 22nd ACM Conference on Economics and Computation, Budapest, Hungary, July 18-23, 2021, pages 654â673. ACM, 2021. doi:10.1145/3465456.3467621.
- [38] Yaonan Jin, Pinyan Lu, Qi Qi, Zhihao Gavin Tang, and Tao Xiao. Tight approximation ratio of anonymous pricing. In Moses Charikar and Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019, pages 674â685. ACM, 2019. doi:10.1145/3313276.3316331.
- [39] Yaonan Jin, Pinyan Lu, Zhihao Gavin Tang, and Tao Xiao. Tight revenue gaps among simple mechanisms. In Timothy M. Chan, editor, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2019, San Diego, California, USA, January 6-9, 2019, pages 209â228. SIAM, 2019. doi:10.1137/1.9781611975482.14.
- [40] Robert Kleinberg and S. Matthew Weinberg. Matroid prophet inequalities and applications to multi-dimensional mechanism design. Games Econ. Behav., 113:97â115, 2019. doi:10.1016/j.geb.2014.11.002.
- [41] Pravesh Kothari, Divyarthi Mohan, Ariel Schvartzman, Sahil Singla, and S. Matthew Weinberg. Approximation schemes for a unit-demand buyer with independent items via symmetries. Proceedings of The 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, pages 220â232, 2019. doi:10.1109/FOCS.2019.00023.
- [42] Shengwu Li. Obviously strategyproof mechanisms. American Economics Review, 107(11):3257â3287, 2017.
- [43] Colin McDiarmid and Bruce A. Reed. Concentration for self-bounding functions and an inequality of talagrand. Random Struct. Algorithms, 29(4):549â557, 2006. doi:10.1002/rsa.20145.
- [44] Noam Nisan, Tim Roughgarden, Ăva Tardos, and Vijay Vazirani. Algorithmic Game Theory. Cambridge University Press, 2007.
- [45] Marek Pycia and Peter Troyan. Obvious dominance and random priority. In Anna Karlin, Nicole Immorlica, and Ramesh Johari, editors, Proceedings of the 2019 ACM Conference on Economics and Computation, EC 2019, Phoenix, AZ, USA, June 24-28, 2019, page 1. ACM, 2019. doi:10.1145/3328526.3329613.
- [46] Tim Roughgarden, Vasilis Syrgkanis, and Ăva Tardos. The price of anarchy in auctions. Journal of Artificial Intelligence Research, 59, 2016. doi:10.1613/jair.5272.
- [47] Aviad Rubinstein and S. Matthew Weinberg. Simple mechanisms for a subadditive buyer and applications to revenue monotonicity. ACM Transactions on Economics and Computation, 6:1â25, 2018. doi:10.1145/3105448.
- [48] Gideon Schechtman. Chapter 37 - concentration, results and applications. In Handbook of the Geometry of Banach Spaces, pages 1603â1634. Elsevier Science B.V., 2003. doi:10.1016/S1874-5849(03)80044-X.
- [49] L.S. Shapley. On balanced sets and cores. Naval Res. Logistics Q., 14:453â460, 1967.
- [50] Michel Talagrand. New concentration inequalities in product spaces. Inventiones mathematicae, 126:505â563, 1996. doi:10.1007/s002220050108.
- [51] Michel Talagrand. Concentration of measure and isoperimetric inequalities in product spaces. Publications mathĂŠmatiques de lâIHĂS, 81, 2001. URL: https://arxiv.org/abs/math/9406212.
- [52] Jan VondrĂĄk. A note on concentration of submodular functions. CoRR, 2010. arXiv:1005.2791.
- [53] Qiqi Yan. Mechanism design via correlation gap. In Dana Randall, editor, Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011, pages 710â719. SIAM, 2011. doi:10.1137/1.9781611973082.56.