Optimal Robust Self-Testing by Binary Nonlocal XOR Games
Carl A. Miller, Yaoyun Shi · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013
Self-testing a quantum apparatus means verifying the existence of a certain quantum state as well as the effect of the associated measuring devices based only on the statistics of the measurement outcomes. Robust (i.e., error-tolerant) self-testing quantum apparatuses are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted devices. We devise a general scheme for proving optimal robust self-testing properties for tests based on nonlocal binary XOR games. We offer some simplified proofs of known results on self-testing, and also prove some new results.