TY - JOUR
T1 - Erratum: Three-Player Entangled XOR Games are NP-hard to Approximate
AU - Vidick, Thomas
PY - 2020/12/18
Y1 - 2020/12/18
N2 - This note indicates an error in the proof of Theorem 3.1 in [T. Vidick, SIAM J. Comput., 45 (2016), pp. 1007-1063]. Due to an induction step in the soundness analysis not being carried out correctly, the analysis fails to prove the claimed result. The error invalidates the proofs of the main computational hardness results claimed in the paper. We discuss implications for subsequent works. In some cases results can be partially recovered by applying a weakened version of Theorem 3.1 shown in [Z. Ji et al., Quantum Soundness of the Classical Low Individual Degree Test, arXiv:2009.1298, 2020] subsequently to the discovery of the error. The validity of Theorem 3.1 as stated in the paper remains an open question.
AB - This note indicates an error in the proof of Theorem 3.1 in [T. Vidick, SIAM J. Comput., 45 (2016), pp. 1007-1063]. Due to an induction step in the soundness analysis not being carried out correctly, the analysis fails to prove the claimed result. The error invalidates the proofs of the main computational hardness results claimed in the paper. We discuss implications for subsequent works. In some cases results can be partially recovered by applying a weakened version of Theorem 3.1 shown in [Z. Ji et al., Quantum Soundness of the Classical Low Individual Degree Test, arXiv:2009.1298, 2020] subsequently to the discovery of the error. The validity of Theorem 3.1 as stated in the paper remains an open question.
UR - http://www.scopus.com/inward/record.url?scp=85099338611&partnerID=8YFLogxK
U2 - https://doi.org/0.1137/20M1368598
DO - https://doi.org/0.1137/20M1368598
M3 - تعليقَ / نقاش
SN - 0097-5397
VL - 49
SP - 1423
EP - 1427
JO - SIAM Journal on Computing
JF - SIAM Journal on Computing
IS - 6
ER -