English
Related papers

Related papers: Invariant games and non-homogeneous Beatty sequenc…

200 papers

We introduce the notion of invariant vectors of a game and develop the Invariance Reduction Process, which first uses reduction of positions via invariance and then zero and merge reductions of games to arrive at smaller, solved sub-games…

Combinatorics · Mathematics 2026-04-06 Balaji R. Kadam , Matthieu Dufour , Silvia Heubach

We prove that for every 3-player game with binary questions and answers and value $<1$, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. That is, for every such game, there exists a constant $c>0$,…

Computational Complexity · Computer Science 2022-02-15 Uma Girish , Justin Holmgren , Kunal Mittal , Ran Raz , Wei Zhan

We give a procedure that can be used to automatically satisfy invariants of a certain shape. These invariants may be written with the operations intersection, composition and converse over binary relations, and equality over these…

Logic in Computer Science · Computer Science 2018-06-26 Sebastiaan J. C. Joosten

Infinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such…

Computer Science and Game Theory · Computer Science 2023-06-22 Benedikt Brütsch , Wolfgang Thomas

Given an $\omega$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We introduce a method using desubstitution of…

Formal Languages and Automata Theory · Computer Science 2023-04-12 Pierre Béaur , Benjamin Hellouin de Menibus

The \((n,k)\) game models a group of \(n\) individuals with binary opinions, say 1 and 0, where a decision is made if at least \(k\) individuals hold opinion 1. This paper explores the dynamics of the game with heterogeneous agents under…

Probability · Mathematics 2024-09-17 Hsin-Lun Li

We introduce a game-theoretic framework to study the hypothesis testing problem, in the presence of an adversary aiming at preventing a correct decision. Specifically, the paper considers a scenario in which an analyst has to decide whether…

Information Theory · Computer Science 2013-04-09 Mauro Barni , Benedetta Tondi

This article studies the kinetic dynamics of the rock-paper-scissors binary game in a measure setting given by a non local and non linear integrodifferential equation. After proving the wellposedness of the equation, we provide a precise…

Analysis of PDEs · Mathematics 2022-10-07 Hugo Martin

We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate…

Combinatorics · Mathematics 2011-07-27 Will Johnson

Bargmann invariants, also known as multivariate traces of quantum states $\operatorname{Tr}(\rho_1 \rho_2 \cdots \rho_n)$, are unitary invariant quantities used to characterize weak values, Kirkwood-Dirac quasiprobabilities,…

Quantum Physics · Physics 2025-10-16 Sagar Silva Pratapsi , João Gouveia , Leonardo Novo , Ernesto F. Galvão

We consider the permutation analogue of Penney's game for words. Two players, in order, each choose a permutation of length $k\ge3$; then a sequence of independent random values from a continuous distribution is generated, until the…

Combinatorics · Mathematics 2026-04-29 Sergi Elizalde , Yixin Lin

In~[1],authors considered a general finite horizon model of dynamic game of asymmetric information, where N players have types evolving as independent Markovian process, where each player observes its own type perfectly and actions of all…

Computer Science and Game Theory · Computer Science 2020-07-09 Deepanshu Vasal

Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

A class of non-compact billiards is introduced, namely the infinite step billiards, i.e., systems of a point particle moving freely in the domain $\Omega = \bigcup_{n\in\N} [n,n+1] \times [0,p_n]$, with elastic reflections on the boundary;…

chao-dyn · Physics 2008-02-03 Mirko Degli Esposti , Gianluigi Del Magno , Marco Lenci

This paper studies correlations among independently administered hypothetical tests of a simple interactive type, and demonstrates that correlations arising in quantum information theoretic variants of these tests can exhibit a striking…

Quantum Physics · Physics 2015-05-27 Abel Molina , John Watrous

Motivated by non-local games and quantum coloring problems, we introduce a graph homomorphism game between quantum graphs and classical graphs. This game is naturally cast as a "quantum-classical game"--that is, a non-local game of two…

Operator Algebras · Mathematics 2024-06-19 Michael Brannan , Priyanga Ganesan , Samuel J. Harris

The focus of this essay is a rigorous treatment of infinite games. An infinite game is defined as a play consisting of a fixed number of players whose sequence of moves is repeated, or iterated ad infinitum. Each sequence corresponds to a…

Category Theory · Mathematics 2010-01-12 Thomas Kellam Meyer

Game theory provides a mathematical framework for analysing strategic situations involving at least two players. Normal-form games model situations where the players simultaneously pick their moves. In this thesis we explore the strategic…

Combinatorics · Mathematics 2019-05-03 Nicholas Ham

The present paper gives a mathematical, in particular, syntax-independent, formulation of intensionality and dynamics of computation in terms of games and strategies. Specifically, we give a game semantics for a higher-order programming…

Logic in Computer Science · Computer Science 2021-02-10 Norihiro Yamada , Samson Abramsky

Examples of games between two partners with mixed strategies, calculated by the use of the probability amplitude are given. The first game is described by the quantum formalism of spin one half system for which two noncommuting observables…

Quantum Physics · Physics 2015-06-26 A. A. Grib , A. Yu. Khrennikov , K. Starkov