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.
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.
The certification of quantum resources is a critical tool in the development of quantum information processing. In particular, quantum state verification is a fundamental building block for communication and computation applications, determining whether the involved parties can trust the resources at hand or whether the application should be aborted. Self-testing methods have been used to tackle such verification tasks in a device-independent (DI) setting. However, these approaches commonly consider the limit of large (asymptotic), independent and identically distributed (IID) samples, which weakens the DI claim and poses serious challenges to their experimental implementation. Here, we overcome these challenges by adopting a theoretical protocol, enabling the certification of quantum states in the few-copies and non-IID regime and by leveraging a high-fidelity multipartite entangled photon source. This allows us to show the efficient and DI certification of a single copy of a four-qubit GHZ state that can readily be used for the robust and reliable implementation of quantum information tasks.
The certification of quantum resources is a critical tool in the development of quantum information processing. In particular, quantum state verification is a fundamental building block for communication and computation applications, determining whether the involved parties can trust the resources at hand or whether the application should be aborted. Self-testing methods have been used to tackle such verification tasks in a device-independent (DI) setting. However, these approaches commonly consider the limit of large (asymptotic), independent and identically distributed (IID) samples, which weakens the DI claim and poses serious challenges to their experimental implementation. Here, we overcome these challenges by adopting a theoretical protocol, enabling the certification of quantum states in the few-copies and non-IID regime and by leveraging a high-fidelity multipartite entangled photon source. This allows us to show the efficient and DI certification of a single copy of a four-qubit GHZ state that can readily be used for the robust and reliable implementation of quantum information tasks.
Efficient and reliable verification of quantum states is central to quantum information processing applications. If using well-characterized measurement devices, effective methods have been developed for quantum state verification (QSV). In reality, however, measurement devices are generally imperfect or untrusted, which limits significantly the application of standard QSV protocols. Here, we propose the measurement-device-independent QSV (MDI-QSV) scheme for practice. With the help of trusted quantum inputs, we have developed a systematical approach to design MDI-QSV strategies for an arbitrary pure target state. We find that the number of required measurements has an optimal scaling with required accuracy and confidence level, similar to the standard QSV where trusted measurement devices are available. Our results offer a sample-efficient and realistic method for quantum state verification with virtues of a measurement-device-independent manner, and are within reach of current technology.
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.
Device-independent certification of quantum devices is of crucial importance for the development of secure quantum information protocols. So far, the most studied scenario corresponds to a system consisting of different non-characterized devices that observers probe with classical inputs to obtain classical outputs. The certification of relevant quantum properties follows from the observation of correlations between these events that do not have a classical counterpart. In the fully device-independent scenario no assumptions are made on the devices and therefore their non-classicality follows from Bell non-locality. There exist other scenarios, known as semi-device-independent, in which assumptions are made on the devices, such as their dimension, and non-classicality is associated to the observation of other types of correlations with no classical analogue. More recently, the use of trusted quantum inputs for certification has been introduced. The goal of this work is to study the power of this formalism and describe self-testing protocols in various settings using trusted quantum inputs. We also relate these different types of self-testing to some of the most basic quantum information protocols, such as quantum teleportation. Finally, we apply our findings to quantum networks and provide methods for estimating the quality of the whole network, as well as of parts of it.
Abstract Device-independent certification of quantum devices is of crucial importance for the development of secure quantum information protocols. So far, the most studied scenario corresponds to a system consisting of different non-characterized devices that observers probe with classical inputs to obtain classical outputs. The certification of relevant quantum properties follows from the observation of correlations between these events that do not have a classical counterpart. In the fully device-independent scenario no assumptions are made on the devices and therefore their non-classicality follows from Bell non-locality. There exist other scenarios, known as semi-device-independent, in which assumptions are made on the devices, such as their dimension, and non-classicality is associated to the observation of other types of correlations with no classical analogue. More recently, the use of trusted quantum inputs for certification has been introduced. The goal of this work is to study the power of this formalism and describe self-testing protocols in various settings using trusted quantum inputs. We also relate these different types of self-testing to some of the most basic quantum information protocols, such as quantum teleportation. Finally, we apply our findings to quantum networks and provide methods for estimating the quality of the whole network, as well as of parts of it.