Counterexamples in self-testing

Abstract

In the recent years self-testing has grown into a rich and active area of study with applications ranging from practical verification of quantum devices to deep complexity theoretic results. Self-testing allows a classical verifier to deduce which quantum measurements and on what state are used, for example, by provers Alice and Bob in a nonlocal game. Hence, self-testing as well as its noise-tolerant cousin -- robust self-testing -- are desirable features for a nonlocal game to have. Contrary to what one might expect, we have a rather incomplete understanding of if and how self-testing could fail to hold. In particular, could it be that every 2-party nonlocal game or Bell inequality with a quantum advantage certifies the presence of a specific quantum state? Also, is it the case that every self-testing result can be turned robust with enough ingeniuty and effort? We answer these questions in the negative by providing simple and fully explicit counterexamples. To this end, given two nonlocal games ${\mathcal{G}}_1$ and ${\mathcal{G}}_2$, we introduce the $({\mathcal{G}}_1\vee {\mathcal{G}}_2)$-game, in which the players get pairs of questions and choose which game they want to play. The players win if they choose the same game and win it with the answers they have given. Our counterexamples are based on this game and we believe this class of games to be of independent interest.

arXiv commentAdded Quantum journal template, incorporated comments from the reviewers

References in corpus (17)

• Self-testing of quantum systems: a review
• Quantum Pseudo-Telepathy
• Geometry of the set of quantum correlations
• Estimating quantum chromatic numbers
• Device-independent parallel self-testing of two singlets
• Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments
• Graph Homomorphisms for Quantum Players
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Low-degree testing for quantum states, and a quantum entangled games PCP for QMA
• Device-Independent Certification of Genuinely Entangled Subspaces
• Lower bounds on the entanglement needed to play XOR non-local games
• MIP*=RE
• A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity
• A weak form of self-testing
• A generalization of CHSH and the algebraic structure of optimal strategies
• Constant-sized robust self-tests for states and measurements of unbounded dimension
• Glued magic games self-test maximally entangled states

Cited by in corpus (1)

• Towards the device-independent certification of a quantum memory