Sample-efficient device-independent quantum state verification and certification
arXiv:2105.05832 · doi:10.1103/PRXQuantum.3.010317
Abstract
Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. Steady progress vis-à-vis verification of quantum devices in the scenario with fully characterized measurement devices has been observed in recent years. When it comes to the scenario with uncharacterized measurements, the so-called black-box scenario, practical verification methods are still rather scarce. Development of self-testing methods is an important step forward, but these results so far have been used for reliable verification only by considering the asymptotic behavior of large, identically and independently distributed (IID) samples of a quantum resource. Such strong assumptions deprive the verification procedure of its truly device-independent character. In this paper, we develop a systematic approach to device-independent verification of quantum states free of IID assumptions in the finite copy regime. Remarkably, we show that device-independent verification can be performed with optimal sample efficiency. Finally, for the case of independent copies, we develop a device-independent protocol for quantum state certification: a protocol in which a fragment of the resource copies is measured to warrant the rest of the copies to be close to some target state.
arXiv commentVer. 3: Very close to the published version of the paper
References in corpus (47)
- Quantum Cryptography
- Advances in Quantum Metrology
- Entanglement detection
- On the Measurement of Qubits
- Device-independent security of quantum cryptography against collective attacks
- Random Numbers Certified by Bell's Theorem
- Quantum state estimation
- Direct Fidelity Estimation from Few Pauli Measurements
- Self-testing of quantum systems: a review
- Entanglement Certification From Theory to Experiment
- Quantum certification and benchmarking
- Simple and tight device-independent security proofs
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Theory of quantum system certification: a tutorial
- Entropy accumulation
- Quantum nonlocality, Bell inequalities and the memory loophole
- Optimal verification of entangled states with local measurements
- Device independent state estimation based on Bell's inequalities
- Efficient Verification of Pure Quantum States in the Adversarial Scenario
- Verification of Many-Qubit States
- Asymptotically optimal data analysis for rejecting local realism
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Certifying the building blocks of quantum computers from Bell's theorem
- Adequacy of Si:P Chains as Fermi-Hubbard Simulators
- Efficient Verification of Hypergraph States
- General framework for verifying pure quantum states in the adversarial scenario
- A Robust Mathematical Model for Clauser-Horne Experiments, With Implications for Rigorous Statistical Analysis
- Verified measurement-based quantum computing with hypergraph states
- Optimal verification and fidelity estimation of maximally entangled states
- Single-copy entanglement detection
- Optimal verification of general bipartite pure states
- Efficient quantification of experimental evidence against local realism
- Efficient verification of Dicke states
- Experimental Optimal Verification of Entangled States using Local Measurements
- Experimental few-copy multi-particle entanglement detection
- Optimal Verification of Greenberger-Horne-Zeilinger States
- Optimal quantum tomography
- Towards the standardization of quantum state verification using optimal strategies
- (Nearly) optimal P-values for all Bell inequalities
- On the relation between Bell inequalities and nonlocal games
- Efficient verification of quantum gates with local operations
- The device-independent outlook on quantum physics (lecture notes on the power of Bell's theorem)
- Self-testing with finite statistics enabling the certification of a quantum network link
- Efficient verification of continuous-variable quantum states and devices without assuming identical and independent operations
- Quantum contract signing with entangled pairs
- Authenticated teleportation and verification in a noisy network
- Selective Quantum State Tomography
Cited by in corpus (18)
- Statistical Methods for Quantum State Verification and Fidelity Estimation
- Quantum networks self-test all entangled states
- Robust and efficient verification of graph states in blind measurement-based quantum computation
- Quantum verification and estimation with few copies
- Quantum correlations on the no-signaling boundary: self-testing and more
- Enhancing quantum state tomography via resource-efficient attention-based neural networks
- Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
- Efficient Verification of Ground States of Frustration-Free Hamiltonians
- Learning Properties of Quantum States Without the I.I.D. Assumption
- Quantum-private distributed sensing
- Experimentally Certified Transmission of a Quantum Message through an Untrusted and Lossy Quantum Channel via Bell's Theorem
- Device-independent certification of desirable properties with a confidence interval
- Robust one-sided self-testing of two-qubit states via quantum steering
- Classical certification of quantum gates under the dimension assumption
- Composable framework for device-independent state certification
- Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
- Experimental Verification of Entangled States in the Adversarial Scenario
- Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases