English
Related papers

Related papers: Connes implies Tsirelson: a simple proof

200 papers

A comply/constrain game or a game with a Muller twist is a game where the next player is allowed to place constraints on opponent's next move. We develop a closed form formula for the Grundy value of the single-pile subtraction game where…

Combinatorics · Mathematics 2018-06-05 Archishman Sravankumar

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

We prove a new theorem of Tverberg type which confirms the conjecture of Blagojevic, Frick, and Ziegler about the existence of "balanced Tverberg partitions" (Conjecture 6.6 in, Tverberg plus constraints, Bull. London Math. Soc., 46 (2014)…

Combinatorics · Mathematics 2016-08-16 Duško Jojić , Siniša Vrećica , Rade Živaljević

The core is a quintessential solution concept for profit sharing in cooperative game theory. An imputation allocates the worth of the given game among its agents. The imputation lies in the core of the game if, for each sub-coalition, the…

Computer Science and Game Theory · Computer Science 2025-02-05 Rohith Reddy Gangam , Shayan Taherijam , Vijay V. Vazirani

Tensor products of convex cones have recently come up in different areas, ranging from functional analysis and operator theory to approximation theory and theoretical physics. However, most of the existing literature focuses either on…

Functional Analysis · Mathematics 2022-12-08 Josse van Dobben de Bruyn

We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given…

Functional Analysis · Mathematics 2021-08-26 Guillaume Aubrun , Ludovico Lami , Carlos Palazuelos , Martin Plavala

In Stackelberg v/s Stackelberg games a collection of leaders compete in a Nash game constrained by the equilibrium conditions of another Nash game amongst the followers. The resulting equilibrium problems are plagued by the nonuniqueness of…

Optimization and Control · Mathematics 2016-11-18 Ankur A. Kulkarni , Uday V. Shanbhag

This paper initiates the study of a class of entangled games, mono-state games, denoted by $(G,\psi)$, where $G$ is a two-player one-round game and $\psi$ is a bipartite state independent of the game $G$. In the mono-state game $(G,\psi)$,…

Quantum Physics · Physics 2019-09-17 Penghui Yao

Simple games cover voting systems in which a single alternative, such as a bill or an amendment, is pitted against the status quo. A simple game or a yes-no voting system is a set of rules that specifies exactly which collections of ``yea''…

Computer Science and Game Theory · Computer Science 2008-03-05 Josep Freixas , Xavier Molinero , Martin Olsen , Maria Serna

We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.

Algebraic Geometry · Mathematics 2007-05-23 Yon-Seo Kim , Kefeng Liu

We give a simple and computationally efficient algorithm that, for any constant $\varepsilon>0$, obtains $\varepsilon T$-swap regret within only $T = \mathsf{polylog}(n)$ rounds; this is an exponential improvement compared to the…

Computer Science and Game Theory · Computer Science 2023-11-15 Binghui Peng , Aviad Rubinstein

Hardness amplification is a central problem in the study of interactive protocols. While ``natural'' parallel repetition transformation is known to reduce the soundness error of some special cases of interactive arguments: three-message…

Cryptography and Security · Computer Science 2021-05-04 Itay Berman , Iftach Haitner , Eliad Tsfadia

Simple adaptive procedures that converge to correlated equilibria are known to exist for normal form games (Hart and Mas-Colell 2000), but no such analogue exists for extensive-form games. Leveraging inspiration from Zinkevich et al.…

Computer Science and Game Theory · Computer Science 2022-07-15 Hugh Zhang

Proof-Number Search is a best-first search algorithm with many successful applications, especially in game solving. As large-scale computing clusters become increasingly accessible, parallelization is a natural way to accelerate…

Artificial Intelligence · Computer Science 2026-02-10 Tomáš Čížek , Martin Balko , Martin Schmid

We introduce a game of trusted computation in which a sensor equipped with limited computing power leverages a central node to evaluate a specified function over a large dataset, collected over time. We assume that the central computer can…

Computer Science and Game Theory · Computer Science 2016-11-09 Shaunak D. Bopardikar , Alberto Speranzon , Cedric Langbort

We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a…

Rings and Algebras · Mathematics 2025-08-04 Léo Pioge , Kamil K. Pietrasz , Benoit Seron , Leonardo Novo , Nicolas J. Cerf

We prove that an imitation game has a perfect quantum approximate strategy if and only if there exists a bi-tracial state on the minimal tensor product of two universal C${^*}$-algebras, which induces the perfect correlation. Moreover, we…

Operator Algebras · Mathematics 2024-10-15 Hao Liang , Tianshi Yu , Lihong Zhi

We construct a model of strategic imitation in an arbitrary network of players who interact through an additive game. Assuming a discrete time update, we show a condition under which the resulting difference equations converge to consensus.…

Dynamical Systems · Mathematics 2019-04-15 Christopher Griffin , Sarah Rajtmajer , Anna Squicciarini , Andrew Belmonte

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

We give a new, elementary proof of what we believe is the simplest known example of a ``natural'' problem in computational 3-dimensional topology that is $\mathsf{NP}$-hard -- namely, the \emph{Trivial Sublink Problem}: given a diagram $L$…

Computational Complexity · Computer Science 2025-09-17 Shannon Cheng , Anna Chlopecki , Saarah Nazar , Eric Samperton