2021/10/31 by Debarshi Das, Ananda G. Maity, Debashis Saha +1 · 13 citations
Computer Science · Mathematics · Medicine · Physics and Astronomy · #Algorithm #Certification #Computer science #Dimension (graph theory) #Mathematics #Medicine #Protocol (science) #Pure mathematics #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Randomness #Set (abstract data type) #Statistics #quant-ph
paper · pdf · doi:10.22331/q-2022-05-19-716
published in Quantum 6, 716 (Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften) · Accepted for publication in Quantum
arxiv created 2022/05/18 · openalex publication_date 2022/05/19 · arxiv updated 2022/05/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
Certification of quantum devices received from unknown providers is a primary requirement before utilizing the devices for any information processing task. Here, we establish a protocol for certification of a particular set of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>d</mml:mi></mml:math>-outcome quantum measurements (with <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>d</mml:mi></mml:math> being arbitrary) in a setup comprising of a preparation followed by two measurements in sequence. We propose a set of temporal inequalities pertaining to different <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>d</mml:mi></mml:math> involving correlation functions corresponding to successive measurement outcomes, that are not satisfied by quantum devices. Using quantum violations of these inequalities, we certify specific <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>d</mml:mi></mml:math>-outcome quantum measurements under some minimal assumptions which can be met in an experiment efficiently. Our certification protocol neither requires entanglement, nor any prior knowledge about the dimension of the system under consideration. We further show that our protocol is robust against practical non-ideal realizations. Finally, as an offshoot of our protocol, we present a scheme for secure certification of genuine quantum randomness.