Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Approximating the quantum value of an LCS game is RE-hard
Aviv Taller, Thomas Vidick
We generalize HÃ¥stad's long-code test for projection games and show that it remains complete and sound against entangled provers. Combined with a result of Dong et al. \cite{Dong2…
cs.CC2026
Quantum Interactive Oracle Proofs
Baocheng Sun, Thomas Vidick
We initiate the study of quantum Interactive Oracle Proofs (qIOPs), a generalization of both quantum Probabilistically Checkable Proofs and quantum Interactive Proofs, as well as a…