English
Related papers

Related papers: The generality of the zero-one laws

200 papers

The Bradley-Terry model has previously been used in both Bayesian and frequentist interpretations to evaluate the strengths of sports teams based on win-loss game results. It has also been extended to handle additional possible results such…

Applications · Statistics 2023-01-10 John T. Whelan , Jacob E. Klein

It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in…

Logic in Computer Science · Computer Science 2021-05-26 Rineke Verbrugge

The minimax theorem for zero-sum games is easily proved from the strong duality theorem of linear programming. For the converse direction, the standard proof by Dantzig (1951) is known to be incomplete. We explain and combine classical…

Computer Science and Game Theory · Computer Science 2025-01-07 Bernhard von Stengel

We introduce a zero-sum game problem of mean-field type as an extension of the classical zero-sum Dynkin game problem to the case where the payoff processes might depend on the value of the game and its probability law. We establish…

Optimization and Control · Mathematics 2022-05-06 Boualem Djehiche , Roxana Dumitrescu

Generalization of the Lambalgen's theorem is studied with the notion of Hippocratic (blind) randomness without assuming computability of conditional probabilities. In [Bauwence 2014], a counter-example for the generalization of Lambalgen's…

Logic · Mathematics 2015-01-19 Hayato Takahashi

Combinatorial Game Theory has also been called `additive game theory', whenever the analysis involves sums of independent game components. Such {\em disjunctive sums} invoke comparison between games, which allows abstract values to be…

Combinatorics · Mathematics 2021-01-29 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

This paper gives game-theoretic versions of several results on "merging of opinions" obtained in measure-theoretic probability and algorithmic randomness theory. An advantage of the game-theoretic versions over the measure-theoretic results…

Probability · Mathematics 2007-05-23 Vladimir Vovk

The application of the methods of quantum mechanics to game theory provides us with the ability to achieve results not otherwise possible. Both linear superpositions of actions and entanglement between the players' moves can be exploited.…

Quantum Physics · Physics 2007-05-23 Adrian P. Flitney , Derek Abbott

We propose a unifying additive theory for standard conventions in Combinatorial Game Theory, including normal-, mis\`ere- and scoring-play, studied by Berlekamp, Conway, Dorbec, Ettinger, Guy, Larsson, Milley, Neto, Nowakowski, Renault,…

Combinatorics · Mathematics 2021-07-07 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

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

We introduce and investigate a range of general notions of a game. Our principal notion is based on a set of agents modifying a relational structure in a discrete evolution sequence. We also introduce and study a variety of ways to model…

Logic in Computer Science · Computer Science 2019-11-20 Antti Kuusisto

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear…

Logic in Computer Science · Computer Science 2013-11-26 Samson Abramsky , Radha Jagadeesan

We formulate and analyze game-theoretic problems for systems governed by integral equations. For Volterra integral equations, we obtain and prove necessary and sufficient conditions for linear-quadratic problems, and for problems that are…

Optimization and Control · Mathematics 2019-06-27 S. A. Belbas

We consider a class of Mean Field Games in which the agents may interact through the statistical distribution of their states and controls. It is supposed that the Hamiltonian behaves like a power of its arguments as they tend to infinity,…

Analysis of PDEs · Mathematics 2020-06-24 Z Kobeissi

In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition probabilities. In these games the uncertainty over the…

Logic in Computer Science · Computer Science 2025-02-26 Pablo F. Castro , Pedro D'Argenio

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…

Logic in Computer Science · Computer Science 2019-09-04 Yong Wang

In this paper we discuss a general problem on metrical Diophantine approximation associated with a system of linear forms. The main result is a zero-one law that extends one-dimensional results of Cassels and Gallagher. The paper contains a…

Number Theory · Mathematics 2015-05-13 Victor Beresnevich , Sanju Velani

Using a game theory approach and a new extremal problem, Gibbs formula is proved in a most simple and general way for the classical mechanics case. A corresponding conjecture on the asymptotics of the classical entropy is formulated. For…

General Physics · Physics 2011-05-25 Lev Sakhnovich

This paper has a two-folded purpose. First, we attempt to outline the development of the turnpike theorems in the the last several decades. Second, we study turnpike theorems in finite-horizon two-person zero-sum Markov games on a general…

Probability · Mathematics 2013-06-19 Vassili Kolokoltsov , Wei Yang

In this paper, we investigate a partially observable zero sum games where the state process is a discrete time Markov chain. We consider a general utility function in the optimization criterion. We show the existence of value for both…

Optimization and Control · Mathematics 2022-11-16 Arnab Bhabak , Subhamay saha