Computer Science and Game Theory

2025-07-08 | | Total: 18

#1 Vector Cost Bimatrix Games with Applications to Autonomous Racing [PDF] [Copy] [Kimi] [REL]

Authors: Benjamin R. Toaz, Shaunak D. Bopardikar

We formulate a vector cost alternative to the scalarization method for weighting and combining multi-objective costs. The algorithm produces solutions to bimatrix games that are simultaneously pure, unique Nash equilibria and Pareto optimal with guarantees for avoiding worst case outcomes. We achieve this by enforcing exact potential game constraints to guide cost adjustments towards equilibrium, while minimizing the deviation from the original cost structure. The magnitude of this adjustment serves as a metric for differentiating between Pareto optimal solutions. We implement this approach in a racing competition between agents with heterogeneous cost structures, resulting in fewer collision incidents with a minimal decrease in performance. Code is available at https://github.com/toazbenj/race_simulation.

Subject: Computer Science and Game Theory

Publish: 2025-07-07 16:24:23 UTC


#2 A number game reconciliation [PDF] [Copy] [Kimi] [REL]

Authors: Prem Kant, Urban Larsson

Number games play a central role in alternating normal play combinatorial game theory due to their real-number-like properties (Conway 1976). Here we undertake a critical re-examination: we begin with integer and dyadic games and identify subtle inconsistencies and oversights in the established literature (e.g. Siegel 2013), most notably, the lack of distinction between a game being a number and a game being equal to a number. After addressing this, we move to the general theory of number games. We analyze Conway's original definition and a later refinement by Siegel, and highlight conceptual gaps that have largely gone unnoticed. Through a careful dissection of these issues, we propose a more coherent and robust formulation. Specifically, we develop a refined characterization of numbers, via several subclasses, dyadics, canonical forms, their group theoretic closure and zugzwangs, that altogether better capture the essence of number games. This reconciliation not only clarifies existing ambiguities but also uncovers several open problems.

Subject: Computer Science and Game Theory

Publish: 2025-07-07 07:16:08 UTC


#3 Truthful, Credible, and Optimal Auctions for Matroids via Blockchains and Commitments [PDF] [Copy] [Kimi] [REL]

Authors: Aadityan Ganesh, Qianfan Zhang

We consider a revenue-optimizing auctioneer in single-dimensional environments with matroid feasibility constraints. Akbarpour and Li (2020) argue that any revenue-optimal, truthful, and credible mechanism requires unbounded communication. Recent works (Ferreira and Weinberg, 2020; Essaidi et al., 2022; Chitra et al., 2024) circumvent their impossibility for the single-item setting through the use of cryptographic commitments and blockchains. We extend their results to matroid feasibility constraints. At a high level, the two-round Deferred-Revelation Auction (DRA) discussed by Ferreira and Weinberg (2020) and Chitra et al., (2024) requires each bidder to submit a deposit, which is slashed upon presenting verifiable evidence indicating a deviation from the behaviour prescribed by the mechanism. We prove that the DRA satisfies truthfulness, credibility and revenue-optimality for all matroid environments when bidders' values are drawn from α-strongly regular distributions for α>0. Further, we argue that the DRA is not credible for any feasibility constraint beyond matroids and for any smaller deposits than suggested by previous literature even in single-item environments. Finally, we modify the Ascending Deferred-Revelation Auction (ADRA) for single-item settings proposed by Essaidi et al., (2022) for arbitrary bidder value distributions. We implement a deferred-revelation variant of the deferred-acceptance auction for matroids due to Bikhchandani et al., (2011), which requires the same bounded communication as the ADRA.

Subjects: Computer Science and Game Theory , Data Structures and Algorithms

Publish: 2025-07-07 00:57:19 UTC


#4 Constant-Approximate and Constant-Strategyproof Two-Facility Location [PDF] [Copy] [Kimi] [REL]

Authors: Elijah Journey Fullerton, Zeyuan Hu, C. Gregory Plaxton

We study deterministic mechanisms for the two-facility location problem. Given the reported locations of n agents on the real line, such a mechanism specifies where to build the two facilities. The single-facility variant of this problem admits a simple strategyproof mechanism that minimizes social cost. For two facilities, however, it is known that any strategyproof mechanism is Ω(n)-approximate. We seek to circumvent this strong lower bound by relaxing the problem requirements. Following other work in the facility location literature, we consider a relaxed form of strategyproofness in which no agent can lie and improve their outcome by more than a constant factor. Because the aforementioned Ω(n) lower bound generalizes easily to constant-strategyproof mechanisms, we introduce a second relaxation: Allowing the facilities (but not the agents) to be located in the plane. Our first main result is a natural mechanism for this relaxation that is constant-approximate and constant-strategyproof. A characteristic of this mechanism is that a small change in the input profile can produce a large change in the solution. Motivated by this observation, and also by results in the facility reallocation literature, our second main result is a constant-approximate, constant-strategyproof, and Lipschitz continuous mechanism.

Subject: Computer Science and Game Theory

Publish: 2025-07-06 17:51:52 UTC


#5 Adaptive Two-sided Assortment Optimization: Revenue Maximization [PDF] [Copy] [Kimi] [REL]

Authors: Mohammadreza, Ahmadnejadsaein, Omar El Housni

We study adaptive two-sided assortment optimization for revenue maximization in choice-based matching platforms. The platform has two sides of agents, an initiating side, and a responding side. The decision-maker sequentially selects agents from the initiating side, shows each an assortment of agents from the responding side, and observes their choices. After processing all initiating agents, the responding agents are shown assortments and make their selections. A match occurs when two agents mutually select each other, generating pair-dependent revenue. Choices follow Multinomial Logit (MNL) models. This setting generalizes prior work focused on maximizing the number of matches under submodular demand assumptions, which do not hold in our revenue-maximization context. Our main contribution is the design of polynomial-time approximation algorithms with constant-factor guarantees. In particular, for general pairwise revenues, we develop a randomized algorithm that achieves a (12ϵ)-approximation in expectation for any ϵ>0. The algorithm is static and provides guarantees under various agent arrival settings, including fixed order, simultaneous processing, and adaptive selection. When revenues are uniform across all pairs involving any given responding-side agent, the guarantee improves to (11eϵ). In structural settings where responding-side agents share a common revenue-based ranking, we design a simpler adaptive deterministic algorithm achieving a 12-approximation. Our approach leverages novel linear programming relaxations, correlation gap arguments, and structural properties of the revenue functions.

Subjects: Computer Science and Game Theory , Optimization and Control

Publish: 2025-07-05 20:45:18 UTC


#6 Deterministic Refund Mechanisms [PDF] [Copy] [Kimi] [REL]

Authors: Saeed Alaei, Shuchi Chawla, Zhiyi Huang, Ali Makhdoumi, Azarakhsh Malekian

We consider a mechanism design setting with a single item and a single buyer who is uncertain about the value of the item. Both the buyer and the seller have a common model for the buyer's value, but the buyer discovers her true value only upon receiving the item. Mechanisms in this setting can be interpreted as randomized refund mechanisms, which allocate the item at some price and then offer a (partial and/or randomized) refund to the buyer in exchange for the item if the buyer is unsatisfied with her purchase. Motivated by their practical importance, we study the design of optimal deterministic mechanisms in this setting. We characterize optimal mechanisms as virtual value maximizers for both continuous and discrete type settings. We then use this characterization, along with bounds on the menu size complexity, to develop efficient algorithms for finding optimal and near-optimal deterministic mechanisms.

Subjects: Computer Science and Game Theory , Theoretical Economics

Publish: 2025-07-05 19:56:04 UTC


#7 Ex-Ante Truthful Distribution-Reporting Mechanisms [PDF] [Copy] [Kimi] [REL]

Authors: Xiaotie Deng, Yanru Guan, Ningyuan Li, Zihe Wang, Jie Zhang

This paper studies mechanism design for revenue maximization in a distribution-reporting setting, where the auctioneer does not know the buyers' true value distributions. Instead, each buyer reports and commits to a bid distribution in the ex-ante stage, which the auctioneer uses as input to the mechanism. Buyers strategically decide the reported distributions to maximize ex-ante utility, potentially deviating from their value distributions. As shown in previous work, classical prior-dependent mechanisms such as the Myerson auction fail to elicit truthful value distributions at the ex-ante stage, despite satisfying Bayesian incentive compatibility at the interim stage. We study the design of ex-ante incentive compatible mechanisms, and aim to maximize revenue in a prior-independent approximation framework. We introduce a family of threshold-augmented mechanisms, which ensures ex-ante incentive compatibility while boosting revenue through ex-ante thresholds. Based on these mechanisms, we construct the Peer-Max Mechanism, which achieves an either-or approximation guarantee for general non-identical distributions. Specifically, for any value distributions, its expected revenue either achieves a constant fraction of the optimal social welfare, or surpasses the second-price revenue by a constant fraction, where the constants depend on the number of buyers and a tunable parameter. We also provide an upper bound on the revenue achievable by any ex-ante incentive compatible mechanism, matching our lower bound up to a constant factor. Finally, we extend our approach to a setting where multiple units of identical items are sold to buyers with multi-unit demands.

Subjects: Computer Science and Game Theory , Theoretical Economics

Publish: 2025-07-05 12:52:51 UTC


#8 Fair and Efficient Allocation of Indivisible Mixed Manna [PDF] [Copy] [Kimi] [REL]

Authors: Siddharth Barman, Vishwa Prakash HV, Aditi Sethia, Mashbat Suzuki

We study fair division of indivisible mixed manna (items whose values may be positive, negative, or zero) among agents with additive valuations. Here, we establish that fairness -- in terms of a relaxation of envy-freeness -- and Pareto efficiency can always be achieved together. Specifically, our fairness guarantees are in terms of envy-freeness up to k reallocations (EFR-k): An allocation A of the indivisible items is said to be EFR-k if there exists a subset R of at most k items such that, for each agent i, we can reassign items from within R (in A) and obtain an allocation, Ai, which is envy-free for i. We establish that, when allocating mixed manna among n agents with additive valuations, an EFR-(n1) and Pareto optimal (PO) allocation A always exists. Further, the individual envy-free allocations Ai, induced by reassignments, are also PO. In addition, we prove that such fair and efficient allocations are efficiently computable when the number of agents, n, is fixed. We also obtain positive results focusing on EFR by itself (and without the PO desideratum). Specifically, we show that an EFR-(n1) allocation of mixed manna can be computed in polynomial time. In addition, we prove that when all the items are goods, an EFR-n/2 allocation exists and can be computed efficiently. Here, the (n1) bound is tight for chores and n/2 is tight for goods. Our results advance the understanding of fair and efficient allocation of indivisible mixed manna and rely on a novel application of the Knaster-Kuratowski-Mazurkiewicz (KKM) Theorem in discrete fair division. We utilize weighted welfare maximization, with perturbed valuations, to achieve Pareto efficiency, and overall, our techniques are notably different from existing market-based approaches.

Subject: Computer Science and Game Theory

Publish: 2025-07-05 08:12:13 UTC


#9 On characterization and existence of a constrained correlated equilibria in Markov games [PDF] [Copy] [Kimi] [REL]

Authors: Tingting Ni, Anna Maddux, Maryam Kamgarpour

Markov games with coupling constraints provide a natural framework to study constrained decision-making involving self-interested agents, where the feasibility of an individual agent's strategy depends on the joint strategies of the others. Such games arise in numerous real-world applications involving safety requirements and budget caps, for example, in environmental management, electricity markets, and transportation systems. While correlated equilibria have emerged as an important solution concept in unconstrained settings due to their computational tractability and amenability to learning, their constrained counterparts remain less explored. In this paper, we study constrained correlated equilibria-feasible policies where any unilateral modifications are either unprofitable or infeasible. We first characterize the constrained correlated equilibrium showing that different sets of modifications result in an equivalent notion, a result which may enable efficient learning algorithms. We then address existence conditions. In particular, we show that a strong Slater-type condition is necessary in games with playerwise coupling constraints, but can be significantly weakened when all players share common coupling constraints. Under this relaxed condition, we prove the existence of a constrained correlated equilibrium.

Subject: Computer Science and Game Theory

Publish: 2025-07-04 11:55:47 UTC


#10 Tight Efficiency Bounds for the Probabilistic Serial Mechanism under Cardinal Preferences [PDF] [Copy] [Kimi] [REL]

Authors: Jugal Garg, Yixin Tao, László A. Végh

The Probabilistic Serial (PS) mechanism -- also known as the simultaneous eating algorithm -- is a canonical solution for the assignment problem under ordinal preferences. It guarantees envy-freeness and ordinal efficiency in the resulting random assignment. However, under cardinal preferences, its efficiency may degrade significantly: it is known that PS may yield allocations that are Ω(lnn)-worse than Pareto optimal, but whether this bound is tight remained an open question. Our first result resolves this question by showing that the PS mechanism guarantees (ln(n)+2)-approximate Pareto efficiency, even in the more general submodular setting introduced by Fujishige, Sano, and Zhan (ACM TEAC 2018). This is established by showing that, although the PS mechanism may incur a loss of up to O(n) in utilitarian social welfare, it still achieves a (lnn+2)-approximation to the maximum Nash welfare. In addition, we present a polynomial-time algorithm that computes an allocation which is envy-free and e1/e-approximately Pareto-efficient, answering an open question posed by Tröbst and Vazirani (EC 2024). The PS mechanism also applies to the allocation of chores instead of goods. We prove that it guarantees an n-approximately Pareto-efficient allocation in this setting, and that this bound is asymptotically tight. This result provides the first known approximation guarantee for computing a fair and efficient allocation in the assignment problem with chores under cardinal preferences.

Subjects: Computer Science and Game Theory , Theoretical Economics

Publish: 2025-07-04 07:47:03 UTC


#11 Iterative Vickrey Auctions via Linear Programming [PDF] [Copy] [Kimi] [REL]

Authors: Sébastien Lahaie, Benjamin Lubin

Building on the linear programming approach to competitive equilibrium pricing, we develop a general method for constructing iterative auctions that achieve Vickrey-Clarke-Groves (VCG) outcomes. We show how to transform a linear program characterizing competitive equilibrium prices into one that characterizes universal competitive equilibrium (UCE) prices, which elicit precisely the information needed to compute VCG payments. By applying a primal-dual algorithm to these transformed programs, we derive iterative Vickrey auctions that maintain a single price path, eliminating the overhead and incentive problems associated with multiple price paths used solely for payment calculations. We demonstrate the versatility of our method by developing a novel iterative Vickrey auction for the multi-unit setting and an iterative variant of the Product-Mix auction. The resulting auctions combine the transparency of iterative price discovery with the efficiency and incentive properties of the VCG mechanism.

Subject: Computer Science and Game Theory

Publish: 2025-07-04 01:57:20 UTC


#12 Last-Iterate Convergence of No-Regret Learning for Equilibria in Bargaining Games [PDF] [Copy] [Kimi] [REL]

Authors: Serafina Kamp, Reese Liebman, Benjamin Fish

Bargaining games, where agents attempt to agree on how to split utility, are an important class of games used to study economic behavior, which motivates a study of online learning algorithms in these games. In this work, we tackle when no-regret learning algorithms converge to Nash equilibria in bargaining games. Recent results have shown that online algorithms related to Follow the Regularized Leader (FTRL) converge to Nash equilibria (NE) in the last iterate in a wide variety of games, including zero-sum games. However, bargaining games do not have the properties used previously to established convergence guarantees, even in the simplest case of the ultimatum game, which features a single take-it-or-leave-it offer. Nonetheless, we establish that FTRL (without the modifications necessary for zero-sum games) achieves last-iterate convergence to an approximate NE in the ultimatum game along with a bound on convergence time under mild assumptions. Further, we provide experimental results to demonstrate that convergence to NE, including NE with asymmetric payoffs, occurs under a broad range of initial conditions, both in the ultimatum game and in bargaining games with multiple rounds. This work demonstrates how complex economic behavior (e.g. learning to use threats and the existence of many possible equilibrium outcomes) can result from using a simple learning algorithm, and that FTRL can converge to equilibria in a more diverse set of games than previously known.

Subjects: Computer Science and Game Theory , Machine Learning

Publish: 2025-07-03 20:12:59 UTC


#13 Beyond Advertising: Mechanism Design for Platform-Wide Marketing Service "QuanZhanTui" [PDF] [Copy] [Kimi] [REL]

Authors: Ningyuan Li, Zhilin Zhang, Tianyan Long, Yuyao Liu, Rongquan Bai, Yurong Chen, Xiaotie Deng, Pengjie Wang, Chuan Yu, Jian Xu, Bo Zheng

On e-commerce platforms, sellers typically bid for impressions from ad traffic to promote their products. However, for most sellers, the majority of their sales come from organic traffic. Consequently, the relationship between their ad spending and total sales remains uncertain, resulting in operational inefficiency. To address this issue, e-commerce platforms have recently introduced a novel platform-wide marketing service known as QuanZhanTui, which has reportedly enhanced marketing efficiency for sellers and driven substantial revenue growth for platforms. QuanZhanTui allows sellers to bid for impressions from the platform's entire traffic to boost their total sales without compromising the platform's user experience. In this paper, we investigate the mechanism design problem that arises from QuanZhanTui. The problem is formulated as a multi-objective optimization to balance sellers' welfare and platform's user experience. We first introduce the stock-constrained value maximizer model, which reflects sellers' dual requirements on marketing efficiency and platform-wide ROI. Then, we propose the Liquid Payment Auction (LPA), an auction designed to optimize the balanced objectives while accounting for sellers' requirements in the auto-bidding environment. It employs a simple payment rule based on sellers' liquid welfare, providing a clearer link between their investment and total sales. Under mild assumptions, we theoretically prove desirable properties of LPA, such as optimality and incentive compatibility. Extensive experiments demonstrate LPA's superior performance over conventional auctions in QuanZhanTui.

Subject: Computer Science and Game Theory

Publish: 2025-06-26 09:55:22 UTC


#14 A Hybrid Game-Theory and Deep Learning Framework for Predicting Tourist Arrivals via Big Data Analytics and Opinion Leader Detection [PDF] [Copy] [Kimi] [REL]

Author: Ali Nikseresht

In the era of Industry 5.0, data-driven decision-making has become indispensable for optimizing systems across Industrial Engineering. This paper addresses the value of big data analytics by proposing a novel non-linear hybrid approach for forecasting international tourist arrivals in two different contexts: (i) arrivals to Hong Kong from five major source nations (pre-COVID-19), and (ii) arrivals to Sanya in Hainan province, China (post-COVID-19). The method integrates multiple sources of Internet big data and employs an innovative game theory-based algorithm to identify opinion leaders on social media platforms. Subsequently, nonstationary attributes in tourism demand data are managed through Empirical Wavelet Transform (EWT), ensuring refined time-frequency analysis. Finally, a memory-aware Stacked Bi-directional Long Short-Term Memory (Stacked BiLSTM) network is used to generate accurate demand forecasts. Experimental results demonstrate that this approach outperforms existing state-of-the-art techniques and remains robust under dynamic and volatile conditions, highlighting its applicability to broader Industrial Engineering domains, such as logistics, supply chain management, and production planning, where forecasting and resource allocation are key challenges. By merging advanced Deep Learning (DL), time-frequency analysis, and social media insights, the proposed framework showcases how large-scale data can elevate the quality and efficiency of decision-making processes.

Subjects: Machine Learning , Emerging Technologies , Computer Science and Game Theory , Signal Processing

Publish: 2025-07-04 09:17:17 UTC


#15 Data-Driven Persuasion [PDF] [Copy] [Kimi] [REL]

Author: Maxwell Rosenthal

This paper develops a data-driven approach to Bayesian persuasion. The receiver is privately informed about the prior distribution of the state of the world, the sender knows the receiver's preferences but does not know the distribution of the state variable, and the sender's payoffs depend on the receiver's action but not on the state. Prior to interacting with the receiver, the sender observes the distribution of actions taken by a population of decision makers who share the receiver's preferences in best response to an unobserved distribution of messages generated by an unknown and potentially heterogeneous signal. The sender views any prior that rationalizes this data as plausible and seeks a signal that maximizes her worst-case payoff against the set of all such distributions. We show positively that the two-state many-action problem has a saddle point and negatively that the two-action many-state problem does not. In the former case, we identify adversarial priors and optimal signals. In the latter, we characterize the set of robustly optimal Blackwell experiments.

Subjects: Theoretical Economics , Computer Science and Game Theory

Publish: 2025-07-03 22:29:34 UTC


#16 A Multi-Resolution Dynamic Game Framework for Cross-Echelon Decision-Making in Cyber Warfare [PDF] [Copy] [Kimi] [REL]

Authors: Ya-Ting Yang, Quanyan Zhu

Cyber warfare has become a critical dimension of modern conflict, driven by society's increasing dependence on interconnected digital and physical infrastructure. Effective cyber defense often requires decision-making at different echelons, where the tactical layer focuses on detailed actions such as techniques, tactics, and procedures, while the strategic layer addresses long-term objectives and coordinated planning. Modeling these interactions at different echelons remains challenging due to the dynamic, large-scale, and interdependent nature of cyber environments. To address this, we propose a multi-resolution dynamic game framework in which the tactical layer captures fine-grained interactions using high-resolution extensive-form game trees, while the strategic layer is modeled as a Markov game defined over lower-resolution states abstracted from those game trees. This framework supports scalable reasoning and planning across different levels of abstraction through zoom-in and zoom-out operations that adjust the granularity of the modeling based on operational needs. A case study demonstrates how the framework works and its effectiveness in improving the defender's strategic advantage.

Subjects: Cryptography and Security , Computer Science and Game Theory

Publish: 2025-07-02 17:42:34 UTC


#17 Attraction of the core and the cohesion flow [PDF] [Copy] [Kimi] [REL]

Author: Dylan Laplace Mermoud

We adopt a continuous-time dynamical system approach to study the evolution of the state of a game driven by the willingness to reduce the total dissatisfaction of the coalitions about their payment. Inspired by the work of Grabisch and Sudhölter about core stability, we define a vector field on the set of preimputations from which is defined, for any preimputation, a cohesion curve describing the evolution of the state. We prove that for each preimputation, there exists a unique cohesion curve. Subsequently, we show that, for the cohesion flow of a balanced game, the core is the unique minimal attractor of the flow, the realm of which is the whole preimputation set. These results improve our understanding of the ubiquity of the core in the study of cooperative games with transferable utility.

Subjects: Theoretical Economics , Computer Science and Game Theory , Classical Analysis and ODEs , Dynamical Systems

Publish: 2025-06-25 12:25:47 UTC


#18 A contemporary approach on revisited cost allocation using airport games: the effects of code-sharing [PDF] [Copy] [Kimi] [REL]

Authors: Alejandro Saavedra-Nieves, M. Gloria Fiestras-Janeiro

An important operational aspect in airport management is the allocation of fees to aircraft movements on a runway, whether operated by separate operators or under code-sharing agreements. This paper analyses the problem of determining fees under code-sharing of the movements at an airport from a game theoretic perspective. In particular, we propose the configuration value for games with coalition configuration as the mechanism for allocating operating costs. We provide the exact expression of this game-theoretic solution for airport games, which depends only on the parameters of the associated airport problem. For this purpose, we consider a new and natural game-theoretic characterization of the configuration value. Finally, for the specific context of airport games, we apply it to a real case as a mechanism to determine the aircraft fees at a Spanish airport in a code-sharing scenario.

Subjects: Theoretical Economics , Computer Science and Game Theory

Publish: 2025-06-20 18:23:04 UTC