English
Related papers

Related papers: Strong Parallel Repetition for Unique Games on Sma…

200 papers

An approximation algorithm for a constraint satisfaction problem is called robust if it outputs an assignment satisfying a $(1 - f(\epsilon))$-fraction of the constraints on any $(1-\epsilon)$-satisfiable instance, where the loss function…

Data Structures and Algorithms · Computer Science 2022-11-09 Antoine Méot , Arnaud de Mesmay , Moritz Mühlenthaler , Alantha Newman

The aim of boosting is to convert a sequence of weak learners into a strong learner. At their heart, these methods are fully sequential. In this paper, we investigate the possibility of parallelizing boosting. Our main contribution is a…

Machine Learning · Computer Science 2023-08-22 Amin Karbasi , Kasper Green Larsen

Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeucht-Fraisse (EF) games in two ways: first, MS games are…

Logic in Computer Science · Computer Science 2025-01-08 Marco Carmosino , Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta

This paper establishes the exact comparison complexity of finding an element repeated $n$ times in a $2n$-element array containing $n+1$ distinct values, under the equality-comparison model with $O(1)$ extra space. We present a simple…

Data Structures and Algorithms · Computer Science 2026-02-09 Andrew Au

We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to…

With the increasing sophistication of attacks on cyber-physical systems, deception has emerged as an effective tool to improve system security and safety by obfuscating the attacker's perception. In this paper, we present a solution to the…

Computer Science and Game Theory · Computer Science 2020-07-16 Abhishek N. Kulkarni , Huan Luo , Nandi O. Leslie , Charles A. Kamhoua , Jie Fu

Consider a two-player game repeated N times. Player 1 can choose between two styles (for interpretability, offensive and defensive), whereas Player 2 uses a single fixed style. Let X N\,:= \#wins -\#losses for Player 1 after N games, and…

Computer Science and Game Theory · Computer Science 2026-04-20 Jonatha ANSELMI , Bruno Gaujal

We introduce parallelism into the basic algebra of games to model concurrent game algebraically. Parallelism is treated as a new kind of game operation. The resulted algebra of concurrent games can be used widely to reason the parallel…

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

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 repeated game is an effective tool to model interactions and conflicts for players aiming to achieve their objectives in a long-term basis. Contrary to static noncooperative games that model an interaction among players in only one…

Computer Science and Game Theory · Computer Science 2015-01-14 Dinh Thai Hoang , Xiao Lu , Dusit Niyato , Ping Wang , Zhu Han

We extend the weak-strong uniqueness principle for mean-field game (MFG) systems to a broad class of second-order stationary and time-dependent problems. Under standard monotonicity, growth, and coercivity assumptions on the Hamiltonian,…

Analysis of PDEs · Mathematics 2026-04-02 Rita Ferreira , Diogo Gomes , Bashayer Majrashi

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

One of the most striking quantum phenomena is superposition, where one particle simultaneously inhabits different states. Most methods to verify coherent superposition are indirect, in that they require the distinct states to be recombined.…

Large, distributed data streams are now ubiquitous. High-accuracy sketches with low memory overhead have become the de facto method for analyzing this data. For instance, if we wish to group data by some label and report the largest counts…

Data Structures and Algorithms · Computer Science 2024-02-14 Homin K. Lee , Charles Masson

We present a systematic investigation of the quantum games, constructed using a novel repeated game protocol, when played repeatedly ad infinitum. We focus on establishing that such repeated games -- by virtue of inherent quantum-mechanical…

Quantum Physics · Physics 2024-02-27 Archan Mukhopadhyay , Saikat Sur , Tanay Saha , Shubhadeep Sadhukhan , Sagar Chakraborty

In this work we show a barrier towards proving a randomness-efficient parallel repetition, a promising avenue for achieving many tight inapproximability results. Feige and Kilian (STOC'95) proved an impossibility result for…

Computational Complexity · Computer Science 2016-07-26 Dana Moshkovitz , Govind Ramnarayan , Henry Yuen

Using semi-tensor product of matrices, the structures of several kinds of symmetric games are investigated via the linear representation of symmetric group in the structure vector of games as its representation space. First of all, the…

Computer Science and Game Theory · Computer Science 2017-03-09 Daizhan Cheng , Ting Liu

The aim of this paper is to bring together the notions of quantum game and game isomorphism. The work is intended as an attempt to introduce a new criterion for quantum game schemes. The generally accepted requirement forces a quantum…

Computer Science and Game Theory · Computer Science 2017-01-23 Piotr Frackiewicz

We consider both finite-state game graphs and recursive game graphs (or pushdown game graphs), that can model the control flow of sequential programs with recursion, with multi-dimensional mean-payoff objectives. In pushdown games two types…

Computer Science and Game Theory · Computer Science 2013-08-09 Krishnendu Chatterjee , Yaron Velner

We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, decidability of average-energy games with a lower-bound…

Logic in Computer Science · Computer Science 2017-01-16 Patricia Bouyer , Piotr Hofman , Nicolas Markey , Mickael Randour , Martin Zimmermann