English
Related papers

Related papers: Energy Games over Totally Ordered Groups

200 papers

We introduce a novel class of Nash equilibrium seeking dynamics for non-cooperative games with a finite number of players, where the convergence to the Nash equilibrium is bounded by a KL function with a settling time that can be upper…

Optimization and Control · Mathematics 2020-12-25 Jorge I. Poveda , Miroslav Krstic , Tamer Basar

We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the…

Group Theory · Mathematics 2021-07-01 Samuel M. Corson

We consider a setting in which a principal gets to choose which game from some given set is played by a group of agents. The principal would like to choose a game that favors one of the players, the social preferences of the players, or the…

Computer Science and Game Theory · Computer Science 2025-11-27 Caspar Oesterheld , Vincent Conitzer

In this paper, some new criteria for detecting whether a finite game is potential are proposed by solving potential equations. The verification equations with the minimal number for checking a potential game are obtained for the first time.…

Computer Science and Game Theory · Computer Science 2015-04-29 Xinyun Liu , Jiandong Zhu

We look at both the \emph{group labeling lights out game} and the \emph{neighborhood lights out game}. Our main focus is to determine necessary and sufficient conditions for when the group labeling lights out game on path graphs, cycle…

Combinatorics · Mathematics 2024-05-06 Brittany Doherty , Christian J. Miller , Darren B. Parker

We study the structure of the set of equilibrium payoffs in finite games, both for Nash equilibrium and correlated equilibrium. A nonempty subset of R^2 is shown to be the set of Nash equilibrium payoffs of a bimatrix game if and only if it…

Optimization and Control · Mathematics 2009-02-17 Ehud Lehrer , Eilon Solan , Yannick Viossat

In this paper we consider strong Nash equilibria, in mixed strategies, for finite games. Any strong Nash equilibrium outcome is Pareto efficient for each coalition. First, we analyze the two--player setting. Our main result, in its simplest…

Optimization and Control · Mathematics 2015-03-02 Eleonora Braggion , Nicola Gatti , Roberto Lucchetti , Tuomas Sandholm

We prove game-theoretic versions of several classical results on nonrepetitive sequences, showing the existence of winning strategies using an extension of the Lov\'asz Local Lemma which can dramatically reduce the number of edges needed in…

Combinatorics · Mathematics 2010-10-28 Wesley Pegden

We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion…

Logic · Mathematics 2018-04-17 Martino Lupini , Aristotelis Panagiotopoulos

We prove expressive completeness results for convex propositional and modal team logics, where a logic is convex if, for each formula, if it is true in two teams $t$ and $u$ and $t\subseteq s\subseteq u$, then it is also true in $s$. We…

Logic · Mathematics 2025-03-31 Aleksi Anttila , Søren Brinck Knudstorp

I study sequential contests where the efforts of earlier players may be disclosed to later players by nature or by design. The model has a range of applications, including rent seeking, R&D, oligopoly, public goods provision, and tragedy of…

Computer Science and Game Theory · Computer Science 2021-02-22 Toomas Hinnosaar

In previous work on higher-order games, we accounted for finite games of unbounded length by working with continuous outcome functions, which carry implicit game trees. In this work we make such trees explicit. We use concepts from…

Computer Science and Game Theory · Computer Science 2023-07-10 Martín Escardó , Paulo Oliva

This paper investigates the potential benefits of cooperation in scenarios where finitely many agents compete for shared resources, leading to congestion and thereby reduced rewards. By appropriate coordination the members of the…

Computer Science and Game Theory · Computer Science 2024-10-10 Riya Sultana , Veeraruna Kavitha

This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {\em Boolean algebra of…

Logic · Mathematics 2020-06-11 Tommaso Flaminio , Lluis Godo , Hykel Hosni

In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of…

Logic · Mathematics 2022-02-16 Fan Yang

In this paper we study two-player games with asymmetric partial observation and an energy objective. Such games are played on a weighted automaton by Eve, choosing actions, and Adam, choosing a transition labelled with the given action. Eve…

Logic in Computer Science · Computer Science 2016-11-17 Guillermo A. Pérez

A Bayesian game is said to have nested information if the players are ordered, and each player knows the types of all players that follow her in that order. We prove that all multiplayer Bayesian games with finite actions spaces, bounded…

Probability · Mathematics 2025-02-24 Royi Jacobovic , John Yehuda Levy , Eilon Solan

We study mean field games with unbounded coefficients. The existence of a solution is proved. We propose a new approach based on Fokker-Planck-Kolmogorov equations, the Ambrosio-Figalli-Trevisan superposition principle, the method of…

Analysis of PDEs · Mathematics 2026-03-02 Stanislav V. Shaposhnikov , Dmitry V. Shatilovich

Let V be a simple unitary vertex operator algebra and U be a (polynomially) energy-bounded unitary subalgebra containing the conformal vector of V. We give two sufficient conditions implying that V is energy-bounded. The first condition is…

Quantum Algebra · Mathematics 2023-05-30 Sebastiano Carpi , Luca Tomassini

We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in $\mathbb{R}^d$ based on some rules. Variants include boundedness games, where one player wants to keep the positions…

Computer Science and Game Theory · Computer Science 2016-11-28 Stéphane Le Roux , Arno Pauly , Jean-François Raskin