English
Related papers

Related papers: Reduction From Non-Unique Games To Boolean Unique …

200 papers

The paper is concerned with two-person dynamic zero-sum games. We investigate the limit of value functions of finite horizon games with long run average cost as the time horizon tends to infinity, and the limit of value functions of…

Optimization and Control · Mathematics 2016-07-21 Dmitry Khlopin

We introduce the notions of weakly *-concave and weakly naturally quasi-concave correspondence and prove fixed point theorems and continuous selection theorems for these kind of correspondences. As applications in the game theory, by using…

Optimization and Control · Mathematics 2013-03-29 Monica Patriche

Game Theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. The question of a compact representation language for agents utility function is of crucial importance since the…

Computer Science and Game Theory · Computer Science 2014-04-30 Thi-Van-Anh Nguyen , Arnaud Lallouet

A value of a CSP instance is typically defined as a fraction of constraints that can be simultaneously met. We propose an alternative definition of a value of an instance and show that, for purely combinatorial reasons, a value of an…

Computational Complexity · Computer Science 2021-07-21 Libor Barto , Marcin Kozik

We give an operator-algebraic formulation of robust self-testing in terms of states on C*-algebras. We show that a quantum correlation p is a robust self-test only if among all (abstract) states, there is a unique one achieving p. We show…

Quantum Physics · Physics 2024-11-06 Yuming Zhao

We give an explicit family of XOR games with O(n)-bit questions requiring 2^n ebits to play near-optimally. More generally we introduce a new technique for proving lower bounds on the amount of entanglement required by an XOR game: we show…

Quantum Physics · Physics 2015-05-19 William Slofstra

In this note we prove the uniqueness of solutions to a class of Mean Field Games systems subject to possibly degenerate individual noise. Our results hold true for arbitrary long time horizons and for general non-separable Hamiltonians that…

Analysis of PDEs · Mathematics 2023-08-23 Alpár R. Mészáros , Chenchen Mou

In this short note, the author shows that the gap problem of some $k$-CSPs with the support of its predicate the ground of a balanced pairwise independent distribution can be solved by a modified version of Hast's Algorithm BiLin that calls…

Computational Complexity · Computer Science 2015-11-10 Peng Cui

We describe a communication game, and a conjecture about this game, whose proof would imply the well-known Sensitivity Conjecture asserting a polynomial relation between sensitivity and block sensitivity for Boolean functions. The author…

Computational Complexity · Computer Science 2017-06-27 Andrew Drucker

The mean field games system is a coupled pair of nonlinear partial differential equations arising in differential game theory, as a limit as the number of agents tends to infinity. We prove existence and uniqueness of classical solutions…

Analysis of PDEs · Mathematics 2020-01-28 David M. Ambrose

The equivalence between von Neumann's Minimax Theorem for zero-sum games and the LP Duality Theorem connects cornerstone problems of the two fields of game theory and optimization, respectively, and has been the subject of intense scrutiny…

Computer Science and Game Theory · Computer Science 2026-01-30 Ilan Adler , Martin Bullinger , Vijay V. Vazirani

In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are…

Artificial Intelligence · Computer Science 2017-07-28 Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini , Arianna Novaro , Laurent Perrussel

We give an algorithm for solving unique games (UG) instances whenever low-degree sum-of-squares proofs certify good bounds on the small-set-expansion of the underlying constraint graph via a hypercontractive inequality. Our algorithm is in…

Computational Complexity · Computer Science 2021-06-29 Mitali Bafna , Boaz Barak , Pravesh Kothari , Tselil Schramm , David Steurer

The behavior of games repeated in parallel, when played with quantumly entangled players, has received much attention in recent years. Quantum analogues of Raz's classical parallel repetition theorem have been proved for many special…

Quantum Physics · Physics 2016-04-18 Henry Yuen

We provide a unifying, black-box tool for establishing existence of approximate equilibria in weighted congestion games and, at the same time, bounding their Price of Stability. Our framework can handle resources with general…

Computer Science and Game Theory · Computer Science 2022-03-31 Yiannis Giannakopoulos , Diogo Poças

We consider one-round games between a classical referee and two players. One of the main questions in this area is the parallel repetition question: Is there a way to decrease the maximum winning probability of a game without increasing the…

Quantum Physics · Physics 2011-05-12 Julia Kempe , Thomas Vidick

We study unique games and estimate some of their values. We prove that if a unique game has a quantum-assisted value close to 1, then it must have a perfect deterministic strategy. We introduce a family of unique games based on groups that…

Quantum Physics · Physics 2025-06-24 Rupert H. Levene , Vern I. Paulsen

A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game has a perfect quantum strategy if and only if the constraint system has a quantum satisfying assignment [R. Cleve…

Quantum Physics · Physics 2013-11-05 Zhengfeng Ji

In this paper, we consider Mean Field Games in the presence of common noise relaxing the usual independence assumption of individual random noise. We assume a simple linear model with terminal cost satisfying a convexity and a weak…

Probability · Mathematics 2016-07-05 Saran Ahuja

Dull, weak and nested solitaire games are important classes of parity games, capturing, among others, alternation-free mu-calculus and ECTL* model checking problems. These classes can be solved in polynomial time using dedicated algorithms.…

Logic in Computer Science · Computer Science 2013-07-18 Maciej Gazda , Tim A. C. Willemse