Self-testing of a single quantum device under computational assumptions

Tony Metger,Thomas Vidick

DOI: https://doi.org/10.22331/q-2021-09-16-544

2022-05-17

Abstract:Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations, and plays an important role in device-independent quantum information processing as well as quantum complexity theory. Prior works on self-testing require the assumption that the system's state is shared among multiple parties that only perform local measurements and cannot communicate. Here, we replace the setting of multiple non-communicating parties, which is difficult to enforce in practice, by a single computationally bounded party. Specifically, we construct a protocol that allows a classical verifier to robustly certify that a single computationally bounded quantum device must have prepared a Bell pair and performed single-qubit measurements on it, up to a change of basis applied to both the device's state and measurements. This means that under computational assumptions, the verifier is able to certify the presence of entanglement, a property usually closely associated with two separated subsystems, inside a single quantum device. To achieve this, we build on techniques first introduced by Brakerski et al. (2018) and Mahadev (2018) which allow a classical verifier to constrain the actions of a quantum device assuming the device does not break post-quantum cryptography.

Quantum Physics

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to achieve self - testing in a single quantum device. Traditionally, self - testing requires multiple non - communicating quantum devices to verify the properties of quantum states and measurements, but this setup is difficult to implement in practical applications. This paper proposes a new protocol that allows a classical verifier to verify whether a device has indeed prepared a Bell pair and performed single - qubit measurements on it by interacting with a computationally - limited quantum device. This process is based solely on computational assumptions, namely, assuming that the quantum device cannot solve certain difficult problems in post - quantum cryptography (such as the Learning with Errors assumption), thus ensuring the effectiveness of the verification.

Specifically, the paper constructs a three - round interactive protocol in which a classical verifier interacts with a quantum device and finally decides to accept or reject the device. If a computationally - limited device is accepted by the verifier with high probability, it can be guaranteed that the state of the device is close to a Bell pair, and the measurements it performs are also close to single - qubit measurements in the computational basis or the Hadamard basis. This result provides a new method for verifying quantum entanglement and specific measurements in a single quantum device, providing an important tool for quantum information processing and quantum complexity theory.

The significance of this research is that it overcomes the limitations of multi - device self - testing schemes in practical applications and provides a more practical verification method for future quantum computing and quantum communication technologies.