Quantum memories are key components of emerging quantum technologies. They are designed to store quantum states and retrieve them on demand without losing features such as superposition and entanglement. Verifying that a memory preserves these features is indispensable for applications such as quantum computation, cryptography and networks, yet no general and assumption-free method has been available. Here, we present a device-independent approach for certifying black-box quantum memories, requiring no trust in any part of the experimental setup. We do so by probing quantum systems at two points in time and then confronting the observed temporal correlations against classical causal models through violations of causal inequalities. We perform a proof-of-principle experiment in a trapped-ion quantum processor, where we certify 35 ms of a qubit memory. Our method establishes temporal correlations and causal modelling as practical and powerful tool for benchmarking key ingredients of quantum technologies, such as quantum gates or implementations of algorithms.
Quantum memories are key components of emerging quantum technologies. They are designed to store quantum states and retrieve them on demand without losing features such as superposition and entanglement. Verifying that a memory preserves these features is indispensable for applications such as quantum computation, cryptography and networks, yet no general and assumption-free method has been available. Here, we present a device-independent approach for certifying black-box quantum memories, requiring no trust in any part of the experimental setup. We do so by probing quantum systems at two points in time and then confronting the observed temporal correlations against classical causal models through violations of causal inequalities. We perform a proof-of-principle experiment in a trapped-ion quantum processor, where we certify 35 ms of a qubit memory. Our method establishes temporal correlations and causal modelling as practical and powerful tool for benchmarking key ingredients of quantum technologies, such as quantum gates or implementations of algorithms.
Quantum memories are key ingredients for future quantum networks. Developing methods for their certification is therefore an important, yet challenging, problem. In this work, we present a general framework for certifying quantum memories and quantifying their performance in an operational and efficient manner, taking advantage of developments in the theory of quantum channels. We start by giving a pedagogical introduction to these concepts and tools and illustrate their natural application to quantum memories. Specifically, we quantify the fidelity of a quantum memory via the notion of average channel fidelity, which can be estimated precisely in an experiment via a finite set of probe states forming a so-called 2-design. We then present a number of witnessing techniques for certifying this quantity, and show that it gives access to other important properties of the channel, such as its dimensionality and its capacity to transmit quantum information. We consider mostly a simple prepare-and-measure scenario, but discuss also the case of an entanglement-based setup, as well as a semi-device-independent approach. Finally, we apply these methods to a solid-state quantum memory experiment, certifying an average channel fidelity of 98.6%. Our certification methods can be readily applied to other quantum devices, such as fibers, transducers and gates.
Abstract Quantum memories are key components of emerging quantum technologies. They are designed to store quantum states and retrieve them on demand without losing features such as superposition and entanglement. Verifying that a memory preserves these features is indispensable for applications such as quantum computation, cryptography and networks, yet no general and assumption-free method has been available. Here, we present a device-independent approach for certifying black-box quantum memories, requiring no trust in any part of the experimental setup. We do so by probing quantum systems at two points in time and then confronting the observed temporal correlations against classical causal models through violations of causal inequalities. We perform a proof-of-principle experiment in a trapped-ion quantum processor, where we certify 35 ms of a qubit memory. Our method establishes temporal correlations and causal modelling as practical and powerful tool for benchmarking key ingredients of quantum technologies, such as quantum gates or implementations of algorithms.
Standard quantum verification and certification protocols often assume that experimental sources emit independent and identically distributed (i.i.d.) states. In realistic scenarios, however, temporal drift, memory effects, feedback, and correlated noise can violate this assumption, causing standard analyses to underestimate uncertainty and overestimate device performance. Here, we introduce a general framework for quantum verification and certification in which the state produced in each round may depend arbitrarily on the preceding experimental history. Our method provides rigorous confidence intervals for observable expectation values averaged over the experimental trajectory. The framework covers both full verification, in which every state is measured, and spot-checking certification, in which a randomly selected subset is tested to certify the average observable value of the complementary, remaining systems. We apply the framework to importance-sampled Pauli measurements for direct fidelity estimation, energy estimation, and entanglement witnessing, and to classical shadows, allowing multiple observables to be certified simultaneously from the same test data. We illustrate the framework numerically and demonstrate it experimentally through Bell-state certification on a quantum processor.
Quantum memories represent one of the main ingredients of future quantum communication networks. Their certification is therefore a key challenge. Here we develop efficient certification methods for quantum memories. Considering a device-independent approach, where no a priori characterization of sources or measurement devices is required, we develop a robust self-testing method for quantum memories. We then illustrate the practical relevance of our technique in a relaxed scenario by certifying a fidelity of 0.87 in a recent solid-state ensemble quantum memory experiment. More generally, our methods apply for the characterization of any device implementing a qubit identity quantum channel.
The rapid advancement of quantum hardware calls for the development of reliable methods to certify its correct functioning. However, existing certification tests often fall short: they either rely on flawless state preparation and measurement or lack soundness guarantees, meaning that they do not rule out incorrect implementations of the target operations by a quantum device. We introduce an approach, which we call quantum system quizzing, for the certification of quantum gates in a practical server-user scenario, where a classical user tests the results of quantum computation performed by a quantum server by checking its responses to a set of predesigned small-sized computational problems. Importantly, this approach does not require trusted state preparation and measurement and is thus inherently free from the associated systematic errors. For a wide range of relevant gate sets, including a universal one, we prove our certification protocol to be sound; i.e., it is guaranteed to reject any incorrect gate implementation, under the assumptions of a known Hilbert space dimension and context independence of error. A major technical challenge that we are first to resolve is recovering the tensor product structure of a multi-qubit system in the memory-bounded single-device setup. Finally, we prove the robustness of our protocol and validate its sample and computational efficiency through extensive numerical experiments. Our protocol is platform-agnostic and introduces a new paradigm for benchmarking and comparing diverse quantum architectures.
Secure and reliable certification of quantum resources is a fundamental challenge in the advancement of next-generation quantum technologies, particularly as devices become more complex and integrated into practical applications, where parts of the system may be untrusted or inaccessible by users. Addressing this challenge requires certification methods that rely on minimal assumptions and limited trust while still faithfully and reliably verifying the quantum resources in question. For infinite-dimensional bosonic systems, existing certification methods rely on fully trusted and well-calibrated measurement systems, leaving significant security vulnerabilities open. In this work, we present the first experimental demonstration of measurement-device-independent (MDI) certification schemes for infinite-dimensional bosonic systems, where the certification process is conducted using entirely untrusted measurement devices and assuming only the trusted preparation of coherent states. Specifically, we implement schemes for the MDI certification of continuous-variable (CV) entanglement and the operation of an elementary optical CV quantum memory. We leverage techniques of Bayesian metrology and exploit the practicality and accessibility of Gaussian quantum optics to achieve secure and efficient certification. These results demonstrate the potential of the MDI framework to enhance trust in quantum technologies with applications in quantum communication and quantum computing.