A family of supermodular Nash mechanisms implementing Lindahl allocations

Yan Chen

DOI: https://doi.org/10.1007/s001990100174

2002-01-01

Economic Theory

Abstract:Summary. We present a family of mechanisms which implement Lindahl allocations in Nash equilibrium. With quasilinear utility functions this family of mechanisms are supermodular games, which implies that they converge to Nash equilibrium under a wide class of learning dynamics.

What problem does this paper attempt to address?

Mechanisms and axiomatics for division problems with single-dipped preferences

Doudou Gong,Bas Dietzenbacher,Hans Peters

DOI: https://doi.org/10.1007/s00199-023-01550-9

2024-01-26

Economic Theory

Abstract:A mechanism allocates one unit of an infinitely divisible commodity among agents reporting a number between zero and one. Nash, Pareto optimal Nash, and strong equilibria are analyzed for the case where the agents have single-dipped preferences. One main result is that when the mechanism satisfies anonymity, monotonicity, the zero–one property, and order preservation, then the Pareto optimal Nash and strong equilibria coincide and result in Pareto optimal allocations that are characterized by so-called maximal coalitions: members of a maximal coalition prefer an equal coalition share over obtaining zero, whereas the outside agents prefer zero over obtaining an equal share from joining the coalition. A second main result is an axiomatic characterization of the associated social choice correspondence as the maximal correspondence satisfying minimal envy Pareto optimality, equal division lower bound, and sharing index order preservation.

economics
Smoothness for Simultaneous Composition of Mechanisms with Admission

Martin Hoefer,Thomas Kesselheim,Bojana Kodric

DOI: https://doi.org/10.1007/978-3-662-54110-4_21

2016-01-01

Abstract:We study social welfare of learning outcomes in mechanisms with admission. In our repeated game there are n bidders and m mechanisms, and in each round each mechanism is available for each bidder only with a certain probability. Our scenario is an elementary case of simple mechanism design with incomplete information, where availabilities are bidder types. It captures natural applications in online markets with limited supply and can be used to model access of unreliable channels in wireless networks. If mechanisms satisfy a smoothness guarantee, existing results show that learning outcomes recover a significant fraction of the optimal social welfare. These approaches, however, have serious drawbacks in terms of plausibility and computational complexity. Also, the guarantees apply only when availabilities are stochastically independent among bidders. In contrast, we propose an alternative approach where each bidder uses a single no-regret learning algorithm and applies it in all rounds. This results in what we call availability-oblivious coarse correlated equilibria. It exponentially decreases the learning burden, simplifies implementation (e.g., as a method for channel access in wireless devices), and thereby addresses some of the concerns about Bayes-Nash equilibria and learning outcomes in Bayesian settings. Our main results are general composition theorems for smooth mechanisms when valuation functions of bidders are lattice-submodular. They rely on an interesting connection to the notion of correlation gap of submodular functions over product lattices.
Nash equilibria of quasisupermodular games

Lu Yu

2024-06-20

Abstract:We prove three results on the existence and structure of Nash equilibria for quasisupermodular games. A theorem is purely order-theoretic, and the other two involve topological hypotheses. Our topological results genralize Zhou's theorem (for supermodular games) and Calciano's theorem.

Theoretical Economics,Computer Science and Game Theory
When Does Learning in Games Generate Convergence to Nash Equilibria? The Role of Supermodularity in an Experimental Setting

YAN CHEN,robert s gazzale

DOI: https://doi.org/10.1257/0002828043052349

IF: 10.7

2004-01-01

American Economic Review

Abstract:This study clarifies the conditions under which learning in games produces convergence to Nash equilibria in practice. We experimentally investigate the role of supermodularity, which is closely related to the more familiar concept of strategic complementarities, in achieving convergence through learning. Using a game from the literature on solutions to externalities, we find that supermodular and "near-supermodular" games converge significantly better than those far below the threshold of supermodularity. From a little below the threshold to the threshold, the improvement is statistically insignificant. Increasing the parameter far beyond the threshold does not significantly improve convergence.
Mechanism Design with Exchangeable Allocations

Qiang Zhang

DOI: https://doi.org/10.48550/arXiv.1609.04782

2016-09-16

Abstract:We investigate mechanism design without payments when agents have different types of preferences. Contrary to most settings in the literature where agents have the same preference, e.g. in the facility location games all agents would like to stay close to (or away from) the facility, we demonstrate the limitation of mechanism design without payments when agents have different preferences by introducing exchanging phases. We consider two types of exchanging phases. The first model is called central exchanges where the exchanges are performed by a central authority. The other model is called individual exchanges where agents exchange their outcomes by themselves. By using facility location games as an example, we provide a truthful mechanism that optimizes social welfare in central exchanges. We also provide a universally truthful randomized mechanism that achieves at least a half of the optimal social welfare in individual exchanges.

Computer Science and Game Theory
Nash implementation by stochastic mechanisms: a simple full characterization

Siyang Xiong

DOI: https://doi.org/10.48550/arXiv.2211.05431

2022-11-10

Theoretical Economics

Abstract:We study Nash implementation by stochastic mechanisms, and provide a surprisingly simple full characterization, which is in sharp contrast to the classical, albeit complicated, full characterization in Moore and Repullo (1990).
Existence and Structure of Nash Equilibria for Supermodular Games

Lu YU

DOI: https://doi.org/10.1007/s11083-024-09686-6

2024-10-03

Order

Abstract:Two theorems announced by Topkis about topological description of sublattices are proved. They are applied to extend some classical results concerning the existence and the order structure of Nash equilibria of certain supermodular games, with some problems in Zhou's proof corrected.

mathematics
When Does Learning in Games Generate Convergence to Nash Equilibria? the Role of Supermodularity in an Experimental Setting ⁄

Yan Chen,Robert S. Gazzale

DOI: https://doi.org/10.1257/0002828043052349

2004-01-01

Abstract:This study clarifies the conditions under which learning in games produces convergence to Nash equilibria in practice. Previous work has identified theoretical conditions under which various stylized learning processes achieve convergence. One technical condition is supermodularity, which is closely related to the more familiar concept of strategic complementarities. We experimentally investigate the role of supermodularity in achieving convergence through learning. Using a game from the literature on solutions to externalities, we systematically vary a free parameter below, close to, at and beyond the threshold of supermodularity to assess its effects on convergence. We find that supermodular and "near-supermodular" games converge significantly better than those far below the threshold. From a little below the threshold to the threshold, the improvement is statistically insignificant. Within the class of supermodular games, increasing the parameter far beyond the threshold does not significantly improve convergence. Simulation shows that while most experimental results persist in the long run, some become more pronounced.
Sequential Mechanisms for Multi-type Resource Allocation

Sujoy Sikdar,Xiaoxi Guo,Haibin Wang,Lirong Xia,Yongzhi Cao

DOI: https://doi.org/10.48550/arXiv.2101.12522

2021-02-21

Abstract:Several resource allocation problems involve multiple types of resources, with a different agency being responsible for "locally" allocating the resources of each type, while a central planner wishes to provide a guarantee on the properties of the final allocation given agents' preferences. We study the relationship between properties of the local mechanisms, each responsible for assigning all of the resources of a designated type, and the properties of a sequential mechanism which is composed of these local mechanisms, one for each type, applied sequentially, under lexicographic preferences, a well studied model of preferences over multiple types of resources in artificial intelligence and economics. We show that when preferences are O-legal, meaning that agents share a common importance order on the types, sequential mechanisms satisfy the desirable properties of anonymity, neutrality, non-bossiness, or Pareto-optimality if and only if every local mechanism also satisfies the same property, and they are applied sequentially according to the order O. Our main results are that under O-legal lexicographic preferences, every mechanism satisfying strategyproofness and a combination of these properties must be a sequential composition of local mechanisms that are also strategyproof, and satisfy the same combinations of properties.

Computer Science and Game Theory,Artificial Intelligence
Local Priority Mechanisms

Joseph Root,David S. Ahn

DOI: https://doi.org/10.48550/arXiv.2309.04020

2023-09-07

Theoretical Economics

Abstract:We introduce a novel family of mechanisms for constrained allocation problems which we call local priority mechanisms. These mechanisms are parameterized by a function which assigns a set of agents -- the local compromisers -- to every infeasible allocation. The mechanism then greedily attempts to match agents with their top choices. Whenever it reaches an infeasible allocation, the local compromisers move to their next favorite alternative. Local priority mechanisms exist for any constraint so this provides a method of constructing new designs for any constrained allocation problem. We give axioms which characterize local priority mechanisms. Since constrained object allocation includes many canonical problems as special constraints, we apply this characterization to show that several well-known mechanisms, including deferred acceptance for school choice, top trading cycles for house allocation, and serial dictatorship can be understood as instances of local priority mechanisms. Other mechanisms, including the Boston mechanism, are not local priority mechanisms. We give necessary and sufficient conditions which characterize the local priority mechanisms that are group strategy-proof. As an application, we construct novel mechanisms for a natural variation of the house allocation problem where no existing class of mechanisms besides serial dictatorship would be applicable.
Budget Feasible Mechanism Design via Random Sampling

Xiaohui Bei,Ning Chen,Nick Gravin,Pinyan Lu

DOI: https://doi.org/10.48550/arXiv.1107.2994

2012-03-23

Abstract:Budget feasible mechanism considers algorithmic mechanism design questions where there is a budget constraint on the total payment of the mechanism. An important question in the field is that under which valuation domains there exist budget feasible mechanisms that admit `small' approximations (compared to a socially optimal solution). Singer \cite{PS10} showed that additive and submodular functions admit a constant approximation mechanism. Recently, Dobzinski, Papadimitriou, and Singer \cite{DPS11} gave an $O(\log^2n)$ approximation mechanism for subadditive functions and remarked that: "A fundamental question is whether, regardless of computational constraints, a constant-factor budget feasible mechanism exists for subadditive function." In this paper, we give the first attempt to this question. We give a polynomial time $O(\frac{\log n}{\log\log n})$ sub-logarithmic approximation ratio mechanism for subadditive functions, improving the best known ratio $O(\log^2 n)$. Further, we connect budget feasible mechanism design to the concept of approximate core in cooperative game theory, and show that there is a mechanism for subadditive functions whose approximation is, via a characterization of the integrality gap of a linear program, linear to the largest value to which an approximate core exists. Our result implies in particular that the class of XOS functions, which is a superclass of submodular functions, admits a constant approximation mechanism. We believe that our work could be a solid step towards solving the above fundamental problem eventually, and possibly, with an affirmative answer.

Computer Science and Game Theory
Implementing Monotone Allocations: the Rochetian Approach

Jianrong Tian,Ju Hu

DOI: https://doi.org/10.2139/ssrn.4692270

2024-01-01

SSRN Electronic Journal

Abstract:We characterize (strongly) implementable allocations without invoking quasilinearity, via a novel cyclical monotonicity condition that generalizes \citet{rochet1987necessary}. We then apply it to develop an ordinal theory of implementing monotone allocations: \emph{Under the assumption of possibility of compensation, the single-crossing condition of \citet{mcs}, when type space is totally ordered and outcome space is partially ordered, is sufficient and necessary for strongly implementing all monotone allocations}. No additional structure or regularity conditions are needed. We also characterize revenue equivalence without invoking quasilinearity via a novel so-called \emph{inverse distance} condition that generalizes \citet{heydenreich2009characterization}. Applications and messages are discussed.
Distributed Mechanism Design with Learning Guarantees

Abhinav Sinha,Achilleas Anastasopoulos

DOI: https://doi.org/10.48550/arXiv.1703.05641

2017-04-04

Abstract:Mechanism design for fully strategic agents commonly assumes broadcast nature of communication between agents of the system. Moreover, for mechanism design, the stability of Nash equilibrium (NE) is demonstrated by showing convergence of specific pre-designed learning dynamics, rather than for a class of learning dynamics. In this paper we consider two common resource allocation problems: sharing $ K $ infinitely divisible resources among strategic agents for their private consumption (private goods), and determining the level for an infinitely divisible public good with $ P $ features, that is shared between strategic agents. For both cases, we present a distributed mechanism for a set of agents who communicate through a given network. In a distributed mechanism, agents' messages are not broadcast to all other agents as in the standard mechanism design framework, but are exchanged only in the local neighborhood of each agent. The presented mechanisms produce a unique NE and fully implement the social welfare maximizing allocation. In addition, the mechanisms are budget-balanced at NE. It is also shown that the mechanisms induce a game with contractive best-response, leading to guaranteed convergence for all learning dynamics within the Adaptive Best-Response dynamics class, including dynamics such as Cournot best-response, $ k- $period best-response and Fictitious Play. We also present a numerically study of convergence under repeated play, for various communication graphs and learning dynamics.

Computer Science and Game Theory
Adaptive Mechanism Design using Multi-Agent Revealed Preferences

Luke Snow,Vikram Krishnamurthy

2024-04-24

Abstract:This paper constructs an algorithmic framework for adaptively achieving the mechanism design objective, finding a mechanism inducing socially optimal Nash equilibria, without knowledge of the utility functions of the agents. We consider a probing scheme where the designer can iteratively enact mechanisms and observe Nash equilibria responses. We first derive necessary and sufficient conditions, taking the form of linear program feasibility, for the existence of utility functions under which the empirical Nash equilibria responses are socially optimal. Then, we utilize this to construct a loss function with respect to the mechanism, and show that its global minimization occurs at mechanisms under which Nash equilibria system responses are also socially optimal. We develop a simulated annealing-based gradient algorithm, and prove that it converges in probability to this set of global minima, thus achieving adaptive mechanism design.

Computer Science and Game Theory,General Economics
Robust Mechanisms Under Common Valuation

Songzi Du

DOI: https://doi.org/10.48550/arXiv.1603.06165

2016-11-19

Abstract:We study robust mechanisms to sell a common-value good. We assume that the mechanism designer knows the prior distribution of the buyers' common value but is unsure of the buyers' information structure about the common value. We use linear programming duality to derive mechanisms that guarantee a good revenue among all information structures and all equilibria. Our mechanism maximizes the revenue guarantee when there is one buyer. As the number of buyers tends to infinity, the revenue guarantee of our mechanism converges to the full surplus.

Computer Science and Game Theory
First-Choice Maximality Meets Ex-ante and Ex-post Fairness

Xiaoxi Guo,Sujoy Sikdar,Lirong Xia,Yongzhi Cao,Hanpin Wang

DOI: https://doi.org/10.48550/arxiv.2305.04589

2023-01-01

Abstract:For the assignment problem where multiple indivisible items are allocated to a group of agents given their ordinal preferences, we design randomized mechanisms that satisfy first-choice maximality (FCM), i.e., maximizing the number of agents assigned their first choices, together with Pareto efficiency (PE). Our mechanisms also provide guarantees of ex-ante and ex-post fairness. The generalized eager Boston mechanism is ex-ante envy-free, and ex-post envy-free up to one item (EF1). The generalized probabilistic Boston mechanism is also ex-post EF1, and satisfies ex-ante efficiency instead of fairness. We also show that no strategyproof mechanism satisfies ex-post PE, EF1, and FCM simultaneously. In doing so, we expand the frontiers of simultaneously providing efficiency and both ex-ante and ex-post fairness guarantees for the assignment problem.
Exploiting Weak Supermodularity for Coalition-Proof Mechanisms

Orcun Karaca,Maryam Kamgarpour

DOI: https://doi.org/10.48550/arXiv.1803.11030

2018-11-24

Abstract:Under the incentive-compatible Vickrey-Clarke-Groves mechanism, coalitions of participants can influence the auction outcome to obtain higher collective profit. These manipulations were proven to be eliminated if and only if the market objective is supermodular. Nevertheless, several auctions do not satisfy the stringent conditions for supermodularity. These auctions include electricity markets, which are the main motivation of our study. To characterize nonsupermodular functions, we introduce the supermodularity ratio and the weak supermodularity. We show that these concepts provide us with tight bounds on the profitability of collusion and shill bidding. We then derive an analytical lower bound on the supermodularity ratio. Our results are verified with case studies based on the IEEE test systems.

Computer Science and Game Theory,Optimization and Control
The Good, the Bad and the Submodular: Fairly Allocating Mixed Manna Under Order-Neutral Submodular Preferences

Cyrus Cousins,Vignesh Viswanathan,Yair Zick

2023-07-24

Abstract:We study the problem of fairly allocating indivisible goods (positively valued items) and chores (negatively valued items) among agents with decreasing marginal utilities over items. Our focus is on instances where all the agents have simple preferences; specifically, we assume the marginal value of an item can be either $-1$, $0$ or some positive integer $c$. Under this assumption, we present an efficient algorithm to compute leximin allocations for a broad class of valuation functions we call order-neutral submodular valuations. Order-neutral submodular valuations strictly contain the well-studied class of additive valuations but are a strict subset of the class of submodular valuations. We show that these leximin allocations are Lorenz dominating and approximately proportional. We also show that, under further restriction to additive valuations, these leximin allocations are approximately envy-free and guarantee each agent their maxmin share. We complement this algorithmic result with a lower bound showing that the problem of computing leximin allocations is NP-hard when $c$ is a rational number.

Computer Science and Game Theory
Fair and Truthful Mechanisms for Dichotomous Valuations

Moshe Babaioff,Tomer Ezra,Uriel Feige

DOI: https://doi.org/10.48550/arXiv.2002.10704

2020-12-24

Abstract:We consider the problem of allocating a set on indivisible items to players with private preferences in an efficient and fair way. We focus on valuations that have dichotomous marginals, in which the added value of any item to a set is either 0 or 1, and aim to design truthful allocation mechanisms (without money) that maximize welfare and are fair. For the case that players have submodular valuations with dichotomous marginals, we design such a deterministic truthful allocation mechanism. The allocation output by our mechanism is Lorenz dominating, and consequently satisfies many desired fairness properties, such as being envy-free up to any item (EFX), and maximizing the Nash Social Welfare (NSW). We then show that our mechanism with random priorities is envy-free ex-ante, while having all the above properties ex-post. Furthermore, we present several impossibility results precluding similar results for the larger class of XOS valuations. To gauge the robustness of our positive results, we also study $\epsilon$-dichotomous valuations, in which the added value of any item to a set is either non-positive, or in the range $[1, 1 + \epsilon]$. We show several impossibility results in this setting, and also a positive result: for players that have additive $\epsilon$-dichotomous valuations with sufficiently small $\epsilon$, we design a randomized truthful mechanism with strong ex-post guarantees. For $\rho = \frac{1}{1 + \epsilon}$, the allocations that it produces generate at least a $\rho$-fraction of the maximum welfare, and enjoy $\rho$-approximations for various fairness properties, such as being envy-free up to one item (EF1), and giving each player at least her maximin share.

Computer Science and Game Theory
Optimal Budget-Feasible Mechanisms for Additive Valuations

Nick Gravin,Yaonan Jin,Pinyan Lu,Chenhao Zhang

DOI: https://doi.org/10.1145/3417746

2020-11-13

ACM Transactions on Economics and Computation

Abstract:In this article, we show a tight approximation guarantee for budget-feasible mechanisms with an additive buyer. We propose a new simple randomized mechanism with approximation ratio of 2, improving the previous best known result of 3. Our bound is tight with respect to either the optimal offline benchmark or its fractional relaxation. We also present a simple deterministic mechanism with the tight approximation guarantee of 3 against the fractional optimum, improving the best known result of (2+ √ 2) for the weaker integral benchmark.

A family of supermodular Nash mechanisms implementing Lindahl allocations

Mechanisms and axiomatics for division problems with single-dipped preferences

Smoothness for Simultaneous Composition of Mechanisms with Admission

Nash equilibria of quasisupermodular games

When Does Learning in Games Generate Convergence to Nash Equilibria? The Role of Supermodularity in an Experimental Setting

Mechanism Design with Exchangeable Allocations

Nash implementation by stochastic mechanisms: a simple full characterization

Existence and Structure of Nash Equilibria for Supermodular Games

When Does Learning in Games Generate Convergence to Nash Equilibria? the Role of Supermodularity in an Experimental Setting ⁄

Sequential Mechanisms for Multi-type Resource Allocation

Local Priority Mechanisms

Budget Feasible Mechanism Design via Random Sampling

Implementing Monotone Allocations: the Rochetian Approach

Distributed Mechanism Design with Learning Guarantees

Adaptive Mechanism Design using Multi-Agent Revealed Preferences

Robust Mechanisms Under Common Valuation

First-Choice Maximality Meets Ex-ante and Ex-post Fairness

Exploiting Weak Supermodularity for Coalition-Proof Mechanisms

The Good, the Bad and the Submodular: Fairly Allocating Mixed Manna Under Order-Neutral Submodular Preferences

Fair and Truthful Mechanisms for Dichotomous Valuations

Optimal Budget-Feasible Mechanisms for Additive Valuations