CaltechAUTHORS
  A Caltech Library Service

Self-testing of a single quantum device under computational assumptions

Metger, Tony and Vidick, Thomas (2020) Self-testing of a single quantum device under computational assumptions. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20200417-132557882

[img] PDF - Submitted Version
See Usage Policy.

641Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200417-132557882

Abstract

Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations. This usually requires 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 inside a single quantum device. We achieve this using techniques 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.


Item Type:Report or Paper (Discussion Paper)
Related URLs:
URLURL TypeDescription
http://arxiv.org/abs/2001.09161arXivDiscussion Paper
ORCID:
AuthorORCID
Vidick, Thomas0000-0002-6405-365X
Additional Information:We thank Andrea Coladangelo, Andru Gheorghiu, Anand Natarajan, and Tina Zhang for helpful discussions; Andrea Coladangelo, Andru Gheorghiu, and Urmila Mahadev for comments on the manuscript; and Lídia del Rio for pointing out the reference [BRV+19a]. Tony Metger acknowledges support from ETH Zurich and the ETH Foundation through the Excellence Scholarship & Opportunity Programme, and from the IQIM, an NSF Physics Frontiers Center (NSF Grant PHY-1125565) with support of the Gordon and Betty Moore Foundation (GBMF-12500028). Thomas Vidick is supported by NSF CAREER Grant CCF-1553477, AFOSR YIP award number FA9550-16-1-0495, a CIFAR Azrieli Global Scholar award, MURI Grant FA9550-18-1-0161, and the IQIM, an NSF Physics Frontiers Center (NSF Grant PHY-1125565) with support of the Gordon and Betty Moore Foundation (GBMF-12500028). This work was carried out while Tony Metger was a visiting student researcher at the Department of Computing and Mathematical Sciences at Caltech.
Group:Institute for Quantum Information and Matter
Funders:
Funding AgencyGrant Number
ETH ZürichUNSPECIFIED
ETH FoundationUNSPECIFIED
Institute for Quantum Information and Matter (IQIM)UNSPECIFIED
NSFPHY-1125565
Gordon and Betty Moore FoundationGBMF-12500028
NSFCCF-1553477
Air Force Office of Scientific Research (AFOSR)FA9550-16-1-0495
Canadian Institute for Advanced Research (CIFAR)UNSPECIFIED
Air Force Office of Scientific Research (AFOSR)FA9550-18-1-0161
Record Number:CaltechAUTHORS:20200417-132557882
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20200417-132557882
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:102608
Collection:CaltechAUTHORS
Deposited By: George Porter
Deposited On:17 Apr 2020 20:58
Last Modified:04 Jun 2020 10:14

Repository Staff Only: item control page