Approximate traces on groups and the quantum complexity class ${\mathrm{MIP}}^{co,s}$

Isaac Goldbring, Bradd Hart

An open question in quantum complexity theory is whether or not the class ${\mathrm{MIP}}^{co}$, consisting of languages that can be efficiently verified using interacting prov…