Certifying the building blocks of quantum computers from Bell's theorem
arXiv:1802.02170 · doi:10.1103/PhysRevLett.121.180505
Abstract
The power of quantum computers relies on the capability of their components to maintain faithfully and process accurately quantum information. Since this property eludes classical certification methods, fundamentally new protocols are required to guarantee that elementary components are suitable for quantum computation. These protocols must be device-independent, that is, they cannot rely on a particular physical description of the actual implementation if one is to qualify a block for all possible usages. Bell's theorem has been proposed to certify, in a device-independent way, blocks either producing or measuring quantum states. In this manuscript, we provide the missing piece: a method based on Bell's theorem to certify coherent operations such as storage, processing and transfer of quantum information. This completes the set of tools needed to certify all building blocks of a quantum computer. Our method is robust to experimental imperfections, and so can be readily used to certify that today's quantum devices are qualified for usage in future quantum computers.
arXiv comment5+11 pages, 3+5 figures
References in corpus (20)
- Quantum Computing
- Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing
- Hacking commercial quantum cryptography systems by tailored bright illumination
- Demonstration of a small programmable quantum computer with atomic qubits
- From Bell's Theorem to Secure Quantum Key Distribution
- Implementing the Quantum von Neumann Architecture with Superconducting Circuits
- All Pure Bipartite Entangled States can be Self-Tested
- Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Robust and versatile black-box certification of quantum devices
- Device independent state estimation based on Bell's inequalities
- Alternative fidelity measure for quantum states
- Self-testing multipartite entangled states through projections onto two systems
- Post hoc verification with a single prover
- Post hoc verification of quantum computation
- Interactive proofs for BQP via self-tested graph states
- A Quantum Computer Architecture using Nonlocal Interactions
- The Link between Entropic Uncertainty and Nonlocality
- Device-Independent Verifiable Blind Quantum Computation
- Device-independent tests of quantum channels
Cited by in corpus (54)
- Self-testing of quantum systems: a review
- Quantum certification and benchmarking
- An optomechanical Bell test
- Quantum fidelity measures for mixed states
- Computational advantage of quantum random sampling
- Sequential random access codes and self-testing of quantum measurement instruments
- Scalable Bell inequalities for qubit graph states and robust self-testing
- Self-testing entangled measurements in quantum networks
- Nonstabilizerness determining the hardness of direct fidelity estimation
- The type-independent resource theory of local operations and shared randomness
- Noise-resistant device-independent certification of Bell state measurements
- Device-Independent Certification of Genuinely Entangled Subspaces
- Device-independent characterization of quantum instruments
- Quantum optical memory protocols in atomic ensembles
- Sample-efficient device-independent quantum state verification and certification
- Robust self-testing of two-qubit states
- Experimental robust self-testing of the state generated by a quantum network
- Device-independent quantum key distribution with arbitrarily small nonlocality
- A weak form of self-testing
- Relation between Quantum Coherence and Quantum Entanglement in Quantum Measurements
- Self-testing with finite statistics enabling the certification of a quantum network link
- Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
- An elegant proof of self-testing for multipartite Bell inequalities
- Bounding the plausibility of physical theories in a device-independent setting via hypothesis testing
- How post-selection affects device-independent claims under the fair sampling assumption
- Quantum correlations on the no-signaling boundary: self-testing and more
- Custom Bell inequalities from formal sums of squares
- Semi-device-independent characterization of quantum measurements under a minimum overlap assumption
- Quantifying the difference between many-body quantum states
- Towards the device-independent certification of a quantum memory
- Verification of Continuous-Variable Quantum Memories
- Naturally restricted subsets of nonsignaling correlations: typicality and convergence
- Self-testing two-qubit maximally entangled states from generalized CHSH tests
- What is the minimum CHSH score certifying that a state resembles the singlet?
- Modelling Quantum Devices and the Reconstruction of Physics in Practical Systems
- Experimental self-testing for photonic graph states
- Model-independent inference of quantum interaction from statistics
- Extremal Tsirelson inequalities
- Experimentally Certified Transmission of a Quantum Message through an Untrusted and Lossy Quantum Channel via Bell's Theorem
- Calibration-Independent Certification of a Quantum Frequency Converter
- Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games
- Certifying Temporal Correlations
- Device-independent certification of desirable properties with a confidence interval
- Classical certification of quantum gates under the dimension assumption
- Sampling and the complexity of nature
- Composable framework for device-independent state certification
- Parallel remote state preparation for fully device-independent verifiable blind quantum computation
- Semi-device-independent self-testing of unitary operations
- Robust self-testing and certified randomness based on chained Bell inequality
- Any gate of a quantum computer can be certified device-independently
- Trading symmetry for Hilbert-space dimension in Bell-inequality violation
- Tight analytic bound on the trade-off between device-independent randomness and nonlocality
- Contextuality, superlocality and nonclassicality of supernoncontextuality
- Semi-device-independent certification of high-dimensional quantum channels