Projects per year
Abstract
The relationship between correlations and entanglement has played a major role in understanding quantum theory since the work of Einstein et al (1935 Phys. Rev. 47 777–80). Tsirelson proved that Bell states, shared among two parties, when measured suitably, achieve the maximum nonlocal correlations allowed by quantum mechanics (Cirel'son 1980 Lett. Math. Phys. 4 93–100). Conversely, Reichardt et al 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 (Reichardt et al 2013 Nature 496 456–60). 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 onesided deviceindependent version of selftesting, 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 onesided deviceindependent 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.
Original language  English 

Article number  023043 
Number of pages  29 
Journal  New Journal of Physics 
Volume  19 
Issue number  2 
DOIs  
Publication status  Published  21 Feb 2017 
Fingerprint Dive into the research topics of 'Rigidity of quantum steering and onesided deviceindependent verifiable quantum computation'. Together they form a unique fingerprint.
Projects
 2 Finished


UK Quantum Technology Hub: NQIT  Networked Quantum Information Technologies
1/12/14 → 30/11/19
Project: Research
Profiles

Petros Wallden
 School of Informatics  Lecturer in Security and Privacy
 Laboratory for Foundations of Computer Science
 Foundations of Computation
Person: Academic: Research Active