Computer Science and Game Theory
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 1 Feb 23
 [1] arXiv:2301.13306 [pdf, ps, other]

Title: Autobidders with Budget and ROI Constraints: Efficiency, Regret, and Pacing DynamicsSubjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)
We study a game between autobidding algorithms that compete in an online advertising platform. Each autobidder is tasked with maximizing its advertiser's total value over multiple rounds of a repeated auction, subject to budget and/or returnoninvestment constraints. We propose a gradientbased learning algorithm that is guaranteed to satisfy all constraints and achieves vanishing individual regret. Our algorithm uses only bandit feedback and can be used with the first or secondprice auction, as well as with any "intermediate" auction format. Our main result is that when these autobidders play against each other, the resulting expected liquid welfare over all rounds is at least half of the expected optimal liquid welfare achieved by any allocation. This holds whether or not the bidding dynamics converges to an equilibrium and regardless of the correlation structure between advertiser valuations.
 [2] arXiv:2301.13410 [pdf, other]

Title: MultiChannel Auction Design in the Autobidding WorldSubjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH)
Over the past few years, more and more Internet advertisers have started using automated bidding for optimizing their advertising campaigns. Such advertisers have an optimization goal (e.g. to maximize conversions), and some constraints (e.g. a budget or an upper bound on average cost per conversion), and the automated bidding system optimizes their auction bids on their behalf. Often, these advertisers participate on multiple advertising channels and try to optimize across these channels. A central question that remains unexplored is how automated bidding affects optimal auction design in the multichannel setting.
In this paper, we study the problem of setting auction reserve prices in the multichannel setting. In particular, we shed light on the revenue implications of whether each channel optimizes its reserve price locally, or whether the channels optimize them globally to maximize total revenue. Motivated by practice, we consider two models: one in which the channels have full freedom to set reserve prices, and another in which the channels have to respect floor prices set by the publisher. We show that in the first model, welfare and revenue loss from local optimization is bounded by a function of the advertisers' inputs, but is independent of the number of channels and bidders. In stark contrast, we show that the revenue from local optimization could be arbitrarily smaller than those from global optimization in the second model.  [3] arXiv:2301.13449 [pdf, other]

Title: Certification Design for a Competitive MarketComments: 22 pages, 1 figureSubjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH)
Motivated by applications such as voluntary carbon markets and educational testing, we consider a market for goods with varying but hidden levels of quality in the presence of a thirdparty certifier. The certifier can provide informative signals about the quality of products, and can charge for this service. Sellers choose both the quality of the product they produce and a certification. Prices are then determined in a competitive market. Under a singlecrossing condition, we show that the levels of certification chosen by producers are uniquely determined at equilibrium. We then show how to reduce a revenuemaximizing certifier's problem to a monopolistic pricing problem with nonlinear valuations, and design an FPTAS for computing the optimal slate of certificates and their prices. In general, both the welfareoptimal and revenueoptimal slate of certificates can be arbitrarily large.
 [4] arXiv:2301.13599 [pdf, other]

Title: An AMM minimizing userlevel extractable value and lossversusrebalancingSubjects: Computer Science and Game Theory (cs.GT)
We present V0LVER, an AMM protocol which solves an incentivization trilemma between users, passive liquidity providers, and block producers. V0LVER enables users and passive liquidity providers to interact without paying MEV or incurring uncontrolled lossversusrebalancing to the block producer. V0LVER is an AMM protocol built on an encrypted transaction mempool, where transactions are decrypted after being allocated liquidity by the AMM. V0LVER ensures this liquidity, given some external market price, is provided at that price in expectancy. This is done by providing just enough lossversusrebalancing profits to the block producer, incentivizing the block producer to move the pool price to the external market price. With this, users transact in expectancy at the external market price in exchange for a fee, with AMMs providing liquidity in expectancy at the external market price. Under block producer and liquidity provider competition, all of the fees in V0LVER approach zero. Without block producer arbitrage, V0LVER guarantees fall back to those of an AMM capable of processing encrypted transactions, free from lossversusrebalancing or userlevel MEV.
 [5] arXiv:2301.13600 [pdf, ps, other]

Title: Constrained PhiEquilibriaSubjects: Computer Science and Game Theory (cs.GT)
The computational study of equilibria involving constraints on players' strategies has been largely neglected. However, in realworld applications, players are usually subject to constraints ruling out the feasibility of some of their strategies, such as, e.g., safety requirements and budget caps. Computational studies on constrained versions of the Nash equilibrium have lead to some results under very stringent assumptions, while finding constrained versions of the correlated equilibrium (CE) is still unexplored. In this paper, we introduce and computationally characterize constrained Phiequilibria  a more general notion than constrained CEs  in normalform games. We show that computing such equilibria is in general computationally intractable, and also that the set of the equilibria may not be convex, providing a sharp divide with unconstrained CEs. Nevertheless, we provide a polynomialtime algorithm for computing a constrained (approximate) Phiequilibrium maximizing a given linear function, when either the number of constraints or that of players' actions is fixed. Moreover, in the special case in which a player's constraints do not depend on other players' strategies, we show that an exact, functionmaximizing equilibrium can be computed in polynomial time, while one (approximate) equilibrium can be found with an efficient decentralized noregret learning algorithm.
 [6] arXiv:2301.13652 [pdf, ps, other]

Title: RoundRobin Beyond Additive Agents: Existence and Fairness of Approximate EquilibriaAuthors: Georgios Amanatidis, Georgios Birmpas, Philip Lazos, Stefano Leonardi, Rebecca ReiffenhäuserSubjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
Fair allocation of indivisible goods has attracted extensive attention over the last two decades, yielding numerous elegant algorithmic results and producing challenging open questions. The problem becomes much harder in the presence of strategic agents. Ideally, one would want to design truthful mechanisms that produce allocations with fairness guarantees. However, in the standard setting without monetary transfers, it is generally impossible to have truthful mechanisms that provide nontrivial fairness guarantees. Recently, Amanatidis et al. [2021] suggested the study of mechanisms that produce fair allocations in their equilibria. Specifically, when the agents have additive valuation functions, the simple RoundRobin algorithm always has pure Nash equilibria and the corresponding allocations are envyfree up to one good (EF1) with respect to the agents' true valuation functions. Following this agenda, we show that this outstanding property of the RoundRobin mechanism extends much beyond the above default assumption of additivity. In particular, we prove that for agents with cancelable valuation functions (a natural class that contains, e.g., additive and budgetadditive functions), this simple mechanism always has equilibria and even its approximate equilibria correspond to approximately EF1 allocations with respect to the agents' true valuation functions. Further, we show that the approximate EF1 fairness of approximate equilibria surprisingly holds for the important class of submodular valuation functions as well, even though exact equilibria fail to exist!
 [7] arXiv:2301.13654 [pdf, ps, other]

Title: MultiAgent Contract Design: How to Commission Multiple Agents with Individual OutcomeSubjects: Computer Science and Game Theory (cs.GT)
We study hiddenaction principalagent problems with multiple agents. These are problems in which a principal commits to an outcomedependent payment scheme in order to incentivize some agents to take costly, unobservable actions that lead to favorable outcomes. Previous works on multiagent problems study models where the principal observes a single outcome determined by the actions of all the agents. Such models considerably limit the contracting power of the principal, since payments can only depend on the joint result of all the agents' actions, and there is no way of paying each agent for their individual result. In this paper, we consider a model in which each agent determines their own individual outcome as an effect of their action only, the principal observes all the individual outcomes separately, and they perceive a reward that jointly depends on all these outcomes. This considerably enhances the principal's contracting capabilities, by allowing them to pay each agent on the basis of their individual result. We analyze the computational complexity of finding principaloptimal contracts, revolving around two newlyintroduced properties of principal's rewards, which we call IRsupermodularity and DRsubmodularity. Intuitively, the former captures settings with increasing returns, where the rewards grow faster as the agents' effort increases, while the latter models the case of diminishing returns, in which rewards grow slower instead. These two properties naturally model two common realworld phenomena, namely diseconomies and economies of scale. In this paper, we first address basic instances in which the principal knows everything about the agents, and, then, more general Bayesian instances where each agent has their own private type determining their features, such as action costs and how actions stochastically determine individual outcomes.
 [8] arXiv:2301.13756 [pdf, ps, other]

Title: PAC learning and stabilizing Hedonic Games: towards a unifying approachComments: Accepted paper at AAAI 2023Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
We study PAC learnability and PAC stabilizability of Hedonic Games (HGs), i.e., efficiently inferring preferences or corestable partitions from samples. We first expand the known learnability/stabilizability landscape for some of the most prominent HGs classes, providing results for Friends and Enemies Games, Bottom Responsive, and Anonymous HGs. Then, having a broader view in mind, we attempt to shed light on the structural properties leading to learnability/stabilizability, or lack thereof, for specific HGs classes. Along this path, we focus on the fully expressive Hedonic Coalition Nets representation of HGs. We identify two sets of conditions that lead to efficient learnability, and which encompass all of the known positive learnability results. On the side of stability, we reveal that, while the freedom of choosing an ad hoc adversarial distribution is the most obvious hurdle to achieving PAC stability, it is not the only one. First, we show a distribution independent necessary condition for PAC stability. Then, we focus on $\W$games, where players have individual preferences over other players and evaluate coalitions based on the least preferred member. We prove that these games are PAC stabilizable under the class of bounded distributions, which assign positive probability mass to all coalitions. Finally, we discuss why such a result is not easily extendable to other HGs classes even in this promising scenario. Namely, we establish a purely computational property necessary for achieving PAC stability.
 [9] arXiv:2301.13790 [pdf, ps, other]

Title: Selling Information while Being an Interested PartySubjects: Computer Science and Game Theory (cs.GT)
We study the algorithmic problem faced by an information holder (seller) who wants to optimally sell such information to a budgedconstrained decision maker (buyer) that has to undertake some action. Differently from previous, we consider the case in which the seller is an interested party, as the action chosen by the buyer does not only influence their utility, but also seller's one. This happens in many realworld settings, where the way in which businesses use acquired information may positively or negatively affect the seller, due to the presence of externalities on the information market. The utilities of both the seller and the buyer depend on a random state of nature, which is revealed to the seller, but it is unknown to the buyer. Thus, the seller's goal is to (partially) sell their information about the state of nature to the buyer, so as to concurrently maximize revenue and induce the buyer to take a desirable action. We study settings in which buyer's budget and utilities are determined by a random buyer's type that is unknown to the seller. In such settings, an optimal protocol for the seller must propose to the buyer a menu of informationrevelation policies to choose from, with the latter acquiring one of them by paying its corresponding price. Moreover, since in our model the seller is an interested party, an optimal protocol must also prescribe the seller to pay back the buyer contingently on their action. First, we show that the problem of computing a selleroptimal protocol can be solved in polynomial time. Next, we switch the attention to the case in which a seller's protocol employs a single informationrevelation policy, rather than proposing a menu, deriving both positive and negative results.
 [10] arXiv:2301.13804 [pdf, ps, other]

Title: Fairness in the Assignment Problem with Uncertain PrioritiesComments: Accepted to AAMAS 2023Subjects: Computer Science and Game Theory (cs.GT)
In the assignment problem, a set of items must be allocated to unitdemand agents who express ordinal preferences (rankings) over the items. In the assignment problem with priorities, agents with higher priority are entitled to their preferred goods with respect to lower priority agents. A priority can be naturally represented as a ranking and an uncertain priority as a distribution over rankings. For example, this models the problem of assigning student applicants to university seats or job applicants to job openings when the admitting body is uncertain about the true priority over applicants. This uncertainty can express the possibility of bias in the generation of the priority ranking. We believe we are the first to explicitly formulate and study the assignment problem with uncertain priorities. We introduce two natural notions of fairness in this problem: stochastic envyfreeness (SEF) and likelihood envyfreeness (LEF). We show that SEF and LEF are incompatible and that LEF is incompatible with ordinal efficiency. We describe two algorithms, Cycle Elimination (CE) and UnitTime Eating (UTE) that satisfy ordinal efficiency (a form of exante Pareto optimality) and SEF; the well known random serial dictatorship algorithm satisfies LEF and the weaker efficiency guarantee of expost Pareto optimality. We also show that CE satisfies a relaxation of LEF that we term 1LEF which applies only to certain comparisons of priority, while UTE satisfies a version of proportional allocations with ranks. We conclude by demonstrating how a mediator can model a problem of school admission in the face of bias as an assignment problem with uncertain priority.
Crosslists for Wed, 1 Feb 23
 [11] arXiv:2301.13321 (crosslist from econ.TH) [pdf, other]

Title: Censorship Resistance in OnChain AuctionsComments: 27 pages, 2 figuresSubjects: Theoretical Economics (econ.TH); Computer Science and Game Theory (cs.GT)
Smart contracts offer a way to credibly commit to a mechanism, as long as it can be expressed as an easily computable mapping from inputs, in the form of transactions onchain, to outputs: allocations and payments. But proposers decide which transactions to include, allowing them to manipulate these mechanisms and extract temporary monopoly rents known as MEV. Motivated by both general interest in running auctions onchain, and current proposals to conduct MEV auctions onchain, we study how these manipulations effect the equilibria of auctions.
Formally, we consider an independent private value auction where bidders simultaneously submit private bids, and public tips, that are paid to the proposer upon inclusion. A single additional bidder may bribe the proposer to omit competing bids.
We show that even if bids are completely sealed, tips reveal bids in equilibrium, which suggests that encrypting bids may not prevent manipulation. Further, we show that collusion at the transaction inclusion step is extremely profitable for the colluding bidder: as the number of bidders increases, the probability that the winner is not colluding and the economic efficiency of the auction both decrease faster than $1/n$. Running the auction over multiple blocks, each with a different proposer, alleviates the problem only if the number of blocks is larger than the number of bidders. We argue that blockchains with more than one concurrent proposer can credibly execute auctions on chain, as long as tips can be conditioned on the number of proposers that include the transaction.  [12] arXiv:2301.13336 (crosslist from cs.LG) [pdf, other]

Title: The Fair Value of Data Under Heterogeneous Privacy ConstraintsComments: 29 pages, 5 figuresSubjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT)
Modern data aggregation often takes the form of a platform collecting data from a network of users. More than ever, these users are now requesting that the data they provide is protected with a guarantee of privacy. This has led to the study of optimal data acquisition frameworks, where the optimality criterion is typically the maximization of utility for the agent trying to acquire the data. This involves determining how to allocate payments to users for the purchase of their data at various privacy levels. The main goal of this paper is to characterize a fair amount to pay users for their data at a given privacy level. We propose an axiomatic definition of fairness, analogous to the celebrated Shapley value. Two concepts for fairness are introduced. The first treats the platform and users as members of a common coalition and provides a complete description of how to divide the utility among the platform and users. In the second concept, fairness is defined only among users, leading to a potential fairnessconstrained mechanism design problem for the platform. We consider explicit examples involving private heterogeneous data and show how these notions of fairness can be applied. To the best of our knowledge, these are the first fairness concepts for data that explicitly consider privacy constraints.
 [13] arXiv:2301.13397 (crosslist from cs.LG) [pdf, other]

Title: Sequential Strategic ScreeningSubjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
We initiate the study of strategic behavior in screening processes with multiple classifiers. We focus on two contrasting settings: a conjunctive setting in which an individual must satisfy all classifiers simultaneously, and a sequential setting in which an individual to succeed must satisfy classifiers one at a time. In other words, we introduce the combination of strategic classification with screening processes.
We show that sequential screening pipelines exhibit new and surprising behavior where individuals can exploit the sequential ordering of the tests to zigzag between classifiers without having to simultaneously satisfy all of them. We demonstrate an individual can obtain a positive outcome using a limited manipulation budget even when far from the intersection of the positive regions of every classifier. Finally, we consider a learner whose goal is to design a sequential screening process that is robust to such manipulations, and provide a construction for the learner that optimizes a natural objective.  [14] arXiv:2301.13414 (crosslist from econ.TH) [pdf, other]

Title: Incentive Compatibility in the Autobidding WorldSubjects: Theoretical Economics (econ.TH); Computer Science and Game Theory (cs.GT)
Autobidding has recently become a popular feature in ad auctions. This feature enables advertisers to simply provide highlevel constraints and goals to an automated agent, which optimizes their auction bids on their behalf. In this paper, we examine the effect of different auctions on the incentives of advertisers to report their constraints to the autobidder intermediaries. More precisely, we study whether canonical auctions such as first price auction (FPA) and second price auction (SPA) are autobidding incentive compatible (AIC): whether an advertiser can gain by misreporting their constraints to the autobidder.
We consider valuemaximizing advertisers in two important settings: when they have a budget constraint and when they have a target costperacquisition constraint. The main result of our work is that for both settings, FPA and SPA are not AIC. This contrasts with FPA being AIC when autobidders are constrained to bid using a (suboptimal) uniform bidding policy. We further extend our main result and show that any (possibly randomized) auction that is truthful (in the classic profitmaximizing sense), scalar invariant and symmetric is not AIC. Finally, to complement our findings, we provide sufficient market conditions for FPA and SPA to become AIC for two advertisers. These conditions require advertisers' valuations to be wellaligned. This suggests that when the competition is intense for all queries, advertisers have less incentive to misreport their constraints.
From a methodological standpoint, we develop a novel continuous model of queries. This model provides tractability to study equilibrium with autobidders, which contrasts with the standard discrete query model, which is known to be hard. Through the analysis of this model, we uncover a surprising result: in autobidding with two advertisers, FPA and SPA are auction equivalent.  [15] arXiv:2301.13812 (crosslist from cs.CY) [pdf, other]

Title: Learning Roles with Emergent Social Value OrientationsComments: 40 pages, 24 figuresSubjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
Social dilemmas can be considered situations where individual rationality leads to collective irrationality. The multiagent reinforcement learning community has leveraged ideas from social science, such as social value orientations (SVO), to solve social dilemmas in complex cooperative tasks. In this paper, by first introducing the typical "division of labor or roles" mechanism in human society, we provide a promising solution for intertemporal social dilemmas (ISD) with SVOs. A novel learning framework, called Learning Roles with Emergent SVOs (RESVO), is proposed to transform the learning of roles into the social value orientation emergence, which is symmetrically solved by endowing agents with altruism to share rewards with other agents. An SVObased role embedding space is then constructed by individual conditioning policies on roles with a novel rank regularizer and mutual information maximizer. Experiments show that RESVO achieves a stable division of labor and cooperation in ISDs with different complexity.
Replacements for Wed, 1 Feb 23
 [16] arXiv:2109.12685 (replaced) [pdf, other]

Title: Robust Coordination of Linear Threshold Dynamics on Directed Weighted NetworksComments: 16 pages, 7 figuresSubjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Systems and Control (eess.SY); Dynamical Systems (math.DS)
 [17] arXiv:2210.04929 (replaced) [pdf, other]

Title: Batch Exchanges with Constant Function Market Makers: Axioms, Equilibria, and ComputationComments: 24 pagesSubjects: Computer Science and Game Theory (cs.GT)
 [18] arXiv:2301.13020 (replaced) [pdf, other]

Title: Designing Ad Auctions with Private Constraints for Automated BiddingSubjects: Computer Science and Game Theory (cs.GT)
 [19] arXiv:2106.02702 (replaced) [pdf, other]

Title: Subgroup Fairness in TwoSided MarketsSubjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Systems and Control (eess.SY)
 [20] arXiv:2211.14236 (replaced) [pdf, other]

Title: Strategyproof DecisionMaking in Panel Data Settings and BeyondSubjects: Econometrics (econ.EM); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2301, contact, help (Access key information)