Classical command of quantum systems via rigidity of CHSH games

摘要: Can a classical system command general adversarial quantum to realize arbitrary dynamics? If so, then we could the dream of device-independent cryptography: using untrusted devices establish shared random key, with security based on correctness mechanics. It would also allow for testing whether claimed computer is truly quantum. Here report technique by which can certify joint, entangled state bipartite system, as well application specific operators each subsystem. This accomplished showing strong converse Tsirelson's optimality result Clauser-Horne-Shimony-Holt (CHSH) game: only way win many games if close tensor product EPR states, and measurements are optimal CHSH successive qubits. leads directly scheme key distribution. Control over be leveraged create more elaborate protocols reliably realizing circuits.