A Characterization of Perfect Strategies for Mirror Games

DOI10.1145/3597066.3597067arXiv2302.04557MaRDI QIDQ6081983

Unnamed Author, Lihong Zhi, Unnamed Author, Unnamed Author

Publication date: 3 November 2023

Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2302.04557

zbMATH Keywords

sum of squaresnoncommutative Gröbner basisnoncommutative Nullstellensatzmirror gameperfect commuting operator strategies

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• About the Connes embedding conjecture
• On real one-sided ideals in a free algebra
• Operator system structures on the unital direct sum of \(C^*\)-algebras
• Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
• On non-semisplit extensions, tensor products and exactness of group \(C^*\)-algebras
• An introduction to commutative and noncommutative Gröbner bases
• Non-closure of the set of quantum correlations via graphs
• Algebras, synchronous games, and chromatic numbers of graphs
• ``Positive noncommutative polynomials are sums of squares.
• Optimization over trace polynomials
• Perfect strategies for non-local games
• Connes' embedding conjecture and sums of Hermitian squares
• Survey on nonlocal games and operator space theory
• Optimization of Polynomials in Non-Commuting Variables
• TSIRELSON'S PROBLEM AND KIRCHBERG'S CONJECTURE
• Parallel Repetition in Projection Games and a Concentration Bound
• Real nullstellensatz and *-ideals in *-algebras
• THE SET OF QUANTUM CORRELATIONS IS NOT CLOSED
• A positivstellensatz for non-commutative polynomials
• Semidefinite Programming
• A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: Algorithms
• QUANTUM CHROMATIC NUMBERS VIA OPERATOR SYSTEMS
• Proposed Experiment to Test Local Hidden-Variable Theories
• The Connes embedding problem: A guided tour
• Factorization of operator-valued polynomials in several non-commuting variables
• Estimating quantum chromatic numbers
• Constrained trace-optimization of polynomials in freely noncommuting variables
• 3XOR games with perfect commuting operator strategies have perfect tensor product strategies and are decidable in polynomial time
• Noncommutative nullstellensätze and perfect games