Abstract:Device-independent security is the gold standard for quantum cryptography: not only is security based entirely on the laws of quantum mechanics, but it holds irrespective of any a priori assumptions on the quantum devices used in a protocol, making it particularly applicable in a quantum-wary environment. While the existence of device-independent protocols for tasks such as randomness expansion and quantum key distribution has recently been established, the underlying proofs of security remain very challenging, yield rather poor key rates, and demand very high-quality quantum devices, thus making them all but impossible to implement in practice. We introduce a technique for the analysis of device-independent cryptographic protocols. We provide a flexible protocol and give a security proof that provides quantitative bounds that are asymptotically tight, even in the presence of general quantum adversaries. At a high level our approach amounts to establishing a reduction to the scenario in which the untrusted device operates in an identical and independent way in each round of the protocol. This is achieved by leveraging the sequential nature of the protocol, and makes use of a newly developed tool, the "entropy accumulation theorem" of Dupuis et al. As concrete applications we give simple and modular security proofs for device-independent quantum key distribution and randomness expansion protocols based on the CHSH inequality. For both tasks we establish essentially optimal asymptotic key rates and noise tolerance. In view of recent experimental progress, which has culminated in loophole-free Bell tests, it is likely that these protocols can be practically implemented in the near future.

Device-independent dimension leakage null test on qubits at low operational cost

Null device-independent prepare-and-prepare bipartite dimension test with a single joint measurement

Quantum dimension witness with a single repeated operation

Quantum null-hypothesis device-independent Schmidt rank witness

Quantum null-hypothesis device-independent Schmidt number witness

Precise certification of a qubit space

Non-adaptive measurement-based quantum computation on IBM Q

Experimental Implementation of an Efficient Test of Quantumness

Experimental Device-independent Tests of Classical and Quantum Dimensions

High-Dimensional Bell Test Without Detection Loophole

Fault-tolerant quantum computation using low-cost joint measurements

Device-independent Dimension Tests in the Prepare-and-measure Scenario.

Experimental implementation of leakage elimination operators

Simple and tight device-independent security proofs

Randomness-free Test of Non-classicality: a Proof of Concept

Parallel tomography of quantum non-demolition measurements in multi-qubit devices

Testing precision and accuracy of weak value measurements in an IBM quantum system

Certifying the qubit space with a minimal number of parameters

Testing the accuracy of qubit rotations on a public quantum computer

Single Qubit State Estimation on NISQ Devices with Limited Resources and SIC-POVMs

Deterministic Ansätze for the Measurement-based Variational Quantum Eigensolver