Generalized self-testing and the security of the 6-state protocol

DOI10.1007/978-3-642-18073-6_10MaRDI QIDQ3070981zbMATH OpenOpenAlexFDO

Authors Matthew McKague, Michele Mosca

Publication date 28 January 2011

Published in Theory of Quantum Computation, Communication, and Cryptography (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.0150

Mathematics Subject Classification ID

Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum computation (81P68)

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.

Recommendations

• Self-testing of Quantum Circuits
• Optimal robust self-testing by binary nonlocal XOR games
• Self testing quantum apparatus
• Self-testing protocols based on the chained Bell inequalities
• Self-testing in parallel

Cited in

(14)

• Quantum verifiable protocol for secure modulo zero-sum randomness
• Measurement-device-independent quantum key distribution with uncharacterized coherent sources
• Optimal robust self-testing by binary nonlocal XOR games
• Revealing advantage in a quantum network
• Parallel self-testing of the GHZ state with a proof by diagrams
• Self testing quantum apparatus
• Self-testing of Quantum Circuits
• Self-consistent tomography and measurement-device independent cryptography
• Robustness and device independence of verifiable blind quantum computing
• ON THE POWER QUANTUM COMPUTATION OVER REAL HILBERT SPACES
• Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates
• Device-independent bit commitment based on the CHSH inequality
• Self-testing protocols based on the chained Bell inequalities
• Rigidity of quantum steering and one-sided device-independent verifiable quantum computation

This page was built for publication: Generalized self-testing and the security of the 6-state protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3070981)