-
Unified Fair Allocation of Goods and Chores via Copies
Authors:
Yotam Gafni,
Xin Huang,
Ron Lavi,
Inbal Talgam-Cohen
Abstract:
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 no…
▽ More
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 \emph{without commons} (denoted $\efxwc$ when applied to EFX). Second, a formal \emph{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.
△ Less
Submitted 28 September, 2021; v1 submitted 17 September, 2021;
originally announced September 2021.
-
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with Application to False-name Manipulation
Authors:
Yotam Gafni,
Ron Lavi,
Moshe Tennenholtz
Abstract:
Weighted voting games apply to a wide variety of multi-agent settings. They enable the formalization of power indices which quantify the coalitional power of players. We take a novel approach to the study of the power of big vs.~small players in these games. We model small (big) players as having single (multiple) votes. The aggregate relative power of big players is measured w.r.t.~their votes pr…
▽ More
Weighted voting games apply to a wide variety of multi-agent settings. They enable the formalization of power indices which quantify the coalitional power of players. We take a novel approach to the study of the power of big vs.~small players in these games. We model small (big) players as having single (multiple) votes. The aggregate relative power of big players is measured w.r.t.~their votes proportion. For this ratio, we show small constant worst-case bounds for the Shapley-Shubik and the Deegan-Packel indices. In sharp contrast, this ratio is unbounded for the Banzhaf index. As an application, we define a false-name strategic normal form game where each big player may split its votes between false identities, and study its various properties. Together, our results provide foundations for the implications of players' size, modeled as their ability to split, on their relative power.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
From Monopoly to Competition: Optimal Contests Prevail
Authors:
Xiaotie Deng,
Yotam Gafni,
Ron Lavi,
Tao Lin,
Hongyi Ling
Abstract:
We study competition among contests in a general model that allows for an arbitrary and heterogeneous space of contest design, where the goal of the contest designers is to maximize the contestants' sum of efforts. Our main result shows that optimal contests in the monopolistic setting (i.e., those that maximize the sum of efforts in a model with a single contest) form an equilibrium in the model…
▽ More
We study competition among contests in a general model that allows for an arbitrary and heterogeneous space of contest design, where the goal of the contest designers is to maximize the contestants' sum of efforts. Our main result shows that optimal contests in the monopolistic setting (i.e., those that maximize the sum of efforts in a model with a single contest) form an equilibrium in the model with competition among contests. Under a very natural assumption these contests are in fact dominant, and the equilibria that they form are unique. Moreover, equilibria with the optimal contests are Pareto-optimal even in cases where other equilibria emerge. In many natural cases, they also maximize the social welfare.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Incomplete Information VCG Contracts for Common Agency
Authors:
Tal Alon,
Ron Lavi,
Elisheva S. Shamash,
Inbal Talgam-Cohen
Abstract:
We study contract design for welfare maximization in the well known "common agency" model of [Bernheim and Whinston, 1986]. This model combines the challenges of coordinating multiple principals with the fundamental challenge of contract design: that principals have incomplete information of the agent's choice of action. Motivated by the significant social inefficiency of standard contracts for su…
▽ More
We study contract design for welfare maximization in the well known "common agency" model of [Bernheim and Whinston, 1986]. This model combines the challenges of coordinating multiple principals with the fundamental challenge of contract design: that principals have incomplete information of the agent's choice of action. Motivated by the significant social inefficiency of standard contracts for such settings (which we formally quantify using a price of anarchy/stability analysis), we investigate whether and how a recent toolbox developed for the first set of challenges under a complete-information assumption, VCG contracts [Lavi and Shamash, 2019], can be extended to incomplete information.
We define and characterize the class of "incomplete information VCG contracts (IIVCG)", and show it is the unique class guaranteeing truthfulness of the principals and welfare maximization by the agent. Our results reveal an inherent tradeoff between two important properties required to ensure participation in the contract: individual rationality (for the principals) and limited liability (for the agent). We design a polynomial-time algorithm for determining whether a setting has an IIVCG contract with both properties. As our main result we design a polynomial-time "algorithmic IIVCG" contract: given valuation reports from the principals it returns, if possible for the setting, a payment scheme for the agent that constitutes an IIVCG contract with all desired properties. We also give a sufficient graph-theoretic condition on the population of principals that ensures the existence of such an IIVCG contract.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
A Game-Theoretic Analysis of the Empirical Revenue Maximization Algorithm with Endogenous Sampling
Authors:
Xiaotie Deng,
Ron Lavi,
Tao Lin,
Qi Qi,
Wenwei Wang,
Xiang Yan
Abstract:
The Empirical Revenue Maximization (ERM) is one of the most important price learning algorithms in auction design: as the literature shows it can learn approximately optimal reserve prices for revenue-maximizing auctioneers in both repeated auctions and uniform-price auctions. However, in these applications the agents who provide inputs to ERM have incentives to manipulate the inputs to lower the…
▽ More
The Empirical Revenue Maximization (ERM) is one of the most important price learning algorithms in auction design: as the literature shows it can learn approximately optimal reserve prices for revenue-maximizing auctioneers in both repeated auctions and uniform-price auctions. However, in these applications the agents who provide inputs to ERM have incentives to manipulate the inputs to lower the outputted price. We generalize the definition of an incentive-awareness measure proposed by Lavi et al (2019), to quantify the reduction of ERM's outputted price due to a change of $m\ge 1$ out of $N$ input samples, and provide specific convergence rates of this measure to zero as $N$ goes to infinity for different types of input distributions. By adopting this measure, we construct an efficient, approximately incentive-compatible, and revenue-optimal learning algorithm using ERM in repeated auctions against non-myopic bidders, and show approximate group incentive-compatibility in uniform-price auctions.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Stateful Posted Pricing with Vanishing Regret via Dynamic Deterministic Markov Decision Processes
Authors:
Yuval Emek,
Ron Lavi,
Rad Niazadeh,
Yangguang Shi
Abstract:
In this paper, a rather general online problem called dynamic resource allocation with capacity constraints (DRACC) is introduced and studied in the realm of posted price mechanisms. This problem subsumes several applications of stateful pricing, including but not limited to posted prices for online job scheduling and matching over a dynamic bipartite graph. As the existing online learning techniq…
▽ More
In this paper, a rather general online problem called dynamic resource allocation with capacity constraints (DRACC) is introduced and studied in the realm of posted price mechanisms. This problem subsumes several applications of stateful pricing, including but not limited to posted prices for online job scheduling and matching over a dynamic bipartite graph. As the existing online learning techniques do not yield vanishing-regret mechanisms for this problem, we develop a novel online learning framework defined over deterministic Markov decision processes with dynamic state transition and reward functions. We then prove that if the Markov decision process is guaranteed to admit an oracle that can simulate any given policy from any initial state with bounded loss -- a condition that is satisfied in the DRACC problem -- then the online learning problem can be solved with vanishing regret. Our proof technique is based on a reduction to online learning with switching cost, in which an online decision maker incurs an extra cost every time she switches from one arm to another. We formally demonstrate this connection and further show how DRACC can be used in our proposed applications of stateful pricing.
△ Less
Submitted 28 June, 2020; v1 submitted 4 May, 2020;
originally announced May 2020.
-
VCG Under False-name Attacks: a Bayesian Analysis
Authors:
Yotam Gafni,
Ron Lavi,
Moshe Tennenholtz
Abstract:
VCG is a classical combinatorial auction that maximizes social welfare. However, while the standard single-item Vickrey auction is false-name-proof, a major failure of multi-item VCG is its vulnerability to false-name attacks. This occurs already in the natural bare minimum model in which there are two identical items and bidders are single-minded. Previous solutions to this challenge focused on d…
▽ More
VCG is a classical combinatorial auction that maximizes social welfare. However, while the standard single-item Vickrey auction is false-name-proof, a major failure of multi-item VCG is its vulnerability to false-name attacks. This occurs already in the natural bare minimum model in which there are two identical items and bidders are single-minded. Previous solutions to this challenge focused on develo** alternative mechanisms that compromise social welfare. We re-visit the VCG auction vulnerability and consider the bidder behavior in Bayesian settings. In service of that we introduce a novel notion, termed the granularity threshold, that characterizes VCG Bayesian resilience to false-name attacks as a function of the bidder type distribution. Using this notion we show a large class of cases in which VCG indeed obtains Bayesian resilience for the two-item single-minded setting.
△ Less
Submitted 26 June, 2021; v1 submitted 17 November, 2019;
originally announced November 2019.
-
Bayesian Generalized Network Design
Authors:
Yuval Emek,
Shay Kutten,
Ron Lavi,
Yangguang Shi
Abstract:
We study network coordination problems, as captured by the setting of generalized network design (Emek et al., STOC 2018), in the face of uncertainty resulting from partial information that the network users hold regarding the actions of their peers. This uncertainty is formalized using Alon et al.'s Bayesian ignorance framework (TCS 2012). While the approach of Alon et al. is purely combinatorial…
▽ More
We study network coordination problems, as captured by the setting of generalized network design (Emek et al., STOC 2018), in the face of uncertainty resulting from partial information that the network users hold regarding the actions of their peers. This uncertainty is formalized using Alon et al.'s Bayesian ignorance framework (TCS 2012). While the approach of Alon et al. is purely combinatorial, the current paper takes into account computational considerations: Our main technical contribution is the development of (strongly) polynomial time algorithms for local decision making in the face of Bayesian uncertainty.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
Deterministic Leader Election in Programmable Matter
Authors:
Yuval Emek,
Shay Kutten,
Ron Lavi,
William K. Moses Jr
Abstract:
Addressing a fundamental problem in programmable matter, we present the first deterministic algorithm to elect a unique leader in a system of connected amoebots assuming only that amoebots are initially contracted. Previous algorithms either used randomization, made various assumptions (shapes with no holes, or known shared chirality), or elected several co-leaders in some cases.
Some of the bui…
▽ More
Addressing a fundamental problem in programmable matter, we present the first deterministic algorithm to elect a unique leader in a system of connected amoebots assuming only that amoebots are initially contracted. Previous algorithms either used randomization, made various assumptions (shapes with no holes, or known shared chirality), or elected several co-leaders in some cases.
Some of the building blocks we introduce in constructing the algorithm are of interest by themselves, especially the procedure we present for reaching common chirality among the amoebots. Given the leader election and the chirality agreement building block, it is known that various tasks in programmable matter can be performed or improved.
The main idea of the new algorithm is the usage of the ability of the amoebots to move, which previous leader election algorithms have not used.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Asymptotically Efficient Multi-Unit Auctions via Posted Prices
Authors:
Urban Larsson,
Ron Lavi
Abstract:
We study the asymptotic average-case efficiency of static and anonymous posted prices for $n$ agents and $m(n)$ multiple identical items with $m(n)=o\left(\frac{n}{\log n}\right)$.
When valuations are drawn i.i.d from some fixed continuous distribution (each valuation is a vector in $\Re_+^m$ and independence is assumed only across agents) we show: (a) for any "upper mass" distribution there exi…
▽ More
We study the asymptotic average-case efficiency of static and anonymous posted prices for $n$ agents and $m(n)$ multiple identical items with $m(n)=o\left(\frac{n}{\log n}\right)$.
When valuations are drawn i.i.d from some fixed continuous distribution (each valuation is a vector in $\Re_+^m$ and independence is assumed only across agents) we show: (a) for any "upper mass" distribution there exist posted prices such that the expected revenue and welfare of the auction approaches the optimal expected welfare as $n$ goes to infinity; specifically, the ratio between the expected revenue of our posted prices auction and the expected optimal social welfare is $1-O\left(\frac{m(n)\log n}{n}\right)$, and (b) there do not exist posted prices that asymptotically obtain full efficiency for most of the distributions that do not satisfy the upper mass condition.
When valuations are complete-information and only the arrival order is adversarial, we provide a "tiefree" condition that is sufficient and necessary for the existence of posted prices that obtain the maximal welfare. This condition is generically satisfied, i.e., it is satisfied with probability $1$ if the valuations are i.i.d.~from some continuous distribution.
△ Less
Submitted 8 January, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Approximating Generalized Network Design under (Dis)economies of Scale with Applications to Energy Efficiency
Authors:
Yuval Emek,
Shay Kutten,
Ron Lavi,
Yangguang Shi
Abstract:
In a generalized network design (GND) problem, a set of resources are assigned to multiple communication requests. Each request contributes its weight to the resources it uses and the total load on a resource is then translated to the cost it incurs via a resource specific cost function. For example, a request may be to establish a virtual circuit, thus contributing to the load on each edge in the…
▽ More
In a generalized network design (GND) problem, a set of resources are assigned to multiple communication requests. Each request contributes its weight to the resources it uses and the total load on a resource is then translated to the cost it incurs via a resource specific cost function. For example, a request may be to establish a virtual circuit, thus contributing to the load on each edge in the circuit. Motivated by energy efficiency applications, recently, there is a growing interest in GND using cost functions that exhibit (dis)economies of scale ((D)oS), namely, cost functions that appear subadditive for small loads and superadditive for larger loads.
The current paper advances the existing literature on approximation algorithms for GND problems with (D)oS cost functions in various aspects: (1) we present a generic approximation framework that yields approximation results for a much wider family of requests in both directed and undirected graphs; (2) our framework allows for unrelated weights, thus providing the first non-trivial approximation for the problem of scheduling unrelated parallel machines with (D)oS cost functions; (3) our framework is fully combinatorial and runs in strongly polynomial time; (4) the family of (D)oS cost functions considered in the current paper is more general than the one considered in the existing literature, providing a more accurate abstraction for practical energy conservation scenarios; and (5) we obtain the first approximation ratio for GND with (D)oS cost functions that depends only on the parameters of the resources' technology and does not grow with the number of resources, the number of requests, or their weights. The design of our framework relies heavily on Roughgarden's smoothness toolbox (JACM 2015), thus demonstrating the possible usefulness of this toolbox in the area of approximation algorithms.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
Redesigning Bitcoin's fee market
Authors:
Ron Lavi,
Or Sattath,
Aviv Zohar
Abstract:
The Bitcoin payment system involves two agent types: Users that transact with the currency and pay fees and miners in charge of authorizing transactions and securing the system in return for these fees. Two of Bitcoin's challenges are (i) securing sufficient miner revenues as block rewards decrease, and (ii) alleviating the throughput limitation due to a small maximal block size cap. These issues…
▽ More
The Bitcoin payment system involves two agent types: Users that transact with the currency and pay fees and miners in charge of authorizing transactions and securing the system in return for these fees. Two of Bitcoin's challenges are (i) securing sufficient miner revenues as block rewards decrease, and (ii) alleviating the throughput limitation due to a small maximal block size cap. These issues are strongly related as increasing the maximal block size may decrease revenue due to Bitcoin's pay-your-bid approach. To decouple them, we analyze the "monopolistic auction", showing: (i) its revenue does not decrease as the maximal block size increases, (ii) it is resilient to an untrusted auctioneer (the miner), and (iii) simplicity for transaction issuers (bidders), as the average gain from strategic bid shading (relative to bidding one's value) diminishes as the number of bids increases.
△ Less
Submitted 13 March, 2022; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Ascending auctions and Walrasian equilibrium
Authors:
Oren Ben-Zwi,
Ron Lavi,
Ilan Newman
Abstract:
We present a family of submodular valuation classes that generalizes gross substitute. We show that Walrasian equilibrium always exist for one class in this family, and there is a natural ascending auction which finds it. We prove some new structural properties on gross-substitute auctions which, in turn, show that the known ascending auctions for this class (Gul-Stacchetti and Ausbel) are, in fac…
▽ More
We present a family of submodular valuation classes that generalizes gross substitute. We show that Walrasian equilibrium always exist for one class in this family, and there is a natural ascending auction which finds it. We prove some new structural properties on gross-substitute auctions which, in turn, show that the known ascending auctions for this class (Gul-Stacchetti and Ausbel) are, in fact, identical. We generalize these two auctions, and provide a simple proof that they terminate in a Walrasian equilibrium.
△ Less
Submitted 10 July, 2013; v1 submitted 7 January, 2013;
originally announced January 2013.
-
Composition Games for Distributed Systems: the EU Grant games
Authors:
Shay Kutten,
Ron Lavi,
Amitabh Trehan
Abstract:
We analyze ways by which people decompose into groups in distributed systems. We are interested in systems in which an agent can increase its utility by connecting to other agents, but must also pay a cost that increases with the size of the sys- tem. The right balance is achieved by the right size group of agents. We formulate and analyze three intuitive and realistic games and show how simple ch…
▽ More
We analyze ways by which people decompose into groups in distributed systems. We are interested in systems in which an agent can increase its utility by connecting to other agents, but must also pay a cost that increases with the size of the sys- tem. The right balance is achieved by the right size group of agents. We formulate and analyze three intuitive and realistic games and show how simple changes in the protocol can dras- tically improve the price of anarchy of these games. In partic- ular, we identify two important properties for a low price of anarchy: agreement in joining the system, and the possibil- ity of appealing a rejection from a system. We show that the latter property is especially important if there are some pre- existing constraints regarding who may collaborate (or com- municate) with whom.
△ Less
Submitted 20 May, 2013; v1 submitted 26 May, 2011;
originally announced May 2011.