Generalized self-testing and the security of the 6-state protocol
arXiv:1006.0150 · doi:10.1007/978-3-642-18073-6_10
Abstract
Self-tested quantum information processing provides a means for doing useful information processing with untrusted quantum apparatus. Previous work was limited to performing computations and protocols in real Hilbert spaces, which is not a serious obstacle if one is only interested in final measurement statistics being correct (for example, getting the correct factors of a large number after running Shor's factoring algorithm). This limitation was shown by McKague et al. to be fundamental, since there is no way to experimentally distinguish any quantum experiment from a special simulation using states and operators with only real coefficients. In this paper, we show that one can still do a meaningful self-test of quantum apparatus with complex amplitudes. In particular, we define a family of simulations of quantum experiments, based on complex conjugation, with two interesting properties. First, we are able to define a self-test which may be passed only by states and operators that are equivalent to simulations within the family. This extends work of Mayers and Yao and Magniez et al. in self-testing of quantum apparatus, and includes a complex measurement. Second, any of the simulations in the family may be used to implement a secure 6-state QKD protocol, which was previously not known to be implementable in a self-tested framework.
To appear in proceedings of TQC 2010
References in corpus (1)
Cited by in corpus (24)
- Self-testing of quantum systems: a review
- Robust Self Testing of the Singlet
- Geometry of the set of quantum correlations
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Quantum networks reveal quantum nonlocality
- Robustness and device independence of verifiable blind quantum computing
- Self-testing of binary observables based on commutation
- Interactive proofs for BQP via self-tested graph states
- Device-independent entanglement certification of all entangled states
- Self-testing protocols based on the chained Bell inequalities
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Self-testing through EPR-steering
- Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
- Entropic uncertainty from effective anti-commutators
- Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory
- Experimental demonstration of one-sided device-independent self-testing of any pure two-qubit entangled state
- Device-Independent Bit Commitment based on the CHSH Inequality
- Robust certification of arbitrary outcome quantum measurements from temporal correlations
- Revealing Quantum Advantage in a Quantum Network
- Verifiable Quantum Secure Modulo Summation
- All Real Projective Measurements Can be Self-tested
- On the power quantum computation over real Hilbert spaces
- Quantum bounds and device-independent security with rank-one qubit measurements
- A mathematical foundation for self-testing: Lifting common assumptions