-
Pairwise-Independent Contention Resolution
Authors:
Anupam Gupta,
**qiao Hu,
Gregory Kehne,
Roie Levin
Abstract:
We study online contention resolution schemes (OCRSs) and prophet inequalities for non-product distributions. Specifically, when the active set is sampled according to a pairwise-independent (PI) distribution, we show a $(1-o_k(1))$-selectable OCRS for uniform matroids of rank $k$, and $Ω(1)$-selectable OCRSs for laminar, graphic, cographic, transversal, and regular matroids. These imply prophet i…
▽ More
We study online contention resolution schemes (OCRSs) and prophet inequalities for non-product distributions. Specifically, when the active set is sampled according to a pairwise-independent (PI) distribution, we show a $(1-o_k(1))$-selectable OCRS for uniform matroids of rank $k$, and $Ω(1)$-selectable OCRSs for laminar, graphic, cographic, transversal, and regular matroids. These imply prophet inequalities with the same ratios when the set of values is drawn according to a PI distribution. Our results complement recent work of Dughmi, Kalayci, and Patel (STOC '24) showing that no $ω(1/k)$-selectable OCRS exists in the PI setting for general matroids of rank $k$.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
A Multi-Dimensional Online Contention Resolution Scheme for Revenue Maximization
Authors:
Shuchi Chawla,
Dimitris Christou,
Trung Dang,
Zhiyi Huang,
Gregory Kehne,
Ro** Rezvan
Abstract:
We study multi-buyer multi-item sequential item pricing mechanisms for revenue maximization with the goal of approximating a natural fractional relaxation -- the ex ante optimal revenue. We assume that buyers' values are subadditive but make no assumptions on the value distributions. While the optimal revenue, and therefore also the ex ante benchmark, is inapproximable by any simple mechanism in t…
▽ More
We study multi-buyer multi-item sequential item pricing mechanisms for revenue maximization with the goal of approximating a natural fractional relaxation -- the ex ante optimal revenue. We assume that buyers' values are subadditive but make no assumptions on the value distributions. While the optimal revenue, and therefore also the ex ante benchmark, is inapproximable by any simple mechanism in this context, previous work has shown that a weaker benchmark that optimizes over so-called ``buy-many" mechanisms can be approximable. Approximations are known, in particular, for settings with either a single buyer or many unit-demand buyers. We extend these results to the much broader setting of many subadditive buyers. We show that the ex ante buy-many revenue can be approximated via sequential item pricings to within an $O(\log^2 m)$ factor, where $m$ is the number of items. We also show that a logarithmic dependence on $m$ is necessary.
Our approximation is achieved through the construction of a new multi-dimensional Online Contention Resolution Scheme (OCRS), that provides an online rounding of the optimal ex ante solution. Chawla et al. arXiv:2204.01962 previously constructed an OCRS for revenue for unit-demand buyers, but their construction relied heavily on the ``almost single dimensional" nature of unit-demand values. Prior to that work, OCRSes have only been studied in the context of social welfare maximization for single-parameter buyers. For the welfare objective, constant-factor approximations have been demonstrated for a wide range of combinatorial constraints on item allocations and classes of buyer valuation functions. Our work opens up the possibility of a similar success story for revenue maximization.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
The Distortion of Binomial Voting Defies Expectation
Authors:
Yannai A. Gonczarowski,
Gregory Kehne,
Ariel D. Procaccia,
Ben Schiffer,
Shirley Zhang
Abstract:
In computational social choice, the distortion of a voting rule quantifies the degree to which the rule overcomes limited preference information to select a socially desirable outcome. This concept has been investigated extensively, but only through a worst-case lens. Instead, we study the expected distortion of voting rules with respect to an underlying distribution over voter utilities. Our main…
▽ More
In computational social choice, the distortion of a voting rule quantifies the degree to which the rule overcomes limited preference information to select a socially desirable outcome. This concept has been investigated extensively, but only through a worst-case lens. Instead, we study the expected distortion of voting rules with respect to an underlying distribution over voter utilities. Our main contribution is the design and analysis of a novel and intuitive rule, binomial voting, which provides strong distribution-independent guarantees for both expected distortion and expected welfare.
△ Less
Submitted 7 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Set Covering with Our Eyes Wide Shut
Authors:
Anupam Gupta,
Gregory Kehne,
Roie Levin
Abstract:
In the stochastic set cover problem (Grandoni et al., FOCS '08), we are given a collection $\mathcal{S}$ of $m$ sets over a universe $\mathcal{U}$ of size $N$, and a distribution $D$ over elements of $\mathcal{U}$. The algorithm draws $n$ elements one-by-one from $D$ and must buy a set to cover each element on arrival; the goal is to minimize the total cost of sets bought during this process. A un…
▽ More
In the stochastic set cover problem (Grandoni et al., FOCS '08), we are given a collection $\mathcal{S}$ of $m$ sets over a universe $\mathcal{U}$ of size $N$, and a distribution $D$ over elements of $\mathcal{U}$. The algorithm draws $n$ elements one-by-one from $D$ and must buy a set to cover each element on arrival; the goal is to minimize the total cost of sets bought during this process. A universal algorithm a priori maps each element $u \in \mathcal{U}$ to a set $S(u)$ such that if $U \subseteq \mathcal{U}$ is formed by drawing $n$ times from distribution $D$, then the algorithm commits to outputting $S(U)$. Grandoni et al. gave an $O(\log mN)$-competitive universal algorithm for this stochastic set cover problem.
We improve unilaterally upon this result by giving a simple, polynomial time $O(\log mn)$-competitive universal algorithm for the more general prophet version, in which $U$ is formed by drawing from $n$ different distributions $D_1, \ldots, D_n$. Furthermore, we show that we do not need full foreknowledge of the distributions: in fact, a single sample from each distribution suffices. We show similar results for the 2-stage prophet setting and for the online-with-a-sample setting.
We obtain our results via a generic reduction from the single-sample prophet setting to the random-order setting; this reduction holds for a broad class of minimization problems that includes all covering problems. We take advantage of this framework by giving random-order algorithms for non-metric facility location and set multicover; using our framework, these automatically translate to universal prophet algorithms.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Representation with Incomplete Votes
Authors:
Daniel Halpern,
Gregory Kehne,
Ariel D. Procaccia,
Jamie Tucker-Foltz,
Manuel Wüthrich
Abstract:
Platforms for online civic participation rely heavily on methods for condensing thousands of comments into a relevant handful, based on whether participants agree or disagree with them. These methods should guarantee fair representation of the participants, as their outcomes may affect the health of the conversation and inform impactful downstream decisions. To that end, we draw on the literature…
▽ More
Platforms for online civic participation rely heavily on methods for condensing thousands of comments into a relevant handful, based on whether participants agree or disagree with them. These methods should guarantee fair representation of the participants, as their outcomes may affect the health of the conversation and inform impactful downstream decisions. To that end, we draw on the literature on approval-based committee elections. Our setting is novel in that the approval votes are incomplete since participants will typically not vote on all comments. We prove that this complication renders non-adaptive algorithms impractical in terms of the amount of information they must gather. Therefore, we develop an adaptive algorithm that uses information more efficiently by presenting incoming participants with statements that appear promising based on votes by previous participants. We prove that this method satisfies commonly used notions of fair representation, even when participants only vote on a small fraction of comments. Finally, an empirical evaluation using real data shows that the proposed algorithm provides representative outcomes in practice.
△ Less
Submitted 21 December, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Random Order Set Cover is as Easy as Offline
Authors:
Anupam Gupta,
Gregory Kehne,
Roie Levin
Abstract:
We give a polynomial-time algorithm for OnlineSetCover with a competitive ratio of $O(\log mn)$ when the elements are revealed in random order, essentially matching the best possible offline bound of $O(\log n)$ and circumventing the $Ω(\log m \log n)$ lower bound known in adversarial order. We also extend the result to solving pure covering IPs when constraints arrive in random order.
The algor…
▽ More
We give a polynomial-time algorithm for OnlineSetCover with a competitive ratio of $O(\log mn)$ when the elements are revealed in random order, essentially matching the best possible offline bound of $O(\log n)$ and circumventing the $Ω(\log m \log n)$ lower bound known in adversarial order. We also extend the result to solving pure covering IPs when constraints arrive in random order.
The algorithm is a multiplicative-weights-based round-and-solve approach we call LearnOrCover. We maintain a coarse fractional solution that is neither feasible nor monotone increasing, but can nevertheless be rounded online to achieve the claimed guarantee (in the random order model). This gives a new offline algorithm for SetCover that performs a single pass through the elements, which may be of independent interest.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Can Buyers Reveal for a Better Deal?
Authors:
Daniel Halpern,
Gregory Kehne,
Jamie Tucker-Foltz
Abstract:
We study market interactions in which buyers are allowed to credibly reveal partial information about their types to the seller. Previous recent work has studied the special case of one buyer and one good, showing that such communication can simultaneously improve social welfare and ex ante buyer utility. However, with multiple buyers, we find that the buyer-optimal signalling schemes from the one…
▽ More
We study market interactions in which buyers are allowed to credibly reveal partial information about their types to the seller. Previous recent work has studied the special case of one buyer and one good, showing that such communication can simultaneously improve social welfare and ex ante buyer utility. However, with multiple buyers, we find that the buyer-optimal signalling schemes from the one-buyer case are actually harmful to buyer welfare. Moreover, we prove several impossibility results showing that, with either multiple i.i.d. buyers or multiple i.i.d. goods, maximizing buyer utility can be at odds with social efficiency, which is surprising in contrast with the one-buyer, one-good case. Finally, we investigate the computational tractability of implementing desirable equilibrium outcomes. We find that, even with one buyer and one good, optimizing buyer utility is generally NP-hard but tractable in a practical restricted setting.
△ Less
Submitted 3 May, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
An Optimal Rounding for Half-Integral Weighted Minimum Strongly Connected Spanning Subgraph
Authors:
D Ellis Hershkowitz,
Gregory Kehne,
R. Ravi
Abstract:
In the weighted minimum strongly connected spanning subgraph (WMSCSS) problem we must purchase a minimum-cost strongly connected spanning subgraph of a digraph. We show that half-integral linear program (LP) solutions for WMSCSS can be efficiently rounded to integral solutions at a multiplicative $1.5$ cost. This rounding matches a known $1.5$ integrality gap lower bound for a half-integral instan…
▽ More
In the weighted minimum strongly connected spanning subgraph (WMSCSS) problem we must purchase a minimum-cost strongly connected spanning subgraph of a digraph. We show that half-integral linear program (LP) solutions for WMSCSS can be efficiently rounded to integral solutions at a multiplicative $1.5$ cost. This rounding matches a known $1.5$ integrality gap lower bound for a half-integral instance. More generally, we show that LP solutions whose non-zero entries are at least a value $f > 0$ can be rounded at a multiplicative cost of $2 - f$.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
The Phantom Steering Effect in Q&A Websites
Authors:
Nicholas Hoernle,
Gregory Kehne,
Ariel D. Procaccia,
Kobi Gal
Abstract:
Badges are commonly used in online platforms as incentives for promoting contributions. It is widely accepted that badges "steer" people's behavior toward increasing their rate of contributions before obtaining the badge. This paper provides a new probabilistic model of user behavior in the presence of badges. By applying the model to data from thousands of users on the Q&A site Stack Overflow, we…
▽ More
Badges are commonly used in online platforms as incentives for promoting contributions. It is widely accepted that badges "steer" people's behavior toward increasing their rate of contributions before obtaining the badge. This paper provides a new probabilistic model of user behavior in the presence of badges. By applying the model to data from thousands of users on the Q&A site Stack Overflow, we find that steering is not as widely applicable as was previously understood. Rather, the majority of users remain apathetic toward badges, while still providing a substantial number of contributions to the site. An interesting statistical phenomenon, termed "Phantom Steering," accounts for the interaction data of these users and this may have contributed to some previous conclusions about steering. Our results suggest that a small population, approximately 20%, of users respond to the badge incentives. Moreover, we conduct a qualitative survey of the users on Stack Overflow which provides further evidence that the insights from the model reflect the true behavior of the community. We argue that while badges might contribute toward a suite of effective rewards in an online system, research into other aspects of reward systems such as Stack Overflow reputation points should become a focus of the community.
△ Less
Submitted 21 August, 2020; v1 submitted 14 February, 2020;
originally announced February 2020.
-
Reverse Greedy is Bad for k-Center
Authors:
D Ellis Hershkowitz,
Gregory Kehne
Abstract:
We show the reverse greedy algorithm is between a $(2k-2)$- and a $2k$-approximation for $k$-center.
We show the reverse greedy algorithm is between a $(2k-2)$- and a $2k$-approximation for $k$-center.
△ Less
Submitted 12 December, 2019; v1 submitted 3 October, 2018;
originally announced October 2018.
-
Bipyramid Decompositions of Multi-crossing Link Complements
Authors:
Colin Adams,
Gregory Kehne
Abstract:
Generalizing previous constructions, we present a dual pair of decompositions of the complement of a link L into bipyramids, given any multi-crossing projection of L. When L is hyperbolic, this gives new upper bounds on the volume of L given its multi-crossing projection. These bounds are realized by three closely related infinite tiling weaves.
Generalizing previous constructions, we present a dual pair of decompositions of the complement of a link L into bipyramids, given any multi-crossing projection of L. When L is hyperbolic, this gives new upper bounds on the volume of L given its multi-crossing projection. These bounds are realized by three closely related infinite tiling weaves.
△ Less
Submitted 10 October, 2017; v1 submitted 12 October, 2016;
originally announced October 2016.
-
Generalized bipyramids and hyperbolic volumes of tiling links
Authors:
Colin Adams,
Aaron Calderon,
Xinyi Jiang,
Alexander Kastner,
Gregory Kehne,
Nathaniel Mayer,
Mia Smith
Abstract:
We present explicit geometric decompositions of the complement of tiling links, which are alternating links whose projection graphs are uniform tilings of the 2-sphere, the Euclidean plane or the hyperbolic plane. This requires generalizing the angle structures program of Casson and Rivin for triangulations with a mixture of finite, ideal, and truncated (i.e. ultra-ideal) vertices. A consequence o…
▽ More
We present explicit geometric decompositions of the complement of tiling links, which are alternating links whose projection graphs are uniform tilings of the 2-sphere, the Euclidean plane or the hyperbolic plane. This requires generalizing the angle structures program of Casson and Rivin for triangulations with a mixture of finite, ideal, and truncated (i.e. ultra-ideal) vertices. A consequence of this decomposition is that the volumes of spherical tiling links are precisely twice the maximal volumes of the ideal Archimedean solids of the same combinatorial description. In the case of hyperbolic tiling links, we are led to consider links embedded in thickened surfaces S_g x I with genus g at least 2. We generalize the bipyramid construction of Adams to truncated bipyramids and use them to prove that the set of possible volume densities for links in S_g x I, ranging over all g at least 2, is a dense subset of the interval [0, 2v_{oct}], where v_{oct}, approximately 3.66386, is the volume of the regular ideal octahedron.
△ Less
Submitted 5 October, 2017; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Volume and Determinant Densities of Hyperbolic Rational Links
Authors:
Colin Adams,
Aaron Calderon,
Xinyi Jiang,
Alexander Kastner,
Gregory Kehne,
Nathaniel Mayer,
Mia Smith
Abstract:
The volume density of a hyperbolic link is defined as the ratio of hyperbolic volume to crossing number. We study its properties and a closely-related invariant called the determinant density. It is known that the sets of volume densities and determinant densities of links are dense in the interval [0,v_{oct}]. We construct sequences of alternating knots whose volume and determinant densities both…
▽ More
The volume density of a hyperbolic link is defined as the ratio of hyperbolic volume to crossing number. We study its properties and a closely-related invariant called the determinant density. It is known that the sets of volume densities and determinant densities of links are dense in the interval [0,v_{oct}]. We construct sequences of alternating knots whose volume and determinant densities both converge to any x in [0,v_{oct}]. We also investigate the distributions of volume and determinant densities for hyperbolic rational links, and establish upper bounds and density results for these invariants.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.