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.

翻译：基尔希伯格嵌入问题（KEP）询问每个C*-代数是否能嵌入到Cuntz代数$\cal O_2$的超幂中。受近期利用量子复杂性结果MIP*=RE反驳康奈斯嵌入问题的启发，我们建立了KEP肯定解的两个量子复杂性推论。这两个结果均涉及非局部博弈的近交换策略。