Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
arXiv:1512.07401 · doi:10.1088/1367-2630/aa5cff
Abstract
The relationship between correlations and entanglement has played a major role in understanding quantum theory since the work of Einstein, Podolsky and Rosen (1935). Tsirelson (1980) proved that Bell states, shared among two parties, when measured suitably, achieve the maximum non-local correlations allowed by quantum mechanics. Conversely, Reichardt, Unger and Vazirani (2013) showed that observing the maximal correlation value over a sequence of repeated measurements, implies that the underlying quantum state is close to a tensor product of maximally entangled states and, moreover, that it is measured according to an ideal strategy. However, this strong rigidity result comes at a high price, requiring a large number of entangled pairs to be tested. In this paper, we present a significant improvement in terms of the overhead by instead considering quantum steering where the device of the one side is trusted. We first demonstrate a robust one-sided device-independent version of self-testing, which characterises the shared state and measurement operators of two parties up to a certain bound. We show that this bound is optimal up to constant factors and we generalise the results for the most general attacks. This leads us to a rigidity theorem for maximal steering correlations. As a key application we give a one-sided device-independent protocol for verifiable delegated quantum computation, and compare it to other existing protocols, to highlight the cost of trust assumptions. Finally, we show that under reasonable assumptions, the states shared in order to run a certain type of verification protocol must be unitarily equivalent to perfect Bell states.
Journal version. We acknowledge discussions with Matty J Hoban on his and Ivan Šupić's independent work on self-testing using quantum steering, arXiv:1601.01552
References in corpus (14)
- Device-independent security of quantum cryptography against collective attacks
- Steering, Entanglement, Nonlocality, and the EPR Paradox
- Experimental criteria for steering and the Einstein-Podolsky-Rosen paradox
- Device-independent quantum key distribution secure against collective attacks
- Private Randomness Expansion With Untrusted Devices
- Robust Self Testing of the Singlet
- Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
- Quantum steering ellipsoids, extremal physical states and monogamy
- Interactive Proofs For Quantum Computations
- Experimental device-independent verification of quantum steering
- Self-testing through EPR-steering
- Device-independent randomness extraction for arbitrarily weak min-entropy source
- A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games
- On optimising quantum communication in verifiable quantum computing
Cited by in corpus (50)
- Photonic quantum information processing: a review
- Self-testing of quantum systems: a review
- Verification of quantum computation: An overview of existing approaches
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Experimental Blind Quantum Computing for a Classical Client
- Self-testing multipartite entangled states through projections onto two systems
- Demonstration of Einstein-Podolsky-Rosen Steering Using Hybrid Continuous- and Discrete-Variable Entanglement of Light
- Phase control of entanglement and quantum steering in a three-mode optomechanical system
- A channel-based framework for steering, non-locality and beyond
- One-sided Device-independent Self-testing of any Pure Two-qubit Entangled State
- Detecting Einstein-Podolsky-Rosen steering through entanglement detection
- Demonstrating shareability of multipartite Einstein-Podolsky-Rosen steering
- Sample-efficient device-independent quantum state verification and certification
- Multi-client distributed blind quantum computation with the Qline architecture
- Robust self-testing of two-qubit states
- Self-testing of any pure entangled state with minimal number of measurements and optimal randomness certification in one-sided device-independent scenario
- A formalism for steering with local quantum measurements
- Experimental demonstration of one-sided device-independent self-testing of any pure two-qubit entangled state
- Bipartite post-quantum steering in generalised scenarios
- Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages
- Garbled Quantum Computation
- Characterizing Nonlocal Correlations via Universal Uncertainty Relations
- Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
- Quantum steering with positive operator valued measures
- Quantum Protocols within Spekkens' Toy Model
- Distillation of genuine tripartite Einstein-Podolsky-Rosen steering
- Energy efficient mining on a quantum-enabled blockchain using light
- Deploying hybrid quantum-secured infrastructure for applications: When quantum and post-quantum can work together
- Self-testing and certification using trusted quantum inputs
- Distrustful quantum steering
- Certification of the maximally entangled state using non-projective measurements
- Measurement-device-independent and arbitrarily loss-tolerant verification of quantum steering
- Authenticated teleportation with one-sided trust
- Network quantum steering enables randomness certification without seed randomness
- Device-independent and semi-device-independent entanglement certification in broadcast Bell scenarios
- Witnessing non-Markovianity with Gaussian quantum steering in collision model
- CHSH Bell Tests For Optical Hybrid Entanglement
- Measurement-device-independent verification of channel steering
- Diagnosing steerability of a bipartite state with the nonsteering threshold
- Identifying Quantum Correlations Using Explicit SO(3) to SU(2) Maps
- Averaged fidelity-based steering criteria
- Almost device-independent certification of GME states with minimal measurements
- Certifying Temporal Correlations
- Practical parallel self-testing of Bell states via magic rectangles
- Robust one-sided self-testing of two-qubit states via quantum steering
- Blind quantum computing can always be made verifiable
- Topologically noise robust network steering without inputs
- Parallel remote state preparation for fully device-independent verifiable blind quantum computation
- Multipartite steering verification with imprecise measurements
- Optimal Verification of the Bell State and Greenberger-Horne-Zeilinger States in Untrusted Quantum Networks