2000 character limit reached
A quantum complexity approach to the Kirchberg Embedding Problem (2107.14010v2)
Published 27 Jul 2021 in math.OA, cs.CC, and math.LO
Abstract: The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\cal O_2$. Motivated by the recent refutation of the Connes Embedding Problem using the quantum complexity result MIP*=RE, we establish two quantum complexity consequences of a positive solution to KEP. Both results involve almost-commuting strategies to nonlocal games.