We construct a correspondence between quantum states and the observable input-output correlations they are compatible with. The problem is framed as a game involving an experimenter, claiming to be able to prepare some family of states, and a theoretician, whose aim is to falsify such a claim based on observed correlations only. For any such claim, the optimal strategy consists of providing (i) to the experimenter, all the measurements that generate extremal input-output correlations, and (ii) to the theoretician, the full characterization of such correlations. Comparing the correlations observed in (i) with those predicted by (ii) corresponds to device-independently testing the states. While no assumption is made about the actual states and measurements, we derive the optimal strategy in closed form for the case when the claim consists of qubit states and the performed measurements are tests, and as applications we specify our results to the case of any pair of pure states and to the case of pure states uniformly distributed on the Bloch equatorial plane.
We develop a device-independent framework for testing quantum channels. That is, we falsify a hypothesis about a quantum channel based only on an observed set of input-output correlations. Formally, the problem consists of characterizing the set of input-output correlations compatible with any arbitrary given quantum channel. For binary (i.e. two input symbols, two output symbols) correlations, we show that extremal correlations are always achieved by orthogonal encodings and measurements, irrespective of whether or not the channel preserves commutativity. We further provide a full, closed-form characterization of the sets of binary correlations in the case of: (i) any dihedrally covariant qubit channel (such as any Pauli and amplitude-damping channels) and (ii) any universally-covariant commutativity-preserving channel in an arbitrary dimension (such as any erasure, depolarizing, universal cloning and universal transposition channels).
We consider the problem of characterizing the set of input-output correlations that can be generated by an arbitrarily given quantum measurement. Our main result is to provide a closed-form, full characterization of such a set for any qubit measurement, and to discuss its geometrical interpretation. As applications, we further specify our results to the cases of real and complex symmetric, informationally complete measurements and mutually unbiased bases of a qubit, in the presence of isotropic noise. Our results provide the optimal device-independent tests of quantum measurements.
Given a physical device as a black box, one can in principle fully reconstruct its input-output transfer function by repeatedly feeding different input probes through the device and performing different measurements on the corresponding outputs. However, for such a complete tomographic reconstruction to work, full knowledge of both input probes and output measurements is required. Such an assumption is not only experimentally demanding, but also logically questionable, as it produces a circular argument in which the characterization of unknown devices appears to require other devices to have been already characterized beforehand. Here, we introduce a method to overcome such limitations present in usual tomographic techniques. We show that, even without any knowledge about the tomographic apparatus, it is still possible to infer the unknown device to a high degree of precision, solely relying on the observed data. This is achieved by employing a criterion that singles out the minimal explanation compatible with the observed data. Our method, that can be seen as a device-independent analogue of tomography, is solved analytically and experimentally tested in an actual implementation with superconducting qubits for a broad class of quantum channels.
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.
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.
The rapid advance of quantum information technology requires precise control and manipulation of quantum systems and of their properties; in particular, it is essential to certify that quantum processors truly work quantum mechanically, in order to validate experiments and their results. The problem of certification of quantum states and devices is a demanding one, thus many attempts have been put forward to find ways of efficiently test their basic functionalities, such as their entanglement properties. The main problems addressed in this thesis concern indeed finding optimal strategies for the estimation and characterization of quantum states and channels, with a special focus on entanglement correlations. In our first work we considered the certification of entanglement across a given partition of a multi-qubit system, when only partial information about the corresponding quantum state is available; we tackled the problem of finding the best measurement strategy introducing the statistics of lengths of measurement sequences, choosing multi-qubit Pauli-measurements as observables. Using a sample of random unknown states, we were able to identify the (on average) shortest, i.e. most efficient, measurement sequence to detect entanglement. The investigation was carried out with an algorithm based on the truncated moment sequences (tms) problem, which provides necessary and sufficient conditions for entanglement or separability of a quantum state of a finite dimensional system. This study results in a very efficient strategy especially for symmetric states, for which only a tiny fraction (
10−6) of randomly chosen entangled states are undetected for systems with 6 qubits or more. We continued in our second work with the problem of separability of quantum channels to answer the question whether a given quantum device is able to create entanglement or not. The Choi matrix representation, provided by the Choi–Jamiołkowski isomorphism, casts the problem in terms of systems and ancillas, giving different classes of separability depending on the cut considered between them. Once again, the tms framework turned out to be well suited for this study, giving a unifying approach for the different separability problems; a solution is found in terms of the tms associated to the coordinates of the Choi state, in a fixed basis, and semidefinite programming is used to get a separability certificate. We explored examples of families of 2-qubit and single-qutrit channels, for which our algorithm can give an answer in cases where other criteria remain inconclusive. In a further work we shifted our attention to a different direction, highlighting a connection between the fields of quantum information, Bose-Einstein condensation (BEC) and analogue gravity, thus showing the relevance of quantum information notions in a broader context. We studied the entanglement properties of a BEC analogue of a black hole, which is described by a three-mode Gaussian state; we investigated bipartite and tripartite entanglement measures based on the covariance matrix description, both at zero and finite temperature, providing the best experimental configuration for entanglement detection. In a final stage of this thesis, we started looking at different measurement strategies for testing quantum devices whose functionality can be described by a single parameter; we used a Bayesian approach to estimate this parameter, exploiting the information collected through measurements to update a conditional probability distribution, without the need of estimating expected values of observables. The problem of finding the optimal experimental design can be in this case translated in the optimization of a utility function, which usually guides the update process adaptively at each step; we tried to outperform this approach looking ahead not only at the next step, but at a few ones, in order to obtain an answer of correct or wrong functioning as soon as possible. Moreover, we chose the input state for the quantum channel considered minimizing the error probability given by the Chernoff distance between the outputs of an ideal and a faulty channel; finally, we considered two different final decision criteria and compared their efficiency.