Abstract 1 Introduction 2 Preliminaries 3 The Partitioning Interpolation 4 Main Result I: Posted Price Mechanisms 5 Main Result II: Concentration Inequalities 6 Conclusion References

q-Partitioning Valuations: Exploring the Space Between Subadditive and Fractionally Subadditive Valuations

Kiril Bangachev ORCID EECS Department, MIT, Cambridge, MA, USA S. Matthew Weinberg ORCID Department of Computer Science, Princeton University, NJ, USA
Abstract

For a set M of m elements, we define a decreasing chain of classes of normalized monotone-increasing valuation functions from 2M to ℝ≥0, parameterized by an integer q∈[2,m]. For a given q, we refer to the class as q-partitioning. A valuation function is subadditive if and only if it is 2-partitioning, and fractionally subadditive if and only if it is m-partitioning. Thus, our chain establishes an interpolation between subadditive and fractionally subadditive valuations. We show that this interpolation is smooth (q-partitioning valuations are “nearly” (q−1)-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 q-partitioning valuations is distinct for all q, Proposition 3).

For domains where provable separations exist between subadditive and fractionally subadditive, we interpolate the stronger guarantees achievable for fractionally subadditive valuations to allq∈{2,…,m}. Two highlights are the following:

  1. i)

    An Ί⁢(log⁥log⁥qlog⁥log⁥m)-competitive posted price mechanism for q-partitioning valuations. Note that this matches asymptotically the state-of-the-art for both subadditive (q=2) [22], and fractionally subadditive (q=m) [32].

  2. ii)

    Two upper-tail concentration inequalities on 1-Lipschitz, q-partitioning valuations over independent items. One extends the state-of-the-art for q=m to q<m, the other improves the state-of-the-art for q=2 for q>2. Our concentration inequalities imply several corollaries that interpolate between subadditive and fractionally subadditive, for example: 𝔼⁢[v⁢(S)]≤(1+1/log⁡q)⁢Median⁢[v⁢(S)]+O⁢(log⁡q). To prove this, we develop a new isoperimetric inequality using Talagrand’s method of control by q points, which may be of independent interest.

We also discuss other probabilistic inequalities and game-theoretic applications of q-partitioning valuations, and connections to subadditive MPH-k valuations [25].

Keywords and phrases:
Subadditive Functions, Fractionally Subadditive Functions, Posted Price Mechanisms, Concentration Inequalities
Category:
Track A: Algorithms, Complexity and Games
Funding:
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] © Kiril Bangachev and S. Matthew Weinberg; licensed under Creative Commons License CC-BY 4.0
2012 ACM Subject Classification:
Theory of computation → Algorithmic mechanism design
; Mathematics of computing → Probability and statistics ; Theory of computation → Computational pricing and auctions
Related Version:
Full Version: https://arxiv.org/pdf/2304.01451 [5]
Acknowledgements:
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 Puppis

1 Introduction

1.1 Motivation

Functions of the form f:2M⟶ℝ are a fundamental object of study in the fields of Algorithmic Game Theory and Combinatorial Optimization. For example, when M is a set of items in an auction, f⁢(S) could indicate the value that an agent obtains from receiving the bundle S (see more about combinatorial auctions in [44, Chapter 11]). When M is a set of agents, f⁢(S) could indicate the cost that agents S 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 f⁢(S) indicates the “value” of the subset of items S. 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 (f⁢(S)≤f⁢(T) whenever S⊆T) and normalized (f⁢(∅)=0). 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 (1/2)-approximation to the optimal welfare when all players have fractionally subadditive valuations [32], but the best known approximation ratio for subadditive valuations is Ω⁢(1log⁡log⁡m), where m is the number of items [22] (moreover, the [32] framework providing a (1/2)-approximation for XOS provably cannot beat O⁢(log⁡m) for subadditive, and the [22] framework provably cannot beat O⁢(log⁡log⁡m)). 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 v has 𝐄⁢[v]-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 q ranging between q=|M| (which corresponds to the fractionally subadditive case) and q=2 (which corresponds to the subadditive case). The number q corresponds to the complexity of fractional covers under which the valuation function is non-diminishing. We call the respective classes q-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 q-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 S of players if they together pay c⁢(S). One can then ask, for any subset T⊆[m] whether or not there exist non-negative prices {pi}i∈T such that: a) ∑i∈Tpi=c⁢(T) (service is purchased for T) and b) for all S⊆T, ∑i∈Spi≤c⁢(S) (no set S⊆T 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 T if and only if c⁢(⋅) is fractionally subadditive.

    Consider instead modifying the game so that players are grouped into q 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 T⊆[m] and any partitioning of T into q cities T1,…,Tq, do there exist non-negative prices {pi}i∈[q] such that: a) ∑i∈[q]pi=c⁢(T) (service is purchased for T) and b) for all S⊆[q], ∑i∈Spi≤c⁢(∪i∈STi) (no set S of cities wishes to deviate and purchase the service just for themselves). Proposition 10 establishes that such prices exist for all T and all partitionings of T into at most q cities if and only if c⁢(⋅) is q-partitioning.

  • ■

    Smoothness of The Interpolation: In Theorem 6, we show that our chain of classes is smooth in the sense that every q-partitioning valuation is almost (q+1)-partitioning. Formally, Theorem 6 establishes that the class of q-partitioning valuations is (1−1/q)-close to the class of (q+1)-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 q<m. Also, every q-partitioning valuation is (q−1)-partitioning. Thus, the classes are “smoothly expanding along the interpolation.”

  • ■

    Existence of Classes: In Proposition 3, we show that for each m=|M| and 2≤q≤m, there exist q-partitioning valuations over M that are not (q+1)-partitioning. In other words, none of the m−1 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 q 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 pi for each item i∈[m], then visit the bidders one at a time and offer them to purchase any remaining set S of items at price ∑i∈Spi (and these items become unavailable for all future bidders). Of course, strategic players will pick the remaining set S that maximizes vi⁢(S)−∑i∈Spi.

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 i’s valuation function vi⁢(⋅) is drawn independently from a known distribution Di over valuations in some class 𝒱. The optimal expected welfare is 𝔼v→⁣←⁣×iDi⁢[maxpartitions ⁢S1,…,Sn⁡{∑ivi⁢(Si)}]. When strategic players participate in a posted-price mechanism with prices p→, some other partition of items is selected, guaranteeing some other expected welfare. What is the maximum α⁢(𝒱) such that for all D=×iDi 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 1/2-approximation, which also implies a 1/log2⁥(m)-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 Ί⁢(1/log2⁥log2⁥(m))-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 Ί⁢(log⁥log⁥qlog⁥log⁥m)-competitive posted price mechanism when all distributions are supported on q-partitioning valuations. This is stated in Theorem 16.
Note that this guarantee matches both the constant factor approximation in the fractionally subadditive case (setting q=m) and the Ί⁢(1log⁥log⁥m) factor in the subadditive case (setting q=2) and interpolates between the two approximation factors when q 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 f, and a set S selected by randomly including each item i independently (not necessarily with the same probability). It is often of interest to provide upper tail bounds on the distribution of f⁢(S) compared to 𝐄⁢[f⁢(S)]. McDiarmid’s inequality is one such example when f is 1-Lipschitz.333f⁢(⋅) is 1-Lipschitz if |f⁢(S)−f⁢(S∪{i})|≤1 for all S,i. When f⁢(⋅) is subadditive or fractionally subadditive, even stronger upper tail bounds are possible [52].

For example, if f is both 1-Lipschitz and subadditive, Schechtman’s inequality implies that the probability that f⁢(S) exceeds twice its median plus x decays exponentially in x [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 1-Lipschitz and q-partitioning f, the probability that f⁢(S) exceeds 1+O⁢(1/log2⁡q) times its median plus x decays exponentially in x. 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 X1,…,Xm, that parameterize a function fX→:2[m]→ℝ, which is subadditive for all X→. Like [52], we provide proofs in the canonical setting referenced in the text for simplicity of exposition.

Similarly, if f is both 1-Lipschitz and fractionally subadditive, [52] establishes that f is self-bounding. [8] establish “Chernoff-Bernstein-like” concentration inequalities on self-bounding functions, which in particular imply that f⁢(S) has 𝐄[f(S))]-subgaussian lower tails and slightly weaker upper tails.666A random variable X is σ2-subgaussian if the following inequality holds. The log-moment generating function defined by ψX⁢(λ):=log⁡𝐄⁢[exp⁡(λ⁢(X−𝐄⁢[X]))] exists for all real numbers λ and, furthermore, satisfies ψX⁢(λ)≤λ2⁢σ22. It is well known that if X is σ2-subgaussian, then 𝐏⁢[X≥𝐄⁢[X]+t]≤exp⁡(−t2⁢σ22) and 𝐏⁢[X≤𝐄⁢[X]−t]≤exp⁡(−t2⁢σ22). 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 1-Lipschitz and q-partitioning f, f⁢(S) is (⌈m/q⌉,0)-self bounding, which implies by [43, 9] that f⁢(S) has a ⌈m/q⌉⋅𝐄⁢[f⁢(S)]-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 q 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 q, and our extension of [52] gives sharper results for larger q. 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-k [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 q-partitioning valuations are also MPH-⌈m/q⌉. Therefore, we can conclude a (1/2+1/log2⁡(⌈m/q⌉))-approximation algorithm for two-player combinatorial auctions with q-partitioning valuations using [25] (this is the only result of their paper concerning functions between fractionally subadditive and subadditive).

  • ■

    We further show that q-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 q-partitioning valuations are MPH-⌈m/q⌉. This suggests that our dual definition is perhaps “the right” modification of subadditive MPH-k 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 (1/2)-approximation for fractionally subadditive valuations [32], and a Ί⁢(1/log2⁥log2⁥(m))-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 Ί⁢(log2⁥log2⁥(q)/log2⁥log2⁥(m))), 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 O⁢(1) 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 f 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 q 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 Ί⁢(log⁥log⁥qlog⁥log⁥m)-approximate posted-price mechanism for q-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 f:2M⟶ℝ+ are normalized, meaning that f⁢(∅)=0, and increasing monotone, meaning that f⁢(S)≤f⁢(T) whenever S⊆T.

Standard Valuation Classes.

A valuation function f is subadditive (also known as complement free and denoted CF) if for all S,T, f⁢(S∪T)≤f⁢(S)+f⁢(T). f is XOS if there exists a collection 𝒜 of non-negative additive functions777A valuation function v is non-negative additive if for all S, v⁢(S)=∑i∈Sv⁢({i}), where v⁢({i})≥0 holds for all i. such that for all S, f⁢(S)=maxv∈𝒜⁡{v⁢(S)}. f is fractionally subadditive if for any S and any fractional cover α⁢(⋅) such that for all j∈S ∑T∋jα⁢(T)≥1 and α⁢(T)≥0 for all T, it holds that f⁢(S)≤∑Tα⁢(T)⁢f⁢(T). It is well-known that f is XOS if and only if it is fractionally subadditive via LP duality [27].

PH-𝒌, MPH-𝒌, and Subadditive MPH-𝒌 valuations.

Maximum over PositiveHypergraph-k valuations, in short MPH-k, 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-k valuations is to construct a hierarchy of valuation classes (starting with XOS) by replacing additive valuations with a richer class of valuations parameterized by k. Specifically:

Definition 1.

A valuation v:2[m]⟶ℝ≥0 is:

  1. 1.

    PH-𝒌 if there exist non-negative weights w⁢(E) for subsets E⊆[m],|E|≤k, such that for all S⊆[m]: v⁢(S)=∑T⊆S:|T|≤kw⁢(T).

  2. 2.

    MPH-𝒌 if there exists a set of PH-k valuations 𝒜 such that v⁢(S)=maxa∈𝒜⁡a⁢(S) for all S⊆[m].

  3. 3.

    Subadditive MPH-𝒌 (CFMPH-𝒌) if v is simultaneously subadditive and MPH-k.

Note that PH-1 valuations are exactly the class of additive valuations, so the class of MPH-1 valuations is exactly the class of XOS valuations. Note also that PH-2 valuations need not be subadditive (and therefore, MPH-2 valuations need not be subadditive either). MPH-m contains all monotone valuation functions, and all subadditive functions are MPH-m/2 [25]. We establish a connection between q-partitioning valuations and valuations that are MPH-⌈m/q⌉ 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 q∈[2,m] be an integer. A valuation v:2[m]⟶ℝ≥0 satisfies the q-partitioning property if for any S⊆[m] and any partition (S1,S2,…,Sq) of S into q (possibly empty) disjoint parts, and any fractional covering α of [q] (that is, any non-negative α⁢(⋅) such that for all j∈[q],∑T∋jα⁢(T)≥1):

v⁢(S)≤∑T⊆[q]α⁢(T)⋅v⁢(∪j∈TSj).

We refer to the class of q-partitioning valuations over [m] as 𝒬⁢(q,[m]).

The intuition behind our definition is that q captures the complexity of non-negative fractional covers under which the value of v⁢(⋅) is non-diminishing. Subadditive valuations are only non-diminishing under very simple covers (covering S∪T by S and T), while XOS valuations are non-diminishing under arbitrarily complex fractional covers. The parameter q captures the desired complexity in between. We now establish a few basic properties of q-partitioning valuations.

We begin with the following nearly-trivial observations: First, for any fixed q and m, the class 𝒬⁢(q,[m]) is closed under conic combinations.888That is, 𝒬⁢(q,[m]) is closed under linear combinations with non-negative coefficients. This has implications for oblivious rounding of linear relaxations [29]. Furthermore, for any fixed q and m, the class 𝒬⁢(q,[m]) is closed under taking pointwise suprema, which means that one can use the “lower envelope technique” when approximating functions by q-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 m, the following relations between classes of q-Partitioning valuations hold: XOS⁢([m])=𝒬⁢(m,[m])⊊𝒬⁢(m−1,[m])⊊⋯⁢⋯⊊𝒬⁢(2,[m])=CF⁢([m]).

We provide a complete proof of Proposition 3 in the full version. It is reasonably straight-forward to see that XOS⁢([m])=𝒬⁢(m,[m]), and that 𝒬⁢(2,[m])=CF⁢([m]). It is also straightforward to see the inclusions in the chain (any partition with q parts is also a partition with q+1 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 v over [m] such that v⁢(S)=1 whenever 1≤|S|≤m−1 and v⁢(∅)=0. The largest value v⁢([m]) for which v is q-partitioning is qq−1.

We now show that 𝒬⁢(q,[m]) is close to 𝒬⁢(q+1,[m]) in a precise sense. Note that Definition 5 applied to q=m is exactly the notion of closeness used in [6].

Definition 5.

Suppose that 0<γ≤1. A class of valuations 𝒢 over [m] is γ-close to the class 𝒬⁢(q,[m]) if for any g∈𝒢, any S⊆[m], any partition (S1,S2,…,Sq) of S into q parts, and any fractional cover α of [q], it is the case that

∑T⊆[q]α⁢(T)⁢g⁢(⋃i∈TSi)≥γ⁢g⁢(S).

We will see a further interpretation of Definition 5 in Proposition 11. For now, we simply present the following “smoothness” claim.

Theorem 6.

𝒬⁢(q,[m]) is q−1q-close to 𝒬⁢(q+1,[m]).

The proof of Theorem 6 appears in tehfull version [5]. Finally, we provide our first-principles definition of q-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 [m] of players who are interested in receiving some service. There is a cost for this service described by a monotone increasing normalized cost function c:2[m]⟶ℝ. Here, c⁢(S) is the cost that players S 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 T⊆[m] 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 𝐩=(p1,p2,…,pm) that satisfy ∑i∈Spi≤c⁢(S)⁢∀S⊆[m], and ∑i∈[m]pi=c⁢([m]) [44, Definition 15.3]. We’ll refer to the game parameterized by cost function c⁢(⋅) restricted to players in S as Game⁢(c,S). This question is answered by the Bondareva-Shapley Theorem (see [44, Theorem 15.6]). Applied to monotone normalized cost functions c, it states:

Theorem 7 ([7, 49]).

The 𝖼𝗈𝗋𝖾 Game⁢(c,[m]) is non-empty if and only if for any non-negative fractional cover α of [m] it is the case that ∑S⊆[m]α⁢(S)⁢c⁢(S)≥c⁢([m]).

An immediate generalization of this theorem, which appears in [27, Section 1.1], is:

Theorem 8.

The 𝖼𝗈𝗋𝖾 of Game⁢(c,S) is non-empty for all S if and only if c is fractionally subadditive.

An interpretation of the above statement is the following. No matter what subset S⊆[m] of players are interested in the service, we can always design a cost allocation vector (which vector can depend on S) such that all players in S are better off by purchasing the service together rather than deviating and forming coalitions. Since finding cores might be impossible (unless c 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 ∑i∈Spi≤c⁢(S)⁢∀S⊆[m], and γ⁢c⁢([m])≤∑i∈[m]pi≤c⁢([m]) [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 Game⁢(c,S) is non-empty for all S if and only if c is γ-close to XOS.

3.1.2 𝒒-partitioning via cost-sharing

Consider instead a partition of players into q (possibly empty) cities S1,…,Sq. 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 𝖼𝗂𝗍𝗒𝖼𝗈𝗋𝖾⁢(S1,S2,…,Sq) of the game is non-empty. 𝖼𝗂𝗍𝗒𝖼𝗈𝗋𝖾⁢(S1,S2,…,Sq) is the set of non-negative cost-allocation vectors 𝐩=(p1,p2,…,pq) that satisfy ∑i∈Tpi≤c⁢(⋃i∈TSi) for all T⊆[q], and ∑i∈[q]pi=c⁢(⋃i∈[q]Si). 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 Game⁢(c,S,S1,…,Sq) when the normalized monotone cost function is c, players in S are participating, and they are partitioned into cities S1,…,Sq.

Proposition 10.

The 𝖼𝗂𝗍𝗒𝖼𝗈𝗋𝖾 of Game⁢(c,S,S1,…,Sq) is non-empty for all S,S1,…,Sq if and only if c is q-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 𝐩=(p1,p2,…,pq) that satisfy ∑i∈Tpi≤c⁢(⋃i∈TSi)⁢∀T⊆[q], and γ⁢c⁢(⋃i∈[q]Si)≤∑i∈[q]pi≤c⁢(⋃i∈[q]Si). We can then also conclude:

Proposition 11.

The γ⁢-⁢𝖼𝗂𝗍𝗒𝖼𝗈𝗋𝖾 of Game⁢(c,S,S1,…,Sq) is non-empty for all S,S1,…,Sq if and only if c is γ-close to q-partitioning.

3.2 The Dual Definition and Relation to MPH Hierarchy

Finally, we provide a dual view of the q-partitioning property (as in XOS vs. fractionally subadditive), and relate q-partitioning to valuations that are MPH-⌈m/q⌉. First, we observe that the q-partitioning property can be reinterpreted as a claim about a linear program, opening the possibility of a dual definition.

Observation 12.

A valuation function f is q-partitioning if and only if for all S and all partitions (S1,…,Sq) of S into q (possibly empty) disjoint parts, the value of the following LP is v⁢(S):101010Below, the variables are α⁢(T) for all T⊆[q].

min∑T⊆[q]v⁢(⋃i∈TSi)⋅α⁢(T), s.t.∑T∋jα⁢(T)≥1⁢∀j∈[q],α⁢(T)≥0⁢∀T⊆[q]. (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 v⁢(S) implied by that fractional cover. We now state a “dual” definition of q-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 2≤q≤m be integers. A valuation v:2[m]⟶ℝ≥0 satisfies the dual q-partitioning property if for any S⊆[m] and any partition (S1,S2,…,Sq) of S into q disjoint parts, the following linear program has value at least v⁢(S):

max∑j∈[q]pj, s.t.∑j∈Tpj≤v⁢(⋃j∈TSj)⁢∀T⊆[q],pj≥0⁢∀j∈[q]. (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 [m] satisfying the q-partitioning property is MPH-⌈mq⌉ and subadditive.

Proof.

To prove this statement, for each S⊆[m], we will create a clause wS containing hyperedges of size at most ⌈mq⌉, which takes value v⁢(S) at S and for any T≠S, wS⁢(T)≤v⁢(S). This will be clearly enough as we can take the maximum over clauses wS. Take an arbitrary set S and partition it into q subsets S1,S2,…,Sq of almost equal size such that each subset has at most ⌈mq⌉ elements. We will construct a clause of the form

wS=(S1:p1,S2:p2,…,Sq:pq),

where pi is the weight of set Si for each i. Note that the weights p1,p2,…,pq must satisfy

∑ipi=v⁢(S),∑i∈Ipi≤v⁢(⋃i∈ISi)⁢∀I⊆[q],pi≥0⁢∀i∈[q].

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 q∉{2,m}. Let k=⌈mq⌉. The valuation v⁢(S):=max⁡((|S|k),12⁢(mk)) over [m] is MPH-k and subadditive. However, it is simple to show that it is not q-partitioning. Split [m] into q sets of almost equal size S1,S2,…,Sq and consider the fractional cover α over [q] assigning weight 1q−1 to all subsets of [q] of size q−1. A simple calculation shows that v and α do not satisfy the q-partitioning property.

4 Main Result I: Posted Price Mechanisms

We consider the setup of [32]. Namely, there are n buyers interested in a set of items [m]. The buyers’ valuations come from a product distribution 𝒟=𝒟1×𝒟2⁢⋯×𝒟n, known to the seller. The optimal expected welfare is then OPT⁢(𝒟):=𝔼v→←𝒟⁢[maxPartitions ⁢S1,…,Sn⁡{∑i=1nvi⁢(Si)}]. The goal of the seller is to fix prices p1,…,pm so that the following procedure guarantees welfare at least c⋅OPT in expectation:

  • ■

    Let A denote the set of available items. Initially A=[m].

  • ■

    Visit the buyers one at a time in adversarial order. When visiting buyer i, they will purchase the set Si:=arg⁡maxS⊆A⁡{vi⁢(S)−∑i∈Spi}, and update A:=A∖Si.

Theorem 16.

When all agents have q-partitioning valuations, there exists a Ί⁢(log⁥log⁥qlog⁥log⁥m)-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 q=m, a constant ratio mechanism was proven in [32]) and CF valuations (when q=2, a Ί⁢(1log⁥log⁥m)-competitive posted price mechanism was proven in [22]) and interpolates smoothly when q is in between.

Like [22], we first give a proof in the case when each 𝒟i 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 p∈[0,1] be a real number. Denote by Δ⁢(p) the set of distributions over 2[m] such that 𝐏S←λ⁢[i∈S]≤p holds for all λ∈Δ⁢(p) and all i∈[m]. The framework of [22] establishes the following:

Lemma 17 ([22, Eq. (6)]).

A class of monotone valuations 𝒢 over [m] is given. If for any v∈𝒢, there exists a real number p∈[0,1] (possibly depending on v), such that

maxλ∈Δ⁢(p)⁡minμ∈Δ⁢(p)⁡𝐄S←λ,T←μ⁢[v⁢(S\T)]≥α×v⁢([m]),

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 p exists for α=Θ⁢(1log⁡log⁡m), but no better. In the rest of this section, we will show that when 𝒢 is the set of q-partitioning valuations, the conditions of Lemma 17 hold with α=Ω⁢(log⁡log⁡qlog⁡log⁡m). 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 q is quite novel in comparison to the q=2 (subadditive).

Proposition 18.

Let v∈𝒬⁢(q,[m]). Then there exists a real number p∈[0,1] such that:

maxλ∈Δ⁢(p)⁡minμ∈Δ⁢(p)⁡𝐄S←λ,T←μ⁢[v⁢(S\T)]≥Ω⁢(log⁡log⁡qlog⁡log⁡m)×v⁢([m]).
Proof.

Denote

g⁢(p)=maxλ∈Δ⁢(p)⁡minμ∈Δ⁢(p)⁡𝐄S←λ,T←μ⁢[v⁢(S\T)],f⁢(p)=maxλ∈Δ⁢(p)⁡𝐄S←λ⁢[v⁢(S)],

and let λp be a maximizing distribution in arg⁡maxλ∈Δ⁢(p)⁡𝐄S←λ⁢[v⁢(S)].
Without loss of generality, assume that q is a perfect power of 2, i.e. q=2r (we can always decrease q to a power of 2 without changing the asymptotics of Ω⁢(log⁡log⁡qlog⁡log⁡m)). Now, fix some p∈(0,116]. We will show that g⁢(p)≥18⁢(f⁢(p)−f⁢(pr2)). The first step is the obvious bound

g⁢(p)≥minμ∈Δ⁢(p)⁡𝐄S←λp,T←μ⁢[v⁢(S\T)],

which follows from the fact that we can choose λ=λp. Now, we bound 𝐄S←λp,T←μ⁢[v⁢(S\T)]. Fix a distribution μ. Let S be drawn according to λp and T1,T2,…,Tr be r independent sets drawn according to μ. Then,

𝐄⁢[v⁢(S\T)]=𝐄⁢[∑i=1r1r⁢v⁢(S\Ti)].

Now, we will use the q-partitioning property. Note that the sets T1,T2⁢…,Tr define a partitioning of S into 2r=q subsets. That is, for any v→∈{0,1}r, we can define

Sv→={j∈S:j∈Ti⁢ for ⁢vi=1⁢ and ⁢j∉Ti⁢ for ⁢vi=0}. (Partitioning with r sets)

According to this partitioning, define A0,A1,A2,…,Ar as follows:

At={j∈S:j⁢ belongs to exactly ⁢t⁢ of the sets ⁢Ti}=⋃v→: 1T⁢v→=tSv→.

Then, by the q-partitioning property, we know that

8r⁢(v⁢(S\T1)+v⁢(S\T2)+⋯+v⁢(S\Tr))+v⁢(⋃j≥7⁢r8Aj)≥v⁢(S).

Indeed, that is the case for the following reason. If v→ is such that 1T⁢v→<7⁢r8, then Sv→ belongs to at least r−1T⁢v→≥r8 of the sets S\Ti, so it is “fractionally covered” by the term8r⁢(v⁢(S\T1)+v⁢(S\T2)+⋯+v⁢(S\Tr)). If, on the other hand, v→ is such that 1T⁢v→≥7⁢r8, then it is fractionally covered by the term v⁢(⋃j≥7⁢r8Aj).
Now, let A=⋃j≥7⁢r8Aj. We claim that each element j∈[m] belongs to A with probability at most pr/2 (over the randomness in drawing S←λp and T1,…,Tr←μ, then defining A as above). To prove this, we will use the classical Chernoff bound as follows. Let Yi be the indicator that j∈Ti. Then, 𝐏⁢[Yi=1]≤p, so 𝐄⁢[∑i=1rYi]≤r⁢p. On the other hand, j is in A if and only if ∑i=1rYi≥78⁢r. Now, let δ=78⁢p−1 and let μ=r⁢p. Then, by Chernoff bound,

𝐏⁢[∑i=1rYi≥78⁢r] ≤𝐏⁢[∑i=1rYi≥μ⁢(1+δ)]≤(eδ(1+δ)1+δ)μ
≤(e1+δ(1+δ)1+δ)r⁢p=(8⁢e⁢p7)7⁢r8≤pr2,

where the last inequality follows since p≤116. All of this together shows that

g⁢(p)≥minμ∈Δ⁢(p)⁡𝐄S←λp,T←μ⁢[v⁢(S\T)]≥
1r⁢∑i=1r𝐄⁢[v⁢(S\Ti)]≥18⁢𝐄⁢[v⁢(S)]−18⁢𝐄⁢[v⁢(A)]≥18⁢f⁢(p)−18⁢f⁢(pr2),

where the last inequality holds as each element appears in A with probability at most pr/2. 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 v is XOS, the random variable v⁢(S) has 𝐄⁢[v⁢(S)]-subgaussian lower tails. The proof follows by establishing that 1-Lipschitz XOS functions of independent random variables are self bounding, and applying a concentration inequality of [8]. We begin by showing that 1-Lipschitz q-partitioning functions are (⌈m/q⌉,0)-self bounding, and applying a concentration inequality of [43, 9] to yield the following:

Theorem 19.

Any 1-Lipschitz q-partitioning valuation v over [m] satisfies the following inequalities

𝐏⁢[v⁢(S)≥𝐄⁢[v⁢(S)]+t]≤exp⁡(−12×t2⌈mq⌉⁢𝐄⁢[v⁢(S)]+3⁢⌈mq⌉−16⁢t)⁢ for ⁢t≥0,
𝐏⁢[v⁢(S)≤𝐄⁢[v⁢(S)]−t]≤exp⁡(−12×t2⌈mq⌉⁢𝐄⁢[v⁢(S)])⁢ for ⁢𝐄⁢[Z]≥t≥0.

We prove Theorem 19 in the full version [5]. Theorem 19 matches [52] at q=m, and provides non-trivial tail bounds for q=ω⁢(1). One should note, however, the the above inequality is useless when q is constant, as it only implies O⁢(m⁢𝐄⁢[v⁢(S)])-subgaussian behaviour, but it is well known that any 1-Lipschitz set function is m-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 𝐏⁢[v⁢(S)≥(q+1)⁢a+k]≤q−k⁢𝐏⁢[v⁢(S)≤a]−q, but reducing the factor from q+1 to q in the normalized case is a trivial modification of the proof. It follows, in particular, from our Theorem 20. that whenever v is normalized 1-Lipschitz subadditive, the following inequality holds for any real numbers a>0,k>0, and integer q≥2,

𝐏⁢[v⁢(S)≥q⁢a+k]≤q−k⁢𝐏⁢[v⁢(S)≤a]−q. (2)

In particular, setting a=𝐌𝐞𝐝⁢[v⁢(S)],q=2, and integrating over k=0 to ∞ allows one to conclude the bound 𝐄⁢[v⁢(S)]≤2⁢𝐌𝐞𝐝⁢[v⁢(S)]+O⁢(1), which has proven useful, for example in [47]. While this inequality establishes a very rapid exponential decay, the decay only begins at 2⁢a as we need q≥2.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 𝐏⁢[v⁢(S)≥1.1⁢a+k] or, even more strongly, something of the form 𝐏⁢[v⁢(S)≥(1+om⁢(1))⁢a+k]? Our next inequality accomplishes this:

Theorem 20.

Suppose that v∈𝒬⁢(q,[m]), and S⊆[m] is a random set in which each element appears independently. Then the following inequality holds for any a≥0,k≥0, and integers 1≤s<r≤log2⁡q.

𝐏⁢[v⁢(S)≥rs⁢a+k]≤(rs)−k⁢𝐏⁢[v⁢(S)≤a]−rs.

The interesting extension for q-partitioning valuations via Theorem 20 is that one may takes=log2⁡q−1,r=log2⁡q. From here, for example, one can again take a to be the median of v⁢(S), and integrate from k=0 to ∞ to conclude that 𝐄⁢[v⁢(S)]≤(1+O⁢(1log⁡q))⁢𝐌𝐞𝐝⁢[v⁢(S)]+O⁢(log⁡q). In the very special case of q=m, we can also replace rs with any real 1+δ>0 and obtain the 𝐄⁢[v⁢(S)]≤𝐌𝐞𝐝⁢[v⁢(S)]+O⁢(𝐌𝐞𝐝⁢[v⁢(S)]), which is the same extremely strong relationship implied by the 𝐄⁢[v⁢(S)]-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 q-points”.

5.1 A Probabilistic Detour: A New Isoperimetric Concentration Inequality

Suppose that we have a product probability space Ω=∏i=1NΩi 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 q+1 points141414In the current section, we will reserve the letter “q” to indicate the number of points y1,y2,…,yq. While this choice might seem unnatural given that the current paper is all about “q-Partitioning” and “q” 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 q points” in literature [51, Section 3]. y1,y2,…,yq,x in Ω, and an integer 1≤s≤q, we define

fs(y1,y2,…,yq;x):=|{i∈[N]:xi⁢ appears less than s times in the multiset ⁢{yi1,yi2,…,yiq}}|. (3)

Using this definition, one can extend fs to subsets A1,A2,A3,…,Aq of Ω as follows

fs⁢(A1,A2,…,Aq;x):=inf{fs⁢(y1,y2,…,yq;x):yi∈Ai⁢∀i}.

When A=A1,A2,…,Aq, the function fs⁢(A1,A2,…,Aq;x) intuitively defines a “distance” from x to A.151515This interpretation of fs as a “distance” is what motivates the name “isoperimetric inequality” [51]. The definition of the function fs 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, A1,A2,…,Aq are fixed while x is random, distributed according to 𝐏, which is the aforementioned product distribution over Ω.

Theorem 21.

Suppose that α≥1s is a real number and t⁢(α,q,s) is the larger root of the equation t+α⁢q⁢t−1α⁢s=α⁢q+1. Then, ∫Ωt⁢(α,q,s)fs⁢(A1,A2,…,Aq;x)⁢𝑑𝐏⁢(x)≤1∏i=1q𝐏⁢[Ai]α.

In particular, setting A1=A2=⋯=Aq=A,α=1s,t=qs, we obtain

𝐏⁢[fs⁢(A,A,…,A⏟q;x)≥k]≤(qs)−k⁢𝐏⁢[x∈A]−qs.

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 r 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-k 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 r sets), which appears in both Proposition 18 and Theorem 20.

Precise closeness of 𝓠⁢(𝒒,[𝒎]) to 𝓠⁢(𝒒′,[𝒎]).

We establish that 𝒬⁢(q,[m]) is q−1q-close to 𝒬⁢(q+1,[m]). In the full version [5], we show q-partitioning valuations that are not (q2−1q2+ϵ)-close to 𝒬⁢(q+1,[m]) for any ϵ>0. It is interesting to understand what valuations in 𝒬⁢(q,[m]) are furthest from 𝒬⁢(q+1,[m]) (and how far they are).

Similarly, it is interesting to understand for which β, the class 𝒬⁢(q,[m]) pointwise β-approximates 𝒬⁢(q+1,[m]).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 q≠m. Determining the precise relationship between the two properties is itself interesting. We note that one direction is easy. For any q, being pointwise β-approximated by 𝒬⁢(q,[m]) implies being β-close to 𝒬⁢(q,[m]). Open is whether the converse is true.

We also note that [6] resolves asymptotically the closeness of 𝒬⁢(2,[m]) to 𝒬⁢(m,[m]) at Θ⁢(1/log⁡m). In the full version [5], we show that simple modifications of their arguments imply that 𝒬⁢(2,[m]) is Θ⁢(1/log⁡q)-close to 𝒬⁢(q,[m]) for any q.

Constructing “hard” 𝒒-Partitioning valuations.

Our two main results, Theorems 16 and 20, both establish the existence of desirable properties for q-partitioning valuations. However, to demonstrate tightness, one would need “hard” constructions of q-partitioning valuations that are not (q+1)-partitioning (recall that we have given constructions of valuation functions in 𝒬⁢(q,[m])∖𝒬⁢(q+1,[m]), 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 𝒬⁢(q,[m])∖𝒬⁢(q+1,[m]). Indeed, there is no previous construction of valuations that are subadditive MPH-k but not subadditive MPH-(k−1) (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 O⁢(log⁥log⁥mlog⁥m) 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 s=1 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 {2,…,m}.

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.