Composable framework for device-independent state certification
arXiv:2505.06833 · doi:10.1103/1j5f-qjhx
Abstract
Certifying a quantum state in a device-independent (DI) manner, in which no trust is placed on the internal workings of any physical components, is a fundamental task bearing various applications in quantum information theory. The composability of a state certification protocol is key to its integration as a subroutine within information-theoretic protocols. In this work, we present a composable certification of quantum states in a DI manner under the assumption that a source prepares a finite sequence of independent quantum states that are not necessarily identical. We show that the security relies on the DI analog of the fidelity, called the extractability. We develop methods to compute this quantity under local operations and classical communication in certain Bell scenarios that self-test the singlet state, which may also be of independent interest. Finally, we demonstrate our framework by certifying the singlet state in a composable and DI manner using the Clauser-Horne-Shimony-Holt inequality.
12 + 34 pages, 12 figures; v2 additional examples, figures, technical clarifications and minor changes; v3 minor changes
References in corpus (43)
- Bell nonlocality
- Advances in Quantum Cryptography
- Device-independent security of quantum cryptography against collective attacks
- Random Numbers Certified by Bell's Theorem
- No Signalling and Quantum Key Distribution
- Non-local correlations as an information theoretic resource
- Device-independent quantum key distribution secure against collective attacks
- Fully device independent quantum key distribution
- Free randomness can be amplified
- Self-testing of quantum systems: a review
- Private Randomness Expansion With Untrusted Devices
- Randomness vs Non Locality and Entanglement
- Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
- Memory Attacks on Device-Independent Quantum Cryptography
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Entropy accumulation
- Physical characterization of quantum devices from nonlocal correlations
- Device independent state estimation based on Bell's inequalities
- Efficient Verification of Pure Quantum States in the Adversarial Scenario
- All the self-testings of the singlet for two binary measurements
- Scalable Bell inequalities for qubit graph states and robust self-testing
- Certifying the building blocks of quantum computers from Bell's theorem
- Unconditionally secure device-independent quantum key distribution with only two devices
- Entropy accumulation with improved second-order term
- General framework for verifying pure quantum states in the adversarial scenario
- Security of device-independent quantum key distribution protocols: a review
- Device-independent quantum key distribution with asymmetric CHSH inequalities
- Computing secure key rates for quantum key distribution with untrusted devices
- Device-independent lower bounds on the conditional von Neumann entropy
- Quantum Correlations in the Minimal Scenario
- Sample-efficient device-independent quantum state verification and certification
- Robust self-testing of two-qubit states
- Device-independent quantum key distribution with arbitrarily small nonlocality
- Device-independent Certification of One-shot Distillable Entanglement
- Self-testing with finite statistics enabling the certification of a quantum network link
- Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality
- Custom Bell inequalities from formal sums of squares
- Practical randomness amplification and privatisation with implementations on quantum computers
- Improved device-independent randomness expansion rates using two sided randomness
- What is the minimum CHSH score certifying that a state resembles the singlet?
- Interplay among entanglement, measurement incompatibility, and nonlocality
- Enhancing key rates of QKD protocol by Coincidence Detection
- Device-Independent Certification of Multipartite Distillable Entanglement