Unified Fair Allocation of Goods and Chores via CopiesGafni, Yotam; Huang, Xin; Lavi, Ron; Talgam-Cohen, Inbal
doi: 10.1145/3618116pmid: N/A
We consider fair allocation of indivisible items in a model with goods, chores, and copies, as a unified framework for studying: (1) the existence of EFX and other solution concepts for goods with copies; (2) the existence of EFX and other solution concepts for chores. We establish a tight relation between these issues via two conceptual contributions: First, a refinement of envy-based fairness notions that we term envy without commons (denoted EFXWC when applied to EFX). Second, a formal duality theorem relating the existence of a host of (refined) fair allocation concepts for copies to their existence for chores. We demonstrate the usefulness of our duality result by using it to characterize the existence of EFX for chores through the dual environment, as well as to prove EFX existence in the special case of leveled preferences over the chores. We further study the hierarchy among envy-freeness notions without commons and their α-MMS guarantees, showing, for example, that any EFXWC allocation guarantees at least \(\frac{4}{11}\) -MMS for goods with copies.
Prophet Inequalities with Linear Correlations and AugmentationsImmorlica, Nicole; Singla, Sahil; Waggoner, Bo
doi: 10.1145/3623273pmid: N/A
In a classical online decision problem, a decision-maker who is trying to maximize her value inspects a sequence of arriving items to learn their values (drawn from known distributions) and decides when to stop the process by taking the current item. The goal is to prove a “prophet inequality”: that she can do approximately as well as a prophet with foreknowledge of all the values. In this work, we investigate this problem when the values are allowed to be correlated. Since nontrivial guarantees are impossible for arbitrary correlations, we consider a natural “linear” correlation structure introduced by Bateni et al. as a generalization of the common-base value model of Chawla et al. A key challenge is that threshold-based algorithms, which are commonly used for prophet inequalities, no longer guarantee good performance for linear correlations. We relate this roadblock to another “augmentations” challenge that might be of independent interest: many existing prophet inequality algorithms are not robust to slight increases in the values of the arriving items. We leverage this intuition to prove bounds (matching up to constant factors) that decay gracefully with the amount of correlation of the arriving items. We extend these results to the case of selecting multiple items by designing a new (1+o(1))-approximation ratio algorithm that is robust to augmentations.
Social Cost Analysis of Shared/Buy-in Computing SystemsShi, Zhenpeng; Starobinski, David; Orda, Ariel
doi: 10.1145/3624355pmid: N/A
Shared/buy-in computing systems offer users the option to select between buy-in and shared services. In such systems, idle buy-in resources are made available to other users for sharing. With strategic users, resource purchase and allocation in such systems can be cast as a non-cooperative game, whose corresponding Nash equilibrium does not necessarily result in the optimal social cost. In this study, we first derive the optimal social cost of the game in closed form, by casting it as a convex optimization problem and establishing related properties. Next, we derive a closed-form expression for the social cost at the Nash equilibrium, and show that it can be computed in linear time. We further show that the strategy profiles of users at the optimum and the Nash equilibrium are directly proportional. We measure the inefficiency of the Nash equilibrium through the price of anarchy, and show that it can be quite large in certain cases, e.g., when the operating expense ratio is low or when the distribution of user workloads is relatively homogeneous. To improve the efficiency of the system, we propose and analyze two subsidy policies, which are shown to converge using best-response dynamics.
Topological Bounds on the Price of Anarchy of Clustering Games on NetworksKleer, Pieter; Schäfer, Guido
doi: 10.1145/3625689pmid: N/A
We consider clustering games in which the players are embedded into a network and want to coordinate (or anti-coordinate) their strategy with their neighbors. The goal of a player is to choose a strategy that maximizes her utility given the strategies of her neighbors. Recent studies show that even very basic variants of these games exhibit a large Price of Anarchy: A large inefficiency between the total utility generated in centralized outcomes and equilibrium outcomes in which players selfishly maximize their utility.Our main goal is to understand how structural properties of the network topology impact the inefficiency of these games. We derive topological bounds on the Price of Anarchy for different classes of clustering games. These topological bounds provide a more informative assessment of the inefficiency of these games than the corresponding worst-case Price of Anarchy bounds. More specifically, depending on the type of clustering game, our bounds reveal that the Price of Anarchy depends on the maximum subgraph density or the maximum degree of the graph. Among others, these bounds enable us to derive bounds on the Price of Anarchy for clustering games on Erdős-Rényi random graphs. Depending on the graph density, these bounds stand in stark contrast to the known worst-case Price of Anarchy bounds.Additionally, we characterize the set of distribution rules that guarantee the existence of a pure Nash equilibrium or the convergence of best-response dynamics. These results are of a similar spirit as the work of Gopalakrishnan et al. [19] and complement work of Anshelevich and Sekar [4].